Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_abs_test / abs_test_abs_test_input_values @ 0c9457a0

History | View | Annotate | Download (16.8 KB)

1
93.89545248488933
2
86
3
53
4
53
5
74.79755329775053
6
57.69972044455943
7
41.64816862145517
8
22.40168387589846
9
54.94037250149791
10
71.97822601226578
11
33.14135083236065
12
33.116994385830736
13
7.682734796089729
14
13
15
19
16
20
17
56.02486229415569
18
5.478481676208869
19
18.18511667048407
20
20.90244388668385
21
47.16405920813004
22
8.656962757027065
23
42.92947797764188
24
83.24401237237453
25
78.36752850821222
26
91
27
73
28
61
29
77.11829808630908
30
61.384108080391954
31
65.85800349373528
32
53.135634954654755
33
60.13876390314357
34
42.384071498421214
35
70.98504039347887
36
40.00150011584792
37
79.66125365336838
38
42
39
78
40
44
41
4.17497734738177
42
56.66178076610269
43
0.5712778139114416
44
68.75847361815691
45
26.026361834903287
46
46.013374663906404
47
52.07785514393007
48
36.40690938802754
49
65.02698740907711
50
16
51
42
52
63
53
11.967415367700507
54
58.499389075087436
55
62.84410064373985
56
95.3626126315757
57
28.925968606549514
58
2.6215144590714057
59
98.5502723334957
60
59.13433699030134
61
91.19143822932284
62
55
63
93
64
10
65
34.875215318447204
66
7.074682172188518
67
42.66293617306176
68
20.642096021988042
69
41.46605365920306
70
92.56593324886413
71
54.25535182903953
72
65.3724161994074
73
61.12938576673604
74
6
75
59
76
15
77
12.506077090377921
78
81.83499435727715
79
23.731479392999198
80
1.1493614598853785
81
42.2882727308285
82
90.93526126172124
83
88.52385741622616
84
21.668353597421163
85
71.00215784489447
86
29
87
9
88
14
89
32.8172186954669
90
81.12006967402571
91
18.43489167804827
92
61.69441400857815
93
78.1083367299888
94
35.30500042192121
95
74.01246518273257
96
89.2427749481655
97
48.97184557726162
98
95
99
2
100
1
101
40.460592081952115
102
72.63353765211784
103
32.5663879492196
104
32.0444220169105
105
72.19094334787974
106
84.01437615570735
107
20.597919742997195
108
84.95806139634927
109
67.21641142562055
110
97
111
82
112
44
113
69.97613785072949
114
81.63796010760211
115
60.02473182018214
116
86.71938318377006
117
1.54656992595672
118
70.93196884180924
119
54.42397473679835
120
55.26941931506795
121
76.05174534965295
122
21
123
61
124
98
125
91.75470367833208
126
97.31293108669873
127
76.83877083380573
128
59.946850944629404
129
37.591749024109234
130
38.14814513014315
131
39.724385026882636
132
82.12314460082109
133
66.22558385525022
134
64
135
90
136
62
137
60.037640407543776
138
12.43884232923127
139
96.72640368291519
140
49.5914038768107
141
45.202801693269365
142
13.56179919798346
143
1.4499030873218022
144
88.94667578750023
145
21.76245366803853
146
29
147
54
148
82
149
51.38928217857175
150
94.578901567997
151
62.22494252717227
152
40.74753776823798
153
96.83660891028694
154
91.90823481924572
155
0.4972411069828486
156
20.106119659899214
157
25.534203401665145
158
3
159
66
160
60
161
39.62635945607417
162
24.684745721378675
163
12.881436985445582
164
53.29534934940433
165
96.62452734950739
166
46.346939266673346
167
29.472451439731817
168
80.04364730837491
169
14.319665380976264
170
33
171
54
172
82
173
9.146182149706695
174
56.21284387838818
175
58.943391887796516
176
32.863080283573176
177
17.980199377090635
178
30.85701218425069
179
40.25189024458936
180
34.44306183112737
181
3.354584072042599
182
89
183
2
184
59
185
93.08526087130544
186
20.910449121403396
187
12.451327206545237
188
63.98795508318532
189
39.33736762748823
190
60.11259989374336
191
61.246628452008586
192
10.723325627140557
193
97.17062059782594
194
39
195
27
196
58
197
90.83098262112298
198
16.787200981261453
199
84.29661858673457
200
76.68157512251564
201
94.67713641670869
202
87.81878244848942
203
51.37167048049272
204
23.381949085042784
205
19.646339887534413
206
30
207
35
208
36
209
80.36197575707381
210
1.996999831204438
211
24.8967567876071
212
88.58791833502198
213
58.849044813257954
214
41.41846505344656
215
83.5698609007674
216
54.02496585416602
217
9.5743261627248
218
66
219
21
220
56
221
39.12668878292327
222
99.27699664114094
223
9.503885916789368
224
98.06570312671438
225
75.73131477505822
226
14.539182977268773
227
81.26581600137138
228
19.942526042039997
229
24.440629431435212
230
54
231
7
232
24
233
27.21408260717444
234
72.189125253507
235
70.98101729756091
236
90.16266637236873
237
30.18348873184906
238
27.46732072686562
239
71.44016685415254
240
20.075367863011785
241
41.62092681693528
242
84
243
93
244
25
245
79.67530397395609
246
40.02256720787196
247
49.77850506987185
248
20.486190987269115
249
65.43934921278723
250
33.821028395356336
251
69.04694061680267
252
72.24693195462272
253
8.264243508745162
254
88
255
4
256
22
257
99.05924050996862
258
72.85846665832211
259
5.711147077621314
260
45.96578282958167
261
63.17430886935098
262
3.3533670548215877
263
52.932307464679674
264
59.83003051421613
265
10.985784248221908
266
96
267
93
268
73
269
88.43307933783133
270
93.70102367076873
271
50.41957827557544
272
74.87705361764797
273
52.62448589292647
274
42.197759518198886
275
29.916713178419442
276
65.1355786123488
277
5.115709610715225
278
29
279
16
280
67
281
21.522605061176968
282
13.652011557069898
283
30.646207440323202
284
17.31775892456516
285
66.01242398098226
286
81.70739933410378
287
22.933459740232966
288
88.7453943051997
289
10.28197010489037
290
2
291
94
292
42
293
99.026288777133
294
73.4562826787574
295
88.2867249479861
296
41.311384173569955
297
5.250748132273619
298
59.783672035015364
299
13.041672887098088
300
46.29909721416601
301
99.2653138067741
302
49
303
14
304
48
305
67.78579389519355
306
84.8337667419342
307
39.321229358466105
308
20.69376527318738
309
40.27571735328054
310
10.464401808987356
311
67.19244131707211
312
92.50217439257543
313
21.332521491929214
314
5
315
80
316
28
317
58.23793340777183
318
26.090039970149604
319
32.63380018285408
320
69.59080105882362
321
6.794270157275317
322
8.954739731635208
323
82.25799290661382
324
33.51586144046749
325
57.434437356975096
326
8
327
71
328
12
329
89.7943903195851
330
60.38083804251605
331
13.263519616510699
332
71.9908614516343
333
44.84379498299344
334
28.067255252801647
335
92.18306340249801
336
7.799063944780893
337
11.017696113695052
338
26
339
70
340
97
341
7.760558350330838
342
64.44242930766723
343
77.18505590876948
344
8.77237991997002
345
5.2962554140434275
346
64.65115164965593
347
33.92763205362578
348
70.27440896830872
349
80.77015924694783
350
0
351
40
352
13
353
38.09532630132051
354
82.08399917466835
355
19.224370651340173
356
82.66240016773077
357
9.264055559776885
358
37.28597629301862
359
75.51343896058664
360
94.43830079085275
361
4.313522829797223
362
7
363
29
364
13
365
4.943610177280233
366
4.31818474839557
367
94.73029609894866
368
42.528609871454535
369
18.52027626681926
370
61.59371417496824
371
41.24789705546211
372
2.2089942612278257
373
52.00500401738596
374
41
375
68
376
15
377
69.69340418788023
378
68.51626253789055
379
9.633878307422483
380
73.49420317256623
381
85.43889939872888
382
94.61579643695163
383
37.36963743543602
384
2.8723261914603726
385
32.56435152851386
386
71
387
96
388
89
389
88.27318506903687
390
32.93569823474138
391
41.366161335549855
392
28.479793407061884
393
87.91717767651677
394
85.61895010616244
395
95.68818538374066
396
61.64258922658023
397
5.98594952054291
398
0
399
89
400
90
401
56.90617708297053
402
81.82441604052403
403
4.0067956724004095
404
88.09627390558795
405
60.703292330438565
406
25.684601873533573
407
70.63584893823894
408
78.35468728848699
409
87.44887102971298
410
22
411
91
412
1
413
6.948071177176763
414
33.58576598987878
415
92.55043014054695
416
54.89155077742248
417
33.411701071626965
418
24.20468990835292
419
41.25718009512538
420
85.66676274066339
421
90.92160342345836
422
53
423
82
424
93
425
43.75279853592884
426
60.035716426257856
427
25.63208077963327
428
36.61711886963602
429
1.9797903736815892
430
60.4162668536833
431
26.252500358068865
432
59.31458282132667
433
92.29464655125213
434
6
435
52
436
95
437
93.95207888872554
438
46.80133527901743
439
40.04978713633324
440
62.18946564823187
441
13.56029800624351
442
17.262967131927
443
34.9534020284371
444
38.83471054043065
445
21.111384878778907
446
5
447
35
448
16
449
91.53667907498752
450
50.356516540870736
451
10.631684287240795
452
8.491519561762528
453
77.18078690954056
454
30.085501039525873
455
4.286366109700723
456
76.62219579545445
457
61.307188206741024
458
38
459
67
460
78
461
50.78174545491165
462
25.657579020570896
463
40.96672598698656
464
71.58226343755683
465
2.0255437890577044
466
28.984312591779027
467
96.05554882511605
468
89.66300253394338
469
69.11170589551759
470
97
471
24
472
83
473
51.49740015066258
474
90.67790409588663
475
60.907548609104
476
5.048179929129182
477
43.351070259414
478
21.768196791296536
479
99.64921083740526
480
9.959733582219311
481
84.13401917615285
482
49
483
24
484
91
485
28.0744422428715
486
21.28004905393296
487
85.83600564833024
488
41.95360508599494
489
10.552264816113244
490
44.47419648721217
491
70.78627443401486
492
82.57514320526795
493
25.721267128719305
494
71
495
18
496
34
497
22.68957798702037
498
10.230887643773867
499
93.08402650558847
500
32.277176654122385
501
34.84219354887049
502
80.41467222541368
503
36.19841517819032
504
62.93877247042975
505
29.483681307614418
506
8
507
79
508
9
509
93.57280126783196
510
82.65764094895476
511
82.93237541407971
512
63.923270765235365
513
27.121645097726756
514
58.51194447257928
515
64.41038731655175
516
11.35878503730905
517
94.74726476081815
518
53
519
77
520
95
521
40.96534091584837
522
38.52073628730398
523
25.957265475493408
524
18.52768212907995
525
70.73618063520422
526
88.47995124849055
527
63.38082284982551
528
55.724137431380235
529
57.06153478250421
530
57
531
2
532
67
533
44.49423427118866
534
25.892319595329106
535
99.19864450904451
536
16.833062851604154
537
39.67851819009612
538
63.826143849729824
539
97.10311181853285
540
1.6683814484615977
541
64.77188911101402
542
13
543
19
544
17
545
1.0480215060063025
546
69.16279416018865
547
63.92788766849885
548
74.88501288971437
549
35.375092312755896
550
87.8457386402616
551
29.696399379115856
552
13.085392798892492
553
37.85415897605563
554
4
555
10
556
22
557
47.748126072048
558
48.45619662596754
559
76.25945591267045
560
18.70335686782797
561
9.540124845128439
562
26.14724808978478
563
93.79208038317722
564
52.883366037375815
565
63.49957932500416
566
28
567
77
568
79
569
73.61281908593725
570
30.415733361578567
571
93.49491851825775
572
1.2433008735266315
573
45.148406681134055
574
28.010411030265004
575
98.29042211624365
576
73.40293484898959
577
74.17944066741966
578
58
579
6
580
92
581
71.87915464191617
582
35.19506490362706
583
88.87870806964956
584
57.41003920995264
585
6.303157710143958
586
85.98680524523948
587
18.21122208974445
588
40.69699209586446
589
23.133996684046533
590
79
591
68
592
20
593
84.59227181427565
594
16.536782219180623
595
62.46701567375085
596
83.56741357126789
597
13.456565212999239
598
8.774748889915806
599
46.74188620458119
600
28.57530036774779
601
86.32407604240676
602
8
603
48
604
53
605
58.94185541494691
606
17.493030810690612
607
82.54557995572111
608
82.1888404588607
609
59.93542932988139
610
23.581669816101204
611
63.6517689166071
612
4.7937106936841385
613
43.61575117326927
614
93
615
58
616
45
617
84.4295994006932
618
26.953590589515397
619
32.26993734733019
620
51.107062598582786
621
10.495742352344696
622
29.241664125039833
623
83.84659195238879
624
99.21479364313157
625
88.15269014003576
626
63
627
89
628
21
629
16.863232176318288
630
23.948880362144788
631
95.80587484610324
632
46.99387673334352
633
68.90553104548383
634
23.014814136481775
635
10.029842186594095
636
18.018115865248262
637
25.121781082030704
638
65
639
78
640
58
641
42.75758125089985
642
48.46909092836322
643
1.3723637564388325
644
3.5050282509954345
645
3.2834406160442198
646
61.018690973232005
647
90.95646223556719
648
65.06249014396516
649
45.81566546660213
650
19
651
14
652
23
653
7.797346052250864
654
29.028492852501884
655
5.367471568441906
656
59.893983742833925
657
42.97584683187339
658
98.3413272154391
659
33.5420412261449
660
95.30830521763126
661
83.84576207790822
662
89
663
60
664
54
665
50.95639565044886
666
2.808811866531369
667
72.99353547464413
668
16.03861797564129
669
45.34783729270122
670
29.152334859376015
671
98.7165033786147
672
58.19299447008457
673
94.04753380792916
674
63
675
95
676
95
677
59.1230141399135
678
23.138824932959857
679
71.11721814462341
680
76.32491628291042
681
79.37204311508145
682
87.69822903829424
683
34.33003359022799
684
93.61268368968311
685
0.9104703846625872
686
1
687
94
688
90
689
82.18044458033282
690
72.77948273968615
691
93.71352595065552
692
17.13963265002586
693
22.155863107279483
694
34.00137353121539
695
48.911064711650866
696
37.69343018642434
697
0.8913257921950191
698
32
699
86
700
16
701
92.05996678716384
702
95.80405662343641
703
64.200588015039
704
35.58092793347788
705
52.591139599434655
706
33.8108776266739
707
44.024144850785355
708
25.051678215568685
709
91.75062968988871
710
80
711
69
712
1
713
84.23553760431287
714
1.1742001687068737
715
20.575398395979228
716
60.02909528001143
717
26.814376660285355
718
38.36618499098533
719
20.92975103669855
720
74.86391718396533
721
59.94341394098927
722
88
723
75
724
50
725
70.19078150293021
726
69.45119884547957
727
23.74748583988119
728
30.85051685340123
729
87.42186952041848
730
44.164532078306564
731
0.10201220237927577
732
15.966561942875323
733
32.400881910501234
734
56
735
61
736
85
737
83.13599232557961
738
2.7515466908013653
739
73.23071499742306
740
16.460064697708845
741
95.92330169876413
742
59.173523683092796
743
27.455675665243128
744
20.99811228343037
745
61.56090859728136
746
45
747
52
748
76
749
26.226985957721293
750
31.743964911596724
751
97.2289251824163
752
42.03339347842713
753
98.70850260893013
754
55.068539570735766
755
88.69455303915747
756
94.19849607168545
757
91.28423837642744
758
58
759
28
760
68
761
91.56296408915144
762
10.599304066005466
763
19.79653596986759
764
58.43467113986696
765
88.50210509838676
766
58.129227356010006
767
31.811249424105203
768
50.28049182298071
769
90.42454009340484
770
82
771
97
772
28
773
45.22813469576925
774
78.59047300306314
775
61.43844228889739
776
74.18315722162927
777
79.72928434370446
778
9.284321518720628
779
49.563375397172436
780
71.28123963655757
781
16.687677784495158
782
45
783
94
784
80
785
41.02941274511092
786
66.68998670472105
787
35.39839473592762
788
81.92980557019854
789
56.22786830693054
790
67.19413478927578
791
31.670121160387176
792
0.8171079554556426
793
22.890225038654467
794
40
795
61
796
19
797
4.019884449499111
798
60.767668227659485
799
58.813972551181706
800
7.811409984383677
801
67.7565020026345
802
85.74546077668293
803
0.42903851595551545
804
28.686800246990074
805
83.98669886591881
806
50
807
32
808
0
809
96.82458309788177
810
26.004049821988296
811
44.73539169475734
812
67.57530166367832
813
48.59916115898908
814
8.458480924775923
815
89.2585700385714
816
13.93897194213245
817
1.00863929546392
818
83
819
27
820
63
821
55.75209140100067
822
91.38480799722313
823
22.672399617858275
824
28.87604792074203
825
29.511909807310754
826
80.1942799749899
827
61.30003768540514
828
75.77116330964883
829
14.823518317298523
830
19
831
53
832
38
833
52.707104065762124
834
59.034031254509344
835
97.41159284478879
836
37.20557806819747
837
42.756333048264395
838
90.12200744919808
839
66.82159600292538
840
51.10741842133015
841
48.50617985634782
842
26
843
94
844
67
845
83.85871045348327
846
35.45063871425405
847
47.24380801360333
848
59.95026885388255
849
8.94783057434465
850
14.814352425814503
851
83.5567408329935
852
69.20764314679532
853
43.6908769758129
854
1
855
81
856
53
857
37.33787195860947
858
68.12544573577419
859
59.182717809314234
860
1.2800591111035153
861
47.51011214033065
862
80.80793901473636
863
86.25849575587267
864
60.01568349198819
865
2.1350731244051513
866
34
867
85
868
61
869
4.499537426049615
870
2.947902152747628
871
13.105975544887883
872
84.70163639085261
873
50.775085622633156
874
54.67453526369363
875
69.83754992133885
876
89.26552753570259
877
86.35962859748845
878
44
879
71
880
6
881
31.19990545731417
882
9.740143503943766
883
67.78455770800537
884
17.652109477907672
885
44.06502301435526
886
7.236940823106464
887
35.256232063289474
888
6.781188052480691
889
53.53128839113134
890
84
891
86
892
78
893
91.9453942174377
894
42.92263249730494
895
54.642865409594506
896
94.23237344300158
897
86.69745133833115
898
73.55188657989568
899
93.42496895776459
900
65.91465812241552
901
39.17351197362024
902
76
903
35
904
17
905
86.18754363059672
906
66.40968603948583
907
55.945481034797915
908
18.576956955010793
909
32.46506957412794
910
98.47529760042238
911
35.42341389949162
912
98.39190777912435
913
40.469628764374264
914
22
915
88
916
52
917
79.61353168324055
918
19.024549072022733
919
96.00582241504878
920
6.540873376827083
921
74.54124488604678
922
76.04219014285275
923
30.140021400146733
924
45.266960058594464
925
40.81393543188234
926
4
927
53
928
33
929
47.16403098074541
930
99.9492245975951
931
35.96466646514801
932
26.36556430284076
933
70.95938030463932
934
45.898856057850466
935
81.23087346997687
936
44.089667721254365
937
17.490151370619945
938
15
939
5
940
73
941
61.913274300781836
942
69.09401316992691
943
45.562578487567194
944
39.364398145833704
945
25.02805723548648
946
68.09786908473966
947
65.79553025773836
948
33.48562961259255
949
29.33837150738825
950
80
951
60
952
78
953
2.3112396816326375
954
67.68508775711808
955
48.93318754902245
956
98.38541546443177
957
1.045919876956669
958
63.052453486828185
959
6.987859668946339
960
98.82828719291751
961
80.50869901906795
962
86
963
67
964
87
965
72.82810920603703
966
52.644912612023674
967
64.72235726427557
968
7.94586404864318
969
54.06655252416609
970
13.388765879312158
971
33.0061950298851
972
56.313065804405596
973
80.71193979707438
974
12
975
62
976
22
977
92.17143228527294
978
53.31035097575768
979
8.470504943147505
980
73.99706823042635
981
28.942982195988453
982
49.39211300869862
983
73.17081713495436
984
98.11482423093133
985
60.988609966032456
986
75
987
16
988
25
989
97.49620222909248
990
69.43128511272681
991
23.57803268899834
992
66.57560779215143
993
83.80750354477671
994
3.555899131652518
995
38.63515062883873
996
45.875653395539096
997
20.77378723683164
998
60
999
52
1000
28
1001
64.89010804897922
1002
39.206242215729226
1003
61.38601405811709
1004
4.009303188076785
1005
10.069316278079432
1006
98.4918195989178
1007
9.908310230203298
1008
77.20555959570287
1009
39.86287877931499
1010
19
1011
45
1012
10
1013
99.32046817227996
1014
98.7581092313551
1015
39.44692726128605
1016
24.398561496976544
1017
19.383512308929106
1018
29.930004681284483
1019
49.268662612884825
1020
64.03720583983812
1021
27.416888519627435
1022
77
1023
89
1024
11
1025
13.60839296454035
1026
60.01441636447169
1027
88.86268743534688
1028
79.69985257676487
1029
7.012612245698346
1030
3.886093854572037
1031
2.6452983039341404
1032
79.87969622735939
1033
28.211034852896933
1034
96
1035
66
1036
20
1037
16.347595583129838
1038
13.753831107853786
1039
48.783695646350566
1040
4.570409427389399
1041
38.312973366479696
1042
83.26120300828708
1043
78.84899261173351
1044
63.7064718199398
1045
35.16584005766826
1046
50
1047
23
1048
37
1049
58.323890546725956
1050
51.272354675263045
1051
26.250092758765852
1052
41.68602418204739
1053
40.75890981548609
1054
77.87019566470995
1055
8.78745031339947
1056
75.82961417636918
1057
2.8141560332697546
1058
78
1059
46
1060
94
1061
59.70746193667712
1062
7.83218145973168
1063
68.76112131996469
1064
92.03840439806679
1065
15.949586313902387
1066
78.29946125344742
1067
38.606583728632536
1068
18.641971892293995
1069
41.18109634814644
1070
68
1071
48
1072
80
1073
47.81975879345124
1074
72.42898085246911
1075
96.71250825957478
1076
98.15367300480065
1077
34.242330101952355
1078
69.92871946481853
1079
85.47312377073668
1080
67.20548517507409
1081
76.31319082675675
1082
30
1083
98
1084
96
1085
2.845444308561096
1086
37.89900859324003
1087
93.82219359524807
1088
54.48526964099817
1089
54.89699829962864
1090
78.8107776227669
1091
24.892150164898318
1092
85.93090490839779
1093
54.16909489997009
1094
88
1095
20
1096
76
1097
95.17800099560696
1098
77.08139659016103
1099
16.800736617906363
1100
1.7233882454780858
1101
7.210544152228671
1102
47.795238102302825
1103
55.1919531734219
1104
74.33138457984244
1105
15.978562431069697
1106
71
1107
7
1108
76
1109
36.91591409934144
1110
32.52985111556874
1111
87.49565715275754
1112
75.77000000425443
1113
0.481879386667583
1114
30.962825528761016
1115
64.47119352010034
1116
33.30549712740066
1117
96.58811331404429
1118
59
1119
24
1120
59
1121
55.90010682336549
1122
51.614368562004245
1123
57.07267354048956
1124
81.55512565400532
1125
42.408613121523956
1126
10.296484611787903
1127
24.8570598419363
1128
49.06047668031101
1129
42.470882226695196
1130
47
1131
4
1132
60
1133
17.113479805598132
1134
20.918550523554845
1135
25.216925462011197
1136
98.8964037828301
1137
46.225938050710845
1138
70.15001394040866
1139
14.327440363321175
1140
42.69846847895619
1141
99.84925061617909
1142
14
1143
5
1144
25
1145
79.50052491004745
1146
50.33691293981774
1147
34.99122773234248
1148
60.21404743087358
1149
0.9483078358995201
1150
6.7924793142089435
1151
24.007474158834874
1152
46.6643258829329
1153
30.937127204308478
1154
59
1155
34
1156
44
1157
62.294795255176005
1158
88.34531186457524
1159
40.17419579977579
1160
15.598241721226803
1161
22.2827661620251
1162
28.530523029183275
1163
67.2255401991634
1164
13.872061608325337
1165
0.007578070108360535
1166
87
1167
6
1168
23
1169
62.85757313321436
1170
48.89812035698456
1171
42.26456128793241
1172
61.97203578380366
1173
70.66143807915621
1174
17.134933500745053
1175
5.410477321853435
1176
94.65786410974752
1177
38.60366881720137
1178
98
1179
21
1180
43
1181
11.044505142501947
1182
82.35461255991844
1183
31.346865311708537
1184
21.690985760425818
1185
62.27014734744334
1186
23.192805939622517
1187
72.43851602005014
1188
10.044996140031037
1189
60.43901685275834
1190
48
1191
16
1192
59
1193
55.902191312482564
1194
2.9896698132624744
1195
56.057835156219625
1196
75.38303613003839
1197
79.5933764780284
1198
66.17154787857807
1199
53.79562998266674
1200
55.16498157946423