https://github.com/mit-plv/fiat-crypto
Revision 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC, committed by Jason Gross on 15 July 2021, 00:28:57 UTC
```
make COQBIN="$HOME/.local64/coq/coq-8.11.1/bin/" SKIP_BEDROCK2=1 TIMED=1 --output-sync perf-csv
```
1 parent f020c4e
Raw File
Tip revision: 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC
make perf csv
Tip revision: 72fe0dd
perf-new-extraction-times.txt
170141183460469231731687303715884105727 0.022049
170141183460469231731687303715884105727 0.009004
170141183460469231731687303715884105727 0.118303
170141183460469231731687303715884105727 0.013343
680564733841876926926749214863536422887 0.019793
680564733841876926926749214863536422887 0.008248
680564733841876926926749214863536422887 0.256569
680564733841876926926749214863536422887 0.044974
1361129467683753853853498429727072845819 0.019412
1361129467683753853853498429727072845819 0.008316
1361129467683753853853498429727072845819 0.254556
1361129467683753853853498429727072845819 0.047212
174224571863520493293247799005065324265459 0.028237
174224571863520493293247799005065324265459 0.008240
174224571863520493293247799005065324265459 0.258942
174224571863520493293247799005065324265459 0.047982
1393796574908163946345982392040522594123749 0.028436
1393796574908163946345982392040522594123749 0.009505
1393796574908163946345982392040522594123749 0.257047
1393796574908163946345982392040522594123749 0.046199
2787593149816327892691964784081045188247543 0.029088
2787593149816327892691964784081045188247543 0.008262
2787593149816327892691964784081045188247543 0.256975
2787593149816327892691964784081045188247543 0.046097
1427247692705959881058285969449495136382746619 0.028707
1427247692705959881058285969449495136382746619 0.008198
1427247692705959881058285969449495136382746619 0.253283
1427247692705959881058285969449495136382746619 0.046898
1427247692705959881058285969449495136382746621 0.029731
1427247692705959881058285969449495136382746621 0.008128
1427247692705959881058285969449495136382746621 0.255743
1427247692705959881058285969449495136382746621 0.046790
5708990770823839524233143877797980545530986479 0.030552
5708990770823839524233143877797980545530986479 0.008236
5708990770823839524233143877797980545530986479 0.255956
5708990770823839524233143877797980545530986479 0.047801
365375409332725729550921208179070754913983135729 0.030594
365375409332725729550921208179070754913983135729 0.008211
365375409332725729550921208179070754913983135729 0.260132
365375409332725729550921208179070754913983135729 0.048091
46768052394588893382517914646921056628989841375207 0.042542
46768052394588893382517914646921056628989841375207 0.008962
46768052394588893382517914646921056628989841375207 0.528979
46768052394588893382517914646921056628989841375207 0.047112
93536104789177786765035829293842113257979682750459 0.030179
93536104789177786765035829293842113257979682750459 0.008481
93536104789177786765035829293842113257979682750459 0.536630
93536104789177786765035829293842113257979682750459 0.047325
2993155353253689176481146537402947624255349848014829 0.042087
2993155353253689176481146537402947624255349848014829 0.008996
2993155353253689176481146537402947624255349848014829 0.547478
2993155353253689176481146537402947624255349848014829 0.046521
23945242826029513411849172299223580994042798784118767 0.043410
23945242826029513411849172299223580994042798784118767 0.008962
23945242826029513411849172299223580994042798784118767 0.533469
23945242826029513411849172299223580994042798784118767 0.047486
23945242826029513411849172299223580994042798784118781 0.043586
23945242826029513411849172299223580994042798784118781 0.009817
23945242826029513411849172299223580994042798784118781 0.531094
23945242826029513411849172299223580994042798784118781 0.046013
784637716923335095479473677900958302012794430558004314087 0.058404
784637716923335095479473677900958302012794430558004314087 0.015246
784637716923335095479473677900958302012794430558004314087 0.549604
784637716923335095479473677900958302012794430558004314087 0.044388
1569275433846670190958947355801916604025588861116008628213 0.057752
1569275433846670190958947355801916604025588861116008628213 0.014641
1569275433846670190958947355801916604025588861116008628213 0.525293
1569275433846670190958947355801916604025588861116008628213 0.046999
3138550867693340381917894711603833208051177722232017256429 0.059637
3138550867693340381917894711603833208051177722232017256429 0.014926
3138550867693340381917894711603833208051177722232017256429 0.541668
3138550867693340381917894711603833208051177722232017256429 0.047942
6277101735386680763835789423207666416083908700390324961279 0.103535
6277101735386680763835789423207666416083908700390324961279 0.021090
6277101735386680763835789423207666416083908700390324961279 0.529609
6277101735386680763835789423207666416083908700390324961279 0.048530
25108406941546723055343157692830665664409421777856138051551 0.058955
25108406941546723055343157692830665664409421777856138051551 0.014984
25108406941546723055343157692830665664409421777856138051551 1.044108
25108406941546723055343157692830665664409421777856138051551 0.139382
100433627766186892221372630771322662657637687111424552206321 0.060372
100433627766186892221372630771322662657637687111424552206321 0.015545
100433627766186892221372630771322662657637687111424552206321 1.044272
100433627766186892221372630771322662657637687111424552206321 0.139767
401734511064747568885490523085290650630550748445698208825327 0.059303
401734511064747568885490523085290650630550748445698208825327 0.015665
401734511064747568885490523085290650630550748445698208825327 1.054942
401734511064747568885490523085290650630550748445698208825327 0.141521
33343964418374048217495713416079124002335712120992951332503551 1.045365
33343964418374048217495713416079124002335712120992951332503551 0.144101
102844034832575377634685573909834406561420991602098741459288059 0.061898
102844034832575377634685573909834406561420991602098741459288059 0.016276
102844034832575377634685573909834406561420991602098741459288059 1.056273
102844034832575377634685573909834406561420991602098741459288059 0.140422
6582018229284824168619876730229402019930943462534319453394436067 0.080806
6582018229284824168619876730229402019930943462534319453394436067 0.015107
6582018229284824168619876730229402019930943462534319453394436067 1.050407
6582018229284824168619876730229402019930943462534319453394436067 0.143049
13164036458569648337239753460458804039861886925068638906788872189 0.062182
13164036458569648337239753460458804039861886925068638906788872189 0.016024
13164036458569648337239753460458804039861886925068638906788872189 1.061734
13164036458569648337239753460458804039861886925068638906788872189 0.143603
105312291668557186697918027683670107800341436973822328098290401279 0.085773
105312291668557186697918027683670107800341436973822328098290401279 0.023742
105312291668557186697918027683670107800341436973822328098290401279 1.071784
105312291668557186697918027683670107800341436973822328098290401279 0.138092
3369993333393829974333376885877453834204643052817571560137951281149 0.062484
3369993333393829974333376885877453834204643052817571560137951281149 0.016333
3369993333393829974333376885877453834204643052817571560137951281149 1.055982
3369993333393829974333376885877453834204643052817571560137951281149 0.142106
6739986666787659948666753771754907668409286105635143120275902562187 0.080898
6739986666787659948666753771754907668409286105635143120275902562187 0.016099
6739986666787659948666753771754907668409286105635143120275902562187 1.054644
6739986666787659948666753771754907668409286105635143120275902562187 0.138846
26959946667150639794667015087019630673557916260026308143510066298881 0.145057
26959946667150639794667015087019630673557916260026308143510066298881 0.037411
26959946667150639794667015087019630673557916260026308143510066298881 1.103835
26959946667150639794667015087019630673557916260026308143510066298881 0.147997
107839786668602559178668060348078522694548577690162289924414440996859 0.082896
107839786668602559178668060348078522694548577690162289924414440996859 0.015565
107839786668602559178668060348078522694548577690162289924414440996859 1.933986
107839786668602559178668060348078522694548577690162289924414440996859 0.140471
1725436586697640946858688965569256363112777243042596638790631055949797 0.083778
1725436586697640946858688965569256363112777243042596638790631055949797 0.015265
1725436586697640946858688965569256363112777243042596638790631055949797 1.937879
1725436586697640946858688965569256363112777243042596638790631055949797 0.144078
55213970774324510299478046898216203619608871777363092441300193790394353 0.085751
55213970774324510299478046898216203619608871777363092441300193790394353 0.016449
55213970774324510299478046898216203619608871777363092441300193790394353 1.930884
55213970774324510299478046898216203619608871777363092441300193790394353 0.144158
14134776518227074636666380005943348126619871175004951664972849610340958199 0.087417
14134776518227074636666380005943348126619871175004951664972849610340958199 0.024927
14134776518227074636666380005943348126619871175004951664972849610340958199 1.942219
14134776518227074636666380005943348126619871175004951664972849610340958199 0.143310
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.110704
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.027135
3618502788666131106986593281521497120414687020801267626233049500247285301239 1.936975
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.141620
28723632732102194046035667469577626311807405711506937402182952014414119698431 1.828428
28723632732102194046035667469577626311807405711506937402182952014414119698431 0.140819
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.144734
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.025473
57896044618658097711785492504343953926634992332820282019728792003956564819203 1.986387
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.143112
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.114642
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.024766
57896044618658097711785492504343953926634992332820282019728792003956564819949 1.939030
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.143854
115636606695615697602567654828622531023877166082715509571142882662199379099647 2.045134
115636606695615697602567654828622531023877166082715509571142882662199379099647 0.145156
115792089210356248762697446949407573530086143415290314195533631308867097853951 1.387468
115792089210356248762697446949407573530086143415290314195533631308867097853951 0.090924
115792089210356248762697446949407573530086143415290314195533631308867097853951 2.035033
115792089210356248762697446949407573530086143415290314195533631308867097853951 0.141420
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.182232
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.035658
115792089237316195423570985008687907853269984665640564039457584007908834671663 1.993723
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.144419
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.144121
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.025466
115792089237316195423570985008687907853269984665640564039457584007913129639747 1.984835
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.135874
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.115336
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.026538
118571099379011784113736688648896417641748464297615937576404566024103044751294461 3.410437
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.365831
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.155563
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.026818
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 3.439796
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.368609
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.195140
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.029333
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 6.070243
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.364202
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.252613
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.043666
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 9.093303
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.791260
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 0.273408
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 0.061388
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 10.595939
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 0.801971
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.264811
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.045071
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 9.216941
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.844030
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.255907
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.045590
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 10.350061
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.810732
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.261990
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.046155
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 10.753035
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.846406
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.429228
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.068298
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 17.238502
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.846562
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.439554
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.068490
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 17.261873
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.809705
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.511307
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.072674
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 16.973395
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.829457
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.603082
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.068474
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 17.287803
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.807423
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.499071
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.072129
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 17.163647
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.871492
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.432919
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.071887
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 17.223350
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.843358
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 17.767758
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 0.834239
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 18.490050
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 0.830065
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 1.366522
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 0.243770
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 17.403419
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 0.807704
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.509088
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.068823
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 17.017427
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.809893
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 0.520044
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 0.071558
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 28.895486
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 1.903973
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 0.543637
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 0.073789
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 29.033515
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 1.859205
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 0.649358
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 0.103598
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 28.812386
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 1.898323
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 0.572347
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 0.101968
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 30.086571
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 1.900544
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 0.747865
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 0.140504
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 30.097998
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 1.887359
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 0.798434
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 0.111981
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 48.482418
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 1.913115
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 1.108988
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 0.154050
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 48.391247
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 1.909868
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 1.133597
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 0.156407
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 78.290375
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 3.984060
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 0.697355
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 0.112780
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 75.625135
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 4.039525
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 0.840516
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 0.112097
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 75.295609
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 4.029254
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 1.134106
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 0.165786
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 77.835826
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 4.049548
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 1.072631
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 0.166141
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 124.057996
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 3.989368
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 1.192722
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 0.163053
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 125.495414
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 3.888007
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 1.251587
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 0.172970
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 120.888637
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 4.058661
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 123.030180
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 3.965677
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 1.707246
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 0.232431
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 121.004454
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 3.980928
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 1.684522
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 0.235398
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 123.231894
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 3.900516
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 123.447768
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 3.967455
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 1.941350
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 0.238450
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 123.885279
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 3.933413
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 1.195148
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 0.188854
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 195.871284
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 7.569375
back to top