Remake some curves

1 files changed, 280 insertions, 8 deletions

diff --git a/_CoqProject b/_CoqProject
index 1cb453066..84924788a 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -572,6 +572,18 @@ src/Specific/montgomery32_2e198m17/feopp.v
 src/Specific/montgomery32_2e198m17/feoppDisplay.v
 src/Specific/montgomery32_2e198m17/fesub.v
 src/Specific/montgomery32_2e198m17/fesubDisplay.v
+src/Specific/montgomery32_2e205m45x2e198m1/CurveParameters.v
+src/Specific/montgomery32_2e205m45x2e198m1/Synthesis.v
+src/Specific/montgomery32_2e205m45x2e198m1/feadd.v
+src/Specific/montgomery32_2e205m45x2e198m1/feaddDisplay.v
+src/Specific/montgomery32_2e205m45x2e198m1/femul.v
+src/Specific/montgomery32_2e205m45x2e198m1/femulDisplay.v
+src/Specific/montgomery32_2e205m45x2e198m1/fenz.v
+src/Specific/montgomery32_2e205m45x2e198m1/fenzDisplay.v
+src/Specific/montgomery32_2e205m45x2e198m1/feopp.v
+src/Specific/montgomery32_2e205m45x2e198m1/feoppDisplay.v
+src/Specific/montgomery32_2e205m45x2e198m1/fesub.v
+src/Specific/montgomery32_2e205m45x2e198m1/fesubDisplay.v
 src/Specific/montgomery32_2e206m5/CurveParameters.v
 src/Specific/montgomery32_2e206m5/Synthesis.v
 src/Specific/montgomery32_2e206m5/feadd.v
@@ -716,6 +728,18 @@ src/Specific/montgomery32_2e251m9/feopp.v
 src/Specific/montgomery32_2e251m9/feoppDisplay.v
 src/Specific/montgomery32_2e251m9/fesub.v
 src/Specific/montgomery32_2e251m9/fesubDisplay.v
+src/Specific/montgomery32_2e254m127x2e240m1/CurveParameters.v
+src/Specific/montgomery32_2e254m127x2e240m1/Synthesis.v
+src/Specific/montgomery32_2e254m127x2e240m1/feadd.v
+src/Specific/montgomery32_2e254m127x2e240m1/feaddDisplay.v
+src/Specific/montgomery32_2e254m127x2e240m1/femul.v
+src/Specific/montgomery32_2e254m127x2e240m1/femulDisplay.v
+src/Specific/montgomery32_2e254m127x2e240m1/fenz.v
+src/Specific/montgomery32_2e254m127x2e240m1/fenzDisplay.v
+src/Specific/montgomery32_2e254m127x2e240m1/feopp.v
+src/Specific/montgomery32_2e254m127x2e240m1/feoppDisplay.v
+src/Specific/montgomery32_2e254m127x2e240m1/fesub.v
+src/Specific/montgomery32_2e254m127x2e240m1/fesubDisplay.v
 src/Specific/montgomery32_2e255m19/CurveParameters.v
 src/Specific/montgomery32_2e255m19/Synthesis.v
 src/Specific/montgomery32_2e255m19/feadd.v
@@ -788,6 +812,18 @@ src/Specific/montgomery32_2e256m2e32m977/feopp.v
 src/Specific/montgomery32_2e256m2e32m977/feoppDisplay.v
 src/Specific/montgomery32_2e256m2e32m977/fesub.v
 src/Specific/montgomery32_2e256m2e32m977/fesubDisplay.v
+src/Specific/montgomery32_2e256m88x2e240m1/CurveParameters.v
+src/Specific/montgomery32_2e256m88x2e240m1/Synthesis.v
+src/Specific/montgomery32_2e256m88x2e240m1/feadd.v
+src/Specific/montgomery32_2e256m88x2e240m1/feaddDisplay.v
+src/Specific/montgomery32_2e256m88x2e240m1/femul.v
+src/Specific/montgomery32_2e256m88x2e240m1/femulDisplay.v
+src/Specific/montgomery32_2e256m88x2e240m1/fenz.v
+src/Specific/montgomery32_2e256m88x2e240m1/fenzDisplay.v
+src/Specific/montgomery32_2e256m88x2e240m1/feopp.v
+src/Specific/montgomery32_2e256m88x2e240m1/feoppDisplay.v
+src/Specific/montgomery32_2e256m88x2e240m1/fesub.v
+src/Specific/montgomery32_2e256m88x2e240m1/fesubDisplay.v
 src/Specific/montgomery32_2e266m3/CurveParameters.v
 src/Specific/montgomery32_2e266m3/Synthesis.v
 src/Specific/montgomery32_2e266m3/feadd.v
