


import re
def       A_   (   _lowerCAmelCase     :					str       ):






     """simple docstring"""

     _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(_lowerCAmelCase,     _lowerCAmelCase       )       )


if __name__ == "__main__":
   __snake_case		=       '''0094702343221'''

   print(is_sri_lankan_phone_number(phone))



"""simple docstring"""






def       A_   (   _lowerCAmelCase     :					int = 10**12       ):






     """simple docstring"""

     _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() = }')