update remake-curves.sh and Makefile

4 files changed, 221 insertions, 1315 deletions

diff --git a/src/Specific/CurveParameters/nistp256_amd128.json b/src/Specific/CurveParameters/nistp256_amd128.json
new file mode 100644
index 000000000..b1f62bc82
--- /dev/null
+++ b/src/Specific/CurveParameters/nistp256_amd128.json
@@ -0,0 +1,9 @@
+{
+    "modulus"              : "2^256-2^224+2^192+2^96-1",
+    "base"                 : "128",
+    "sz"                   : "2",
+    "bitwidth"             : "128",
+    "montgomery"           : "true",
+    "operations"           : ["fenz", "feadd", "femul", "feopp", "fesub"],
+    "compiler"             : "gcc -fno-peephole2 `#GCC BUG 81300` -march=native -mtune=native -std=gnu11 -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes -Wno-incompatible-pointer-types -fno-strict-aliasing"
+}
diff --git a/src/Specific/CurveParameters/nistp256_amd64.json b/src/Specific/CurveParameters/nistp256_amd64.json
new file mode 100644
index 000000000..971b38f73
--- /dev/null
+++ b/src/Specific/CurveParameters/nistp256_amd64.json
@@ -0,0 +1,9 @@
+{
+    "modulus"              : "2^256-2^224+2^192+2^96-1",
+    "base"                 : "64",
+    "sz"                   : "4",
+    "bitwidth"             : "64",
+    "montgomery"           : "true",
+    "operations"           : ["fenz", "feadd", "femul", "feopp", "fesub"],
+    "compiler"             : "gcc -fno-peephole2 `#GCC BUG 81300` -march=native -mtune=native -std=gnu11 -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes -Wno-incompatible-pointer-types -fno-strict-aliasing"
+}
diff --git a/src/Specific/CurveParameters/remake_curves.sh b/src/Specific/CurveParameters/remake_curves.sh
index c4e81c27a..bb51658cf 100755
--- a/src/Specific/CurveParameters/remake_curves.sh
+++ b/src/Specific/CurveParameters/remake_curves.sh
@@ -8,1585 +8,461 @@ MAKE="../Framework/make_curve.py"
 
 ${MAKE} "$@" x25519_c64.json ../X25519/C64/
 ${MAKE} "$@" x25519_c32.json ../X25519/C32/
-${MAKE} "$@" x2555_130.json ../X2555/C128/
 ${MAKE} "$@" x2448_c64_karatsuba.json ../X2448/Karatsuba/C64/
 ${MAKE} "$@" nistp256_amd128.json ../NISTP256/AMD128/
 ${MAKE} "$@" nistp256_amd64.json ../NISTP256/AMD64/
-${MAKE} "$@" montgomery32_2e127m1.json ../montgomery32_2e127m1/
-${MAKE} "$@" montgomery64_2e127m1.json ../montgomery64_2e127m1/
-${MAKE} "$@" solinas32_2e127m1.json ../solinas32_2e127m1/
-${MAKE} "$@" solinas64_2e127m1.json ../solinas64_2e127m1/
-${MAKE} "$@" montgomery32_2e129m25.json ../montgomery32_2e129m25/
-${MAKE} "$@" montgomery64_2e129m25.json ../montgomery64_2e129m25/
-${MAKE} "$@" solinas32_2e129m25.json ../solinas32_2e129m25/
-${MAKE} "$@" solinas64_2e129m25.json ../solinas64_2e129m25/
-${MAKE} "$@" montgomery32_2e130m5.json ../montgomery32_2e130m5/
-${MAKE} "$@" montgomery64_2e130m5.json ../montgomery64_2e130m5/
-${MAKE} "$@" solinas32_2e130m5.json ../solinas32_2e130m5/
-${MAKE} "$@" solinas64_2e130m5.json ../solinas64_2e130m5/
-${MAKE} "$@" montgomery32_2e137m13.json ../montgomery32_2e137m13/
-${MAKE} "$@" montgomery64_2e137m13.json ../montgomery64_2e137m13/
-${MAKE} "$@" solinas32_2e137m13.json ../solinas32_2e137m13/
-${MAKE} "$@" solinas64_2e137m13.json ../solinas64_2e137m13/
-${MAKE} "$@" montgomery32_2e140m27.json ../montgomery32_2e140m27/
-${MAKE} "$@" montgomery64_2e140m27.json ../montgomery64_2e140m27/
-${MAKE} "$@" solinas32_2e140m27.json ../solinas32_2e140m27/
-${MAKE} "$@" solinas64_2e140m27.json ../solinas64_2e140m27/
-${MAKE} "$@" montgomery32_2e141m9.json ../montgomery32_2e141m9/
-${MAKE} "$@" montgomery64_2e141m9.json ../montgomery64_2e141m9/
-${MAKE} "$@" solinas32_2e141m9.json ../solinas32_2e141m9/
-${MAKE} "$@" solinas64_2e141m9.json ../solinas64_2e141m9/
-${MAKE} "$@" montgomery32_2e150m5.json ../montgomery32_2e150m5/
-${MAKE} "$@" montgomery64_2e150m5.json ../montgomery64_2e150m5/
-${MAKE} "$@" solinas32_2e150m5.json ../solinas32_2e150m5/
-${MAKE} "$@" solinas64_2e150m5.json ../solinas64_2e150m5/
-${MAKE} "$@" montgomery32_2e150m3.json ../montgomery32_2e150m3/
-${MAKE} "$@" montgomery64_2e150m3.json ../montgomery64_2e150m3/
-${MAKE} "$@" solinas32_2e150m3.json ../solinas32_2e150m3/
-${MAKE} "$@" solinas64_2e150m3.json ../solinas64_2e150m3/
-${MAKE} "$@" montgomery32_2e152m17.json ../montgomery32_2e152m17/
-${MAKE} "$@" montgomery64_2e152m17.json ../montgomery64_2e152m17/
-${MAKE} "$@" solinas32_2e152m17.json ../solinas32_2e152m17/
-${MAKE} "$@" solinas64_2e152m17.json ../solinas64_2e152m17/
-${MAKE} "$@" montgomery32_2e158m15.json ../montgomery32_2e158m15/
-${MAKE} "$@" montgomery64_2e158m15.json ../montgomery64_2e158m15/
-${MAKE} "$@" solinas32_2e158m15.json ../solinas32_2e158m15/
-${MAKE} "$@" solinas64_2e158m15.json ../solinas64_2e158m15/
-${MAKE} "$@" montgomery32_2e165m25.json ../montgomery32_2e165m25/
-${MAKE} "$@" montgomery64_2e165m25.json ../montgomery64_2e165m25/
-${MAKE} "$@" solinas32_2e165m25.json ../solinas32_2e165m25/
-${MAKE} "$@" solinas64_2e165m25.json ../solinas64_2e165m25/
-${MAKE} "$@" montgomery32_2e166m5.json ../montgomery32_2e166m5/
-${MAKE} "$@" montgomery64_2e166m5.json ../montgomery64_2e166m5/
-${MAKE} "$@" solinas32_2e166m5.json ../solinas32_2e166m5/
-${MAKE} "$@" solinas64_2e166m5.json ../solinas64_2e166m5/
-${MAKE} "$@" montgomery32_2e171m19.json ../montgomery32_2e171m19/
-${MAKE} "$@" montgomery64_2e171m19.json ../montgomery64_2e171m19/
-${MAKE} "$@" solinas32_2e171m19.json ../solinas32_2e171m19/
-${MAKE} "$@" solinas64_2e171m19.json ../solinas64_2e171m19/
-${MAKE} "$@" montgomery32_2e174m17.json ../montgomery32_2e174m17/
-${MAKE} "$@" montgomery64_2e174m17.json ../montgomery64_2e174m17/
-${MAKE} "$@" solinas32_2e174m17.json ../solinas32_2e174m17/
-${MAKE} "$@" solinas64_2e174m17.json ../solinas64_2e174m17/
-${MAKE} "$@" montgomery32_2e174m3.json ../montgomery32_2e174m3/
-${MAKE} "$@" montgomery64_2e174m3.json ../montgomery64_2e174m3/
-${MAKE} "$@" solinas32_2e174m3.json ../solinas32_2e174m3/
-${MAKE} "$@" solinas64_2e174m3.json ../solinas64_2e174m3/
-${MAKE} "$@" montgomery32_2e189m25.json ../montgomery32_2e189m25/
-${MAKE} "$@" montgomery64_2e189m25.json ../montgomery64_2e189m25/
-${MAKE} "$@" solinas32_2e189m25.json ../solinas32_2e189m25/
-${MAKE} "$@" solinas64_2e189m25.json ../solinas64_2e189m25/
-${MAKE} "$@" montgomery32_2e190m11.json ../montgomery32_2e190m11/
-${MAKE} "$@" montgomery64_2e190m11.json ../montgomery64_2e190m11/
-${MAKE} "$@" solinas32_2e190m11.json ../solinas32_2e190m11/
-${MAKE} "$@" solinas64_2e190m11.json ../solinas64_2e190m11/
-${MAKE} "$@" montgomery32_2e191m19.json ../montgomery32_2e191m19/
-${MAKE} "$@" montgomery64_2e191m19.json ../montgomery64_2e191m19/
-${MAKE} "$@" solinas32_2e191m19.json ../solinas32_2e191m19/
-${MAKE} "$@" solinas64_2e191m19.json ../solinas64_2e191m19/
-${MAKE} "$@" montgomery32_2e194m33.json ../montgomery32_2e194m33/
-${MAKE} "$@" montgomery64_2e194m33.json ../montgomery64_2e194m33/
-${MAKE} "$@" solinas32_2e194m33.json ../solinas32_2e194m33/
-${MAKE} "$@" solinas64_2e194m33.json ../solinas64_2e194m33/
-${MAKE} "$@" montgomery32_2e196m15.json ../montgomery32_2e196m15/
-${MAKE} "$@" montgomery64_2e196m15.json ../montgomery64_2e196m15/
-${MAKE} "$@" solinas32_2e196m15.json ../solinas32_2e196m15/
-${MAKE} "$@" solinas64_2e196m15.json ../solinas64_2e196m15/
-${MAKE} "$@" montgomery32_2e198m17.json ../montgomery32_2e198m17/
-${MAKE} "$@" montgomery64_2e198m17.json ../montgomery64_2e198m17/
-${MAKE} "$@" solinas32_2e198m17.json ../solinas32_2e198m17/
-${MAKE} "$@" solinas64_2e198m17.json ../solinas64_2e198m17/
-${MAKE} "$@" montgomery32_2e206m5.json ../montgomery32_2e206m5/
-${MAKE} "$@" montgomery64_2e206m5.json ../montgomery64_2e206m5/
-${MAKE} "$@" solinas32_2e206m5.json ../solinas32_2e206m5/
-${MAKE} "$@" solinas64_2e206m5.json ../solinas64_2e206m5/
-${MAKE} "$@" montgomery32_2e212m29.json ../montgomery32_2e212m29/
-${MAKE} "$@" montgomery64_2e212m29.json ../montgomery64_2e212m29/
-${MAKE} "$@" solinas32_2e212m29.json ../solinas32_2e212m29/
-${MAKE} "$@" solinas64_2e212m29.json ../solinas64_2e212m29/
-${MAKE} "$@" montgomery32_2e213m3.json ../montgomery32_2e213m3/
-${MAKE} "$@" montgomery64_2e213m3.json ../montgomery64_2e213m3/
-${MAKE} "$@" solinas32_2e213m3.json ../solinas32_2e213m3/
-${MAKE} "$@" solinas64_2e213m3.json ../solinas64_2e213m3/
-${MAKE} "$@" montgomery32_2e221m3.json ../montgomery32_2e221m3/
-${MAKE} "$@" montgomery64_2e221m3.json ../montgomery64_2e221m3/
-${MAKE} "$@" solinas32_2e221m3.json ../solinas32_2e221m3/
-${MAKE} "$@" solinas64_2e221m3.json ../solinas64_2e221m3/
-${MAKE} "$@" montgomery32_2e222m117.json ../montgomery32_2e222m117/
-${MAKE} "$@" montgomery64_2e222m117.json ../montgomery64_2e222m117/
-${MAKE} "$@" solinas32_2e222m117.json ../solinas32_2e222m117/
-${MAKE} "$@" solinas64_2e222m117.json ../solinas64_2e222m117/
-${MAKE} "$@" montgomery32_2e226m5.json ../montgomery32_2e226m5/
-${MAKE} "$@" montgomery64_2e226m5.json ../montgomery64_2e226m5/
-${MAKE} "$@" solinas32_2e226m5.json ../solinas32_2e226m5/
-${MAKE} "$@" solinas64_2e226m5.json ../solinas64_2e226m5/
-${MAKE} "$@" montgomery32_2e230m27.json ../montgomery32_2e230m27/
-${MAKE} "$@" montgomery64_2e230m27.json ../montgomery64_2e230m27/
-${MAKE} "$@" solinas32_2e230m27.json ../solinas32_2e230m27/
-${MAKE} "$@" solinas64_2e230m27.json ../solinas64_2e230m27/
-${MAKE} "$@" montgomery32_2e235m15.json ../montgomery32_2e235m15/
-${MAKE} "$@" montgomery64_2e235m15.json ../montgomery64_2e235m15/
-${MAKE} "$@" solinas32_2e235m15.json ../solinas32_2e235m15/
-${MAKE} "$@" solinas64_2e235m15.json ../solinas64_2e235m15/
-${MAKE} "$@" montgomery32_2e243m9.json ../montgomery32_2e243m9/
-${MAKE} "$@" montgomery64_2e243m9.json ../montgomery64_2e243m9/
-${MAKE} "$@" solinas32_2e243m9.json ../solinas32_2e243m9/
-${MAKE} "$@" solinas64_2e243m9.json ../solinas64_2e243m9/
-${MAKE} "$@" montgomery32_2e251m9.json ../montgomery32_2e251m9/
-${MAKE} "$@" montgomery64_2e251m9.json ../montgomery64_2e251m9/
-${MAKE} "$@" solinas32_2e251m9.json ../solinas32_2e251m9/
-${MAKE} "$@" solinas64_2e251m9.json ../solinas64_2e251m9/
-${MAKE} "$@" montgomery32_2e255m765.json ../montgomery32_2e255m765/
-${MAKE} "$@" montgomery64_2e255m765.json ../montgomery64_2e255m765/
-${MAKE} "$@" solinas32_2e255m765.json ../solinas32_2e255m765/
-${MAKE} "$@" solinas64_2e255m765.json ../solinas64_2e255m765/
-${MAKE} "$@" montgomery32_2e255m19.json ../montgomery32_2e255m19/
-${MAKE} "$@" montgomery64_2e255m19.json ../montgomery64_2e255m19/
-${MAKE} "$@" solinas32_2e255m19.json ../solinas32_2e255m19/
-${MAKE} "$@" solinas64_2e255m19.json ../solinas64_2e255m19/
-${MAKE} "$@" montgomery32_2e256m189.json ../montgomery32_2e256m189/
-${MAKE} "$@" montgomery64_2e256m189.json ../montgomery64_2e256m189/
-${MAKE} "$@" solinas32_2e256m189.json ../solinas32_2e256m189/
-${MAKE} "$@" solinas64_2e256m189.json ../solinas64_2e256m189/
-${MAKE} "$@" montgomery32_2e266m3.json ../montgomery32_2e266m3/
-${MAKE} "$@" montgomery64_2e266m3.json ../montgomery64_2e266m3/
-${MAKE} "$@" solinas32_2e266m3.json ../solinas32_2e266m3/
-${MAKE} "$@" solinas64_2e266m3.json ../solinas64_2e266m3/
-${MAKE} "$@" montgomery32_2e285m9.json ../montgomery32_2e285m9/
-${MAKE} "$@" montgomery64_2e285m9.json ../montgomery64_2e285m9/
-${MAKE} "$@" solinas32_2e285m9.json ../solinas32_2e285m9/
-${MAKE} "$@" solinas64_2e285m9.json ../solinas64_2e285m9/
-${MAKE} "$@" montgomery32_2e291m19.json ../montgomery32_2e291m19/
-${MAKE} "$@" montgomery64_2e291m19.json ../montgomery64_2e291m19/
-${MAKE} "$@" solinas32_2e291m19.json ../solinas32_2e291m19/
-${MAKE} "$@" solinas64_2e291m19.json ../solinas64_2e291m19/
-${MAKE} "$@" montgomery32_2e321m9.json ../montgomery32_2e321m9/
-${MAKE} "$@" montgomery64_2e321m9.json ../montgomery64_2e321m9/
-${MAKE} "$@" solinas32_2e321m9.json ../solinas32_2e321m9/
-${MAKE} "$@" solinas64_2e321m9.json ../solinas64_2e321m9/
-${MAKE} "$@" montgomery32_2e336m17.json ../montgomery32_2e336m17/
-${MAKE} "$@" montgomery64_2e336m17.json ../montgomery64_2e336m17/
-${MAKE} "$@" solinas32_2e336m17.json ../solinas32_2e336m17/
-${MAKE} "$@" solinas64_2e336m17.json ../solinas64_2e336m17/
-${MAKE} "$@" montgomery32_2e336m3.json ../montgomery32_2e336m3/
-${MAKE} "$@" montgomery64_2e336m3.json ../montgomery64_2e336m3/
-${MAKE} "$@" solinas32_2e336m3.json ../solinas32_2e336m3/
-${MAKE} "$@" solinas64_2e336m3.json ../solinas64_2e336m3/
-${MAKE} "$@" montgomery32_2e338m15.json ../montgomery32_2e338m15/
-${MAKE} "$@" montgomery64_2e338m15.json ../montgomery64_2e338m15/
-${MAKE} "$@" solinas32_2e338m15.json ../solinas32_2e338m15/
-${MAKE} "$@" solinas64_2e338m15.json ../solinas64_2e338m15/
-${MAKE} "$@" montgomery32_2e369m25.json ../montgomery32_2e369m25/
-${MAKE} "$@" montgomery64_2e369m25.json ../montgomery64_2e369m25/
-${MAKE} "$@" solinas32_2e369m25.json ../solinas32_2e369m25/
-${MAKE} "$@" solinas64_2e369m25.json ../solinas64_2e369m25/
-${MAKE} "$@" montgomery32_2e379m19.json ../montgomery32_2e379m19/
-${MAKE} "$@" montgomery64_2e379m19.json ../montgomery64_2e379m19/
-${MAKE} "$@" solinas32_2e379m19.json ../solinas32_2e379m19/
-${MAKE} "$@" solinas64_2e379m19.json ../solinas64_2e379m19/
-${MAKE} "$@" montgomery32_2e382m105.json ../montgomery32_2e382m105/
-${MAKE} "$@" montgomery64_2e382m105.json ../montgomery64_2e382m105/
-${MAKE} "$@" solinas32_2e382m105.json ../solinas32_2e382m105/
-${MAKE} "$@" solinas64_2e382m105.json ../solinas64_2e382m105/
-${MAKE} "$@" montgomery32_2e383m421.json ../montgomery32_2e383m421/
-${MAKE} "$@" montgomery64_2e383m421.json ../montgomery64_2e383m421/
-${MAKE} "$@" montgomery32_2e383m187.json ../montgomery32_2e383m187/
-${MAKE} "$@" montgomery64_2e383m187.json ../montgomery64_2e383m187/
-${MAKE} "$@" montgomery32_2e383m31.json ../montgomery32_2e383m31/
-${MAKE} "$@" montgomery64_2e383m31.json ../montgomery64_2e383m31/
-${MAKE} "$@" montgomery32_2e384m317.json ../montgomery32_2e384m317/
-${MAKE} "$@" montgomery64_2e384m317.json ../montgomery64_2e384m317/
-${MAKE} "$@" solinas32_2e384m317.json ../solinas32_2e384m317/
-${MAKE} "$@" solinas64_2e384m317.json ../solinas64_2e384m317/
-${MAKE} "$@" montgomery32_2e389m21.json ../montgomery32_2e389m21/
-${MAKE} "$@" montgomery64_2e389m21.json ../montgomery64_2e389m21/
-${MAKE} "$@" montgomery32_2e401m31.json ../montgomery32_2e401m31/
-${MAKE} "$@" montgomery64_2e401m31.json ../montgomery64_2e401m31/
-${MAKE} "$@" solinas32_2e401m31.json ../solinas32_2e401m31/
-${MAKE} "$@" solinas64_2e401m31.json ../solinas64_2e401m31/
-${MAKE} "$@" montgomery32_2e413m21.json ../montgomery32_2e413m21/
-${MAKE} "$@" montgomery64_2e413m21.json ../montgomery64_2e413m21/
-${MAKE} "$@" solinas64_2e413m21.json ../solinas64_2e413m21/
-${MAKE} "$@" montgomery32_2e414m17.json ../montgomery32_2e414m17/
-${MAKE} "$@" montgomery64_2e414m17.json ../montgomery64_2e414m17/
-${MAKE} "$@" solinas32_2e414m17.json ../solinas32_2e414m17/
-${MAKE} "$@" solinas64_2e414m17.json ../solinas64_2e414m17/
-${MAKE} "$@" montgomery32_2e444m17.json ../montgomery32_2e444m17/
-${MAKE} "$@" montgomery64_2e444m17.json ../montgomery64_2e444m17/
-${MAKE} "$@" solinas32_2e444m17.json ../solinas32_2e444m17/
-${MAKE} "$@" solinas64_2e444m17.json ../solinas64_2e444m17/
-${MAKE} "$@" montgomery32_2e452m3.json ../montgomery32_2e452m3/
-${MAKE} "$@" montgomery64_2e452m3.json ../montgomery64_2e452m3/
-${MAKE} "$@" solinas32_2e452m3.json ../solinas32_2e452m3/
-${MAKE} "$@" solinas64_2e452m3.json ../solinas64_2e452m3/
-${MAKE} "$@" montgomery32_2e468m17.json ../montgomery32_2e468m17/
-${MAKE} "$@" montgomery64_2e468m17.json ../montgomery64_2e468m17/
-${MAKE} "$@" solinas32_2e468m17.json ../solinas32_2e468m17/
-${MAKE} "$@" solinas64_2e468m17.json ../solinas64_2e468m17/
-${MAKE} "$@" montgomery32_2e488m17.json ../montgomery32_2e488m17/
-${MAKE} "$@" montgomery64_2e488m17.json ../montgomery64_2e488m17/
-${MAKE} "$@" solinas32_2e488m17.json ../solinas32_2e488m17/
-${MAKE} "$@" solinas64_2e488m17.json ../solinas64_2e488m17/
-${MAKE} "$@" montgomery32_2e489m21.json ../montgomery32_2e489m21/
-${MAKE} "$@" montgomery64_2e489m21.json ../montgomery64_2e489m21/
-${MAKE} "$@" solinas32_2e489m21.json ../solinas32_2e489m21/
-${MAKE} "$@" solinas64_2e489m21.json ../solinas64_2e489m21/
-${MAKE} "$@" montgomery32_2e495m31.json ../montgomery32_2e495m31/
-${MAKE} "$@" montgomery64_2e495m31.json ../montgomery64_2e495m31/
-${MAKE} "$@" solinas32_2e495m31.json ../solinas32_2e495m31/
-${MAKE} "$@" solinas64_2e495m31.json ../solinas64_2e495m31/
-${MAKE} "$@" montgomery32_2e511m481.json ../montgomery32_2e511m481/
-${MAKE} "$@" montgomery64_2e511m481.json ../montgomery64_2e511m481/
-${MAKE} "$@" solinas32_2e511m481.json ../solinas32_2e511m481/
-${MAKE} "$@" solinas64_2e511m481.json ../solinas64_2e511m481/
-${MAKE} "$@" montgomery32_2e511m187.json ../montgomery32_2e511m187/
-${MAKE} "$@" montgomery64_2e511m187.json ../montgomery64_2e511m187/
-${MAKE} "$@" solinas32_2e511m187.json ../solinas32_2e511m187/
-${MAKE} "$@" solinas64_2e511m187.json ../solinas64_2e511m187/
-${MAKE} "$@" montgomery32_2e512m569.json ../montgomery32_2e512m569/
-${MAKE} "$@" montgomery64_2e512m569.json ../montgomery64_2e512m569/
-${MAKE} "$@" solinas32_2e512m569.json ../solinas32_2e512m569/
-${MAKE} "$@" solinas64_2e512m569.json ../solinas64_2e512m569/
-${MAKE} "$@" montgomery32_2e521m1.json ../montgomery32_2e521m1/
-${MAKE} "$@" montgomery64_2e521m1.json ../montgomery64_2e521m1/
-${MAKE} "$@" solinas32_2e521m1.json ../solinas32_2e521m1/
-${MAKE} "$@" solinas64_2e521m1.json ../solinas64_2e521m1/
-${MAKE} "$@" montgomery32_2e192m2e64m1.json ../montgomery32_2e192m2e64m1/
-${MAKE} "$@" montgomery64_2e192m2e64m1.json ../montgomery64_2e192m2e64m1/
-${MAKE} "$@" solinas32_2e192m2e64m1.json ../solinas32_2e192m2e64m1/
-${MAKE} "$@" solinas64_2e192m2e64m1.json ../solinas64_2e192m2e64m1/
-${MAKE} "$@" montgomery32_2e216m2e108m1.json ../montgomery32_2e216m2e108m1/
-${MAKE} "$@" montgomery64_2e216m2e108m1.json ../montgomery64_2e216m2e108m1/
-${MAKE} "$@" solinas32_2e216m2e108m1.json ../solinas32_2e216m2e108m1/
-${MAKE} "$@" solinas64_2e216m2e108m1.json ../solinas64_2e216m2e108m1/
-${MAKE} "$@" montgomery32_2e322m2e161m1.json ../montgomery32_2e322m2e161m1/
-${MAKE} "$@" montgomery64_2e322m2e161m1.json ../montgomery64_2e322m2e161m1/
-${MAKE} "$@" solinas32_2e322m2e161m1.json ../solinas32_2e322m2e161m1/
-${MAKE} "$@" solinas64_2e322m2e161m1.json ../solinas64_2e322m2e161m1/
-${MAKE} "$@" montgomery32_2e416m2e208m1.json ../montgomery32_2e416m2e208m1/
-${MAKE} "$@" montgomery64_2e416m2e208m1.json ../montgomery64_2e416m2e208m1/
-${MAKE} "$@" solinas32_2e416m2e208m1.json ../solinas32_2e416m2e208m1/
-${MAKE} "$@" solinas64_2e416m2e208m1.json ../solinas64_2e416m2e208m1/
-${MAKE} "$@" montgomery32_2e448m2e224m1.json ../montgomery32_2e448m2e224m1/
-${MAKE} "$@" montgomery64_2e448m2e224m1.json ../montgomery64_2e448m2e224m1/
-${MAKE} "$@" solinas32_2e448m2e224m1.json ../solinas32_2e448m2e224m1/
-${MAKE} "$@" solinas64_2e448m2e224m1.json ../solinas64_2e448m2e224m1/
-${MAKE} "$@" montgomery32_2e450m2e225m1.json ../montgomery32_2e450m2e225m1/
-${MAKE} "$@" montgomery64_2e450m2e225m1.json ../montgomery64_2e450m2e225m1/
-${MAKE} "$@" solinas32_2e450m2e225m1.json ../solinas32_2e450m2e225m1/
-${MAKE} "$@" solinas64_2e450m2e225m1.json ../solinas64_2e450m2e225m1/
-${MAKE} "$@" montgomery32_2e480m2e240m1.json ../montgomery32_2e480m2e240m1/
-${MAKE} "$@" montgomery64_2e480m2e240m1.json ../montgomery64_2e480m2e240m1/
-${MAKE} "$@" solinas32_2e480m2e240m1.json ../solinas32_2e480m2e240m1/
-${MAKE} "$@" solinas64_2e480m2e240m1.json ../solinas64_2e480m2e240m1/
-${MAKE} "$@" montgomery32_2e205m45x2e198m1.json ../montgomery32_2e205m45x2e198m1/
-${MAKE} "$@" montgomery64_2e205m45x2e198m1.json ../montgomery64_2e205m45x2e198m1/
-${MAKE} "$@" solinas32_2e205m45x2e198m1.json ../solinas32_2e205m45x2e198m1/
-${MAKE} "$@" solinas64_2e205m45x2e198m1.json ../solinas64_2e205m45x2e198m1/
-${MAKE} "$@" montgomery32_2e224m2e96p1.json ../montgomery32_2e224m2e96p1/
-${MAKE} "$@" montgomery64_2e224m2e96p1.json ../montgomery64_2e224m2e96p1/
-${MAKE} "$@" solinas32_2e224m2e96p1.json ../solinas32_2e224m2e96p1/
-${MAKE} "$@" solinas64_2e224m2e96p1.json ../solinas64_2e224m2e96p1/
-${MAKE} "$@" montgomery32_2e255m2e4m2e1m1.json ../montgomery32_2e255m2e4m2e1m1/
-${MAKE} "$@" montgomery64_2e255m2e4m2e1m1.json ../montgomery64_2e255m2e4m2e1m1/
-${MAKE} "$@" solinas32_2e255m2e4m2e1m1.json ../solinas32_2e255m2e4m2e1m1/
-${MAKE} "$@" solinas64_2e255m2e4m2e1m1.json ../solinas64_2e255m2e4m2e1m1/
-${MAKE} "$@" montgomery32_2e256m2e224p2e192p2e96m1.json ../montgomery32_2e256m2e224p2e192p2e96m1/
-${MAKE} "$@" montgomery64_2e256m2e224p2e192p2e96m1.json ../montgomery64_2e256m2e224p2e192p2e96m1/
-${MAKE} "$@" solinas32_2e256m2e224p2e192p2e96m1.json ../solinas32_2e256m2e224p2e192p2e96m1/
-${MAKE} "$@" solinas64_2e256m2e224p2e192p2e96m1.json ../solinas64_2e256m2e224p2e192p2e96m1/
-${MAKE} "$@" montgomery32_2e256m2e32m977.json ../montgomery32_2e256m2e32m977/
-${MAKE} "$@" montgomery64_2e256m2e32m977.json ../montgomery64_2e256m2e32m977/
-${MAKE} "$@" solinas32_2e256m2e32m977.json ../solinas32_2e256m2e32m977/
-${MAKE} "$@" solinas64_2e256m2e32m977.json ../solinas64_2e256m2e32m977/
-${MAKE} "$@" montgomery32_2e384m2e128m2e96p2e32m1.json ../montgomery32_2e384m2e128m2e96p2e32m1/
-${MAKE} "$@" montgomery64_2e384m2e128m2e96p2e32m1.json ../montgomery64_2e384m2e128m2e96p2e32m1/
-${MAKE} "$@" solinas32_2e384m2e128m2e96p2e32m1.json ../solinas32_2e384m2e128m2e96p2e32m1/
-${MAKE} "$@" solinas64_2e384m2e128m2e96p2e32m1.json ../solinas64_2e384m2e128m2e96p2e32m1/
-${MAKE} "$@" montgomery32_2e256m88x2e240m1.json ../montgomery32_2e256m88x2e240m1/
-${MAKE} "$@" montgomery64_2e256m88x2e240m1.json ../montgomery64_2e256m88x2e240m1/
-${MAKE} "$@" solinas32_2e256m88x2e240m1.json ../solinas32_2e256m88x2e240m1/
-${MAKE} "$@" solinas64_2e256m88x2e240m1.json ../solinas64_2e256m88x2e240m1/
-${MAKE} "$@" montgomery32_2e254m127x2e240m1.json ../montgomery32_2e254m127x2e240m1/
-${MAKE} "$@" montgomery64_2e254m127x2e240m1.json ../montgomery64_2e254m127x2e240m1/
-${MAKE} "$@" solinas32_2e254m127x2e240m1.json ../solinas32_2e254m127x2e240m1/
-${MAKE} "$@" solinas64_2e254m127x2e240m1.json ../solinas64_2e254m127x2e240m1/
-${MAKE} "$@" montgomery32_2e384m79x2e376m1.json ../montgomery32_2e384m79x2e376m1/
-${MAKE} "$@" montgomery64_2e384m79x2e376m1.json ../montgomery64_2e384m79x2e376m1/
-${MAKE} "$@" solinas32_2e384m79x2e376m1.json ../solinas32_2e384m79x2e376m1/
-${MAKE} "$@" solinas64_2e384m79x2e376m1.json ../solinas64_2e384m79x2e376m1/
-${MAKE} "$@" montgomery32_2e384m5x2e368m1.json ../montgomery32_2e384m5x2e368m1/
-${MAKE} "$@" montgomery64_2e384m5x2e368m1.json ../montgomery64_2e384m5x2e368m1/
-${MAKE} "$@" solinas32_2e384m5x2e368m1.json ../solinas32_2e384m5x2e368m1/
-${MAKE} "$@" solinas64_2e384m5x2e368m1.json ../solinas64_2e384m5x2e368m1/
-${MAKE} "$@" montgomery32_2e512m491x2e496m1.json ../montgomery32_2e512m491x2e496m1/
-${MAKE} "$@" montgomery64_2e512m491x2e496m1.json ../montgomery64_2e512m491x2e496m1/
-${MAKE} "$@" solinas32_2e512m491x2e496m1.json ../solinas32_2e512m491x2e496m1/
-${MAKE} "$@" solinas64_2e512m491x2e496m1.json ../solinas64_2e512m491x2e496m1/
-${MAKE} "$@" montgomery32_2e510m290x2e496m1.json ../montgomery32_2e510m290x2e496m1/
-${MAKE} "$@" montgomery64_2e510m290x2e496m1.json ../montgomery64_2e510m290x2e496m1/
-${MAKE} "$@" solinas32_2e510m290x2e496m1.json ../solinas32_2e510m290x2e496m1/
-${MAKE} "$@" solinas64_2e510m290x2e496m1.json ../solinas64_2e510m290x2e496m1/
-${MAKE} "$@" solinas32_2e256m88x2e240m1.json ../solinas32_2e256m88x2e240m1/
-${MAKE} "$@" solinas32_2e254m127x2e240m1.json ../solinas32_2e254m127x2e240m1/
-${MAKE} "$@" solinas64_2e254m127x2e240m1.json ../solinas64_2e254m127x2e240m1/
-${MAKE} "$@" solinas32_2e512m491x2e496m1.json ../solinas32_2e512m491x2e496m1/
 ${MAKE} "$@" montgomery32_2e127m1_4limbs.json ../montgomery32_2e127m1_4limbs/
 ${MAKE} "$@" montgomery64_2e127m1_2limbs.json ../montgomery64_2e127m1_2limbs/
