https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: 0b1ebe16c40ae1bb3a37ee4b09a88ac177df1dc7 authored by Jason Gross on 28 June 2021, 17:28:42 UTC
Fix perf.csv generation
Tip revision: 0b1ebe1
perf-new-extraction-times.txt
170141183460469231731687303715884105727 0.028466
170141183460469231731687303715884105727 0.015070
170141183460469231731687303715884105727 0.116905
170141183460469231731687303715884105727 0.019457
680564733841876926926749214863536422887 0.029469
680564733841876926926749214863536422887 0.008333
680564733841876926926749214863536422887 0.254258
680564733841876926926749214863536422887 0.049598
1361129467683753853853498429727072845819 0.020929
1361129467683753853853498429727072845819 0.011614
1361129467683753853853498429727072845819 0.243124
1361129467683753853853498429727072845819 0.047264
174224571863520493293247799005065324265459 0.029492
174224571863520493293247799005065324265459 0.008968
174224571863520493293247799005065324265459 0.227357
174224571863520493293247799005065324265459 0.045972
1393796574908163946345982392040522594123749 0.031074
1393796574908163946345982392040522594123749 0.010307
1393796574908163946345982392040522594123749 0.243685
1393796574908163946345982392040522594123749 0.046443
2787593149816327892691964784081045188247543 0.029711
2787593149816327892691964784081045188247543 0.010023
2787593149816327892691964784081045188247543 0.248666
2787593149816327892691964784081045188247543 0.045407
1427247692705959881058285969449495136382746619 0.030046
1427247692705959881058285969449495136382746619 0.007823
1427247692705959881058285969449495136382746619 0.250888
1427247692705959881058285969449495136382746619 0.041932
1427247692705959881058285969449495136382746621 0.030805
1427247692705959881058285969449495136382746621 0.009324
1427247692705959881058285969449495136382746621 0.244391
1427247692705959881058285969449495136382746621 0.044824
5708990770823839524233143877797980545530986479 0.029642
5708990770823839524233143877797980545530986479 0.008272
5708990770823839524233143877797980545530986479 0.245371
5708990770823839524233143877797980545530986479 0.044616
365375409332725729550921208179070754913983135729 0.030670
365375409332725729550921208179070754913983135729 0.015916
365375409332725729550921208179070754913983135729 0.235836
365375409332725729550921208179070754913983135729 0.042426
46768052394588893382517914646921056628989841375207 0.041010
46768052394588893382517914646921056628989841375207 0.008036
46768052394588893382517914646921056628989841375207 0.513726
46768052394588893382517914646921056628989841375207 0.048850
93536104789177786765035829293842113257979682750459 0.039166
93536104789177786765035829293842113257979682750459 0.012194
93536104789177786765035829293842113257979682750459 0.509075
93536104789177786765035829293842113257979682750459 0.046751
2993155353253689176481146537402947624255349848014829 0.039114
2993155353253689176481146537402947624255349848014829 0.008210
2993155353253689176481146537402947624255349848014829 0.510230
2993155353253689176481146537402947624255349848014829 0.043742
23945242826029513411849172299223580994042798784118767 0.043770
23945242826029513411849172299223580994042798784118767 0.008182
23945242826029513411849172299223580994042798784118767 0.508538
23945242826029513411849172299223580994042798784118767 0.050243
23945242826029513411849172299223580994042798784118781 0.044116
23945242826029513411849172299223580994042798784118781 0.012851
23945242826029513411849172299223580994042798784118781 0.511377
23945242826029513411849172299223580994042798784118781 0.041925
784637716923335095479473677900958302012794430558004314087 0.057524
784637716923335095479473677900958302012794430558004314087 0.014171
784637716923335095479473677900958302012794430558004314087 0.484652
784637716923335095479473677900958302012794430558004314087 0.045329
1569275433846670190958947355801916604025588861116008628213 0.058105
1569275433846670190958947355801916604025588861116008628213 0.014027
1569275433846670190958947355801916604025588861116008628213 0.512767
1569275433846670190958947355801916604025588861116008628213 0.048383
3138550867693340381917894711603833208051177722232017256429 0.061196
3138550867693340381917894711603833208051177722232017256429 0.014955
3138550867693340381917894711603833208051177722232017256429 0.481060
3138550867693340381917894711603833208051177722232017256429 0.048618
6277101735386680763835789423207666416083908700390324961279 0.519647
6277101735386680763835789423207666416083908700390324961279 0.042551
25108406941546723055343157692830665664409421777856138051551 0.057856
25108406941546723055343157692830665664409421777856138051551 0.015190
25108406941546723055343157692830665664409421777856138051551 0.984907
25108406941546723055343157692830665664409421777856138051551 0.138026
100433627766186892221372630771322662657637687111424552206321 0.059841
100433627766186892221372630771322662657637687111424552206321 0.014472
100433627766186892221372630771322662657637687111424552206321 0.917907
100433627766186892221372630771322662657637687111424552206321 0.127703
401734511064747568885490523085290650630550748445698208825327 0.062298
401734511064747568885490523085290650630550748445698208825327 0.022620
401734511064747568885490523085290650630550748445698208825327 0.992732
401734511064747568885490523085290650630550748445698208825327 0.132672
33343964418374048217495713416079124002335712120992951332503551 0.940662
33343964418374048217495713416079124002335712120992951332503551 0.135047
102844034832575377634685573909834406561420991602098741459288059 0.059245
102844034832575377634685573909834406561420991602098741459288059 0.015026
102844034832575377634685573909834406561420991602098741459288059 0.989153
102844034832575377634685573909834406561420991602098741459288059 0.127309
6582018229284824168619876730229402019930943462534319453394436067 0.083967
6582018229284824168619876730229402019930943462534319453394436067 0.024480
6582018229284824168619876730229402019930943462534319453394436067 0.925348
6582018229284824168619876730229402019930943462534319453394436067 0.132990
13164036458569648337239753460458804039861886925068638906788872189 0.061366
13164036458569648337239753460458804039861886925068638906788872189 0.014815
13164036458569648337239753460458804039861886925068638906788872189 0.997491
13164036458569648337239753460458804039861886925068638906788872189 0.126327
105312291668557186697918027683670107800341436973822328098290401279 0.936334
105312291668557186697918027683670107800341436973822328098290401279 0.134417
3369993333393829974333376885877453834204643052817571560137951281149 0.084920
3369993333393829974333376885877453834204643052817571560137951281149 0.024222
3369993333393829974333376885877453834204643052817571560137951281149 0.942515
3369993333393829974333376885877453834204643052817571560137951281149 0.121081
6739986666787659948666753771754907668409286105635143120275902562187 0.085134
6739986666787659948666753771754907668409286105635143120275902562187 0.023014
6739986666787659948666753771754907668409286105635143120275902562187 0.938801
6739986666787659948666753771754907668409286105635143120275902562187 0.135496
26959946667150639794667015087019630673557916260026308143510066298881 0.926664
26959946667150639794667015087019630673557916260026308143510066298881 0.141509
107839786668602559178668060348078522694548577690162289924414440996859 0.076911
107839786668602559178668060348078522694548577690162289924414440996859 0.024648
107839786668602559178668060348078522694548577690162289924414440996859 1.780036
107839786668602559178668060348078522694548577690162289924414440996859 0.127810
1725436586697640946858688965569256363112777243042596638790631055949797 0.078847
1725436586697640946858688965569256363112777243042596638790631055949797 0.015259
1725436586697640946858688965569256363112777243042596638790631055949797 1.860332
1725436586697640946858688965569256363112777243042596638790631055949797 0.139400
55213970774324510299478046898216203619608871777363092441300193790394353 0.084194
55213970774324510299478046898216203619608871777363092441300193790394353 0.015122
55213970774324510299478046898216203619608871777363092441300193790394353 1.841233
55213970774324510299478046898216203619608871777363092441300193790394353 0.134209
14134776518227074636666380005943348126619871175004951664972849610340958199 0.081272
14134776518227074636666380005943348126619871175004951664972849610340958199 0.030979
14134776518227074636666380005943348126619871175004951664972849610340958199 1.842361
14134776518227074636666380005943348126619871175004951664972849610340958199 0.133016
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.115372
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.024571
3618502788666131106986593281521497120414687020801267626233049500247285301239 1.807215
3618502788666131106986593281521497120414687020801267626233049500247285301239 0.135172
28723632732102194046035667469577626311807405711506937402182952014414119698431 1.669724
28723632732102194046035667469577626311807405711506937402182952014414119698431 0.142394
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.144564
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.032214
57896044618658097711785492504343953926634992332820282019728792003956564819203 1.791636
57896044618658097711785492504343953926634992332820282019728792003956564819203 0.134476
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.115519
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.024077
57896044618658097711785492504343953926634992332820282019728792003956564819949 1.831544
57896044618658097711785492504343953926634992332820282019728792003956564819949 0.136406
115636606695615697602567654828622531023877166082715509571142882662199379099647 1.875014
115636606695615697602567654828622531023877166082715509571142882662199379099647 0.144303
115792089210356248762697446949407573530086143415290314195533631308867097853951 1.864005
115792089210356248762697446949407573530086143415290314195533631308867097853951 0.126868
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.036678
115792089237316195423570985008687907853269984665640564039457584007908834671663 1.880971
115792089237316195423570985008687907853269984665640564039457584007908834671663 0.128395
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.140651
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.024562
115792089237316195423570985008687907853269984665640564039457584007913129639747 1.745377
115792089237316195423570985008687907853269984665640564039457584007913129639747 0.136502
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.108757
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.030244
118571099379011784113736688648896417641748464297615937576404566024103044751294461 3.132012
118571099379011784113736688648896417641748464297615937576404566024103044751294461 0.335127
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.150066
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.025490
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 3.255377
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 0.332553
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.186421
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.027155
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 5.544786
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 0.318619
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.239960
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.043262
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 9.479600
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 0.762163
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 9.968637
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 0.762410
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.253432
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.042909
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 9.559245
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 0.759181
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.251566
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.044917
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 9.613570
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 0.773197
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.252518
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.044596
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 9.519139
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 0.731953
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.381878
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.066698
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 15.861568
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 0.779965
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.401299
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.065784
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 16.388767
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 0.741430
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.467631
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.068616
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 14.156954
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 0.760082
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.557512
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.074003
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 16.223330
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 0.770879
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.484911
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.073499
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 13.598294
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 0.782930
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.489187
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.070758
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 16.118593
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 0.751403
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 16.659981
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 0.769936
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 16.298922
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 0.778306
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 16.283385
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 0.786197
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.472958
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.064766
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 16.238895
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 0.773904
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 0.464755
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 0.071630
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 26.782793
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 1.698246
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 0.481832
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 0.074288
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 22.407793
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 1.774272
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 0.591028
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 0.095291
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 22.951850
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 1.527258
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 0.598698
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 0.100308
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 22.098825
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 1.573688
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 27.317931
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 1.734038
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 0.735064
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 0.102862
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 44.747933
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 1.514935
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 45.283282
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 1.707891
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 72.168668
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 3.741068
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 0.637809
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 0.105247
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 58.072450
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 3.711250
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 0.819917
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 0.114592
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 58.387657
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 3.700700
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 74.687458
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 3.703445
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 1.085032
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 0.168139
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 92.306561
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 3.795527
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 1.204248
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 0.164052
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 115.038187
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 3.762834
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 1.194398
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 0.168124
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 119.467161
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 3.736712
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 104.811883
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 2.930791
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 1.681687
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 0.227827
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 89.531907
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 3.746179
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 1.517292
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 0.223564
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 118.563715
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 3.764933
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 109.549008
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 3.740706
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 1.867102
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 0.227685
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 118.154269
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 3.745894
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 1.164859
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 0.182836
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 186.395535
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 7.256706
back to top