2e127m1 fiat_solinas32 0.33 2e127m1 gmpvar32 3.24 2e127m1 gmpsec32 2.90 2e127m1 fiat_solinas32 0.43 2e127m1 gmpvar32 3.24 2e127m1 gmpsec32 2.88 2e129m25 fiat_solinas32 0.37 2e129m25 gmpvar32 3.78 2e129m25 gmpsec32 3.43 2e129m25 fiat_solinas32 0.51 2e129m25 gmpvar32 3.76 2e129m25 gmpsec32 3.41 2e130m5 fiat_solinas32 0.45 2e130m5 gmpvar32 3.77 2e130m5 gmpsec32 3.42 2e130m5 fiat_solinas32 0.47 2e130m5 gmpvar32 3.75 2e130m5 gmpsec32 3.44 2e137m13 fiat_solinas32 0.48 2e137m13 gmpvar32 3.79 2e137m13 gmpsec32 3.38 2e140m27 fiat_solinas32 0.49 2e140m27 gmpvar32 3.80 2e140m27 gmpsec32 3.39 2e140m27 fiat_solinas32 0.55 2e140m27 gmpvar32 3.90 2e140m27 gmpsec32 3.42 2e141m9 fiat_solinas32 0.48 2e141m9 gmpvar32 3.81 2e141m9 gmpsec32 3.44 2e141m9 fiat_solinas32 0.60 2e141m9 gmpvar32 3.78 2e141m9 gmpsec32 3.41 2e150m3 fiat_solinas32 0.43 2e150m3 gmpvar32 3.83 2e150m3 gmpsec32 3.42 2e150m3 fiat_solinas32 0.59 2e150m3 gmpvar32 3.79 2e150m3 gmpsec32 3.42 2e150m5 fiat_solinas32 0.47 2e150m5 gmpvar32 3.76 2e150m5 gmpsec32 3.41 2e150m5 fiat_solinas32 0.56 2e150m5 gmpvar32 3.80 2e150m5 gmpsec32 3.45 2e152m17 fiat_solinas32 0.48 2e152m17 gmpvar32 3.85 2e152m17 gmpsec32 3.40 2e152m17 fiat_solinas32 0.61 2e152m17 gmpvar32 3.80 2e152m17 gmpsec32 3.42 2e158m15 fiat_solinas32 0.51 2e158m15 gmpvar32 3.77 2e158m15 gmpsec32 3.41 2e158m15 fiat_solinas32 0.62 2e158m15 gmpvar32 3.80 2e158m15 gmpsec32 3.41 2e165m25 fiat_solinas32 0.60 2e165m25 gmpvar32 4.43 2e165m25 gmpsec32 4.03 2e165m25 fiat_solinas32 0.71 2e165m25 gmpvar32 4.43 2e165m25 gmpsec32 4.00 2e166m5 fiat_solinas32 0.62 2e166m5 gmpvar32 4.45 2e166m5 gmpsec32 3.99 2e171m19 fiat_solinas32 0.62 2e171m19 gmpvar32 4.35 2e171m19 gmpsec32 4.02 2e171m19 fiat_solinas32 0.73 2e171m19 gmpvar32 4.39 2e171m19 gmpsec32 4.02 2e174m17 fiat_solinas32 0.62 2e174m17 gmpvar32 4.40 2e174m17 gmpsec32 4.04 2e174m17 fiat_solinas32 0.74 2e174m17 gmpvar32 4.36 2e174m17 gmpsec32 4.04 2e174m3 fiat_solinas32 0.59 2e174m3 gmpvar32 4.41 2e174m3 gmpsec32 4.03 2e174m3 fiat_solinas32 0.66 2e174m3 gmpvar32 4.36 2e174m3 gmpsec32 4.06 2e189m25 fiat_solinas32 0.71 2e189m25 gmpvar32 4.40 2e189m25 gmpsec32 4.07 2e190m11 fiat_solinas32 0.69 2e190m11 gmpvar32 4.42 2e190m11 gmpsec32 4.04 2e191m19 fiat_solinas32 0.70 2e191m19 gmpvar32 4.40 2e191m19 gmpsec32 4.08 2e191m19 fiat_solinas32 0.86 2e191m19 gmpvar32 4.42 2e191m19 gmpsec32 4.04 2e194m33 fiat_solinas32 0.72 2e194m33 gmpvar32 5.01 2e194m33 gmpsec32 4.65 2e194m33 fiat_solinas32 0.90 2e194m33 gmpvar32 5.02 2e194m33 gmpsec32 4.66 2e196m15 fiat_solinas32 0.76 2e196m15 gmpvar32 4.95 2e196m15 gmpsec32 4.69 2e196m15 fiat_solinas32 0.89 2e196m15 gmpvar32 4.95 2e196m15 gmpsec32 4.67 2e198m17 fiat_solinas32 0.72 2e198m17 gmpvar32 4.93 2e198m17 gmpsec32 4.69 2e206m5 fiat_solinas32 0.72 2e206m5 gmpvar32 4.97 2e206m5 gmpsec32 4.64 2e206m5 fiat_solinas32 0.84 2e206m5 gmpvar32 4.95 2e206m5 gmpsec32 4.72 2e212m29 fiat_solinas32 0.89 2e212m29 gmpvar32 4.98 2e212m29 gmpsec32 4.66 2e213m3 fiat_solinas32 0.70 2e213m3 gmpvar32 4.97 2e213m3 gmpsec32 4.66 2e213m3 fiat_solinas32 0.81 2e213m3 gmpvar32 4.96 2e213m3 gmpsec32 4.64 2e216m2e108m1 fiat_solinas32 0.96 2e216m2e108m1 gmpvar32 4.93 2e216m2e108m1 gmpsec32 4.68 2e216m2e108m1 fiat_solinas32 0.67 2e216m2e108m1 gmpvar32 4.92 2e216m2e108m1 gmpsec32 4.70 2e221m3 fiat_solinas32 0.81 2e221m3 gmpvar32 5.08 2e221m3 gmpsec32 4.67 2e222m117 fiat_solinas32 0.88 2e222m117 gmpvar32 4.93 2e222m117 gmpsec32 4.68 2e226m5 fiat_solinas32 1.02 2e226m5 gmpvar32 5.70 2e226m5 gmpsec32 5.25 2e226m5 fiat_solinas32 0.90 2e226m5 gmpvar32 5.65 2e226m5 gmpsec32 5.28 2e230m27 fiat_solinas32 0.82 2e230m27 gmpvar32 5.68 2e230m27 gmpsec32 5.28 2e235m15 fiat_solinas32 1.19 2e235m15 gmpvar32 5.65 2e235m15 gmpsec32 5.24 2e243m9 fiat_solinas32 1.09 2e243m9 gmpvar32 5.72 2e243m9 gmpsec32 5.26 2e251m9 fiat_solinas32 1.16 2e251m9 gmpvar32 5.68 2e251m9 gmpsec32 5.29 2e255m19 fiat_solinas32 1.16 2e255m19 gmpvar32 5.69 2e255m19 gmpsec32 5.27 2e255m765 fiat_solinas32 1.61 2e255m765 gmpvar32 5.72 2e255m765 gmpsec32 5.36 2e256m189 fiat_solinas32 1.15 2e256m189 gmpvar32 5.53 2e256m189 gmpsec32 4.74 2e256m2e32m977 fiat_solinas32 1.97 2e256m2e32m977 gmpvar32 5.55 2e256m2e32m977 gmpsec32 4.73 2e266m3 fiat_solinas32 0.97 2e266m3 gmpvar32 6.39 2e266m3 gmpsec32 6.07 2e266m3 fiat_solinas32 1.09 2e266m3 gmpvar32 6.32 2e266m3 gmpsec32 6.12 2e285m9 fiat_solinas32 1.22 2e285m9 gmpvar32 6.38 2e285m9 gmpsec32 6.08 2e285m9 fiat_solinas32 1.49 2e285m9 gmpvar32 6.32 2e285m9 gmpsec32 6.05 2e321m9 fiat_solinas32 1.73 2e321m9 gmpvar32 7.75 2e321m9 gmpsec32 7.67 2e322m2e161m1 fiat_solinas32 1.34 2e322m2e161m1 gmpvar32 7.76 2e322m2e161m1 gmpsec32 7.71 2e336m17 fiat_solinas32 1.66 2e336m17 gmpvar32 7.74 2e336m17 gmpsec32 7.59 2e336m3 fiat_solinas32 1.59 2e336m3 gmpvar32 7.75 2e336m3 gmpsec32 7.65 2e338m15 fiat_solinas32 1.93 2e338m15 gmpvar32 7.73 2e338m15 gmpsec32 7.60 2e369m25 fiat_solinas32 2.53 2e369m25 gmpvar32 9.06 2e369m25 gmpsec32 8.40 2e379m19 fiat_solinas32 2.49 2e379m19 gmpvar32 9.16 2e379m19 gmpsec32 8.41 2e379m19 fiat_solinas32 3.02 2e379m19 gmpvar32 9.04 2e379m19 gmpsec32 8.45 2e382m105 fiat_solinas32 2.68 2e382m105 gmpvar32 9.09 2e382m105 gmpsec32 8.39 2e382m105 fiat_solinas32 4.03 2e382m105 gmpvar32 9.08 2e382m105 gmpsec32 8.46 2e383m187 fiat_solinas32 2.59 2e383m187 gmpvar32 9.18 2e383m187 gmpsec32 8.43 2e383m187 fiat_solinas32 4.18 2e383m187 gmpvar32 9.10 2e383m187 gmpsec32 8.41 2e383m31 fiat_solinas32 2.58 2e383m31 gmpvar32 9.12 2e383m31 gmpsec32 8.38 2e383m421 fiat_solinas32 4.20 2e383m421 gmpvar32 9.20 2e383m421 gmpsec32 8.45 2e383m421 fiat_solinas32 3.57 2e383m421 gmpvar32 9.06 2e383m421 gmpsec32 8.42 2e384m317 fiat_solinas32 3.94 2e384m317 gmpvar32 8.88 2e384m317 gmpsec32 7.67 2e389m21 fiat_solinas32 3.00 2e389m21 gmpvar32 9.84 2e389m21 gmpsec32 9.39 2e401m31 fiat_solinas32 4.18 2e401m31 gmpvar32 9.86 2e401m31 gmpsec32 9.38 2e413m21 fiat_solinas32 3.53 2e413m21 gmpvar32 10.02 2e413m21 gmpsec32 9.33 2e414m17 fiat_solinas32 3.73 2e414m17 gmpvar32 9.86 2e414m17 gmpsec32 9.40 2e416m2e208m1 fiat_solinas32 3.32 2e416m2e208m1 gmpvar32 9.66 2e416m2e208m1 gmpsec32 8.52 2e444m17 fiat_solinas32 3.63 2e444m17 gmpvar32 10.77 2e444m17 gmpsec32 10.38 2e448m2e224m1 fiat_solinas32 3.16 2e448m2e224m1 gmpvar32 10.54 2e448m2e224m1 gmpsec32 9.42 2e452m3 fiat_solinas32 3.74 2e452m3 gmpvar32 11.70 2e452m3 gmpsec32 11.40 2e452m3 fiat_solinas32 3.22 2e452m3 gmpvar32 11.63 2e452m3 gmpsec32 11.30 2e468m17 fiat_solinas32 5.37 2e468m17 gmpvar32 11.62 2e468m17 gmpsec32 11.39 2e480m2e240m1 fiat_solinas32 3.55 2e480m2e240m1 gmpvar32 11.36 2e480m2e240m1 gmpsec32 10.48 2e488m17 fiat_solinas32 8.01 2e488m17 gmpvar32 13.04 2e488m17 gmpsec32 12.31 2e489m21 fiat_solinas32 7.70 2e489m21 gmpvar32 12.91 2e489m21 gmpsec32 12.22 2e495m31 fiat_solinas32 6.06 2e495m31 gmpvar32 12.97 2e495m31 gmpsec32 12.20 2e495m31 fiat_solinas32 8.62 2e495m31 gmpvar32 12.97 2e495m31 gmpsec32 12.28 2e521m1 fiat_solinas32 5.33 2e521m1 gmpvar32 13.94 2e521m1 gmpsec32 13.35