@@ -980,6 +1016,30 @@ src/Specific/montgomery32_2e384m317/feopp.v
 src/Specific/montgomery32_2e384m317/feoppDisplay.v
 src/Specific/montgomery32_2e384m317/fesub.v
 src/Specific/montgomery32_2e384m317/fesubDisplay.v
+src/Specific/montgomery32_2e384m5x2e368m1/CurveParameters.v
+src/Specific/montgomery32_2e384m5x2e368m1/Synthesis.v
+src/Specific/montgomery32_2e384m5x2e368m1/feadd.v
+src/Specific/montgomery32_2e384m5x2e368m1/feaddDisplay.v
+src/Specific/montgomery32_2e384m5x2e368m1/femul.v
+src/Specific/montgomery32_2e384m5x2e368m1/femulDisplay.v
+src/Specific/montgomery32_2e384m5x2e368m1/fenz.v
+src/Specific/montgomery32_2e384m5x2e368m1/fenzDisplay.v
+src/Specific/montgomery32_2e384m5x2e368m1/feopp.v
+src/Specific/montgomery32_2e384m5x2e368m1/feoppDisplay.v
+src/Specific/montgomery32_2e384m5x2e368m1/fesub.v
+src/Specific/montgomery32_2e384m5x2e368m1/fesubDisplay.v
+src/Specific/montgomery32_2e384m79x2e376m1/CurveParameters.v
+src/Specific/montgomery32_2e384m79x2e376m1/Synthesis.v
+src/Specific/montgomery32_2e384m79x2e376m1/feadd.v
+src/Specific/montgomery32_2e384m79x2e376m1/feaddDisplay.v
+src/Specific/montgomery32_2e384m79x2e376m1/femul.v
+src/Specific/montgomery32_2e384m79x2e376m1/femulDisplay.v
+src/Specific/montgomery32_2e384m79x2e376m1/fenz.v
+src/Specific/montgomery32_2e384m79x2e376m1/fenzDisplay.v
+src/Specific/montgomery32_2e384m79x2e376m1/feopp.v
+src/Specific/montgomery32_2e384m79x2e376m1/feoppDisplay.v
+src/Specific/montgomery32_2e384m79x2e376m1/fesub.v
+src/Specific/montgomery32_2e384m79x2e376m1/fesubDisplay.v
 src/Specific/montgomery32_2e389m21/CurveParameters.v
 src/Specific/montgomery32_2e389m21/Synthesis.v
 src/Specific/montgomery32_2e389m21/feadd.v
@@ -1148,6 +1208,18 @@ src/Specific/montgomery32_2e495m31/feopp.v
 src/Specific/montgomery32_2e495m31/feoppDisplay.v
 src/Specific/montgomery32_2e495m31/fesub.v
 src/Specific/montgomery32_2e495m31/fesubDisplay.v
+src/Specific/montgomery32_2e510m290x2e496m1/CurveParameters.v
+src/Specific/montgomery32_2e510m290x2e496m1/Synthesis.v
+src/Specific/montgomery32_2e510m290x2e496m1/feadd.v
+src/Specific/montgomery32_2e510m290x2e496m1/feaddDisplay.v
+src/Specific/montgomery32_2e510m290x2e496m1/femul.v
+src/Specific/montgomery32_2e510m290x2e496m1/femulDisplay.v
+src/Specific/montgomery32_2e510m290x2e496m1/fenz.v
+src/Specific/montgomery32_2e510m290x2e496m1/fenzDisplay.v
+src/Specific/montgomery32_2e510m290x2e496m1/feopp.v
+src/Specific/montgomery32_2e510m290x2e496m1/feoppDisplay.v
+src/Specific/montgomery32_2e510m290x2e496m1/fesub.v
+src/Specific/montgomery32_2e510m290x2e496m1/fesubDisplay.v
 src/Specific/montgomery32_2e511m187/CurveParameters.v
 src/Specific/montgomery32_2e511m187/Synthesis.v
 src/Specific/montgomery32_2e511m187/feadd.v
@@ -1172,6 +1244,18 @@ src/Specific/montgomery32_2e511m481/feopp.v
 src/Specific/montgomery32_2e511m481/feoppDisplay.v
 src/Specific/montgomery32_2e511m481/fesub.v
 src/Specific/montgomery32_2e511m481/fesubDisplay.v
+src/Specific/montgomery32_2e512m491x2e496m1/CurveParameters.v
+src/Specific/montgomery32_2e512m491x2e496m1/Synthesis.v
+src/Specific/montgomery32_2e512m491x2e496m1/feadd.v
+src/Specific/montgomery32_2e512m491x2e496m1/feaddDisplay.v
+src/Specific/montgomery32_2e512m491x2e496m1/femul.v
+src/Specific/montgomery32_2e512m491x2e496m1/femulDisplay.v
+src/Specific/montgomery32_2e512m491x2e496m1/fenz.v
+src/Specific/montgomery32_2e512m491x2e496m1/fenzDisplay.v
+src/Specific/montgomery32_2e512m491x2e496m1/feopp.v
+src/Specific/montgomery32_2e512m491x2e496m1/feoppDisplay.v
+src/Specific/montgomery32_2e512m491x2e496m1/fesub.v
+src/Specific/montgomery32_2e512m491x2e496m1/fesubDisplay.v
 src/Specific/montgomery32_2e512m569/CurveParameters.v
 src/Specific/montgomery32_2e512m569/Synthesis.v
 src/Specific/montgomery32_2e512m569/feadd.v
@@ -1460,6 +1544,18 @@ src/Specific/montgomery64_2e198m17/feopp.v
 src/Specific/montgomery64_2e198m17/feoppDisplay.v
 src/Specific/montgomery64_2e198m17/fesub.v
 src/Specific/montgomery64_2e198m17/fesubDisplay.v
+src/Specific/montgomery64_2e205m45x2e198m1/CurveParameters.v
+src/Specific/montgomery64_2e205m45x2e198m1/Synthesis.v
+src/Specific/montgomery64_2e205m45x2e198m1/feadd.v
+src/Specific/montgomery64_2e205m45x2e198m1/feaddDisplay.v
+src/Specific/montgomery64_2e205m45x2e198m1/femul.v
+src/Specific/montgomery64_2e205m45x2e198m1/femulDisplay.v
+src/Specific/montgomery64_2e205m45x2e198m1/fenz.v
+src/Specific/montgomery64_2e205m45x2e198m1/fenzDisplay.v
+src/Specific/montgomery64_2e205m45x2e198m1/feopp.v
+src/Specific/montgomery64_2e205m45x2e198m1/feoppDisplay.v
+src/Specific/montgomery64_2e205m45x2e198m1/fesub.v
+src/Specific/montgomery64_2e205m45x2e198m1/fesubDisplay.v
 src/Specific/montgomery64_2e206m5/CurveParameters.v
 src/Specific/montgomery64_2e206m5/Synthesis.v
 src/Specific/montgomery64_2e206m5/feadd.v
@@ -1604,6 +1700,18 @@ src/Specific/montgomery64_2e251m9/feopp.v
 src/Specific/montgomery64_2e251m9/feoppDisplay.v
 src/Specific/montgomery64_2e251m9/fesub.v
 src/Specific/montgomery64_2e251m9/fesubDisplay.v
+src/Specific/montgomery64_2e254m127x2e240m1/CurveParameters.v
+src/Specific/montgomery64_2e254m127x2e240m1/Synthesis.v
+src/Specific/montgomery64_2e254m127x2e240m1/feadd.v
+src/Specific/montgomery64_2e254m127x2e240m1/feaddDisplay.v
+src/Specific/montgomery64_2e254m127x2e240m1/femul.v
+src/Specific/montgomery64_2e254m127x2e240m1/femulDisplay.v
+src/Specific/montgomery64_2e254m127x2e240m1/fenz.v
+src/Specific/montgomery64_2e254m127x2e240m1/fenzDisplay.v
+src/Specific/montgomery64_2e254m127x2e240m1/feopp.v
+src/Specific/montgomery64_2e254m127x2e240m1/feoppDisplay.v
+src/Specific/montgomery64_2e254m127x2e240m1/fesub.v
+src/Specific/montgomery64_2e254m127x2e240m1/fesubDisplay.v
 src/Specific/montgomery64_2e255m19/CurveParameters.v
 src/Specific/montgomery64_2e255m19/Synthesis.v
 src/Specific/montgomery64_2e255m19/feadd.v
@@ -1676,6 +1784,18 @@ src/Specific/montgomery64_2e256m2e32m977/feopp.v
 src/Specific/montgomery64_2e256m2e32m977/feoppDisplay.v
 src/Specific/montgomery64_2e256m2e32m977/fesub.v
 src/Specific/montgomery64_2e256m2e32m977/fesubDisplay.v
