(dotimes'2505(format(=(mod-expt 2 #1=(+ .'32416187567)#1#)2)"~D
"#1#))