update remake-curves.sh and Makefile

11 files changed, 222 insertions, 1610 deletions

diff --git a/Makefile b/Makefile
index df193d7d3..dd2862194 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ update-_CoqProject::
 $(VOFILES): | coqprime
 
 # add files to this list to prevent them from being built by default
-UNMADE_VOFILES := src/Specific/X2555/C128/%.vo # x2555-c128 currently doesn't build
+UNMADE_VOFILES := 
 UNMADE_C_FILES := \
 	src/Specific/X25519/C64/fesub.c src/Specific/X25519/C64/feadd.c src/Specific/X25519/C64/fecarry.c \
 	src/Specific/X25519/C64/fesub.h src/Specific/X25519/C64/feadd.h src/Specific/X25519/C64/fecarry.h \
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"]
+}
diff --git a/src/Specific/X2555/C128/CurveParameters.v b/src/Specific/X2555/C128/CurveParameters.v
deleted file mode 100644
index 1171f7583..000000000
--- a/src/Specific/X2555/C128/CurveParameters.v
+++ /dev/null
@@ -1,39 +0,0 @@
-Require Import Crypto.Specific.Framework.RawCurveParameters.
-Require Import Crypto.Util.LetIn.
-
-(***
-Modulus : 2^255-5
-Base: 130
-***)
-
-Definition curve : CurveParameters :=
-  {|
-    sz := 3%nat;
-    base := 130;
-    bitwidth := 128;
-    s := 2^255;
-    c := [(1, 5)];
-    carry_chains := Some [seq 0 (pred 3); [0; 1]]%nat;
-
-    a24 := Some (121665 (* XXX TODO(andreser) FIXME?  Is this right for this curve? *));
-    coef_div_modulus := Some 2%nat;
-
-    goldilocks := None;
-    karatsuba := None;
-    montgomery := false;
-    freeze := Some false;
-    ladderstep := true;
-
-    mul_code := None;
-
-    square_code := None;
-
-    upper_bound_of_exponent_loose := None;
-    upper_bound_of_exponent_tight := None;
-    allowable_bit_widths := None;
-    freeze_extra_allowable_bit_widths := None;
-    modinv_fuel := None
-  |}.
-
-Ltac extra_prove_mul_eq _ := idtac.
-Ltac extra_prove_square_eq _ := idtac.
diff --git a/src/Specific/X2555/C128/Synthesis.v b/src/Specific/X2555/C128/Synthesis.v
deleted file mode 100644
index af7b8ae33..000000000
--- a/src/Specific/X2555/C128/Synthesis.v
+++ /dev/null
@@ -1,9 +0,0 @@
-Require Import Crypto.Specific.Framework.SynthesisFramework.
-Require Import Crypto.Specific.X2555.C128.CurveParameters.
-
-Module P <: PrePackage.
-  Definition package : Tag.Context.
-  Proof. make_Synthesis_package curve extra_prove_mul_eq extra_prove_square_eq. Defined.
-End P.
-
-Module Export S := PackageSynthesis P.
diff --git a/src/Specific/X2555/C128/ladderstep.v b/src/Specific/X2555/C128/ladderstep.v
deleted file mode 100644
index 16984403b..000000000
--- a/src/Specific/X2555/C128/ladderstep.v
+++ /dev/null
@@ -1,24 +0,0 @@
-Require Import Crypto.Arithmetic.Core.
-Require Import Crypto.Arithmetic.PrimeFieldTheorems.
-Require Import Crypto.Specific.Framework.ArithmeticSynthesis.Ladderstep.
-Require Import Crypto.Specific.X2555.C128.Synthesis.
-
-(* TODO : change this to field once field isomorphism happens *)
-Definition xzladderstep :
-  { xzladderstep : feW -> feW * feW -> feW * feW -> feW * feW * (feW * feW)
-  | forall x1 Q Q',
-      let xz := xzladderstep x1 Q Q' in
-      let eval := B.Positional.Fdecode wt in
-      feW_tight_bounded x1
-      -> feW_tight_bounded (fst Q) /\ feW_tight_bounded (snd Q)
-      -> feW_tight_bounded (fst Q') /\ feW_tight_bounded (snd Q')
-      -> ((feW_tight_bounded (fst (fst xz)) /\ feW_tight_bounded (snd (fst xz)))
-          /\ (feW_tight_bounded (fst (snd xz)) /\ feW_tight_bounded (snd (snd xz))))
-         /\ Tuple.map (n:=2) (Tuple.map (n:=2) phiW) xz = FMxzladderstep (m:=m) (eval (proj1_sig a24_sig)) (phiW x1) (Tuple.map (n:=2) phiW Q) (Tuple.map (n:=2) phiW Q') }.
-Proof.
-  Set Ltac Profiling.
-  synthesize_xzladderstep ().
-  Show Ltac Profile.
-Time Defined.
-
-Print Assumptions xzladderstep.
diff --git a/src/Specific/X2555/C128/ladderstepDisplay.log b/src/Specific/X2555/C128/ladderstepDisplay.log
deleted file mode 100644
index d6c2ec14d..000000000
--- a/src/Specific/X2555/C128/ladderstepDisplay.log
+++ /dev/null
@@ -1,214 +0,0 @@
-λ x x0 x1 x2 x3 : Synthesis.P.feW,
-let (a, b) := Interp-η
-(λ var : Syntax.base_type → Type,
- λ '(x11, x12, x10, (x17, x18, x16, (x21, x22, x20)), (x27, x28, x26, (x31, x32, x30)))%core,
- uint128_t x33 = x17 + x21;
- uint128_t x34 = x18 + x22;
- uint128_t x35 = x16 + x20;
- uint128_t x36 = 0x3ffffffffffffffffffffeL + x17 - x21;
- uint128_t x37 = 0x3ffffffffffffffffffffeL + x18 - x22;
- uint128_t x38 = 0x3ffffffffffffffffffff6L + x16 - x20;
- uint128_t x39 = x27 + x31;
- uint128_t x40 = x28 + x32;
- uint128_t x41 = x26 + x30;
- uint128_t x42 = 0x3ffffffffffffffffffffeL + x27 - x31;
- uint128_t x43 = 0x3ffffffffffffffffffffeL + x28 - x32;
- uint128_t x44 = 0x3ffffffffffffffffffff6L + x26 - x30;
- uint256_t x45 = (uint256_t) x41 * x36 + ((uint256_t) x40 * x37 + (uint256_t) x39 * x38);
- uint256_t x46 = (uint256_t) x41 * x37 + (uint256_t) x40 * x38 + 0x5 * ((uint256_t) x39 * x36);
- uint256_t x47 = (uint256_t) x41 * x38 + 0x5 * ((uint256_t) x40 * x36 + (uint256_t) x39 * x37);
- uint128_t x48 = (uint128_t) (x47 >> 0x55);
- uint128_t x49 = (uint128_t) x47 & 0x1fffffffffffffffffffffL;
- uint256_t x50 = x48 + x46;
- uint128_t x51 = (uint128_t) (x50 >> 0x55);
- uint128_t x52 = (uint128_t) x50 & 0x1fffffffffffffffffffffL;
- uint256_t x53 = x51 + x45;
- uint128_t x54 = (uint128_t) (x53 >> 0x55);
- uint128_t x55 = (uint128_t) x53 & 0x1fffffffffffffffffffffL;
- uint128_t x56 = x49 + 0x5 * x54;
- uint128_t x57 = x56 >> 0x55;
- uint128_t x58 = x56 & 0x1fffffffffffffffffffffL;
- uint128_t x59 = x57 + x52;
- uint128_t x60 = x59 >> 0x55;
- uint128_t x61 = x59 & 0x1fffffffffffffffffffffL;
- uint128_t x62 = x60 + x55;
- uint256_t x63 = (uint256_t) x35 * x42 + ((uint256_t) x34 * x43 + (uint256_t) x33 * x44);
- uint256_t x64 = (uint256_t) x35 * x43 + (uint256_t) x34 * x44 + 0x5 * ((uint256_t) x33 * x42);
- uint256_t x65 = (uint256_t) x35 * x44 + 0x5 * ((uint256_t) x34 * x42 + (uint256_t) x33 * x43);
- uint128_t x66 = (uint128_t) (x65 >> 0x55);
- uint128_t x67 = (uint128_t) x65 & 0x1fffffffffffffffffffffL;
- uint256_t x68 = x66 + x64;
- uint128_t x69 = (uint128_t) (x68 >> 0x55);
- uint128_t x70 = (uint128_t) x68 & 0x1fffffffffffffffffffffL;
- uint256_t x71 = x69 + x63;
- uint128_t x72 = (uint128_t) (x71 >> 0x55);
- uint128_t x73 = (uint128_t) x71 & 0x1fffffffffffffffffffffL;
- uint128_t x74 = x67 + 0x5 * x72;
- uint128_t x75 = x74 >> 0x55;
- uint128_t x76 = x74 & 0x1fffffffffffffffffffffL;
- uint128_t x77 = x75 + x70;
- uint128_t x78 = x77 >> 0x55;
- uint128_t x79 = x77 & 0x1fffffffffffffffffffffL;
- uint128_t x80 = x78 + x73;
- uint128_t x81 = x62 + x80;
- uint128_t x82 = x61 + x79;
- uint128_t x83 = x58 + x76;
- uint128_t x84 = 0x3ffffffffffffffffffffeL + x62 - x80;
- uint128_t x85 = 0x3ffffffffffffffffffffeL + x61 - x79;
- uint128_t x86 = 0x3ffffffffffffffffffff6L + x58 - x76;
- uint256_t x87 = (uint256_t) x83 * x81 + ((uint256_t) x82 * x82 + (uint256_t) x81 * x83);
- uint256_t x88 = (uint256_t) x83 * x82 + (uint256_t) x82 * x83 + 0x5 * ((uint256_t) x81 * x81);
- uint256_t x89 = (uint256_t) x83 * x83 + 0x5 * ((uint256_t) x82 * x81 + (uint256_t) x81 * x82);
- uint128_t x90 = (uint128_t) (x89 >> 0x55);
- uint128_t x91 = (uint128_t) x89 & 0x1fffffffffffffffffffffL;
- uint256_t x92 = x90 + x88;
- uint128_t x93 = (uint128_t) (x92 >> 0x55);
- uint128_t x94 = (uint128_t) x92 & 0x1fffffffffffffffffffffL;
- uint256_t x95 = x93 + x87;
- uint128_t x96 = (uint128_t) (x95 >> 0x55);
- uint128_t x97 = (uint128_t) x95 & 0x1fffffffffffffffffffffL;
- uint128_t x98 = x91 + 0x5 * x96;
- uint128_t x99 = x98 >> 0x55;
- uint128_t x100 = x98 & 0x1fffffffffffffffffffffL;
- uint128_t x101 = x99 + x94;
- uint128_t x102 = x101 >> 0x55;
- uint128_t x103 = x101 & 0x1fffffffffffffffffffffL;
- uint128_t x104 = x102 + x97;
- uint256_t x105 = (uint256_t) x86 * x84 + ((uint256_t) x85 * x85 + (uint256_t) x84 * x86);
- uint256_t x106 = (uint256_t) x86 * x85 + (uint256_t) x85 * x86 + 0x5 * ((uint256_t) x84 * x84);
- uint256_t x107 = (uint256_t) x86 * x86 + 0x5 * ((uint256_t) x85 * x84 + (uint256_t) x84 * x85);
- uint128_t x108 = (uint128_t) (x107 >> 0x55);
- uint128_t x109 = (uint128_t) x107 & 0x1fffffffffffffffffffffL;
- uint256_t x110 = x108 + x106;
- uint128_t x111 = (uint128_t) (x110 >> 0x55);
- uint128_t x112 = (uint128_t) x110 & 0x1fffffffffffffffffffffL;
- uint256_t x113 = x111 + x105;
- uint128_t x114 = (uint128_t) (x113 >> 0x55);
- uint128_t x115 = (uint128_t) x113 & 0x1fffffffffffffffffffffL;
- uint128_t x116 = x109 + 0x5 * x114;
- uint128_t x117 = x116 >> 0x55;
- uint128_t x118 = x116 & 0x1fffffffffffffffffffffL;
- uint128_t x119 = x117 + x112;
- uint128_t x120 = x119 >> 0x55;
- uint128_t x121 = x119 & 0x1fffffffffffffffffffffL;
- uint128_t x122 = x120 + x115;
- uint256_t x123 = (uint256_t) x118 * x11 + ((uint256_t) x121 * x12 + (uint256_t) x122 * x10);
- uint256_t x124 = (uint256_t) x118 * x12 + (uint256_t) x121 * x10 + 0x5 * ((uint256_t) x122 * x11);
- uint256_t x125 = (uint256_t) x118 * x10 + 0x5 * ((uint256_t) x121 * x11 + (uint256_t) x122 * x12);
- uint128_t x126 = (uint128_t) (x125 >> 0x55);
- uint128_t x127 = (uint128_t) x125 & 0x1fffffffffffffffffffffL;
- uint256_t x128 = x126 + x124;
- uint128_t x129 = (uint128_t) (x128 >> 0x55);
- uint128_t x130 = (uint128_t) x128 & 0x1fffffffffffffffffffffL;
- uint256_t x131 = x129 + x123;
- uint128_t x132 = (uint128_t) (x131 >> 0x55);
- uint128_t x133 = (uint128_t) x131 & 0x1fffffffffffffffffffffL;
- uint128_t x134 = x127 + 0x5 * x132;
- uint128_t x135 = x134 >> 0x55;
- uint128_t x136 = x134 & 0x1fffffffffffffffffffffL;
- uint128_t x137 = x135 + x130;
- uint128_t x138 = x137 >> 0x55;
- uint128_t x139 = x137 & 0x1fffffffffffffffffffffL;
- uint128_t x140 = x138 + x133;
- uint256_t x141 = (uint256_t) x35 * x33 + ((uint256_t) x34 * x34 + (uint256_t) x33 * x35);
- uint256_t x142 = (uint256_t) x35 * x34 + (uint256_t) x34 * x35 + 0x5 * ((uint256_t) x33 * x33);
- uint256_t x143 = (uint256_t) x35 * x35 + 0x5 * ((uint256_t) x34 * x33 + (uint256_t) x33 * x34);
- uint128_t x144 = (uint128_t) (x143 >> 0x55);
- uint128_t x145 = (uint128_t) x143 & 0x1fffffffffffffffffffffL;
- uint256_t x146 = x144 + x142;
- uint128_t x147 = (uint128_t) (x146 >> 0x55);
- uint128_t x148 = (uint128_t) x146 & 0x1fffffffffffffffffffffL;
- uint256_t x149 = x147 + x141;
- uint128_t x150 = (uint128_t) (x149 >> 0x55);
- uint128_t x151 = (uint128_t) x149 & 0x1fffffffffffffffffffffL;
- uint128_t x152 = x145 + 0x5 * x150;
- uint128_t x153 = x152 >> 0x55;
- uint128_t x154 = x152 & 0x1fffffffffffffffffffffL;
- uint128_t x155 = x153 + x148;
- uint128_t x156 = x155 >> 0x55;
- uint128_t x157 = x155 & 0x1fffffffffffffffffffffL;
- uint128_t x158 = x156 + x151;
- uint256_t x159 = (uint256_t) x38 * x36 + ((uint256_t) x37 * x37 + (uint256_t) x36 * x38);
- uint256_t x160 = (uint256_t) x38 * x37 + (uint256_t) x37 * x38 + 0x5 * ((uint256_t) x36 * x36);
- uint256_t x161 = (uint256_t) x38 * x38 + 0x5 * ((uint256_t) x37 * x36 + (uint256_t) x36 * x37);
- uint128_t x162 = (uint128_t) (x161 >> 0x55);
- uint128_t x163 = (uint128_t) x161 & 0x1fffffffffffffffffffffL;
- uint256_t x164 = x162 + x160;
- uint128_t x165 = (uint128_t) (x164 >> 0x55);
- uint128_t x166 = (uint128_t) x164 & 0x1fffffffffffffffffffffL;
- uint256_t x167 = x165 + x159;
- uint128_t x168 = (uint128_t) (x167 >> 0x55);
- uint128_t x169 = (uint128_t) x167 & 0x1fffffffffffffffffffffL;
- uint128_t x170 = x163 + 0x5 * x168;
- uint128_t x171 = x170 >> 0x55;
- uint128_t x172 = x170 & 0x1fffffffffffffffffffffL;
- uint128_t x173 = x171 + x166;
- uint128_t x174 = x173 >> 0x55;
- uint128_t x175 = x173 & 0x1fffffffffffffffffffffL;
- uint128_t x176 = x174 + x169;
- uint256_t x177 = (uint256_t) x154 * x176 + ((uint256_t) x157 * x175 + (uint256_t) x158 * x172);
- uint256_t x178 = (uint256_t) x154 * x175 + (uint256_t) x157 * x172 + 0x5 * ((uint256_t) x158 * x176);
- uint256_t x179 = (uint256_t) x154 * x172 + 0x5 * ((uint256_t) x157 * x176 + (uint256_t) x158 * x175);
- uint128_t x180 = (uint128_t) (x179 >> 0x55);
- uint128_t x181 = (uint128_t) x179 & 0x1fffffffffffffffffffffL;
- uint256_t x182 = x180 + x178;
- uint128_t x183 = (uint128_t) (x182 >> 0x55);
- uint128_t x184 = (uint128_t) x182 & 0x1fffffffffffffffffffffL;
- uint256_t x185 = x183 + x177;
- uint128_t x186 = (uint128_t) (x185 >> 0x55);
- uint128_t x187 = (uint128_t) x185 & 0x1fffffffffffffffffffffL;
- uint128_t x188 = x181 + 0x5 * x186;
- uint128_t x189 = x188 >> 0x55;
- uint128_t x190 = x188 & 0x1fffffffffffffffffffffL;
- uint128_t x191 = x189 + x184;
- uint128_t x192 = x191 >> 0x55;
- uint128_t x193 = x191 & 0x1fffffffffffffffffffffL;
- uint128_t x194 = x192 + x187;
- uint128_t x195 = 0x3ffffffffffffffffffffeL + x158 - x176;
- uint128_t x196 = 0x3ffffffffffffffffffffeL + x157 - x175;
- uint128_t x197 = 0x3ffffffffffffffffffff6L + x154 - x172;
- uint128_t x198 = x195 * 0x1db41;
- uint128_t x199 = x196 * 0x1db41;
- uint128_t x200 = x197 * 0x1db41;
- uint128_t x201 = x200 >> 0x55;
- uint128_t x202 = x200 & 0x1fffffffffffffffffffffL;
- uint128_t x203 = x201 + x199;
- uint128_t x204 = x203 >> 0x55;
- uint128_t x205 = x203 & 0x1fffffffffffffffffffffL;
- uint128_t x206 = x204 + x198;
- uint128_t x207 = x206 >> 0x55;
- uint128_t x208 = x206 & 0x1fffffffffffffffffffffL;
- uint128_t x209 = x202 + 0x5 * x207;
- uint128_t x210 = x209 >> 0x55;
- uint128_t x211 = x209 & 0x1fffffffffffffffffffffL;
- uint128_t x212 = x210 + x205;
- uint128_t x213 = x212 >> 0x55;
- uint128_t x214 = x212 & 0x1fffffffffffffffffffffL;
- uint128_t x215 = x213 + x208;
- uint128_t x216 = x215 + x158;
- uint128_t x217 = x214 + x157;
- uint128_t x218 = x211 + x154;
- uint256_t x219 = (uint256_t) x197 * x216 + ((uint256_t) x196 * x217 + (uint256_t) x195 * x218);
- uint256_t x220 = (uint256_t) x197 * x217 + (uint256_t) x196 * x218 + 0x5 * ((uint256_t) x195 * x216);
- uint256_t x221 = (uint256_t) x197 * x218 + 0x5 * ((uint256_t) x196 * x216 + (uint256_t) x195 * x217);
- uint128_t x222 = (uint128_t) (x221 >> 0x55);
- uint128_t x223 = (uint128_t) x221 & 0x1fffffffffffffffffffffL;
- uint256_t x224 = x222 + x220;
- uint128_t x225 = (uint128_t) (x224 >> 0x55);
- uint128_t x226 = (uint128_t) x224 & 0x1fffffffffffffffffffffL;
- uint256_t x227 = x225 + x219;
- uint128_t x228 = (uint128_t) (x227 >> 0x55);
- uint128_t x229 = (uint128_t) x227 & 0x1fffffffffffffffffffffL;
- uint128_t x230 = x223 + 0x5 * x228;
- uint128_t x231 = x230 >> 0x55;
- uint128_t x232 = x230 & 0x1fffffffffffffffffffffL;
- uint128_t x233 = x231 + x226;
- uint128_t x234 = x233 >> 0x55;
- uint128_t x235 = x233 & 0x1fffffffffffffffffffffL;
- uint128_t x236 = x234 + x229;
- return (Return x194, Return x193, Return x190, (Return x236, Return x235, Return x232), (Return x104, Return x103, Return x100, (Return x140, Return x139, Return x136))))
-(x, (x0, x1), (x2, x3))%core in
-(let (a0, b0) := a in
-(a0, b0), let (a0, b0) := b in
-(a0, b0))%core
-     : Synthesis.P.feW → Synthesis.P.feW → Synthesis.P.feW → Synthesis.P.feW → Synthesis.P.feW → Synthesis.P.feW * Synthesis.P.feW * (Synthesis.P.feW * Synthesis.P.feW)
diff --git a/src/Specific/X2555/C128/ladderstepDisplay.v b/src/Specific/X2555/C128/ladderstepDisplay.v
deleted file mode 100644
index a8ea06084..000000000
--- a/src/Specific/X2555/C128/ladderstepDisplay.v
+++ /dev/null
@@ -1,4 +0,0 @@
-Require Import Crypto.Specific.X2555.C128.ladderstep.
-Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon.
-
-Check display xzladderstep.
diff --git a/src/Specific/X2555/C128/py_interpreter.sh b/src/Specific/X2555/C128/py_interpreter.sh
deleted file mode 100755
index 7ec3fa6ab..000000000
--- a/src/Specific/X2555/C128/py_interpreter.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-set -eu
-
-/usr/bin/env python3 "$@" -Dq='2**255-5' -Dmodulus_bytes='130' -Da24='121665 (* XXX TODO(andreser) FIXME?  Is this right for this curve? *)'