+src/Specific/montgomery64_2e256m88x2e240m1/CurveParameters.v
+src/Specific/montgomery64_2e256m88x2e240m1/Synthesis.v
+src/Specific/montgomery64_2e256m88x2e240m1/feadd.v
+src/Specific/montgomery64_2e256m88x2e240m1/feaddDisplay.v
+src/Specific/montgomery64_2e256m88x2e240m1/femul.v
+src/Specific/montgomery64_2e256m88x2e240m1/femulDisplay.v
+src/Specific/montgomery64_2e256m88x2e240m1/fenz.v
+src/Specific/montgomery64_2e256m88x2e240m1/fenzDisplay.v
+src/Specific/montgomery64_2e256m88x2e240m1/feopp.v
+src/Specific/montgomery64_2e256m88x2e240m1/feoppDisplay.v
+src/Specific/montgomery64_2e256m88x2e240m1/fesub.v
+src/Specific/montgomery64_2e256m88x2e240m1/fesubDisplay.v
 src/Specific/montgomery64_2e266m3/CurveParameters.v
 src/Specific/montgomery64_2e266m3/Synthesis.v
 src/Specific/montgomery64_2e266m3/feadd.v
@@ -1868,6 +1988,30 @@ src/Specific/montgomery64_2e384m317/feopp.v
 src/Specific/montgomery64_2e384m317/feoppDisplay.v
 src/Specific/montgomery64_2e384m317/fesub.v
 src/Specific/montgomery64_2e384m317/fesubDisplay.v
+src/Specific/montgomery64_2e384m5x2e368m1/CurveParameters.v
+src/Specific/montgomery64_2e384m5x2e368m1/Synthesis.v
+src/Specific/montgomery64_2e384m5x2e368m1/feadd.v
+src/Specific/montgomery64_2e384m5x2e368m1/feaddDisplay.v
+src/Specific/montgomery64_2e384m5x2e368m1/femul.v
+src/Specific/montgomery64_2e384m5x2e368m1/femulDisplay.v
+src/Specific/montgomery64_2e384m5x2e368m1/fenz.v
+src/Specific/montgomery64_2e384m5x2e368m1/fenzDisplay.v
+src/Specific/montgomery64_2e384m5x2e368m1/feopp.v
+src/Specific/montgomery64_2e384m5x2e368m1/feoppDisplay.v
+src/Specific/montgomery64_2e384m5x2e368m1/fesub.v
+src/Specific/montgomery64_2e384m5x2e368m1/fesubDisplay.v
+src/Specific/montgomery64_2e384m79x2e376m1/CurveParameters.v
+src/Specific/montgomery64_2e384m79x2e376m1/Synthesis.v
+src/Specific/montgomery64_2e384m79x2e376m1/feadd.v
+src/Specific/montgomery64_2e384m79x2e376m1/feaddDisplay.v
+src/Specific/montgomery64_2e384m79x2e376m1/femul.v
+src/Specific/montgomery64_2e384m79x2e376m1/femulDisplay.v
+src/Specific/montgomery64_2e384m79x2e376m1/fenz.v
+src/Specific/montgomery64_2e384m79x2e376m1/fenzDisplay.v
+src/Specific/montgomery64_2e384m79x2e376m1/feopp.v
+src/Specific/montgomery64_2e384m79x2e376m1/feoppDisplay.v
+src/Specific/montgomery64_2e384m79x2e376m1/fesub.v
+src/Specific/montgomery64_2e384m79x2e376m1/fesubDisplay.v
 src/Specific/montgomery64_2e389m21/CurveParameters.v
 src/Specific/montgomery64_2e389m21/Synthesis.v
 src/Specific/montgomery64_2e389m21/feadd.v
@@ -2036,6 +2180,18 @@ src/Specific/montgomery64_2e495m31/feopp.v
 src/Specific/montgomery64_2e495m31/feoppDisplay.v
 src/Specific/montgomery64_2e495m31/fesub.v
 src/Specific/montgomery64_2e495m31/fesubDisplay.v
+src/Specific/montgomery64_2e510m290x2e496m1/CurveParameters.v
+src/Specific/montgomery64_2e510m290x2e496m1/Synthesis.v
+src/Specific/montgomery64_2e510m290x2e496m1/feadd.v
+src/Specific/montgomery64_2e510m290x2e496m1/feaddDisplay.v
+src/Specific/montgomery64_2e510m290x2e496m1/femul.v
+src/Specific/montgomery64_2e510m290x2e496m1/femulDisplay.v
+src/Specific/montgomery64_2e510m290x2e496m1/fenz.v
+src/Specific/montgomery64_2e510m290x2e496m1/fenzDisplay.v
+src/Specific/montgomery64_2e510m290x2e496m1/feopp.v
+src/Specific/montgomery64_2e510m290x2e496m1/feoppDisplay.v
+src/Specific/montgomery64_2e510m290x2e496m1/fesub.v
+src/Specific/montgomery64_2e510m290x2e496m1/fesubDisplay.v
 src/Specific/montgomery64_2e511m187/CurveParameters.v
 src/Specific/montgomery64_2e511m187/Synthesis.v
 src/Specific/montgomery64_2e511m187/feadd.v
@@ -2060,6 +2216,18 @@ src/Specific/montgomery64_2e511m481/feopp.v
 src/Specific/montgomery64_2e511m481/feoppDisplay.v
 src/Specific/montgomery64_2e511m481/fesub.v
 src/Specific/montgomery64_2e511m481/fesubDisplay.v
+src/Specific/montgomery64_2e512m491x2e496m1/CurveParameters.v
+src/Specific/montgomery64_2e512m491x2e496m1/Synthesis.v
+src/Specific/montgomery64_2e512m491x2e496m1/feadd.v
+src/Specific/montgomery64_2e512m491x2e496m1/feaddDisplay.v
+src/Specific/montgomery64_2e512m491x2e496m1/femul.v
+src/Specific/montgomery64_2e512m491x2e496m1/femulDisplay.v
+src/Specific/montgomery64_2e512m491x2e496m1/fenz.v
+src/Specific/montgomery64_2e512m491x2e496m1/fenzDisplay.v
+src/Specific/montgomery64_2e512m491x2e496m1/feopp.v
+src/Specific/montgomery64_2e512m491x2e496m1/feoppDisplay.v
+src/Specific/montgomery64_2e512m491x2e496m1/fesub.v
+src/Specific/montgomery64_2e512m491x2e496m1/fesubDisplay.v
 src/Specific/montgomery64_2e512m569/CurveParameters.v
 src/Specific/montgomery64_2e512m569/Synthesis.v
 src/Specific/montgomery64_2e512m569/feadd.v
@@ -2260,6 +2428,14 @@ src/Specific/solinas32_2e198m17/fesquare.v
 src/Specific/solinas32_2e198m17/fesquareDisplay.v
 src/Specific/solinas32_2e198m17/freeze.v
 src/Specific/solinas32_2e198m17/freezeDisplay.v
+src/Specific/solinas32_2e205m45x2e198m1/CurveParameters.v
+src/Specific/solinas32_2e205m45x2e198m1/Synthesis.v
+src/Specific/solinas32_2e205m45x2e198m1/femul.v
+src/Specific/solinas32_2e205m45x2e198m1/femulDisplay.v
+src/Specific/solinas32_2e205m45x2e198m1/fesquare.v
+src/Specific/solinas32_2e205m45x2e198m1/fesquareDisplay.v
+src/Specific/solinas32_2e205m45x2e198m1/freeze.v
+src/Specific/solinas32_2e205m45x2e198m1/freezeDisplay.v
 src/Specific/solinas32_2e206m5/CurveParameters.v
 src/Specific/solinas32_2e206m5/Synthesis.v
 src/Specific/solinas32_2e206m5/femul.v
@@ -2356,6 +2532,14 @@ src/Specific/solinas32_2e251m9/fesquare.v
 src/Specific/solinas32_2e251m9/fesquareDisplay.v
 src/Specific/solinas32_2e251m9/freeze.v
 src/Specific/solinas32_2e251m9/freezeDisplay.v
+src/Specific/solinas32_2e254m127x2e240m1/CurveParameters.v
+src/Specific/solinas32_2e254m127x2e240m1/Synthesis.v
+src/Specific/solinas32_2e254m127x2e240m1/femul.v
+src/Specific/solinas32_2e254m127x2e240m1/femulDisplay.v
+src/Specific/solinas32_2e254m127x2e240m1/fesquare.v
+src/Specific/solinas32_2e254m127x2e240m1/fesquareDisplay.v
+src/Specific/solinas32_2e254m127x2e240m1/freeze.v
+src/Specific/solinas32_2e254m127x2e240m1/freezeDisplay.v
 src/Specific/solinas32_2e255m19/CurveParameters.v
 src/Specific/solinas32_2e255m19/Synthesis.v
 src/Specific/solinas32_2e255m19/femul.v
@@ -2404,6 +2588,14 @@ src/Specific/solinas32_2e256m2e32m977/fesquare.v
 src/Specific/solinas32_2e256m2e32m977/fesquareDisplay.v
 src/Specific/solinas32_2e256m2e32m977/freeze.v
 src/Specific/solinas32_2e256m2e32m977/freezeDisplay.v
+src/Specific/solinas32_2e256m88x2e240m1/CurveParameters.v
+src/Specific/solinas32_2e256m88x2e240m1/Synthesis.v
+src/Specific/solinas32_2e256m88x2e240m1/femul.v
+src/Specific/solinas32_2e256m88x2e240m1/femulDisplay.v
+src/Specific/solinas32_2e256m88x2e240m1/fesquare.v
+src/Specific/solinas32_2e256m88x2e240m1/fesquareDisplay.v
+src/Specific/solinas32_2e256m88x2e240m1/freeze.v
+src/Specific/solinas32_2e256m88x2e240m1/freezeDisplay.v
 src/Specific/solinas32_2e266m3/CurveParameters.v
 src/Specific/solinas32_2e266m3/Synthesis.v
 src/Specific/solinas32_2e266m3/femul.v
@@ -2508,6 +2700,22 @@ src/Specific/solinas32_2e384m317/fesquare.v
 src/Specific/solinas32_2e384m317/fesquareDisplay.v
 src/Specific/solinas32_2e384m317/freeze.v
 src/Specific/solinas32_2e384m317/freezeDisplay.v
+src/Specific/solinas32_2e384m5x2e368m1/CurveParameters.v
+src/Specific/solinas32_2e384m5x2e368m1/Synthesis.v
+src/Specific/solinas32_2e384m5x2e368m1/femul.v
+src/Specific/solinas32_2e384m5x2e368m1/femulDisplay.v
+src/Specific/solinas32_2e384m5x2e368m1/fesquare.v
+src/Specific/solinas32_2e384m5x2e368m1/fesquareDisplay.v
+src/Specific/solinas32_2e384m5x2e368m1/freeze.v
+src/Specific/solinas32_2e384m5x2e368m1/freezeDisplay.v
+src/Specific/solinas32_2e384m79x2e376m1/CurveParameters.v
+src/Specific/solinas32_2e384m79x2e376m1/Synthesis.v
+src/Specific/solinas32_2e384m79x2e376m1/femul.v
+src/Specific/solinas32_2e384m79x2e376m1/femulDisplay.v
+src/Specific/solinas32_2e384m79x2e376m1/fesquare.v
+src/Specific/solinas32_2e384m79x2e376m1/fesquareDisplay.v
+src/Specific/solinas32_2e384m79x2e376m1/freeze.v
+src/Specific/solinas32_2e384m79x2e376m1/freezeDisplay.v
 src/Specific/solinas32_2e401m31/CurveParameters.v
 src/Specific/solinas32_2e401m31/Synthesis.v
 src/Specific/solinas32_2e401m31/femul.v
@@ -2516,14 +2724,6 @@ src/Specific/solinas32_2e401m31/fesquare.v
 src/Specific/solinas32_2e401m31/fesquareDisplay.v
 src/Specific/solinas32_2e401m31/freeze.v
 src/Specific/solinas32_2e401m31/freezeDisplay.v
-src/Specific/solinas32_2e413m21/CurveParameters.v
-src/Specific/solinas32_2e413m21/Synthesis.v
-src/Specific/solinas32_2e413m21/femul.v
-src/Specific/solinas32_2e413m21/femulDisplay.v
-src/Specific/solinas32_2e413m21/fesquare.v
-src/Specific/solinas32_2e413m21/fesquareDisplay.v
-src/Specific/solinas32_2e413m21/freeze.v
-src/Specific/solinas32_2e413m21/freezeDisplay.v
 src/Specific/solinas32_2e414m17/CurveParameters.v
 src/Specific/solinas32_2e414m17/Synthesis.v
 src/Specific/solinas32_2e414m17/femul.v
@@ -2612,6 +2812,14 @@ src/Specific/solinas32_2e495m31/fesquare.v
 src/Specific/solinas32_2e495m31/fesquareDisplay.v
 src/Specific/solinas32_2e495m31/freeze.v
 src/Specific/solinas32_2e495m31/freezeDisplay.v
+src/Specific/solinas32_2e510m290x2e496m1/CurveParameters.v
+src/Specific/solinas32_2e510m290x2e496m1/Synthesis.v
+src/Specific/solinas32_2e510m290x2e496m1/femul.v
+src/Specific/solinas32_2e510m290x2e496m1/femulDisplay.v
+src/Specific/solinas32_2e510m290x2e496m1/fesquare.v
+src/Specific/solinas32_2e510m290x2e496m1/fesquareDisplay.v
+src/Specific/solinas32_2e510m290x2e496m1/freeze.v
+src/Specific/solinas32_2e510m290x2e496m1/freezeDisplay.v
 src/Specific/solinas32_2e511m187/CurveParameters.v
 src/Specific/solinas32_2e511m187/Synthesis.v
 src/Specific/solinas32_2e511m187/femul.v
@@ -2628,6 +2836,14 @@ src/Specific/solinas32_2e511m481/fesquare.v
 src/Specific/solinas32_2e511m481/fesquareDisplay.v
 src/Specific/solinas32_2e511m481/freeze.v
 src/Specific/solinas32_2e511m481/freezeDisplay.v
+src/Specific/solinas32_2e512m491x2e496m1/CurveParameters.v
+src/Specific/solinas32_2e512m491x2e496m1/Synthesis.v
+src/Specific/solinas32_2e512m491x2e496m1/femul.v
+src/Specific/solinas32_2e512m491x2e496m1/femulDisplay.v
+src/Specific/solinas32_2e512m491x2e496m1/fesquare.v
+src/Specific/solinas32_2e512m491x2e496m1/fesquareDisplay.v
+src/Specific/solinas32_2e512m491x2e496m1/freeze.v
+src/Specific/solinas32_2e512m491x2e496m1/freezeDisplay.v
 src/Specific/solinas32_2e512m569/CurveParameters.v
 src/Specific/solinas32_2e512m569/Synthesis.v
 src/Specific/solinas32_2e512m569/femul.v
@@ -2820,6 +3036,14 @@ src/Specific/solinas64_2e198m17/fesquare.v
 src/Specific/solinas64_2e198m17/fesquareDisplay.v
 src/Specific/solinas64_2e198m17/freeze.v
 src/Specific/solinas64_2e198m17/freezeDisplay.v
+src/Specific/solinas64_2e205m45x2e198m1/CurveParameters.v
+src/Specific/solinas64_2e205m45x2e198m1/Synthesis.v
+src/Specific/solinas64_2e205m45x2e198m1/femul.v
+src/Specific/solinas64_2e205m45x2e198m1/femulDisplay.v
+src/Specific/solinas64_2e205m45x2e198m1/fesquare.v
+src/Specific/solinas64_2e205m45x2e198m1/fesquareDisplay.v
+src/Specific/solinas64_2e205m45x2e198m1/freeze.v
+src/Specific/solinas64_2e205m45x2e198m1/freezeDisplay.v
 src/Specific/solinas64_2e206m5/CurveParameters.v
 src/Specific/solinas64_2e206m5/Synthesis.v
 src/Specific/solinas64_2e206m5/femul.v
@@ -2916,6 +3140,14 @@ src/Specific/solinas64_2e251m9/fesquare.v
 src/Specific/solinas64_2e251m9/fesquareDisplay.v
 src/Specific/solinas64_2e251m9/freeze.v
 src/Specific/solinas64_2e251m9/freezeDisplay.v
+src/Specific/solinas64_2e254m127x2e240m1/CurveParameters.v
+src/Specific/solinas64_2e254m127x2e240m1/Synthesis.v
+src/Specific/solinas64_2e254m127x2e240m1/femul.v
+src/Specific/solinas64_2e254m127x2e240m1/femulDisplay.v
+src/Specific/solinas64_2e254m127x2e240m1/fesquare.v
+src/Specific/solinas64_2e254m127x2e240m1/fesquareDisplay.v
+src/Specific/solinas64_2e254m127x2e240m1/freeze.v
+src/Specific/solinas64_2e254m127x2e240m1/freezeDisplay.v
 src/Specific/solinas64_2e255m19/CurveParameters.v
 src/Specific/solinas64_2e255m19/Synthesis.v
 src/Specific/solinas64_2e255m19/femul.v
@@ -2964,6 +3196,14 @@ src/Specific/solinas64_2e256m2e32m977/fesquare.v
 src/Specific/solinas64_2e256m2e32m977/fesquareDisplay.v
 src/Specific/solinas64_2e256m2e32m977/freeze.v
 src/Specific/solinas64_2e256m2e32m977/freezeDisplay.v