+${MAKE} "$@" solinas32_2e127m1_5limbs.json ../solinas32_2e127m1_5limbs/
+${MAKE} "$@" solinas32_2e127m1_6limbs.json ../solinas32_2e127m1_6limbs/
+${MAKE} "$@" solinas64_2e127m1_3limbs.json ../solinas64_2e127m1_3limbs/
 ${MAKE} "$@" montgomery32_2e129m25_5limbs.json ../montgomery32_2e129m25_5limbs/
 ${MAKE} "$@" montgomery64_2e129m25_3limbs.json ../montgomery64_2e129m25_3limbs/
+${MAKE} "$@" solinas32_2e129m25_5limbs.json ../solinas32_2e129m25_5limbs/
+${MAKE} "$@" solinas32_2e129m25_6limbs.json ../solinas32_2e129m25_6limbs/
 ${MAKE} "$@" solinas64_2e129m25_3limbs.json ../solinas64_2e129m25_3limbs/
 ${MAKE} "$@" solinas64_2e129m25_4limbs.json ../solinas64_2e129m25_4limbs/
-${MAKE} "$@" solinas64_2e129m25_5limbs.json ../solinas64_2e129m25_5limbs/
 ${MAKE} "$@" montgomery32_2e130m5_5limbs.json ../montgomery32_2e130m5_5limbs/
 ${MAKE} "$@" montgomery64_2e130m5_3limbs.json ../montgomery64_2e130m5_3limbs/
+${MAKE} "$@" solinas32_2e130m5_5limbs.json ../solinas32_2e130m5_5limbs/
+${MAKE} "$@" solinas32_2e130m5_6limbs.json ../solinas32_2e130m5_6limbs/
+${MAKE} "$@" solinas64_2e130m5_3limbs.json ../solinas64_2e130m5_3limbs/
+${MAKE} "$@" solinas64_2e130m5_4limbs.json ../solinas64_2e130m5_4limbs/
 ${MAKE} "$@" montgomery32_2e137m13_5limbs.json ../montgomery32_2e137m13_5limbs/
 ${MAKE} "$@" montgomery64_2e137m13_3limbs.json ../montgomery64_2e137m13_3limbs/
+${MAKE} "$@" solinas32_2e137m13_5limbs.json ../solinas32_2e137m13_5limbs/
+${MAKE} "$@" solinas32_2e137m13_6limbs.json ../solinas32_2e137m13_6limbs/
+${MAKE} "$@" solinas64_2e137m13_3limbs.json ../solinas64_2e137m13_3limbs/
+${MAKE} "$@" solinas64_2e137m13_4limbs.json ../solinas64_2e137m13_4limbs/
 ${MAKE} "$@" montgomery32_2e140m27_5limbs.json ../montgomery32_2e140m27_5limbs/
 ${MAKE} "$@" montgomery64_2e140m27_3limbs.json ../montgomery64_2e140m27_3limbs/
+${MAKE} "$@" solinas32_2e140m27_6limbs.json ../solinas32_2e140m27_6limbs/
+${MAKE} "$@" solinas32_2e140m27_7limbs.json ../solinas32_2e140m27_7limbs/
+${MAKE} "$@" solinas64_2e140m27_3limbs.json ../solinas64_2e140m27_3limbs/
+${MAKE} "$@" solinas64_2e140m27_4limbs.json ../solinas64_2e140m27_4limbs/
 ${MAKE} "$@" montgomery32_2e141m9_5limbs.json ../montgomery32_2e141m9_5limbs/
 ${MAKE} "$@" montgomery64_2e141m9_3limbs.json ../montgomery64_2e141m9_3limbs/
+${MAKE} "$@" solinas32_2e141m9_6limbs.json ../solinas32_2e141m9_6limbs/
+${MAKE} "$@" solinas32_2e141m9_7limbs.json ../solinas32_2e141m9_7limbs/
 ${MAKE} "$@" solinas64_2e141m9_3limbs.json ../solinas64_2e141m9_3limbs/
 ${MAKE} "$@" solinas64_2e141m9_4limbs.json ../solinas64_2e141m9_4limbs/
-${MAKE} "$@" solinas64_2e141m9_5limbs.json ../solinas64_2e141m9_5limbs/
 ${MAKE} "$@" montgomery32_2e150m5_5limbs.json ../montgomery32_2e150m5_5limbs/
 ${MAKE} "$@" montgomery64_2e150m5_3limbs.json ../montgomery64_2e150m5_3limbs/
+${MAKE} "$@" solinas32_2e150m5_6limbs.json ../solinas32_2e150m5_6limbs/
+${MAKE} "$@" solinas32_2e150m5_7limbs.json ../solinas32_2e150m5_7limbs/
 ${MAKE} "$@" solinas64_2e150m5_3limbs.json ../solinas64_2e150m5_3limbs/
 ${MAKE} "$@" solinas64_2e150m5_4limbs.json ../solinas64_2e150m5_4limbs/
-${MAKE} "$@" solinas64_2e150m5_5limbs.json ../solinas64_2e150m5_5limbs/
 ${MAKE} "$@" montgomery32_2e150m3_5limbs.json ../montgomery32_2e150m3_5limbs/
 ${MAKE} "$@" montgomery64_2e150m3_3limbs.json ../montgomery64_2e150m3_3limbs/
+${MAKE} "$@" solinas32_2e150m3_6limbs.json ../solinas32_2e150m3_6limbs/
+${MAKE} "$@" solinas32_2e150m3_7limbs.json ../solinas32_2e150m3_7limbs/
 ${MAKE} "$@" solinas64_2e150m3_3limbs.json ../solinas64_2e150m3_3limbs/
 ${MAKE} "$@" solinas64_2e150m3_4limbs.json ../solinas64_2e150m3_4limbs/
-${MAKE} "$@" solinas64_2e150m3_5limbs.json ../solinas64_2e150m3_5limbs/
 ${MAKE} "$@" montgomery32_2e152m17_5limbs.json ../montgomery32_2e152m17_5limbs/
 ${MAKE} "$@" montgomery64_2e152m17_3limbs.json ../montgomery64_2e152m17_3limbs/
+${MAKE} "$@" solinas32_2e152m17_6limbs.json ../solinas32_2e152m17_6limbs/
+${MAKE} "$@" solinas32_2e152m17_7limbs.json ../solinas32_2e152m17_7limbs/
+${MAKE} "$@" solinas64_2e152m17_3limbs.json ../solinas64_2e152m17_3limbs/
+${MAKE} "$@" solinas64_2e152m17_4limbs.json ../solinas64_2e152m17_4limbs/
 ${MAKE} "$@" montgomery32_2e158m15_5limbs.json ../montgomery32_2e158m15_5limbs/
 ${MAKE} "$@" montgomery64_2e158m15_3limbs.json ../montgomery64_2e158m15_3limbs/
+${MAKE} "$@" solinas32_2e158m15_6limbs.json ../solinas32_2e158m15_6limbs/
+${MAKE} "$@" solinas32_2e158m15_7limbs.json ../solinas32_2e158m15_7limbs/
+${MAKE} "$@" solinas64_2e158m15_3limbs.json ../solinas64_2e158m15_3limbs/
+${MAKE} "$@" solinas64_2e158m15_4limbs.json ../solinas64_2e158m15_4limbs/
 ${MAKE} "$@" montgomery32_2e165m25_6limbs.json ../montgomery32_2e165m25_6limbs/
 ${MAKE} "$@" montgomery64_2e165m25_3limbs.json ../montgomery64_2e165m25_3limbs/
+${MAKE} "$@" solinas32_2e165m25_7limbs.json ../solinas32_2e165m25_7limbs/
+${MAKE} "$@" solinas32_2e165m25_8limbs.json ../solinas32_2e165m25_8limbs/
 ${MAKE} "$@" solinas64_2e165m25_3limbs.json ../solinas64_2e165m25_3limbs/
 ${MAKE} "$@" solinas64_2e165m25_4limbs.json ../solinas64_2e165m25_4limbs/
-${MAKE} "$@" solinas64_2e165m25_5limbs.json ../solinas64_2e165m25_5limbs/
 ${MAKE} "$@" montgomery32_2e166m5_6limbs.json ../montgomery32_2e166m5_6limbs/
 ${MAKE} "$@" montgomery64_2e166m5_3limbs.json ../montgomery64_2e166m5_3limbs/
+${MAKE} "$@" solinas32_2e166m5_6limbs.json ../solinas32_2e166m5_6limbs/
+${MAKE} "$@" solinas32_2e166m5_7limbs.json ../solinas32_2e166m5_7limbs/
+${MAKE} "$@" solinas64_2e166m5_3limbs.json ../solinas64_2e166m5_3limbs/
+${MAKE} "$@" solinas64_2e166m5_4limbs.json ../solinas64_2e166m5_4limbs/
 ${MAKE} "$@" montgomery32_2e171m19_6limbs.json ../montgomery32_2e171m19_6limbs/
 ${MAKE} "$@" montgomery64_2e171m19_3limbs.json ../montgomery64_2e171m19_3limbs/
+${MAKE} "$@" solinas32_2e171m19_7limbs.json ../solinas32_2e171m19_7limbs/
+${MAKE} "$@" solinas32_2e171m19_8limbs.json ../solinas32_2e171m19_8limbs/
 ${MAKE} "$@" solinas64_2e171m19_3limbs.json ../solinas64_2e171m19_3limbs/
 ${MAKE} "$@" solinas64_2e171m19_4limbs.json ../solinas64_2e171m19_4limbs/
-${MAKE} "$@" solinas64_2e171m19_5limbs.json ../solinas64_2e171m19_5limbs/
 ${MAKE} "$@" montgomery32_2e174m17_6limbs.json ../montgomery32_2e174m17_6limbs/
 ${MAKE} "$@" montgomery64_2e174m17_3limbs.json ../montgomery64_2e174m17_3limbs/
+${MAKE} "$@" solinas32_2e174m17_7limbs.json ../solinas32_2e174m17_7limbs/
+${MAKE} "$@" solinas32_2e174m17_8limbs.json ../solinas32_2e174m17_8limbs/
 ${MAKE} "$@" solinas64_2e174m17_3limbs.json ../solinas64_2e174m17_3limbs/
 ${MAKE} "$@" solinas64_2e174m17_4limbs.json ../solinas64_2e174m17_4limbs/
-${MAKE} "$@" solinas64_2e174m17_5limbs.json ../solinas64_2e174m17_5limbs/
 ${MAKE} "$@" montgomery32_2e174m3_6limbs.json ../montgomery32_2e174m3_6limbs/
 ${MAKE} "$@" montgomery64_2e174m3_3limbs.json ../montgomery64_2e174m3_3limbs/
+${MAKE} "$@" solinas32_2e174m3_7limbs.json ../solinas32_2e174m3_7limbs/
+${MAKE} "$@" solinas32_2e174m3_8limbs.json ../solinas32_2e174m3_8limbs/
 ${MAKE} "$@" solinas64_2e174m3_3limbs.json ../solinas64_2e174m3_3limbs/
 ${MAKE} "$@" solinas64_2e174m3_4limbs.json ../solinas64_2e174m3_4limbs/
-${MAKE} "$@" solinas64_2e174m3_5limbs.json ../solinas64_2e174m3_5limbs/
 ${MAKE} "$@" montgomery32_2e189m25_6limbs.json ../montgomery32_2e189m25_6limbs/
 ${MAKE} "$@" montgomery64_2e189m25_3limbs.json ../montgomery64_2e189m25_3limbs/
+${MAKE} "$@" solinas32_2e189m25_7limbs.json ../solinas32_2e189m25_7limbs/
+${MAKE} "$@" solinas32_2e189m25_8limbs.json ../solinas32_2e189m25_8limbs/
 ${MAKE} "$@" solinas64_2e189m25_4limbs.json ../solinas64_2e189m25_4limbs/
 ${MAKE} "$@" solinas64_2e189m25_5limbs.json ../solinas64_2e189m25_5limbs/
-${MAKE} "$@" solinas64_2e189m25_6limbs.json ../solinas64_2e189m25_6limbs/
-${MAKE} "$@" solinas64_2e189m25_7limbs.json ../solinas64_2e189m25_7limbs/
 ${MAKE} "$@" montgomery32_2e190m11_6limbs.json ../montgomery32_2e190m11_6limbs/
 ${MAKE} "$@" montgomery64_2e190m11_3limbs.json ../montgomery64_2e190m11_3limbs/
