# 16-digit string -> 10 on the outside (used once) # solved on paper by "trial-and-error": print "6531031914842725"