Verified Commit 4c901dc8 authored by Camil Staps's avatar Camil Staps 🚀

Remove halt address and memory usage info from test cases

The halt address is always 4 after stripping (unless Start uses World).
The memory usage info is unstable because libraries elsewhere may
change.
parent f79371ae
Pipeline #27746 passed with stages
in 13 minutes and 52 seconds
......@@ -81,8 +81,6 @@ ABCInterpreter.instantiate({
crash('out of memory');
},
halt: function (pc, hp_free, hp_size) {
print('halt at', (pc/8)-ABC.code_offset);
print(hp_size-hp_free, hp_free, hp_size);
},
putchar: function (v) {
......
1021
halt at 4
3 524285 524288
1021
halt at 4
3 262141 262144
This diff is collapsed.
This diff is collapsed.
['H','e','l','l','o',' ','W','o','r','l','d','!','
']
halt at 4
19419 504869 524288
['H','e','l','l','o',' ','W','o','r','l','d','!','
']
halt at 4
113682 148462 262144
[1993,1993,1,1993,1993]
halt at 4
162345 361943 524288
[1993,1993,1,1993,1993]
halt at 4
174456 87688 262144
(['I',' ','h','a','v','e',' ','o','n','l','y',' ','p','r','o','v','e','d',' ','i','t',' ','c','o','r','r','e','c','t','.'],['I',' ','h','a','v','e',' ','o','n','l','y',' ','p','r','o','v','e','d',' ','i','t',' ','c','o','r','r','e','c','t','.'])
halt at 4
673 523615 524288
(['I',' ','h','a','v','e',' ','o','n','l','y',' ','p','r','o','v','e','d',' ','i','t',' ','c','o','r','r','e','c','t','.'],['I',' ','h','a','v','e',' ','o','n','l','y',' ','p','r','o','v','e','d',' ','i','t',' ','c','o','r','r','e','c','t','.'])
halt at 4
669 261475 262144
False
halt at 4
280000 244288 524288
True
halt at 4
129544 132600 262144
[(Cons 1 (Cons 2 (Cons 3 Nil))),(Cons2 1 2 (Cons2 1 3 Nil)),(Cons3 1 2 3 (Cons3 1 2 4 Nil))]
halt at 4
102 524186 524288
[(Cons 1 (Cons 2 (Cons 3 Nil))),(Cons2 1 2 (Cons2 1 3 Nil)),(Cons3 1 2 3 (Cons3 1 2 4 Nil))]
halt at 4
102 262042 262144
[2,7,1,8,2,8,1,8,2,8,4,5,9,0,4,5,2,3,5,3,6,0,2,8,7,4,7,1,3,5,2,6,6,2,4,9,7,7,5,7,2,4,7,0,9,3,6,9,9,9,5,9,5,7,4,9,6,6,9,6,7,6,2,7,7,2,4,0,7,6,6,3,0,3,5,3,5,4,7,5,9,4,5,7,1,3,8,2,1,7,8,5,2,5,1,6,6,4,2,7,4,2,7,4,6,6,3,9,1,9,3,2,0,0,3,0,5,9,9,2,1,8,1,7,4,1,3,5,9,6,6,2,9,0,4,3,5,7,2,9,0,0,3,3,4,2,9,5,2,6,0,5,9,5,6,3,0,7,3,8,1,3,2,3,2,8,6,2,7,9,4,3,4,9,0,7,6,3,2,3,3,8,2,9,8,8,0,7,5,3,1,9,5,2,5,1,0,1,9,0]
halt at 4
478213 46075 524288
[2,7,1,8,2,8,1,8,2,8,4,5,9,0,4,5,2,3,5,3,6,0,2,8,7,4,7,1,3,5,2,6,6,2,4,9,7,7,5,7,2,4,7,0,9,3,6,9,9,9,5,9,5,7,4,9,6,6,9,6,7,6,2,7,7,2,4,0,7,6,6,3,0,3,5,3,5,4,7,5,9,4,5,7,1,3,8,2,1,7,8,5,2,5,1,6,6,4,2,7,4,2,7,4,6,6,3,9,1,9,3,2,0,0,3,0,5,9,9,2,1,8,1,7,4,1,3,5,9,6,6,2,9,0,4,3,5,7,2,9,0,0,3,3,4,2,9,5,2,6,0,5,9,5,6,3,0,7,3,8,1,3,2,3,2,8,6,2,7,9,4,3,4,9,0,7,6,3,2,3,3,8,2,9,8,8,0,7,5,3,1,9,5,2,5,1,0,1,9,0]
halt at 4
217976 44168 262144
[(True,(UT11 1)),(False,(UT10 1)),(True,(UT10 1)),(True,(UT11 1)),(True,(UT211 2 1)),(False,(UT201 1 1)),(False,(UT201 2 1)),(True,(UT211 2 2)),(True,(UT3011 1 2 2)),(True,(UT3001 1 3 2)),(True,(UT3111 3 2 3)),(True,(UT3011 3 2 1)),(True,(UT3001 1 3 2)),(True,(UT3111 3 1 2))]
halt at 4
134 524154 524288
[(True,(UT11 1)),(False,(UT10 1)),(True,(UT10 1)),(True,(UT11 1)),(True,(UT211 2 1)),(False,(UT201 1 1)),(False,(UT201 2 1)),(True,(UT211 2 2)),(True,(UT3011 1 2 2)),(True,(UT3001 1 3 2)),(True,(UT3111 3 2 3)),(True,(UT3011 3 2 1)),(True,(UT3001 1 3 2)),(True,(UT3111 3 1 2))]
halt at 4
134 262010 262144
27449
halt at 4
17982 506306 524288
27449
halt at 4
17982 244162 262144
20945800
halt at 4
471012 53276 524288
20945800
halt at 4
235503 26641 262144
(square.2,sub5.3,(sub5.3 0 10),sumints.4,reverse.5,foldr.6,ap1.7,ap3.8,map.9,repeat.10,([(IT1 37 '!'),(IT2 37 '!')],{InternalType2 (IT1 37 '!') 1,InternalType2 (IT2 37 '!') 2},[(InternalType2 (IT1 37 '!') 1),(InternalType2 (IT2 37 '!') 2)]))
halt at 54
63 524225 524288
(square.2,sub5.3,_f0.31,sumints.4,reverse.5,foldr.6,ap1.7,ap3.8,map.9,repeat.10,([(IT1 37 '!'),(IT2 37 '!')],{InternalType2 (IT1 37 '!') 1,InternalType2 (IT2 37 '!') 2},[(InternalType2 (IT1 37 '!') 1),(InternalType2 (IT2 37 '!') 2)]))
(square.2,sub5.3,(sub5.3 0 10),sumints.4,reverse.5,foldr.6,ap1.7,ap3.8,map.9,repeat.10,([(IT1 37 '!'),(IT2 37 '!')],{InternalType2 (IT1 37 '!') 1,InternalType2 (IT2 37 '!') 2},[(InternalType2 (IT1 37 '!') 1),(InternalType2 (IT2 37 '!') 2)]))
halt at 54
63 262081 262144
(square.2,sub5.3,_f0.31,sumints.4,reverse.5,foldr.6,ap1.7,ap3.8,map.9,repeat.10,([(IT1 37 '!'),(IT2 37 '!')],{InternalType2 (IT1 37 '!') 1,InternalType2 (IT2 37 '!') 2},[(InternalType2 (IT1 37 '!') 1),(InternalType2 (IT2 37 '!') 2)]))
[1,2,3,4,5,6,8,9,10,12,15,16,18,20,24,25,27,30,32,36,40,45,48,50,54,60,64,72,75,80,81,90,96,100,108,120,125,128,135,144,150,160,162,180,192,200,216,225,240,243,250,256,270,288,300,320,324,360,375,384,400,405,432,450,480,486,500,512,540,576,600,625,640,648,675,720,729,750,768,800,810,864,900,960,972,1000,1024,1080,1125,1152,1200,1215,1250,1280,1296,1350,1440,1458,1500,1536,1600,1620,1728,1800,1875,1920,1944,2000,2025,2048,2160,2187,2250,2304,2400,2430,2500,2560,2592,2700,2880,2916,3000,3072,3125,3200,3240,3375,3456,3600,3645,3750,3840,3888,4000,4050,4096,4320,4374,4500,4608,4800,4860,5000,5120,5184,5400,5625,5760,5832,6000,6075,6144,6250,6400,6480,6561,6750,6912,7200,7290,7500,7680,7776,8000,8100,8192,8640,8748,9000,9216,9375,9600,9720,10000,10125,10240,10368,10800,10935,11250,11520,11664,12000,12150,12288,12500,12800,12960,13122,13500,13824,14400,14580,15000,15360,15552,15625,16000,16200,16384,16875,17280,17496,18000,18225,18432,18750,19200,19440,19683,20000,20250,20480,20736,21600,21870,22500,23040,23328,24000,24300,24576,25000,25600,25920,26244,27000,27648,28125,28800,29160,30000,30375,30720,31104,31250,32000,32400,32768,32805,33750,34560,34992,36000,36450,36864,37500,38400,38880,39366,40000,40500,40960,41472,43200,43740,45000,46080,46656,46875,48000,48600,49152,50000,50625,51200,51840,52488,54000,54675,55296,56250,57600,58320,59049,60000,60750,61440,62208,62500,64000,64800,65536,65610,67500,69120,69984,72000,72900,73728,75000,76800,77760,78125,78732,80000,81000,81920,82944]
halt at 4
8139 516149 524288
[1,2,3,4,5,6,8,9,10,12,15,16,18,20,24,25,27,30,32,36,40,45,48,50,54,60,64,72,75,80,81,90,96,100,108,120,125,128,135,144,150,160,162,180,192,200,216,225,240,243,250,256,270,288,300,320,324,360,375,384,400,405,432,450,480,486,500,512,540,576,600,625,640,648,675,720,729,750,768,800,810,864,900,960,972,1000,1024,1080,1125,1152,1200,1215,1250,1280,1296,1350,1440,1458,1500,1536,1600,1620,1728,1800,1875,1920,1944,2000,2025,2048,2160,2187,2250,2304,2400,2430,2500,2560,2592,2700,2880,2916,3000,3072,3125,3200,3240,3375,3456,3600,3645,3750,3840,3888,4000,4050,4096,4320,4374,4500,4608,4800,4860,5000,5120,5184,5400,5625,5760,5832,6000,6075,6144,6250,6400,6480,6561,6750,6912,7200,7290,7500,7680,7776,8000,8100,8192,8640,8748,9000,9216,9375,9600,9720,10000,10125,10240,10368,10800,10935,11250,11520,11664,12000,12150,12288,12500,12800,12960,13122,13500,13824,14400,14580,15000,15360,15552,15625,16000,16200,16384,16875,17280,17496,18000,18225,18432,18750,19200,19440,19683,20000,20250,20480,20736,21600,21870,22500,23040,23328,24000,24300,24576,25000,25600,25920,26244,27000,27648,28125,28800,29160,30000,30375,30720,31104,31250,32000,32400,32768,32805,33750,34560,34992,36000,36450,36864,37500,38400,38880,39366,40000,40500,40960,41472,43200,43740,45000,46080,46656,46875,48000,48600,49152,50000,50625,51200,51840,52488,54000,54675,55296,56250,57600,58320,59049,60000,60750,61440,62208,62500,64000,64800,65536,65610,67500,69120,69984,72000,72900,73728,75000,76800,77760,78125,78732,80000,81000,81920,82944]
halt at 4
8139 254005 262144
(Right "15")
halt at 4
7613 516675 524288
(Right "15")
halt at 4
7606 254538 262144
[10,12,17,7,1,11,19,18,3,8,4,6,5,14,15,16,2,9,13]
halt at 4
669 523619 524288
[10,12,17,7,1,11,19,18,3,8,4,6,5,14,15,16,2,9,13]
halt at 4
669 261475 262144
["1235222211222222221122222222112222222211","1233913569024691356902469135690246913569","807803818366101506665142263149367437441208653362292333223746380111126352690","1886","518297851851829785185182978518518484","123579","122667","56144088","270","3"]
halt at 4
555 261589 262144
([4,2,7,3,6,8,5,1],92)
halt at 4
88115 436173 524288
([4,2,7,3,6,8,5,1],92)
halt at 4
88115 174029 262144
([7,11,8,6,4,13,10,12,9,2,5,3,1],73712)
halt at 4
14250 510038 524288
([7,11,8,6,4,13,10,12,9,2,5,3,1],73712)
halt at 4
227093 35051 262144
535560
halt at 4
327464 196824 524288
535560
halt at 4
65454 196690 262144
......@@ -3,5 +3,3 @@ times
",[[0,1,0,0,0,-1],[1,0,1,1,0,1],[-1,0,1,-1,0,0],[-1,-1,-1,0,-1,0],[1,0,1,0,1,0],[0,-1,-1,1,0,1]],"
becomes
",[[0,-9,0,5,1,7],[0,-8,-1,4,1,6],[0,-7,-2,3,1,5],[0,-6,-3,2,1,4],[0,-5,-4,1,1,3],[0,-4,-5,0,1,2]])
halt at 4
1077 523211 524288
......@@ -3,5 +3,3 @@ times
",[[0,1,0,0,0,-1],[1,0,1,1,0,1],[-1,0,1,-1,0,0],[-1,-1,-1,0,-1,0],[1,0,1,0,1,0],[0,-1,-1,1,0,1]],"
becomes
",[[0,-9,0,5,1,7],[0,-8,-1,4,1,6],[0,-7,-2,3,1,5],[0,-6,-3,2,1,4],[0,-5,-4,1,1,3],[0,-4,-5,0,1,2]])
halt at 4
1077 261067 262144
2692537
halt at 4
3 524285 524288
2692537
halt at 4
3 262141 262144
1402817465
halt at 4
3 524285 524288
1402817465
halt at 4
3 262141 262144
[400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400]
halt at 4
4034935 8547977 12582912
[400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400,400]
halt at 4
5930592 360864 6291456
......@@ -17,5 +17,3 @@
"," 1 16 120 560 1820 4368 8008 11440 12870 11440 8008 4368 1820 560 120 16 1
"," 1 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1
"]
halt at 4
8106 516182 524288
......@@ -17,5 +17,3 @@
"," 1 16 120 560 1820 4368 8008 11440 12870 11440 8008 4368 1820 560 120 16 1
"," 1 17 136 680 2380 6188 12376 19448 24310 24310 19448 12376 6188 2380 680 136 17 1
"]
halt at 4
6794 255350 262144
64000
halt at 4
10774363 1808549 12582912
64000
halt at 4
4900557 1390899 6291456
([42,42,0,0.420000016689301,4.19999980926514,1,42.5400466918945,3.5,0,3.5,-1,0,1,3.5,0,-3.5,1,0,0,1,1,-1,3.62021970748901,1.57079637050629,0,0.785398185253143,5],"37.4199981689453")
halt at 4
216 524072 524288
([42,42,0,0.42,4.2,1,42.540042248726,3.5,0,3.5,-1,0,1,3.5,0,-3.5,1,0,0,1,1,-1,3.62021856711158,1.5707963267949,0,0.785398163397448,5],"37.42")
halt at 4
213 261931 262144
1000
halt at 4
411217 113071 524288
1000
halt at 4
178720 83424 262144
30000
halt at 4
456590 67698 524288
30000
halt at 4
259142 3002 262144
1000
halt at 4
359837 164451 524288
1000
halt at 4
167093 95051 262144
[(Record A C 0 37 '~' 3.70000004768372),(Record A C 0 37 '~' 4.19999980926514),(Record A C 0 37 '%' 3.70000004768372),(Record A C 0 37 '%' 4.19999980926514),(Record A C 0 42 '~' 3.70000004768372),(Record A C 0 42 '~' 4.19999980926514),(Record A C 0 42 '%' 3.70000004768372),(Record A C 0 42 '%' 4.19999980926514),(Record A C 1 37 '~' 3.70000004768372),(Record A C 1 37 '~' 4.19999980926514),(Record A C 1 37 '%' 3.70000004768372),(Record A C 1 37 '%' 4.19999980926514),(Record A C 1 42 '~' 3.70000004768372),(Record A C 1 42 '~' 4.19999980926514),(Record A C 1 42 '%' 3.70000004768372),(Record A C 1 42 '%' 4.19999980926514),(Record A D 0 37 '~' 3.70000004768372),(Record A D 0 37 '~' 4.19999980926514),(Record A D 0 37 '%' 3.70000004768372),(Record A D 0 37 '%' 4.19999980926514),(Record A D 0 42 '~' 3.70000004768372),(Record A D 0 42 '~' 4.19999980926514),(Record A D 0 42 '%' 3.70000004768372),(Record A D 0 42 '%' 4.19999980926514),(Record A D 1 37 '~' 3.70000004768372),(Record A D 1 37 '~' 4.19999980926514),(Record A D 1 37 '%' 3.70000004768372),(Record A D 1 37 '%' 4.19999980926514),(Record A D 1 42 '~' 3.70000004768372),(Record A D 1 42 '~' 4.19999980926514),(Record A D 1 42 '%' 3.70000004768372),(Record A D 1 42 '%' 4.19999980926514),(Record B C 0 37 '~' 3.70000004768372),(Record B C 0 37 '~' 4.19999980926514),(Record B C 0 37 '%' 3.70000004768372),(Record B C 0 37 '%' 4.19999980926514),(Record B C 0 42 '~' 3.70000004768372),(Record B C 0 42 '~' 4.19999980926514),(Record B C 0 42 '%' 3.70000004768372),(Record B C 0 42 '%' 4.19999980926514),(Record B C 1 37 '~' 3.70000004768372),(Record B C 1 37 '~' 4.19999980926514),(Record B C 1 37 '%' 3.70000004768372),(Record B C 1 37 '%' 4.19999980926514),(Record B C 1 42 '~' 3.70000004768372),(Record B C 1 42 '~' 4.19999980926514),(Record B C 1 42 '%' 3.70000004768372),(Record B C 1 42 '%' 4.19999980926514),(Record B D 0 37 '~' 3.70000004768372),(Record B D 0 37 '~' 4.19999980926514),(Record B D 0 37 '%' 3.70000004768372),(Record B D 0 37 '%' 4.19999980926514),(Record B D 0 42 '~' 3.70000004768372),(Record B D 0 42 '~' 4.19999980926514),(Record B D 0 42 '%' 3.70000004768372),(Record B D 0 42 '%' 4.19999980926514),(Record B D 1 37 '~' 3.70000004768372),(Record B D 1 37 '~' 4.19999980926514),(Record B D 1 37 '%' 3.70000004768372),(Record B D 1 37 '%' 4.19999980926514),(Record B D 1 42 '~' 3.70000004768372),(Record B D 1 42 '~' 4.19999980926514),(Record B D 1 42 '%' 3.70000004768372),(Record B D 1 42 '%' 4.19999980926514)]
halt at 4
245842 278446 524288
[(Record A C 0 37 '~' 3.7),(Record A C 0 37 '~' 4.2),(Record A C 0 37 '%' 3.7),(Record A C 0 37 '%' 4.2),(Record A C 0 42 '~' 3.7),(Record A C 0 42 '~' 4.2),(Record A C 0 42 '%' 3.7),(Record A C 0 42 '%' 4.2),(Record A C 1 37 '~' 3.7),(Record A C 1 37 '~' 4.2),(Record A C 1 37 '%' 3.7),(Record A C 1 37 '%' 4.2),(Record A C 1 42 '~' 3.7),(Record A C 1 42 '~' 4.2),(Record A C 1 42 '%' 3.7),(Record A C 1 42 '%' 4.2),(Record A D 0 37 '~' 3.7),(Record A D 0 37 '~' 4.2),(Record A D 0 37 '%' 3.7),(Record A D 0 37 '%' 4.2),(Record A D 0 42 '~' 3.7),(Record A D 0 42 '~' 4.2),(Record A D 0 42 '%' 3.7),(Record A D 0 42 '%' 4.2),(Record A D 1 37 '~' 3.7),(Record A D 1 37 '~' 4.2),(Record A D 1 37 '%' 3.7),(Record A D 1 37 '%' 4.2),(Record A D 1 42 '~' 3.7),(Record A D 1 42 '~' 4.2),(Record A D 1 42 '%' 3.7),(Record A D 1 42 '%' 4.2),(Record B C 0 37 '~' 3.7),(Record B C 0 37 '~' 4.2),(Record B C 0 37 '%' 3.7),(Record B C 0 37 '%' 4.2),(Record B C 0 42 '~' 3.7),(Record B C 0 42 '~' 4.2),(Record B C 0 42 '%' 3.7),(Record B C 0 42 '%' 4.2),(Record B C 1 37 '~' 3.7),(Record B C 1 37 '~' 4.2),(Record B C 1 37 '%' 3.7),(Record B C 1 37 '%' 4.2),(Record B C 1 42 '~' 3.7),(Record B C 1 42 '~' 4.2),(Record B C 1 42 '%' 3.7),(Record B C 1 42 '%' 4.2),(Record B D 0 37 '~' 3.7),(Record B D 0 37 '~' 4.2),(Record B D 0 37 '%' 3.7),(Record B D 0 37 '%' 4.2),(Record B D 0 42 '~' 3.7),(Record B D 0 42 '~' 4.2),(Record B D 0 42 '%' 3.7),(Record B D 0 42 '%' 4.2),(Record B D 1 37 '~' 3.7),(Record B D 1 37 '~' 4.2),(Record B D 1 37 '%' 3.7),(Record B D 1 37 '%' 4.2),(Record B D 1 42 '~' 3.7),(Record B D 1 42 '~' 4.2),(Record B D 1 42 '%' 3.7),(Record B D 1 42 '%' 4.2)]
halt at 4
257686 4458 262144
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25]
halt at 4
116976 931600 1048576
[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25]
halt at 4
10635 513653 524288
392835
halt at 4
3 524285 524288
392835
halt at 4
3 262141 262144
535828544
halt at 4
3 524285 524288
535828591
halt at 4
3 262141 262144
[2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331,337,347,349,353,359,367,373,379,383,389,397,401,409,419,421,431,433,439,443,449,457,461,463,467,479,487,491,499,503,509,521,523,541,547,557,563,569,571,577,587,593,599,601,607,613,617,619,631,641,643,647,653,659,661,673,677,683,691,701,709,719,727,733,739,743,751,757,761,769,773,787,797,809,811,821,823,827,829,839,853,857,859,863,877,881,883,887,907,911,919,929,937,941,947,953,967,971,977,983,991,997,1009,1013,1019,1021,1031,1033,1039,1049,1051,1061,1063,1069,1087,1091,1093,1097,1103,1109,1117,1123,1129,1151,1153,1163,1171,1181,1187,1193,1201,1213,1217,1223,1229,1231,1237,1249,1259,1277,1279,1283,1289,1291,1297,1301,1303,1307,1319,1321,1327,1361,1367,1373,1381,1399,1409,1423,1427,1429,1433,1439,1447,1451,1453,1459,1471,1481,1483,1487,1489,1493,1499,1511,1523,1531,1543,1549,1553,1559,1567,1571,1579,1583,1597,1601,1607,1609,1613,1619,1621,1627,1637,1657,1663,1667,1669,1693,1697,1699,1709,1721,1723,1733,1741,1747,1753,1759,1777,1783,1787,1789,1801,1811,1823,1831,1847,1861,1867,1871,1873,1877,1879,1889,1901,1907,1913,1931,1933,1949,1951,1973,1979,1987,1993,1997,1999,2003,2011,2017,2027,2029,2039,2053,2063,2069,2081,2083,2087,2089,2099,2111,2113,2129,2131,2137,2141,2143,2153,2161,2179,2203,2207,2213,2221,2237,2239,2243,2251,2267,2269,2273,2281,2287,2293,2297,2309,2311,2333,2339,2341,2347,2351,2357,2371,2377,2381,2383,2389,2393,2399,2411,2417,2423,2437,2441,2447,2459,2467,2473,2477,2503,2521,2531,2539,2543,2549,2551,2557,2579,2591,2593,2609,2617,2621,2633,2647,2657,2659,2663,2671,2677,2683,2687,2689,2693,2699,2707,2711,2713,2719,2729,2731,2741,2749,2753,2767,2777,2789,2791,2797,2801,2803,2819,2833,2837,2843,2851,2857,2861,2879,2887,2897,2903,2909,2917,2927,2939,2953,2957,2963,2969,2971,2999,3001,3011,3019,3023,3037,3041,3049,3061,3067,3079,3083,3089,3109,3119,3121,3137,3163,3167,3169,3181,3187,3191,3203,3209,3217,3221,3229,3251,3253,3257,3259,3271,3299,3301,3307,3313,3319,3323,3329,3331,3343,3347,3359,3361,3371,3373,3389,3391,3407,3413,3433,3449,3457,3461,3463,3467,3469,3491,3499,3511,3517,3527,3529,3533,3539,3541,3547,3557,3559,3571,3581,3583,3593,3607,3613,3617,3623,3631,3637,3643,3659,3671,3673,3677,3691,3697,3701,3709,3719,3727,3733,3739,3761,3767,3769,3779,3793,3797,3803,3821,3823,3833,3847,3851,3853,3863,3877,3881,3889,3907,3911,3917,3919,3923,3929,3931,3943,3947,3967,3989,4001,4003,4007,4013,4019,4021,4027,4049,4051,4057,4073,4079,4091,4093,4099,4111,4127,4129,4133,4139,4153,4157,4159,4177,4201,4211,4217,4219,4229,4231,4241,4243,4253,4259,4261,4271,4273,4283,4289,4297,4327,4337,4339,4349,4357,4363,4373,4391,4397,4409,4421,4423,4441,4447,4451,4457,4463,4481,4483,4493,4507,4513,4517,4519,4523,4547,4549,4561,4567,4583,4591,4597,4603,4621,4637,4639,4643,4649,4651,4657,4663,4673,4679,4691,4703,4721,4723,4729,4733,4751,4759,4783,4787,4789,4793,4799,4801,4813,4817,4831,4861,4871,4877,4889,4903,4909,4919,4931,4933,4937,4943,4951,4957,4967,4969,4973,4987,4993,4999,5003,5009,5011,5021,5023,5039,5051,5059,5077,5081,5087,5099,5101,5107,5113,5119,5147,5153,5167,5171,5179,5189,5197,5209,5227,5231,5233,5237,5261,5273,5279,5281,5297,5303,5309,5323,5333,5347,5351,5381,5387,5393,5399,5407,5413,5417,5419,5431,5437,5441,5443,5449,5471,5477,5479,5483,5501,5503,5507,5519,5521,5527,5531,5557,5563,5569,5573,5581,5591,5623,5639,5641,5647,5651,5653,5657,5659,5669,5683,5689,5693,5701,5711,5717,5737,5741,5743,5749,5779,5783,5791,5801,5807,5813,5821,5827,5839,5843,5849,5851,5857,5861,5867,5869,5879,5881,5897,5903,5923,5927,5939,5953,5981,5987,6007,6011,6029,6037,6043,6047,6053,6067,6073,6079,6089,6091,6101,6113,6121,6131,6133,6143,6151,6163,6173,6197,6199,6203,6211,6217,6221,6229,6247,6257,6263,6269,6271,6277,6287,6299,6301,6311,6317,6323,6329,6337,6343,6353,6359,6361,6367,6373,6379,6389,6397,6421,6427,6449,6451,6469,6473,6481,6491,6521,6529,6547,6551,6553,6563,6569,6571,6577,6581,6599,6607,6619,6637,6653,6659,6661,6673,6679,6689,6691,6701,6703,6709,6719,6733,6737,6761,6763,6779,6781,6791,6793,6803,6823,6827,6829,6833,6841,6857,6863,6869,6871,6883,6899,6907,6911,6917,6947,6949,6959,6961,6967,6971,6977,6983,6991,6997,7001,7013,7019,7027,7039,7043,7057,7069,7079,7103,7109,7121,7127,7129,7151,7159,7177,7187,7193,7207,7211,7213,7219,7229,7237,7243,7247,7253,7283,7297,7307,7309,7321,7331,7333,7349,7351,7369,7393,7411,7417,7433,7451,7457,7459,7477,7481,7487,7489,7499,7507,7517,7523,7529,7537,7541,7547,7549,7559,7561,7573,7577,7583,7589,7591,7603,7607,7621,7639,7643,7649,7669,7673,7681,7687,7691,7699,7703,7717,7723,7727,7741,7753,7757,7759,7789,7793,7817,7823,7829,7841,7853,7867,7873,7877,7879,7883,7901,7907,7919]
halt at 4
39629 484659 524288
[2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331,337,347,349,353,359,367,373,379,383,389,397,401,409,419,421,431,433,439,443,449,457,461,463,467,479,487,491,499,503,509,521,523,541,547,557,563,569,571,577,587,593,599,601,607,613,617,619,631,641,643,647,653,659,661,673,677,683,691,701,709,719,727,733,739,743,751,757,761,769,773,787,797,809,811,821,823,827,829,839,853,857,859,863,877,881,883,887,907,911,919,929,937,941,947,953,967,971,977,983,991,997,1009,1013,1019,1021,1031,1033,1039,1049,1051,1061,1063,1069,1087,1091,1093,1097,1103,1109,1117,1123,1129,1151,1153,1163,1171,1181,1187,1193,1201,1213,1217,1223,1229,1231,1237,1249,1259,1277,1279,1283,1289,1291,1297,1301,1303,1307,1319,1321,1327,1361,1367,1373,1381,1399,1409,1423,1427,1429,1433,1439,1447,1451,1453,1459,1471,1481,1483,1487,1489,1493,1499,1511,1523,1531,1543,1549,1553,1559,1567,1571,1579,1583,1597,1601,1607,1609,1613,1619,1621,1627,1637,1657,1663,1667,1669,1693,1697,1699,1709,1721,1723,1733,1741,1747,1753,1759,1777,1783,1787,1789,1801,1811,1823,1831,1847,1861,1867,1871,1873,1877,1879,1889,1901,1907,1913,1931,1933,1949,1951,1973,1979,1987,1993,1997,1999,2003,2011,2017,2027,2029,2039,2053,2063,2069,2081,2083,2087,2089,2099,2111,2113,2129,2131,2137,2141,2143,2153,2161,2179,2203,2207,2213,2221,2237,2239,2243,2251,2267,2269,2273,2281,2287,2293,2297,2309,2311,2333,2339,2341,2347,2351,2357,2371,2377,2381,2383,2389,2393,2399,2411,2417,2423,2437,2441,2447,2459,2467,2473,2477,2503,2521,2531,2539,2543,2549,2551,2557,2579,2591,2593,2609,2617,2621,2633,2647,2657,2659,2663,2671,2677,2683,2687,2689,2693,2699,2707,2711,2713,2719,2729,2731,2741,2749,2753,2767,2777,2789,2791,2797,2801,2803,2819,2833,2837,2843,2851,2857,2861,2879,2887,2897,2903,2909,2917,2927,2939,2953,2957,2963,2969,2971,2999,3001,3011,3019,3023,3037,3041,3049,3061,3067,3079,3083,3089,3109,3119,3121,3137,3163,3167,3169,3181,3187,3191,3203,3209,3217,3221,3229,3251,3253,3257,3259,3271,3299,3301,3307,3313,3319,3323,3329,3331,3343,3347,3359,3361,3371,3373,3389,3391,3407,3413,3433,3449,3457,3461,3463,3467,3469,3491,3499,3511,3517,3527,3529,3533,3539,3541,3547,3557,3559,3571,3581,3583,3593,3607,3613,3617,3623,3631,3637,3643,3659,3671,3673,3677,3691,3697,3701,3709,3719,3727,3733,3739,3761,3767,3769,3779,3793,3797,3803,3821,3823,3833,3847,3851,3853,3863,3877,3881,3889,3907,3911,3917,3919,3923,3929,3931,3943,3947,3967,3989,4001,4003,4007,4013,4019,4021,4027,4049,4051,4057,4073,4079,4091,4093,4099,4111,4127,4129,4133,4139,4153,4157,4159,4177,4201,4211,4217,4219,4229,4231,4241,4243,4253,4259,4261,4271,4273,4283,4289,4297,4327,4337,4339,4349,4357,4363,4373,4391,4397,4409,4421,4423,4441,4447,4451,4457,4463,4481,4483,4493,4507,4513,4517,4519,4523,4547,4549,4561,4567,4583,4591,4597,4603,4621,4637,4639,4643,4649,4651,4657,4663,4673,4679,4691,4703,4721,4723,4729,4733,4751,4759,4783,4787,4789,4793,4799,4801,4813,4817,4831,4861,4871,4877,4889,4903,4909,4919,4931,4933,4937,4943,4951,4957,4967,4969,4973,4987,4993,4999,5003,5009,5011,5021,5023,5039,5051,5059,5077,5081,5087,5099,5101,5107,5113,5119,5147,5153,5167,5171,5179,5189,5197,5209,5227,5231,5233,5237,5261,5273,5279,5281,5297,5303,5309,5323,5333,5347,5351,5381,5387,5393,5399,5407,5413,5417,5419,5431,5437,5441,5443,5449,5471,5477,5479,5483,5501,5503,5507,5519,5521,5527,5531,5557,5563,5569,5573,5581,5591,5623,5639,5641,5647,5651,5653,5657,5659,5669,5683,5689,5693,5701,5711,5717,5737,5741,5743,5749,5779,5783,5791,5801,5807,5813,5821,5827,5839,5843,5849,5851,5857,5861,5867,5869,5879,5881,5897,5903,5923,5927,5939,5953,5981,5987,6007,6011,6029,6037,6043,6047,6053,6067,6073,6079,6089,6091,6101,6113,6121,6131,6133,6143,6151,6163,6173,6197,6199,6203,6211,6217,6221,6229,6247,6257,6263,6269,6271,6277,6287,6299,6301,6311,6317,6323,6329,6337,6343,6353,6359,6361,6367,6373,6379,6389,6397,6421,6427,6449,6451,6469,6473,6481,6491,6521,6529,6547,6551,6553,6563,6569,6571,6577,6581,6599,6607,6619,6637,6653,6659,6661,6673,6679,6689,6691,6701,6703,6709,6719,6733,6737,6761,6763,6779,6781,6791,6793,6803,6823,6827,6829,6833,6841,6857,6863,6869,6871,6883,6899,6907,6911,6917,6947,6949,6959,6961,6967,6971,6977,6983,6991,6997,7001,7013,7019,7027,7039,7043,7057,7069,7079,7103,7109,7121,7127,7129,7151,7159,7177,7187,7193,7207,7211,7213,7219,7229,7237,7243,7247,7253,7283,7297,7307,7309,7321,7331,7333,7349,7351,7369,7393,7411,7417,7433,7451,7457,7459,7477,7481,7487,7489,7499,7507,7517,7523,7529,7537,7541,7547,7549,7559,7561,7573,7577,7583,7589,7591,7603,7607,7621,7639,7643,7649,7669,7673,7681,7687,7691,7699,7703,7717,7723,7727,7741,7753,7757,7759,7789,7793,7817,7823,7829,7841,7853,7867,7873,7877,7879,7883,7901,7907,7919]
halt at 4
49489 212655 262144
([4,2,7,3,6,8,5,1],92)
halt at 4
14405 509883 524288
([4,2,7,3,6,8,5,1],92)
halt at 4
14405 247739 262144
([7,11,8,6,4,13,10,12,9,2,5,3,1],73712)
halt at 4
230149 294139 524288
([7,11,8,6,4,13,10,12,9,2,5,3,1],73712)
halt at 4
242135 20009 262144
" )))))))))))))))))))))))))))))),,,,,,,,,,,,,,,,,,,,,,,,,,,,,,------------------------------..............................::::::::::::::::::::::::::::::SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeegggggggggggggggggggggggggggggggggggggggggggggggggggggggggggghhhhhhhhhhhhhhhhhhhhhhhhhhhhhhiiiiiiiiiiiiiiiiiiiiiiiiiiiiiilllllllllllllllllllllllllllllllllllllllllllllllllllllllllllloooooooooooooooooooooooooooooooooooooooooooooooooooooooooooopppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppprrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy"
halt at 4
146616 377672 524288
" )))))))))))))))))))))))))))))),,,,,,,,,,,,,,,,,,,,,,,,,,,,,,------------------------------..............................::::::::::::::::::::::::::::::SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeegggggggggggggggggggggggggggggggggggggggggggggggggggggggggggghhhhhhhhhhhhhhhhhhhhhhhhhhhhhhiiiiiiiiiiiiiiiiiiiiiiiiiiiiiilllllllllllllllllllllllllllllllllllllllllllllllllllllllllllloooooooooooooooooooooooooooooooooooooooooooooooooooooooooooopppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppprrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssttttttttttttttttttttttttttttttttttttttttttttttttttttttttttttyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy"
halt at 4
136162 125982 262144
(["","a0","%0","X0","a0a1","a0%1","a0X1","%0a2","%0%2","%0X2","X0a3","X0%3","X0X3","a0a1a4","a0a1%4","a0a1X4","a0%1a5","a0%1%5","a0%1X5","a0X1a6","a0X1%6","a0X1X6","%0a2a7","%0a2%7","%0a2X7","%0%2a8","%0%2%8","%0%2X8","%0X2a9"],[True,False,False,False,True,False,False,False,False,False,False,False,True,False,False,False,False,False,False,False,False,False,False,False,True,False,False,False,False,False],[True,False,True,True,False,True,False,False,True,True,False,True,True,False,True,False,False,True,True,False,True,False,False,True,False,False,True,True,False,True])
halt at 4
4957 519331 524288
(["","a0","%0","X0","a0a1","a0%1","a0X1","%0a2","%0%2","%0X2","X0a3","X0%3","X0X3","a0a1a4","a0a1%4","a0a1X4","a0%1a5","a0%1%5","a0%1X5","a0X1a6","a0X1%6","a0X1X6","%0a2a7","%0a2%7","%0a2X7","%0%2a8","%0%2%8","%0%2X8","%0X2a9"],[True,False,False,False,True,False,False,False,False,False,False,False,True,False,False,False,False,False,False,False,False,False,False,False,True,False,False,False,False,False],[True,False,True,True,False,True,False,False,True,True,False,True,True,False,True,False,False,True,True,False,True,False,False,True,False,False,True,True,False,True])
halt at 4
4906 257238 262144
65536
halt at 4
131055 393233 524288
65536
halt at 4
131055 131089 262144
[5,3,4,6,7,8,9,1,2,6,7,2,1,9,5,3,4,8,1,9,8,3,4,2,5,6,7,8,5,9,7,6,1,4,2,3,4,2,6,8,5,3,7,9,1,7,1,3,9,2,4,8,5,6,9,6,1,5,3,7,2,8,4,2,8,7,4,1,9,6,3,5,3,4,5,2,8,6,1,7,9]
halt at 4
1167452 143268 1310720
[5,3,4,6,7,8,9,1,2,6,7,2,1,9,5,3,4,8,1,9,8,3,4,2,5,6,7,8,5,9,7,6,1,4,2,3,4,2,6,8,5,3,7,9,1,7,1,3,9,2,4,8,5,6,9,6,1,5,3,7,2,8,4,2,8,7,4,1,9,6,3,5,3,4,5,2,8,6,1,7,9]
halt at 4
497313 158047 655360
1229
halt at 4
2708992 23505408 26214400
1229
halt at 4
2708992 10398208 13107200
7927
halt at 4
25954763 259637 26214400
7927
halt at 4
8588228 4518972 13107200
65536
halt at 4
327717 196571 524288
65536
halt at 4
163935 98209 262144
((T2 (T1 37 False '1') 1),{T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 99 True '9') 3,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1})
halt at 4
93 524195 524288
((T2 (T1 37 False '1') 1),{T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 99 True '9') 3,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1,T2 (T1 42 True '2') 2,T2 (T1 37 False '1') 1})
halt at 4
93 262051 262144
[[0,16,100,13,20,20],[19,0,100,5,4,9],[11,27,0,24,31,31],[18,3,100,0,7,7],[15,4,100,1,0,8],[11,17,100,14,21,0]]
halt at 4
2759 521529 524288
[[0,16,100,13,20,20],[19,0,100,5,4,9],[11,27,0,24,31,31],[18,3,100,0,7,7],[15,4,100,1,0,8],[11,17,100,14,21,0]]
halt at 4
2759 259385 262144
[(1,[3,6,101],(123,234)),(102,[6,3,1],(456,567)),(1,[3,6,103],(1001,1002)),(104,[6,3,1],(2001,2002))]
halt at 4
182 524106 524288
[(1,[3,6,101],(123,234)),(102,[6,3,1],(456,567)),(1,[3,6,103],(1001,1002)),(104,[6,3,1],(2001,2002))]
halt at 4
182 261962 262144
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment