Files
zeekay b832ba2c39 Initial Torus commit
Forked from upstream concrete (BSD-3-Clause-Clear, © 2024 ZAMA) at HEAD
ecb729bb. Modifications copyright © 2026 Lux Industries Inc.

Rebranding scope:
  - Python module concrete → torus (across frontends/torus-python)
  - Rust module concrete-* → torus-* (across frontends/torus-rust)
  - MLIR dialect concretelang → toruslang (across compilers/torus-compiler)
  - Compiler optimizer concrete-optimizer → torus-optimizer
  - Backend concrete-cpu / concrete-cuda → torus-cpu / torus-cuda
  - Wire protocol concrete-protocol → torus-protocol
  - Parameter-curves concrete-security-curves-* → torus-security-curves-*
  - Public symbols concretelib → toruslib, ConcreteLang → TorusLang
  - URLs github.com/zama-ai/concrete → github.com/luxfhe/torus
  - URLs docs.zama.ai/concrete → docs.luxfhe.com/torus

Legal compliance:
  - LICENSE.txt retains original Copyright © 2024 ZAMA verbatim (§1-§2)
  - LICENSE.txt adds modifications copyright © 2026 Lux Industries Inc.
  - §3 endorsement clause: Torus is marketed exclusively as a Lux product;
    no Zama name used in README, docs, or marketing
  - NOTICE file provides factual attribution per legal best practice
    (not endorsement; required by upstream BSD-3-Clause-Clear)

README + NOTICE rewritten from scratch with Lux brand:
  - Quick-start in Python (torus.fhe)
  - Architecture diagram showing the gen-1 vtbl integration path
    (luxcpp/gpu → lux-private/gpu-kernels for CUDA/Metal/WebGPU)
  - Scheme coverage table: TFHE (luxfi/fhe), CKKS/BGV/BFV (luxfi/lattice)
  - Lux FHE family table: Torus / TorusVM / TorusEVM / TorusML / TorusNet

Known limitations (phase-2A scope):
  - PyPI package torus-fhe not yet published; the torus Python module
    is renamed structurally but pip-installable distribution is a
    follow-up (Phase 2A.1)
  - MLIR dialect rename is text-level; the compiler-internal LLVM
    rebuild (concrete-compiler-internal-llvm-project submodule) is
    structural and works; tablegen files renamed concrete→torus but the
    generated .inc files in the source tree will regenerate at build
    time
  - backends/torus-cuda/implementation/ is an upstream submodule
    pointer to the tfhe-rs source (not fetched in the staging clone);
    the CUDA backend body is delivered out-of-tree
  - ~100 test-fixture variable names like concrete_encoded_sample
    retain "concrete" as a math term (vs symbolic); these are inside
    tests/, not the public API; cleanup is a follow-up commit
  - 295 Python `from concrete import ...` residuals in luxfhe/ml-sdk
    consumer remain; that repo's import update is Phase 2B

This commit is the seed for the luxfhe/torus repo. Push as the first
commit to a fresh GitHub repo; do not re-import upstream Zama git
history.
2026-05-29 14:16:47 -07:00

286 lines
16 KiB
Plaintext