-${MAKE} "$@" montgomery32_2e191m19_6limbs.json ../montgomery32_2e191m19_6limbs/
-${MAKE} "$@" montgomery64_2e191m19_3limbs.json ../montgomery64_2e191m19_3limbs/
-${MAKE} "$@" montgomery32_2e194m33_7limbs.json ../montgomery32_2e194m33_7limbs/
-${MAKE} "$@" montgomery64_2e194m33_4limbs.json ../montgomery64_2e194m33_4limbs/
-${MAKE} "$@" montgomery32_2e196m15_7limbs.json ../montgomery32_2e196m15_7limbs/
-${MAKE} "$@" montgomery64_2e196m15_4limbs.json ../montgomery64_2e196m15_4limbs/
-${MAKE} "$@" montgomery32_2e198m17_7limbs.json ../montgomery32_2e198m17_7limbs/
-${MAKE} "$@" montgomery64_2e198m17_4limbs.json ../montgomery64_2e198m17_4limbs/
-${MAKE} "$@" montgomery32_2e206m5_7limbs.json ../montgomery32_2e206m5_7limbs/
-${MAKE} "$@" montgomery64_2e206m5_4limbs.json ../montgomery64_2e206m5_4limbs/
-${MAKE} "$@" montgomery32_2e212m29_7limbs.json ../montgomery32_2e212m29_7limbs/
-${MAKE} "$@" montgomery64_2e212m29_4limbs.json ../montgomery64_2e212m29_4limbs/
-${MAKE} "$@" montgomery32_2e213m3_7limbs.json ../montgomery32_2e213m3_7limbs/
-${MAKE} "$@" montgomery64_2e213m3_4limbs.json ../montgomery64_2e213m3_4limbs/
-${MAKE} "$@" montgomery32_2e221m3_7limbs.json ../montgomery32_2e221m3_7limbs/
-${MAKE} "$@" montgomery64_2e221m3_4limbs.json ../montgomery64_2e221m3_4limbs/
-${MAKE} "$@" montgomery32_2e222m117_7limbs.json ../montgomery32_2e222m117_7limbs/
-${MAKE} "$@" montgomery64_2e222m117_4limbs.json ../montgomery64_2e222m117_4limbs/
-${MAKE} "$@" montgomery32_2e226m5_8limbs.json ../montgomery32_2e226m5_8limbs/
-${MAKE} "$@" montgomery64_2e226m5_4limbs.json ../montgomery64_2e226m5_4limbs/
-${MAKE} "$@" montgomery32_2e230m27_8limbs.json ../montgomery32_2e230m27_8limbs/
-${MAKE} "$@" montgomery64_2e230m27_4limbs.json ../montgomery64_2e230m27_4limbs/
-${MAKE} "$@" montgomery32_2e235m15_8limbs.json ../montgomery32_2e235m15_8limbs/
-${MAKE} "$@" montgomery64_2e235m15_4limbs.json ../montgomery64_2e235m15_4limbs/
-${MAKE} "$@" montgomery32_2e243m9_8limbs.json ../montgomery32_2e243m9_8limbs/
-${MAKE} "$@" montgomery64_2e243m9_4limbs.json ../montgomery64_2e243m9_4limbs/
-${MAKE} "$@" montgomery32_2e251m9_8limbs.json ../montgomery32_2e251m9_8limbs/
-${MAKE} "$@" montgomery64_2e251m9_4limbs.json ../montgomery64_2e251m9_4limbs/
-${MAKE} "$@" montgomery32_2e255m765_8limbs.json ../montgomery32_2e255m765_8limbs/
-${MAKE} "$@" montgomery64_2e255m765_4limbs.json ../montgomery64_2e255m765_4limbs/
-${MAKE} "$@" montgomery32_2e255m19_8limbs.json ../montgomery32_2e255m19_8limbs/
-${MAKE} "$@" montgomery64_2e255m19_4limbs.json ../montgomery64_2e255m19_4limbs/
-${MAKE} "$@" montgomery32_2e256m189_8limbs.json ../montgomery32_2e256m189_8limbs/
-${MAKE} "$@" montgomery64_2e256m189_4limbs.json ../montgomery64_2e256m189_4limbs/
-${MAKE} "$@" montgomery32_2e266m3_9limbs.json ../montgomery32_2e266m3_9limbs/
-${MAKE} "$@" montgomery64_2e266m3_5limbs.json ../montgomery64_2e266m3_5limbs/
-${MAKE} "$@" montgomery32_2e285m9_9limbs.json ../montgomery32_2e285m9_9limbs/
-${MAKE} "$@" montgomery64_2e285m9_5limbs.json ../montgomery64_2e285m9_5limbs/
-${MAKE} "$@" montgomery32_2e291m19_10limbs.json ../montgomery32_2e291m19_10limbs/
-${MAKE} "$@" montgomery64_2e291m19_5limbs.json ../montgomery64_2e291m19_5limbs/
-${MAKE} "$@" montgomery32_2e321m9_11limbs.json ../montgomery32_2e321m9_11limbs/
-${MAKE} "$@" montgomery64_2e321m9_6limbs.json ../montgomery64_2e321m9_6limbs/
-${MAKE} "$@" montgomery32_2e336m17_11limbs.json ../montgomery32_2e336m17_11limbs/
-${MAKE} "$@" montgomery64_2e336m17_6limbs.json ../montgomery64_2e336m17_6limbs/
-${MAKE} "$@" montgomery32_2e336m3_11limbs.json ../montgomery32_2e336m3_11limbs/
-${MAKE} "$@" montgomery64_2e336m3_6limbs.json ../montgomery64_2e336m3_6limbs/
-${MAKE} "$@" montgomery32_2e338m15_11limbs.json ../montgomery32_2e338m15_11limbs/
-${MAKE} "$@" montgomery64_2e338m15_6limbs.json ../montgomery64_2e338m15_6limbs/
-${MAKE} "$@" montgomery32_2e369m25_12limbs.json ../montgomery32_2e369m25_12limbs/
-${MAKE} "$@" montgomery64_2e369m25_6limbs.json ../montgomery64_2e369m25_6limbs/
-${MAKE} "$@" montgomery32_2e379m19_12limbs.json ../montgomery32_2e379m19_12limbs/
-${MAKE} "$@" montgomery64_2e379m19_6limbs.json ../montgomery64_2e379m19_6limbs/
-${MAKE} "$@" montgomery32_2e382m105_12limbs.json ../montgomery32_2e382m105_12limbs/
-${MAKE} "$@" montgomery64_2e382m105_6limbs.json ../montgomery64_2e382m105_6limbs/
-${MAKE} "$@" montgomery32_2e383m421_12limbs.json ../montgomery32_2e383m421_12limbs/
-${MAKE} "$@" montgomery64_2e383m421_6limbs.json ../montgomery64_2e383m421_6limbs/
-${MAKE} "$@" montgomery32_2e383m187_12limbs.json ../montgomery32_2e383m187_12limbs/
-${MAKE} "$@" montgomery64_2e383m187_6limbs.json ../montgomery64_2e383m187_6limbs/
-${MAKE} "$@" montgomery32_2e383m31_12limbs.json ../montgomery32_2e383m31_12limbs/
-${MAKE} "$@" montgomery64_2e383m31_6limbs.json ../montgomery64_2e383m31_6limbs/
-${MAKE} "$@" montgomery32_2e384m317_12limbs.json ../montgomery32_2e384m317_12limbs/
-${MAKE} "$@" montgomery64_2e384m317_6limbs.json ../montgomery64_2e384m317_6limbs/
-${MAKE} "$@" montgomery32_2e389m21_13limbs.json ../montgomery32_2e389m21_13limbs/
-${MAKE} "$@" montgomery64_2e389m21_7limbs.json ../montgomery64_2e389m21_7limbs/
-${MAKE} "$@" montgomery32_2e401m31_13limbs.json ../montgomery32_2e401m31_13limbs/
-${MAKE} "$@" montgomery64_2e401m31_7limbs.json ../montgomery64_2e401m31_7limbs/
-${MAKE} "$@" montgomery32_2e413m21_13limbs.json ../montgomery32_2e413m21_13limbs/
-${MAKE} "$@" montgomery64_2e413m21_7limbs.json ../montgomery64_2e413m21_7limbs/
-${MAKE} "$@" montgomery32_2e414m17_13limbs.json ../montgomery32_2e414m17_13limbs/
-${MAKE} "$@" montgomery64_2e414m17_7limbs.json ../montgomery64_2e414m17_7limbs/
-${MAKE} "$@" montgomery32_2e444m17_14limbs.json ../montgomery32_2e444m17_14limbs/
-${MAKE} "$@" montgomery64_2e444m17_7limbs.json ../montgomery64_2e444m17_7limbs/
-${MAKE} "$@" montgomery32_2e452m3_15limbs.json ../montgomery32_2e452m3_15limbs/
-${MAKE} "$@" montgomery64_2e452m3_8limbs.json ../montgomery64_2e452m3_8limbs/
-${MAKE} "$@" montgomery32_2e468m17_15limbs.json ../montgomery32_2e468m17_15limbs/
-${MAKE} "$@" montgomery64_2e468m17_8limbs.json ../montgomery64_2e468m17_8limbs/
-${MAKE} "$@" montgomery32_2e488m17_16limbs.json ../montgomery32_2e488m17_16limbs/
-${MAKE} "$@" montgomery64_2e488m17_8limbs.json ../montgomery64_2e488m17_8limbs/
-${MAKE} "$@" montgomery32_2e489m21_16limbs.json ../montgomery32_2e489m21_16limbs/
-${MAKE} "$@" montgomery64_2e489m21_8limbs.json ../montgomery64_2e489m21_8limbs/
-${MAKE} "$@" montgomery32_2e495m31_16limbs.json ../montgomery32_2e495m31_16limbs/
-${MAKE} "$@" montgomery64_2e495m31_8limbs.json ../montgomery64_2e495m31_8limbs/
-${MAKE} "$@" montgomery32_2e511m481_16limbs.json ../montgomery32_2e511m481_16limbs/
-${MAKE} "$@" montgomery64_2e511m481_8limbs.json ../montgomery64_2e511m481_8limbs/
-${MAKE} "$@" montgomery32_2e511m187_16limbs.json ../montgomery32_2e511m187_16limbs/
-${MAKE} "$@" montgomery64_2e511m187_8limbs.json ../montgomery64_2e511m187_8limbs/
-${MAKE} "$@" montgomery32_2e512m569_16limbs.json ../montgomery32_2e512m569_16limbs/
-${MAKE} "$@" montgomery64_2e512m569_8limbs.json ../montgomery64_2e512m569_8limbs/
-${MAKE} "$@" montgomery32_2e521m1_17limbs.json ../montgomery32_2e521m1_17limbs/
-${MAKE} "$@" montgomery64_2e521m1_9limbs.json ../montgomery64_2e521m1_9limbs/
-${MAKE} "$@" montgomery32_2e192m2e64m1_6limbs.json ../montgomery32_2e192m2e64m1_6limbs/
-${MAKE} "$@" montgomery64_2e192m2e64m1_3limbs.json ../montgomery64_2e192m2e64m1_3limbs/
-${MAKE} "$@" solinas64_2e192m2e64m1_4limbs.json ../solinas64_2e192m2e64m1_4limbs/
-${MAKE} "$@" solinas64_2e192m2e64m1_5limbs.json ../solinas64_2e192m2e64m1_5limbs/
-${MAKE} "$@" montgomery32_2e216m2e108m1_7limbs.json ../montgomery32_2e216m2e108m1_7limbs/
-${MAKE} "$@" montgomery64_2e216m2e108m1_4limbs.json ../montgomery64_2e216m2e108m1_4limbs/
-${MAKE} "$@" montgomery32_2e322m2e161m1_11limbs.json ../montgomery32_2e322m2e161m1_11limbs/
-${MAKE} "$@" montgomery64_2e322m2e161m1_6limbs.json ../montgomery64_2e322m2e161m1_6limbs/
-${MAKE} "$@" montgomery32_2e416m2e208m1_13limbs.json ../montgomery32_2e416m2e208m1_13limbs/
-${MAKE} "$@" montgomery64_2e416m2e208m1_7limbs.json ../montgomery64_2e416m2e208m1_7limbs/
-${MAKE} "$@" montgomery32_2e448m2e224m1_14limbs.json ../montgomery32_2e448m2e224m1_14limbs/
-${MAKE} "$@" montgomery64_2e448m2e224m1_7limbs.json ../montgomery64_2e448m2e224m1_7limbs/
-${MAKE} "$@" montgomery32_2e450m2e225m1_15limbs.json ../montgomery32_2e450m2e225m1_15limbs/
-${MAKE} "$@" montgomery64_2e450m2e225m1_8limbs.json ../montgomery64_2e450m2e225m1_8limbs/
-${MAKE} "$@" montgomery32_2e480m2e240m1_15limbs.json ../montgomery32_2e480m2e240m1_15limbs/
-${MAKE} "$@" montgomery64_2e480m2e240m1_8limbs.json ../montgomery64_2e480m2e240m1_8limbs/
-${MAKE} "$@" montgomery32_2e205m45x2e198m1_7limbs.json ../montgomery32_2e205m45x2e198m1_7limbs/
-${MAKE} "$@" montgomery64_2e205m45x2e198m1_4limbs.json ../montgomery64_2e205m45x2e198m1_4limbs/
-${MAKE} "$@" montgomery32_2e224m2e96p1_7limbs.json ../montgomery32_2e224m2e96p1_7limbs/
-${MAKE} "$@" montgomery64_2e224m2e96p1_4limbs.json ../montgomery64_2e224m2e96p1_4limbs/
-${MAKE} "$@" montgomery32_2e255m2e4m2e1m1_8limbs.json ../montgomery32_2e255m2e4m2e1m1_8limbs/
-${MAKE} "$@" montgomery64_2e255m2e4m2e1m1_4limbs.json ../montgomery64_2e255m2e4m2e1m1_4limbs/
-${MAKE} "$@" montgomery32_2e256m2e224p2e192p2e96m1_8limbs.json ../montgomery32_2e256m2e224p2e192p2e96m1_8limbs/
-${MAKE} "$@" montgomery64_2e256m2e224p2e192p2e96m1_4limbs.json ../montgomery64_2e256m2e224p2e192p2e96m1_4limbs/
-${MAKE} "$@" montgomery32_2e256m2e32m977_8limbs.json ../montgomery32_2e256m2e32m977_8limbs/
-${MAKE} "$@" montgomery64_2e256m2e32m977_4limbs.json ../montgomery64_2e256m2e32m977_4limbs/
-${MAKE} "$@" montgomery32_2e384m2e128m2e96p2e32m1_12limbs.json ../montgomery32_2e384m2e128m2e96p2e32m1_12limbs/
-${MAKE} "$@" montgomery64_2e384m2e128m2e96p2e32m1_6limbs.json ../montgomery64_2e384m2e128m2e96p2e32m1_6limbs/
-${MAKE} "$@" montgomery32_2e256m88x2e240m1_8limbs.json ../montgomery32_2e256m88x2e240m1_8limbs/
-${MAKE} "$@" montgomery64_2e256m88x2e240m1_4limbs.json ../montgomery64_2e256m88x2e240m1_4limbs/
-${MAKE} "$@" montgomery32_2e254m127x2e240m1_8limbs.json ../montgomery32_2e254m127x2e240m1_8limbs/
-${MAKE} "$@" montgomery64_2e254m127x2e240m1_4limbs.json ../montgomery64_2e254m127x2e240m1_4limbs/
-${MAKE} "$@" montgomery32_2e384m79x2e376m1_12limbs.json ../montgomery32_2e384m79x2e376m1_12limbs/
-${MAKE} "$@" montgomery64_2e384m79x2e376m1_6limbs.json ../montgomery64_2e384m79x2e376m1_6limbs/
-${MAKE} "$@" montgomery32_2e384m5x2e368m1_12limbs.json ../montgomery32_2e384m5x2e368m1_12limbs/
-${MAKE} "$@" montgomery64_2e384m5x2e368m1_6limbs.json ../montgomery64_2e384m5x2e368m1_6limbs/
-${MAKE} "$@" montgomery32_2e512m491x2e496m1_16limbs.json ../montgomery32_2e512m491x2e496m1_16limbs/
-${MAKE} "$@" montgomery64_2e512m491x2e496m1_8limbs.json ../montgomery64_2e512m491x2e496m1_8limbs/
-${MAKE} "$@" montgomery32_2e510m290x2e496m1_16limbs.json ../montgomery32_2e510m290x2e496m1_16limbs/
-${MAKE} "$@" montgomery64_2e510m290x2e496m1_8limbs.json ../montgomery64_2e510m290x2e496m1_8limbs/
-${MAKE} "$@" solinas32_2e127m1_5limbs.json ../solinas32_2e127m1_5limbs/
-${MAKE} "$@" solinas32_2e127m1_6limbs.json ../solinas32_2e127m1_6limbs/
-${MAKE} "$@" solinas32_2e127m1_7limbs.json ../solinas32_2e127m1_7limbs/
-${MAKE} "$@" solinas64_2e127m1_3limbs.json ../solinas64_2e127m1_3limbs/
-${MAKE} "$@" solinas32_2e129m25_5limbs.json ../solinas32_2e129m25_5limbs/
-${MAKE} "$@" solinas32_2e129m25_6limbs.json ../solinas32_2e129m25_6limbs/
-${MAKE} "$@" solinas32_2e129m25_7limbs.json ../solinas32_2e129m25_7limbs/
-${MAKE} "$@" solinas32_2e129m25_8limbs.json ../solinas32_2e129m25_8limbs/
-${MAKE} "$@" solinas32_2e129m25_9limbs.json ../solinas32_2e129m25_9limbs/
-${MAKE} "$@" solinas32_2e130m5_5limbs.json ../solinas32_2e130m5_5limbs/
-${MAKE} "$@" solinas32_2e130m5_6limbs.json ../solinas32_2e130m5_6limbs/
-${MAKE} "$@" solinas32_2e130m5_7limbs.json ../solinas32_2e130m5_7limbs/
-${MAKE} "$@" solinas32_2e130m5_8limbs.json ../solinas32_2e130m5_8limbs/
-${MAKE} "$@" solinas32_2e130m5_9limbs.json ../solinas32_2e130m5_9limbs/
-${MAKE} "$@" solinas64_2e130m5_3limbs.json ../solinas64_2e130m5_3limbs/
-${MAKE} "$@" solinas64_2e130m5_4limbs.json ../solinas64_2e130m5_4limbs/
-${MAKE} "$@" solinas64_2e130m5_5limbs.json ../solinas64_2e130m5_5limbs/
-${MAKE} "$@" solinas32_2e137m13_5limbs.json ../solinas32_2e137m13_5limbs/
-${MAKE} "$@" solinas32_2e137m13_6limbs.json ../solinas32_2e137m13_6limbs/
-${MAKE} "$@" solinas32_2e137m13_7limbs.json ../solinas32_2e137m13_7limbs/
-${MAKE} "$@" solinas32_2e137m13_8limbs.json ../solinas32_2e137m13_8limbs/
-${MAKE} "$@" solinas32_2e137m13_9limbs.json ../solinas32_2e137m13_9limbs/
-${MAKE} "$@" solinas64_2e137m13_3limbs.json ../solinas64_2e137m13_3limbs/
-${MAKE} "$@" solinas64_2e137m13_4limbs.json ../solinas64_2e137m13_4limbs/
-${MAKE} "$@" solinas64_2e137m13_5limbs.json ../solinas64_2e137m13_5limbs/
-${MAKE} "$@" solinas32_2e140m27_6limbs.json ../solinas32_2e140m27_6limbs/
-${MAKE} "$@" solinas32_2e140m27_7limbs.json ../solinas32_2e140m27_7limbs/
-${MAKE} "$@" solinas32_2e140m27_8limbs.json ../solinas32_2e140m27_8limbs/
-${MAKE} "$@" solinas32_2e140m27_9limbs.json ../solinas32_2e140m27_9limbs/
-${MAKE} "$@" solinas32_2e140m27_10limbs.json ../solinas32_2e140m27_10limbs/
-${MAKE} "$@" solinas32_2e140m27_11limbs.json ../solinas32_2e140m27_11limbs/
-${MAKE} "$@" solinas64_2e140m27_3limbs.json ../solinas64_2e140m27_3limbs/
-${MAKE} "$@" solinas64_2e140m27_4limbs.json ../solinas64_2e140m27_4limbs/
-${MAKE} "$@" solinas64_2e140m27_5limbs.json ../solinas64_2e140m27_5limbs/
-${MAKE} "$@" solinas32_2e141m9_6limbs.json ../solinas32_2e141m9_6limbs/
-${MAKE} "$@" solinas32_2e141m9_7limbs.json ../solinas32_2e141m9_7limbs/
-${MAKE} "$@" solinas32_2e141m9_8limbs.json ../solinas32_2e141m9_8limbs/
-${MAKE} "$@" solinas32_2e141m9_9limbs.json ../solinas32_2e141m9_9limbs/
-${MAKE} "$@" solinas32_2e141m9_10limbs.json ../solinas32_2e141m9_10limbs/
-${MAKE} "$@" solinas32_2e141m9_11limbs.json ../solinas32_2e141m9_11limbs/
-${MAKE} "$@" solinas32_2e150m5_6limbs.json ../solinas32_2e150m5_6limbs/
-${MAKE} "$@" solinas32_2e150m5_7limbs.json ../solinas32_2e150m5_7limbs/
-${MAKE} "$@" solinas32_2e150m5_8limbs.json ../solinas32_2e150m5_8limbs/
-${MAKE} "$@" solinas32_2e150m5_9limbs.json ../solinas32_2e150m5_9limbs/
-${MAKE} "$@" solinas32_2e150m5_10limbs.json ../solinas32_2e150m5_10limbs/
-${MAKE} "$@" solinas32_2e150m5_11limbs.json ../solinas32_2e150m5_11limbs/
-${MAKE} "$@" solinas32_2e150m3_5limbs.json ../solinas32_2e150m3_5limbs/
-${MAKE} "$@" solinas32_2e150m3_6limbs.json ../solinas32_2e150m3_6limbs/
-${MAKE} "$@" solinas32_2e150m3_7limbs.json ../solinas32_2e150m3_7limbs/
-${MAKE} "$@" solinas32_2e150m3_8limbs.json ../solinas32_2e150m3_8limbs/
-${MAKE} "$@" solinas32_2e150m3_9limbs.json ../solinas32_2e150m3_9limbs/
-${MAKE} "$@" solinas32_2e152m17_6limbs.json ../solinas32_2e152m17_6limbs/
-${MAKE} "$@" solinas32_2e152m17_7limbs.json ../solinas32_2e152m17_7limbs/
-${MAKE} "$@" solinas32_2e152m17_8limbs.json ../solinas32_2e152m17_8limbs/
-${MAKE} "$@" solinas32_2e152m17_9limbs.json ../solinas32_2e152m17_9limbs/
-${MAKE} "$@" solinas32_2e152m17_10limbs.json ../solinas32_2e152m17_10limbs/
-${MAKE} "$@" solinas32_2e152m17_11limbs.json ../solinas32_2e152m17_11limbs/
-${MAKE} "$@" solinas64_2e152m17_3limbs.json ../solinas64_2e152m17_3limbs/
-${MAKE} "$@" solinas64_2e152m17_4limbs.json ../solinas64_2e152m17_4limbs/
-${MAKE} "$@" solinas64_2e152m17_5limbs.json ../solinas64_2e152m17_5limbs/
-${MAKE} "$@" solinas32_2e158m15_6limbs.json ../solinas32_2e158m15_6limbs/
-${MAKE} "$@" solinas32_2e158m15_7limbs.json ../solinas32_2e158m15_7limbs/
-${MAKE} "$@" solinas32_2e158m15_8limbs.json ../solinas32_2e158m15_8limbs/
-${MAKE} "$@" solinas32_2e158m15_9limbs.json ../solinas32_2e158m15_9limbs/
-${MAKE} "$@" solinas32_2e158m15_10limbs.json ../solinas32_2e158m15_10limbs/
-${MAKE} "$@" solinas32_2e158m15_11limbs.json ../solinas32_2e158m15_11limbs/
-${MAKE} "$@" solinas64_2e158m15_3limbs.json ../solinas64_2e158m15_3limbs/
-${MAKE} "$@" solinas64_2e158m15_4limbs.json ../solinas64_2e158m15_4limbs/
-${MAKE} "$@" solinas64_2e158m15_5limbs.json ../solinas64_2e158m15_5limbs/
-${MAKE} "$@" solinas32_2e165m25_7limbs.json ../solinas32_2e165m25_7limbs/
-${MAKE} "$@" solinas32_2e165m25_8limbs.json ../solinas32_2e165m25_8limbs/
-${MAKE} "$@" solinas32_2e165m25_9limbs.json ../solinas32_2e165m25_9limbs/
-${MAKE} "$@" solinas32_2e165m25_10limbs.json ../solinas32_2e165m25_10limbs/
-${MAKE} "$@" solinas32_2e165m25_11limbs.json ../solinas32_2e165m25_11limbs/
-${MAKE} "$@" solinas32_2e165m25_12limbs.json ../solinas32_2e165m25_12limbs/
-${MAKE} "$@" solinas32_2e165m25_13limbs.json ../solinas32_2e165m25_13limbs/
-${MAKE} "$@" solinas32_2e166m5_6limbs.json ../solinas32_2e166m5_6limbs/
-${MAKE} "$@" solinas32_2e166m5_7limbs.json ../solinas32_2e166m5_7limbs/
-${MAKE} "$@" solinas32_2e166m5_8limbs.json ../solinas32_2e166m5_8limbs/
-${MAKE} "$@" solinas32_2e166m5_9limbs.json ../solinas32_2e166m5_9limbs/
-${MAKE} "$@" solinas32_2e166m5_10limbs.json ../solinas32_2e166m5_10limbs/
-${MAKE} "$@" solinas32_2e166m5_11limbs.json ../solinas32_2e166m5_11limbs/
-${MAKE} "$@" solinas64_2e166m5_3limbs.json ../solinas64_2e166m5_3limbs/
-${MAKE} "$@" solinas64_2e166m5_4limbs.json ../solinas64_2e166m5_4limbs/
-${MAKE} "$@" solinas64_2e166m5_5limbs.json ../solinas64_2e166m5_5limbs/
-${MAKE} "$@" solinas32_2e171m19_7limbs.json ../solinas32_2e171m19_7limbs/
-${MAKE} "$@" solinas32_2e171m19_8limbs.json ../solinas32_2e171m19_8limbs/
-${MAKE} "$@" solinas32_2e171m19_9limbs.json ../solinas32_2e171m19_9limbs/
-${MAKE} "$@" solinas32_2e171m19_10limbs.json ../solinas32_2e171m19_10limbs/
-${MAKE} "$@" solinas32_2e171m19_11limbs.json ../solinas32_2e171m19_11limbs/
-${MAKE} "$@" solinas32_2e171m19_12limbs.json ../solinas32_2e171m19_12limbs/
-${MAKE} "$@" solinas32_2e171m19_13limbs.json ../solinas32_2e171m19_13limbs/
-${MAKE} "$@" solinas32_2e174m17_7limbs.json ../solinas32_2e174m17_7limbs/
-${MAKE} "$@" solinas32_2e174m17_8limbs.json ../solinas32_2e174m17_8limbs/
-${MAKE} "$@" solinas32_2e174m17_9limbs.json ../solinas32_2e174m17_9limbs/
-${MAKE} "$@" solinas32_2e174m17_10limbs.json ../solinas32_2e174m17_10limbs/
-${MAKE} "$@" solinas32_2e174m17_11limbs.json ../solinas32_2e174m17_11limbs/
-${MAKE} "$@" solinas32_2e174m17_12limbs.json ../solinas32_2e174m17_12limbs/
-${MAKE} "$@" solinas32_2e174m17_13limbs.json ../solinas32_2e174m17_13limbs/
-${MAKE} "$@" solinas32_2e174m3_6limbs.json ../solinas32_2e174m3_6limbs/
-${MAKE} "$@" solinas32_2e174m3_7limbs.json ../solinas32_2e174m3_7limbs/
-${MAKE} "$@" solinas32_2e174m3_8limbs.json ../solinas32_2e174m3_8limbs/
-${MAKE} "$@" solinas32_2e174m3_9limbs.json ../solinas32_2e174m3_9limbs/
-${MAKE} "$@" solinas32_2e174m3_10limbs.json ../solinas32_2e174m3_10limbs/
-${MAKE} "$@" solinas32_2e174m3_11limbs.json ../solinas32_2e174m3_11limbs/
-${MAKE} "$@" solinas32_2e189m25_7limbs.json ../solinas32_2e189m25_7limbs/
-${MAKE} "$@" solinas32_2e189m25_8limbs.json ../solinas32_2e189m25_8limbs/
-${MAKE} "$@" solinas32_2e189m25_9limbs.json ../solinas32_2e189m25_9limbs/
-${MAKE} "$@" solinas32_2e189m25_10limbs.json ../solinas32_2e189m25_10limbs/
-${MAKE} "$@" solinas32_2e189m25_11limbs.json ../solinas32_2e189m25_11limbs/
-${MAKE} "$@" solinas32_2e189m25_12limbs.json ../solinas32_2e189m25_12limbs/
-${MAKE} "$@" solinas32_2e189m25_13limbs.json ../solinas32_2e189m25_13limbs/
 ${MAKE} "$@" solinas32_2e190m11_7limbs.json ../solinas32_2e190m11_7limbs/
 ${MAKE} "$@" solinas32_2e190m11_8limbs.json ../solinas32_2e190m11_8limbs/
-${MAKE} "$@" solinas32_2e190m11_9limbs.json ../solinas32_2e190m11_9limbs/
-${MAKE} "$@" solinas32_2e190m11_10limbs.json ../solinas32_2e190m11_10limbs/
-${MAKE} "$@" solinas32_2e190m11_11limbs.json ../solinas32_2e190m11_11limbs/
-${MAKE} "$@" solinas32_2e190m11_12limbs.json ../solinas32_2e190m11_12limbs/
-${MAKE} "$@" solinas32_2e190m11_13limbs.json ../solinas32_2e190m11_13limbs/
 ${MAKE} "$@" solinas64_2e190m11_4limbs.json ../solinas64_2e190m11_4limbs/
 ${MAKE} "$@" solinas64_2e190m11_5limbs.json ../solinas64_2e190m11_5limbs/
