From 7ad53a35ed68777cd21226998a88494e1d97c63e Mon Sep 17 00:00:00 2001 From: jadep Date: Fri, 10 Nov 2017 12:52:49 -0500 Subject: update remake-curves.sh and Makefile --- Makefile | 2 +- src/Specific/CurveParameters/nistp256_amd128.json | 9 + src/Specific/CurveParameters/nistp256_amd64.json | 9 + src/Specific/CurveParameters/remake_curves.sh | 1506 +++----------------- .../CurveParameters/x2448_c64_karatsuba.json | 12 + src/Specific/X2555/C128/CurveParameters.v | 39 - src/Specific/X2555/C128/Synthesis.v | 9 - src/Specific/X2555/C128/ladderstep.v | 24 - src/Specific/X2555/C128/ladderstepDisplay.log | 214 --- src/Specific/X2555/C128/ladderstepDisplay.v | 4 - src/Specific/X2555/C128/py_interpreter.sh | 4 - 11 files changed, 222 insertions(+), 1610 deletions(-) create mode 100644 src/Specific/CurveParameters/nistp256_amd128.json create mode 100644 src/Specific/CurveParameters/nistp256_amd64.json create mode 100644 src/Specific/CurveParameters/x2448_c64_karatsuba.json delete mode 100644 src/Specific/X2555/C128/CurveParameters.v delete mode 100644 src/Specific/X2555/C128/Synthesis.v delete mode 100644 src/Specific/X2555/C128/ladderstep.v delete mode 100644 src/Specific/X2555/C128/ladderstepDisplay.log delete mode 100644 src/Specific/X2555/C128/ladderstepDisplay.v delete mode 100755 src/Specific/X2555/C128/py_interpreter.sh 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? *)' -- cgit v1.2.3