security level: 80
target p_error: 6.3e-5
per precision and log norm2:
- 1: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 3, 8, 512, 1, 14, 1, 9, 14, 2.1e-12
- 1 : 3, 8, 512, 1, 14, 1, 9, 14, 1.1e-8
- 2 : 3, 8, 512, 1, 14, 2, 6, 15, 5.3e-5
- 3 : 4, 8, 512, 1, 19, 1, 9, 19, 4.2e-12
- 4 : 4, 8, 512, 1, 19, 1, 9, 19, 9.5e-12
- 5 : 4, 8, 512, 1, 19, 1, 9, 19, 1.5e-10
- 6 : 4, 8, 512, 1, 19, 1, 9, 19, 1.2e-7
- 7 : 5, 8, 512, 1, 24, 1, 9, 24, 1.9e-10
- 8 : 5, 8, 512, 1, 24, 1, 9, 24, 2.9e-10
- 9 : 5, 8, 512, 1, 24, 1, 9, 24, 1.6e-9
- 10: 5, 8, 512, 1, 24, 1, 9, 24, 1.6e-7
- 11: 5, 8, 512, 1, 24, 2, 6, 25, 1.6e-5
- 12: 4, 8, 512, 2, 13, 1, 9, 28, 3.0e-8
- 13: 4, 8, 512, 2, 13, 2, 6, 29, 1.6e-5
- 14: 5, 8, 512, 2, 16, 1, 9, 35, 1.7e-10
- 15: 5, 8, 512, 2, 16, 1, 9, 35, 2.1e-10
- 16: 5, 8, 512, 2, 16, 1, 9, 35, 4.5e-10
- 17: 5, 8, 512, 2, 16, 1, 9, 35, 6.2e-9
- 18: 5, 8, 512, 2, 16, 1, 9, 35, 2.5e-6
- 19: 5, 8, 512, 3, 12, 1, 9, 46, 2.3e-10
- 20: 5, 8, 512, 3, 12, 1, 9, 46, 6.8e-10
- 21: 5, 8, 512, 3, 12, 1, 9, 46, 2.0e-8
- 22: 5, 8, 512, 3, 12, 1, 9, 46, 1.6e-5
- 23: 5, 8, 512, 4, 10, 1, 9, 58, 4.1e-8
- 24: 5, 8, 512, 4, 10, 1, 9, 58, 4.2e-5
- 25: 5, 8, 512, 5, 8, 1, 9, 69, 1.4e-7
- 26: 5, 8, 512, 5, 8, 2, 6, 70, 1.3e-5
- 27: 5, 8, 512, 6, 7, 2, 6, 81, 3.7e-5
- 28: 5, 8, 512, 9, 5, 1, 9, 114, 1.9e-6
- 29: 5, 8, 512, 11, 4, 1, 9, 136, 6.6e-6
- 30: 5, 8, 512, 15, 3, 1, 9, 181, 3.3e-5
- 31: 5, 8, 512, 23, 2, 2, 6, 273, 2.9e-5
- 2: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 3, 8, 533, 1, 14, 1, 10, 15, 6.2e-5
- 1 : 4, 8, 530, 1, 19, 1, 10, 19, 5.1e-5
- 2 : 4, 8, 530, 1, 19, 1, 10, 19, 5.3e-5
- 3 : 4, 8, 530, 1, 19, 1, 10, 19, 5.8e-5
- 4 : 4, 8, 532, 1, 19, 1, 10, 19, 5.8e-5
- 5 : 4, 8, 544, 1, 19, 1, 10, 20, 5.8e-5
- 6 : 5, 8, 535, 1, 24, 1, 10, 25, 6.2e-5
- 7 : 5, 8, 536, 1, 24, 1, 10, 25, 5.5e-5
- 8 : 5, 8, 537, 1, 24, 1, 10, 25, 6.3e-5
- 9 : 5, 8, 512, 1, 24, 2, 6, 25, 7.2e-8
- 10: 4, 8, 532, 2, 13, 1, 10, 29, 5.2e-5
- 11: 4, 8, 512, 2, 13, 2, 6, 29, 6.4e-8
- 12: 2, 9, 512, 2, 13, 2, 6, 33, 5.9e-5
- 13: 5, 8, 512, 2, 16, 2, 6, 36, 2.8e-11
- 14: 5, 8, 512, 2, 16, 2, 6, 36, 3.6e-11
- 15: 5, 8, 512, 2, 16, 2, 6, 36, 9.0e-11
- 16: 5, 8, 512, 2, 16, 2, 6, 36, 1.8e-9
- 17: 5, 8, 512, 2, 16, 2, 6, 36, 1.5e-6
- 18: 5, 8, 512, 3, 12, 2, 6, 48, 4.1e-11
- 19: 5, 8, 512, 3, 12, 2, 6, 48, 1.5e-10
- 20: 5, 8, 512, 3, 12, 2, 6, 48, 7.2e-9
- 21: 5, 8, 512, 3, 12, 2, 6, 48, 1.1e-5
- 22: 5, 8, 512, 4, 10, 2, 6, 59, 1.6e-8
- 23: 5, 8, 512, 4, 10, 2, 6, 59, 3.1e-5
- 24: 5, 8, 512, 5, 8, 2, 6, 70, 6.5e-8
- 25: 5, 8, 512, 6, 7, 2, 6, 81, 1.3e-7
- 26: 5, 8, 512, 7, 6, 2, 6, 93, 3.6e-7
- 27: 5, 8, 512, 9, 5, 2, 6, 115, 1.1e-6
- 28: 5, 8, 512, 11, 4, 2, 6, 138, 4.3e-6
- 29: 5, 8, 512, 15, 3, 2, 6, 183, 2.4e-5
- 30: 5, 8, 512, 44, 1, 2, 6, 509, 4.9e-5
# no solution starting from log norm2 = 31
- 3: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 2, 9, 512, 1, 19, 2, 6, 23, 5.8e-10
- 1 : 2, 9, 512, 1, 19, 2, 6, 23, 6.7e-10
- 2 : 2, 9, 512, 1, 19, 2, 6, 23, 1.2e-9
- 3 : 2, 9, 512, 1, 19, 2, 6, 23, 7.8e-9
- 4 : 2, 9, 512, 1, 19, 2, 6, 23, 1.1e-6
- 5 : 2, 9, 512, 2, 13, 2, 6, 33, 5.6e-10
- 6 : 2, 9, 512, 2, 13, 2, 6, 33, 5.8e-10
- 7 : 2, 9, 512, 2, 13, 2, 6, 33, 6.5e-10
- 8 : 2, 9, 512, 2, 13, 2, 6, 33, 1.1e-9
- 9 : 2, 9, 512, 2, 13, 2, 6, 33, 5.7e-9
- 10: 2, 9, 512, 2, 13, 2, 6, 33, 5.5e-7
- 11: 2, 9, 512, 3, 10, 2, 6, 42, 1.2e-9
- 12: 2, 9, 512, 3, 10, 2, 6, 42, 9.6e-9
- 13: 2, 9, 512, 3, 10, 2, 6, 42, 1.7e-6
- 14: 3, 9, 512, 2, 16, 2, 6, 47, 1.7e-8
- 15: 3, 9, 512, 2, 16, 2, 6, 47, 5.7e-7
- 16: 3, 9, 512, 3, 12, 2, 6, 61, 3.8e-9
- 17: 3, 9, 512, 3, 12, 2, 6, 61, 6.1e-9
- 18: 3, 9, 512, 3, 12, 2, 6, 61, 3.2e-8
- 19: 3, 9, 512, 3, 12, 2, 6, 61, 2.6e-6
- 20: 3, 9, 512, 4, 9, 2, 6, 75, 5.2e-8
- 21: 3, 9, 512, 4, 9, 2, 6, 75, 6.8e-6
- 22: 3, 9, 512, 5, 8, 2, 6, 89, 1.0e-7
- 23: 3, 9, 512, 5, 8, 2, 6, 89, 2.3e-5
- 24: 3, 9, 512, 6, 7, 2, 6, 103, 4.6e-5
- 25: 3, 9, 512, 7, 6, 3, 5, 118, 4.5e-5
- 26: 3, 9, 512, 11, 4, 2, 6, 173, 1.5e-6
- 27: 3, 9, 513, 14, 3, 2, 6, 215, 6.3e-5
- 28: 3, 9, 512, 22, 2, 2, 6, 327, 5.3e-5
# no solution starting from log norm2 = 29
- 4: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 10, 512, 1, 19, 2, 6, 30, 9.2e-7
- 1 : 1, 10, 512, 1, 19, 2, 6, 30, 1.2e-6
- 2 : 1, 10, 512, 1, 19, 2, 6, 30, 2.9e-6
- 3 : 1, 10, 512, 1, 19, 2, 6, 30, 3.9e-5
- 4 : 1, 10, 512, 2, 13, 2, 6, 43, 8.5e-7
- 5 : 1, 10, 512, 2, 13, 2, 6, 43, 8.6e-7
- 6 : 1, 10, 512, 2, 13, 2, 6, 43, 9.2e-7
- 7 : 1, 10, 512, 2, 13, 2, 6, 43, 1.2e-6
- 8 : 1, 10, 512, 2, 13, 2, 6, 43, 2.9e-6
- 9 : 1, 10, 512, 2, 13, 2, 6, 43, 3.8e-5
- 10: 1, 10, 512, 3, 10, 2, 6, 56, 1.3e-6
- 11: 1, 10, 512, 3, 10, 2, 6, 56, 4.0e-6
- 12: 1, 10, 517, 3, 10, 2, 6, 56, 6.3e-5
- 13: 1, 10, 512, 4, 8, 2, 6, 69, 6.1e-6
- 14: 1, 10, 512, 4, 8, 3, 5, 70, 2.2e-5
- 15: 1, 10, 512, 5, 7, 3, 5, 83, 6.3e-5
- 16: 2, 10, 515, 3, 12, 2, 6, 92, 5.6e-5
- 17: 2, 10, 512, 3, 12, 3, 5, 93, 7.3e-7
- 18: 2, 10, 514, 4, 9, 2, 6, 112, 5.8e-5
- 19: 2, 10, 512, 4, 9, 3, 5, 114, 2.7e-7
- 20: 2, 10, 512, 4, 9, 4, 4, 116, 4.5e-5
- 21: 2, 10, 512, 5, 8, 3, 5, 135, 5.8e-6
- 22: 2, 10, 512, 6, 7, 3, 5, 156, 1.2e-5
- 23: 2, 10, 512, 7, 6, 3, 5, 177, 2.6e-5
- 24: 2, 10, 512, 9, 5, 4, 4, 221, 3.8e-5
- 25: 2, 10, 512, 14, 3, 3, 5, 324, 4.6e-6
- 26: 2, 10, 512, 22, 2, 3, 5, 492, 1.1e-5
# no solution starting from log norm2 = 27
- 5: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 11, 512, 1, 23, 3, 5, 66, 1.2e-5
- 1 : 1, 11, 512, 1, 23, 3, 5, 66, 1.2e-5
- 2 : 1, 11, 512, 1, 23, 3, 5, 66, 1.2e-5
- 3 : 1, 11, 512, 1, 23, 3, 5, 66, 1.4e-5
- 4 : 1, 11, 512, 1, 23, 3, 5, 66, 2.3e-5
- 5 : 1, 11, 516, 1, 23, 3, 5, 66, 5.9e-5
- 6 : 1, 11, 512, 2, 15, 3, 5, 94, 1.1e-5
- 7 : 1, 11, 512, 2, 15, 3, 5, 94, 1.1e-5
- 8 : 1, 11, 512, 2, 15, 3, 5, 94, 1.2e-5
- 9 : 1, 11, 512, 2, 15, 3, 5, 94, 1.2e-5
- 10: 1, 11, 512, 2, 15, 3, 5, 94, 1.3e-5
- 11: 1, 11, 512, 2, 15, 3, 5, 94, 1.9e-5
- 12: 1, 11, 512, 2, 15, 3, 5, 94, 6.2e-5
- 13: 1, 11, 512, 3, 11, 3, 5, 122, 1.3e-5
- 14: 1, 11, 512, 3, 11, 3, 5, 122, 1.6e-5
- 15: 1, 11, 512, 3, 11, 3, 5, 122, 3.9e-5
- 16: 1, 11, 512, 3, 11, 4, 4, 124, 4.4e-5
- 17: 1, 11, 512, 4, 9, 3, 5, 150, 2.3e-5
- 18: 1, 11, 516, 4, 9, 3, 5, 151, 5.9e-5
- 19: 1, 11, 514, 5, 8, 3, 5, 178, 6.0e-5
- 20: 1, 11, 516, 6, 7, 3, 5, 207, 5.9e-5
- 21: 1, 11, 512, 7, 6, 4, 4, 236, 7.1e-6
- 22: 1, 11, 512, 8, 5, 4, 4, 264, 3.0e-5
- 23: 1, 11, 512, 11, 4, 4, 4, 348, 4.5e-5
- 24: 1, 11, 512, 15, 3, 8, 2, 468, 5.9e-5
- 25: 1, 11, 512, 43, 1, 5, 3, 1246, 3.7e-5
# no solution starting from log norm2 = 26
- 6: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 12, 526, 1, 22, 4, 4, 147, 4.9e-5
- 1 : 1, 12, 526, 1, 22, 4, 4, 147, 5.4e-5
- 2 : 1, 12, 527, 1, 22, 4, 4, 147, 5.8e-5
- 3 : 1, 12, 534, 1, 22, 4, 4, 149, 5.3e-5
- 4 : 1, 12, 512, 2, 15, 5, 3, 208, 2.7e-5
- 5 : 1, 12, 512, 2, 15, 5, 3, 208, 2.7e-5
- 6 : 1, 12, 512, 2, 15, 5, 3, 208, 2.7e-5
- 7 : 1, 12, 512, 2, 15, 5, 3, 208, 2.8e-5
- 8 : 1, 12, 512, 2, 15, 5, 3, 208, 3.0e-5
- 9 : 1, 12, 512, 2, 15, 5, 3, 208, 3.7e-5
- 10: 1, 12, 514, 2, 15, 5, 3, 208, 6.0e-5
- 11: 1, 12, 538, 2, 15, 6, 3, 222, 6.1e-5
- 12: 1, 12, 512, 3, 11, 5, 3, 268, 3.3e-5
- 13: 1, 12, 512, 3, 11, 5, 3, 268, 5.4e-5
- 14: 1, 12, 526, 3, 11, 5, 3, 274, 6.2e-5
- 15: 1, 12, 512, 4, 9, 5, 3, 328, 4.5e-5
- 16: 1, 12, 519, 4, 9, 5, 3, 332, 6.0e-5
- 17: 1, 12, 519, 5, 8, 5, 3, 393, 6.0e-5
- 18: 1, 12, 516, 6, 7, 6, 3, 455, 5.6e-5
- 19: 1, 12, 518, 7, 6, 6, 3, 517, 5.7e-5
- 20: 1, 12, 512, 8, 5, 8, 2, 580, 3.4e-5
- 21: 1, 12, 512, 11, 4, 9, 2, 764, 6.3e-5
- 22: 1, 12, 512, 21, 2, 8, 2, 1360, 9.5e-6
- 23: 1, 12, 516, 43, 1, 9, 2, 2704, 6.1e-5
# no solution starting from log norm2 = 24
- 7: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 13, 578, 1, 22, 4, 4, 339, 6.3e-5
- 1 : 1, 13, 550, 1, 22, 6, 3, 341, 5.4e-5
- 2 : 1, 13, 571, 1, 22, 10, 2, 389, 6.2e-5
- 3 : 1, 13, 545, 2, 15, 6, 3, 474, 6.0e-5
- 4 : 1, 13, 545, 2, 15, 6, 3, 474, 6.0e-5
- 5 : 1, 13, 545, 2, 15, 6, 3, 474, 6.1e-5
- 6 : 1, 13, 546, 2, 15, 6, 3, 475, 4.8e-5
- 7 : 1, 13, 546, 2, 15, 6, 3, 475, 5.7e-5
- 8 : 1, 13, 549, 2, 15, 6, 3, 478, 5.5e-5
- 9 : 1, 13, 572, 2, 15, 6, 3, 496, 6.2e-5
- 10: 1, 13, 546, 3, 11, 6, 3, 612, 5.1e-5
- 11: 1, 13, 547, 3, 11, 6, 3, 613, 5.6e-5
- 12: 1, 13, 554, 3, 11, 6, 3, 620, 5.4e-5
- 13: 1, 13, 547, 4, 9, 6, 3, 750, 5.3e-5
- 14: 1, 13, 553, 4, 9, 6, 3, 757, 5.3e-5
- 15: 1, 13, 537, 5, 8, 9, 2, 896, 5.6e-5
- 16: 1, 13, 539, 6, 7, 9, 2, 1034, 5.8e-5
- 17: 1, 13, 542, 7, 6, 9, 2, 1175, 5.5e-5
- 18: 1, 13, 546, 8, 5, 9, 2, 1320, 6.1e-5
- 19: 1, 13, 571, 10, 4, 10, 2, 1673, 6.3e-5
- 20: 1, 13, 538, 21, 2, 9, 2, 3050, 6.3e-5
- 21: 1, 13, 551, 43, 1, 19, 1, 6239, 6.3e-5
# no solution starting from log norm2 = 22
- 8: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 14, 626, 1, 22, 5, 4, 788, 6.3e-5
- 1 : 1, 14, 588, 2, 15, 6, 3, 1074, 6.0e-5
- 2 : 1, 14, 588, 2, 15, 6, 3, 1074, 6.0e-5
- 3 : 1, 14, 588, 2, 15, 6, 3, 1074, 6.1e-5
- 4 : 1, 14, 589, 2, 15, 6, 3, 1076, 5.2e-5
- 5 : 1, 14, 589, 2, 15, 6, 3, 1076, 6.2e-5
- 6 : 1, 14, 593, 2, 15, 6, 3, 1083, 6.2e-5
- 7 : 1, 14, 611, 2, 15, 7, 3, 1133, 6.0e-5
- 8 : 1, 14, 589, 3, 11, 6, 3, 1389, 5.4e-5
- 9 : 1, 14, 590, 3, 11, 6, 3, 1391, 6.1e-5
- 10: 1, 14, 599, 3, 11, 6, 3, 1412, 6.0e-5
- 11: 1, 14, 590, 4, 9, 6, 3, 1705, 6.3e-5
- 12: 1, 14, 593, 4, 9, 7, 3, 1732, 5.6e-5
- 13: 1, 14, 577, 5, 8, 10, 2, 2047, 6.1e-5
- 14: 1, 14, 578, 6, 6, 10, 2, 2358, 6.3e-5
- 15: 1, 14, 583, 7, 6, 10, 2, 2687, 5.9e-5
- 16: 1, 14, 588, 8, 5, 10, 2, 3022, 6.0e-5
- 17: 1, 14, 621, 10, 4, 11, 2, 3868, 6.3e-5
- 18: 1, 14, 592, 20, 2, 10, 2, 6816, 6.0e-5
- 19: 1, 14, 603, 43, 1, 21, 1, 14518, 6.3e-5
# no solution starting from log norm2 = 20
- 9: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 15, 645, 2, 15, 5, 4, 2426, 5.2e-5
- 1 : 1, 15, 645, 2, 15, 5, 4, 2426, 5.3e-5
- 2 : 1, 15, 645, 2, 15, 5, 4, 2426, 5.6e-5
- 3 : 1, 15, 646, 2, 15, 5, 4, 2429, 5.4e-5
- 4 : 1, 15, 649, 2, 15, 5, 4, 2440, 6.2e-5
- 5 : 1, 15, 656, 2, 15, 7, 3, 2547, 6.2e-5
- 6 : 1, 15, 624, 3, 11, 7, 3, 3131, 5.8e-5
- 7 : 1, 15, 625, 3, 11, 7, 3, 3136, 6.0e-5
- 8 : 1, 15, 631, 3, 11, 7, 3, 3165, 5.6e-5
- 9 : 1, 15, 626, 4, 9, 7, 3, 3845, 5.1e-5
- 10: 1, 15, 632, 4, 9, 7, 3, 3881, 6.2e-5
- 11: 1, 15, 630, 5, 7, 7, 3, 4578, 5.9e-5
- 12: 1, 15, 616, 6, 6, 10, 2, 5287, 6.2e-5
- 13: 1, 15, 625, 7, 6, 11, 2, 6105, 6.0e-5
- 14: 1, 15, 631, 8, 5, 11, 2, 6872, 6.1e-5
- 15: 1, 15, 619, 13, 3, 11, 2, 10226, 5.6e-5
- 16: 1, 15, 625, 20, 2, 11, 2, 15246, 6.0e-5
# no solution starting from log norm2 = 17
- 10: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 16, 668, 2, 14, 7, 3, 5434, 5.4e-5
- 1 : 1, 16, 668, 2, 14, 7, 3, 5434, 6.2e-5
- 2 : 1, 16, 672, 2, 14, 7, 3, 5465, 5.6e-5
- 3 : 1, 16, 702, 2, 14, 6, 4, 5609, 5.8e-5
- 4 : 1, 16, 668, 3, 11, 7, 3, 7020, 5.7e-5
- 5 : 1, 16, 670, 3, 11, 7, 3, 7041, 5.5e-5
- 6 : 1, 16, 670, 3, 11, 8, 3, 7124, 6.3e-5
- 7 : 1, 16, 670, 4, 9, 7, 3, 8632, 6.0e-5
- 8 : 1, 16, 673, 4, 9, 8, 3, 8754, 5.7e-5
- 9 : 1, 16, 668, 5, 7, 8, 3, 10277, 5.7e-5
- 10: 1, 16, 652, 6, 6, 11, 2, 11831, 6.0e-5
- 11: 1, 16, 671, 7, 6, 11, 2, 13761, 6.3e-5
- 12: 1, 16, 677, 8, 5, 12, 2, 15575, 6.2e-5
- 13: 1, 16, 657, 13, 3, 11, 2, 22842, 6.1e-5
- 14: 1, 16, 663, 20, 2, 12, 2, 34154, 5.9e-5
# no solution starting from log norm2 = 15