Skip to content

Instantly share code, notes, and snippets.

@jessex
Created April 2, 2012 05:20
Show Gist options
  • Save jessex/2280966 to your computer and use it in GitHub Desktop.
Save jessex/2280966 to your computer and use it in GitHub Desktop.
HaltPy HaltPy
$ ./halt.py principia.py
False
$ oh gosh
i know
$ ./halt.py principia.py
True
$ sweet thanks
no probalo
$ ./halt.py halt.py
777$$$$$77II??+???III77II??++=++++++++++++++???II??????????I77$77IIIIIIII??II??.
7777$$$$77I??+++???III7II??+===+++++++++Z$+++??????????????II77777IIIIIII??????.
777$$$$777I??+++???III77II?++==+++++++ZZDN7++??????????????II7777IIIII?????????.
7777$$$77II?++++???III77I??++===+++++=IDDZOD??I????+7??????II777IIIII??????????.
7777$7777I??+++++??III7II??+====++++==~88Z+=+?7+DZ8ID$?????II77IIIIII??????????.
I777$$777I??+++++??II77II?+==========I7OD8O$7$$NIDDDDZ$??+??I77IIIII???????????.
I77777777I??+++++??IIIIII$~8===?Z$ZDDO$$ODI$8M8NNNDZNZOO++??II7IIIII???????????.
77777777II?+++++++?IIIII??I$Z~=~DZ8DZO7O8ND8Z8$8ND88NDDON7??IIIIIII????????????.
I7777777II??++++++??I?I77+7?IO~I?$D$DZ8NDNNNN7O88DO8ZDN?++??IIIIIII???????????+.
III77777II?++==+D7?8Z7?O7:=?+?:88ZDZIO7$ZNMM8ODDDDD8NZ?+++??IIIIII????????????+.
III77777I??++==++Z8OOO8?DO+$O77ODNNIO8ODMO8DDNN8D8DD7+++?+??IIIII????????????++.
II77777II??+====~?DOOND8ON8?DD88ONNNNN:8DNDNDNDND8Z7+?+?+++?IIIIII??????????+++.
III7777II??+===~?O8D~$O7DZNONN8NNNMNO8NNNNNDNDDD88$77III?+???IIII??????????????.
III7777II?+?=OD+77DZOI:O8DDZD$,$O+D8NMMNNNNNDDNDDD88OZ$I????IIIIII????????????+.
II7777III?+ZNDD8$7$$87OIDD7ZID?DDNNNNMNNNDNDNDD8D8D8D88OOZ$$$7IIIII????????????.
II7777III?=Z?DZD$$OZD8$D88$OOODNNMNNNNDDNDDDND8DOD8D8888D8D8OZZ$$$$7III????????.
II77IO8DO8+=Z$DD8DDDD$78DD,ODMMNNNMNNNDNNDZDZDD8O88O88ZOZII++??????I77II???????.
III7IZDOZ8D8D8OZ7+I8ND8NDDDMMNMNMMNNNND8DNDDZ8ZZZZ$$77$7I?+7??I?I$?$$Z$I???????.
IIII78IIIODDN$ION8DD7ZI8NMMMNNNNND8DDD8Z$O7O$OZO77$Z7$7Z77I77$8O8$I$87DI???????.
III7$8ZZOODZ$D$D8DN+8DDMMMNMNNNNNDD8DZ77$$Z$$7O$ZZ7Z77Z$$$Z$$ODNNNNNDDO????????.
IIZ7DDI$DO8888O8O+8DDNNNMNMNNND8N$$ZO$$$Z77?$$I$$$$O$Z$$$ZZZOOODMNNND8$????????.
III788D$DZD8OO88$8DNMMNNNNNNNN8O$$I77$II$$IIII$I7ZOOO$OO8O8OD8DDMNNND8$I???????.
IIII=7D7D88ZZZ+8DNMNNNND8DDND888III?7$I$I777I$OZZOZ$88O8ZO8D8DDDNNDND87????????.
I$7$$IOOOO8ZIODDMMMNDDNDOD8D8Z7$I?I?$II?II77$ZZ$$8Z8D8Z8Z8DNDDDDDDDD8O7I???????.
IZ88Z?I8$8~ONNNNND8NNDDDDDZ7Z$777II?$?7I77$ZOZ78888D88$OD8DDDD8DDD88O$II???????.
I$88888O+Z8NMNNNDD88DD8OZ$Z7I77I+I?+7I7O7ZZ8O8ODD88Z8Z8888NDDDDDD8888Z$7I??????.
?Z88OO8+ODDNNND8888OO88O$$7II77II777+7$OZZO8D8NNNDN8OOO8O8ODDDDD8888OOZZ7II????.
+?I8ZZ?ZO$8NN8OO8D88OOOZI7I?I?$?I7I7I$Z$$7OZ8D8N8DO7ZOZZD8D8ODDDD8888OOZZ7I????.
+++???7O8$77IIODDN888O7$7II?77I7$?+$7$7ZO$ZO$D88O?IO888D8DDD88D88D888OOOOZ7????.
+++++777?+=+7$ZO88888Z7IIIIIII?I7=I=+$O$O$$ZZ$8O$ODZDZZDONNNDD888888OO888O$III?.
++===++=+?+?==+7O8O8O$I????????I$I++I$7Z8?7Z$O88DODDDNDNNDNNDDD888O8OO888OZ7III.
++====+=+??+==+?$ZZO$I?+?+++I+7II7+7=I$II?ZOO8OODMMMMMMMO$Z8D8O8888O888888O$III.
++=====+?I7777IIII?II?+=++=?+I7$$I+?=+I?IIIZZOODNMMNMMNMI7OOO8OO8888DDDD88O$III.
+++====~::::~======+++=+??IDDNNMNN?=~??7?7$O$$ODMMMNDO7+$ZZO8OO8OO8DDNND88O$7II.
+++===+=~::::::~~~====+++~+8OMMMDNN=+==I=?7O$IZDDZ+~+?77O8888O88O8NNNNDD8OO$III.
+=====+==::::::::~========:7Z888DDZ?+:=+?=8$Z78ZZZ+++==$IZOOOO88NNNNNDD88OZ7III.
+========:::::::::::~=~=+??~:====~??I=+I+7?ZZZO$==?++I?$O88O8DDNNNNNDD888OZ7III.
?+=======::,,,:,::::~==~=+????I?+==+?I=?:=+?O$O7II?7+I$O88O8DNNNMNNDNDD8OO$7III.
+++====+=:,,,,,,,::,:===++=++?++++=+?Z?==?I?78OZO7II$Z$ZZ$NNNMNNOO8NDD88OZ7IIII.
++++=+++=:,,,,,,,,,,,~I==++++?=++?++?I7+=II$Z$888Z?Z7$$$88NNNNNNNNDDDD88O$7IIII.
++++=+++~,,,,,,,,,,,,,,:+?IIII==+???+I77I77I$8NNO7?7Z8OINDDDD+DNNNDDD888O7IIIII.
+=====+=:,,,,,,,,,,,,,,,:?I=+I==+??III7?$$7OODNDDO78ZOIDDOND7DNNNZ8D888OZ$7IIII.
====++=~:,,,,,,,,,,,,,:::::,,:~~++?I?+IIOZ8DDDD888ZOO88+DN78NONDDNNDDDOZZZ$777I.
=====+=::,,,,,,,,,,::,,,::::::::~+??7$$ZZO888OZZODDDO888NZN8N$NNNNDD88OZZZZ$$$$.
======~:,,,,,,,,,,:,:,,::::::::~~~=+7777??$O8DDDD8D8O8DD8NNNNDNN8DDD88O$$$$$$$Z.
====+=:,:,,,,,,:,,,:,,~::::~:::~~~~~~~===++7O8DDD8OO888DDD8DDNNNNDDO88Z$$$$$$$$.
===++~,::,,,:,,,,,:~,:,,::~~::::~=~~~~~===++?7ZZ$7$$ZO8ZZ8DDDDNNDDD88OZZ$$$$$$$.
==++=:,:::,,,,,,,,::,:,,,::~::::~=~~~~====++++???II7$$$?7Z8DDNNDDDD88ZZZZ$$$77$.
+++?=:,:,:,,,,,,,,::::,,::::::~===~~~~=====+++???II777I??IZO8DDDDDD88$$$$$$7777.
++??=:::::::,,,,,:::::,,::~~~~~~~~~~~=====+++???II?I7777??77$8D8DD88O$7$$$77777.
+++?=::::,::::,,::::::,,::~~~::~~~~~~=====+++???II?I7777++??7O8DD888Z$$$7$$$$$$.
++++=::::::::::::::::,,,:~~=~:~~~~~~====++++???IIIII7777+?I7$ODD8888OZZZZZZZZZ$.
++++~:::::::::::::::::::~~~~~~~~~~~======+++???IIIII7$$$I?7I$8DZZO88OO8OOOOOOOO.
I??+=::::::::::::::::::::~~~~~~~~~~======+++???IIIII7$$ZZ$?IZ8OZZOOOOO888888888.
II??=::::::::::::::::::::::~~~~~~~~=====+++????II777$$ZZOOOOOOZZOO8OO88888O8888.
IIII+~:::::::::::::::::~::::~~~~~======++++???III777$$ZOOO88O88OO8OOOO888888O88.
77I7?~::::::::::::::::::~~~~~~~~~=====++++????III77$$ZZOOO8O8OOOOOOO8OO88888888.
77III+~:::::::::::::~~~:~~~~~~~======+++++???III77$$ZZZOOO88OOOOOO8O88888888888.
I7777I=~~:~:::::::::~:~~~~~~=~======+++++???III77$$$ZZOO888888OOO8O888888888888.
I7$77$I=~~~~:~~~~~~~~~~~~~~~=======+++++???III77$$ZZZOO88888OOOO8888888888O8888.
$$77I$Z7+=~~~~~~~~~~~~~~~~~======++++????III777$$ZZZOO888888OOO88DDD88888888888.
$$7$7$$$7??====================++++?????III77$$ZZZOO88888888888DDNNNDD888888888.
$7I77IIII7Z$I?+++++========++++++????III777$$ZZOO888888888888DNNNNNNDD888DDD888.
II?III$ZOOOOOZ7I???++++++??????IIII777$$$ZZOOO888DD8888888DNMMNNNNNDNNNNNDDD8OZ.
7777$ZZOO888O$7I??I77777777777$$$$$ZZZOOO88DDDDDD8888DDNNMMMNNDDNNDDDDD8ZZ$ZZZZ.
$7$$$ZO88888O7?II?==+?I7$ZZOO8888888DDDDDDDDDD8DDDDNNMMMMMNNMN8OOOOOOZOZ$I?7ZZZ.
$$Z$ZOOO8888Z7III7$$7?+==++?I7$ZZOOOO88DDDD8888DNNNNNDDD88OOZZZ77$OZZOOZOOOZ$77.
$$$OZ$OOO88OI?+I7III777$$7??7$$$ZZZ$7ZZ$7ZZZZZOO$ZZ7IIIZZZZZZZ$I7$O$ZOO7I77Z$$Z.
ZZOOOZO8OZO8Z$$?II7??77$7I$7ZZ7$$$Z7ZZZ$II$$I77ZZZZ$ZZO$ZZZZZOZZOOZ$$$Z77OOZOOO.
ZOO$$Z888OOOZ$$77II+?I$$?+II?788Z7I7ZZZ7?I7$+777ZZZZ$7I$7$ZOZ7ZZZZO77ZOZOOOZZZO.
7ZOOOOOO88OZ8Z7+II+7$7?7??II?$ZOZOO8ZZ7$?$ZZ77$Z$$ZOOZOZZZZOOZOZZZZ$77OOZOOOZ$O.
7I788OZ$ZOZOZZ$$$$$$$??$$ZZZOOO8O8O7O88OZZZZ?$$77?77$OOOOOOOZ$?$ZOOZ$77OO$OOOOZ.
7$OOO88888OZ7$ZZ$$I?+I$$Z$Z????O$OZ77O8O8D8$$7ZZZ?$7+$OOO7O77ZIII$7OOOOOZO$OI$O.
................................................................................
counter = 0
while True:
counter += 1
if counter == 42:
break
print counter
counter = 0
while True:
counter += 1
print counter
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment