CurveParameters « Specific « src - fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
d---------	X25519_C64	40	log plain
d---------	montgomery32	38	log plain
-rw-r--r--	montgomery32_2e127m1_4limbs.json	1378	log plain
-rw-r--r--	montgomery32_2e129m25_5limbs.json	1407	log plain
-rw-r--r--	montgomery32_2e130m5_5limbs.json	1404	log plain
-rw-r--r--	montgomery32_2e137m13_5limbs.json	1427	log plain
-rw-r--r--	montgomery32_2e140m27_5limbs.json	1427	log plain
-rw-r--r--	montgomery32_2e141m9_5limbs.json	1424	log plain
-rw-r--r--	montgomery32_2e150m3_5limbs.json	1444	log plain
-rw-r--r--	montgomery32_2e150m5_5limbs.json	1444	log plain
-rw-r--r--	montgomery32_2e152m17_5limbs.json	1447	log plain
-rw-r--r--	montgomery32_2e158m15_5limbs.json	1467	log plain
-rw-r--r--	montgomery32_2e165m25_6limbs.json	1493	log plain
-rw-r--r--	montgomery32_2e166m5_6limbs.json	1490	log plain
-rw-r--r--	montgomery32_2e171m19_6limbs.json	1513	log plain
-rw-r--r--	montgomery32_2e174m17_6limbs.json	1513	log plain
-rw-r--r--	montgomery32_2e174m3_6limbs.json	1510	log plain
-rw-r--r--	montgomery32_2e189m25_6limbs.json	1553	log plain
-rw-r--r--	montgomery32_2e190m11_6limbs.json	1553	log plain
-rw-r--r--	montgomery32_2e191m19_6limbs.json	1553	log plain
-rw-r--r--	montgomery32_2e192m2e64m1_6limbs.json	1585	log plain
-rw-r--r--	montgomery32_2e194m33_7limbs.json	1579	log plain
-rw-r--r--	montgomery32_2e196m15_7limbs.json	1579	log plain
-rw-r--r--	montgomery32_2e198m17_7limbs.json	1579	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1_7limbs.json	1643	log plain
-rw-r--r--	montgomery32_2e206m5_7limbs.json	1596	log plain
-rw-r--r--	montgomery32_2e212m29_7limbs.json	1619	log plain
-rw-r--r--	montgomery32_2e213m3_7limbs.json	1616	log plain
-rw-r--r--	montgomery32_2e216m2e108m1_7limbs.json	1654	log plain
-rw-r--r--	montgomery32_2e221m3_7limbs.json	1636	log plain
-rw-r--r--	montgomery32_2e222m117_7limbs.json	1642	log plain
-rw-r--r--	montgomery32_2e224m2e96p1_7limbs.json	1671	log plain
-rw-r--r--	montgomery32_2e226m5_8limbs.json	1662	log plain
-rw-r--r--	montgomery32_2e230m27_8limbs.json	1665	log plain
-rw-r--r--	montgomery32_2e235m15_8limbs.json	1685	log plain
-rw-r--r--	montgomery32_2e243m9_8limbs.json	1702	log plain
-rw-r--r--	montgomery32_2e251m9_8limbs.json	1722	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1_8limbs.json	1772	log plain
-rw-r--r--	montgomery32_2e255m19_8limbs.json	1725	log plain
-rw-r--r--	montgomery32_2e255m765_8limbs.json	1728	log plain
-rw-r--r--	montgomery32_2e256m189_8limbs.json	1728	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1_8limbs.json	1833	log plain
-rw-r--r--	montgomery32_2e256m2e32m977_8limbs.json	1763	log plain
-rw-r--r--	montgomery32_2e256m4294968273_8limbs.json	1749	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1_8limbs.json	1769	log plain
-rw-r--r--	montgomery32_2e266m3_9limbs.json	1768	log plain
-rw-r--r--	montgomery32_2e285m9_9limbs.json	1808	log plain
-rw-r--r--	montgomery32_2e291m19_10limbs.json	1840	log plain
-rw-r--r--	montgomery32_2e321m9_11limbs.json	1923	log plain
-rw-r--r--	montgomery32_2e322m2e161m1_11limbs.json	1961	log plain
-rw-r--r--	montgomery32_2e336m17_11limbs.json	1946	log plain
-rw-r--r--	montgomery32_2e336m3_11limbs.json	1943	log plain
-rw-r--r--	montgomery32_2e338m15_11limbs.json	1966	log plain
-rw-r--r--	montgomery32_2e369m25_12limbs.json	2052	log plain
-rw-r--r--	montgomery32_2e379m19_12limbs.json	2072	log plain
-rw-r--r--	montgomery32_2e382m105_12limbs.json	2075	log plain
-rw-r--r--	montgomery32_2e383m187_12limbs.json	2075	log plain
-rw-r--r--	montgomery32_2e383m31_12limbs.json	2072	log plain
-rw-r--r--	montgomery32_2e383m421_12limbs.json	2075	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1_12limbs.json	2177	log plain
-rw-r--r--	montgomery32_2e384m317_12limbs.json	2075	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1_12limbs.json	2113	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1_12limbs.json	2116	log plain
-rw-r--r--	montgomery32_2e389m21_13limbs.json	2098	log plain
-rw-r--r--	montgomery32_2e401m31_13limbs.json	2138	log plain
-rw-r--r--	montgomery32_2e413m21_13limbs.json	2158	log plain
-rw-r--r--	montgomery32_2e414m17_13limbs.json	2158	log plain
-rw-r--r--	montgomery32_2e416m2e208m1_13limbs.json	2193	log plain
-rw-r--r--	montgomery32_2e444m17_14limbs.json	2244	log plain
-rw-r--r--	montgomery32_2e448m2e224m1_14limbs.json	2279	log plain
-rw-r--r--	montgomery32_2e450m2e225m1_15limbs.json	2305	log plain
-rw-r--r--	montgomery32_2e452m3_15limbs.json	2267	log plain
-rw-r--r--	montgomery32_2e468m17_15limbs.json	2310	log plain
-rw-r--r--	montgomery32_2e480m2e240m1_15limbs.json	2365	log plain
-rw-r--r--	montgomery32_2e488m17_16limbs.json	2356	log plain
-rw-r--r--	montgomery32_2e489m21_16limbs.json	2376	log plain
-rw-r--r--	montgomery32_2e495m31_16limbs.json	2376	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1_16limbs.json	2463	log plain
-rw-r--r--	montgomery32_2e511m187_16limbs.json	2419	log plain
-rw-r--r--	montgomery32_2e511m481_16limbs.json	2419	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1_16limbs.json	2463	log plain
-rw-r--r--	montgomery32_2e512m569_16limbs.json	2419	log plain
-rw-r--r--	montgomery32_2e521m1_17limbs.json	2459	log plain
d---------	montgomery64	38	log plain
-rw-r--r--	montgomery64_2e127m1_2limbs.json	1366	log plain
-rw-r--r--	montgomery64_2e129m25_3limbs.json	1395	log plain
-rw-r--r--	montgomery64_2e130m5_3limbs.json	1392	log plain
-rw-r--r--	montgomery64_2e137m13_3limbs.json	1415	log plain
-rw-r--r--	montgomery64_2e140m27_3limbs.json	1415	log plain
-rw-r--r--	montgomery64_2e141m9_3limbs.json	1412	log plain
-rw-r--r--	montgomery64_2e150m3_3limbs.json	1432	log plain
-rw-r--r--	montgomery64_2e150m5_3limbs.json	1432	log plain
-rw-r--r--	montgomery64_2e152m17_3limbs.json	1435	log plain
-rw-r--r--	montgomery64_2e158m15_3limbs.json	1455	log plain
-rw-r--r--	montgomery64_2e165m25_3limbs.json	1475	log plain
-rw-r--r--	montgomery64_2e166m5_3limbs.json	1472	log plain
-rw-r--r--	montgomery64_2e171m19_3limbs.json	1495	log plain
-rw-r--r--	montgomery64_2e174m17_3limbs.json	1495	log plain
-rw-r--r--	montgomery64_2e174m3_3limbs.json	1492	log plain
-rw-r--r--	montgomery64_2e189m25_3limbs.json	1535	log plain
-rw-r--r--	montgomery64_2e190m11_3limbs.json	1535	log plain
-rw-r--r--	montgomery64_2e191m19_3limbs.json	1535	log plain
-rw-r--r--	montgomery64_2e192m2e64m1_3limbs.json	1567	log plain
-rw-r--r--	montgomery64_2e194m33_4limbs.json	1561	log plain
-rw-r--r--	montgomery64_2e196m15_4limbs.json	1561	log plain
-rw-r--r--	montgomery64_2e198m17_4limbs.json	1561	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1_4limbs.json	1625	log plain
-rw-r--r--	montgomery64_2e206m5_4limbs.json	1578	log plain
-rw-r--r--	montgomery64_2e212m29_4limbs.json	1601	log plain
-rw-r--r--	montgomery64_2e213m3_4limbs.json	1598	log plain
-rw-r--r--	montgomery64_2e216m2e108m1_4limbs.json	1636	log plain
-rw-r--r--	montgomery64_2e221m3_4limbs.json	1618	log plain
-rw-r--r--	montgomery64_2e222m117_4limbs.json	1624	log plain
-rw-r--r--	montgomery64_2e224m2e96p1_4limbs.json	1653	log plain
-rw-r--r--	montgomery64_2e226m5_4limbs.json	1638	log plain
-rw-r--r--	montgomery64_2e230m27_4limbs.json	1641	log plain
-rw-r--r--	montgomery64_2e235m15_4limbs.json	1661	log plain
-rw-r--r--	montgomery64_2e243m9_4limbs.json	1678	log plain
-rw-r--r--	montgomery64_2e251m9_4limbs.json	1698	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1_4limbs.json	1748	log plain
-rw-r--r--	montgomery64_2e255m19_4limbs.json	1701	log plain
-rw-r--r--	montgomery64_2e255m765_4limbs.json	1704	log plain
-rw-r--r--	montgomery64_2e256m189_4limbs.json	1704	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1_4limbs.json	1809	log plain
-rw-r--r--	montgomery64_2e256m2e32m977_4limbs.json	1739	log plain
-rw-r--r--	montgomery64_2e256m4294968273_4limbs.json	1725	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1_4limbs.json	1745	log plain
-rw-r--r--	montgomery64_2e266m3_5limbs.json	1744	log plain
-rw-r--r--	montgomery64_2e285m9_5limbs.json	1784	log plain
-rw-r--r--	montgomery64_2e291m19_5limbs.json	1807	log plain
-rw-r--r--	montgomery64_2e321m9_6limbs.json	1890	log plain
-rw-r--r--	montgomery64_2e322m2e161m1_6limbs.json	1928	log plain
-rw-r--r--	montgomery64_2e336m17_6limbs.json	1913	log plain
-rw-r--r--	montgomery64_2e336m3_6limbs.json	1910	log plain
-rw-r--r--	montgomery64_2e338m15_6limbs.json	1933	log plain
-rw-r--r--	montgomery64_2e369m25_6limbs.json	2013	log plain
-rw-r--r--	montgomery64_2e379m19_6limbs.json	2033	log plain
-rw-r--r--	montgomery64_2e382m105_6limbs.json	2036	log plain
-rw-r--r--	montgomery64_2e383m187_6limbs.json	2036	log plain
-rw-r--r--	montgomery64_2e383m31_6limbs.json	2033	log plain
-rw-r--r--	montgomery64_2e383m421_6limbs.json	2036	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1_6limbs.json	2138	log plain
-rw-r--r--	montgomery64_2e384m317_6limbs.json	2036	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1_6limbs.json	2074	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1_6limbs.json	2077	log plain
-rw-r--r--	montgomery64_2e389m21_7limbs.json	2059	log plain
-rw-r--r--	montgomery64_2e401m31_7limbs.json	2099	log plain
-rw-r--r--	montgomery64_2e413m21_7limbs.json	2119	log plain
-rw-r--r--	montgomery64_2e414m17_7limbs.json	2119	log plain
-rw-r--r--	montgomery64_2e416m2e208m1_7limbs.json	2154	log plain
-rw-r--r--	montgomery64_2e444m17_7limbs.json	2199	log plain
-rw-r--r--	montgomery64_2e448m2e224m1_7limbs.json	2234	log plain
-rw-r--r--	montgomery64_2e450m2e225m1_8limbs.json	2260	log plain
-rw-r--r--	montgomery64_2e452m3_8limbs.json	2222	log plain
-rw-r--r--	montgomery64_2e468m17_8limbs.json	2265	log plain
-rw-r--r--	montgomery64_2e480m2e240m1_8limbs.json	2320	log plain
-rw-r--r--	montgomery64_2e488m17_8limbs.json	2305	log plain
-rw-r--r--	montgomery64_2e489m21_8limbs.json	2325	log plain
-rw-r--r--	montgomery64_2e495m31_8limbs.json	2325	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1_8limbs.json	2412	log plain
-rw-r--r--	montgomery64_2e511m187_8limbs.json	2368	log plain
-rw-r--r--	montgomery64_2e511m481_8limbs.json	2368	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1_8limbs.json	2412	log plain
-rw-r--r--	montgomery64_2e512m569_8limbs.json	2368	log plain
-rw-r--r--	montgomery64_2e521m1_9limbs.json	2408	log plain
-rw-r--r--	nistp256_amd128.json	493	log plain
-rw-r--r--	nistp256_amd64.json	491	log plain
-rwxr-xr-x	remake_curves.sh	36364	log plain
-rw-r--r--	solinas32_2e127m1_5limbs.json	1385	log plain
-rw-r--r--	solinas32_2e127m1_6limbs.json	1395	log plain
-rw-r--r--	solinas32_2e129m25_5limbs.json	1408	log plain
-rw-r--r--	solinas32_2e129m25_6limbs.json	1414	log plain
-rw-r--r--	solinas32_2e130m5_5limbs.json	1403	log plain
-rw-r--r--	solinas32_2e130m5_6limbs.json	1415	log plain
-rw-r--r--	solinas32_2e137m13_5limbs.json	1428	log plain
-rw-r--r--	solinas32_2e137m13_6limbs.json	1438	log plain
-rw-r--r--	solinas32_2e140m27_6limbs.json	1438	log plain
-rw-r--r--	solinas32_2e140m27_7limbs.json	1438	log plain
-rw-r--r--	solinas32_2e141m9_6limbs.json	1431	log plain
-rw-r--r--	solinas32_2e141m9_7limbs.json	1441	log plain
-rw-r--r--	solinas32_2e150m3_6limbs.json	1449	log plain
-rw-r--r--	solinas32_2e150m3_7limbs.json	1461	log plain
-rw-r--r--	solinas32_2e150m5_6limbs.json	1449	log plain
-rw-r--r--	solinas32_2e150m5_7limbs.json	1461	log plain
-rw-r--r--	solinas32_2e152m17_6limbs.json	1458	log plain
-rw-r--r--	solinas32_2e152m17_7limbs.json	1464	log plain
-rw-r--r--	solinas32_2e158m15_6limbs.json	1478	log plain
-rw-r--r--	solinas32_2e158m15_7limbs.json	1484	log plain
-rw-r--r--	solinas32_2e165m25_7limbs.json	1504	log plain
-rw-r--r--	solinas32_2e165m25_8limbs.json	1508	log plain
-rw-r--r--	solinas32_2e166m5_6limbs.json	1495	log plain
-rw-r--r--	solinas32_2e166m5_7limbs.json	1501	log plain
-rw-r--r--	solinas32_2e171m19_7limbs.json	1524	log plain
-rw-r--r--	solinas32_2e171m19_8limbs.json	1528	log plain
-rw-r--r--	solinas32_2e174m17_7limbs.json	1524	log plain
-rw-r--r--	solinas32_2e174m17_8limbs.json	1527	log plain
-rw-r--r--	solinas32_2e174m3_7limbs.json	1521	log plain
-rw-r--r--	solinas32_2e174m3_8limbs.json	1524	log plain
-rw-r--r--	solinas32_2e189m25_7limbs.json	1558	log plain
-rw-r--r--	solinas32_2e189m25_8limbs.json	1568	log plain
-rw-r--r--	solinas32_2e190m11_7limbs.json	1564	log plain
-rw-r--r--	solinas32_2e190m11_8limbs.json	1567	log plain
-rw-r--r--	solinas32_2e191m19_8limbs.json	1568	log plain
-rw-r--r--	solinas32_2e191m19_9limbs.json	1576	log plain
-rw-r--r--	solinas32_2e192m2e64m1_10limbs.json	1880	log plain
-rw-r--r--	solinas32_2e192m2e64m1_9limbs.json	1860	log plain
-rw-r--r--	solinas32_2e194m33_8limbs.json	1587	log plain
-rw-r--r--	solinas32_2e194m33_9limbs.json	1596	log plain
-rw-r--r--	solinas32_2e196m15_8limbs.json	1586	log plain
-rw-r--r--	solinas32_2e196m15_9limbs.json	1596	log plain
-rw-r--r--	solinas32_2e198m17_8limbs.json	1587	log plain
-rw-r--r--	solinas32_2e198m17_9limbs.json	1590	log plain
-rw-r--r--	solinas32_2e206m5_8limbs.json	1604	log plain
-rw-r--r--	solinas32_2e206m5_9limbs.json	1613	log plain
-rw-r--r--	solinas32_2e212m29_8limbs.json	1626	log plain
-rw-r--r--	solinas32_2e212m29_9limbs.json	1636	log plain
-rw-r--r--	solinas32_2e213m3_8limbs.json	1625	log plain
-rw-r--r--	solinas32_2e213m3_9limbs.json	1633	log plain
-rw-r--r--	solinas32_2e216m2e108m1_10limbs.json	1967	log plain
-rw-r--r--	solinas32_2e216m2e108m1_8limbs.json	1920	log plain
-rw-r--r--	solinas32_2e221m3_8limbs.json	1645	log plain
-rw-r--r--	solinas32_2e221m3_9limbs.json	1653	log plain
-rw-r--r--	solinas32_2e222m117_10limbs.json	1664	log plain
-rw-r--r--	solinas32_2e222m117_9limbs.json	1659	log plain
-rw-r--r--	solinas32_2e224m2e96p1_10limbs.json	1960	log plain
-rw-r--r--	solinas32_2e224m2e96p1_11limbs.json	1988	log plain
-rw-r--r--	solinas32_2e226m5_10limbs.json	1678	log plain
-rw-r--r--	solinas32_2e226m5_9limbs.json	1673	log plain
-rw-r--r--	solinas32_2e230m27_10limbs.json	1679	log plain
-rw-r--r--	solinas32_2e230m27_9limbs.json	1676	log plain
-rw-r--r--	solinas32_2e235m15_10limbs.json	1701	log plain
-rw-r--r--	solinas32_2e235m15_9limbs.json	1696	log plain
-rw-r--r--	solinas32_2e243m9_10limbs.json	1718	log plain
-rw-r--r--	solinas32_2e243m9_9limbs.json	1707	log plain
-rw-r--r--	solinas32_2e251m9_10limbs.json	1738	log plain
-rw-r--r--	solinas32_2e251m9_11limbs.json	1749	log plain
-rw-r--r--	solinas32_2e255m19_10limbs.json	1741	log plain
-rw-r--r--	solinas32_2e255m19_11limbs.json	1752	log plain
-rw-r--r--	solinas32_2e255m765_12limbs.json	1757	log plain
-rw-r--r--	solinas32_2e255m765_13limbs.json	1767	log plain
-rw-r--r--	solinas32_2e256m189_11limbs.json	1755	log plain
-rw-r--r--	solinas32_2e256m189_12limbs.json	1760	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1_11limbs.json	2204	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1_12limbs.json	2226	log plain
-rw-r--r--	solinas32_2e256m2e32m977_12limbs.json	2095	log plain
-rw-r--r--	solinas32_2e256m2e32m977_13limbs.json	2118	log plain
-rw-r--r--	solinas32_2e266m3_10limbs.json	1778	log plain
-rw-r--r--	solinas32_2e266m3_11limbs.json	1789	log plain
-rw-r--r--	solinas32_2e285m9_11limbs.json	1830	log plain
-rw-r--r--	solinas32_2e285m9_12limbs.json	1831	log plain
-rw-r--r--	solinas32_2e291m19_11limbs.json	1852	log plain
-rw-r--r--	solinas32_2e291m19_12limbs.json	1854	log plain
-rw-r--r--	solinas32_2e321m9_12limbs.json	1931	log plain
-rw-r--r--	solinas32_2e321m9_13limbs.json	1941	log plain
-rw-r--r--	solinas32_2e322m2e161m1_12limbs.json	2296	log plain
-rw-r--r--	solinas32_2e322m2e161m1_14limbs.json	2334	log plain
-rw-r--r--	solinas32_2e336m17_13limbs.json	1965	log plain
-rw-r--r--	solinas32_2e336m17_14limbs.json	1963	log plain
-rw-r--r--	solinas32_2e336m3_12limbs.json	1948	log plain
-rw-r--r--	solinas32_2e336m3_13limbs.json	1962	log plain
-rw-r--r--	solinas32_2e338m15_13limbs.json	1977	log plain
-rw-r--r--	solinas32_2e338m15_14limbs.json	1989	log plain
-rw-r--r--	solinas32_2e369m25_15limbs.json	2071	log plain
-rw-r--r--	solinas32_2e369m25_16limbs.json	2082	log plain
-rw-r--r--	solinas32_2e379m19_15limbs.json	2096	log plain
-rw-r--r--	solinas32_2e379m19_16limbs.json	2103	log plain
-rw-r--r--	solinas32_2e382m105_16limbs.json	2102	log plain
-rw-r--r--	solinas32_2e382m105_17limbs.json	2111	log plain
-rw-r--r--	solinas32_2e383m187_16limbs.json	2106	log plain
-rw-r--r--	solinas32_2e383m187_17limbs.json	2111	log plain
-rw-r--r--	solinas32_2e383m31_15limbs.json	2096	log plain
-rw-r--r--	solinas32_2e383m31_16limbs.json	2103	log plain
-rw-r--r--	solinas32_2e383m421_17limbs.json	2111	log plain
-rw-r--r--	solinas32_2e383m421_18limbs.json	2117	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1_18limbs.json	2674	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1_19limbs.json	2697	log plain
-rw-r--r--	solinas32_2e384m317_17limbs.json	2112	log plain
-rw-r--r--	solinas32_2e384m317_18limbs.json	2116	log plain
-rw-r--r--	solinas32_2e389m21_15limbs.json	2117	log plain
-rw-r--r--	solinas32_2e389m21_16limbs.json	2122	log plain
-rw-r--r--	solinas32_2e401m31_16limbs.json	2162	log plain
-rw-r--r--	solinas32_2e401m31_17limbs.json	2169	log plain
-rw-r--r--	solinas32_2e413m21_16limbs.json	2183	log plain
-rw-r--r--	solinas32_2e413m21_17limbs.json	2188	log plain
-rw-r--r--	solinas32_2e414m17_16limbs.json	2179	log plain
-rw-r--r--	solinas32_2e414m17_17limbs.json	2188	log plain
-rw-r--r--	solinas32_2e416m2e208m1_16limbs.json	2598	log plain
-rw-r--r--	solinas32_2e416m2e208m1_18limbs.json	2648	log plain
-rw-r--r--	solinas32_2e444m17_17limbs.json	2268	log plain
-rw-r--r--	solinas32_2e444m17_18limbs.json	2273	log plain
-rw-r--r--	solinas32_2e448m2e224m1_16limbs.json	2678	log plain
-rw-r--r--	solinas32_2e448m2e224m1_18limbs.json	2728	log plain
-rw-r--r--	solinas32_2e450m2e225m1_18limbs.json	2742	log plain
-rw-r--r--	solinas32_2e450m2e225m1_20limbs.json	2789	log plain
-rw-r--r--	solinas32_2e452m3_17limbs.json	2286	log plain
-rw-r--r--	solinas32_2e452m3_18limbs.json	2290	log plain
-rw-r--r--	solinas32_2e468m17_18limbs.json	2327	log plain
-rw-r--r--	solinas32_2e468m17_19limbs.json	2341	log plain
-rw-r--r--	solinas32_2e480m2e240m1_18limbs.json	2808	log plain
-rw-r--r--	solinas32_2e480m2e240m1_20limbs.json	2847	log plain
-rw-r--r--	solinas32_2e488m17_19limbs.json	2381	log plain
-rw-r--r--	solinas32_2e488m17_20limbs.json	2381	log plain
-rw-r--r--	solinas32_2e489m21_19limbs.json	2401	log plain
-rw-r--r--	solinas32_2e489m21_20limbs.json	2406	log plain
-rw-r--r--	solinas32_2e495m31_20limbs.json	2402	log plain
-rw-r--r--	solinas32_2e495m31_21limbs.json	2411	log plain
-rw-r--r--	solinas32_2e511m187_22limbs.json	2461	log plain
-rw-r--r--	solinas32_2e511m187_23limbs.json	2467	log plain
-rw-r--r--	solinas32_2e511m481_23limbs.json	2467	log plain
-rw-r--r--	solinas32_2e511m481_24limbs.json	2473	log plain
-rw-r--r--	solinas32_2e512m569_24limbs.json	2472	log plain
-rw-r--r--	solinas32_2e512m569_25limbs.json	2480	log plain
-rw-r--r--	solinas32_2e521m1_19limbs.json	2477	log plain
-rw-r--r--	solinas32_2e521m1_20limbs.json	2483	log plain
-rw-r--r--	solinas64_2e127m1_3limbs.json	1377	log plain
-rw-r--r--	solinas64_2e129m25_3limbs.json	1394	log plain
-rw-r--r--	solinas64_2e129m25_4limbs.json	1403	log plain
-rw-r--r--	solinas64_2e130m5_3limbs.json	1397	log plain
-rw-r--r--	solinas64_2e130m5_4limbs.json	1399	log plain
-rw-r--r--	solinas64_2e137m13_3limbs.json	1420	log plain
-rw-r--r--	solinas64_2e137m13_4limbs.json	1423	log plain
-rw-r--r--	solinas64_2e140m27_3limbs.json	1420	log plain
-rw-r--r--	solinas64_2e140m27_4limbs.json	1420	log plain
-rw-r--r--	solinas64_2e141m9_3limbs.json	1411	log plain
-rw-r--r--	solinas64_2e141m9_4limbs.json	1420	log plain
-rw-r--r--	solinas64_2e150m3_3limbs.json	1431	log plain
-rw-r--r--	solinas64_2e150m3_4limbs.json	1439	log plain
-rw-r--r--	solinas64_2e150m5_3limbs.json	1431	log plain
-rw-r--r--	solinas64_2e150m5_4limbs.json	1439	log plain
-rw-r--r--	solinas64_2e152m17_3limbs.json	1440	log plain
-rw-r--r--	solinas64_2e152m17_4limbs.json	1440	log plain
-rw-r--r--	solinas64_2e158m15_3limbs.json	1460	log plain
-rw-r--r--	solinas64_2e158m15_4limbs.json	1462	log plain
-rw-r--r--	solinas64_2e165m25_3limbs.json	1474	log plain
-rw-r--r--	solinas64_2e165m25_4limbs.json	1483	log plain
-rw-r--r--	solinas64_2e166m5_3limbs.json	1477	log plain
-rw-r--r--	solinas64_2e166m5_4limbs.json	1479	log plain
-rw-r--r--	solinas64_2e171m19_3limbs.json	1494	log plain
-rw-r--r--	solinas64_2e171m19_4limbs.json	1503	log plain
-rw-r--r--	solinas64_2e174m17_3limbs.json	1494	log plain
-rw-r--r--	solinas64_2e174m17_4limbs.json	1502	log plain
-rw-r--r--	solinas64_2e174m3_3limbs.json	1491	log plain
-rw-r--r--	solinas64_2e174m3_4limbs.json	1499	log plain
-rw-r--r--	solinas64_2e189m25_4limbs.json	1543	log plain
-rw-r--r--	solinas64_2e189m25_5limbs.json	1548	log plain
-rw-r--r--	solinas64_2e190m11_4limbs.json	1542	log plain
-rw-r--r--	solinas64_2e190m11_5limbs.json	1546	log plain
-rw-r--r--	solinas64_2e191m19_4limbs.json	1543	log plain
-rw-r--r--	solinas64_2e191m19_5limbs.json	1548	log plain
-rw-r--r--	solinas64_2e192m2e64m1_4limbs.json	1749	log plain
-rw-r--r--	solinas64_2e192m2e64m1_5limbs.json	1772	log plain
-rw-r--r--	solinas64_2e194m33_4limbs.json	1562	log plain
-rw-r--r--	solinas64_2e194m33_5limbs.json	1568	log plain
-rw-r--r--	solinas64_2e196m15_4limbs.json	1560	log plain
-rw-r--r--	solinas64_2e196m15_5limbs.json	1568	log plain
-rw-r--r--	solinas64_2e198m17_4limbs.json	1562	log plain
-rw-r--r--	solinas64_2e198m17_5limbs.json	1568	log plain
-rw-r--r--	solinas64_2e206m5_4limbs.json	1579	log plain
-rw-r--r--	solinas64_2e206m5_5limbs.json	1585	log plain
-rw-r--r--	solinas64_2e212m29_4limbs.json	1600	log plain
-rw-r--r--	solinas64_2e212m29_5limbs.json	1608	log plain
-rw-r--r--	solinas64_2e213m3_4limbs.json	1600	log plain
-rw-r--r--	solinas64_2e213m3_5limbs.json	1605	log plain
-rw-r--r--	solinas64_2e216m2e108m1_4limbs.json	1836	log plain
-rw-r--r--	solinas64_2e216m2e108m1_5limbs.json	1859	log plain
-rw-r--r--	solinas64_2e221m3_4limbs.json	1620	log plain
-rw-r--r--	solinas64_2e221m3_5limbs.json	1625	log plain
-rw-r--r--	solinas64_2e222m117_4limbs.json	1625	log plain
-rw-r--r--	solinas64_2e222m117_5limbs.json	1631	log plain
-rw-r--r--	solinas64_2e224m2e96p1_5limbs.json	1852	log plain
-rw-r--r--	solinas64_2e224m2e96p1_6limbs.json	1877	log plain
-rw-r--r--	solinas64_2e226m5_4limbs.json	1639	log plain
-rw-r--r--	solinas64_2e226m5_5limbs.json	1645	log plain
-rw-r--r--	solinas64_2e230m27_4limbs.json	1642	log plain
-rw-r--r--	solinas64_2e230m27_5limbs.json	1646	log plain
-rw-r--r--	solinas64_2e235m15_4limbs.json	1663	log plain
-rw-r--r--	solinas64_2e235m15_5limbs.json	1666	log plain
-rw-r--r--	solinas64_2e243m9_5limbs.json	1685	log plain
-rw-r--r--	solinas64_2e243m9_6limbs.json	1691	log plain
-rw-r--r--	solinas64_2e251m9_5limbs.json	1705	log plain
-rw-r--r--	solinas64_2e251m9_6limbs.json	1715	log plain
-rw-r--r--	solinas64_2e255m19_5limbs.json	1706	log plain
-rw-r--r--	solinas64_2e255m19_6limbs.json	1714	log plain
-rw-r--r--	solinas64_2e255m765_5limbs.json	1709	log plain
-rw-r--r--	solinas64_2e255m765_6limbs.json	1717	log plain
-rw-r--r--	solinas64_2e256m189_5limbs.json	1711	log plain
-rw-r--r--	solinas64_2e256m189_6limbs.json	1721	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1_5limbs.json	2068	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1_6limbs.json	2093	log plain
-rw-r--r--	solinas64_2e256m2e32m977_6limbs.json	1948	log plain
-rw-r--r--	solinas64_2e256m2e32m977_7limbs.json	1969	log plain
-rw-r--r--	solinas64_2e256m4294968273_10limbs.json	1765	log plain
-rw-r--r--	solinas64_2e256m4294968273_9limbs.json	1760	log plain
-rw-r--r--	solinas64_2e266m3_5limbs.json	1745	log plain
-rw-r--r--	solinas64_2e266m3_6limbs.json	1755	log plain
-rw-r--r--	solinas64_2e285m9_5limbs.json	1783	log plain
-rw-r--r--	solinas64_2e285m9_6limbs.json	1791	log plain
-rw-r--r--	solinas64_2e291m19_5limbs.json	1808	log plain
-rw-r--r--	solinas64_2e291m19_6limbs.json	1814	log plain
-rw-r--r--	solinas64_2e321m9_6limbs.json	1891	log plain
-rw-r--r--	solinas64_2e321m9_7limbs.json	1901	log plain
-rw-r--r--	solinas64_2e322m2e161m1_6limbs.json	2164	log plain
-rw-r--r--	solinas64_2e322m2e161m1_7limbs.json	2179	log plain
-rw-r--r--	solinas64_2e336m17_6limbs.json	1912	log plain
-rw-r--r--	solinas64_2e336m17_7limbs.json	1918	log plain
-rw-r--r--	solinas64_2e336m3_6limbs.json	1909	log plain
-rw-r--r--	solinas64_2e336m3_7limbs.json	1915	log plain
-rw-r--r--	solinas64_2e338m15_6limbs.json	1938	log plain
-rw-r--r--	solinas64_2e338m15_7limbs.json	1944	log plain
-rw-r--r--	solinas64_2e369m25_7limbs.json	2024	log plain
-rw-r--r--	solinas64_2e369m25_8limbs.json	2028	log plain
-rw-r--r--	solinas64_2e379m19_7limbs.json	2044	log plain
-rw-r--r--	solinas64_2e379m19_8limbs.json	2048	log plain
-rw-r--r--	solinas64_2e382m105_7limbs.json	2047	log plain
-rw-r--r--	solinas64_2e382m105_8limbs.json	2050	log plain
-rw-r--r--	solinas64_2e383m187_7limbs.json	2047	log plain
-rw-r--r--	solinas64_2e383m187_8limbs.json	2051	log plain
-rw-r--r--	solinas64_2e383m31_7limbs.json	2044	log plain
-rw-r--r--	solinas64_2e383m31_8limbs.json	2048	log plain
-rw-r--r--	solinas64_2e383m421_7limbs.json	2047	log plain
-rw-r--r--	solinas64_2e383m421_8limbs.json	2051	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1_10limbs.json	2493	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1_9limbs.json	2473	log plain
-rw-r--r--	solinas64_2e384m317_7limbs.json	2047	log plain
-rw-r--r--	solinas64_2e384m317_8limbs.json	2047	log plain
-rw-r--r--	solinas64_2e389m21_7limbs.json	2064	log plain
-rw-r--r--	solinas64_2e389m21_8limbs.json	2068	log plain
-rw-r--r--	solinas64_2e401m31_7limbs.json	2104	log plain
-rw-r--r--	solinas64_2e401m31_8limbs.json	2108	log plain
-rw-r--r--	solinas64_2e413m21_7limbs.json	2118	log plain
-rw-r--r--	solinas64_2e413m21_8limbs.json	2128	log plain
-rw-r--r--	solinas64_2e414m17_8limbs.json	2127	log plain
-rw-r--r--	solinas64_2e414m17_9limbs.json	2130	log plain
-rw-r--r--	solinas64_2e416m2e208m1_8limbs.json	2420	log plain
-rw-r--r--	solinas64_2e416m2e208m1_9limbs.json	2447	log plain
-rw-r--r--	solinas64_2e444m17_8limbs.json	2206	log plain
-rw-r--r--	solinas64_2e444m17_9limbs.json	2216	log plain
-rw-r--r--	solinas64_2e448m2e224m1_10limbs.json	2547	log plain
-rw-r--r--	solinas64_2e448m2e224m1_8limbs.json	2500	log plain
-rw-r--r--	solinas64_2e450m2e225m1_10limbs.json	2565	log plain
-rw-r--r--	solinas64_2e450m2e225m1_8limbs.json	2523	log plain
-rw-r--r--	solinas64_2e452m3_8limbs.json	2223	log plain
-rw-r--r--	solinas64_2e452m3_9limbs.json	2233	log plain
-rw-r--r--	solinas64_2e468m17_8limbs.json	2266	log plain
-rw-r--r--	solinas64_2e468m17_9limbs.json	2270	log plain
-rw-r--r--	solinas64_2e480m2e240m1_10limbs.json	2625	log plain
-rw-r--r--	solinas64_2e480m2e240m1_8limbs.json	2580	log plain
-rw-r--r--	solinas64_2e488m17_10limbs.json	2321	log plain
-rw-r--r--	solinas64_2e488m17_9limbs.json	2316	log plain
-rw-r--r--	solinas64_2e489m21_10limbs.json	2341	log plain
-rw-r--r--	solinas64_2e489m21_9limbs.json	2336	log plain
-rw-r--r--	solinas64_2e495m31_10limbs.json	2341	log plain
-rw-r--r--	solinas64_2e495m31_9limbs.json	2330	log plain
-rw-r--r--	solinas64_2e511m187_10limbs.json	2384	log plain
-rw-r--r--	solinas64_2e511m187_11limbs.json	2395	log plain
-rw-r--r--	solinas64_2e511m481_10limbs.json	2384	log plain
-rw-r--r--	solinas64_2e511m481_11limbs.json	2395	log plain
-rw-r--r--	solinas64_2e512m569_10limbs.json	2384	log plain
-rw-r--r--	solinas64_2e512m569_11limbs.json	2395	log plain
-rw-r--r--	solinas64_2e521m1_10limbs.json	2418	log plain
-rw-r--r--	solinas64_2e521m1_9limbs.json	2413	log plain
-rw-r--r--	x2448_c64_karatsuba.json	315	log plain
-rw-r--r--	x25519_c32.json	12078	log plain
-rw-r--r--	x25519_c64.json	2613	log plain
-rw-r--r--	x2555_130.json	338	log plain