forked from sorear/metamath-turing-machines
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathloader.blc
2 lines (2 loc) · 1.97 KB
/
loader.blc
1
2
# from https://github.com/tromp/AIT/blob/82e933691a10b77c5bdd21764997f7253a5780b2/fast_growing_and_conjectures/loader.lam
0100010101101001000100010001000100000100010101100001100000000001100001011111111000110011111111111101110010111000010101110000101011110000000010101111111110111101110011101011000101000010110000101011000001000000000011100000110000000000111000001000001000001011000010001101000000110000000010111111101110010101111110111110110100000011100000000111110000000010101010111111111111101111111110111111011100100000101011100100000001011011101100001010110000101101111101111111000011111111110011000001000011111111100110000010001001010101011111111111111011111110000001110000101011111111111111100011101111111000010000000101101110110010000010101101111111111100101110111111111111101111111110010111011111111111101111111110000000010101010101111010000000011110001100000100000100000000001010111100000100111111110111110111100111010000010000010010111111000000100000001011011101100100000101011011100101011111110001001011100000110111101111111100101011101111110111101111111000000000000000010101111000000111011111111100111111101111000011111110000101101101111110010111000010110000101011000010110111111011111111000011111110011000001000011000001101101001010101111111111110110000000000010000000110000000100010000001010111111000000101110100101101100000110011110110011110100001010101000110100001000000000100010001010111110000000011111100101011111111110111111110110010111100001111111000010110110010101111111111110000001110010111111111111101101001111000000001100111111111111110000110000010111111110011111001010111111111101111111101011111100001110011110000101101101111100001100101111111011001110011110111100000010110000010110000001011000001101100110100000100111010000010000110010100011010000001000001011000000001101111100101111101111011000011100001011000001011000100001000110100001000000010111000000001011111000000001010101111111111110111111011100101111111111011111011000001011110010110000000111110000011001101010000001110011100111010