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-old-vm-over-new-extraction.txt
170141183460469231731687303715884105727 1.1592777348415653
170141183460469231731687303715884105727 0.79628400796284
170141183460469231731687303715884105727 1.5995894102048673
170141183460469231731687303715884105727 1.1306984632779977
680564733841876926926749214863536422887 1.1537547931724865
680564733841876926926749214863536422887 1.440057602304092
680564733841876926926749214863536422887 2.3834058318715634
680564733841876926926749214863536422887 2.8025323601758134
1361129467683753853853498429727072845819 1.6245401118065843
1361129467683753853853498429727072845819 1.0332357499569487
1361129467683753853853498429727072845819 2.459650219641006
1361129467683753853853498429727072845819 2.91976980365606
174224571863520493293247799005065324265459 1.8988200189882
174224571863520493293247799005065324265459 1.5611061552185548
174224571863520493293247799005065324265459 2.6698100344392297
174224571863520493293247799005065324265459 3.001827199164709
1393796574908163946345982392040522594123749 1.8665121966917682
1393796574908163946345982392040522594123749 1.3583001843407394
1393796574908163946345982392040522594123749 2.4745060221187187
1393796574908163946345982392040522594123749 2.971384277501454
2787593149816327892691964784081045188247543 1.9521389384403083
2787593149816327892691964784081045188247543 1.3967873890052878
2787593149816327892691964784081045188247543 2.445046769562385
2787593149816327892691964784081045188247543 3.0832250534058625
1427247692705959881058285969449495136382746619 2.1300672302469548
1427247692705959881058285969449495136382746619 2.0452511824108397
1427247692705959881058285969449495136382746619 2.371576161474443
1427247692705959881058285969449495136382746619 3.314890775541353
1427247692705959881058285969449495136382746621 2.077584807661094
1427247692705959881058285969449495136382746621 1.6087516087516085
1427247692705959881058285969449495136382746621 2.5082756729994147
1427247692705959881058285969449495136382746621 3.123326789220061
5708990770823839524233143877797980545530986479 2.260306322110519
5708990770823839524233143877797980545530986479 1.9342359767891684
5708990770823839524233143877797980545530986479 2.4697295116374796
5708990770823839524233143877797980545530986479 3.115474269320423
365375409332725729550921208179070754913983135729 2.2823606129768508
365375409332725729550921208179070754913983135729 1.0681075647147527
365375409332725729550921208179070754913983135729 2.5653420173340797
365375409332725729550921208179070754913983135729 3.299863291377929
46768052394588893382517914646921056628989841375207 2.6091197268958792
46768052394588893382517914646921056628989841375207 2.2399203583872573
46768052394588893382517914646921056628989841375207 2.832249097768071
46768052394588893382517914646921056628989841375207 2.8659160696008192
93536104789177786765035829293842113257979682750459 2.7830260940611757
93536104789177786765035829293842113257979682750459 1.5581433491881254
93536104789177786765035829293842113257979682750459 2.8777685016942494
93536104789177786765035829293842113257979682750459 2.973198434258091
2993155353253689176481146537402947624255349848014829 2.94012374086005
2993155353253689176481146537402947624255349848014829 2.3142509135200973
2993155353253689176481146537402947624255349848014829 2.8888932442231936
2993155353253689176481146537402947624255349848014829 3.200585249874263
23945242826029513411849172299223580994042798784118767 2.6959104409412835
23945242826029513411849172299223580994042798784118767 2.4443901246638964
23945242826029513411849172299223580994042798784118767 2.88080733396521
23945242826029513411849172299223580994042798784118767 2.786457815019008
23945242826029513411849172299223580994042798784118781 2.6747665246169188
23945242826029513411849172299223580994042798784118781 1.5562991206909969
23945242826029513411849172299223580994042798784118781 2.8315704460701205
23945242826029513411849172299223580994042798784118781 3.363148479427549
784637716923335095479473677900958302012794430558004314087 3.198664905083096
784637716923335095479473677900958302012794430558004314087 2.822666008044598
784637716923335095479473677900958302012794430558004314087 2.9918374421234204
784637716923335095479473677900958302012794430558004314087 3.0885305212998304
1569275433846670190958947355801916604025588861116008628213 3.1838912313914465
1569275433846670190958947355801916604025588861116008628213 2.8516432594282457
1569275433846670190958947355801916604025588861116008628213 2.8433967084465266
1569275433846670190958947355801916604025588861116008628213 2.914246739557282
3138550867693340381917894711603833208051177722232017256429 3.0557552781227533
3138550867693340381917894711603833208051177722232017256429 2.7415580073554
3138550867693340381917894711603833208051177722232017256429 3.0162557685112046
3138550867693340381917894711603833208051177722232017256429 2.8795919206878113
6277101735386680763835789423207666416083908700390324961279 2.7730363111881724
6277101735386680763835789423207666416083908700390324961279 3.2901694437263522
25108406941546723055343157692830665664409421777856138051551 3.301299778761062
25108406941546723055343157692830665664409421777856138051551 2.6991441737985515
25108406941546723055343157692830665664409421777856138051551 3.199286836219054
25108406941546723055343157692830665664409421777856138051551 4.13690174314984
100433627766186892221372630771322662657637687111424552206321 3.208502531709029
100433627766186892221372630771322662657637687111424552206321 2.902155887230514
100433627766186892221372630771322662657637687111424552206321 3.5101595259650487
100433627766186892221372630771322662657637687111424552206321 4.479143011518914
401734511064747568885490523085290650630550748445698208825327 3.1782721756717716
401734511064747568885490523085290650630550748445698208825327 1.9009725906277628
401734511064747568885490523085290650630550748445698208825327 3.2163766253127735
401734511064747568885490523085290650630550748445698208825327 4.3566087795465505
33343964418374048217495713416079124002335712120992951332503551 3.468833651194584
33343964418374048217495713416079124002335712120992951332503551 4.242967263249091
102844034832575377634685573909834406561420991602098741459288059 3.5446029200776437
102844034832575377634685573909834406561420991602098741459288059 3.061360308798083
102844034832575377634685573909834406561420991602098741459288059 3.244189725957461
102844034832575377634685573909834406561420991602098741459288059 4.500860112010933
6582018229284824168619876730229402019930943462534319453394436067 3.822930436957376
6582018229284824168619876730229402019930943462534319453394436067 1.9607843137254903
6582018229284824168619876730229402019930943462534319453394436067 3.4462710245226664
6582018229284824168619876730229402019930943462534319453394436067 4.28603654410106
13164036458569648337239753460458804039861886925068638906788872189 4.073917152820781
13164036458569648337239753460458804039861886925068638906788872189 3.3074586567667907
13164036458569648337239753460458804039861886925068638906788872189 3.240129484877558
13164036458569648337239753460458804039861886925068638906788872189 4.527931479414535
105312291668557186697918027683670107800341436973822328098290401279 3.420787881247503
105312291668557186697918027683670107800341436973822328098290401279 4.2702931920813585
3369993333393829974333376885877453834204643052817571560137951281149 4.039095619406501
3369993333393829974333376885877453834204643052817571560137951281149 2.1880934687474194
3369993333393829974333376885877453834204643052817571560137951281149 3.4248791796417035
3369993333393829974333376885877453834204643052817571560137951281149 4.732369240425831
6739986666787659948666753771754907668409286105635143120275902562187 3.9349731012286515
6739986666787659948666753771754907668409286105635143120275902562187 2.3029460328495697
6739986666787659948666753771754907668409286105635143120275902562187 3.4128638550661963
6739986666787659948666753771754907668409286105635143120275902562187 4.236287418078762
26959946667150639794667015087019630673557916260026308143510066298881 3.432743691348752
26959946667150639794667015087019630673557916260026308143510066298881 4.049212417584747
107839786668602559178668060348078522694548577690162289924414440996859 4.251667511799353
107839786668602559178668060348078522694548577690162289924414440996859 2.190847127555988
107839786668602559178668060348078522694548577690162289924414440996859 3.5802646688044515
107839786668602559178668060348078522694548577690162289924414440996859 4.467569047805336
1725436586697640946858688965569256363112777243042596638790631055949797 4.299466054510635
1725436586697640946858688965569256363112777243042596638790631055949797 3.6699652664001574
1725436586697640946858688965569256363112777243042596638790631055949797 3.425732611168329
1725436586697640946858688965569256363112777243042596638790631055949797 4.103299856527977
55213970774324510299478046898216203619608871777363092441300193790394353 4.157065824167993
55213970774324510299478046898216203619608871777363092441300193790394353 3.8354714984790372
55213970774324510299478046898216203619608871777363092441300193790394353 3.4612675310512033
55213970774324510299478046898216203619608871777363092441300193790394353 4.254558189093131
14134776518227074636666380005943348126619871175004951664972849610340958199 4.552613446205335
14134776518227074636666380005943348126619871175004951664972849610340958199 3.195713225087963
14134776518227074636666380005943348126619871175004951664972849610340958199 3.465118942487385
14134776518227074636666380005943348126619871175004951664972849610340958199 4.300234558248632
3618502788666131106986593281521497120414687020801267626233049500247285301239 4.403148077523142
3618502788666131106986593281521497120414687020801267626233049500247285301239 4.273330348785153
3618502788666131106986593281521497120414687020801267626233049500247285301239 3.5175670852665566
3618502788666131106986593281521497120414687020801267626233049500247285301239 4.231645607078389
28723632732102194046035667469577626311807405711506937402182952014414119698431 3.8557270542916076
28723632732102194046035667469577626311807405711506937402182952014414119698431 4.03106872480582
57896044618658097711785492504343953926634992332820282019728792003956564819203 4.586204034199386
57896044618658097711785492504343953926634992332820282019728792003956564819203 3.3215372198423045
57896044618658097711785492504343953926634992332820282019728792003956564819203 3.5358744745026334
57896044618658097711785492504343953926634992332820282019728792003956564819203 4.3056009994348425
57896044618658097711785492504343953926634992332820282019728792003956564819949 4.484110838909617
57896044618658097711785492504343953926634992332820282019728792003956564819949 4.4440752585454995
57896044618658097711785492504343953926634992332820282019728792003956564819949 3.449548577593549
57896044618658097711785492504343953926634992332820282019728792003956564819949 4.200694984091609
115636606695615697602567654828622531023877166082715509571142882662199379099647 3.3999746135228857
115636606695615697602567654828622531023877166082715509571142882662199379099647 4.012390594790129
115792089210356248762697446949407573530086143415290314195533631308867097853951 3.4372225396391105
115792089210356248762697446949407573530086143415290314195533631308867097853951 4.508623135857741
115792089237316195423570985008687907853269984665640564039457584007908834671663 4.389552320191941
115792089237316195423570985008687907853269984665640564039457584007908834671663 3.388675317163316
115792089237316195423570985008687907853269984665640564039457584007908834671663 4.4783675376767
115792089237316195423570985008687907853269984665640564039457584007913129639747 4.735124528087252
115792089237316195423570985008687907853269984665640564039457584007913129639747 4.397036071981109
115792089237316195423570985008687907853269984665640564039457584007913129639747 3.6072435926450277
115792089237316195423570985008687907853269984665640564039457584007913129639747 4.241696092364946
118571099379011784113736688648896417641748464297615937576404566024103044751294461 5.185873093226182
118571099379011784113736688648896417641748464297615937576404566024103044751294461 3.8354714984790372
118571099379011784113736688648896417641748464297615937576404566024103044751294461 3.804902407781324
118571099379011784113736688648896417641748464297615937576404566024103044751294461 5.547150781643974
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 5.377633841109912
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 5.139270302079248
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 3.6674707722024205
62165404551223330269422781018352605012557018849668464680057997111644937126566671941623 5.662255339750356
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 5.471486581447369
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 4.971460136254834
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 3.755419956694451
3978585891278293137243057985174566720803649206378781739523711815145275976100267004264429 5.862801653385392
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 6.22187031171862
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 5.524478757339004
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 3.6310603822946117
4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873143 6.342475297278928
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 3.445907399376665
8543948143683640329580086824678208458410818089423688076513504625452471533457129634052536482660351 6.278773888065476
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 6.455380536001767
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 6.618658090377309
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 3.658761753674061
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444719 6.352898715853005
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 6.419786457629409
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 6.367299686087672
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 3.593254118917322
139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444733 6.219630960803004
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 6.474785955852652
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 6.502825365503632
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 3.6514857068480673
559936185544451052639360570142111069530411374308662383724997275240947967795040236345219373317901778929 6.605615387873265
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 7.209108668213409
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 6.581906503943148
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 3.4815599567457642
1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707687 6.173353932548256
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 7.25394282068981
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 7.053386841785238
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 3.3915303085338877
1231312693637327475383720003129487931408741852202045208373384168882678805359287831606695820465153613775207124697069 6.52253078510446
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 7.41396528459405
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 6.893435933310015
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 3.8988612945976935
9850501549098619803069760025035903451269934817616361666987073351061430442874302652853566563721228910201656997576599 6.336158467112758
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 7.278767093802465
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 6.405145737334973
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 3.4231566515629033
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995152987 6.209794273809508
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 7.1992592455110325
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 6.435461706961999
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 4.064112748260921
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153221 6.207451496302352
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 7.097490325785436
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 6.713021849119534
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 3.442918373830768
19701003098197239606139520050071806902539869635232723333974146702122860885748605305707133127442457820403313995153377 6.412005275464696
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 3.3000637875877534
27242793346725870392864805069239920482418413479970250235261124736529268568574243274298145027791523704776457633923071 6.249870119074833
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 3.4849544037329583
39399000061888528705747341564979723453684698396802844018513788071802160543945063912606632720166983136866747113537535 6.198076335014762
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 3.393459038154536
39402006196394479212279040100143613805079739270465446667948293404245721771496870329047266088258938001861606973112319 6.120603360226508
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 7.294516637840993
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 7.3649754500818325
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 3.4139022390378164
39402006196394479212279040100143613805079739270465446667948293404245721771497210611414266254884915640806627990306499 6.167431619425664
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 7.69222493571882
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 6.8267485690353205
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 3.194999117530423
1260864198284623334792929283204595641762551656654894293374345388935863096687910739565256520156317300505812095689818091 6.41132085693121
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 7.847133440701324
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 7.0132457462847295
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 3.8095228744749647
5164499756173817179311838344006023748659411585658447025661318713081295244033682389259290706560275662871806343945494986721 6.151255275403095
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 7.893027064707594
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 7.839145354755433
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 3.750460202554478
21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736171 7.178878748711743
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 7.870412127650335
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 7.506878813255175
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 3.90699505516696
42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472367 7.0719227699518585
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 3.1269571623121823
169230328010303641331690318856389386196071598838855992136870091178871743226194193992506142233229486675299383870011013888737279 6.275525680521419
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 8.35845586234668
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 8.331551010091191
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 2.8808481500139904
45427420268475430659332737993000283397102585042957378767593137448789955507087370207886940669610222847547657600391636120845912601788399 7.137599963034718
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 2.8456638809881314
726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 6.385653416992068
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 2.6018077540242257
2907354897182427562197295231552018137414565442749272241125960796722503232560257392025174868824880222981702812136219630589176199293960191 5.993475659891774
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 8.684418062460706
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 8.40879074938003
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 3.235854523100024
11629419588729710248789180926208072549658261770997088964503843186890228609814366773219056811420217048972200345700258846936553626057834493 6.032738295722465
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 8.286204579243996
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 8.264102206087685
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 3.202817335177536
762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529839 6.033182911341099
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 2.516218988200134
3121748550315992231381597229793166305748598142664971150859156959625371737052918555341921773480194470416908415293922726019829017557682084013670399 6.07353423636641
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 8.944436661775875
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 8.017176264876085
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 2.928556725236465
799167628880894011233688890827050574271641124522232614619944181664095165137859998750798362384253944616915694367080095461234681773897801038410285039 5.892989300300064
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 8.072257541635942
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 8.21081120620291
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 2.3244020700708714
1598335257761788022467377781654101148543282249044465229239888363328190330275719997501596724768507889233831388734160190922469363547795602076820570091 5.951631137594696
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 8.32637027188592
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 8.166591325450263
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 2.24819103217829
102293456496754433437912178025862473506770063938845774671352855253004181137646079840102190385184504910965208878986252219038039267058918532916516487137 5.948009908175958
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 2.544883198024407
3292621777717531703499517186296461297235914818063567795121505704883698582458552017893209304118318844074148143396809486426396407928092469737516832688963583 7.7197589319743365
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 8.975510900661062
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 8.260653917226668
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 3.0036107686168236
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041567 6.036817781531528
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 8.925770385660769
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 8.41817108300084
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 2.262538753951831
6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 5.956015684741269
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 2.466749858656867
13307355755662784245937995239384449178495717617804446826996292939863313924196378526398893947208652243867464023067321551174658528251694711947109629815685119 5.9991349226589845
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 8.124355284285487
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 8.257021762522783
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 2.2787073398084328
13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006083527 6.003640252500472
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 8.205284931480977
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 8.269706184777615
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 2.022146077694404
6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057151 5.827988621834756
back to top