-${MAKE} "$@" solinas64_2e190m11_6limbs.json ../solinas64_2e190m11_6limbs/
-${MAKE} "$@" solinas64_2e190m11_7limbs.json ../solinas64_2e190m11_7limbs/
+${MAKE} "$@" montgomery32_2e191m19_6limbs.json ../montgomery32_2e191m19_6limbs/
+${MAKE} "$@" montgomery64_2e191m19_3limbs.json ../montgomery64_2e191m19_3limbs/
 ${MAKE} "$@" solinas32_2e191m19_8limbs.json ../solinas32_2e191m19_8limbs/
 ${MAKE} "$@" solinas32_2e191m19_9limbs.json ../solinas32_2e191m19_9limbs/
-${MAKE} "$@" solinas32_2e191m19_10limbs.json ../solinas32_2e191m19_10limbs/
-${MAKE} "$@" solinas32_2e191m19_11limbs.json ../solinas32_2e191m19_11limbs/
-${MAKE} "$@" solinas32_2e191m19_12limbs.json ../solinas32_2e191m19_12limbs/
-${MAKE} "$@" solinas32_2e191m19_13limbs.json ../solinas32_2e191m19_13limbs/
-${MAKE} "$@" solinas32_2e191m19_14limbs.json ../solinas32_2e191m19_14limbs/
-${MAKE} "$@" solinas32_2e191m19_15limbs.json ../solinas32_2e191m19_15limbs/
 ${MAKE} "$@" solinas64_2e191m19_4limbs.json ../solinas64_2e191m19_4limbs/
 ${MAKE} "$@" solinas64_2e191m19_5limbs.json ../solinas64_2e191m19_5limbs/
-${MAKE} "$@" solinas64_2e191m19_6limbs.json ../solinas64_2e191m19_6limbs/
-${MAKE} "$@" solinas64_2e191m19_7limbs.json ../solinas64_2e191m19_7limbs/
+${MAKE} "$@" montgomery32_2e194m33_7limbs.json ../montgomery32_2e194m33_7limbs/
+${MAKE} "$@" montgomery64_2e194m33_4limbs.json ../montgomery64_2e194m33_4limbs/
 ${MAKE} "$@" solinas32_2e194m33_8limbs.json ../solinas32_2e194m33_8limbs/
 ${MAKE} "$@" solinas32_2e194m33_9limbs.json ../solinas32_2e194m33_9limbs/
-${MAKE} "$@" solinas32_2e194m33_10limbs.json ../solinas32_2e194m33_10limbs/
-${MAKE} "$@" solinas32_2e194m33_11limbs.json ../solinas32_2e194m33_11limbs/
-${MAKE} "$@" solinas32_2e194m33_12limbs.json ../solinas32_2e194m33_12limbs/
-${MAKE} "$@" solinas32_2e194m33_13limbs.json ../solinas32_2e194m33_13limbs/
-${MAKE} "$@" solinas32_2e194m33_14limbs.json ../solinas32_2e194m33_14limbs/
-${MAKE} "$@" solinas32_2e194m33_15limbs.json ../solinas32_2e194m33_15limbs/
 ${MAKE} "$@" solinas64_2e194m33_4limbs.json ../solinas64_2e194m33_4limbs/
 ${MAKE} "$@" solinas64_2e194m33_5limbs.json ../solinas64_2e194m33_5limbs/
-${MAKE} "$@" solinas64_2e194m33_6limbs.json ../solinas64_2e194m33_6limbs/
-${MAKE} "$@" solinas64_2e194m33_7limbs.json ../solinas64_2e194m33_7limbs/
-${MAKE} "$@" solinas32_2e196m15_7limbs.json ../solinas32_2e196m15_7limbs/
+${MAKE} "$@" montgomery32_2e196m15_7limbs.json ../montgomery32_2e196m15_7limbs/
+${MAKE} "$@" montgomery64_2e196m15_4limbs.json ../montgomery64_2e196m15_4limbs/
 ${MAKE} "$@" solinas32_2e196m15_8limbs.json ../solinas32_2e196m15_8limbs/
 ${MAKE} "$@" solinas32_2e196m15_9limbs.json ../solinas32_2e196m15_9limbs/
-${MAKE} "$@" solinas32_2e196m15_10limbs.json ../solinas32_2e196m15_10limbs/
-${MAKE} "$@" solinas32_2e196m15_11limbs.json ../solinas32_2e196m15_11limbs/
-${MAKE} "$@" solinas32_2e196m15_12limbs.json ../solinas32_2e196m15_12limbs/
-${MAKE} "$@" solinas32_2e196m15_13limbs.json ../solinas32_2e196m15_13limbs/
 ${MAKE} "$@" solinas64_2e196m15_4limbs.json ../solinas64_2e196m15_4limbs/
 ${MAKE} "$@" solinas64_2e196m15_5limbs.json ../solinas64_2e196m15_5limbs/
-${MAKE} "$@" solinas64_2e196m15_6limbs.json ../solinas64_2e196m15_6limbs/
-${MAKE} "$@" solinas64_2e196m15_7limbs.json ../solinas64_2e196m15_7limbs/
+${MAKE} "$@" montgomery32_2e198m17_7limbs.json ../montgomery32_2e198m17_7limbs/
+${MAKE} "$@" montgomery64_2e198m17_4limbs.json ../montgomery64_2e198m17_4limbs/
 ${MAKE} "$@" solinas32_2e198m17_8limbs.json ../solinas32_2e198m17_8limbs/
 ${MAKE} "$@" solinas32_2e198m17_9limbs.json ../solinas32_2e198m17_9limbs/
-${MAKE} "$@" solinas32_2e198m17_10limbs.json ../solinas32_2e198m17_10limbs/
-${MAKE} "$@" solinas32_2e198m17_11limbs.json ../solinas32_2e198m17_11limbs/
-${MAKE} "$@" solinas32_2e198m17_12limbs.json ../solinas32_2e198m17_12limbs/
-${MAKE} "$@" solinas32_2e198m17_13limbs.json ../solinas32_2e198m17_13limbs/
-${MAKE} "$@" solinas32_2e198m17_14limbs.json ../solinas32_2e198m17_14limbs/
-${MAKE} "$@" solinas32_2e198m17_15limbs.json ../solinas32_2e198m17_15limbs/
 ${MAKE} "$@" solinas64_2e198m17_4limbs.json ../solinas64_2e198m17_4limbs/
 ${MAKE} "$@" solinas64_2e198m17_5limbs.json ../solinas64_2e198m17_5limbs/
-${MAKE} "$@" solinas64_2e198m17_6limbs.json ../solinas64_2e198m17_6limbs/
-${MAKE} "$@" solinas64_2e198m17_7limbs.json ../solinas64_2e198m17_7limbs/
+${MAKE} "$@" montgomery32_2e206m5_7limbs.json ../montgomery32_2e206m5_7limbs/
+${MAKE} "$@" montgomery64_2e206m5_4limbs.json ../montgomery64_2e206m5_4limbs/
 ${MAKE} "$@" solinas32_2e206m5_8limbs.json ../solinas32_2e206m5_8limbs/
 ${MAKE} "$@" solinas32_2e206m5_9limbs.json ../solinas32_2e206m5_9limbs/
-${MAKE} "$@" solinas32_2e206m5_10limbs.json ../solinas32_2e206m5_10limbs/
-${MAKE} "$@" solinas32_2e206m5_11limbs.json ../solinas32_2e206m5_11limbs/
-${MAKE} "$@" solinas32_2e206m5_12limbs.json ../solinas32_2e206m5_12limbs/
-${MAKE} "$@" solinas32_2e206m5_13limbs.json ../solinas32_2e206m5_13limbs/
-${MAKE} "$@" solinas32_2e206m5_14limbs.json ../solinas32_2e206m5_14limbs/
-${MAKE} "$@" solinas32_2e206m5_15limbs.json ../solinas32_2e206m5_15limbs/
 ${MAKE} "$@" solinas64_2e206m5_4limbs.json ../solinas64_2e206m5_4limbs/
 ${MAKE} "$@" solinas64_2e206m5_5limbs.json ../solinas64_2e206m5_5limbs/
-${MAKE} "$@" solinas64_2e206m5_6limbs.json ../solinas64_2e206m5_6limbs/
-${MAKE} "$@" solinas64_2e206m5_7limbs.json ../solinas64_2e206m5_7limbs/
+${MAKE} "$@" montgomery32_2e212m29_7limbs.json ../montgomery32_2e212m29_7limbs/
+${MAKE} "$@" montgomery64_2e212m29_4limbs.json ../montgomery64_2e212m29_4limbs/
 ${MAKE} "$@" solinas32_2e212m29_8limbs.json ../solinas32_2e212m29_8limbs/
 ${MAKE} "$@" solinas32_2e212m29_9limbs.json ../solinas32_2e212m29_9limbs/
-${MAKE} "$@" solinas32_2e212m29_10limbs.json ../solinas32_2e212m29_10limbs/
-${MAKE} "$@" solinas32_2e212m29_11limbs.json ../solinas32_2e212m29_11limbs/
-${MAKE} "$@" solinas32_2e212m29_12limbs.json ../solinas32_2e212m29_12limbs/
-${MAKE} "$@" solinas32_2e212m29_13limbs.json ../solinas32_2e212m29_13limbs/
-${MAKE} "$@" solinas32_2e212m29_14limbs.json ../solinas32_2e212m29_14limbs/
-${MAKE} "$@" solinas32_2e212m29_15limbs.json ../solinas32_2e212m29_15limbs/
 ${MAKE} "$@" solinas64_2e212m29_4limbs.json ../solinas64_2e212m29_4limbs/
 ${MAKE} "$@" solinas64_2e212m29_5limbs.json ../solinas64_2e212m29_5limbs/
-${MAKE} "$@" solinas64_2e212m29_6limbs.json ../solinas64_2e212m29_6limbs/
-${MAKE} "$@" solinas64_2e212m29_7limbs.json ../solinas64_2e212m29_7limbs/
+${MAKE} "$@" montgomery32_2e213m3_7limbs.json ../montgomery32_2e213m3_7limbs/
+${MAKE} "$@" montgomery64_2e213m3_4limbs.json ../montgomery64_2e213m3_4limbs/
 ${MAKE} "$@" solinas32_2e213m3_8limbs.json ../solinas32_2e213m3_8limbs/
 ${MAKE} "$@" solinas32_2e213m3_9limbs.json ../solinas32_2e213m3_9limbs/
-${MAKE} "$@" solinas32_2e213m3_10limbs.json ../solinas32_2e213m3_10limbs/
-${MAKE} "$@" solinas32_2e213m3_11limbs.json ../solinas32_2e213m3_11limbs/
-${MAKE} "$@" solinas32_2e213m3_12limbs.json ../solinas32_2e213m3_12limbs/
-${MAKE} "$@" solinas32_2e213m3_13limbs.json ../solinas32_2e213m3_13limbs/
-${MAKE} "$@" solinas32_2e213m3_14limbs.json ../solinas32_2e213m3_14limbs/
-${MAKE} "$@" solinas32_2e213m3_15limbs.json ../solinas32_2e213m3_15limbs/
 ${MAKE} "$@" solinas64_2e213m3_4limbs.json ../solinas64_2e213m3_4limbs/
 ${MAKE} "$@" solinas64_2e213m3_5limbs.json ../solinas64_2e213m3_5limbs/
-${MAKE} "$@" solinas64_2e213m3_6limbs.json ../solinas64_2e213m3_6limbs/
-${MAKE} "$@" solinas64_2e213m3_7limbs.json ../solinas64_2e213m3_7limbs/
+${MAKE} "$@" montgomery32_2e221m3_7limbs.json ../montgomery32_2e221m3_7limbs/
+${MAKE} "$@" montgomery64_2e221m3_4limbs.json ../montgomery64_2e221m3_4limbs/
 ${MAKE} "$@" solinas32_2e221m3_8limbs.json ../solinas32_2e221m3_8limbs/
 ${MAKE} "$@" solinas32_2e221m3_9limbs.json ../solinas32_2e221m3_9limbs/
-${MAKE} "$@" solinas32_2e221m3_10limbs.json ../solinas32_2e221m3_10limbs/
-${MAKE} "$@" solinas32_2e221m3_11limbs.json ../solinas32_2e221m3_11limbs/
-${MAKE} "$@" solinas32_2e221m3_12limbs.json ../solinas32_2e221m3_12limbs/
-${MAKE} "$@" solinas32_2e221m3_13limbs.json ../solinas32_2e221m3_13limbs/
-${MAKE} "$@" solinas32_2e221m3_14limbs.json ../solinas32_2e221m3_14limbs/
-${MAKE} "$@" solinas32_2e221m3_15limbs.json ../solinas32_2e221m3_15limbs/
 ${MAKE} "$@" solinas64_2e221m3_4limbs.json ../solinas64_2e221m3_4limbs/
 ${MAKE} "$@" solinas64_2e221m3_5limbs.json ../solinas64_2e221m3_5limbs/
-${MAKE} "$@" solinas64_2e221m3_6limbs.json ../solinas64_2e221m3_6limbs/
-${MAKE} "$@" solinas64_2e221m3_7limbs.json ../solinas64_2e221m3_7limbs/
+${MAKE} "$@" montgomery32_2e222m117_7limbs.json ../montgomery32_2e222m117_7limbs/
+${MAKE} "$@" montgomery64_2e222m117_4limbs.json ../montgomery64_2e222m117_4limbs/
 ${MAKE} "$@" solinas32_2e222m117_9limbs.json ../solinas32_2e222m117_9limbs/
 ${MAKE} "$@" solinas32_2e222m117_10limbs.json ../solinas32_2e222m117_10limbs/
-${MAKE} "$@" solinas32_2e222m117_11limbs.json ../solinas32_2e222m117_11limbs/
-${MAKE} "$@" solinas32_2e222m117_12limbs.json ../solinas32_2e222m117_12limbs/
-${MAKE} "$@" solinas32_2e222m117_13limbs.json ../solinas32_2e222m117_13limbs/
-${MAKE} "$@" solinas32_2e222m117_14limbs.json ../solinas32_2e222m117_14limbs/
-${MAKE} "$@" solinas32_2e222m117_15limbs.json ../solinas32_2e222m117_15limbs/
-${MAKE} "$@" solinas32_2e222m117_16limbs.json ../solinas32_2e222m117_16limbs/
-${MAKE} "$@" solinas32_2e222m117_17limbs.json ../solinas32_2e222m117_17limbs/
 ${MAKE} "$@" solinas64_2e222m117_4limbs.json ../solinas64_2e222m117_4limbs/
 ${MAKE} "$@" solinas64_2e222m117_5limbs.json ../solinas64_2e222m117_5limbs/
-${MAKE} "$@" solinas64_2e222m117_6limbs.json ../solinas64_2e222m117_6limbs/
-${MAKE} "$@" solinas64_2e222m117_7limbs.json ../solinas64_2e222m117_7limbs/
-${MAKE} "$@" solinas32_2e226m5_8limbs.json ../solinas32_2e226m5_8limbs/
+${MAKE} "$@" montgomery32_2e226m5_8limbs.json ../montgomery32_2e226m5_8limbs/
+${MAKE} "$@" montgomery64_2e226m5_4limbs.json ../montgomery64_2e226m5_4limbs/
 ${MAKE} "$@" solinas32_2e226m5_9limbs.json ../solinas32_2e226m5_9limbs/
 ${MAKE} "$@" solinas32_2e226m5_10limbs.json ../solinas32_2e226m5_10limbs/
-${MAKE} "$@" solinas32_2e226m5_11limbs.json ../solinas32_2e226m5_11limbs/
-${MAKE} "$@" solinas32_2e226m5_12limbs.json ../solinas32_2e226m5_12limbs/
-${MAKE} "$@" solinas32_2e226m5_13limbs.json ../solinas32_2e226m5_13limbs/
-${MAKE} "$@" solinas32_2e226m5_14limbs.json ../solinas32_2e226m5_14limbs/
-${MAKE} "$@" solinas32_2e226m5_15limbs.json ../solinas32_2e226m5_15limbs/
 ${MAKE} "$@" solinas64_2e226m5_4limbs.json ../solinas64_2e226m5_4limbs/
 ${MAKE} "$@" solinas64_2e226m5_5limbs.json ../solinas64_2e226m5_5limbs/
-${MAKE} "$@" solinas64_2e226m5_6limbs.json ../solinas64_2e226m5_6limbs/
-${MAKE} "$@" solinas64_2e226m5_7limbs.json ../solinas64_2e226m5_7limbs/
+${MAKE} "$@" montgomery32_2e230m27_8limbs.json ../montgomery32_2e230m27_8limbs/
+${MAKE} "$@" montgomery64_2e230m27_4limbs.json ../montgomery64_2e230m27_4limbs/
 ${MAKE} "$@" solinas32_2e230m27_9limbs.json ../solinas32_2e230m27_9limbs/
 ${MAKE} "$@" solinas32_2e230m27_10limbs.json ../solinas32_2e230m27_10limbs/
-${MAKE} "$@" solinas32_2e230m27_11limbs.json ../solinas32_2e230m27_11limbs/
-${MAKE} "$@" solinas32_2e230m27_12limbs.json ../solinas32_2e230m27_12limbs/
-${MAKE} "$@" solinas32_2e230m27_13limbs.json ../solinas32_2e230m27_13limbs/
-${MAKE} "$@" solinas32_2e230m27_14limbs.json ../solinas32_2e230m27_14limbs/
-${MAKE} "$@" solinas32_2e230m27_15limbs.json ../solinas32_2e230m27_15limbs/
-${MAKE} "$@" solinas32_2e230m27_16limbs.json ../solinas32_2e230m27_16limbs/
-${MAKE} "$@" solinas32_2e230m27_17limbs.json ../solinas32_2e230m27_17limbs/
 ${MAKE} "$@" solinas64_2e230m27_4limbs.json ../solinas64_2e230m27_4limbs/
 ${MAKE} "$@" solinas64_2e230m27_5limbs.json ../solinas64_2e230m27_5limbs/
-${MAKE} "$@" solinas64_2e230m27_6limbs.json ../solinas64_2e230m27_6limbs/
-${MAKE} "$@" solinas64_2e230m27_7limbs.json ../solinas64_2e230m27_7limbs/
+${MAKE} "$@" montgomery32_2e235m15_8limbs.json ../montgomery32_2e235m15_8limbs/
+${MAKE} "$@" montgomery64_2e235m15_4limbs.json ../montgomery64_2e235m15_4limbs/
 ${MAKE} "$@" solinas32_2e235m15_9limbs.json ../solinas32_2e235m15_9limbs/
 ${MAKE} "$@" solinas32_2e235m15_10limbs.json ../solinas32_2e235m15_10limbs/
-${MAKE} "$@" solinas32_2e235m15_11limbs.json ../solinas32_2e235m15_11limbs/
-${MAKE} "$@" solinas32_2e235m15_12limbs.json ../solinas32_2e235m15_12limbs/
-${MAKE} "$@" solinas32_2e235m15_13limbs.json ../solinas32_2e235m15_13limbs/
-${MAKE} "$@" solinas32_2e235m15_14limbs.json ../solinas32_2e235m15_14limbs/
-${MAKE} "$@" solinas32_2e235m15_15limbs.json ../solinas32_2e235m15_15limbs/
-${MAKE} "$@" solinas32_2e235m15_16limbs.json ../solinas32_2e235m15_16limbs/
-${MAKE} "$@" solinas32_2e235m15_17limbs.json ../solinas32_2e235m15_17limbs/
 ${MAKE} "$@" solinas64_2e235m15_4limbs.json ../solinas64_2e235m15_4limbs/
 ${MAKE} "$@" solinas64_2e235m15_5limbs.json ../solinas64_2e235m15_5limbs/
-${MAKE} "$@" solinas64_2e235m15_6limbs.json ../solinas64_2e235m15_6limbs/
-${MAKE} "$@" solinas64_2e235m15_7limbs.json ../solinas64_2e235m15_7limbs/
+${MAKE} "$@" montgomery32_2e243m9_8limbs.json ../montgomery32_2e243m9_8limbs/
+${MAKE} "$@" montgomery64_2e243m9_4limbs.json ../montgomery64_2e243m9_4limbs/
 ${MAKE} "$@" solinas32_2e243m9_9limbs.json ../solinas32_2e243m9_9limbs/
 ${MAKE} "$@" solinas32_2e243m9_10limbs.json ../solinas32_2e243m9_10limbs/
-${MAKE} "$@" solinas32_2e243m9_11limbs.json ../solinas32_2e243m9_11limbs/
-${MAKE} "$@" solinas32_2e243m9_12limbs.json ../solinas32_2e243m9_12limbs/
-${MAKE} "$@" solinas32_2e243m9_13limbs.json ../solinas32_2e243m9_13limbs/
-${MAKE} "$@" solinas32_2e243m9_14limbs.json ../solinas32_2e243m9_14limbs/
-${MAKE} "$@" solinas32_2e243m9_15limbs.json ../solinas32_2e243m9_15limbs/
-${MAKE} "$@" solinas32_2e243m9_16limbs.json ../solinas32_2e243m9_16limbs/
-${MAKE} "$@" solinas32_2e243m9_17limbs.json ../solinas32_2e243m9_17limbs/
 ${MAKE} "$@" solinas64_2e243m9_5limbs.json ../solinas64_2e243m9_5limbs/
 ${MAKE} "$@" solinas64_2e243m9_6limbs.json ../solinas64_2e243m9_6limbs/
-${MAKE} "$@" solinas64_2e243m9_7limbs.json ../solinas64_2e243m9_7limbs/
-${MAKE} "$@" solinas64_2e243m9_8limbs.json ../solinas64_2e243m9_8limbs/
-${MAKE} "$@" solinas64_2e243m9_9limbs.json ../solinas64_2e243m9_9limbs/
-${MAKE} "$@" solinas32_2e251m9_9limbs.json ../solinas32_2e251m9_9limbs/
+${MAKE} "$@" montgomery32_2e251m9_8limbs.json ../montgomery32_2e251m9_8limbs/
+${MAKE} "$@" montgomery64_2e251m9_4limbs.json ../montgomery64_2e251m9_4limbs/
 ${MAKE} "$@" solinas32_2e251m9_10limbs.json ../solinas32_2e251m9_10limbs/
 ${MAKE} "$@" solinas32_2e251m9_11limbs.json ../solinas32_2e251m9_11limbs/
-${MAKE} "$@" solinas32_2e251m9_12limbs.json ../solinas32_2e251m9_12limbs/
-${MAKE} "$@" solinas32_2e251m9_13limbs.json ../solinas32_2e251m9_13limbs/
-${MAKE} "$@" solinas32_2e251m9_14limbs.json ../solinas32_2e251m9_14limbs/
-${MAKE} "$@" solinas32_2e251m9_15limbs.json ../solinas32_2e251m9_15limbs/
-${MAKE} "$@" solinas32_2e251m9_16limbs.json ../solinas32_2e251m9_16limbs/
-${MAKE} "$@" solinas32_2e251m9_17limbs.json ../solinas32_2e251m9_17limbs/
 ${MAKE} "$@" solinas64_2e251m9_5limbs.json ../solinas64_2e251m9_5limbs/
 ${MAKE} "$@" solinas64_2e251m9_6limbs.json ../solinas64_2e251m9_6limbs/
-${MAKE} "$@" solinas64_2e251m9_7limbs.json ../solinas64_2e251m9_7limbs/
-${MAKE} "$@" solinas64_2e251m9_8limbs.json ../solinas64_2e251m9_8limbs/
-${MAKE} "$@" solinas64_2e251m9_9limbs.json ../solinas64_2e251m9_9limbs/
+${MAKE} "$@" montgomery32_2e255m765_8limbs.json ../montgomery32_2e255m765_8limbs/
+${MAKE} "$@" montgomery64_2e255m765_4limbs.json ../montgomery64_2e255m765_4limbs/
 ${MAKE} "$@" solinas32_2e255m765_12limbs.json ../solinas32_2e255m765_12limbs/
 ${MAKE} "$@" solinas32_2e255m765_13limbs.json ../solinas32_2e255m765_13limbs/
-${MAKE} "$@" solinas32_2e255m765_14limbs.json ../solinas32_2e255m765_14limbs/
-${MAKE} "$@" solinas32_2e255m765_15limbs.json ../solinas32_2e255m765_15limbs/
-${MAKE} "$@" solinas32_2e255m765_16limbs.json ../solinas32_2e255m765_16limbs/
-${MAKE} "$@" solinas32_2e255m765_17limbs.json ../solinas32_2e255m765_17limbs/
-${MAKE} "$@" solinas32_2e255m765_18limbs.json ../solinas32_2e255m765_18limbs/
-${MAKE} "$@" solinas32_2e255m765_19limbs.json ../solinas32_2e255m765_19limbs/
-${MAKE} "$@" solinas32_2e255m765_20limbs.json ../solinas32_2e255m765_20limbs/
-${MAKE} "$@" solinas32_2e255m765_21limbs.json ../solinas32_2e255m765_21limbs/
-${MAKE} "$@" solinas32_2e255m765_22limbs.json ../solinas32_2e255m765_22limbs/
-${MAKE} "$@" solinas32_2e255m765_23limbs.json ../solinas32_2e255m765_23limbs/
 ${MAKE} "$@" solinas64_2e255m765_5limbs.json ../solinas64_2e255m765_5limbs/
 ${MAKE} "$@" solinas64_2e255m765_6limbs.json ../solinas64_2e255m765_6limbs/
-${MAKE} "$@" solinas64_2e255m765_7limbs.json ../solinas64_2e255m765_7limbs/
-${MAKE} "$@" solinas64_2e255m765_8limbs.json ../solinas64_2e255m765_8limbs/
-${MAKE} "$@" solinas64_2e255m765_9limbs.json ../solinas64_2e255m765_9limbs/
+${MAKE} "$@" montgomery32_2e255m19_8limbs.json ../montgomery32_2e255m19_8limbs/
+${MAKE} "$@" montgomery64_2e255m19_4limbs.json ../montgomery64_2e255m19_4limbs/
 ${MAKE} "$@" solinas32_2e255m19_10limbs.json ../solinas32_2e255m19_10limbs/
 ${MAKE} "$@" solinas32_2e255m19_11limbs.json ../solinas32_2e255m19_11limbs/
