import time import sys t1=time.clock() f=open('in20_7.txt', 'r') m=int(f.readline()) f.close() l=2 k=1 p=[] count=0 while count