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: 128
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 : 5, 8, 567, 1, 15, 3, 3, 29, 5.4e-5
- 1 : 5, 8, 570, 1, 15, 3, 3, 29, 5.9e-5
- 2 : 5, 8, 592, 1, 15, 3, 3, 30, 6.1e-5
- 3 : 6, 8, 573, 1, 18, 3, 3, 35, 6.1e-5
- 4 : 6, 8, 576, 1, 18, 3, 3, 35, 6.2e-5
- 5 : 6, 8, 595, 1, 18, 3, 3, 36, 6.1e-5
- 6 : 5, 8, 572, 2, 10, 3, 3, 41, 6.1e-5
- 7 : 5, 8, 571, 2, 10, 5, 2, 44, 6.1e-5
- 8 : 4, 9, 582, 1, 23, 3, 3, 50, 6.0e-5
- 9 : 4, 9, 587, 1, 23, 3, 3, 50, 5.7e-5
- 10: 6, 8, 577, 2, 12, 3, 3, 51, 6.1e-5
- 11: 6, 8, 563, 2, 12, 5, 2, 53, 5.7e-5
- 12: 6, 8, 574, 3, 9, 3, 3, 66, 5.5e-5
- 13: 6, 8, 578, 3, 9, 3, 3, 67, 6.1e-5
- 14: 6, 8, 568, 3, 9, 5, 2, 69, 6.1e-5
- 15: 4, 9, 582, 2, 16, 3, 3, 71, 5.2e-5
- 16: 4, 9, 584, 2, 16, 3, 3, 71, 5.6e-5
- 17: 4, 9, 596, 2, 16, 3, 3, 73, 5.8e-5
- 18: 4, 9, 550, 3, 12, 5, 2, 92, 6.2e-5
- 19: 4, 9, 551, 3, 12, 5, 2, 92, 5.5e-5
- 20: 4, 9, 553, 3, 12, 5, 2, 93, 5.9e-5
- 21: 4, 9, 565, 3, 12, 5, 2, 94, 5.8e-5
- 22: 4, 9, 554, 4, 10, 5, 2, 113, 5.6e-5
- 23: 4, 9, 571, 4, 10, 5, 2, 116, 5.8e-5
- 24: 4, 9, 555, 5, 8, 5, 2, 134, 6.0e-5
- 25: 4, 9, 583, 5, 8, 5, 2, 140, 6.1e-5
- 26: 4, 9, 600, 6, 7, 5, 2, 166, 6.2e-5
- 27: 4, 9, 583, 8, 5, 5, 2, 204, 5.9e-5
- 28: 4, 9, 563, 11, 4, 5, 2, 259, 5.4e-5
- 29: 4, 9, 569, 15, 3, 5, 2, 345, 6.0e-5
- 30: 4, 9, 596, 22, 2, 6, 2, 516, 6.3e-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, 653, 1, 15, 3, 4, 32, 6.2e-5
- 1 : 5, 8, 637, 1, 15, 6, 2, 36, 6.3e-5
- 2 : 6, 8, 653, 1, 18, 3, 4, 39, 6.0e-5
- 3 : 6, 8, 658, 1, 18, 3, 4, 39, 5.6e-5
- 4 : 6, 8, 659, 1, 18, 4, 3, 41, 6.2e-5
- 5 : 5, 8, 626, 2, 10, 4, 3, 46, 5.7e-5
- 6 : 4, 9, 648, 1, 23, 3, 4, 55, 5.3e-5
- 7 : 4, 9, 649, 1, 23, 3, 4, 55, 5.1e-5
- 8 : 4, 9, 652, 1, 23, 3, 4, 55, 6.1e-5
- 9 : 4, 9, 678, 1, 23, 3, 4, 57, 6.0e-5
- 10: 3, 9, 633, 2, 12, 4, 3, 60, 5.7e-5
- 11: 6, 8, 623, 3, 9, 4, 3, 74, 6.1e-5
- 12: 6, 8, 629, 3, 9, 4, 3, 74, 6.2e-5
- 13: 4, 9, 618, 2, 16, 4, 3, 78, 5.8e-5
- 14: 4, 9, 619, 2, 16, 4, 3, 78, 5.0e-5
- 15: 4, 9, 620, 2, 16, 4, 3, 78, 6.1e-5
- 16: 4, 9, 629, 2, 16, 4, 3, 79, 5.6e-5
- 17: 4, 9, 601, 3, 12, 5, 2, 100, 5.6e-5
- 18: 4, 9, 602, 3, 12, 5, 2, 100, 5.6e-5
- 19: 4, 9, 621, 3, 12, 4, 3, 101, 6.2e-5
- 20: 4, 9, 636, 3, 12, 4, 3, 103, 5.8e-5
- 21: 4, 9, 607, 4, 10, 5, 2, 123, 6.2e-5
- 22: 4, 9, 617, 4, 10, 6, 2, 127, 6.2e-5
- 23: 4, 9, 599, 5, 8, 6, 2, 146, 5.7e-5
- 24: 4, 9, 634, 5, 8, 6, 2, 154, 6.3e-5
- 25: 4, 9, 601, 7, 6, 6, 2, 190, 6.3e-5
- 26: 4, 9, 634, 8, 5, 6, 2, 224, 6.1e-5
- 27: 4, 9, 607, 11, 4, 6, 2, 281, 6.2e-5
- 28: 4, 9, 615, 15, 3, 6, 2, 375, 6.2e-5
- 29: 4, 9, 639, 23, 2, 12, 1, 591, 6.2e-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 : 3, 9, 694, 1, 18, 3, 4, 44, 6.0e-5
- 1 : 3, 9, 695, 1, 18, 3, 4, 44, 6.2e-5
- 2 : 3, 9, 701, 1, 18, 3, 4, 45, 6.1e-5
- 3 : 3, 9, 725, 1, 18, 5, 3, 50, 6.3e-5
- 4 : 4, 9, 703, 1, 23, 3, 4, 59, 6.1e-5
- 5 : 4, 9, 704, 1, 23, 3, 4, 59, 5.7e-5
- 6 : 4, 9, 706, 1, 23, 3, 4, 59, 5.6e-5
- 7 : 4, 9, 715, 1, 23, 3, 4, 60, 6.0e-5
- 8 : 3, 9, 672, 2, 12, 4, 3, 63, 5.9e-5
- 9 : 3, 9, 664, 3, 9, 4, 3, 81, 5.6e-5
- 10: 3, 9, 665, 3, 9, 4, 3, 81, 6.3e-5
- 11: 3, 9, 674, 3, 9, 4, 3, 82, 5.9e-5
- 12: 4, 9, 673, 2, 16, 4, 3, 84, 5.8e-5
- 13: 4, 9, 674, 2, 16, 4, 3, 84, 5.7e-5
- 14: 4, 9, 678, 2, 16, 4, 3, 84, 5.7e-5
- 15: 4, 9, 707, 2, 16, 4, 3, 88, 6.2e-5
- 16: 4, 9, 673, 3, 12, 4, 3, 108, 5.9e-5
- 17: 4, 9, 674, 3, 12, 4, 3, 109, 6.1e-5
- 18: 4, 9, 680, 3, 12, 4, 3, 109, 6.1e-5
- 19: 4, 9, 704, 3, 12, 7, 2, 121, 6.3e-5
- 20: 4, 9, 683, 4, 10, 4, 3, 135, 5.8e-5
- 21: 4, 9, 650, 5, 8, 6, 2, 158, 5.8e-5
- 22: 4, 9, 660, 5, 8, 6, 2, 160, 6.1e-5
- 23: 4, 9, 663, 6, 7, 6, 2, 185, 6.1e-5
- 24: 4, 9, 668, 7, 6, 6, 2, 211, 6.0e-5
- 25: 4, 9, 670, 9, 5, 7, 2, 263, 6.3e-5
- 26: 4, 9, 683, 11, 4, 7, 2, 318, 6.2e-5
- 27: 4, 9, 664, 22, 2, 6, 2, 574, 6.0e-5
- 28: 4, 9, 676, 45, 1, 14, 1, 1175, 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 : 2, 10, 769, 1, 23, 3, 4, 73, 6.1e-5
- 1 : 2, 10, 769, 1, 23, 3, 4, 73, 6.2e-5
- 2 : 2, 10, 769, 1, 23, 3, 4, 73, 6.2e-5
- 3 : 2, 10, 769, 1, 23, 3, 4, 73, 6.3e-5
- 4 : 2, 10, 772, 1, 23, 3, 4, 73, 6.1e-5
- 5 : 2, 10, 780, 1, 23, 3, 5, 74, 6.2e-5
- 6 : 2, 10, 795, 1, 23, 3, 5, 75, 6.3e-5
- 7 : 2, 10, 714, 2, 15, 5, 3, 103, 5.6e-5
- 8 : 2, 10, 714, 2, 15, 5, 3, 103, 5.6e-5
- 9 : 2, 10, 714, 2, 15, 5, 3, 103, 5.6e-5
- 10: 2, 10, 714, 2, 15, 5, 3, 103, 5.7e-5
- 11: 2, 10, 714, 2, 15, 5, 3, 103, 6.1e-5
- 12: 2, 10, 716, 2, 15, 5, 3, 103, 5.9e-5
- 13: 2, 10, 724, 2, 15, 5, 3, 104, 6.2e-5
- 14: 2, 10, 714, 3, 12, 5, 3, 132, 5.8e-5
- 15: 2, 10, 715, 3, 12, 5, 3, 133, 5.6e-5
- 16: 2, 10, 718, 3, 12, 5, 3, 133, 5.6e-5
- 17: 2, 10, 736, 3, 12, 5, 3, 136, 6.1e-5
- 18: 2, 10, 690, 4, 9, 7, 2, 162, 6.0e-5
- 19: 2, 10, 701, 4, 9, 7, 2, 164, 6.1e-5
- 20: 2, 10, 694, 5, 8, 7, 2, 191, 5.9e-5
- 21: 2, 10, 695, 6, 7, 7, 2, 220, 6.2e-5
- 22: 2, 10, 697, 7, 6, 7, 2, 249, 6.0e-5
- 23: 2, 10, 711, 8, 5, 7, 2, 283, 6.1e-5
- 24: 2, 10, 705, 11, 4, 7, 2, 368, 6.0e-5
- 25: 2, 10, 747, 14, 3, 8, 2, 484, 6.3e-5
- 26: 2, 10, 708, 43, 1, 14, 1, 1318, 6.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, 754, 1, 23, 5, 3, 99, 5.8e-5
- 1 : 1, 11, 754, 1, 23, 5, 3, 99, 5.8e-5
- 2 : 1, 11, 754, 1, 23, 5, 3, 99, 6.0e-5
- 3 : 1, 11, 755, 1, 23, 5, 3, 99, 6.1e-5
- 4 : 1, 11, 760, 1, 23, 5, 3, 100, 5.9e-5
- 5 : 1, 11, 823, 1, 23, 5, 3, 107, 6.3e-5
- 6 : 1, 11, 754, 2, 15, 5, 3, 140, 5.8e-5
- 7 : 1, 11, 754, 2, 15, 5, 3, 140, 5.8e-5
- 8 : 1, 11, 754, 2, 15, 5, 3, 140, 5.8e-5
- 9 : 1, 11, 754, 2, 15, 5, 3, 140, 5.9e-5
- 10: 1, 11, 755, 2, 15, 5, 3, 140, 5.7e-5
- 11: 1, 11, 758, 2, 15, 5, 3, 141, 5.7e-5
- 12: 1, 11, 776, 2, 15, 5, 3, 144, 6.0e-5
- 13: 1, 11, 754, 3, 11, 5, 3, 181, 6.3e-5
- 14: 1, 11, 756, 3, 11, 5, 3, 182, 6.3e-5
- 15: 1, 11, 766, 3, 11, 5, 3, 184, 6.3e-5
- 16: 1, 11, 732, 4, 9, 7, 2, 222, 5.8e-5
- 17: 1, 11, 737, 4, 9, 7, 2, 223, 6.0e-5
- 18: 1, 11, 771, 4, 9, 8, 2, 236, 6.2e-5
- 19: 1, 11, 757, 5, 8, 8, 2, 274, 6.2e-5
- 20: 1, 11, 771, 6, 7, 8, 2, 321, 6.3e-5
- 21: 1, 11, 743, 8, 5, 7, 2, 388, 5.9e-5
- 22: 1, 11, 752, 10, 4, 8, 2, 478, 6.1e-5
- 23: 1, 11, 748, 14, 3, 8, 2, 639, 6.2e-5
- 24: 1, 11, 765, 22, 2, 8, 2, 988, 6.1e-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, 847, 1, 22, 4, 4, 227, 6.1e-5
- 1 : 1, 12, 848, 1, 22, 4, 4, 228, 6.2e-5
- 2 : 1, 12, 854, 1, 22, 4, 4, 229, 5.9e-5
- 3 : 1, 12, 864, 1, 22, 6, 3, 245, 6.3e-5
- 4 : 1, 12, 824, 2, 15, 5, 3, 325, 6.2e-5
- 5 : 1, 12, 824, 2, 15, 5, 3, 325, 6.2e-5
- 6 : 1, 12, 824, 2, 15, 5, 3, 325, 6.3e-5
- 7 : 1, 12, 825, 2, 15, 5, 3, 325, 5.9e-5
- 8 : 1, 12, 826, 2, 15, 5, 3, 325, 5.9e-5
- 9 : 1, 12, 830, 2, 15, 5, 3, 327, 6.1e-5
- 10: 1, 12, 869, 2, 15, 4, 4, 335, 6.2e-5
- 11: 1, 12, 825, 3, 11, 5, 3, 422, 6.1e-5
- 12: 1, 12, 827, 3, 11, 5, 3, 423, 6.3e-5
- 13: 1, 12, 799, 3, 11, 8, 2, 428, 6.2e-5
- 14: 1, 12, 792, 4, 9, 8, 2, 517, 5.9e-5
- 15: 1, 12, 796, 4, 9, 8, 2, 519, 6.3e-5
- 16: 1, 12, 830, 4, 9, 9, 2, 547, 6.3e-5
- 17: 1, 12, 831, 5, 8, 9, 2, 645, 6.2e-5
- 18: 1, 12, 799, 7, 6, 8, 2, 802, 6.2e-5
- 19: 1, 12, 802, 8, 5, 8, 2, 899, 6.3e-5
- 20: 1, 12, 813, 10, 4, 8, 2, 1102, 6.1e-5
- 21: 1, 12, 816, 14, 3, 8, 2, 1488, 6.1e-5
- 22: 1, 12, 850, 22, 2, 9, 2, 2353, 6.3e-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, 881, 1, 22, 6, 3, 527, 6.3e-5
- 1 : 1, 13, 901, 1, 22, 6, 3, 538, 6.2e-5
- 2 : 1, 13, 877, 2, 15, 6, 3, 744, 6.2e-5
- 3 : 1, 13, 877, 2, 15, 6, 3, 744, 6.2e-5
- 4 : 1, 13, 877, 2, 15, 6, 3, 744, 6.3e-5
- 5 : 1, 13, 878, 2, 15, 6, 3, 745, 5.7e-5
- 6 : 1, 13, 878, 2, 15, 6, 3, 745, 6.1e-5
- 7 : 1, 13, 881, 2, 15, 6, 3, 747, 5.8e-5
- 8 : 1, 13, 895, 2, 15, 6, 3, 759, 6.2e-5
- 9 : 1, 13, 878, 3, 11, 6, 3, 965, 5.8e-5
- 10: 1, 13, 879, 3, 11, 6, 3, 966, 6.0e-5
- 11: 1, 13, 885, 3, 11, 6, 3, 972, 5.8e-5
- 12: 1, 13, 879, 4, 9, 6, 3, 1185, 5.9e-5
- 13: 1, 13, 884, 4, 9, 6, 3, 1192, 5.9e-5
- 14: 1, 13, 909, 4, 9, 9, 2, 1267, 6.3e-5
- 15: 1, 13, 860, 6, 7, 9, 2, 1631, 6.1e-5
- 16: 1, 13, 862, 7, 6, 9, 2, 1850, 6.0e-5
- 17: 1, 13, 865, 8, 5, 9, 2, 2073, 5.9e-5
- 18: 1, 13, 873, 10, 4, 9, 2, 2528, 6.1e-5
- 19: 1, 13, 881, 14, 3, 9, 2, 3432, 6.3e-5
- 20: 1, 13, 862, 42, 1, 18, 1, 9514, 6.1e-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, 952, 2, 15, 6, 3, 1700, 6.1e-5
- 1 : 1, 14, 952, 2, 15, 6, 3, 1700, 6.1e-5
- 2 : 1, 14, 952, 2, 15, 6, 3, 1700, 6.1e-5
- 3 : 1, 14, 952, 2, 15, 6, 3, 1700, 6.3e-5
- 4 : 1, 14, 953, 2, 15, 6, 3, 1702, 6.3e-5
- 5 : 1, 14, 974, 2, 15, 5, 4, 1707, 6.0e-5
- 6 : 1, 14, 992, 2, 15, 5, 4, 1738, 6.2e-5
- 7 : 1, 14, 953, 3, 11, 6, 3, 2208, 6.0e-5
- 8 : 1, 14, 941, 3, 11, 7, 3, 2210, 6.3e-5
- 9 : 1, 14, 946, 3, 11, 7, 3, 2222, 6.3e-5
- 10: 1, 14, 976, 3, 11, 11, 2, 2413, 6.3e-5
- 11: 1, 14, 947, 4, 9, 7, 3, 2727, 6.0e-5
- 12: 1, 14, 921, 5, 8, 10, 2, 3230, 6.3e-5
- 13: 1, 14, 922, 6, 6, 10, 2, 3723, 6.3e-5
- 14: 1, 14, 926, 7, 6, 10, 2, 4231, 5.9e-5
- 15: 1, 14, 929, 8, 5, 10, 2, 4738, 6.0e-5
- 16: 1, 14, 937, 10, 4, 10, 2, 5774, 6.1e-5
- 17: 1, 14, 954, 14, 3, 10, 2, 7905, 6.3e-5
- 18: 1, 14, 939, 41, 1, 20, 1, 21544, 6.2e-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, 1001, 2, 15, 7, 3, 3819, 6.2e-5
- 1 : 1, 15, 1001, 2, 15, 7, 3, 3819, 6.3e-5
- 2 : 1, 15, 1002, 2, 15, 7, 3, 3823, 6.2e-5
- 3 : 1, 15, 1005, 2, 15, 7, 3, 3834, 6.3e-5
- 4 : 1, 15, 1026, 2, 15, 7, 3, 3912, 6.2e-5
- 5 : 1, 15, 1002, 3, 11, 7, 3, 4950, 5.8e-5
- 6 : 1, 15, 1003, 3, 11, 7, 3, 4955, 6.0e-5
- 7 : 1, 15, 1009, 3, 11, 7, 3, 4984, 5.9e-5
- 8 : 1, 15, 1003, 4, 9, 7, 3, 6083, 6.1e-5
- 9 : 1, 15, 1010, 4, 9, 7, 3, 6125, 6.2e-5
- 10: 1, 15, 1008, 5, 7, 7, 3, 7247, 6.1e-5
- 11: 1, 15, 1028, 5, 7, 11, 2, 7646, 6.3e-5
- 12: 1, 15, 990, 7, 6, 11, 2, 9595, 6.3e-5
- 13: 1, 15, 994, 8, 5, 11, 2, 10752, 6.2e-5
- 14: 1, 15, 1004, 10, 4, 11, 2, 13118, 6.3e-5
- 15: 1, 15, 990, 20, 2, 11, 2, 24074, 6.3e-5
- 16: 1, 15, 1002, 41, 1, 22, 1, 48727, 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, 1096, 2, 14, 6, 4, 8614, 6.0e-5
- 1 : 1, 16, 1099, 2, 14, 6, 4, 8636, 5.9e-5
- 2 : 1, 16, 1115, 2, 14, 6, 4, 8758, 6.3e-5
- 3 : 1, 16, 1064, 3, 11, 8, 3, 11163, 6.1e-5
- 4 : 1, 16, 1065, 3, 11, 8, 3, 11173, 6.3e-5
- 5 : 1, 16, 1072, 3, 11, 8, 3, 11245, 5.9e-5
- 6 : 1, 16, 1066, 4, 9, 8, 3, 13715, 6.0e-5
- 7 : 1, 16, 1074, 4, 9, 8, 3, 13816, 6.1e-5
- 8 : 1, 16, 1069, 5, 7, 8, 3, 16292, 6.0e-5
- 9 : 1, 16, 1101, 5, 7, 8, 3, 16772, 6.3e-5
- 10: 1, 16, 1077, 6, 6, 12, 2, 19509, 6.3e-5
- 11: 1, 16, 1062, 8, 5, 12, 2, 24285, 6.3e-5
- 12: 1, 16, 1081, 10, 4, 12, 2, 29850, 6.3e-5
- 13: 1, 16, 1053, 20, 2, 12, 2, 54092, 6.3e-5
- 14: 1, 16, 1081, 41, 1, 24, 1, 111062, 6.3e-5
# no solution starting from log norm2 = 15