-${MAKE} "$@" solinas32_2e255m19_12limbs.json ../solinas32_2e255m19_12limbs/
-${MAKE} "$@" solinas32_2e255m19_13limbs.json ../solinas32_2e255m19_13limbs/
-${MAKE} "$@" solinas32_2e255m19_14limbs.json ../solinas32_2e255m19_14limbs/
-${MAKE} "$@" solinas32_2e255m19_15limbs.json ../solinas32_2e255m19_15limbs/
-${MAKE} "$@" solinas32_2e255m19_16limbs.json ../solinas32_2e255m19_16limbs/
-${MAKE} "$@" solinas32_2e255m19_17limbs.json ../solinas32_2e255m19_17limbs/
-${MAKE} "$@" solinas32_2e255m19_18limbs.json ../solinas32_2e255m19_18limbs/
-${MAKE} "$@" solinas32_2e255m19_19limbs.json ../solinas32_2e255m19_19limbs/
 ${MAKE} "$@" solinas64_2e255m19_5limbs.json ../solinas64_2e255m19_5limbs/
 ${MAKE} "$@" solinas64_2e255m19_6limbs.json ../solinas64_2e255m19_6limbs/
-${MAKE} "$@" solinas64_2e255m19_7limbs.json ../solinas64_2e255m19_7limbs/
-${MAKE} "$@" solinas64_2e255m19_8limbs.json ../solinas64_2e255m19_8limbs/
-${MAKE} "$@" solinas64_2e255m19_9limbs.json ../solinas64_2e255m19_9limbs/
+${MAKE} "$@" montgomery32_2e256m189_8limbs.json ../montgomery32_2e256m189_8limbs/
+${MAKE} "$@" montgomery64_2e256m189_4limbs.json ../montgomery64_2e256m189_4limbs/
 ${MAKE} "$@" solinas32_2e256m189_11limbs.json ../solinas32_2e256m189_11limbs/
 ${MAKE} "$@" solinas32_2e256m189_12limbs.json ../solinas32_2e256m189_12limbs/
-${MAKE} "$@" solinas32_2e256m189_13limbs.json ../solinas32_2e256m189_13limbs/
-${MAKE} "$@" solinas32_2e256m189_14limbs.json ../solinas32_2e256m189_14limbs/
-${MAKE} "$@" solinas32_2e256m189_15limbs.json ../solinas32_2e256m189_15limbs/
-${MAKE} "$@" solinas32_2e256m189_16limbs.json ../solinas32_2e256m189_16limbs/
-${MAKE} "$@" solinas32_2e256m189_17limbs.json ../solinas32_2e256m189_17limbs/
-${MAKE} "$@" solinas32_2e256m189_18limbs.json ../solinas32_2e256m189_18limbs/
-${MAKE} "$@" solinas32_2e256m189_19limbs.json ../solinas32_2e256m189_19limbs/
-${MAKE} "$@" solinas32_2e256m189_20limbs.json ../solinas32_2e256m189_20limbs/
-${MAKE} "$@" solinas32_2e256m189_21limbs.json ../solinas32_2e256m189_21limbs/
 ${MAKE} "$@" solinas64_2e256m189_5limbs.json ../solinas64_2e256m189_5limbs/
 ${MAKE} "$@" solinas64_2e256m189_6limbs.json ../solinas64_2e256m189_6limbs/
-${MAKE} "$@" solinas64_2e256m189_7limbs.json ../solinas64_2e256m189_7limbs/
-${MAKE} "$@" solinas64_2e256m189_8limbs.json ../solinas64_2e256m189_8limbs/
-${MAKE} "$@" solinas64_2e256m189_9limbs.json ../solinas64_2e256m189_9limbs/
+${MAKE} "$@" montgomery32_2e266m3_9limbs.json ../montgomery32_2e266m3_9limbs/
+${MAKE} "$@" montgomery64_2e266m3_5limbs.json ../montgomery64_2e266m3_5limbs/
 ${MAKE} "$@" solinas32_2e266m3_10limbs.json ../solinas32_2e266m3_10limbs/
 ${MAKE} "$@" solinas32_2e266m3_11limbs.json ../solinas32_2e266m3_11limbs/
-${MAKE} "$@" solinas32_2e266m3_12limbs.json ../solinas32_2e266m3_12limbs/
-${MAKE} "$@" solinas32_2e266m3_13limbs.json ../solinas32_2e266m3_13limbs/
-${MAKE} "$@" solinas32_2e266m3_14limbs.json ../solinas32_2e266m3_14limbs/
-${MAKE} "$@" solinas32_2e266m3_15limbs.json ../solinas32_2e266m3_15limbs/
-${MAKE} "$@" solinas32_2e266m3_16limbs.json ../solinas32_2e266m3_16limbs/
-${MAKE} "$@" solinas32_2e266m3_17limbs.json ../solinas32_2e266m3_17limbs/
 ${MAKE} "$@" solinas64_2e266m3_5limbs.json ../solinas64_2e266m3_5limbs/
 ${MAKE} "$@" solinas64_2e266m3_6limbs.json ../solinas64_2e266m3_6limbs/
-${MAKE} "$@" solinas64_2e266m3_7limbs.json ../solinas64_2e266m3_7limbs/
-${MAKE} "$@" solinas64_2e266m3_8limbs.json ../solinas64_2e266m3_8limbs/
-${MAKE} "$@" solinas64_2e266m3_9limbs.json ../solinas64_2e266m3_9limbs/
+${MAKE} "$@" montgomery32_2e285m9_9limbs.json ../montgomery32_2e285m9_9limbs/
+${MAKE} "$@" montgomery64_2e285m9_5limbs.json ../montgomery64_2e285m9_5limbs/
 ${MAKE} "$@" solinas32_2e285m9_11limbs.json ../solinas32_2e285m9_11limbs/
 ${MAKE} "$@" solinas32_2e285m9_12limbs.json ../solinas32_2e285m9_12limbs/
-${MAKE} "$@" solinas32_2e285m9_13limbs.json ../solinas32_2e285m9_13limbs/
-${MAKE} "$@" solinas32_2e285m9_14limbs.json ../solinas32_2e285m9_14limbs/
-${MAKE} "$@" solinas32_2e285m9_15limbs.json ../solinas32_2e285m9_15limbs/
-${MAKE} "$@" solinas32_2e285m9_16limbs.json ../solinas32_2e285m9_16limbs/
-${MAKE} "$@" solinas32_2e285m9_17limbs.json ../solinas32_2e285m9_17limbs/
-${MAKE} "$@" solinas32_2e285m9_18limbs.json ../solinas32_2e285m9_18limbs/
-${MAKE} "$@" solinas32_2e285m9_19limbs.json ../solinas32_2e285m9_19limbs/
-${MAKE} "$@" solinas32_2e285m9_20limbs.json ../solinas32_2e285m9_20limbs/
-${MAKE} "$@" solinas32_2e285m9_21limbs.json ../solinas32_2e285m9_21limbs/
 ${MAKE} "$@" solinas64_2e285m9_5limbs.json ../solinas64_2e285m9_5limbs/
 ${MAKE} "$@" solinas64_2e285m9_6limbs.json ../solinas64_2e285m9_6limbs/
-${MAKE} "$@" solinas64_2e285m9_7limbs.json ../solinas64_2e285m9_7limbs/
-${MAKE} "$@" solinas64_2e285m9_8limbs.json ../solinas64_2e285m9_8limbs/
-${MAKE} "$@" solinas64_2e285m9_9limbs.json ../solinas64_2e285m9_9limbs/
+${MAKE} "$@" montgomery32_2e291m19_10limbs.json ../montgomery32_2e291m19_10limbs/
+${MAKE} "$@" montgomery64_2e291m19_5limbs.json ../montgomery64_2e291m19_5limbs/
 ${MAKE} "$@" solinas32_2e291m19_11limbs.json ../solinas32_2e291m19_11limbs/
 ${MAKE} "$@" solinas32_2e291m19_12limbs.json ../solinas32_2e291m19_12limbs/
-${MAKE} "$@" solinas32_2e291m19_13limbs.json ../solinas32_2e291m19_13limbs/
-${MAKE} "$@" solinas32_2e291m19_14limbs.json ../solinas32_2e291m19_14limbs/
-${MAKE} "$@" solinas32_2e291m19_15limbs.json ../solinas32_2e291m19_15limbs/
-${MAKE} "$@" solinas32_2e291m19_16limbs.json ../solinas32_2e291m19_16limbs/
-${MAKE} "$@" solinas32_2e291m19_17limbs.json ../solinas32_2e291m19_17limbs/
-${MAKE} "$@" solinas32_2e291m19_18limbs.json ../solinas32_2e291m19_18limbs/
-${MAKE} "$@" solinas32_2e291m19_19limbs.json ../solinas32_2e291m19_19limbs/
-${MAKE} "$@" solinas32_2e291m19_20limbs.json ../solinas32_2e291m19_20limbs/
-${MAKE} "$@" solinas32_2e291m19_21limbs.json ../solinas32_2e291m19_21limbs/
 ${MAKE} "$@" solinas64_2e291m19_5limbs.json ../solinas64_2e291m19_5limbs/
 ${MAKE} "$@" solinas64_2e291m19_6limbs.json ../solinas64_2e291m19_6limbs/
-${MAKE} "$@" solinas64_2e291m19_7limbs.json ../solinas64_2e291m19_7limbs/
-${MAKE} "$@" solinas64_2e291m19_8limbs.json ../solinas64_2e291m19_8limbs/
-${MAKE} "$@" solinas64_2e291m19_9limbs.json ../solinas64_2e291m19_9limbs/
+${MAKE} "$@" montgomery32_2e321m9_11limbs.json ../montgomery32_2e321m9_11limbs/
+${MAKE} "$@" montgomery64_2e321m9_6limbs.json ../montgomery64_2e321m9_6limbs/
 ${MAKE} "$@" solinas32_2e321m9_12limbs.json ../solinas32_2e321m9_12limbs/
 ${MAKE} "$@" solinas32_2e321m9_13limbs.json ../solinas32_2e321m9_13limbs/
-${MAKE} "$@" solinas32_2e321m9_14limbs.json ../solinas32_2e321m9_14limbs/
-${MAKE} "$@" solinas32_2e321m9_15limbs.json ../solinas32_2e321m9_15limbs/
-${MAKE} "$@" solinas32_2e321m9_16limbs.json ../solinas32_2e321m9_16limbs/
-${MAKE} "$@" solinas32_2e321m9_17limbs.json ../solinas32_2e321m9_17limbs/
-${MAKE} "$@" solinas32_2e321m9_18limbs.json ../solinas32_2e321m9_18limbs/
-${MAKE} "$@" solinas32_2e321m9_19limbs.json ../solinas32_2e321m9_19limbs/
-${MAKE} "$@" solinas32_2e321m9_20limbs.json ../solinas32_2e321m9_20limbs/
-${MAKE} "$@" solinas32_2e321m9_21limbs.json ../solinas32_2e321m9_21limbs/
-${MAKE} "$@" solinas32_2e321m9_22limbs.json ../solinas32_2e321m9_22limbs/
-${MAKE} "$@" solinas32_2e321m9_23limbs.json ../solinas32_2e321m9_23limbs/
 ${MAKE} "$@" solinas64_2e321m9_6limbs.json ../solinas64_2e321m9_6limbs/
 ${MAKE} "$@" solinas64_2e321m9_7limbs.json ../solinas64_2e321m9_7limbs/
-${MAKE} "$@" solinas64_2e321m9_8limbs.json ../solinas64_2e321m9_8limbs/
-${MAKE} "$@" solinas64_2e321m9_9limbs.json ../solinas64_2e321m9_9limbs/
-${MAKE} "$@" solinas64_2e321m9_10limbs.json ../solinas64_2e321m9_10limbs/
-${MAKE} "$@" solinas64_2e321m9_11limbs.json ../solinas64_2e321m9_11limbs/
+${MAKE} "$@" montgomery32_2e336m17_11limbs.json ../montgomery32_2e336m17_11limbs/
+${MAKE} "$@" montgomery64_2e336m17_6limbs.json ../montgomery64_2e336m17_6limbs/
 ${MAKE} "$@" solinas32_2e336m17_13limbs.json ../solinas32_2e336m17_13limbs/
 ${MAKE} "$@" solinas32_2e336m17_14limbs.json ../solinas32_2e336m17_14limbs/
-${MAKE} "$@" solinas32_2e336m17_15limbs.json ../solinas32_2e336m17_15limbs/
-${MAKE} "$@" solinas32_2e336m17_16limbs.json ../solinas32_2e336m17_16limbs/
-${MAKE} "$@" solinas32_2e336m17_17limbs.json ../solinas32_2e336m17_17limbs/
-${MAKE} "$@" solinas32_2e336m17_18limbs.json ../solinas32_2e336m17_18limbs/
-${MAKE} "$@" solinas32_2e336m17_19limbs.json ../solinas32_2e336m17_19limbs/
-${MAKE} "$@" solinas32_2e336m17_20limbs.json ../solinas32_2e336m17_20limbs/
-${MAKE} "$@" solinas32_2e336m17_21limbs.json ../solinas32_2e336m17_21limbs/
-${MAKE} "$@" solinas32_2e336m17_22limbs.json ../solinas32_2e336m17_22limbs/
-${MAKE} "$@" solinas32_2e336m17_23limbs.json ../solinas32_2e336m17_23limbs/
-${MAKE} "$@" solinas32_2e336m17_24limbs.json ../solinas32_2e336m17_24limbs/
-${MAKE} "$@" solinas32_2e336m17_25limbs.json ../solinas32_2e336m17_25limbs/
 ${MAKE} "$@" solinas64_2e336m17_6limbs.json ../solinas64_2e336m17_6limbs/
 ${MAKE} "$@" solinas64_2e336m17_7limbs.json ../solinas64_2e336m17_7limbs/
-${MAKE} "$@" solinas64_2e336m17_8limbs.json ../solinas64_2e336m17_8limbs/
-${MAKE} "$@" solinas64_2e336m17_9limbs.json ../solinas64_2e336m17_9limbs/
-${MAKE} "$@" solinas64_2e336m17_10limbs.json ../solinas64_2e336m17_10limbs/
-${MAKE} "$@" solinas64_2e336m17_11limbs.json ../solinas64_2e336m17_11limbs/
+${MAKE} "$@" montgomery32_2e336m3_11limbs.json ../montgomery32_2e336m3_11limbs/
+${MAKE} "$@" montgomery64_2e336m3_6limbs.json ../montgomery64_2e336m3_6limbs/
 ${MAKE} "$@" solinas32_2e336m3_12limbs.json ../solinas32_2e336m3_12limbs/
 ${MAKE} "$@" solinas32_2e336m3_13limbs.json ../solinas32_2e336m3_13limbs/
-${MAKE} "$@" solinas32_2e336m3_14limbs.json ../solinas32_2e336m3_14limbs/
-${MAKE} "$@" solinas32_2e336m3_15limbs.json ../solinas32_2e336m3_15limbs/
-${MAKE} "$@" solinas32_2e336m3_16limbs.json ../solinas32_2e336m3_16limbs/
-${MAKE} "$@" solinas32_2e336m3_17limbs.json ../solinas32_2e336m3_17limbs/
-${MAKE} "$@" solinas32_2e336m3_18limbs.json ../solinas32_2e336m3_18limbs/
-${MAKE} "$@" solinas32_2e336m3_19limbs.json ../solinas32_2e336m3_19limbs/
-${MAKE} "$@" solinas32_2e336m3_20limbs.json ../solinas32_2e336m3_20limbs/
-${MAKE} "$@" solinas32_2e336m3_21limbs.json ../solinas32_2e336m3_21limbs/
-${MAKE} "$@" solinas32_2e336m3_22limbs.json ../solinas32_2e336m3_22limbs/
-${MAKE} "$@" solinas32_2e336m3_23limbs.json ../solinas32_2e336m3_23limbs/
 ${MAKE} "$@" solinas64_2e336m3_6limbs.json ../solinas64_2e336m3_6limbs/
 ${MAKE} "$@" solinas64_2e336m3_7limbs.json ../solinas64_2e336m3_7limbs/
-${MAKE} "$@" solinas64_2e336m3_8limbs.json ../solinas64_2e336m3_8limbs/
-${MAKE} "$@" solinas64_2e336m3_9limbs.json ../solinas64_2e336m3_9limbs/
-${MAKE} "$@" solinas64_2e336m3_10limbs.json ../solinas64_2e336m3_10limbs/
-${MAKE} "$@" solinas64_2e336m3_11limbs.json ../solinas64_2e336m3_11limbs/
+${MAKE} "$@" montgomery32_2e338m15_11limbs.json ../montgomery32_2e338m15_11limbs/
+${MAKE} "$@" montgomery64_2e338m15_6limbs.json ../montgomery64_2e338m15_6limbs/
 ${MAKE} "$@" solinas32_2e338m15_13limbs.json ../solinas32_2e338m15_13limbs/
 ${MAKE} "$@" solinas32_2e338m15_14limbs.json ../solinas32_2e338m15_14limbs/
-${MAKE} "$@" solinas32_2e338m15_15limbs.json ../solinas32_2e338m15_15limbs/
-${MAKE} "$@" solinas32_2e338m15_16limbs.json ../solinas32_2e338m15_16limbs/
-${MAKE} "$@" solinas32_2e338m15_17limbs.json ../solinas32_2e338m15_17limbs/
-${MAKE} "$@" solinas32_2e338m15_18limbs.json ../solinas32_2e338m15_18limbs/
-${MAKE} "$@" solinas32_2e338m15_19limbs.json ../solinas32_2e338m15_19limbs/
-${MAKE} "$@" solinas32_2e338m15_20limbs.json ../solinas32_2e338m15_20limbs/
-${MAKE} "$@" solinas32_2e338m15_21limbs.json ../solinas32_2e338m15_21limbs/
-${MAKE} "$@" solinas32_2e338m15_22limbs.json ../solinas32_2e338m15_22limbs/
-${MAKE} "$@" solinas32_2e338m15_23limbs.json ../solinas32_2e338m15_23limbs/
-${MAKE} "$@" solinas32_2e338m15_24limbs.json ../solinas32_2e338m15_24limbs/
-${MAKE} "$@" solinas32_2e338m15_25limbs.json ../solinas32_2e338m15_25limbs/
 ${MAKE} "$@" solinas64_2e338m15_6limbs.json ../solinas64_2e338m15_6limbs/
 ${MAKE} "$@" solinas64_2e338m15_7limbs.json ../solinas64_2e338m15_7limbs/
-${MAKE} "$@" solinas64_2e338m15_8limbs.json ../solinas64_2e338m15_8limbs/
-${MAKE} "$@" solinas64_2e338m15_9limbs.json ../solinas64_2e338m15_9limbs/
-${MAKE} "$@" solinas64_2e338m15_10limbs.json ../solinas64_2e338m15_10limbs/
-${MAKE} "$@" solinas64_2e338m15_11limbs.json ../solinas64_2e338m15_11limbs/
-${MAKE} "$@" solinas32_2e369m25_14limbs.json ../solinas32_2e369m25_14limbs/
+${MAKE} "$@" montgomery32_2e369m25_12limbs.json ../montgomery32_2e369m25_12limbs/
+${MAKE} "$@" montgomery64_2e369m25_6limbs.json ../montgomery64_2e369m25_6limbs/
 ${MAKE} "$@" solinas32_2e369m25_15limbs.json ../solinas32_2e369m25_15limbs/
 ${MAKE} "$@" solinas32_2e369m25_16limbs.json ../solinas32_2e369m25_16limbs/
-${MAKE} "$@" solinas32_2e369m25_17limbs.json ../solinas32_2e369m25_17limbs/
-${MAKE} "$@" solinas32_2e369m25_18limbs.json ../solinas32_2e369m25_18limbs/
-${MAKE} "$@" solinas32_2e369m25_19limbs.json ../solinas32_2e369m25_19limbs/
-${MAKE} "$@" solinas32_2e369m25_20limbs.json ../solinas32_2e369m25_20limbs/
-${MAKE} "$@" solinas32_2e369m25_21limbs.json ../solinas32_2e369m25_21limbs/
-${MAKE} "$@" solinas32_2e369m25_22limbs.json ../solinas32_2e369m25_22limbs/
-${MAKE} "$@" solinas32_2e369m25_23limbs.json ../solinas32_2e369m25_23limbs/
-${MAKE} "$@" solinas32_2e369m25_24limbs.json ../solinas32_2e369m25_24limbs/
-${MAKE} "$@" solinas32_2e369m25_25limbs.json ../solinas32_2e369m25_25limbs/
-${MAKE} "$@" solinas32_2e369m25_26limbs.json ../solinas32_2e369m25_26limbs/
-${MAKE} "$@" solinas32_2e369m25_27limbs.json ../solinas32_2e369m25_27limbs/
 ${MAKE} "$@" solinas64_2e369m25_7limbs.json ../solinas64_2e369m25_7limbs/
 ${MAKE} "$@" solinas64_2e369m25_8limbs.json ../solinas64_2e369m25_8limbs/
-${MAKE} "$@" solinas64_2e369m25_9limbs.json ../solinas64_2e369m25_9limbs/
-${MAKE} "$@" solinas64_2e369m25_10limbs.json ../solinas64_2e369m25_10limbs/
-${MAKE} "$@" solinas64_2e369m25_11limbs.json ../solinas64_2e369m25_11limbs/
-${MAKE} "$@" solinas64_2e369m25_12limbs.json ../solinas64_2e369m25_12limbs/
-${MAKE} "$@" solinas64_2e369m25_13limbs.json ../solinas64_2e369m25_13limbs/
+${MAKE} "$@" montgomery32_2e379m19_12limbs.json ../montgomery32_2e379m19_12limbs/
+${MAKE} "$@" montgomery64_2e379m19_6limbs.json ../montgomery64_2e379m19_6limbs/
 ${MAKE} "$@" solinas32_2e379m19_15limbs.json ../solinas32_2e379m19_15limbs/
 ${MAKE} "$@" solinas32_2e379m19_16limbs.json ../solinas32_2e379m19_16limbs/
-${MAKE} "$@" solinas32_2e379m19_17limbs.json ../solinas32_2e379m19_17limbs/
-${MAKE} "$@" solinas32_2e379m19_18limbs.json ../solinas32_2e379m19_18limbs/
-${MAKE} "$@" solinas32_2e379m19_19limbs.json ../solinas32_2e379m19_19limbs/
-${MAKE} "$@" solinas32_2e379m19_20limbs.json ../solinas32_2e379m19_20limbs/
-${MAKE} "$@" solinas32_2e379m19_21limbs.json ../solinas32_2e379m19_21limbs/
-${MAKE} "$@" solinas32_2e379m19_22limbs.json ../solinas32_2e379m19_22limbs/
-${MAKE} "$@" solinas32_2e379m19_23limbs.json ../solinas32_2e379m19_23limbs/
-${MAKE} "$@" solinas32_2e379m19_24limbs.json ../solinas32_2e379m19_24limbs/
-${MAKE} "$@" solinas32_2e379m19_25limbs.json ../solinas32_2e379m19_25limbs/
-${MAKE} "$@" solinas32_2e379m19_26limbs.json ../solinas32_2e379m19_26limbs/
-${MAKE} "$@" solinas32_2e379m19_27limbs.json ../solinas32_2e379m19_27limbs/
-${MAKE} "$@" solinas32_2e379m19_28limbs.json ../solinas32_2e379m19_28limbs/
-${MAKE} "$@" solinas32_2e379m19_29limbs.json ../solinas32_2e379m19_29limbs/
 ${MAKE} "$@" solinas64_2e379m19_7limbs.json ../solinas64_2e379m19_7limbs/
 ${MAKE} "$@" solinas64_2e379m19_8limbs.json ../solinas64_2e379m19_8limbs/
-${MAKE} "$@" solinas64_2e379m19_9limbs.json ../solinas64_2e379m19_9limbs/
-${MAKE} "$@" solinas64_2e379m19_10limbs.json ../solinas64_2e379m19_10limbs/
-${MAKE} "$@" solinas64_2e379m19_11limbs.json ../solinas64_2e379m19_11limbs/
-${MAKE} "$@" solinas64_2e379m19_12limbs.json ../solinas64_2e379m19_12limbs/
-${MAKE} "$@" solinas64_2e379m19_13limbs.json ../solinas64_2e379m19_13limbs/
+${MAKE} "$@" montgomery32_2e382m105_12limbs.json ../montgomery32_2e382m105_12limbs/
+${MAKE} "$@" montgomery64_2e382m105_6limbs.json ../montgomery64_2e382m105_6limbs/
 ${MAKE} "$@" solinas32_2e382m105_16limbs.json ../solinas32_2e382m105_16limbs/
 ${MAKE} "$@" solinas32_2e382m105_17limbs.json ../solinas32_2e382m105_17limbs/
-${MAKE} "$@" solinas32_2e382m105_18limbs.json ../solinas32_2e382m105_18limbs/
-${MAKE} "$@" solinas32_2e382m105_19limbs.json ../solinas32_2e382m105_19limbs/
-${MAKE} "$@" solinas32_2e382m105_20limbs.json ../solinas32_2e382m105_20limbs/
-${MAKE} "$@" solinas32_2e382m105_21limbs.json ../solinas32_2e382m105_21limbs/
-${MAKE} "$@" solinas32_2e382m105_22limbs.json ../solinas32_2e382m105_22limbs/
-${MAKE} "$@" solinas32_2e382m105_23limbs.json ../solinas32_2e382m105_23limbs/
-${MAKE} "$@" solinas32_2e382m105_24limbs.json ../solinas32_2e382m105_24limbs/
-${MAKE} "$@" solinas32_2e382m105_25limbs.json ../solinas32_2e382m105_25limbs/
-${MAKE} "$@" solinas32_2e382m105_26limbs.json ../solinas32_2e382m105_26limbs/
-${MAKE} "$@" solinas32_2e382m105_27limbs.json ../solinas32_2e382m105_27limbs/
-${MAKE} "$@" solinas32_2e382m105_28limbs.json ../solinas32_2e382m105_28limbs/
-${MAKE} "$@" solinas32_2e382m105_29limbs.json ../solinas32_2e382m105_29limbs/
-${MAKE} "$@" solinas32_2e382m105_30limbs.json ../solinas32_2e382m105_30limbs/
-${MAKE} "$@" solinas32_2e382m105_31limbs.json ../solinas32_2e382m105_31limbs/
 ${MAKE} "$@" solinas64_2e382m105_7limbs.json ../solinas64_2e382m105_7limbs/
 ${MAKE} "$@" solinas64_2e382m105_8limbs.json ../solinas64_2e382m105_8limbs/
-${MAKE} "$@" solinas64_2e382m105_9limbs.json ../solinas64_2e382m105_9limbs/
-${MAKE} "$@" solinas64_2e382m105_10limbs.json ../solinas64_2e382m105_10limbs/
-${MAKE} "$@" solinas64_2e382m105_11limbs.json ../solinas64_2e382m105_11limbs/
-${MAKE} "$@" solinas64_2e382m105_12limbs.json ../solinas64_2e382m105_12limbs/
-${MAKE} "$@" solinas64_2e382m105_13limbs.json ../solinas64_2e382m105_13limbs/
+${MAKE} "$@" montgomery32_2e383m421_12limbs.json ../montgomery32_2e383m421_12limbs/
+${MAKE} "$@" montgomery64_2e383m421_6limbs.json ../montgomery64_2e383m421_6limbs/
 ${MAKE} "$@" solinas32_2e383m421_17limbs.json ../solinas32_2e383m421_17limbs/
 ${MAKE} "$@" solinas32_2e383m421_18limbs.json ../solinas32_2e383m421_18limbs/
-${MAKE} "$@" solinas32_2e383m421_19limbs.json ../solinas32_2e383m421_19limbs/
-${MAKE} "$@" solinas32_2e383m421_20limbs.json ../solinas32_2e383m421_20limbs/
-${MAKE} "$@" solinas32_2e383m421_21limbs.json ../solinas32_2e383m421_21limbs/
-${MAKE} "$@" solinas32_2e383m421_22limbs.json ../solinas32_2e383m421_22limbs/
-${MAKE} "$@" solinas32_2e383m421_23limbs.json ../solinas32_2e383m421_23limbs/
-${MAKE} "$@" solinas32_2e383m421_24limbs.json ../solinas32_2e383m421_24limbs/
-${MAKE} "$@" solinas32_2e383m421_25limbs.json ../solinas32_2e383m421_25limbs/
-${MAKE} "$@" solinas32_2e383m421_26limbs.json ../solinas32_2e383m421_26limbs/
-${MAKE} "$@" solinas32_2e383m421_27limbs.json ../solinas32_2e383m421_27limbs/
-${MAKE} "$@" solinas32_2e383m421_28limbs.json ../solinas32_2e383m421_28limbs/
-${MAKE} "$@" solinas32_2e383m421_29limbs.json ../solinas32_2e383m421_29limbs/
-${MAKE} "$@" solinas32_2e383m421_30limbs.json ../solinas32_2e383m421_30limbs/
-${MAKE} "$@" solinas32_2e383m421_31limbs.json ../solinas32_2e383m421_31limbs/
-${MAKE} "$@" solinas32_2e383m421_32limbs.json ../solinas32_2e383m421_32limbs/
-${MAKE} "$@" solinas32_2e383m421_33limbs.json ../solinas32_2e383m421_33limbs/
 ${MAKE} "$@" solinas64_2e383m421_7limbs.json ../solinas64_2e383m421_7limbs/
 ${MAKE} "$@" solinas64_2e383m421_8limbs.json ../solinas64_2e383m421_8limbs/
-${MAKE} "$@" solinas64_2e383m421_9limbs.json ../solinas64_2e383m421_9limbs/
-${MAKE} "$@" solinas64_2e383m421_10limbs.json ../solinas64_2e383m421_10limbs/
-${MAKE} "$@" solinas64_2e383m421_11limbs.json ../solinas64_2e383m421_11limbs/
-${MAKE} "$@" solinas64_2e383m421_12limbs.json ../solinas64_2e383m421_12limbs/
-${MAKE} "$@" solinas64_2e383m421_13limbs.json ../solinas64_2e383m421_13limbs/
+${MAKE} "$@" montgomery32_2e383m187_12limbs.json ../montgomery32_2e383m187_12limbs/
+${MAKE} "$@" montgomery64_2e383m187_6limbs.json ../montgomery64_2e383m187_6limbs/
 ${MAKE} "$@" solinas32_2e383m187_16limbs.json ../solinas32_2e383m187_16limbs/
 ${MAKE} "$@" solinas32_2e383m187_17limbs.json ../solinas32_2e383m187_17limbs/
-${MAKE} "$@" solinas32_2e383m187_18limbs.json ../solinas32_2e383m187_18limbs/
-${MAKE} "$@" solinas32_2e383m187_19limbs.json ../solinas32_2e383m187_19limbs/
-${MAKE} "$@" solinas32_2e383m187_20limbs.json ../solinas32_2e383m187_20limbs/
-${MAKE} "$@" solinas32_2e383m187_21limbs.json ../solinas32_2e383m187_21limbs/
-${MAKE} "$@" solinas32_2e383m187_22limbs.json ../solinas32_2e383m187_22limbs/
-${MAKE} "$@" solinas32_2e383m187_23limbs.json ../solinas32_2e383m187_23limbs/
-${MAKE} "$@" solinas32_2e383m187_24limbs.json ../solinas32_2e383m187_24limbs/
-${MAKE} "$@" solinas32_2e383m187_25limbs.json ../solinas32_2e383m187_25limbs/
-${MAKE} "$@" solinas32_2e383m187_26limbs.json ../solinas32_2e383m187_26limbs/
-${MAKE} "$@" solinas32_2e383m187_27limbs.json ../solinas32_2e383m187_27limbs/
-${MAKE} "$@" solinas32_2e383m187_28limbs.json ../solinas32_2e383m187_28limbs/
-${MAKE} "$@" solinas32_2e383m187_29limbs.json ../solinas32_2e383m187_29limbs/
-${MAKE} "$@" solinas32_2e383m187_30limbs.json ../solinas32_2e383m187_30limbs/
-${MAKE} "$@" solinas32_2e383m187_31limbs.json ../solinas32_2e383m187_31limbs/
 ${MAKE} "$@" solinas64_2e383m187_7limbs.json ../solinas64_2e383m187_7limbs/
 ${MAKE} "$@" solinas64_2e383m187_8limbs.json ../solinas64_2e383m187_8limbs/
-${MAKE} "$@" solinas64_2e383m187_9limbs.json ../solinas64_2e383m187_9limbs/
-${MAKE} "$@" solinas64_2e383m187_10limbs.json ../solinas64_2e383m187_10limbs/
-${MAKE} "$@" solinas64_2e383m187_11limbs.json ../solinas64_2e383m187_11limbs/
-${MAKE} "$@" solinas64_2e383m187_12limbs.json ../solinas64_2e383m187_12limbs/
-${MAKE} "$@" solinas64_2e383m187_13limbs.json ../solinas64_2e383m187_13limbs/
+${MAKE} "$@" montgomery32_2e383m31_12limbs.json ../montgomery32_2e383m31_12limbs/
+${MAKE} "$@" montgomery64_2e383m31_6limbs.json ../montgomery64_2e383m31_6limbs/
 ${MAKE} "$@" solinas32_2e383m31_15limbs.json ../solinas32_2e383m31_15limbs/
 ${MAKE} "$@" solinas32_2e383m31_16limbs.json ../solinas32_2e383m31_16limbs/
-${MAKE} "$@" solinas32_2e383m31_17limbs.json ../solinas32_2e383m31_17limbs/
-${MAKE} "$@" solinas32_2e383m31_18limbs.json ../solinas32_2e383m31_18limbs/
-${MAKE} "$@" solinas32_2e383m31_19limbs.json ../solinas32_2e383m31_19limbs/
-${MAKE} "$@" solinas32_2e383m31_20limbs.json ../solinas32_2e383m31_20limbs/
-${MAKE} "$@" solinas32_2e383m31_21limbs.json ../solinas32_2e383m31_21limbs/
-${MAKE} "$@" solinas32_2e383m31_22limbs.json ../solinas32_2e383m31_22limbs/
-${MAKE} "$@" solinas32_2e383m31_23limbs.json ../solinas32_2e383m31_23limbs/
-${MAKE} "$@" solinas32_2e383m31_24limbs.json ../solinas32_2e383m31_24limbs/
-${MAKE} "$@" solinas32_2e383m31_25limbs.json ../solinas32_2e383m31_25limbs/
-${MAKE} "$@" solinas32_2e383m31_26limbs.json ../solinas32_2e383m31_26limbs/
-${MAKE} "$@" solinas32_2e383m31_27limbs.json ../solinas32_2e383m31_27limbs/
-${MAKE} "$@" solinas32_2e383m31_28limbs.json ../solinas32_2e383m31_28limbs/
-${MAKE} "$@" solinas32_2e383m31_29limbs.json ../solinas32_2e383m31_29limbs/
 ${MAKE} "$@" solinas64_2e383m31_7limbs.json ../solinas64_2e383m31_7limbs/
 ${MAKE} "$@" solinas64_2e383m31_8limbs.json ../solinas64_2e383m31_8limbs/
-${MAKE} "$@" solinas64_2e383m31_9limbs.json ../solinas64_2e383m31_9limbs/
-${MAKE} "$@" solinas64_2e383m31_10limbs.json ../solinas64_2e383m31_10limbs/
-${MAKE} "$@" solinas64_2e383m31_11limbs.json ../solinas64_2e383m31_11limbs/
-${MAKE} "$@" solinas64_2e383m31_12limbs.json ../solinas64_2e383m31_12limbs/
-${MAKE} "$@" solinas64_2e383m31_13limbs.json ../solinas64_2e383m31_13limbs/
+${MAKE} "$@" montgomery32_2e384m317_12limbs.json ../montgomery32_2e384m317_12limbs/
+${MAKE} "$@" montgomery64_2e384m317_6limbs.json ../montgomery64_2e384m317_6limbs/
 ${MAKE} "$@" solinas32_2e384m317_17limbs.json ../solinas32_2e384m317_17limbs/
 ${MAKE} "$@" solinas32_2e384m317_18limbs.json ../solinas32_2e384m317_18limbs/
-${MAKE} "$@" solinas32_2e384m317_19limbs.json ../solinas32_2e384m317_19limbs/
-${MAKE} "$@" solinas32_2e384m317_20limbs.json ../solinas32_2e384m317_20limbs/
-${MAKE} "$@" solinas32_2e384m317_21limbs.json ../solinas32_2e384m317_21limbs/
-${MAKE} "$@" solinas32_2e384m317_22limbs.json ../solinas32_2e384m317_22limbs/
-${MAKE} "$@" solinas32_2e384m317_23limbs.json ../solinas32_2e384m317_23limbs/
-${MAKE} "$@" solinas32_2e384m317_24limbs.json ../solinas32_2e384m317_24limbs/
-${MAKE} "$@" solinas32_2e384m317_25limbs.json ../solinas32_2e384m317_25limbs/
-${MAKE} "$@" solinas32_2e384m317_26limbs.json ../solinas32_2e384m317_26limbs/
-${MAKE} "$@" solinas32_2e384m317_27limbs.json ../solinas32_2e384m317_27limbs/
-${MAKE} "$@" solinas32_2e384m317_28limbs.json ../solinas32_2e384m317_28limbs/
-${MAKE} "$@" solinas32_2e384m317_29limbs.json ../solinas32_2e384m317_29limbs/
-${MAKE} "$@" solinas32_2e384m317_30limbs.json ../solinas32_2e384m317_30limbs/
-${MAKE} "$@" solinas32_2e384m317_31limbs.json ../solinas32_2e384m317_31limbs/
-${MAKE} "$@" solinas32_2e384m317_32limbs.json ../solinas32_2e384m317_32limbs/
-${MAKE} "$@" solinas32_2e384m317_33limbs.json ../solinas32_2e384m317_33limbs/
 ${MAKE} "$@" solinas64_2e384m317_7limbs.json ../solinas64_2e384m317_7limbs/
 ${MAKE} "$@" solinas64_2e384m317_8limbs.json ../solinas64_2e384m317_8limbs/
-${MAKE} "$@" solinas64_2e384m317_9limbs.json ../solinas64_2e384m317_9limbs/
-${MAKE} "$@" solinas64_2e384m317_10limbs.json ../solinas64_2e384m317_10limbs/
-${MAKE} "$@" solinas64_2e384m317_11limbs.json ../solinas64_2e384m317_11limbs/
-${MAKE} "$@" solinas64_2e384m317_12limbs.json ../solinas64_2e384m317_12limbs/
-${MAKE} "$@" solinas64_2e384m317_13limbs.json ../solinas64_2e384m317_13limbs/
+${MAKE} "$@" montgomery32_2e389m21_13limbs.json ../montgomery32_2e389m21_13limbs/
+${MAKE} "$@" montgomery64_2e389m21_7limbs.json ../montgomery64_2e389m21_7limbs/
 ${MAKE} "$@" solinas32_2e389m21_15limbs.json ../solinas32_2e389m21_15limbs/
 ${MAKE} "$@" solinas32_2e389m21_16limbs.json ../solinas32_2e389m21_16limbs/
-${MAKE} "$@" solinas32_2e389m21_17limbs.json ../solinas32_2e389m21_17limbs/
-${MAKE} "$@" solinas32_2e389m21_18limbs.json ../solinas32_2e389m21_18limbs/
-${MAKE} "$@" solinas32_2e389m21_19limbs.json ../solinas32_2e389m21_19limbs/
-${MAKE} "$@" solinas32_2e389m21_20limbs.json ../solinas32_2e389m21_20limbs/
-${MAKE} "$@" solinas32_2e389m21_21limbs.json ../solinas32_2e389m21_21limbs/
-${MAKE} "$@" solinas32_2e389m21_22limbs.json ../solinas32_2e389m21_22limbs/
-${MAKE} "$@" solinas32_2e389m21_23limbs.json ../solinas32_2e389m21_23limbs/
-${MAKE} "$@" solinas32_2e389m21_24limbs.json ../solinas32_2e389m21_24limbs/
-${MAKE} "$@" solinas32_2e389m21_25limbs.json ../solinas32_2e389m21_25limbs/
-${MAKE} "$@" solinas32_2e389m21_26limbs.json ../solinas32_2e389m21_26limbs/
-${MAKE} "$@" solinas32_2e389m21_27limbs.json ../solinas32_2e389m21_27limbs/
-${MAKE} "$@" solinas32_2e389m21_28limbs.json ../solinas32_2e389m21_28limbs/
-${MAKE} "$@" solinas32_2e389m21_29limbs.json ../solinas32_2e389m21_29limbs/
 ${MAKE} "$@" solinas64_2e389m21_7limbs.json ../solinas64_2e389m21_7limbs/
 ${MAKE} "$@" solinas64_2e389m21_8limbs.json ../solinas64_2e389m21_8limbs/
-${MAKE} "$@" solinas64_2e389m21_9limbs.json ../solinas64_2e389m21_9limbs/
-${MAKE} "$@" solinas64_2e389m21_10limbs.json ../solinas64_2e389m21_10limbs/
-${MAKE} "$@" solinas64_2e389m21_11limbs.json ../solinas64_2e389m21_11limbs/
-${MAKE} "$@" solinas64_2e389m21_12limbs.json ../solinas64_2e389m21_12limbs/
-${MAKE} "$@" solinas64_2e389m21_13limbs.json ../solinas64_2e389m21_13limbs/
-${MAKE} "$@" solinas32_2e401m31_15limbs.json ../solinas32_2e401m31_15limbs/
+${MAKE} "$@" montgomery32_2e401m31_13limbs.json ../montgomery32_2e401m31_13limbs/
+${MAKE} "$@" montgomery64_2e401m31_7limbs.json ../montgomery64_2e401m31_7limbs/
 ${MAKE} "$@" solinas32_2e401m31_16limbs.json ../solinas32_2e401m31_16limbs/
 ${MAKE} "$@" solinas32_2e401m31_17limbs.json ../solinas32_2e401m31_17limbs/
-${MAKE} "$@" solinas32_2e401m31_18limbs.json ../solinas32_2e401m31_18limbs/
-${MAKE} "$@" solinas32_2e401m31_19limbs.json ../solinas32_2e401m31_19limbs/
-${MAKE} "$@" solinas32_2e401m31_20limbs.json ../solinas32_2e401m31_20limbs/
-${MAKE} "$@" solinas32_2e401m31_21limbs.json ../solinas32_2e401m31_21limbs/
-${MAKE} "$@" solinas32_2e401m31_22limbs.json ../solinas32_2e401m31_22limbs/
-${MAKE} "$@" solinas32_2e401m31_23limbs.json ../solinas32_2e401m31_23limbs/
-${MAKE} "$@" solinas32_2e401m31_24limbs.json ../solinas32_2e401m31_24limbs/
-${MAKE} "$@" solinas32_2e401m31_25limbs.json ../solinas32_2e401m31_25limbs/
-${MAKE} "$@" solinas32_2e401m31_26limbs.json ../solinas32_2e401m31_26limbs/
-${MAKE} "$@" solinas32_2e401m31_27limbs.json ../solinas32_2e401m31_27limbs/
-${MAKE} "$@" solinas32_2e401m31_28limbs.json ../solinas32_2e401m31_28limbs/
-${MAKE} "$@" solinas32_2e401m31_29limbs.json ../solinas32_2e401m31_29limbs/
 ${MAKE} "$@" solinas64_2e401m31_7limbs.json ../solinas64_2e401m31_7limbs/
 ${MAKE} "$@" solinas64_2e401m31_8limbs.json ../solinas64_2e401m31_8limbs/
-${MAKE} "$@" solinas64_2e401m31_9limbs.json ../solinas64_2e401m31_9limbs/
-${MAKE} "$@" solinas64_2e401m31_10limbs.json ../solinas64_2e401m31_10limbs/
-${MAKE} "$@" solinas64_2e401m31_11limbs.json ../solinas64_2e401m31_11limbs/
-${MAKE} "$@" solinas64_2e401m31_12limbs.json ../solinas64_2e401m31_12limbs/
-${MAKE} "$@" solinas64_2e401m31_13limbs.json ../solinas64_2e401m31_13limbs/
+${MAKE} "$@" montgomery32_2e413m21_13limbs.json ../montgomery32_2e413m21_13limbs/
+${MAKE} "$@" montgomery64_2e413m21_7limbs.json ../montgomery64_2e413m21_7limbs/
 ${MAKE} "$@" solinas32_2e413m21_16limbs.json ../solinas32_2e413m21_16limbs/
 ${MAKE} "$@" solinas32_2e413m21_17limbs.json ../solinas32_2e413m21_17limbs/
-${MAKE} "$@" solinas32_2e413m21_18limbs.json ../solinas32_2e413m21_18limbs/
-${MAKE} "$@" solinas32_2e413m21_19limbs.json ../solinas32_2e413m21_19limbs/
-${MAKE} "$@" solinas32_2e413m21_20limbs.json ../solinas32_2e413m21_20limbs/
-${MAKE} "$@" solinas32_2e413m21_21limbs.json ../solinas32_2e413m21_21limbs/
-${MAKE} "$@" solinas32_2e413m21_22limbs.json ../solinas32_2e413m21_22limbs/
-${MAKE} "$@" solinas32_2e413m21_23limbs.json ../solinas32_2e413m21_23limbs/
-${MAKE} "$@" solinas32_2e413m21_24limbs.json ../solinas32_2e413m21_24limbs/
-${MAKE} "$@" solinas32_2e413m21_25limbs.json ../solinas32_2e413m21_25limbs/
-${MAKE} "$@" solinas32_2e413m21_26limbs.json ../solinas32_2e413m21_26limbs/
-${MAKE} "$@" solinas32_2e413m21_27limbs.json ../solinas32_2e413m21_27limbs/
-${MAKE} "$@" solinas32_2e413m21_28limbs.json ../solinas32_2e413m21_28limbs/
-${MAKE} "$@" solinas32_2e413m21_29limbs.json ../solinas32_2e413m21_29limbs/
-${MAKE} "$@" solinas32_2e413m21_30limbs.json ../solinas32_2e413m21_30limbs/
-${MAKE} "$@" solinas32_2e413m21_31limbs.json ../solinas32_2e413m21_31limbs/
 ${MAKE} "$@" solinas64_2e413m21_7limbs.json ../solinas64_2e413m21_7limbs/
 ${MAKE} "$@" solinas64_2e413m21_8limbs.json ../solinas64_2e413m21_8limbs/
-${MAKE} "$@" solinas64_2e413m21_9limbs.json ../solinas64_2e413m21_9limbs/
-${MAKE} "$@" solinas64_2e413m21_10limbs.json ../solinas64_2e413m21_10limbs/
-${MAKE} "$@" solinas64_2e413m21_11limbs.json ../solinas64_2e413m21_11limbs/
-${MAKE} "$@" solinas64_2e413m21_12limbs.json ../solinas64_2e413m21_12limbs/
-${MAKE} "$@" solinas64_2e413m21_13limbs.json ../solinas64_2e413m21_13limbs/
+${MAKE} "$@" montgomery32_2e414m17_13limbs.json ../montgomery32_2e414m17_13limbs/
+${MAKE} "$@" montgomery64_2e414m17_7limbs.json ../montgomery64_2e414m17_7limbs/
 ${MAKE} "$@" solinas32_2e414m17_16limbs.json ../solinas32_2e414m17_16limbs/
 ${MAKE} "$@" solinas32_2e414m17_17limbs.json ../solinas32_2e414m17_17limbs/
-${MAKE} "$@" solinas32_2e414m17_18limbs.json ../solinas32_2e414m17_18limbs/
-${MAKE} "$@" solinas32_2e414m17_19limbs.json ../solinas32_2e414m17_19limbs/
-${MAKE} "$@" solinas32_2e414m17_20limbs.json ../solinas32_2e414m17_20limbs/
-${MAKE} "$@" solinas32_2e414m17_21limbs.json ../solinas32_2e414m17_21limbs/
-${MAKE} "$@" solinas32_2e414m17_22limbs.json ../solinas32_2e414m17_22limbs/
-${MAKE} "$@" solinas32_2e414m17_23limbs.json ../solinas32_2e414m17_23limbs/
-${MAKE} "$@" solinas32_2e414m17_24limbs.json ../solinas32_2e414m17_24limbs/
-${MAKE} "$@" solinas32_2e414m17_25limbs.json ../solinas32_2e414m17_25limbs/
-${MAKE} "$@" solinas32_2e414m17_26limbs.json ../solinas32_2e414m17_26limbs/
-${MAKE} "$@" solinas32_2e414m17_27limbs.json ../solinas32_2e414m17_27limbs/
-${MAKE} "$@" solinas32_2e414m17_28limbs.json ../solinas32_2e414m17_28limbs/
-${MAKE} "$@" solinas32_2e414m17_29limbs.json ../solinas32_2e414m17_29limbs/
-${MAKE} "$@" solinas32_2e414m17_30limbs.json ../solinas32_2e414m17_30limbs/
-${MAKE} "$@" solinas32_2e414m17_31limbs.json ../solinas32_2e414m17_31limbs/
 ${MAKE} "$@" solinas64_2e414m17_8limbs.json ../solinas64_2e414m17_8limbs/
 ${MAKE} "$@" solinas64_2e414m17_9limbs.json ../solinas64_2e414m17_9limbs/
-${MAKE} "$@" solinas64_2e414m17_10limbs.json ../solinas64_2e414m17_10limbs/
-${MAKE} "$@" solinas64_2e414m17_11limbs.json ../solinas64_2e414m17_11limbs/
-${MAKE} "$@" solinas64_2e414m17_12limbs.json ../solinas64_2e414m17_12limbs/
-${MAKE} "$@" solinas64_2e414m17_13limbs.json ../solinas64_2e414m17_13limbs/
-${MAKE} "$@" solinas64_2e414m17_14limbs.json ../solinas64_2e414m17_14limbs/
-${MAKE} "$@" solinas64_2e414m17_15limbs.json ../solinas64_2e414m17_15limbs/
+${MAKE} "$@" montgomery32_2e444m17_14limbs.json ../montgomery32_2e444m17_14limbs/
+${MAKE} "$@" montgomery64_2e444m17_7limbs.json ../montgomery64_2e444m17_7limbs/
 ${MAKE} "$@" solinas32_2e444m17_17limbs.json ../solinas32_2e444m17_17limbs/
 ${MAKE} "$@" solinas32_2e444m17_18limbs.json ../solinas32_2e444m17_18limbs/
