import sys,cPickle




def main():
	
    storeByte = 100000000
	
    breakList = []
    while True:
            l = sys.stdin.readline()
            if not l:
               break
            ind = l.index(':')
            i = int(l[:ind])
            if i > storeByte:
            	breakList.append(i)
            	storeByte = storeByte + 100000000
    file = open('breakPoints.py','w')
    cPickle.dump(breakList,file)
    file.close()
            
    
    


if __name__ == '__main__':
    main()