prime,"PipelineFlatNBEOf with extraction OCaml (real, s)","PipelineNBEOf with vm_compute (real, s)","GallinaAxOf with vm_compute (real, s)","GallinaAxOf with cbv (real, s)",extra info
170141183460469231731687303715884105727,0.026762,0.162,0.033,0.845,UnsaturatedSolinas x32 (0)
170141183460469231731687303715884105727,0.012674,0.082,0.012,0.383,UnsaturatedSolinas x64 (0)
170141183460469231731687303715884105727,0.088463,0.939,0.19,4.746,WordByWordMontgomery x32 
170141183460469231731687303715884105727,0.019355,0.105,0.023,0.522,WordByWordMontgomery x64 
680564733841876926926749214863536422887,0.024912,0.179,0.034,0.85,UnsaturatedSolinas x32 (0)
680564733841876926926749214863536422887,0.010282,0.071,0.012,0.358,UnsaturatedSolinas x64 (0)
680564733841876926926749214863536422887,0.214810,2.127,0.598,12.3,WordByWordMontgomery x32 
680564733841876926926749214863536422887,0.040220,0.428,0.139,3.312,WordByWordMontgomery x64 
1361129467683753853853498429727072845819,0.019042,0.182,0.033,0.862,UnsaturatedSolinas x32 (0)
1361129467683753853853498429727072845819,0.011426,0.074,0.012,0.393,UnsaturatedSolinas x64 (0)
1361129467683753853853498429727072845819,0.223690,2.155,0.605,11.949,WordByWordMontgomery x32 
1361129467683753853853498429727072845819,0.041017,0.44,0.138,3.24,WordByWordMontgomery x64 
174224571863520493293247799005065324265459,0.025786,0.271,0.055,1.401,UnsaturatedSolinas x32 (0)
174224571863520493293247799005065324265459,0.007498,0.078,0.013,0.387,UnsaturatedSolinas x64 (0)
174224571863520493293247799005065324265459,0.226458,2.112,0.598,12.457,WordByWordMontgomery x32 
174224571863520493293247799005065324265459,0.041168,0.462,0.137,3.235,WordByWordMontgomery x64 
1393796574908163946345982392040522594123749,0.024220,0.274,0.057,1.471,UnsaturatedSolinas x32 (0)
1393796574908163946345982392040522594123749,0.006821,0.071,0.014,0.4,UnsaturatedSolinas x64 (0)
1393796574908163946345982392040522594123749,0.211079,2.164,0.608,11.934,WordByWordMontgomery x32 
1393796574908163946345982392040522594123749,0.040161,0.436,0.138,3.272,WordByWordMontgomery x64 
2787593149816327892691964784081045188247543,0.023581,0.28,0.058,1.406,UnsaturatedSolinas x32 (0)
2787593149816327892691964784081045188247543,0.011475,0.08,0.014,0.391,UnsaturatedSolinas x64 (0)
2787593149816327892691964784081045188247543,0.214536,2.166,0.608,11.958,WordByWordMontgomery x32 
2787593149816327892691964784081045188247543,0.040299,0.439,0.137,3.088,WordByWordMontgomery x64 
1427247692705959881058285969449495136382746619,0.030299,0.284,0.064,1.594,UnsaturatedSolinas x32 (0)
1427247692705959881058285969449495136382746619,0.007721,0.072,0.015,0.417,UnsaturatedSolinas x64 (0)
1427247692705959881058285969449495136382746619,0.201472,2.104,0.604,12.578,WordByWordMontgomery x32 
1427247692705959881058285969449495136382746619,0.037616,0.428,0.138,3.228,WordByWordMontgomery x64 
1427247692705959881058285969449495136382746621,0.022245,0.284,0.063,1.584,UnsaturatedSolinas x32 (0)
1427247692705959881058285969449495136382746621,0.008163,0.072,0.015,0.416,UnsaturatedSolinas x64 (0)
1427247692705959881058285969449495136382746621,0.200006,2.156,0.595,11.889,WordByWordMontgomery x32 
1427247692705959881058285969449495136382746621,0.040092,0.413,0.138,3.096,WordByWordMontgomery x64 
5708990770823839524233143877797980545530986479,0.024623,0.293,0.066,1.76,UnsaturatedSolinas x32 (0)
5708990770823839524233143877797980545530986479,0.007789,0.085,0.016,0.438,UnsaturatedSolinas x64 (0)
5708990770823839524233143877797980545530986479,0.220500,2.164,0.609,11.867,WordByWordMontgomery x32 
5708990770823839524233143877797980545530986479,0.037790,0.439,0.137,3.246,WordByWordMontgomery x64 
365375409332725729550921208179070754913983135729,0.023565,0.277,0.07,1.735,UnsaturatedSolinas x32 (0)
365375409332725729550921208179070754913983135729,0.012525,0.086,0.017,0.474,UnsaturatedSolinas x64 (0)
365375409332725729550921208179070754913983135729,0.200417,2.161,0.597,11.904,WordByWordMontgomery x32 
365375409332725729550921208179070754913983135729,0.043355,0.434,0.138,3.256,WordByWordMontgomery x64 
46768052394588893382517914646921056628989841375207,0.031618,0.415,0.106,2.674,UnsaturatedSolinas x32 (0)
46768052394588893382517914646921056628989841375207,0.007388,0.096,0.018,0.504,UnsaturatedSolinas x64 (0)
46768052394588893382517914646921056628989841375207,0.463970,,1.437,31.022,WordByWordMontgomery x32 
46768052394588893382517914646921056628989841375207,0.037590,0.439,0.139,3.116,WordByWordMontgomery x64 
93536104789177786765035829293842113257979682750459,0.030113,0.388,0.107,2.661,UnsaturatedSolinas x32 (0)
93536104789177786765035829293842113257979682750459,0.008601,0.084,0.018,0.517,UnsaturatedSolinas x64 (0)
93536104789177786765035829293842113257979682750459,0.449813,,1.427,32.868,WordByWordMontgomery x32 
93536104789177786765035829293842113257979682750459,0.044747,0.417,0.139,3.266,WordByWordMontgomery x64 
2993155353253689176481146537402947624255349848014829,0.032105,0.42,0.113,2.891,UnsaturatedSolinas x32 (0)
2993155353253689176481146537402947624255349848014829,0.007272,0.096,0.019,0.542,UnsaturatedSolinas x64 (0)
2993155353253689176481146537402947624255349848014829,0.443877,,1.426,32.961,WordByWordMontgomery x32 
2993155353253689176481146537402947624255349848014829,0.042770,0.44,0.139,3.129,WordByWordMontgomery x64 
23945242826029513411849172299223580994042798784118767,0.034052,0.422,0.12,2.882,UnsaturatedSolinas x32 (0)
23945242826029513411849172299223580994042798784118767,0.012122,,0.02,0.554,UnsaturatedSolinas x64 (0)
23945242826029513411849172299223580994042798784118767,0.465171,,1.432,33.234,WordByWordMontgomery x32 
23945242826029513411849172299223580994042798784118767,0.046795,0.457,0.139,3.201,WordByWordMontgomery x64 
23945242826029513411849172299223580994042798784118781,0.038034,0.394,0.117,2.986,UnsaturatedSolinas x32 (0)
23945242826029513411849172299223580994042798784118781,0.006046,0.096,0.019,0.55,UnsaturatedSolinas x64 (0)
23945242826029513411849172299223580994042798784118781,0.459051,,1.423,31.199,WordByWordMontgomery x32 
23945242826029513411849172299223580994042798784118781,0.036165,0.444,0.139,3.27,WordByWordMontgomery x64 
784637716923335095479473677900958302012794430558004314087,0.044233,0.551,0.183,4.558,UnsaturatedSolinas x32 (0)
784637716923335095479473677900958302012794430558004314087,0.011104,0.137,0.04,1.076,UnsaturatedSolinas x64 (0)
784637716923335095479473677900958302012794430558004314087,0.425388,,1.412,31.377,WordByWordMontgomery x32 
784637716923335095479473677900958302012794430558004314087,0.035268,0.422,0.14,3.384,WordByWordMontgomery x64 
1569275433846670190958947355801916604025588861116008628213,0.044995,0.581,0.184,4.469,UnsaturatedSolinas x32 (0)
1569275433846670190958947355801916604025588861116008628213,0.010614,0.126,0.04,1.111,UnsaturatedSolinas x64 (0)
1569275433846670190958947355801916604025588861116008628213,0.417794,,1.423,32.95,WordByWordMontgomery x32 
1569275433846670190958947355801916604025588861116008628213,0.034602,0.442,0.14,3.176,WordByWordMontgomery x64 
3138550867693340381917894711603833208051177722232017256429,0.045895,0.574,0.186,4.487,UnsaturatedSolinas x32 (0)
3138550867693340381917894711603833208051177722232017256429,0.011452,0.135,0.043,1.088,UnsaturatedSolinas x64 (0)
3138550867693340381917894711603833208051177722232017256429,0.425606,,1.448,33.35,WordByWordMontgomery x32 
3138550867693340381917894711603833208051177722232017256429,0.041224,0.456,0.139,3.385,WordByWordMontgomery x64 
6277101735386680763835789423207666416083908700390324961279,,,,,UnsaturatedSolinas x32 (0)
6277101735386680763835789423207666416083908700390324961279,,,,,UnsaturatedSolinas x64 (0)
6277101735386680763835789423207666416083908700390324961279,0.412934,,,,WordByWordMontgomery x32 
6277101735386680763835789423207666416083908700390324961279,0.045749,,,,WordByWordMontgomery x64 
25108406941546723055343157692830665664409421777856138051551,0.048090,0.578,0.191,4.694,UnsaturatedSolinas x32 (0)
25108406941546723055343157692830665664409421777856138051551,0.011005,0.14,0.041,1.107,UnsaturatedSolinas x64 (0)
25108406941546723055343157692830665664409421777856138051551,0.815973,,3.127,76.051,WordByWordMontgomery x32 
25108406941546723055343157692830665664409421777856138051551,0.115557,1.387,0.57,14.006,WordByWordMontgomery x64 
100433627766186892221372630771322662657637687111424552206321,0.045751,0.583,0.196,5.064,UnsaturatedSolinas x32 (0)
100433627766186892221372630771322662657637687111424552206321,0.012812,0.144,0.042,1.141,UnsaturatedSolinas x64 (0)
100433627766186892221372630771322662657637687111424552206321,0.927199,,3.145,72.078,WordByWordMontgomery x32 
100433627766186892221372630771322662657637687111424552206321,0.109945,1.409,0.57,13.78,WordByWordMontgomery x64 
401734511064747568885490523085290650630550748445698208825327,0.046950,0.549,0.196,4.758,UnsaturatedSolinas x32 (0)
401734511064747568885490523085290650630550748445698208825327,0.011358,0.147,0.043,1.124,UnsaturatedSolinas x64 (0)
401734511064747568885490523085290650630550748445698208825327,0.833894,,3.157,72.115,WordByWordMontgomery x32 
401734511064747568885490523085290650630550748445698208825327,0.109301,1.378,0.57,14.572,WordByWordMontgomery x64 
33343964418374048217495713416079124002335712120992951332503551,,,,,UnsaturatedSolinas x32 (0)
33343964418374048217495713416079124002335712120992951332503551,,,,,UnsaturatedSolinas x64 (0)
33343964418374048217495713416079124002335712120992951332503551,0.884496,,,,WordByWordMontgomery x32 
33343964418374048217495713416079124002335712120992951332503551,0.107833,,,,WordByWordMontgomery x64 
102844034832575377634685573909834406561420991602098741459288059,0.045358,0.597,0.235,5.07,UnsaturatedSolinas x32 (0)
102844034832575377634685573909834406561420991602098741459288059,0.012490,0.136,0.046,1.226,UnsaturatedSolinas x64 (0)
102844034832575377634685573909834406561420991602098741459288059,0.826329,,3.144,76.556,WordByWordMontgomery x32 
102844034832575377634685573909834406561420991602098741459288059,0.114476,1.36,0.569,13.764,WordByWordMontgomery x64 
6582018229284824168619876730229402019930943462534319453394436067,0.065009,0.794,0.312,7.526,UnsaturatedSolinas x32 (0)
6582018229284824168619876730229402019930943462534319453394436067,0.011999,0.142,0.048,1.28,UnsaturatedSolinas x64 (0)
6582018229284824168619876730229402019930943462534319453394436067,0.806604,,3.177,77.088,WordByWordMontgomery x32 
6582018229284824168619876730229402019930943462534319453394436067,0.119816,1.342,0.573,14.601,WordByWordMontgomery x64 
13164036458569648337239753460458804039861886925068638906788872189,0.046492,0.576,0.245,5.891,UnsaturatedSolinas x32 (0)
13164036458569648337239753460458804039861886925068638906788872189,0.019010,0.138,0.049,1.356,UnsaturatedSolinas x64 (0)
13164036458569648337239753460458804039861886925068638906788872189,0.828324,,3.157,76.757,WordByWordMontgomery x32 
13164036458569648337239753460458804039861886925068638906788872189,0.116254,1.401,0.572,13.819,WordByWordMontgomery x64 
105312291668557186697918027683670107800341436973822328098290401279,,,,,UnsaturatedSolinas x32 (0)
105312291668557186697918027683670107800341436973822328098290401279,,,,,UnsaturatedSolinas x64 (0)
105312291668557186697918027683670107800341436973822328098290401279,0.896860,,,,WordByWordMontgomery x32 
105312291668557186697918027683670107800341436973822328098290401279,0.117469,,,,WordByWordMontgomery x64 
3369993333393829974333376885877453834204643052817571560137951281149,0.066906,0.835,0.34,7.889,UnsaturatedSolinas x32 (0)
3369993333393829974333376885877453834204643052817571560137951281149,0.020366,0.139,0.053,1.314,UnsaturatedSolinas x64 (0)
3369993333393829974333376885877453834204643052817571560137951281149,0.812555,,3.139,76.744,WordByWordMontgomery x32 
3369993333393829974333376885877453834204643052817571560137951281149,0.111511,1.374,0.575,14.657,WordByWordMontgomery x64 
6739986666787659948666753771754907668409286105635143120275902562187,0.069315,0.798,0.343,7.682,UnsaturatedSolinas x32 (0)
6739986666787659948666753771754907668409286105635143120275902562187,0.020426,0.149,0.053,1.422,UnsaturatedSolinas x64 (0)
6739986666787659948666753771754907668409286105635143120275902562187,0.881784,,3.132,72.745,WordByWordMontgomery x32 
6739986666787659948666753771754907668409286105635143120275902562187,0.117798,1.341,0.574,13.901,WordByWordMontgomery x64 
26959946667150639794667015087019630673557916260026308143510066298881,,,,,UnsaturatedSolinas x32 (0)
26959946667150639794667015087019630673557916260026308143510066298881,,,,,UnsaturatedSolinas x64 (0)
26959946667150639794667015087019630673557916260026308143510066298881,0.820366,,,,WordByWordMontgomery x32 
26959946667150639794667015087019630673557916260026308143510066298881,0.112661,,,,WordByWordMontgomery x64 
107839786668602559178668060348078522694548577690162289924414440996859,0.065934,0.827,0.33,8.286,UnsaturatedSolinas x32 (0)
107839786668602559178668060348078522694548577690162289924414440996859,0.019242,0.151,0.054,1.411,UnsaturatedSolinas x64 (0)
107839786668602559178668060348078522694548577690162289924414440996859,1.665466,,6.272,150.592,WordByWordMontgomery x32 
107839786668602559178668060348078522694548577690162289924414440996859,0.116436,1.355,0.571,13.889,WordByWordMontgomery x64 
1725436586697640946858688965569256363112777243042596638790631055949797,0.069116,0.873,0.34,8.776,UnsaturatedSolinas x32 (0)
1725436586697640946858688965569256363112777243042596638790631055949797,0.020602,0.151,0.056,1.472,UnsaturatedSolinas x64 (0)
1725436586697640946858688965569256363112777243042596638790631055949797,1.791078,,6.334,161.21,WordByWordMontgomery x32 
1725436586697640946858688965569256363112777243042596638790631055949797,0.117137,1.348,0.571,14.71,WordByWordMontgomery x64 
55213970774324510299478046898216203619608871777363092441300193790394353,0.072699,0.87,0.359,9.118,UnsaturatedSolinas x32 (0)
55213970774324510299478046898216203619608871777363092441300193790394353,0.019404,0.144,0.058,1.528,UnsaturatedSolinas x64 (0)
55213970774324510299478046898216203619608871777363092441300193790394353,1.723897,,6.325,159.423,WordByWordMontgomery x32 
55213970774324510299478046898216203619608871777363092441300193790394353,0.118564,1.341,0.573,14.731,WordByWordMontgomery x64 
14134776518227074636666380005943348126619871175004951664972849610340958199,0.072979,0.877,0.373,9.245,UnsaturatedSolinas x32 (0)
14134776518227074636666380005943348126619871175004951664972849610340958199,0.027379,0.229,0.099,2.597,UnsaturatedSolinas x64 (0)
14134776518227074636666380005943348126619871175004951664972849610340958199,1.623079,,6.281,156.42,WordByWordMontgomery x32 
14134776518227074636666380005943348126619871175004951664972849610340958199,0.115237,1.376,0.62,14.666,WordByWordMontgomery x64 
3618502788666131106986593281521497120414687020801267626233049500247285301239,0.096691,1.156,0.512,13.144,UnsaturatedSolinas x32 (0)
3618502788666131106986593281521497120414687020801267626233049500247285301239,0.028626,0.252,0.104,2.741,UnsaturatedSolinas x64 (0)
3618502788666131106986593281521497120414687020801267626233049500247285301239,1.653062,,6.401,151.581,WordByWordMontgomery x32 
3618502788666131106986593281521497120414687020801267626233049500247285301239,0.115925,1.357,0.627,14.011,WordByWordMontgomery x64 
28723632732102194046035667469577626311807405711506937402182952014414119698431,,,,,UnsaturatedSolinas x32 (0)
28723632732102194046035667469577626311807405711506937402182952014414119698431,,,,,UnsaturatedSolinas x64 (0)
28723632732102194046035667469577626311807405711506937402182952014414119698431,1.772784,,,,WordByWordMontgomery x32 
28723632732102194046035667469577626311807405711506937402182952014414119698431,0.113788,,,,WordByWordMontgomery x64 
57896044618658097711785492504343953926634992332820282019728792003956564819203,0.118405,1.475,0.662,16.108,UnsaturatedSolinas x32 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819203,0.028878,0.237,0.106,2.662,UnsaturatedSolinas x64 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819203,1.716070,,6.363,151.32,WordByWordMontgomery x32 
57896044618658097711785492504343953926634992332820282019728792003956564819203,0.110083,1.343,0.616,13.977,WordByWordMontgomery x64 
57896044618658097711785492504343953926634992332820282019728792003956564819949,0.093320,1.166,0.523,13.643,UnsaturatedSolinas x32 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819949,0.033752,0.265,0.107,2.693,UnsaturatedSolinas x64 (0)
57896044618658097711785492504343953926634992332820282019728792003956564819949,1.750401,,6.378,150.82,WordByWordMontgomery x32 
57896044618658097711785492504343953926634992332820282019728792003956564819949,0.116358,1.355,0.625,14.125,WordByWordMontgomery x64 
115636606695615697602567654828622531023877166082715509571142882662199379099647,,,,,UnsaturatedSolinas x32 (0)
115636606695615697602567654828622531023877166082715509571142882662199379099647,,,,,UnsaturatedSolinas x64 (0)
115636606695615697602567654828622531023877166082715509571142882662199379099647,1.525862,,,,WordByWordMontgomery x32 
115636606695615697602567654828622531023877166082715509571142882662199379099647,0.107285,,,,WordByWordMontgomery x64 
115792089210356248762697446949407573530086143415290314195533631308867097853951,,,,,UnsaturatedSolinas x32 (0)
115792089210356248762697446949407573530086143415290314195533631308867097853951,,,,,UnsaturatedSolinas x64 (0)
115792089210356248762697446949407573530086143415290314195533631308867097853951,1.775833,,,,WordByWordMontgomery x32 
115792089210356248762697446949407573530086143415290314195533631308867097853951,0.112899,,,,WordByWordMontgomery x64 
115792089237316195423570985008687907853269984665640564039457584007908834671663,,,,,UnsaturatedSolinas x32 (0)
115792089237316195423570985008687907853269984665640564039457584007908834671663,0.036779,,,,UnsaturatedSolinas x64 (0)
115792089237316195423570985008687907853269984665640564039457584007908834671663,1.671242,,,,WordByWordMontgomery x32 
115792089237316195423570985008687907853269984665640564039457584007908834671663,0.115821,,,,WordByWordMontgomery x64 
115792089237316195423570985008687907853269984665640564039457584007913129639747,0.113816,1.397,0.666,16.266,UnsaturatedSolinas x32 (0)
115792089237316195423570985008687907853269984665640564039457584007913129639747,0.029157,0.242,0.108,2.739,UnsaturatedSolinas x64 (0)
115792089237316195423570985008687907853269984665640564039457584007913129639747,1.708608,,6.38,150.743,WordByWordMontgomery x32 
115792089237316195423570985008687907853269984665640564039457584007913129639747,0.118414,1.378,0.614,14.168,WordByWordMontgomery x64 
118571099379011784113736688648896417641748464297615937576404566024103044751294461,0.096764,1.177,0.566,15.071,UnsaturatedSolinas x32 (0)
118571099379011784113736688648896417641748464297615937576404566024103044751294461,0.026790,0.255,0.115,2.993,UnsaturatedSolinas x64 (0)
118571099379011784113736688648896417641748464297615937576404566024103044751294461,3.212079,,,,WordByWordMontgomery x32 
118571099379011784113736688648896417641748464297615937576404566024103044751294461,0.304154,,1.826,44.843,WordByWordMontgomery x64 
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,0.128145,1.533,0.804,20.651,UnsaturatedSolinas x32 (0)
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,0.021177,0.283,0.13,3.304,UnsaturatedSolinas x64 (0)
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,3.057923,,,,WordByWordMontgomery x32 
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623,0.300625,,1.832,44.92,WordByWordMontgomery x64 
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,0.156367,,1.015,26.549,UnsaturatedSolinas x32 (0)
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,0.021193,0.287,0.136,3.627,UnsaturatedSolinas x64 (0)
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,6.026150,,,,WordByWordMontgomery x32 
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429,0.297578,,1.826,44.301,WordByWordMontgomery x64 
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,0.215447,,1.479,37.526,UnsaturatedSolinas x32 (0)
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,0.034703,0.429,0.268,6.088,UnsaturatedSolinas x64 (0)
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,9.707001,,,,WordByWordMontgomery x32 
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143,0.680703,,4.863,117.654,WordByWordMontgomery x64 
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,,,,,UnsaturatedSolinas x32 (0)
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,,,,,UnsaturatedSolinas x64 (0)
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,10.695855,,,,WordByWordMontgomery x32 
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351,0.688043,,,,WordByWordMontgomery x64 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,0.215894,,1.615,43.916,UnsaturatedSolinas x32 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,0.036814,0.481,0.261,7.048,UnsaturatedSolinas x64 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,9.560427,,,,WordByWordMontgomery x32 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719,0.688736,,4.731,117.831,WordByWordMontgomery x64 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,0.207747,,1.628,41.469,UnsaturatedSolinas x32 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,0.037428,0.484,0.261,7.012,UnsaturatedSolinas x64 (0)
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,10.794406,,,,WordByWordMontgomery x32 
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733,0.652396,,4.755,117.717,WordByWordMontgomery x64 
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,0.215525,,1.628,41.3,UnsaturatedSolinas x32 (0)
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,0.038432,0.468,0.266,7.038,UnsaturatedSolinas x64 (0)
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,10.302343,,,,WordByWordMontgomery x32 
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929,0.689478,,4.722,117.67,WordByWordMontgomery x64 
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,0.340468,,2.734,73.783,UnsaturatedSolinas x32 (0)
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,0.058063,0.741,0.442,11.856,UnsaturatedSolinas x64 (0)
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,18.204322,,,,WordByWordMontgomery x32 
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687,0.620978,,4.724,118.369,WordByWordMontgomery x64 
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,0.343842,,2.867,77.472,UnsaturatedSolinas x32 (0)
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,0.060658,0.742,0.464,12.421,UnsaturatedSolinas x64 (0)
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,18.388721,,,,WordByWordMontgomery x32 
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069,0.701026,,4.718,118.782,WordByWordMontgomery x64 
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,0.423934,,3.417,87.505,UnsaturatedSolinas x32 (0)
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,0.058299,0.752,0.472,12.721,UnsaturatedSolinas x64 (0)
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,18.597490,,,,WordByWordMontgomery x32 
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599,0.708749,,4.746,118.783,WordByWordMontgomery x64 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,0.488026,,4.173,102.183,UnsaturatedSolinas x32 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,0.060861,0.788,0.475,12.049,UnsaturatedSolinas x64 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,18.578935,,,,WordByWordMontgomery x32 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987,0.691170,,4.722,118.731,WordByWordMontgomery x64 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,0.416906,,3.461,93.717,UnsaturatedSolinas x32 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,0.059688,0.733,0.477,11.951,UnsaturatedSolinas x64 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,16.717235,,,,WordByWordMontgomery x32 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221,0.694779,,4.738,126.558,WordByWordMontgomery x64 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,0.417661,,3.449,93.747,UnsaturatedSolinas x32 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,0.058919,0.772,0.477,11.915,UnsaturatedSolinas x64 (0)
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,18.481658,,,,WordByWordMontgomery x32 
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377,0.683326,,4.743,118.214,WordByWordMontgomery x64 
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,,,,,UnsaturatedSolinas x32 (0)
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,,,,,UnsaturatedSolinas x64 (0)
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,18.615959,,,,WordByWordMontgomery x32 
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071,0.691550,,,,WordByWordMontgomery x64 
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,,,,,UnsaturatedSolinas x32 (0)
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,,,,,UnsaturatedSolinas x64 (0)
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,18.865701,,,,WordByWordMontgomery x32 
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535,0.647113,,,,WordByWordMontgomery x64 
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,,,,,UnsaturatedSolinas x32 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,,,,,UnsaturatedSolinas x64 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,18.994636,,,,WordByWordMontgomery x32 
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319,0.695721,,,,WordByWordMontgomery x64 
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,0.401803,,3.422,92.97,UnsaturatedSolinas x32 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,0.058755,0.783,0.474,12.021,UnsaturatedSolinas x64 (0)
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,18.803833,,,,WordByWordMontgomery x32 
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499,0.696786,,4.731,118.672,WordByWordMontgomery x64 
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,0.413520,,3.542,89.802,UnsaturatedSolinas x32 (0)
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,0.059020,0.772,0.489,13.182,UnsaturatedSolinas x64 (0)
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,33.087221,,,,WordByWordMontgomery x32 
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091,1.375055,,,,WordByWordMontgomery x64 
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,0.438432,,3.759,96.196,UnsaturatedSolinas x32 (0)
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,0.059136,0.817,0.518,13.304,UnsaturatedSolinas x64 (0)
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,32.558687,,,,WordByWordMontgomery x32 
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721,1.403447,,,,WordByWordMontgomery x64 
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,0.528540,,4.615,118.693,UnsaturatedSolinas x32 (0)
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,0.085385,1.129,0.741,18.775,UnsaturatedSolinas x64 (0)
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,28.876614,,,,WordByWordMontgomery x32 
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171,1.620525,,,,WordByWordMontgomery x64 
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,0.519189,,4.63,117.865,UnsaturatedSolinas x32 (0)
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,0.080514,1.114,0.744,20.251,UnsaturatedSolinas x64 (0)
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,33.391068,,,,WordByWordMontgomery x32 
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367,1.616669,,,,WordByWordMontgomery x64 
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,,,,,UnsaturatedSolinas x32 (0)
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,,,,,UnsaturatedSolinas x64 (0)
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,28.737569,,,,WordByWordMontgomery x32 
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279,1.396649,,,,WordByWordMontgomery x64 
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,0.651517,,6.088,154.974,UnsaturatedSolinas x32 (0)
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,0.095663,1.247,0.852,21.591,UnsaturatedSolinas x64 (0)
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,48.809094,,,,WordByWordMontgomery x32 
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399,1.573026,,,,WordByWordMontgomery x64 
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,,,,,UnsaturatedSolinas x32 (0)
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,,,,,UnsaturatedSolinas x64 (0)
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,56.255871,,,,WordByWordMontgomery x32 
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439,1.364510,,,,WordByWordMontgomery x64 
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,,,,,UnsaturatedSolinas x32 (0)
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,,,,,UnsaturatedSolinas x64 (0)
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,81.716465,,,,WordByWordMontgomery x32 
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191,3.519140,,,,WordByWordMontgomery x64 
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,0.571106,,5.466,148.123,UnsaturatedSolinas x32 (0)
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,0.100802,1.262,0.876,23.691,UnsaturatedSolinas x64 (0)
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,81.822374,,,,WordByWordMontgomery x32 
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493,3.577954,,,,WordByWordMontgomery x64 
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,0.690674,,6.676,171.354,UnsaturatedSolinas x32 (0)
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,0.105782,1.33,0.934,23.591,UnsaturatedSolinas x64 (0)
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,93.324979,,,,WordByWordMontgomery x32 
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839,2.919187,,,,WordByWordMontgomery x64 
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,,,,,UnsaturatedSolinas x32 (0)
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,,,,,UnsaturatedSolinas x64 (0)
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,82.016381,,,,WordByWordMontgomery x32 
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399,2.955384,,,,WordByWordMontgomery x64 
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,1.032198,,,,UnsaturatedSolinas x32 (0)
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,0.144627,,1.334,33.447,UnsaturatedSolinas x64 (0)
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,,,,,WordByWordMontgomery x32 
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039,2.851317,,,,WordByWordMontgomery x64 
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,1.057282,,,,UnsaturatedSolinas x32 (0)
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,0.142222,,1.339,33.662,UnsaturatedSolinas x64 (0)
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,,,,,WordByWordMontgomery x32 
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091,2.912921,,,,WordByWordMontgomery x64 
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,1.073728,,,,UnsaturatedSolinas x32 (0)
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,0.148317,,1.367,36.19,UnsaturatedSolinas x64 (0)
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,,,,,WordByWordMontgomery x32 
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137,3.580371,,,,WordByWordMontgomery x64 
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,,,,,UnsaturatedSolinas x32 (0)
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,,,,,UnsaturatedSolinas x64 (0)
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,,,,,WordByWordMontgomery x32 
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583,3.625756,,,,WordByWordMontgomery x64 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,1.683658,,,,UnsaturatedSolinas x32 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,0.202033,,,,UnsaturatedSolinas x64 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,,,,,WordByWordMontgomery x32 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567,3.581726,,,,WordByWordMontgomery x64 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,1.492005,,,,UnsaturatedSolinas x32 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,0.200935,,,,UnsaturatedSolinas x64 (0)
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,,,,,WordByWordMontgomery x32 
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861,2.883786,,,,WordByWordMontgomery x64 
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,,,,,UnsaturatedSolinas x32 (0)
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,,,,,UnsaturatedSolinas x64 (0)
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,,,,,WordByWordMontgomery x32 
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119,3.603070,,,,WordByWordMontgomery x64 
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,1.652178,,,,UnsaturatedSolinas x32 (0)
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,0.205722,,,,UnsaturatedSolinas x64 (0)
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,,,,,WordByWordMontgomery x32 
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527,3.501772,,,,WordByWordMontgomery x64 
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,1.039524,,,,UnsaturatedSolinas x32 (0)
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,0.166395,,,,UnsaturatedSolinas x64 (0)
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,,,,,WordByWordMontgomery x32 
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151,7.283314,,,,WordByWordMontgomery x64