-${MAKE} "$@" solinas32_2e444m17_19limbs.json ../solinas32_2e444m17_19limbs/
-${MAKE} "$@" solinas32_2e444m17_20limbs.json ../solinas32_2e444m17_20limbs/
-${MAKE} "$@" solinas32_2e444m17_21limbs.json ../solinas32_2e444m17_21limbs/
-${MAKE} "$@" solinas32_2e444m17_22limbs.json ../solinas32_2e444m17_22limbs/
-${MAKE} "$@" solinas32_2e444m17_23limbs.json ../solinas32_2e444m17_23limbs/
-${MAKE} "$@" solinas32_2e444m17_24limbs.json ../solinas32_2e444m17_24limbs/
-${MAKE} "$@" solinas32_2e444m17_25limbs.json ../solinas32_2e444m17_25limbs/
-${MAKE} "$@" solinas32_2e444m17_26limbs.json ../solinas32_2e444m17_26limbs/
-${MAKE} "$@" solinas32_2e444m17_27limbs.json ../solinas32_2e444m17_27limbs/
-${MAKE} "$@" solinas32_2e444m17_28limbs.json ../solinas32_2e444m17_28limbs/
-${MAKE} "$@" solinas32_2e444m17_29limbs.json ../solinas32_2e444m17_29limbs/
-${MAKE} "$@" solinas32_2e444m17_30limbs.json ../solinas32_2e444m17_30limbs/
-${MAKE} "$@" solinas32_2e444m17_31limbs.json ../solinas32_2e444m17_31limbs/
-${MAKE} "$@" solinas32_2e444m17_32limbs.json ../solinas32_2e444m17_32limbs/
-${MAKE} "$@" solinas32_2e444m17_33limbs.json ../solinas32_2e444m17_33limbs/
 ${MAKE} "$@" solinas64_2e444m17_8limbs.json ../solinas64_2e444m17_8limbs/
 ${MAKE} "$@" solinas64_2e444m17_9limbs.json ../solinas64_2e444m17_9limbs/
-${MAKE} "$@" solinas64_2e444m17_10limbs.json ../solinas64_2e444m17_10limbs/
-${MAKE} "$@" solinas64_2e444m17_11limbs.json ../solinas64_2e444m17_11limbs/
-${MAKE} "$@" solinas64_2e444m17_12limbs.json ../solinas64_2e444m17_12limbs/
-${MAKE} "$@" solinas64_2e444m17_13limbs.json ../solinas64_2e444m17_13limbs/
-${MAKE} "$@" solinas64_2e444m17_14limbs.json ../solinas64_2e444m17_14limbs/
-${MAKE} "$@" solinas64_2e444m17_15limbs.json ../solinas64_2e444m17_15limbs/
-${MAKE} "$@" solinas32_2e452m3_16limbs.json ../solinas32_2e452m3_16limbs/
+${MAKE} "$@" montgomery32_2e452m3_15limbs.json ../montgomery32_2e452m3_15limbs/
+${MAKE} "$@" montgomery64_2e452m3_8limbs.json ../montgomery64_2e452m3_8limbs/
 ${MAKE} "$@" solinas32_2e452m3_17limbs.json ../solinas32_2e452m3_17limbs/
 ${MAKE} "$@" solinas32_2e452m3_18limbs.json ../solinas32_2e452m3_18limbs/
-${MAKE} "$@" solinas32_2e452m3_19limbs.json ../solinas32_2e452m3_19limbs/
-${MAKE} "$@" solinas32_2e452m3_20limbs.json ../solinas32_2e452m3_20limbs/
-${MAKE} "$@" solinas32_2e452m3_21limbs.json ../solinas32_2e452m3_21limbs/
-${MAKE} "$@" solinas32_2e452m3_22limbs.json ../solinas32_2e452m3_22limbs/
-${MAKE} "$@" solinas32_2e452m3_23limbs.json ../solinas32_2e452m3_23limbs/
-${MAKE} "$@" solinas32_2e452m3_24limbs.json ../solinas32_2e452m3_24limbs/
-${MAKE} "$@" solinas32_2e452m3_25limbs.json ../solinas32_2e452m3_25limbs/
-${MAKE} "$@" solinas32_2e452m3_26limbs.json ../solinas32_2e452m3_26limbs/
-${MAKE} "$@" solinas32_2e452m3_27limbs.json ../solinas32_2e452m3_27limbs/
-${MAKE} "$@" solinas32_2e452m3_28limbs.json ../solinas32_2e452m3_28limbs/
-${MAKE} "$@" solinas32_2e452m3_29limbs.json ../solinas32_2e452m3_29limbs/
-${MAKE} "$@" solinas32_2e452m3_30limbs.json ../solinas32_2e452m3_30limbs/
-${MAKE} "$@" solinas32_2e452m3_31limbs.json ../solinas32_2e452m3_31limbs/
 ${MAKE} "$@" solinas64_2e452m3_8limbs.json ../solinas64_2e452m3_8limbs/
 ${MAKE} "$@" solinas64_2e452m3_9limbs.json ../solinas64_2e452m3_9limbs/
-${MAKE} "$@" solinas64_2e452m3_10limbs.json ../solinas64_2e452m3_10limbs/
-${MAKE} "$@" solinas64_2e452m3_11limbs.json ../solinas64_2e452m3_11limbs/
-${MAKE} "$@" solinas64_2e452m3_12limbs.json ../solinas64_2e452m3_12limbs/
-${MAKE} "$@" solinas64_2e452m3_13limbs.json ../solinas64_2e452m3_13limbs/
-${MAKE} "$@" solinas64_2e452m3_14limbs.json ../solinas64_2e452m3_14limbs/
-${MAKE} "$@" solinas64_2e452m3_15limbs.json ../solinas64_2e452m3_15limbs/
+${MAKE} "$@" montgomery32_2e468m17_15limbs.json ../montgomery32_2e468m17_15limbs/
+${MAKE} "$@" montgomery64_2e468m17_8limbs.json ../montgomery64_2e468m17_8limbs/
 ${MAKE} "$@" solinas32_2e468m17_18limbs.json ../solinas32_2e468m17_18limbs/
 ${MAKE} "$@" solinas32_2e468m17_19limbs.json ../solinas32_2e468m17_19limbs/
-${MAKE} "$@" solinas32_2e468m17_20limbs.json ../solinas32_2e468m17_20limbs/
-${MAKE} "$@" solinas32_2e468m17_21limbs.json ../solinas32_2e468m17_21limbs/
-${MAKE} "$@" solinas32_2e468m17_22limbs.json ../solinas32_2e468m17_22limbs/
-${MAKE} "$@" solinas32_2e468m17_23limbs.json ../solinas32_2e468m17_23limbs/
-${MAKE} "$@" solinas32_2e468m17_24limbs.json ../solinas32_2e468m17_24limbs/
-${MAKE} "$@" solinas32_2e468m17_25limbs.json ../solinas32_2e468m17_25limbs/
-${MAKE} "$@" solinas32_2e468m17_26limbs.json ../solinas32_2e468m17_26limbs/
-${MAKE} "$@" solinas32_2e468m17_27limbs.json ../solinas32_2e468m17_27limbs/
-${MAKE} "$@" solinas32_2e468m17_28limbs.json ../solinas32_2e468m17_28limbs/
-${MAKE} "$@" solinas32_2e468m17_29limbs.json ../solinas32_2e468m17_29limbs/
-${MAKE} "$@" solinas32_2e468m17_30limbs.json ../solinas32_2e468m17_30limbs/
-${MAKE} "$@" solinas32_2e468m17_31limbs.json ../solinas32_2e468m17_31limbs/
-${MAKE} "$@" solinas32_2e468m17_32limbs.json ../solinas32_2e468m17_32limbs/
-${MAKE} "$@" solinas32_2e468m17_33limbs.json ../solinas32_2e468m17_33limbs/
-${MAKE} "$@" solinas32_2e468m17_34limbs.json ../solinas32_2e468m17_34limbs/
-${MAKE} "$@" solinas32_2e468m17_35limbs.json ../solinas32_2e468m17_35limbs/
 ${MAKE} "$@" solinas64_2e468m17_8limbs.json ../solinas64_2e468m17_8limbs/
 ${MAKE} "$@" solinas64_2e468m17_9limbs.json ../solinas64_2e468m17_9limbs/
-${MAKE} "$@" solinas64_2e468m17_10limbs.json ../solinas64_2e468m17_10limbs/
-${MAKE} "$@" solinas64_2e468m17_11limbs.json ../solinas64_2e468m17_11limbs/
-${MAKE} "$@" solinas64_2e468m17_12limbs.json ../solinas64_2e468m17_12limbs/
-${MAKE} "$@" solinas64_2e468m17_13limbs.json ../solinas64_2e468m17_13limbs/
-${MAKE} "$@" solinas64_2e468m17_14limbs.json ../solinas64_2e468m17_14limbs/
-${MAKE} "$@" solinas64_2e468m17_15limbs.json ../solinas64_2e468m17_15limbs/
+${MAKE} "$@" montgomery32_2e488m17_16limbs.json ../montgomery32_2e488m17_16limbs/
+${MAKE} "$@" montgomery64_2e488m17_8limbs.json ../montgomery64_2e488m17_8limbs/
 ${MAKE} "$@" solinas32_2e488m17_19limbs.json ../solinas32_2e488m17_19limbs/
 ${MAKE} "$@" solinas32_2e488m17_20limbs.json ../solinas32_2e488m17_20limbs/
-${MAKE} "$@" solinas32_2e488m17_21limbs.json ../solinas32_2e488m17_21limbs/
-${MAKE} "$@" solinas32_2e488m17_22limbs.json ../solinas32_2e488m17_22limbs/
-${MAKE} "$@" solinas32_2e488m17_23limbs.json ../solinas32_2e488m17_23limbs/
-${MAKE} "$@" solinas32_2e488m17_24limbs.json ../solinas32_2e488m17_24limbs/
-${MAKE} "$@" solinas32_2e488m17_25limbs.json ../solinas32_2e488m17_25limbs/
-${MAKE} "$@" solinas32_2e488m17_26limbs.json ../solinas32_2e488m17_26limbs/
-${MAKE} "$@" solinas32_2e488m17_27limbs.json ../solinas32_2e488m17_27limbs/
-${MAKE} "$@" solinas32_2e488m17_28limbs.json ../solinas32_2e488m17_28limbs/
-${MAKE} "$@" solinas32_2e488m17_29limbs.json ../solinas32_2e488m17_29limbs/
-${MAKE} "$@" solinas32_2e488m17_30limbs.json ../solinas32_2e488m17_30limbs/
-${MAKE} "$@" solinas32_2e488m17_31limbs.json ../solinas32_2e488m17_31limbs/
-${MAKE} "$@" solinas32_2e488m17_32limbs.json ../solinas32_2e488m17_32limbs/
-${MAKE} "$@" solinas32_2e488m17_33limbs.json ../solinas32_2e488m17_33limbs/
-${MAKE} "$@" solinas32_2e488m17_34limbs.json ../solinas32_2e488m17_34limbs/
-${MAKE} "$@" solinas32_2e488m17_35limbs.json ../solinas32_2e488m17_35limbs/
-${MAKE} "$@" solinas32_2e488m17_36limbs.json ../solinas32_2e488m17_36limbs/
-${MAKE} "$@" solinas32_2e488m17_37limbs.json ../solinas32_2e488m17_37limbs/
 ${MAKE} "$@" solinas64_2e488m17_9limbs.json ../solinas64_2e488m17_9limbs/
 ${MAKE} "$@" solinas64_2e488m17_10limbs.json ../solinas64_2e488m17_10limbs/
-${MAKE} "$@" solinas64_2e488m17_11limbs.json ../solinas64_2e488m17_11limbs/
-${MAKE} "$@" solinas64_2e488m17_12limbs.json ../solinas64_2e488m17_12limbs/
-${MAKE} "$@" solinas64_2e488m17_13limbs.json ../solinas64_2e488m17_13limbs/
-${MAKE} "$@" solinas64_2e488m17_14limbs.json ../solinas64_2e488m17_14limbs/
-${MAKE} "$@" solinas64_2e488m17_15limbs.json ../solinas64_2e488m17_15limbs/
-${MAKE} "$@" solinas64_2e488m17_16limbs.json ../solinas64_2e488m17_16limbs/
-${MAKE} "$@" solinas64_2e488m17_17limbs.json ../solinas64_2e488m17_17limbs/
+${MAKE} "$@" montgomery32_2e489m21_16limbs.json ../montgomery32_2e489m21_16limbs/
+${MAKE} "$@" montgomery64_2e489m21_8limbs.json ../montgomery64_2e489m21_8limbs/
 ${MAKE} "$@" solinas32_2e489m21_19limbs.json ../solinas32_2e489m21_19limbs/
 ${MAKE} "$@" solinas32_2e489m21_20limbs.json ../solinas32_2e489m21_20limbs/
-${MAKE} "$@" solinas32_2e489m21_21limbs.json ../solinas32_2e489m21_21limbs/
-${MAKE} "$@" solinas32_2e489m21_22limbs.json ../solinas32_2e489m21_22limbs/
-${MAKE} "$@" solinas32_2e489m21_23limbs.json ../solinas32_2e489m21_23limbs/
-${MAKE} "$@" solinas32_2e489m21_24limbs.json ../solinas32_2e489m21_24limbs/
-${MAKE} "$@" solinas32_2e489m21_25limbs.json ../solinas32_2e489m21_25limbs/
-${MAKE} "$@" solinas32_2e489m21_26limbs.json ../solinas32_2e489m21_26limbs/
-${MAKE} "$@" solinas32_2e489m21_27limbs.json ../solinas32_2e489m21_27limbs/
-${MAKE} "$@" solinas32_2e489m21_28limbs.json ../solinas32_2e489m21_28limbs/
-${MAKE} "$@" solinas32_2e489m21_29limbs.json ../solinas32_2e489m21_29limbs/
-${MAKE} "$@" solinas32_2e489m21_30limbs.json ../solinas32_2e489m21_30limbs/
-${MAKE} "$@" solinas32_2e489m21_31limbs.json ../solinas32_2e489m21_31limbs/
-${MAKE} "$@" solinas32_2e489m21_32limbs.json ../solinas32_2e489m21_32limbs/
-${MAKE} "$@" solinas32_2e489m21_33limbs.json ../solinas32_2e489m21_33limbs/
-${MAKE} "$@" solinas32_2e489m21_34limbs.json ../solinas32_2e489m21_34limbs/
-${MAKE} "$@" solinas32_2e489m21_35limbs.json ../solinas32_2e489m21_35limbs/
-${MAKE} "$@" solinas32_2e489m21_36limbs.json ../solinas32_2e489m21_36limbs/
-${MAKE} "$@" solinas32_2e489m21_37limbs.json ../solinas32_2e489m21_37limbs/
 ${MAKE} "$@" solinas64_2e489m21_9limbs.json ../solinas64_2e489m21_9limbs/
 ${MAKE} "$@" solinas64_2e489m21_10limbs.json ../solinas64_2e489m21_10limbs/
-${MAKE} "$@" solinas64_2e489m21_11limbs.json ../solinas64_2e489m21_11limbs/
-${MAKE} "$@" solinas64_2e489m21_12limbs.json ../solinas64_2e489m21_12limbs/
-${MAKE} "$@" solinas64_2e489m21_13limbs.json ../solinas64_2e489m21_13limbs/
-${MAKE} "$@" solinas64_2e489m21_14limbs.json ../solinas64_2e489m21_14limbs/
-${MAKE} "$@" solinas64_2e489m21_15limbs.json ../solinas64_2e489m21_15limbs/
-${MAKE} "$@" solinas64_2e489m21_16limbs.json ../solinas64_2e489m21_16limbs/
-${MAKE} "$@" solinas64_2e489m21_17limbs.json ../solinas64_2e489m21_17limbs/
-${MAKE} "$@" solinas32_2e495m31_19limbs.json ../solinas32_2e495m31_19limbs/
+${MAKE} "$@" montgomery32_2e495m31_16limbs.json ../montgomery32_2e495m31_16limbs/
+${MAKE} "$@" montgomery64_2e495m31_8limbs.json ../montgomery64_2e495m31_8limbs/
 ${MAKE} "$@" solinas32_2e495m31_20limbs.json ../solinas32_2e495m31_20limbs/
 ${MAKE} "$@" solinas32_2e495m31_21limbs.json ../solinas32_2e495m31_21limbs/
-${MAKE} "$@" solinas32_2e495m31_22limbs.json ../solinas32_2e495m31_22limbs/
-${MAKE} "$@" solinas32_2e495m31_23limbs.json ../solinas32_2e495m31_23limbs/
-${MAKE} "$@" solinas32_2e495m31_24limbs.json ../solinas32_2e495m31_24limbs/
-${MAKE} "$@" solinas32_2e495m31_25limbs.json ../solinas32_2e495m31_25limbs/
-${MAKE} "$@" solinas32_2e495m31_26limbs.json ../solinas32_2e495m31_26limbs/
-${MAKE} "$@" solinas32_2e495m31_27limbs.json ../solinas32_2e495m31_27limbs/
-${MAKE} "$@" solinas32_2e495m31_28limbs.json ../solinas32_2e495m31_28limbs/
-${MAKE} "$@" solinas32_2e495m31_29limbs.json ../solinas32_2e495m31_29limbs/
-${MAKE} "$@" solinas32_2e495m31_30limbs.json ../solinas32_2e495m31_30limbs/
-${MAKE} "$@" solinas32_2e495m31_31limbs.json ../solinas32_2e495m31_31limbs/
-${MAKE} "$@" solinas32_2e495m31_32limbs.json ../solinas32_2e495m31_32limbs/
-${MAKE} "$@" solinas32_2e495m31_33limbs.json ../solinas32_2e495m31_33limbs/
-${MAKE} "$@" solinas32_2e495m31_34limbs.json ../solinas32_2e495m31_34limbs/
-${MAKE} "$@" solinas32_2e495m31_35limbs.json ../solinas32_2e495m31_35limbs/
-${MAKE} "$@" solinas32_2e495m31_36limbs.json ../solinas32_2e495m31_36limbs/
-${MAKE} "$@" solinas32_2e495m31_37limbs.json ../solinas32_2e495m31_37limbs/
 ${MAKE} "$@" solinas64_2e495m31_9limbs.json ../solinas64_2e495m31_9limbs/
 ${MAKE} "$@" solinas64_2e495m31_10limbs.json ../solinas64_2e495m31_10limbs/
-${MAKE} "$@" solinas64_2e495m31_11limbs.json ../solinas64_2e495m31_11limbs/
-${MAKE} "$@" solinas64_2e495m31_12limbs.json ../solinas64_2e495m31_12limbs/
-${MAKE} "$@" solinas64_2e495m31_13limbs.json ../solinas64_2e495m31_13limbs/
-${MAKE} "$@" solinas64_2e495m31_14limbs.json ../solinas64_2e495m31_14limbs/
-${MAKE} "$@" solinas64_2e495m31_15limbs.json ../solinas64_2e495m31_15limbs/
-${MAKE} "$@" solinas64_2e495m31_16limbs.json ../solinas64_2e495m31_16limbs/
-${MAKE} "$@" solinas64_2e495m31_17limbs.json ../solinas64_2e495m31_17limbs/
+${MAKE} "$@" montgomery32_2e511m481_16limbs.json ../montgomery32_2e511m481_16limbs/
+${MAKE} "$@" montgomery64_2e511m481_8limbs.json ../montgomery64_2e511m481_8limbs/
 ${MAKE} "$@" solinas32_2e511m481_23limbs.json ../solinas32_2e511m481_23limbs/
 ${MAKE} "$@" solinas32_2e511m481_24limbs.json ../solinas32_2e511m481_24limbs/
-${MAKE} "$@" solinas32_2e511m481_25limbs.json ../solinas32_2e511m481_25limbs/
-${MAKE} "$@" solinas32_2e511m481_26limbs.json ../solinas32_2e511m481_26limbs/
-${MAKE} "$@" solinas32_2e511m481_27limbs.json ../solinas32_2e511m481_27limbs/
-${MAKE} "$@" solinas32_2e511m481_28limbs.json ../solinas32_2e511m481_28limbs/
-${MAKE} "$@" solinas32_2e511m481_29limbs.json ../solinas32_2e511m481_29limbs/
-${MAKE} "$@" solinas32_2e511m481_30limbs.json ../solinas32_2e511m481_30limbs/
-${MAKE} "$@" solinas32_2e511m481_31limbs.json ../solinas32_2e511m481_31limbs/
-${MAKE} "$@" solinas32_2e511m481_32limbs.json ../solinas32_2e511m481_32limbs/
-${MAKE} "$@" solinas32_2e511m481_33limbs.json ../solinas32_2e511m481_33limbs/
-${MAKE} "$@" solinas32_2e511m481_34limbs.json ../solinas32_2e511m481_34limbs/
-${MAKE} "$@" solinas32_2e511m481_35limbs.json ../solinas32_2e511m481_35limbs/
-${MAKE} "$@" solinas32_2e511m481_36limbs.json ../solinas32_2e511m481_36limbs/
-${MAKE} "$@" solinas32_2e511m481_37limbs.json ../solinas32_2e511m481_37limbs/
-${MAKE} "$@" solinas32_2e511m481_38limbs.json ../solinas32_2e511m481_38limbs/
-${MAKE} "$@" solinas32_2e511m481_39limbs.json ../solinas32_2e511m481_39limbs/
-${MAKE} "$@" solinas32_2e511m481_40limbs.json ../solinas32_2e511m481_40limbs/
-${MAKE} "$@" solinas32_2e511m481_41limbs.json ../solinas32_2e511m481_41limbs/
-${MAKE} "$@" solinas32_2e511m481_42limbs.json ../solinas32_2e511m481_42limbs/
-${MAKE} "$@" solinas32_2e511m481_43limbs.json ../solinas32_2e511m481_43limbs/
-${MAKE} "$@" solinas32_2e511m481_44limbs.json ../solinas32_2e511m481_44limbs/
-${MAKE} "$@" solinas32_2e511m481_45limbs.json ../solinas32_2e511m481_45limbs/
 ${MAKE} "$@" solinas64_2e511m481_10limbs.json ../solinas64_2e511m481_10limbs/
 ${MAKE} "$@" solinas64_2e511m481_11limbs.json ../solinas64_2e511m481_11limbs/
-${MAKE} "$@" solinas64_2e511m481_12limbs.json ../solinas64_2e511m481_12limbs/
-${MAKE} "$@" solinas64_2e511m481_13limbs.json ../solinas64_2e511m481_13limbs/
-${MAKE} "$@" solinas64_2e511m481_14limbs.json ../solinas64_2e511m481_14limbs/
-${MAKE} "$@" solinas64_2e511m481_15limbs.json ../solinas64_2e511m481_15limbs/
-${MAKE} "$@" solinas64_2e511m481_16limbs.json ../solinas64_2e511m481_16limbs/
-${MAKE} "$@" solinas64_2e511m481_17limbs.json ../solinas64_2e511m481_17limbs/
-${MAKE} "$@" solinas64_2e511m481_18limbs.json ../solinas64_2e511m481_18limbs/
-${MAKE} "$@" solinas64_2e511m481_19limbs.json ../solinas64_2e511m481_19limbs/
+${MAKE} "$@" montgomery32_2e511m187_16limbs.json ../montgomery32_2e511m187_16limbs/
+${MAKE} "$@" montgomery64_2e511m187_8limbs.json ../montgomery64_2e511m187_8limbs/
 ${MAKE} "$@" solinas32_2e511m187_22limbs.json ../solinas32_2e511m187_22limbs/
 ${MAKE} "$@" solinas32_2e511m187_23limbs.json ../solinas32_2e511m187_23limbs/
-${MAKE} "$@" solinas32_2e511m187_24limbs.json ../solinas32_2e511m187_24limbs/
-${MAKE} "$@" solinas32_2e511m187_25limbs.json ../solinas32_2e511m187_25limbs/
-${MAKE} "$@" solinas32_2e511m187_26limbs.json ../solinas32_2e511m187_26limbs/
-${MAKE} "$@" solinas32_2e511m187_27limbs.json ../solinas32_2e511m187_27limbs/
-${MAKE} "$@" solinas32_2e511m187_28limbs.json ../solinas32_2e511m187_28limbs/
-${MAKE} "$@" solinas32_2e511m187_29limbs.json ../solinas32_2e511m187_29limbs/
-${MAKE} "$@" solinas32_2e511m187_30limbs.json ../solinas32_2e511m187_30limbs/
-${MAKE} "$@" solinas32_2e511m187_31limbs.json ../solinas32_2e511m187_31limbs/
-${MAKE} "$@" solinas32_2e511m187_32limbs.json ../solinas32_2e511m187_32limbs/
-${MAKE} "$@" solinas32_2e511m187_33limbs.json ../solinas32_2e511m187_33limbs/
-${MAKE} "$@" solinas32_2e511m187_34limbs.json ../solinas32_2e511m187_34limbs/
-${MAKE} "$@" solinas32_2e511m187_35limbs.json ../solinas32_2e511m187_35limbs/
-${MAKE} "$@" solinas32_2e511m187_36limbs.json ../solinas32_2e511m187_36limbs/
-${MAKE} "$@" solinas32_2e511m187_37limbs.json ../solinas32_2e511m187_37limbs/
-${MAKE} "$@" solinas32_2e511m187_38limbs.json ../solinas32_2e511m187_38limbs/
-${MAKE} "$@" solinas32_2e511m187_39limbs.json ../solinas32_2e511m187_39limbs/
-${MAKE} "$@" solinas32_2e511m187_40limbs.json ../solinas32_2e511m187_40limbs/
-${MAKE} "$@" solinas32_2e511m187_41limbs.json ../solinas32_2e511m187_41limbs/
-${MAKE} "$@" solinas32_2e511m187_42limbs.json ../solinas32_2e511m187_42limbs/
-${MAKE} "$@" solinas32_2e511m187_43limbs.json ../solinas32_2e511m187_43limbs/
 ${MAKE} "$@" solinas64_2e511m187_10limbs.json ../solinas64_2e511m187_10limbs/
 ${MAKE} "$@" solinas64_2e511m187_11limbs.json ../solinas64_2e511m187_11limbs/
