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

Mode	Name	Size
d---------	CurveParameters	27995	log plain
d---------	Framework	795	log plain
-rw-r--r--	IntegrationTestSquareDisplayHandPostLinearizedCSE.log	2677	log plain
d---------	NISTP256	107	log plain
d---------	X2448 / Karatsuba / C64	36	log plain
d---------	X25519	152	log plain
d---------	montgomery32_2e127m1_4limbs	985	log plain
d---------	montgomery32_2e129m25_5limbs	985	log plain
d---------	montgomery32_2e130m5_5limbs	985	log plain
d---------	montgomery32_2e137m13_5limbs	985	log plain
d---------	montgomery32_2e140m27_5limbs	985	log plain
d---------	montgomery32_2e141m9_5limbs	985	log plain
d---------	montgomery32_2e150m3_5limbs	985	log plain
d---------	montgomery32_2e150m5_5limbs	985	log plain
d---------	montgomery32_2e152m17_5limbs	985	log plain
d---------	montgomery32_2e158m15_5limbs	985	log plain
d---------	montgomery32_2e165m25_6limbs	985	log plain
d---------	montgomery32_2e166m5_6limbs	985	log plain
d---------	montgomery32_2e171m19_6limbs	985	log plain
d---------	montgomery32_2e174m17_6limbs	985	log plain
d---------	montgomery32_2e174m3_6limbs	985	log plain
d---------	montgomery32_2e189m25_6limbs	985	log plain
d---------	montgomery32_2e190m11_6limbs	985	log plain
d---------	montgomery32_2e191m19_6limbs	985	log plain
d---------	montgomery32_2e192m2e64m1_6limbs	985	log plain
d---------	montgomery32_2e194m33_7limbs	748	log plain
d---------	montgomery32_2e196m15_7limbs	748	log plain
d---------	montgomery32_2e198m17_7limbs	748	log plain
d---------	montgomery32_2e205m45x2e198m1_7limbs	748	log plain
d---------	montgomery32_2e206m5_7limbs	748	log plain
d---------	montgomery32_2e212m29_7limbs	748	log plain
d---------	montgomery32_2e213m3_7limbs	748	log plain
d---------	montgomery32_2e216m2e108m1_7limbs	748	log plain
d---------	montgomery32_2e221m3_7limbs	748	log plain
d---------	montgomery32_2e222m117_7limbs	748	log plain
d---------	montgomery32_2e224m2e96p1_7limbs	748	log plain
d---------	montgomery32_2e226m5_8limbs	748	log plain
d---------	montgomery32_2e230m27_8limbs	748	log plain
d---------	montgomery32_2e235m15_8limbs	748	log plain
d---------	montgomery32_2e243m9_8limbs	748	log plain
d---------	montgomery32_2e251m9_8limbs	748	log plain
d---------	montgomery32_2e254m127x2e240m1_8limbs	748	log plain
d---------	montgomery32_2e255m19_8limbs	748	log plain
d---------	montgomery32_2e255m765_8limbs	748	log plain
d---------	montgomery32_2e256m189_8limbs	748	log plain
d---------	montgomery32_2e256m2e224p2e192p2e96m1_8limbs	748	log plain
d---------	montgomery32_2e256m2e32m977_8limbs	748	log plain
d---------	montgomery32_2e256m4294968273_8limbs	748	log plain
d---------	montgomery32_2e256m88x2e240m1_8limbs	748	log plain
d---------	montgomery32_2e266m3_9limbs	748	log plain
d---------	montgomery32_2e285m9_9limbs	748	log plain
d---------	montgomery32_2e291m19_10limbs	748	log plain
d---------	montgomery32_2e321m9_11limbs	748	log plain
d---------	montgomery32_2e322m2e161m1_11limbs	748	log plain
d---------	montgomery32_2e336m17_11limbs	748	log plain
d---------	montgomery32_2e336m3_11limbs	748	log plain
d---------	montgomery32_2e338m15_11limbs	748	log plain
d---------	montgomery32_2e369m25_12limbs	748	log plain
d---------	montgomery32_2e379m19_12limbs	748	log plain
d---------	montgomery32_2e382m105_12limbs	748	log plain
d---------	montgomery32_2e383m187_12limbs	748	log plain
d---------	montgomery32_2e383m31_12limbs	748	log plain
d---------	montgomery32_2e383m421_12limbs	748	log plain
d---------	montgomery32_2e384m2e128m2e96p2e32m1_12limbs	748	log plain
d---------	montgomery32_2e384m317_12limbs	748	log plain
d---------	montgomery32_2e384m5x2e368m1_12limbs	748	log plain
d---------	montgomery32_2e384m79x2e376m1_12limbs	748	log plain
d---------	montgomery32_2e389m21_13limbs	748	log plain
d---------	montgomery32_2e401m31_13limbs	748	log plain
d---------	montgomery32_2e413m21_13limbs	748	log plain
d---------	montgomery32_2e414m17_13limbs	748	log plain
d---------	montgomery32_2e416m2e208m1_13limbs	748	log plain
d---------	montgomery32_2e444m17_14limbs	748	log plain
d---------	montgomery32_2e448m2e224m1_14limbs	748	log plain
d---------	montgomery32_2e450m2e225m1_15limbs	748	log plain
d---------	montgomery32_2e452m3_15limbs	748	log plain
d---------	montgomery32_2e468m17_15limbs	748	log plain
d---------	montgomery32_2e480m2e240m1_15limbs	748	log plain
d---------	montgomery32_2e488m17_16limbs	748	log plain
d---------	montgomery32_2e489m21_16limbs	748	log plain
d---------	montgomery32_2e495m31_16limbs	748	log plain
d---------	montgomery32_2e510m290x2e496m1_16limbs	748	log plain
d---------	montgomery32_2e511m187_16limbs	748	log plain
d---------	montgomery32_2e511m481_16limbs	748	log plain
d---------	montgomery32_2e512m491x2e496m1_16limbs	748	log plain
d---------	montgomery32_2e512m569_16limbs	748	log plain
d---------	montgomery32_2e521m1_17limbs	748	log plain
d---------	montgomery64_2e127m1_2limbs	985	log plain
d---------	montgomery64_2e129m25_3limbs	985	log plain
d---------	montgomery64_2e130m5_3limbs	985	log plain
d---------	montgomery64_2e137m13_3limbs	985	log plain
d---------	montgomery64_2e140m27_3limbs	985	log plain
d---------	montgomery64_2e141m9_3limbs	985	log plain
d---------	montgomery64_2e150m3_3limbs	985	log plain
d---------	montgomery64_2e150m5_3limbs	985	log plain
d---------	montgomery64_2e152m17_3limbs	985	log plain
d---------	montgomery64_2e158m15_3limbs	985	log plain
d---------	montgomery64_2e165m25_3limbs	985	log plain
d---------	montgomery64_2e166m5_3limbs	985	log plain
d---------	montgomery64_2e171m19_3limbs	985	log plain
d---------	montgomery64_2e174m17_3limbs	985	log plain
d---------	montgomery64_2e174m3_3limbs	985	log plain
d---------	montgomery64_2e189m25_3limbs	985	log plain
d---------	montgomery64_2e190m11_3limbs	985	log plain
d---------	montgomery64_2e191m19_3limbs	985	log plain
d---------	montgomery64_2e192m2e64m1_3limbs	985	log plain
d---------	montgomery64_2e194m33_4limbs	985	log plain
d---------	montgomery64_2e196m15_4limbs	985	log plain
d---------	montgomery64_2e198m17_4limbs	985	log plain
d---------	montgomery64_2e205m45x2e198m1_4limbs	985	log plain
d---------	montgomery64_2e206m5_4limbs	985	log plain
d---------	montgomery64_2e212m29_4limbs	985	log plain
d---------	montgomery64_2e213m3_4limbs	985	log plain
d---------	montgomery64_2e216m2e108m1_4limbs	985	log plain
d---------	montgomery64_2e221m3_4limbs	985	log plain
d---------	montgomery64_2e222m117_4limbs	985	log plain
d---------	montgomery64_2e224m2e96p1_4limbs	985	log plain
d---------	montgomery64_2e226m5_4limbs	985	log plain
d---------	montgomery64_2e230m27_4limbs	985	log plain
d---------	montgomery64_2e235m15_4limbs	985	log plain
d---------	montgomery64_2e243m9_4limbs	985	log plain
d---------	montgomery64_2e251m9_4limbs	985	log plain
d---------	montgomery64_2e254m127x2e240m1_4limbs	985	log plain
d---------	montgomery64_2e255m19_4limbs	985	log plain
d---------	montgomery64_2e255m765_4limbs	985	log plain
d---------	montgomery64_2e256m189_4limbs	985	log plain
d---------	montgomery64_2e256m2e224p2e192p2e96m1_4limbs	985	log plain
d---------	montgomery64_2e256m2e32m977_4limbs	985	log plain
d---------	montgomery64_2e256m4294968273_4limbs	985	log plain
d---------	montgomery64_2e256m88x2e240m1_4limbs	985	log plain
d---------	montgomery64_2e266m3_5limbs	985	log plain
d---------	montgomery64_2e285m9_5limbs	985	log plain
d---------	montgomery64_2e291m19_5limbs	985	log plain
d---------	montgomery64_2e321m9_6limbs	985	log plain
d---------	montgomery64_2e322m2e161m1_6limbs	985	log plain
d---------	montgomery64_2e336m17_6limbs	985	log plain
d---------	montgomery64_2e336m3_6limbs	985	log plain
d---------	montgomery64_2e338m15_6limbs	985	log plain
d---------	montgomery64_2e369m25_6limbs	985	log plain
d---------	montgomery64_2e379m19_6limbs	985	log plain
d---------	montgomery64_2e382m105_6limbs	985	log plain
d---------	montgomery64_2e383m187_6limbs	985	log plain
d---------	montgomery64_2e383m31_6limbs	985	log plain
d---------	montgomery64_2e383m421_6limbs	985	log plain
d---------	montgomery64_2e384m2e128m2e96p2e32m1_6limbs	985	log plain
d---------	montgomery64_2e384m317_6limbs	985	log plain
d---------	montgomery64_2e384m5x2e368m1_6limbs	985	log plain
d---------	montgomery64_2e384m79x2e376m1_6limbs	985	log plain
d---------	montgomery64_2e389m21_7limbs	748	log plain
d---------	montgomery64_2e401m31_7limbs	748	log plain
d---------	montgomery64_2e413m21_7limbs	748	log plain
d---------	montgomery64_2e414m17_7limbs	748	log plain
d---------	montgomery64_2e416m2e208m1_7limbs	748	log plain
d---------	montgomery64_2e444m17_7limbs	748	log plain
d---------	montgomery64_2e448m2e224m1_7limbs	748	log plain
d---------	montgomery64_2e450m2e225m1_8limbs	748	log plain
d---------	montgomery64_2e452m3_8limbs	748	log plain
d---------	montgomery64_2e468m17_8limbs	748	log plain
d---------	montgomery64_2e480m2e240m1_8limbs	748	log plain
d---------	montgomery64_2e488m17_8limbs	748	log plain
d---------	montgomery64_2e489m21_8limbs	748	log plain
d---------	montgomery64_2e495m31_8limbs	748	log plain
d---------	montgomery64_2e510m290x2e496m1_8limbs	748	log plain
d---------	montgomery64_2e511m187_8limbs	748	log plain
d---------	montgomery64_2e511m481_8limbs	748	log plain
d---------	montgomery64_2e512m491x2e496m1_8limbs	748	log plain
d---------	montgomery64_2e512m569_8limbs	748	log plain
d---------	montgomery64_2e521m1_9limbs	748	log plain
d---------	solinas32_2e127m1_5limbs	1005	log plain
d---------	solinas32_2e127m1_6limbs	1005	log plain
d---------	solinas32_2e129m25_5limbs	1005	log plain
d---------	solinas32_2e129m25_6limbs	1005	log plain
d---------	solinas32_2e130m5_5limbs	1005	log plain
d---------	solinas32_2e130m5_6limbs	1005	log plain
d---------	solinas32_2e137m13_5limbs	1005	log plain
d---------	solinas32_2e137m13_6limbs	1005	log plain
d---------	solinas32_2e140m27_6limbs	1005	log plain
d---------	solinas32_2e140m27_7limbs	1005	log plain
d---------	solinas32_2e141m9_6limbs	1005	log plain
d---------	solinas32_2e141m9_7limbs	1005	log plain
d---------	solinas32_2e150m3_6limbs	1005	log plain
d---------	solinas32_2e150m3_7limbs	1005	log plain
d---------	solinas32_2e150m5_6limbs	1005	log plain
d---------	solinas32_2e150m5_7limbs	1005	log plain
d---------	solinas32_2e152m17_6limbs	1005	log plain
d---------	solinas32_2e152m17_7limbs	1005	log plain
d---------	solinas32_2e158m15_6limbs	1005	log plain
d---------	solinas32_2e158m15_7limbs	1005	log plain
d---------	solinas32_2e165m25_7limbs	1005	log plain
d---------	solinas32_2e165m25_8limbs	1005	log plain
d---------	solinas32_2e166m5_6limbs	1005	log plain
d---------	solinas32_2e166m5_7limbs	1005	log plain
d---------	solinas32_2e171m19_7limbs	1005	log plain
d---------	solinas32_2e171m19_8limbs	1005	log plain
d---------	solinas32_2e174m17_7limbs	1005	log plain
d---------	solinas32_2e174m17_8limbs	1005	log plain
d---------	solinas32_2e174m3_7limbs	1005	log plain
d---------	solinas32_2e174m3_8limbs	1005	log plain
d---------	solinas32_2e189m25_7limbs	1005	log plain
d---------	solinas32_2e189m25_8limbs	1005	log plain
d---------	solinas32_2e190m11_7limbs	1005	log plain
d---------	solinas32_2e190m11_8limbs	1005	log plain
d---------	solinas32_2e191m19_8limbs	1005	log plain
d---------	solinas32_2e191m19_9limbs	1005	log plain
d---------	solinas32_2e192m2e64m1_10limbs	1005	log plain
d---------	solinas32_2e192m2e64m1_9limbs	1005	log plain
d---------	solinas32_2e194m33_8limbs	1005	log plain
d---------	solinas32_2e194m33_9limbs	1005	log plain
d---------	solinas32_2e196m15_8limbs	1005	log plain
d---------	solinas32_2e196m15_9limbs	1005	log plain
d---------	solinas32_2e198m17_8limbs	1005	log plain
d---------	solinas32_2e198m17_9limbs	1005	log plain
d---------	solinas32_2e206m5_8limbs	1005	log plain
d---------	solinas32_2e206m5_9limbs	1005	log plain
d---------	solinas32_2e212m29_8limbs	1005	log plain
d---------	solinas32_2e212m29_9limbs	1005	log plain
d---------	solinas32_2e213m3_8limbs	1005	log plain
d---------	solinas32_2e213m3_9limbs	1005	log plain
d---------	solinas32_2e216m2e108m1_10limbs	1005	log plain
d---------	solinas32_2e216m2e108m1_8limbs	1005	log plain
d---------	solinas32_2e221m3_8limbs	1005	log plain
d---------	solinas32_2e221m3_9limbs	1005	log plain
d---------	solinas32_2e222m117_10limbs	1005	log plain
d---------	solinas32_2e222m117_9limbs	1005	log plain
d---------	solinas32_2e224m2e96p1_10limbs	762	log plain
d---------	solinas32_2e224m2e96p1_11limbs	762	log plain
d---------	solinas32_2e226m5_10limbs	1005	log plain
d---------	solinas32_2e226m5_9limbs	1005	log plain
d---------	solinas32_2e230m27_10limbs	1005	log plain
d---------	solinas32_2e230m27_9limbs	1005	log plain
d---------	solinas32_2e235m15_10limbs	1005	log plain
d---------	solinas32_2e235m15_9limbs	1005	log plain
d---------	solinas32_2e243m9_10limbs	1005	log plain
d---------	solinas32_2e243m9_9limbs	1005	log plain
d---------	solinas32_2e251m9_10limbs	1005	log plain
d---------	solinas32_2e251m9_11limbs	1005	log plain
d---------	solinas32_2e255m19_10limbs	1005	log plain
d---------	solinas32_2e255m19_11limbs	1005	log plain
d---------	solinas32_2e255m765_12limbs	1005	log plain
d---------	solinas32_2e255m765_13limbs	1005	log plain
d---------	solinas32_2e256m189_11limbs	1005	log plain
d---------	solinas32_2e256m189_12limbs	1005	log plain
d---------	solinas32_2e256m2e224p2e192p2e96m1_11limbs	762	log plain
d---------	solinas32_2e256m2e224p2e192p2e96m1_12limbs	762	log plain
d---------	solinas32_2e256m2e32m977_12limbs	1005	log plain
d---------	solinas32_2e256m2e32m977_13limbs	1005	log plain
d---------	solinas32_2e266m3_10limbs	1005	log plain
d---------	solinas32_2e266m3_11limbs	1005	log plain
d---------	solinas32_2e285m9_11limbs	1005	log plain
d---------	solinas32_2e285m9_12limbs	1005	log plain
d---------	solinas32_2e291m19_11limbs	1005	log plain
d---------	solinas32_2e291m19_12limbs	1005	log plain
d---------	solinas32_2e321m9_12limbs	1005	log plain
d---------	solinas32_2e321m9_13limbs	1005	log plain
d---------	solinas32_2e322m2e161m1_12limbs	1005	log plain
d---------	solinas32_2e322m2e161m1_14limbs	1005	log plain
d---------	solinas32_2e336m17_13limbs	1005	log plain
d---------	solinas32_2e336m17_14limbs	1005	log plain
d---------	solinas32_2e336m3_12limbs	1005	log plain
d---------	solinas32_2e336m3_13limbs	1005	log plain
d---------	solinas32_2e338m15_13limbs	1005	log plain
d---------	solinas32_2e338m15_14limbs	1005	log plain
d---------	solinas32_2e369m25_15limbs	1005	log plain
d---------	solinas32_2e369m25_16limbs	1005	log plain
d---------	solinas32_2e379m19_15limbs	1005	log plain
d---------	solinas32_2e379m19_16limbs	1005	log plain
d---------	solinas32_2e382m105_16limbs	1005	log plain
d---------	solinas32_2e382m105_17limbs	1005	log plain
d---------	solinas32_2e383m187_16limbs	1005	log plain
d---------	solinas32_2e383m187_17limbs	1005	log plain
d---------	solinas32_2e383m31_15limbs	1005	log plain
d---------	solinas32_2e383m31_16limbs	1005	log plain
d---------	solinas32_2e383m421_17limbs	1005	log plain
d---------	solinas32_2e383m421_18limbs	1005	log plain
d---------	solinas32_2e384m2e128m2e96p2e32m1_18limbs	762	log plain
d---------	solinas32_2e384m2e128m2e96p2e32m1_19limbs	762	log plain
d---------	solinas32_2e384m317_17limbs	1005	log plain
d---------	solinas32_2e384m317_18limbs	1005	log plain
d---------	solinas32_2e389m21_15limbs	1005	log plain
d---------	solinas32_2e389m21_16limbs	1005	log plain
d---------	solinas32_2e401m31_16limbs	1005	log plain
d---------	solinas32_2e401m31_17limbs	1005	log plain
d---------	solinas32_2e413m21_16limbs	1005	log plain
d---------	solinas32_2e413m21_17limbs	1005	log plain
d---------	solinas32_2e414m17_16limbs	1005	log plain
d---------	solinas32_2e414m17_17limbs	1005	log plain
d---------	solinas32_2e416m2e208m1_16limbs	1005	log plain
d---------	solinas32_2e416m2e208m1_18limbs	1005	log plain
d---------	solinas32_2e444m17_17limbs	1005	log plain
d---------	solinas32_2e444m17_18limbs	1005	log plain
d---------	solinas32_2e448m2e224m1_16limbs	1005	log plain
d---------	solinas32_2e448m2e224m1_18limbs	1005	log plain
d---------	solinas32_2e450m2e225m1_18limbs	926	log plain
d---------	solinas32_2e450m2e225m1_20limbs	841	log plain
d---------	solinas32_2e452m3_17limbs	1005	log plain
d---------	solinas32_2e452m3_18limbs	1005	log plain
d---------	solinas32_2e468m17_18limbs	1005	log plain
d---------	solinas32_2e468m17_19limbs	1005	log plain
d---------	solinas32_2e480m2e240m1_18limbs	1005	log plain
d---------	solinas32_2e480m2e240m1_20limbs	926	log plain
d---------	solinas32_2e488m17_19limbs	1005	log plain
d---------	solinas32_2e488m17_20limbs	1005	log plain
d---------	solinas32_2e489m21_19limbs	1005	log plain
d---------	solinas32_2e489m21_20limbs	1005	log plain
d---------	solinas32_2e495m31_20limbs	1005	log plain
d---------	solinas32_2e495m31_21limbs	1005	log plain
d---------	solinas32_2e511m187_22limbs	1005	log plain
d---------	solinas32_2e511m187_23limbs	926	log plain
d---------	solinas32_2e511m481_23limbs	926	log plain
d---------	solinas32_2e511m481_24limbs	926	log plain
d---------	solinas32_2e512m569_24limbs	926	log plain
d---------	solinas32_2e512m569_25limbs	926	log plain
d---------	solinas32_2e521m1_19limbs	1005	log plain
d---------	solinas32_2e521m1_20limbs	1005	log plain
d---------	solinas64_2e127m1_3limbs	1005	log plain
d---------	solinas64_2e129m25_3limbs	1005	log plain
d---------	solinas64_2e129m25_4limbs	1005	log plain
d---------	solinas64_2e130m5_3limbs	1005	log plain
d---------	solinas64_2e130m5_4limbs	1005	log plain
d---------	solinas64_2e137m13_3limbs	1005	log plain
d---------	solinas64_2e137m13_4limbs	1005	log plain
d---------	solinas64_2e140m27_3limbs	1005	log plain
d---------	solinas64_2e140m27_4limbs	1005	log plain
d---------	solinas64_2e141m9_3limbs	1005	log plain
d---------	solinas64_2e141m9_4limbs	1005	log plain
d---------	solinas64_2e150m3_3limbs	1005	log plain
d---------	solinas64_2e150m3_4limbs	1005	log plain
d---------	solinas64_2e150m5_3limbs	1005	log plain
d---------	solinas64_2e150m5_4limbs	1005	log plain
d---------	solinas64_2e152m17_3limbs	1005	log plain
d---------	solinas64_2e152m17_4limbs	1005	log plain
d---------	solinas64_2e158m15_3limbs	1005	log plain
d---------	solinas64_2e158m15_4limbs	1005	log plain
d---------	solinas64_2e165m25_3limbs	1005	log plain
d---------	solinas64_2e165m25_4limbs	1005	log plain
d---------	solinas64_2e166m5_3limbs	1005	log plain
d---------	solinas64_2e166m5_4limbs	1005	log plain
d---------	solinas64_2e171m19_3limbs	1005	log plain
d---------	solinas64_2e171m19_4limbs	1005	log plain
d---------	solinas64_2e174m17_3limbs	1005	log plain
d---------	solinas64_2e174m17_4limbs	1005	log plain
d---------	solinas64_2e174m3_3limbs	1005	log plain
d---------	solinas64_2e174m3_4limbs	1005	log plain
d---------	solinas64_2e189m25_4limbs	1005	log plain
d---------	solinas64_2e189m25_5limbs	1005	log plain
d---------	solinas64_2e190m11_4limbs	1005	log plain
d---------	solinas64_2e190m11_5limbs	1005	log plain
d---------	solinas64_2e191m19_4limbs	1005	log plain
d---------	solinas64_2e191m19_5limbs	1005	log plain
d---------	solinas64_2e192m2e64m1_4limbs	1005	log plain
d---------	solinas64_2e192m2e64m1_5limbs	1005	log plain
d---------	solinas64_2e194m33_4limbs	1005	log plain
d---------	solinas64_2e194m33_5limbs	1005	log plain
d---------	solinas64_2e196m15_4limbs	1005	log plain
d---------	solinas64_2e196m15_5limbs	1005	log plain
d---------	solinas64_2e198m17_4limbs	1005	log plain
d---------	solinas64_2e198m17_5limbs	1005	log plain
d---------	solinas64_2e206m5_4limbs	1005	log plain
d---------	solinas64_2e206m5_5limbs	1005	log plain
d---------	solinas64_2e212m29_4limbs	1005	log plain
d---------	solinas64_2e212m29_5limbs	1005	log plain
d---------	solinas64_2e213m3_4limbs	1005	log plain
d---------	solinas64_2e213m3_5limbs	1005	log plain
d---------	solinas64_2e216m2e108m1_4limbs	1005	log plain
d---------	solinas64_2e216m2e108m1_5limbs	841	log plain
d---------	solinas64_2e221m3_4limbs	1005	log plain
d---------	solinas64_2e221m3_5limbs	1005	log plain
d---------	solinas64_2e222m117_4limbs	1005	log plain
d---------	solinas64_2e222m117_5limbs	1005	log plain
d---------	solinas64_2e224m2e96p1_5limbs	762	log plain
d---------	solinas64_2e224m2e96p1_6limbs	762	log plain
d---------	solinas64_2e226m5_4limbs	1005	log plain
d---------	solinas64_2e226m5_5limbs	1005	log plain
d---------	solinas64_2e230m27_4limbs	1005	log plain
d---------	solinas64_2e230m27_5limbs	1005	log plain
d---------	solinas64_2e235m15_4limbs	1005	log plain
d---------	solinas64_2e235m15_5limbs	1005	log plain
d---------	solinas64_2e243m9_5limbs	1005	log plain
d---------	solinas64_2e243m9_6limbs	1005	log plain
d---------	solinas64_2e251m9_5limbs	1005	log plain
d---------	solinas64_2e251m9_6limbs	1005	log plain
d---------	solinas64_2e255m19_5limbs	1005	log plain
d---------	solinas64_2e255m19_6limbs	1005	log plain
d---------	solinas64_2e255m765_5limbs	1005	log plain
d---------	solinas64_2e255m765_6limbs	1005	log plain
d---------	solinas64_2e256m189_5limbs	1005	log plain
d---------	solinas64_2e256m189_6limbs	1005	log plain
d---------	solinas64_2e256m2e224p2e192p2e96m1_5limbs	762	log plain
d---------	solinas64_2e256m2e224p2e192p2e96m1_6limbs	762	log plain
d---------	solinas64_2e256m2e32m977_6limbs	1005	log plain
d---------	solinas64_2e256m2e32m977_7limbs	1005	log plain
d---------	solinas64_2e256m4294968273_10limbs	1005	log plain
d---------	solinas64_2e256m4294968273_9limbs	1005	log plain
d---------	solinas64_2e266m3_5limbs	1005	log plain
d---------	solinas64_2e266m3_6limbs	1005	log plain
d---------	solinas64_2e285m9_5limbs	1005	log plain
d---------	solinas64_2e285m9_6limbs	1005	log plain
d---------	solinas64_2e291m19_5limbs	1005	log plain
d---------	solinas64_2e291m19_6limbs	1005	log plain
d---------	solinas64_2e321m9_6limbs	1005	log plain
d---------	solinas64_2e321m9_7limbs	1005	log plain
d---------	solinas64_2e322m2e161m1_6limbs	1005	log plain
d---------	solinas64_2e322m2e161m1_7limbs	841	log plain
d---------	solinas64_2e336m17_6limbs	1005	log plain
d---------	solinas64_2e336m17_7limbs	1005	log plain
d---------	solinas64_2e336m3_6limbs	1005	log plain
d---------	solinas64_2e336m3_7limbs	1005	log plain
d---------	solinas64_2e338m15_6limbs	1005	log plain
d---------	solinas64_2e338m15_7limbs	1005	log plain
d---------	solinas64_2e369m25_7limbs	1005	log plain
d---------	solinas64_2e369m25_8limbs	1005	log plain
d---------	solinas64_2e379m19_7limbs	1005	log plain
d---------	solinas64_2e379m19_8limbs	1005	log plain
d---------	solinas64_2e382m105_7limbs	1005	log plain
d---------	solinas64_2e382m105_8limbs	1005	log plain
d---------	solinas64_2e383m187_7limbs	1005	log plain
d---------	solinas64_2e383m187_8limbs	1005	log plain
d---------	solinas64_2e383m31_7limbs	1005	log plain
d---------	solinas64_2e383m31_8limbs	1005	log plain
d---------	solinas64_2e383m421_7limbs	1005	log plain
d---------	solinas64_2e383m421_8limbs	1005	log plain
d---------	solinas64_2e384m2e128m2e96p2e32m1_10limbs	762	log plain
d---------	solinas64_2e384m2e128m2e96p2e32m1_9limbs	762	log plain
d---------	solinas64_2e384m317_7limbs	1005	log plain
d---------	solinas64_2e384m317_8limbs	1005	log plain
d---------	solinas64_2e389m21_7limbs	1005	log plain
d---------	solinas64_2e389m21_8limbs	1005	log plain
d---------	solinas64_2e401m31_7limbs	1005	log plain
d---------	solinas64_2e401m31_8limbs	1005	log plain
d---------	solinas64_2e413m21_7limbs	1005	log plain
d---------	solinas64_2e413m21_8limbs	1005	log plain
d---------	solinas64_2e414m17_8limbs	1005	log plain
d---------	solinas64_2e414m17_9limbs	1005	log plain
d---------	solinas64_2e416m2e208m1_8limbs	1005	log plain
d---------	solinas64_2e416m2e208m1_9limbs	841	log plain
d---------	solinas64_2e444m17_8limbs	1005	log plain
d---------	solinas64_2e444m17_9limbs	1005	log plain
d---------	solinas64_2e448m2e224m1_10limbs	1005	log plain
d---------	solinas64_2e448m2e224m1_8limbs	1005	log plain
d---------	solinas64_2e450m2e225m1_10limbs	1005	log plain
d---------	solinas64_2e450m2e225m1_8limbs	1005	log plain
d---------	solinas64_2e452m3_8limbs	1005	log plain
d---------	solinas64_2e452m3_9limbs	1005	log plain
d---------	solinas64_2e468m17_8limbs	1005	log plain
d---------	solinas64_2e468m17_9limbs	1005	log plain
d---------	solinas64_2e480m2e240m1_10limbs	1005	log plain
d---------	solinas64_2e480m2e240m1_8limbs	1005	log plain
d---------	solinas64_2e488m17_10limbs	1005	log plain
d---------	solinas64_2e488m17_9limbs	1005	log plain
d---------	solinas64_2e489m21_10limbs	1005	log plain
d---------	solinas64_2e489m21_9limbs	1005	log plain
d---------	solinas64_2e495m31_10limbs	1005	log plain
d---------	solinas64_2e495m31_9limbs	1005	log plain
d---------	solinas64_2e511m187_10limbs	1005	log plain
d---------	solinas64_2e511m187_11limbs	1005	log plain
d---------	solinas64_2e511m481_10limbs	1005	log plain
d---------	solinas64_2e511m481_11limbs	1005	log plain
d---------	solinas64_2e512m569_10limbs	1005	log plain
d---------	solinas64_2e512m569_11limbs	1005	log plain
d---------	solinas64_2e521m1_10limbs	1005	log plain
d---------	solinas64_2e521m1_9limbs	1005	log plain