+src/Specific/solinas64_2e256m88x2e240m1/CurveParameters.v
+src/Specific/solinas64_2e256m88x2e240m1/Synthesis.v
+src/Specific/solinas64_2e256m88x2e240m1/femul.v
+src/Specific/solinas64_2e256m88x2e240m1/femulDisplay.v
+src/Specific/solinas64_2e256m88x2e240m1/fesquare.v
+src/Specific/solinas64_2e256m88x2e240m1/fesquareDisplay.v
+src/Specific/solinas64_2e256m88x2e240m1/freeze.v
+src/Specific/solinas64_2e256m88x2e240m1/freezeDisplay.v
 src/Specific/solinas64_2e266m3/CurveParameters.v
 src/Specific/solinas64_2e266m3/Synthesis.v
 src/Specific/solinas64_2e266m3/femul.v
@@ -3068,6 +3308,22 @@ src/Specific/solinas64_2e384m317/fesquare.v
 src/Specific/solinas64_2e384m317/fesquareDisplay.v
 src/Specific/solinas64_2e384m317/freeze.v
 src/Specific/solinas64_2e384m317/freezeDisplay.v
+src/Specific/solinas64_2e384m5x2e368m1/CurveParameters.v
+src/Specific/solinas64_2e384m5x2e368m1/Synthesis.v
+src/Specific/solinas64_2e384m5x2e368m1/femul.v
+src/Specific/solinas64_2e384m5x2e368m1/femulDisplay.v
+src/Specific/solinas64_2e384m5x2e368m1/fesquare.v
+src/Specific/solinas64_2e384m5x2e368m1/fesquareDisplay.v
+src/Specific/solinas64_2e384m5x2e368m1/freeze.v
+src/Specific/solinas64_2e384m5x2e368m1/freezeDisplay.v
+src/Specific/solinas64_2e384m79x2e376m1/CurveParameters.v
+src/Specific/solinas64_2e384m79x2e376m1/Synthesis.v
+src/Specific/solinas64_2e384m79x2e376m1/femul.v
+src/Specific/solinas64_2e384m79x2e376m1/femulDisplay.v
+src/Specific/solinas64_2e384m79x2e376m1/fesquare.v
+src/Specific/solinas64_2e384m79x2e376m1/fesquareDisplay.v
+src/Specific/solinas64_2e384m79x2e376m1/freeze.v
+src/Specific/solinas64_2e384m79x2e376m1/freezeDisplay.v
 src/Specific/solinas64_2e401m31/CurveParameters.v
 src/Specific/solinas64_2e401m31/Synthesis.v
 src/Specific/solinas64_2e401m31/femul.v
@@ -3172,6 +3428,14 @@ src/Specific/solinas64_2e495m31/fesquare.v
 src/Specific/solinas64_2e495m31/fesquareDisplay.v
 src/Specific/solinas64_2e495m31/freeze.v
 src/Specific/solinas64_2e495m31/freezeDisplay.v
+src/Specific/solinas64_2e510m290x2e496m1/CurveParameters.v
+src/Specific/solinas64_2e510m290x2e496m1/Synthesis.v
+src/Specific/solinas64_2e510m290x2e496m1/femul.v
+src/Specific/solinas64_2e510m290x2e496m1/femulDisplay.v
+src/Specific/solinas64_2e510m290x2e496m1/fesquare.v
+src/Specific/solinas64_2e510m290x2e496m1/fesquareDisplay.v
+src/Specific/solinas64_2e510m290x2e496m1/freeze.v
+src/Specific/solinas64_2e510m290x2e496m1/freezeDisplay.v
 src/Specific/solinas64_2e511m187/CurveParameters.v
 src/Specific/solinas64_2e511m187/Synthesis.v
 src/Specific/solinas64_2e511m187/femul.v
@@ -3188,6 +3452,14 @@ src/Specific/solinas64_2e511m481/fesquare.v
 src/Specific/solinas64_2e511m481/fesquareDisplay.v
 src/Specific/solinas64_2e511m481/freeze.v
 src/Specific/solinas64_2e511m481/freezeDisplay.v
+src/Specific/solinas64_2e512m491x2e496m1/CurveParameters.v
+src/Specific/solinas64_2e512m491x2e496m1/Synthesis.v
+src/Specific/solinas64_2e512m491x2e496m1/femul.v
+src/Specific/solinas64_2e512m491x2e496m1/femulDisplay.v
+src/Specific/solinas64_2e512m491x2e496m1/fesquare.v
+src/Specific/solinas64_2e512m491x2e496m1/fesquareDisplay.v
+src/Specific/solinas64_2e512m491x2e496m1/freeze.v
+src/Specific/solinas64_2e512m491x2e496m1/freezeDisplay.v
 src/Specific/solinas64_2e512m569/CurveParameters.v
 src/Specific/solinas64_2e512m569/Synthesis.v
 src/Specific/solinas64_2e512m569/femul.v