import re
# 13 ***\
# 145/147 ****
# 154x
# 176/177/178 ***
# 18 *****
def main(str):
m = r'^1(3[0-9]|45|47|5([0-3]|[5-9])|76|77|78|8[0-9])\d{8}$'
pat = re.compile(m)
n = pat.match(str)
print(n)
if n != None:
print(n.span())
if __name__ == '__main__':
main('13100000000')
main('1310000000')
main('19100000000')
main('18200000000')
main('15400000000')
main('15500000000')
main('14700000000')
main('17700000000')
main('x1820283506')
main('13503786201')import re
# 13 ***\
# 145/147 ****
# 154x
# 1