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-vm-over-new-extraction.txt
170141183460469231731687303715884105727 7.658258975620037
170141183460469231731687303715884105727 5.573988055739881
170141183460469231731687303715884105727 9.991018348231469
170141183460469231731687303715884105727 5.961864624556716
680564733841876926926749214863536422887 7.635142013641454
680564733841876926926749214863536422887 10.200408016320653
680564733841876926926749214863536422887 11.185488755516051
680564733841876926926749214863536422887 10.16170006855115
1361129467683753853853498429727072845819 10.463949543695351
1361129467683753853853498429727072845819 7.23265024969864
1361129467683753853853498429727072845819 11.524983136177424
1361129467683753853853498429727072845819 10.49424509140149
174224571863520493293247799005065324265459 11.359012613590126
174224571863520493293247799005065324265459 9.589652096342551
174224571863520493293247799005065324265459 12.170287257484924
174224571863520493293247799005065324265459 10.767423649177761
1393796574908163946345982392040522594123749 10.5876295295102
1393796574908163946345982392040522594123749 8.440865431260308
1393796574908163946345982392040522594123749 11.629767938116832
1393796574908163946345982392040522594123749 10.765885063411064
2787593149816327892691964784081045188247543 11.140654976271415
2787593149816327892691964784081045188247543 8.480494861817819
2787593149816327892691964784081045188247543 11.60592923841619
2787593149816327892691964784081045188247543 10.901402867399298
1427247692705959881058285969449495136382746619 11.349264461159557
1427247692705959881058285969449495136382746619 11.63236609996165
1427247692705959881058285969449495136382746619 11.395523101941903
1427247692705959881058285969449495136382746619 11.39940856625012
1427247692705959881058285969449495136382746621 10.485310826164584
1427247692705959881058285969449495136382746621 9.33075933075933
1427247692705959881058285969449495136382746621 11.780302875310467
1427247692705959881058285969449495136382746621 11.377833303587364
5708990770823839524233143877797980545530986479 11.470211186829498
5708990770823839524233143877797980545530986479 11.000967117988395
5708990770823839524233143877797980545530986479 11.598762689967437
5708990770823839524233143877797980545530986479 11.22915545992469
365375409332725729550921208179070754913983135729 11.216172155200521
365375409332725729550921208179070754913983135729 5.529027393817542
365375409332725729550921208179070754913983135729 12.148272528367173
365375409332725729550921208179070754913983135729 11.973789657285627
46768052394588893382517914646921056628989841375207 11.97268958790539
46768052394588893382517914646921056628989841375207 11.572921851667497
46768052394588893382517914646921056628989841375207 11.120714155016488
46768052394588893382517914646921056628989841375207 10.726714431934495
93536104789177786765035829293842113257979682750459 12.45978654955829
93536104789177786765035829293842113257979682750459 7.626701656552402
93536104789177786765035829293842113257979682750459 11.228208024357903
93536104789177786765035829293842113257979682750459 11.015807148510193
2993155353253689176481146537402947624255349848014829 12.425218591808559
2993155353253689176481146537402947624255349848014829 11.084043848964676
2993155353253689176481146537402947624255349848014829 11.120475079865944
2993155353253689176481146537402947624255349848014829 11.522106899547346
23945242826029513411849172299223580994042798784118767 11.309115832762165
23945242826029513411849172299223580994042798784118767 11.488633585920313
23945242826029513411849172299223580994042798784118767 11.135844322351526
23945242826029513411849172299223580994042798784118767 9.99144159385387
23945242826029513411849172299223580994042798784118781 10.857738688911052
23945242826029513411849172299223580994042798784118781 7.3146058672476855
23945242826029513411849172299223580994042798784118781 11.077932718913836
23945242826029513411849172299223580994042798784118781 12.259988073941564
784637716923335095479473677900958302012794430558004314087 12.0123774424588
784637716923335095479473677900958302012794430558004314087 11.714063933385082
784637716923335095479473677900958302012794430558004314087 11.76720616029646
784637716923335095479473677900958302012794430558004314087 11.405501996514372
1569275433846670190958947355801916604025588861116008628213 11.720161776095003
1569275433846670190958947355801916604025588861116008628213 11.549155200684394
1569275433846670190958947355801916604025588861116008628213 10.417987116955654
1569275433846670190958947355801916604025588861116008628213 10.437550379265444
3138550867693340381917894711603833208051177722232017256429 11.030132688411008
3138550867693340381917894711603833208051177722232017256429 10.899364760949515
3138550867693340381917894711603833208051177722232017256429 11.127510081902464
3138550867693340381917894711603833208051177722232017256429 10.22255131844173
6277101735386680763835789423207666416083908700390324961279 11.074825795203283
6277101735386680763835789423207666416083908700390324961279 11.797607576790206
25108406941546723055343157692830665664409421777856138051551 12.116288716814159
25108406941546723055343157692830665664409421777856138051551 10.928242264647794
25108406941546723055343157692830665664409421777856138051551 10.449717587548875
25108406941546723055343157692830665664409421777856138051551 11.454363670612782
100433627766186892221372630771322662657637687111424552206321 11.664243578817198
100433627766186892221372630771322662657637687111424552206321 11.539524599226093
100433627766186892221372630771322662657637687111424552206321 11.248416233888618
100433627766186892221372630771322662657637687111424552206321 12.348965960079244
401734511064747568885490523085290650630550748445698208825327 11.380782689652959
401734511064747568885490523085290650630550748445698208825327 7.471264367816092
401734511064747568885490523085290650630550748445698208825327 10.354254723329158
401734511064747568885490523085290650630550748445698208825327 11.901531596719728
33343964418374048217495713416079124002335712120992951332503551 11.741730823611457
33343964418374048217495713416079124002335712120992951332503551 11.862536746466045
102844034832575377634685573909834406561420991602098741459288059 12.27107772807832
102844034832575377634685573909834406561420991602098741459288059 11.380274191401572
102844034832575377634685573909834406561420991602098741459288059 10.93157479176629
102844034832575377634685573909834406561420991602098741459288059 12.261505470940781
6582018229284824168619876730229402019930943462534319453394436067 11.42115354841783
6582018229284824168619876730229402019930943462534319453394436067 7.066993464052287
6582018229284824168619876730229402019930943462534319453394436067 11.645348560757682
6582018229284824168619876730229402019930943462534319453394436067 11.850515076321528
13164036458569648337239753460458804039861886925068638906788872189 11.944725092070527
13164036458569648337239753460458804039861886925068638906788872189 11.744853189335133
13164036458569648337239753460458804039861886925068638906788872189 10.767014439228022
13164036458569648337239753460458804039861886925068638906788872189 12.000601613273489
105312291668557186697918027683670107800341436973822328098290401279 11.635805172086028
105312291668557186697918027683670107800341436973822328098290401279 11.57591673672229
3369993333393829974333376885877453834204643052817571560137951281149 11.469618464437117
3369993333393829974333376885877453834204643052817571560137951281149 7.389976054826191
3369993333393829974333376885877453834204643052817571560137951281149 11.341994557115802
3369993333393829974333376885877453834204643052817571560137951281149 12.974785474186701
6739986666787659948666753771754907668409286105635143120275902562187 11.605234101534052
6739986666787659948666753771754907668409286105635143120275902562187 7.604067089597636
6739986666787659948666753771754907668409286105635143120275902562187 11.573272717008184
6739986666787659948666753771754907668409286105635143120275902562187 11.439452087146483
26959946667150639794667015087019630673557916260026308143510066298881 12.035646145744304
26959946667150639794667015087019630673557916260026308143510066298881 11.342034782239999
107839786668602559178668060348078522694548577690162289924414440996859 12.807010700680008
107839786668602559178668060348078522694548577690162289924414440996859 7.262252515417072
107839786668602559178668060348078522694548577690162289924414440996859 10.58180845780647
107839786668602559178668060348078522694548577690162289924414440996859 12.330803536499491
1725436586697640946858688965569256363112777243042596638790631055949797 12.73352188415539
1725436586697640946858688965569256363112777243042596638790631055949797 11.796316927714791
1725436586697640946858688965569256363112777243042596638790631055949797 9.785350141802645
1725436586697640946858688965569256363112777243042596638790631055949797 11.506456241033
55213970774324510299478046898216203619608871777363092441300193790394353 12.007981566382401
55213970774324510299478046898216203619608871777363092441300193790394353 12.299960322708637
55213970774324510299478046898216203619608871777363092441300193790394353 10.142116722869947
55213970774324510299478046898216203619608871777363092441300193790394353 11.795036100410554
14134776518227074636666380005943348126619871175004951664972849610340958199 12.685795846047839
14134776518227074636666380005943348126619871175004951664972849610340958199 9.393460085864618
14134776518227074636666380005943348126619871175004951664972849610340958199 10.102797443063547
14134776518227074636666380005943348126619871175004951664972849610340958199 11.825645035183737
3618502788666131106986593281521497120414687020801267626233049500247285301239 11.666608882571161
3618502788666131106986593281521497120414687020801267626233049500247285301239 12.046721745146717
3618502788666131106986593281521497120414687020801267626233049500247285301239 10.47412731744701
3618502788666131106986593281521497120414687020801267626233049500247285301239 11.725801201432251
28723632732102194046035667469577626311807405711506937402182952014414119698431 11.298274445357436
28723632732102194046035667469577626311807405711506937402182952014414119698431 11.236428501200894
57896044618658097711785492504343953926634992332820282019728792003956564819203 11.939348662184223
57896044618658097711785492504343953926634992332820282019728792003956564819203 9.467933196746756
57896044618658097711785492504343953926634992332820282019728792003956564819203 10.210779421712893
57896044618658097711785492504343953926634992332820282019728792003956564819203 11.898033849906303
57896044618658097711785492504343953926634992332820282019728792003956564819949 11.816238021451017
57896044618658097711785492504343953926634992332820282019728792003956564819949 12.709224571167503
57896044618658097711785492504343953926634992332820282019728792003956564819949 10.220884674351257
57896044618658097711785492504343953926634992332820282019728792003956564819949 11.502426579475976
115636606695615697602567654828622531023877166082715509571142882662199379099647 10.110324509576996
115636606695615697602567654828622531023877166082715509571142882662199379099647 10.803656195643889
115792089210356248762697446949407573530086143415290314195533631308867097853951 9.717785091778188
115792089210356248762697446949407573530086143415290314195533631308867097853951 12.288362707696187
115792089237316195423570985008687907853269984665640564039457584007908834671663 11.805441954305032
115792089237316195423570985008687907853269984665640564039457584007908834671663 9.994837772618505
115792089237316195423570985008687907853269984665640564039457584007908834671663 12.09548658436855
115792089237316195423570985008687907853269984665640564039457584007913129639747 12.221740336008988
115792089237316195423570985008687907853269984665640564039457584007913129639747 12.458268870613141
115792089237316195423570985008687907853269984665640564039457584007913129639747 10.760425971007983
115792089237316195423570985008687907853269984665640564039457584007913129639747 11.604225579112393
118571099379011784113736688648896417641748464297615937576404566024103044751294461 12.900319059922579
118571099379011784113736688648896417641748464297615937576404566024103044751294461 10.415288982938765
118571099379011784113736688648896417641748464297615937576404566024103044751294461 10.015925864907286
118571099379011784113736688648896417641748464297615937576404566024103044751294461 12.634016357977721
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 12.361227726467021
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 12.671635935661044
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 9.673841155724821
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 12.599495418775355
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 12.503956099366487
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 12.29976063340085
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 9.072306848271511
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 13.166195361858522
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 12.70211701950325
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 12.019786417641347
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 8.315646229798725
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 11.896405362107581
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 7.86065336715541
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 11.699741608845633
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 12.66217367972474
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 12.608077559486356
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 8.307664465132968
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 11.716573518041152
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 12.446038017856148
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 11.821804661932008
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 8.185512769969948
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 11.801649514936038
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 12.68424429149605
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 12.175979908511977
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 8.237404664434463
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 12.09640509704858
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 12.886314477398543
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 12.369186482353294
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 7.320587724996671
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 11.324867141474297
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 12.80342089065759
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 12.997081357168916
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 7.156914244982554
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 12.26413821938686
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 13.266870673672189
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 12.30033811355952
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 8.254176710611619
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 11.817146044768853
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 13.031109644276714
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 11.634663459589476
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 7.2570181337616875
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 11.886430944415402
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 12.87865195881306
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 11.728050721778528
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 8.64755534775171
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 11.491448788525155
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 12.743592940940786
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 12.168235393877724
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 7.170663096958897
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 12.308974012613737
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 7.0800801033326515
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 11.86722013258245
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 7.177898022949003
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 11.71518657186248
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 7.194388636023776
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 11.238913402111685
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 13.062470663357
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 13.386653491029243
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 7.234482395507823
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 11.780530918563544
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 13.392002237738165
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 12.52268602540835
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 6.386936567818001
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 10.896536779712715
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 13.506782446993974
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 12.236161964247254
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 7.617528419688632
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 10.609421779749667
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 13.361465108252062
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 13.254137326715009
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 7.413825029354932
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 12.377083636163633
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 13.185278721492306
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 12.581249750767636
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 7.4980909618497815
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 11.921041527926757
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 6.260064131503956
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 10.769083491826592
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 13.441006497393424
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 13.416033131768778
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 5.340939435124299
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 12.488984675910189
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 5.266579396784889
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 10.803968168928813
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 4.717088584758139
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 9.14418021805538
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 13.703161918379955
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 13.321044780373787
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 5.8989073131924
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 9.280970023576963
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 12.753729950714524
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 12.91538676347389
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 5.838391494284486
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 9.557921474315672
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 4.54760423095401
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 9.386125620874619
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 13.153529112505439
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 12.031711857451276
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 5.098727489154319
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 9.070940609828359
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 12.054825916256451
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 12.300977738765756
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 4.092606223010104
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 9.33126467975999
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 12.35936429900251
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 12.425352715852584
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 3.9366550277360317
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 9.462061834040194
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 4.477030529067014
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 11.716290926238
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 13.069614024488505
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 11.894990497175488
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 5.24223168841919
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 9.373817962249001
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 12.754960811762007
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 12.278363242740333
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 3.9584623339442424
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 9.331905773622001
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 4.218029979787676
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 9.443939192227349
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 11.570337346326019
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 12.1747150668687
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 3.9753705386641593
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 9.392150445260866
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 11.938784007334792
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 12.049049421339342
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 8.578961308340176
back to top