-${MAKE} "$@" solinas64_2e511m187_12limbs.json ../solinas64_2e511m187_12limbs/
-${MAKE} "$@" solinas64_2e511m187_13limbs.json ../solinas64_2e511m187_13limbs/
-${MAKE} "$@" solinas64_2e511m187_14limbs.json ../solinas64_2e511m187_14limbs/
-${MAKE} "$@" solinas64_2e511m187_15limbs.json ../solinas64_2e511m187_15limbs/
-${MAKE} "$@" solinas64_2e511m187_16limbs.json ../solinas64_2e511m187_16limbs/
-${MAKE} "$@" solinas64_2e511m187_17limbs.json ../solinas64_2e511m187_17limbs/
-${MAKE} "$@" solinas64_2e511m187_18limbs.json ../solinas64_2e511m187_18limbs/
-${MAKE} "$@" solinas64_2e511m187_19limbs.json ../solinas64_2e511m187_19limbs/
+${MAKE} "$@" montgomery32_2e512m569_16limbs.json ../montgomery32_2e512m569_16limbs/
+${MAKE} "$@" montgomery64_2e512m569_8limbs.json ../montgomery64_2e512m569_8limbs/
 ${MAKE} "$@" solinas32_2e512m569_24limbs.json ../solinas32_2e512m569_24limbs/
 ${MAKE} "$@" solinas32_2e512m569_25limbs.json ../solinas32_2e512m569_25limbs/
-${MAKE} "$@" solinas32_2e512m569_26limbs.json ../solinas32_2e512m569_26limbs/
-${MAKE} "$@" solinas32_2e512m569_27limbs.json ../solinas32_2e512m569_27limbs/
-${MAKE} "$@" solinas32_2e512m569_28limbs.json ../solinas32_2e512m569_28limbs/
-${MAKE} "$@" solinas32_2e512m569_29limbs.json ../solinas32_2e512m569_29limbs/
-${MAKE} "$@" solinas32_2e512m569_30limbs.json ../solinas32_2e512m569_30limbs/
-${MAKE} "$@" solinas32_2e512m569_31limbs.json ../solinas32_2e512m569_31limbs/
-${MAKE} "$@" solinas32_2e512m569_32limbs.json ../solinas32_2e512m569_32limbs/
-${MAKE} "$@" solinas32_2e512m569_33limbs.json ../solinas32_2e512m569_33limbs/
-${MAKE} "$@" solinas32_2e512m569_34limbs.json ../solinas32_2e512m569_34limbs/
-${MAKE} "$@" solinas32_2e512m569_35limbs.json ../solinas32_2e512m569_35limbs/
-${MAKE} "$@" solinas32_2e512m569_36limbs.json ../solinas32_2e512m569_36limbs/
-${MAKE} "$@" solinas32_2e512m569_37limbs.json ../solinas32_2e512m569_37limbs/
-${MAKE} "$@" solinas32_2e512m569_38limbs.json ../solinas32_2e512m569_38limbs/
-${MAKE} "$@" solinas32_2e512m569_39limbs.json ../solinas32_2e512m569_39limbs/
-${MAKE} "$@" solinas32_2e512m569_40limbs.json ../solinas32_2e512m569_40limbs/
-${MAKE} "$@" solinas32_2e512m569_41limbs.json ../solinas32_2e512m569_41limbs/
-${MAKE} "$@" solinas32_2e512m569_42limbs.json ../solinas32_2e512m569_42limbs/
-${MAKE} "$@" solinas32_2e512m569_43limbs.json ../solinas32_2e512m569_43limbs/
-${MAKE} "$@" solinas32_2e512m569_44limbs.json ../solinas32_2e512m569_44limbs/
-${MAKE} "$@" solinas32_2e512m569_45limbs.json ../solinas32_2e512m569_45limbs/
-${MAKE} "$@" solinas32_2e512m569_46limbs.json ../solinas32_2e512m569_46limbs/
-${MAKE} "$@" solinas32_2e512m569_47limbs.json ../solinas32_2e512m569_47limbs/
 ${MAKE} "$@" solinas64_2e512m569_10limbs.json ../solinas64_2e512m569_10limbs/
 ${MAKE} "$@" solinas64_2e512m569_11limbs.json ../solinas64_2e512m569_11limbs/
-${MAKE} "$@" solinas64_2e512m569_12limbs.json ../solinas64_2e512m569_12limbs/
-${MAKE} "$@" solinas64_2e512m569_13limbs.json ../solinas64_2e512m569_13limbs/
-${MAKE} "$@" solinas64_2e512m569_14limbs.json ../solinas64_2e512m569_14limbs/
-${MAKE} "$@" solinas64_2e512m569_15limbs.json ../solinas64_2e512m569_15limbs/
-${MAKE} "$@" solinas64_2e512m569_16limbs.json ../solinas64_2e512m569_16limbs/
-${MAKE} "$@" solinas64_2e512m569_17limbs.json ../solinas64_2e512m569_17limbs/
-${MAKE} "$@" solinas64_2e512m569_18limbs.json ../solinas64_2e512m569_18limbs/
-${MAKE} "$@" solinas64_2e512m569_19limbs.json ../solinas64_2e512m569_19limbs/
-${MAKE} "$@" solinas32_2e521m1_18limbs.json ../solinas32_2e521m1_18limbs/
+${MAKE} "$@" montgomery32_2e521m1_17limbs.json ../montgomery32_2e521m1_17limbs/
+${MAKE} "$@" montgomery64_2e521m1_9limbs.json ../montgomery64_2e521m1_9limbs/
 ${MAKE} "$@" solinas32_2e521m1_19limbs.json ../solinas32_2e521m1_19limbs/
 ${MAKE} "$@" solinas32_2e521m1_20limbs.json ../solinas32_2e521m1_20limbs/
-${MAKE} "$@" solinas32_2e521m1_21limbs.json ../solinas32_2e521m1_21limbs/
-${MAKE} "$@" solinas32_2e521m1_22limbs.json ../solinas32_2e521m1_22limbs/
-${MAKE} "$@" solinas32_2e521m1_23limbs.json ../solinas32_2e521m1_23limbs/
-${MAKE} "$@" solinas32_2e521m1_24limbs.json ../solinas32_2e521m1_24limbs/
-${MAKE} "$@" solinas32_2e521m1_25limbs.json ../solinas32_2e521m1_25limbs/
-${MAKE} "$@" solinas32_2e521m1_26limbs.json ../solinas32_2e521m1_26limbs/
-${MAKE} "$@" solinas32_2e521m1_27limbs.json ../solinas32_2e521m1_27limbs/
-${MAKE} "$@" solinas32_2e521m1_28limbs.json ../solinas32_2e521m1_28limbs/
-${MAKE} "$@" solinas32_2e521m1_29limbs.json ../solinas32_2e521m1_29limbs/
-${MAKE} "$@" solinas32_2e521m1_30limbs.json ../solinas32_2e521m1_30limbs/
-${MAKE} "$@" solinas32_2e521m1_31limbs.json ../solinas32_2e521m1_31limbs/
-${MAKE} "$@" solinas32_2e521m1_32limbs.json ../solinas32_2e521m1_32limbs/
-${MAKE} "$@" solinas32_2e521m1_33limbs.json ../solinas32_2e521m1_33limbs/
 ${MAKE} "$@" solinas64_2e521m1_9limbs.json ../solinas64_2e521m1_9limbs/
 ${MAKE} "$@" solinas64_2e521m1_10limbs.json ../solinas64_2e521m1_10limbs/
-${MAKE} "$@" solinas64_2e521m1_11limbs.json ../solinas64_2e521m1_11limbs/
-${MAKE} "$@" solinas64_2e521m1_12limbs.json ../solinas64_2e521m1_12limbs/
-${MAKE} "$@" solinas64_2e521m1_13limbs.json ../solinas64_2e521m1_13limbs/
-${MAKE} "$@" solinas64_2e521m1_14limbs.json ../solinas64_2e521m1_14limbs/
-${MAKE} "$@" solinas64_2e521m1_15limbs.json ../solinas64_2e521m1_15limbs/
-${MAKE} "$@" solinas64_2e521m1_16limbs.json ../solinas64_2e521m1_16limbs/
-${MAKE} "$@" solinas64_2e521m1_17limbs.json ../solinas64_2e521m1_17limbs/
-${MAKE} "$@" solinas32_2e255m2e4m2e1m1_10limbs.json ../solinas32_2e255m2e4m2e1m1_10limbs/
-${MAKE} "$@" solinas32_2e255m2e4m2e1m1_11limbs.json ../solinas32_2e255m2e4m2e1m1_11limbs/
-${MAKE} "$@" solinas32_2e255m2e4m2e1m1_12limbs.json ../solinas32_2e255m2e4m2e1m1_12limbs/
-${MAKE} "$@" solinas32_2e255m2e4m2e1m1_13limbs.json ../solinas32_2e255m2e4m2e1m1_13limbs/
-${MAKE} "$@" solinas32_2e255m2e4m2e1m1_14limbs.json ../solinas32_2e255m2e4m2e1m1_14limbs/
-${MAKE} "$@" solinas32_2e255m2e4m2e1m1_15limbs.json ../solinas32_2e255m2e4m2e1m1_15limbs/
-${MAKE} "$@" solinas64_2e255m2e4m2e1m1_5limbs.json ../solinas64_2e255m2e4m2e1m1_5limbs/
-${MAKE} "$@" solinas64_2e255m2e4m2e1m1_6limbs.json ../solinas64_2e255m2e4m2e1m1_6limbs/
-${MAKE} "$@" solinas64_2e255m2e4m2e1m1_7limbs.json ../solinas64_2e255m2e4m2e1m1_7limbs/
-${MAKE} "$@" solinas64_2e256m2e32m977_6limbs.json ../solinas64_2e256m2e32m977_6limbs/
-${MAKE} "$@" solinas64_2e256m2e32m977_7limbs.json ../solinas64_2e256m2e32m977_7limbs/
-${MAKE} "$@" solinas64_2e256m2e32m977_8limbs.json ../solinas64_2e256m2e32m977_8limbs/
-${MAKE} "$@" solinas64_2e256m2e32m977_9limbs.json ../solinas64_2e256m2e32m977_9limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_20limbs.json ../solinas32_2e448m2e224m1_20limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_22limbs.json ../solinas32_2e448m2e224m1_22limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_23limbs.json ../solinas32_2e448m2e224m1_23limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_24limbs.json ../solinas32_2e448m2e224m1_24limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_25limbs.json ../solinas32_2e448m2e224m1_25limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_26limbs.json ../solinas32_2e448m2e224m1_26limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_27limbs.json ../solinas32_2e448m2e224m1_27limbs/
-${MAKE} "$@" solinas64_2e448m2e224m1_10limbs.json ../solinas64_2e448m2e224m1_10limbs/
-${MAKE} "$@" solinas64_2e448m2e224m1_11limbs.json ../solinas64_2e448m2e224m1_11limbs/
-${MAKE} "$@" solinas64_2e448m2e224m1_12limbs.json ../solinas64_2e448m2e224m1_12limbs/
-${MAKE} "$@" solinas64_2e448m2e224m1_13limbs.json ../solinas64_2e448m2e224m1_13limbs/
-${MAKE} "$@" solinas32_2e224m2e96p1_12limbs.json ../solinas32_2e224m2e96p1_12limbs/
-${MAKE} "$@" solinas32_2e224m2e96p1_13limbs.json ../solinas32_2e224m2e96p1_13limbs/
-${MAKE} "$@" solinas64_2e224m2e96p1_5limbs.json ../solinas64_2e224m2e96p1_5limbs/
-${MAKE} "$@" solinas64_2e224m2e96p1_6limbs.json ../solinas64_2e224m2e96p1_6limbs/
-${MAKE} "$@" solinas64_2e224m2e96p1_7limbs.json ../solinas64_2e224m2e96p1_7limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_16limbs.json ../solinas32_2e448m2e224m1_16limbs/
-${MAKE} "$@" solinas32_2e448m2e224m1_18limbs.json ../solinas32_2e448m2e224m1_18limbs/
-${MAKE} "$@" solinas64_2e448m2e224m1_8limbs.json ../solinas64_2e448m2e224m1_8limbs/
-${MAKE} "$@" solinas32_2e224m2e96p1_10limbs.json ../solinas32_2e224m2e96p1_10limbs/
-${MAKE} "$@" solinas32_2e224m2e96p1_11limbs.json ../solinas32_2e224m2e96p1_11limbs/
+${MAKE} "$@" montgomery32_2e192m2e64m1_6limbs.json ../montgomery32_2e192m2e64m1_6limbs/
+${MAKE} "$@" montgomery64_2e192m2e64m1_3limbs.json ../montgomery64_2e192m2e64m1_3limbs/
+${MAKE} "$@" solinas32_2e192m2e64m1_9limbs.json ../solinas32_2e192m2e64m1_9limbs/
+${MAKE} "$@" solinas32_2e192m2e64m1_10limbs.json ../solinas32_2e192m2e64m1_10limbs/
+${MAKE} "$@" solinas64_2e192m2e64m1_4limbs.json ../solinas64_2e192m2e64m1_4limbs/
+${MAKE} "$@" solinas64_2e192m2e64m1_5limbs.json ../solinas64_2e192m2e64m1_5limbs/
+${MAKE} "$@" montgomery32_2e216m2e108m1_7limbs.json ../montgomery32_2e216m2e108m1_7limbs/
+${MAKE} "$@" montgomery64_2e216m2e108m1_4limbs.json ../montgomery64_2e216m2e108m1_4limbs/
 ${MAKE} "$@" solinas32_2e216m2e108m1_8limbs.json ../solinas32_2e216m2e108m1_8limbs/
 ${MAKE} "$@" solinas32_2e216m2e108m1_10limbs.json ../solinas32_2e216m2e108m1_10limbs/
+${MAKE} "$@" solinas64_2e216m2e108m1_4limbs.json ../solinas64_2e216m2e108m1_4limbs/
+${MAKE} "$@" solinas64_2e216m2e108m1_5limbs.json ../solinas64_2e216m2e108m1_5limbs/
+${MAKE} "$@" montgomery32_2e322m2e161m1_11limbs.json ../montgomery32_2e322m2e161m1_11limbs/
+${MAKE} "$@" montgomery64_2e322m2e161m1_6limbs.json ../montgomery64_2e322m2e161m1_6limbs/
 ${MAKE} "$@" solinas32_2e322m2e161m1_12limbs.json ../solinas32_2e322m2e161m1_12limbs/
 ${MAKE} "$@" solinas32_2e322m2e161m1_14limbs.json ../solinas32_2e322m2e161m1_14limbs/
 ${MAKE} "$@" solinas64_2e322m2e161m1_6limbs.json ../solinas64_2e322m2e161m1_6limbs/
 ${MAKE} "$@" solinas64_2e322m2e161m1_7limbs.json ../solinas64_2e322m2e161m1_7limbs/
+${MAKE} "$@" montgomery32_2e416m2e208m1_13limbs.json ../montgomery32_2e416m2e208m1_13limbs/
+${MAKE} "$@" montgomery64_2e416m2e208m1_7limbs.json ../montgomery64_2e416m2e208m1_7limbs/
 ${MAKE} "$@" solinas32_2e416m2e208m1_16limbs.json ../solinas32_2e416m2e208m1_16limbs/
 ${MAKE} "$@" solinas32_2e416m2e208m1_18limbs.json ../solinas32_2e416m2e208m1_18limbs/
 ${MAKE} "$@" solinas64_2e416m2e208m1_8limbs.json ../solinas64_2e416m2e208m1_8limbs/
 ${MAKE} "$@" solinas64_2e416m2e208m1_9limbs.json ../solinas64_2e416m2e208m1_9limbs/
+${MAKE} "$@" montgomery32_2e448m2e224m1_14limbs.json ../montgomery32_2e448m2e224m1_14limbs/
+${MAKE} "$@" montgomery64_2e448m2e224m1_7limbs.json ../montgomery64_2e448m2e224m1_7limbs/
+${MAKE} "$@" solinas32_2e448m2e224m1_16limbs.json ../solinas32_2e448m2e224m1_16limbs/
+${MAKE} "$@" solinas32_2e448m2e224m1_18limbs.json ../solinas32_2e448m2e224m1_18limbs/
+${MAKE} "$@" solinas64_2e448m2e224m1_8limbs.json ../solinas64_2e448m2e224m1_8limbs/
+${MAKE} "$@" solinas64_2e448m2e224m1_10limbs.json ../solinas64_2e448m2e224m1_10limbs/
+${MAKE} "$@" montgomery32_2e450m2e225m1_15limbs.json ../montgomery32_2e450m2e225m1_15limbs/
+${MAKE} "$@" montgomery64_2e450m2e225m1_8limbs.json ../montgomery64_2e450m2e225m1_8limbs/
 ${MAKE} "$@" solinas32_2e450m2e225m1_18limbs.json ../solinas32_2e450m2e225m1_18limbs/
 ${MAKE} "$@" solinas32_2e450m2e225m1_20limbs.json ../solinas32_2e450m2e225m1_20limbs/
 ${MAKE} "$@" solinas64_2e450m2e225m1_8limbs.json ../solinas64_2e450m2e225m1_8limbs/
 ${MAKE} "$@" solinas64_2e450m2e225m1_10limbs.json ../solinas64_2e450m2e225m1_10limbs/
+${MAKE} "$@" montgomery32_2e480m2e240m1_15limbs.json ../montgomery32_2e480m2e240m1_15limbs/
+${MAKE} "$@" montgomery64_2e480m2e240m1_8limbs.json ../montgomery64_2e480m2e240m1_8limbs/
 ${MAKE} "$@" solinas32_2e480m2e240m1_18limbs.json ../solinas32_2e480m2e240m1_18limbs/
 ${MAKE} "$@" solinas32_2e480m2e240m1_20limbs.json ../solinas32_2e480m2e240m1_20limbs/
 ${MAKE} "$@" solinas64_2e480m2e240m1_8limbs.json ../solinas64_2e480m2e240m1_8limbs/
 ${MAKE} "$@" solinas64_2e480m2e240m1_10limbs.json ../solinas64_2e480m2e240m1_10limbs/
-${MAKE} "$@" solinas32_2e384m2e128m2e96p2e32m1_18limbs.json ../solinas32_2e384m2e128m2e96p2e32m1_18limbs/
-${MAKE} "$@" solinas32_2e384m2e128m2e96p2e32m1_19limbs.json ../solinas32_2e384m2e128m2e96p2e32m1_19limbs/
-${MAKE} "$@" solinas32_2e192m2e64m1_9limbs.json ../solinas32_2e192m2e64m1_9limbs/
-${MAKE} "$@" solinas32_2e192m2e64m1_10limbs.json ../solinas32_2e192m2e64m1_10limbs/
-${MAKE} "$@" solinas64_2e216m2e108m1_4limbs.json ../solinas64_2e216m2e108m1_4limbs/
-${MAKE} "$@" solinas64_2e216m2e108m1_5limbs.json ../solinas64_2e216m2e108m1_5limbs/
+${MAKE} "$@" montgomery32_2e205m45x2e198m1_7limbs.json ../montgomery32_2e205m45x2e198m1_7limbs/
+${MAKE} "$@" montgomery64_2e205m45x2e198m1_4limbs.json ../montgomery64_2e205m45x2e198m1_4limbs/
+${MAKE} "$@" montgomery32_2e224m2e96p1_7limbs.json ../montgomery32_2e224m2e96p1_7limbs/
+${MAKE} "$@" montgomery64_2e224m2e96p1_4limbs.json ../montgomery64_2e224m2e96p1_4limbs/
+${MAKE} "$@" solinas32_2e224m2e96p1_10limbs.json ../solinas32_2e224m2e96p1_10limbs/
+${MAKE} "$@" solinas32_2e224m2e96p1_11limbs.json ../solinas32_2e224m2e96p1_11limbs/
+${MAKE} "$@" solinas64_2e224m2e96p1_5limbs.json ../solinas64_2e224m2e96p1_5limbs/
+${MAKE} "$@" solinas64_2e224m2e96p1_6limbs.json ../solinas64_2e224m2e96p1_6limbs/
+${MAKE} "$@" montgomery32_2e256m2e224p2e192p2e96m1_8limbs.json ../montgomery32_2e256m2e224p2e192p2e96m1_8limbs/
+${MAKE} "$@" montgomery64_2e256m2e224p2e192p2e96m1_4limbs.json ../montgomery64_2e256m2e224p2e192p2e96m1_4limbs/
 ${MAKE} "$@" solinas32_2e256m2e224p2e192p2e96m1_11limbs.json ../solinas32_2e256m2e224p2e192p2e96m1_11limbs/
 ${MAKE} "$@" solinas32_2e256m2e224p2e192p2e96m1_12limbs.json ../solinas32_2e256m2e224p2e192p2e96m1_12limbs/
 ${MAKE} "$@" solinas64_2e256m2e224p2e192p2e96m1_5limbs.json ../solinas64_2e256m2e224p2e192p2e96m1_5limbs/
 ${MAKE} "$@" solinas64_2e256m2e224p2e192p2e96m1_6limbs.json ../solinas64_2e256m2e224p2e192p2e96m1_6limbs/
+${MAKE} "$@" montgomery32_2e256m2e32m977_8limbs.json ../montgomery32_2e256m2e32m977_8limbs/
+${MAKE} "$@" montgomery64_2e256m2e32m977_4limbs.json ../montgomery64_2e256m2e32m977_4limbs/
 ${MAKE} "$@" solinas32_2e256m2e32m977_12limbs.json ../solinas32_2e256m2e32m977_12limbs/
 ${MAKE} "$@" solinas32_2e256m2e32m977_13limbs.json ../solinas32_2e256m2e32m977_13limbs/
-${MAKE} "$@" solinas64_2e384m2e128m2e96p2e32m1_9limbs.json ../solinas64_2e384m2e128m2e96p2e32m1_9limbs/
-${MAKE} "$@" solinas64_2e384m2e128m2e96p2e32m1_10limbs.json ../solinas64_2e384m2e128m2e96p2e32m1_10limbs/
+${MAKE} "$@" solinas64_2e256m2e32m977_6limbs.json ../solinas64_2e256m2e32m977_6limbs/
+${MAKE} "$@" solinas64_2e256m2e32m977_7limbs.json ../solinas64_2e256m2e32m977_7limbs/
 ${MAKE} "$@" montgomery32_2e256m4294968273_8limbs.json ../montgomery32_2e256m4294968273_8limbs/
 ${MAKE} "$@" montgomery64_2e256m4294968273_4limbs.json ../montgomery64_2e256m4294968273_4limbs/
 ${MAKE} "$@" solinas64_2e256m4294968273_9limbs.json ../solinas64_2e256m4294968273_9limbs/
 ${MAKE} "$@" solinas64_2e256m4294968273_10limbs.json ../solinas64_2e256m4294968273_10limbs/
+${MAKE} "$@" montgomery32_2e384m2e128m2e96p2e32m1_12limbs.json ../montgomery32_2e384m2e128m2e96p2e32m1_12limbs/
+${MAKE} "$@" montgomery64_2e384m2e128m2e96p2e32m1_6limbs.json ../montgomery64_2e384m2e128m2e96p2e32m1_6limbs/
+${MAKE} "$@" solinas32_2e384m2e128m2e96p2e32m1_18limbs.json ../solinas32_2e384m2e128m2e96p2e32m1_18limbs/
+${MAKE} "$@" solinas32_2e384m2e128m2e96p2e32m1_19limbs.json ../solinas32_2e384m2e128m2e96p2e32m1_19limbs/
+${MAKE} "$@" solinas64_2e384m2e128m2e96p2e32m1_9limbs.json ../solinas64_2e384m2e128m2e96p2e32m1_9limbs/
+${MAKE} "$@" solinas64_2e384m2e128m2e96p2e32m1_10limbs.json ../solinas64_2e384m2e128m2e96p2e32m1_10limbs/
+${MAKE} "$@" montgomery32_2e256m88x2e240m1_8limbs.json ../montgomery32_2e256m88x2e240m1_8limbs/
+${MAKE} "$@" montgomery64_2e256m88x2e240m1_4limbs.json ../montgomery64_2e256m88x2e240m1_4limbs/
+${MAKE} "$@" montgomery32_2e254m127x2e240m1_8limbs.json ../montgomery32_2e254m127x2e240m1_8limbs/
+${MAKE} "$@" montgomery64_2e254m127x2e240m1_4limbs.json ../montgomery64_2e254m127x2e240m1_4limbs/
+${MAKE} "$@" montgomery32_2e384m79x2e376m1_12limbs.json ../montgomery32_2e384m79x2e376m1_12limbs/
+${MAKE} "$@" montgomery64_2e384m79x2e376m1_6limbs.json ../montgomery64_2e384m79x2e376m1_6limbs/
+${MAKE} "$@" montgomery32_2e384m5x2e368m1_12limbs.json ../montgomery32_2e384m5x2e368m1_12limbs/
+${MAKE} "$@" montgomery64_2e384m5x2e368m1_6limbs.json ../montgomery64_2e384m5x2e368m1_6limbs/
+${MAKE} "$@" montgomery32_2e512m491x2e496m1_16limbs.json ../montgomery32_2e512m491x2e496m1_16limbs/
+${MAKE} "$@" montgomery64_2e512m491x2e496m1_8limbs.json ../montgomery64_2e512m491x2e496m1_8limbs/
+${MAKE} "$@" montgomery32_2e510m290x2e496m1_16limbs.json ../montgomery32_2e510m290x2e496m1_16limbs/
+${MAKE} "$@" montgomery64_2e510m290x2e496m1_8limbs.json ../montgomery64_2e510m290x2e496m1_8limbs/
diff --git a/src/Specific/CurveParameters/x2448_c64_karatsuba.json b/src/Specific/CurveParameters/x2448_c64_karatsuba.json
new file mode 100644
index 000000000..14357135e
--- /dev/null
+++ b/src/Specific/CurveParameters/x2448_c64_karatsuba.json
@@ -0,0 +1,12 @@
+{
+    "modulus"          : "2^448-2^224-1",
+    "base"             : "56",
+    "goldilocks"       : "true",
+    "sz"               : "8",
+    "bitwidth"         : "64",
+    "carry_chains"     : [[3, 7],
+			  [0, 4, 1, 5, 2, 6, 3, 7],
+			  [4, 0]],
+    "coef_div_modulus" : "2",
+    "operations"       : ["femul"]
+}