MinT - Information on Result #1837834

Information on Result #1837834

OOA(128⁴⁷, 2130046, S₁₂₈, 4, 11), using OOA 2-folding based on OOA(128⁴⁷, 4260092, S₁₂₈, 2, 11), using

discarding factors based on OOA(128⁴⁷, 4260093, S₁₂₈, 2, 11), using
- discarding parts of the base [i] based on linear OOA(256⁴¹, 4260093, F₂₅₆, 2, 11) (dual of [(4260093, 2), 8520145, 12]-NRT-code), using
  - (u,Â u+v)-construction [i] based on
    1. linear OOA(256¹⁰, 65792, F₂₅₆, 2, 5) (dual of [(65792, 2), 131574, 6]-NRT-code), using
      - generalized (u,Â u+v)-construction [i] based on
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code), using
        discarding factors / shortening the dual code based on linear OOA(256⁰, s, F₂₅₆, 2, 0) for arbitrarily large s, using
        OOA with only one run / dual of NRT-code without redundancy [i]
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256⁰, 257, F₂₅₆, 2, 0) (dual of [(257, 2), 514, 1]-NRT-code) (see above)
        linear OOA(256¹, 257, F₂₅₆, 2, 1) (dual of [(257, 2), 513, 2]-NRT-code), using
        discarding factors / shortening the dual code based on linear OOA(256¹, s, F₂₅₆, 2, 1) for arbitrarily large s, using
        appending 1 arbitrary column [i] based on linear OA(256¹, s, F₂₅₆, 1) (dual of [s, s−1, 2]-code) for arbitrarily large s, using
        parity-check code [i]
        linear OOA(256¹, 257, F₂₅₆, 2, 1) (dual of [(257, 2), 513, 2]-NRT-code) (see above)
        linear OOA(256¹, 257, F₂₅₆, 2, 1) (dual of [(257, 2), 513, 2]-NRT-code) (see above)
        linear OOA(256², 257, F₂₅₆, 2, 2) (dual of [(257, 2), 512, 3]-NRT-code), using
        extended Reedâ€“Solomon NRT-code RS_e(2;512,256) [i]
        linear OOA(256⁵, 257, F₂₅₆, 2, 5) (dual of [(257, 2), 509, 6]-NRT-code), using
        extended Reedâ€“Solomon NRT-code RS_e(2;509,256) [i]
    2. linear OOA(256³¹, 4194301, F₂₅₆, 2, 11) (dual of [(4194301, 2), 8388571, 12]-NRT-code), using
      - OOA 2-folding [i] based on linear OA(256³¹, 8388602, F₂₅₆, 11) (dual of [8388602, 8388571, 12]-code), using
        discarding factors / shortening the dual code based on linear OA(256³¹, large, F₂₅₆, 11) (dual of [large, large−31, 12]-code), using
        the primitive expurgated narrow-sense BCH-code C(I) with length 16777215Â = 256³âˆ’1, defining interval IÂ =Â [0,10], and designed minimum distance dÂ â‰¥Â |I|+1Â =Â 12 [i]

Mode: Constructive.

Optimality

Show details for fixed k and m, k and s, k and t, m and s, m and t.

Other Results with Identical Parameters

None.

Depending Results

None.