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

281 lines
15 KiB
Plaintext

security level: 112
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 : 4, 8, 512, 1, 14, 3, 3, 21, 1.6e-6
- 1 : 4, 8, 521, 1, 14, 5, 2, 23, 6.3e-5
- 2 : 5, 8, 512, 1, 17, 3, 3, 26, 3.8e-7
- 3 : 5, 8, 512, 1, 17, 3, 3, 26, 1.1e-6
- 4 : 5, 8, 512, 1, 17, 3, 3, 26, 2.3e-5
- 5 : 4, 8, 512, 2, 9, 3, 3, 30, 5.0e-5
- 6 : 6, 8, 512, 1, 21, 3, 3, 32, 2.9e-6
- 7 : 6, 8, 512, 1, 21, 3, 3, 32, 8.7e-6
- 8 : 6, 8, 523, 1, 21, 3, 3, 32, 6.1e-5
- 9 : 5, 8, 512, 2, 12, 3, 3, 38, 5.6e-6
- 10: 5, 8, 512, 2, 12, 5, 2, 40, 5.1e-5
- 11: 6, 8, 512, 2, 14, 3, 3, 46, 2.0e-6
- 12: 6, 8, 512, 2, 14, 3, 3, 46, 2.2e-6
- 13: 6, 8, 512, 2, 14, 3, 3, 46, 3.4e-6
- 14: 6, 8, 512, 2, 14, 3, 3, 46, 1.4e-5
- 15: 6, 8, 523, 2, 14, 4, 3, 48, 6.2e-5
- 16: 6, 8, 512, 3, 11, 3, 3, 60, 3.2e-6
- 17: 6, 8, 512, 3, 11, 3, 3, 60, 1.2e-5
- 18: 6, 8, 518, 3, 11, 4, 3, 62, 6.0e-5
- 19: 6, 8, 512, 4, 9, 3, 3, 74, 1.8e-5
- 20: 6, 8, 512, 4, 9, 5, 2, 77, 5.3e-5
- 21: 4, 9, 525, 3, 12, 3, 3, 84, 5.7e-5
- 22: 4, 9, 512, 4, 10, 3, 3, 101, 4.2e-5
- 23: 4, 9, 517, 4, 10, 4, 3, 104, 5.7e-5
- 24: 4, 9, 512, 5, 8, 3, 3, 120, 5.6e-5
- 25: 4, 9, 512, 5, 8, 5, 2, 124, 1.9e-5
- 26: 4, 9, 512, 6, 7, 5, 2, 143, 4.6e-5
- 27: 4, 9, 519, 7, 6, 6, 2, 165, 6.0e-5
- 28: 4, 9, 512, 11, 4, 4, 3, 234, 5.3e-5
- 29: 4, 9, 512, 14, 3, 6, 2, 295, 6.2e-5
- 30: 4, 9, 512, 22, 2, 5, 2, 443, 5.8e-5
# no solution starting from log norm2 = 31
- 2: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 5, 8, 597, 1, 17, 2, 5, 28, 6.0e-5
- 1 : 5, 8, 563, 1, 17, 3, 4, 28, 6.1e-5
- 2 : 5, 8, 566, 1, 17, 3, 4, 29, 5.7e-5
- 3 : 5, 8, 582, 1, 17, 3, 4, 29, 6.0e-5
- 4 : 4, 8, 586, 2, 9, 4, 3, 35, 6.3e-5
- 5 : 6, 8, 568, 1, 21, 3, 4, 35, 6.1e-5
- 6 : 6, 8, 572, 1, 21, 3, 4, 35, 6.2e-5
- 7 : 6, 8, 577, 1, 21, 4, 3, 37, 6.2e-5
- 8 : 5, 8, 544, 2, 12, 4, 3, 41, 6.2e-5
- 9 : 6, 8, 540, 2, 14, 4, 3, 50, 6.1e-5
- 10: 6, 8, 540, 2, 14, 4, 3, 50, 6.2e-5
- 11: 6, 8, 541, 2, 14, 4, 3, 50, 5.3e-5
- 12: 6, 8, 542, 2, 14, 4, 3, 50, 5.6e-5
- 13: 6, 8, 547, 2, 14, 4, 3, 50, 6.2e-5
- 14: 3, 9, 569, 2, 14, 4, 3, 54, 6.2e-5
- 15: 6, 8, 527, 3, 11, 5, 2, 65, 5.9e-5
- 16: 6, 8, 546, 3, 11, 4, 3, 65, 6.2e-5
- 17: 3, 9, 563, 3, 11, 4, 3, 69, 5.9e-5
- 18: 3, 9, 521, 4, 9, 5, 2, 80, 6.1e-5
- 19: 4, 9, 527, 3, 12, 5, 2, 89, 5.9e-5
- 20: 4, 9, 552, 3, 12, 4, 3, 90, 5.4e-5
- 21: 4, 9, 528, 4, 10, 5, 2, 108, 6.0e-5
- 22: 4, 9, 534, 4, 10, 6, 2, 111, 5.5e-5
- 23: 4, 9, 521, 5, 8, 6, 2, 128, 5.9e-5
- 24: 4, 9, 543, 5, 8, 6, 2, 133, 5.8e-5
- 25: 4, 9, 553, 6, 7, 6, 2, 156, 6.1e-5
- 26: 4, 9, 542, 8, 5, 6, 2, 192, 6.3e-5
- 27: 4, 9, 527, 11, 4, 6, 2, 245, 5.9e-5
- 28: 4, 9, 532, 15, 3, 6, 2, 325, 6.1e-5
- 29: 4, 9, 557, 22, 2, 6, 2, 483, 6.3e-5
# no solution starting from log norm2 = 30
- 3: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 2, 9, 566, 2, 9, 4, 3, 38, 6.0e-5
- 1 : 2, 9, 567, 2, 9, 4, 3, 38, 6.3e-5
- 2 : 2, 9, 573, 2, 9, 4, 3, 38, 6.1e-5
- 3 : 3, 9, 604, 1, 21, 3, 4, 39, 6.0e-5
- 4 : 3, 9, 605, 1, 21, 3, 4, 39, 6.2e-5
- 5 : 3, 9, 611, 1, 21, 3, 4, 40, 5.8e-5
- 6 : 3, 9, 606, 1, 21, 7, 2, 46, 6.3e-5
- 7 : 4, 9, 620, 1, 23, 3, 4, 53, 5.6e-5
- 8 : 3, 9, 577, 2, 14, 4, 3, 55, 5.7e-5
- 9 : 3, 9, 577, 2, 14, 4, 3, 55, 5.8e-5
- 10: 3, 9, 577, 2, 14, 4, 3, 55, 6.2e-5
- 11: 3, 9, 579, 2, 14, 4, 3, 55, 5.8e-5
- 12: 3, 9, 587, 2, 14, 4, 3, 56, 5.7e-5
- 13: 3, 9, 577, 3, 11, 4, 3, 71, 6.2e-5
- 14: 3, 9, 579, 3, 11, 4, 3, 71, 5.6e-5
- 15: 3, 9, 586, 3, 11, 4, 3, 72, 5.8e-5
- 16: 3, 9, 579, 4, 9, 4, 3, 87, 6.2e-5
- 17: 3, 9, 589, 4, 9, 4, 3, 88, 6.3e-5
- 18: 4, 9, 590, 3, 12, 4, 3, 96, 6.0e-5
- 19: 4, 9, 626, 3, 12, 4, 3, 101, 6.3e-5
- 20: 4, 9, 592, 4, 10, 4, 3, 118, 5.6e-5
- 21: 4, 9, 608, 4, 10, 7, 2, 128, 6.3e-5
- 22: 4, 9, 571, 5, 8, 6, 2, 139, 5.8e-5
- 23: 4, 9, 573, 6, 7, 6, 2, 161, 5.7e-5
- 24: 4, 9, 575, 7, 6, 6, 2, 182, 6.1e-5
- 25: 4, 9, 580, 9, 5, 6, 2, 226, 6.0e-5
- 26: 4, 9, 588, 11, 4, 6, 2, 273, 6.0e-5
- 27: 4, 9, 600, 15, 3, 7, 2, 368, 6.3e-5
- 28: 4, 9, 582, 44, 1, 13, 1, 989, 6.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, 610, 2, 9, 4, 3, 52, 5.8e-5
- 1 : 1, 10, 623, 2, 9, 4, 3, 53, 6.0e-5
- 2 : 2, 10, 665, 1, 23, 3, 4, 64, 6.2e-5
- 3 : 2, 10, 665, 1, 23, 3, 4, 64, 6.3e-5
- 4 : 2, 10, 667, 1, 23, 3, 4, 64, 5.9e-5
- 5 : 2, 10, 671, 1, 23, 3, 4, 65, 6.3e-5
- 6 : 2, 10, 689, 1, 23, 3, 5, 66, 5.9e-5
- 7 : 2, 10, 637, 2, 15, 4, 3, 90, 6.2e-5
- 8 : 2, 10, 637, 2, 15, 4, 3, 90, 6.2e-5
- 9 : 2, 10, 637, 2, 15, 4, 3, 90, 6.2e-5
- 10: 2, 10, 637, 2, 15, 4, 3, 90, 6.3e-5
- 11: 2, 10, 638, 2, 15, 4, 3, 90, 6.1e-5
- 12: 2, 10, 641, 2, 15, 4, 3, 91, 6.2e-5
- 13: 2, 10, 629, 2, 15, 5, 3, 92, 5.7e-5
- 14: 2, 10, 622, 3, 12, 5, 3, 116, 5.7e-5
- 15: 2, 10, 622, 3, 12, 5, 3, 116, 6.3e-5
- 16: 2, 10, 624, 3, 12, 5, 3, 117, 6.3e-5
- 17: 2, 10, 635, 3, 12, 5, 3, 119, 6.1e-5
- 18: 2, 10, 600, 4, 9, 7, 2, 142, 6.1e-5
- 19: 2, 10, 607, 4, 9, 7, 2, 143, 6.1e-5
- 20: 2, 10, 603, 5, 8, 7, 2, 167, 5.7e-5
- 21: 2, 10, 627, 5, 8, 7, 2, 173, 6.3e-5
- 22: 2, 10, 647, 6, 7, 7, 2, 205, 6.3e-5
- 23: 2, 10, 613, 8, 5, 7, 2, 245, 5.7e-5
- 24: 2, 10, 609, 11, 4, 7, 2, 319, 6.3e-5
- 25: 2, 10, 624, 14, 3, 7, 2, 403, 6.3e-5
- 26: 2, 10, 641, 22, 2, 7, 2, 624, 6.2e-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, 657, 1, 23, 5, 3, 87, 6.0e-5
- 1 : 1, 11, 657, 1, 23, 5, 3, 87, 6.0e-5
- 2 : 1, 11, 657, 1, 23, 5, 3, 87, 6.2e-5
- 3 : 1, 11, 658, 1, 23, 5, 3, 87, 5.9e-5
- 4 : 1, 11, 661, 1, 23, 5, 3, 88, 6.0e-5
- 5 : 1, 11, 682, 1, 23, 5, 3, 90, 6.1e-5
- 6 : 1, 11, 657, 2, 15, 5, 3, 123, 6.0e-5
- 7 : 1, 11, 657, 2, 15, 5, 3, 123, 6.0e-5
- 8 : 1, 11, 657, 2, 15, 5, 3, 123, 6.0e-5
- 9 : 1, 11, 657, 2, 15, 5, 3, 123, 6.1e-5
- 10: 1, 11, 658, 2, 15, 5, 3, 123, 5.6e-5
- 11: 1, 11, 660, 2, 15, 5, 3, 124, 5.6e-5
- 12: 1, 11, 670, 2, 15, 5, 3, 125, 6.1e-5
- 13: 1, 11, 636, 3, 11, 7, 2, 159, 6.3e-5
- 14: 1, 11, 659, 3, 11, 5, 3, 159, 5.7e-5
- 15: 1, 11, 665, 3, 11, 5, 3, 161, 6.1e-5
- 16: 1, 11, 637, 4, 9, 7, 2, 194, 5.9e-5
- 17: 1, 11, 640, 4, 9, 7, 2, 195, 6.2e-5
- 18: 1, 11, 682, 4, 9, 5, 3, 202, 6.1e-5
- 19: 1, 11, 656, 5, 8, 7, 2, 236, 6.2e-5
- 20: 1, 11, 657, 6, 7, 8, 2, 274, 6.0e-5
- 21: 1, 11, 664, 7, 6, 8, 2, 314, 6.3e-5
- 22: 1, 11, 653, 10, 4, 7, 2, 413, 6.0e-5
- 23: 1, 11, 650, 14, 3, 7, 2, 553, 6.2e-5
- 24: 1, 11, 666, 21, 2, 8, 2, 824, 6.2e-5
# no solution starting from log norm2 = 25
- 6: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 12, 739, 1, 22, 4, 4, 200, 6.1e-5
- 1 : 1, 12, 740, 1, 22, 4, 4, 201, 5.9e-5
- 2 : 1, 12, 743, 1, 22, 4, 4, 201, 6.2e-5
- 3 : 1, 12, 768, 1, 22, 4, 4, 208, 6.2e-5
- 4 : 1, 12, 718, 2, 15, 5, 3, 285, 5.8e-5
- 5 : 1, 12, 718, 2, 15, 5, 3, 285, 5.8e-5
- 6 : 1, 12, 718, 2, 15, 5, 3, 285, 5.8e-5
- 7 : 1, 12, 718, 2, 15, 5, 3, 285, 5.9e-5
- 8 : 1, 12, 718, 2, 15, 5, 3, 285, 6.3e-5
- 9 : 1, 12, 721, 2, 15, 5, 3, 286, 6.0e-5
- 10: 1, 12, 736, 2, 15, 5, 3, 292, 6.1e-5
- 11: 1, 12, 718, 3, 11, 5, 3, 369, 6.1e-5
- 12: 1, 12, 720, 3, 11, 5, 3, 370, 5.7e-5
- 13: 1, 12, 726, 3, 11, 5, 3, 373, 6.3e-5
- 14: 1, 12, 731, 3, 11, 9, 2, 398, 6.3e-5
- 15: 1, 12, 693, 4, 9, 8, 2, 454, 6.1e-5
- 16: 1, 12, 712, 4, 9, 8, 2, 466, 6.1e-5
- 17: 1, 12, 712, 5, 8, 8, 2, 550, 6.1e-5
- 18: 1, 12, 722, 6, 7, 8, 2, 642, 6.3e-5
- 19: 1, 12, 732, 7, 6, 9, 2, 742, 6.2e-5
- 20: 1, 12, 702, 10, 4, 8, 2, 953, 6.3e-5
- 21: 1, 12, 704, 14, 3, 8, 2, 1286, 5.9e-5
- 22: 1, 12, 721, 21, 2, 9, 2, 1914, 6.1e-5
# no solution starting from log norm2 = 23
- 7: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 13, 769, 1, 22, 6, 3, 464, 5.6e-5
- 1 : 1, 13, 779, 1, 22, 6, 3, 470, 6.1e-5
- 2 : 1, 13, 766, 2, 15, 6, 3, 654, 5.9e-5
- 3 : 1, 13, 766, 2, 15, 6, 3, 654, 5.9e-5
- 4 : 1, 13, 766, 2, 15, 6, 3, 654, 6.0e-5
- 5 : 1, 13, 766, 2, 15, 6, 3, 654, 6.0e-5
- 6 : 1, 13, 767, 2, 15, 6, 3, 655, 5.5e-5
- 7 : 1, 13, 768, 2, 15, 6, 3, 656, 6.1e-5
- 8 : 1, 13, 776, 2, 15, 6, 3, 662, 6.2e-5
- 9 : 1, 13, 766, 3, 11, 6, 3, 846, 6.2e-5
- 10: 1, 13, 767, 3, 11, 6, 3, 847, 6.0e-5
- 11: 1, 13, 771, 3, 11, 6, 3, 851, 5.6e-5
- 12: 1, 13, 797, 3, 11, 6, 3, 878, 6.2e-5
- 13: 1, 13, 770, 4, 9, 6, 3, 1042, 6.0e-5
- 14: 1, 13, 791, 4, 9, 6, 3, 1070, 6.2e-5
- 15: 1, 13, 771, 5, 8, 9, 2, 1273, 6.2e-5
- 16: 1, 13, 789, 6, 7, 9, 2, 1499, 6.2e-5
- 17: 1, 13, 751, 8, 5, 9, 2, 1804, 6.3e-5
- 18: 1, 13, 756, 10, 4, 9, 2, 2193, 5.8e-5
- 19: 1, 13, 759, 14, 3, 9, 2, 2961, 6.3e-5
- 20: 1, 13, 782, 21, 2, 9, 2, 4418, 6.3e-5
# no solution starting from log norm2 = 21
- 8: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 14, 829, 2, 15, 6, 3, 1489, 5.8e-5
- 1 : 1, 14, 829, 2, 15, 6, 3, 1489, 5.8e-5
- 2 : 1, 14, 829, 2, 15, 6, 3, 1489, 5.9e-5
- 3 : 1, 14, 829, 2, 15, 6, 3, 1489, 5.9e-5
- 4 : 1, 14, 829, 2, 15, 6, 3, 1489, 6.3e-5
- 5 : 1, 14, 832, 2, 15, 6, 3, 1494, 6.2e-5
- 6 : 1, 14, 859, 2, 15, 5, 4, 1513, 6.2e-5
- 7 : 1, 14, 829, 3, 11, 6, 3, 1929, 6.0e-5
- 8 : 1, 14, 830, 3, 11, 6, 3, 1931, 6.1e-5
- 9 : 1, 14, 836, 3, 11, 6, 3, 1945, 5.9e-5
- 10: 1, 14, 846, 3, 11, 7, 3, 1994, 6.1e-5
- 11: 1, 14, 826, 4, 9, 7, 3, 2387, 5.6e-5
- 12: 1, 14, 849, 4, 9, 7, 3, 2452, 6.2e-5
- 13: 1, 14, 835, 5, 8, 10, 2, 2934, 6.2e-5
- 14: 1, 14, 851, 6, 6, 10, 2, 3441, 6.3e-5
- 15: 1, 14, 807, 8, 5, 10, 2, 4124, 5.8e-5
- 16: 1, 14, 811, 10, 4, 10, 2, 5006, 5.9e-5
- 17: 1, 14, 816, 14, 3, 10, 2, 6770, 6.3e-5
- 18: 1, 14, 849, 21, 2, 11, 2, 10225, 6.3e-5
# no solution starting from log norm2 = 19
- 9: # bits
-ln2: k, N, n, br_l,br_b, ks_l,ks_b, cost, p_error
- 0 : 1, 15, 905, 2, 15, 5, 4, 3352, 6.2e-5
- 1 : 1, 15, 905, 2, 15, 5, 4, 3352, 6.3e-5
- 2 : 1, 15, 875, 2, 15, 7, 3, 3355, 6.3e-5
- 3 : 1, 15, 877, 2, 15, 7, 3, 3362, 6.2e-5
- 4 : 1, 15, 887, 2, 15, 7, 3, 3399, 6.1e-5
- 5 : 1, 15, 875, 3, 11, 7, 3, 4339, 6.0e-5
- 6 : 1, 15, 876, 3, 11, 7, 3, 4344, 5.8e-5
- 7 : 1, 15, 879, 3, 11, 7, 3, 4358, 6.0e-5
- 8 : 1, 15, 902, 3, 11, 7, 3, 4469, 6.2e-5
- 9 : 1, 15, 880, 4, 9, 7, 3, 5353, 6.0e-5
- 10: 1, 15, 917, 4, 9, 7, 3, 5573, 6.3e-5
- 11: 1, 15, 898, 5, 7, 7, 3, 6470, 6.3e-5
- 12: 1, 15, 875, 6, 6, 11, 2, 7511, 6.1e-5
- 13: 1, 15, 863, 8, 5, 11, 2, 9352, 5.9e-5
- 14: 1, 15, 867, 10, 4, 11, 2, 11345, 6.0e-5
- 15: 1, 15, 875, 14, 3, 11, 2, 15386, 6.3e-5
- 16: 1, 15, 870, 41, 1, 11, 2, 41725, 6.3e-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, 941, 2, 14, 7, 3, 7550, 6.2e-5
- 1 : 1, 16, 959, 2, 14, 6, 4, 7569, 6.0e-5
- 2 : 1, 16, 967, 2, 14, 6, 4, 7630, 6.0e-5
- 3 : 1, 16, 941, 3, 11, 7, 3, 9784, 6.1e-5
- 4 : 1, 16, 942, 3, 11, 7, 3, 9795, 6.3e-5
- 5 : 1, 16, 934, 3, 11, 8, 3, 9830, 6.1e-5
- 6 : 1, 16, 959, 3, 11, 8, 3, 10087, 6.2e-5
- 7 : 1, 16, 935, 4, 9, 8, 3, 12061, 6.2e-5
- 8 : 1, 16, 954, 4, 9, 12, 2, 12779, 6.3e-5
- 9 : 1, 16, 945, 5, 7, 8, 3, 14432, 6.2e-5
- 10: 1, 16, 927, 6, 6, 11, 2, 16712, 6.1e-5
- 11: 1, 16, 921, 8, 5, 11, 2, 20980, 6.3e-5
- 12: 1, 16, 928, 10, 4, 11, 2, 25546, 6.1e-5
- 13: 1, 16, 948, 13, 3, 24, 1, 34388, 6.3e-5
- 14: 1, 16, 937, 40, 1, 12, 2, 92669, 6.2e-5
# no solution starting from log norm2 = 15