




'''simple docstring'''


import re


def 						SCREAMING_SNAKE_CASE       (      a_	:							str			):
  __a			=					re.compile(
      R'^(?:0|94|\+94|0{2}94)' R'7(0|1|2|4|5|6|7|8)' R'(-| |)' R'\d{7}$'			)

  return bool(re.search(a_				,					a_			)			)


if __name__ == "__main__":
  UpperCAmelCase_ 		=      "0094702343221"

  print(is_sri_lankan_phone_number(phone))









'''simple docstring'''


def 						SCREAMING_SNAKE_CASE       (      a_	:							int = 10**12			):
  __a			=					1
  __a			=					0

  __a			=					1
  __a			=					1

  while numerator <= 2 * min_total - 1:
    prev_numerator += 2 * numerator
    numerator += 2 * prev_numerator

    prev_denominator += 2 * denominator
    denominator += 2 * prev_denominator

  return (denominator + 1) // 2


if __name__ == "__main__":
  print(f"""{solution() = }""")



