Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_trigger_test / input_values @ 6c3ea955

History | View | Annotate | Download (19.5 KB)

1
78.8573104402714478
2
1.0000000000000000
3
95.6856853845523432
4
80.0000000000000000
5
11.4260595503745783
6
46.8317664367107511
7
95.0621374669037920
8
54.6374666594524143
9
77.6238400957761030
10
1.0000000000000000
11
10.6775299154179706
12
1.0000000000000000
13
60.2928041482530332
14
28.0000000000000000
15
30.2216105236969739
16
61.9608702674969720
17
66.3661023124260652
18
92.8621948913212236
19
92.1756727534849318
20
1.0000000000000000
21
46.4548717464900420
22
1.0000000000000000
23
13.3787275035938453
24
9.0000000000000000
25
85.9991094699149414
26
74.2744730127659523
27
87.2837900276401228
28
63.4051596875256607
29
50.6559875853995436
30
1.0000000000000000
31
95.1001444143142294
32
1.0000000000000000
33
86.3355751125909165
34
8.0000000000000000
35
75.0536291211137012
36
77.7731675746913425
37
78.8455130340882846
38
89.4087734813445110
39
10.6375384802003143
40
1.0000000000000000
41
52.6099657543668684
42
1.0000000000000000
43
97.1135470015353945
44
75.0000000000000000
45
94.0097193994825062
46
11.1508527471188561
47
36.2355375593830473
48
73.0244596105758461
49
59.3642228951770790
50
1.0000000000000000
51
71.6972843047670807
52
1.0000000000000000
53
26.1348138419916900
54
73.0000000000000000
55
98.9611804410219520
56
58.5062257194465616
57
9.8938130403279487
58
10.0432398183970086
59
23.3488949907770476
60
1.0000000000000000
61
15.4136779670808295
62
1.0000000000000000
63
16.4028857113060909
64
68.0000000000000000
65
25.6406172965666244
66
70.5043038877246886
67
32.0173626798099136
68
70.8520392343359333
69
80.7929908669299550
70
1.0000000000000000
71
54.0564577710470644
72
1.0000000000000000
73
51.2769552599122704
74
44.0000000000000000
75
96.4778317003496113
76
45.1562933465594298
77
52.7461577672734734
78
38.3965887922246978
79
59.8278988464165167
80
1.0000000000000000
81
10.4098820379529222
82
1.0000000000000000
83
31.1402552203457148
84
32.0000000000000000
85
19.1703977522044156
86
43.1109744686720262
87
99.3374841381959612
88
13.0704807975689281
89
66.8163811901951306
90
1.0000000000000000
91
56.9708720962630792
92
1.0000000000000000
93
55.7271066691381947
94
98.0000000000000000
95
49.9605168087522316
96
27.0730083113836741
97
90.0912563801394128
98
92.8293853836413376
99
40.4359085478617857
100
1.0000000000000000
101
30.2527354189021338
102
1.0000000000000000
103
47.5927924938080338
104
73.0000000000000000
105
10.4976872343073850
106
76.4406302511897735
107
36.5672864015412529
108
8.2312753273068857
109
24.0755296647614863
110
1.0000000000000000
111
48.6253565568687023
112
1.0000000000000000
113
22.6558369344505479
114
80.0000000000000000
115
67.9323062701460429
116
69.8119531831980282
117
21.9881706281763165
118
90.2150542685317873
119
19.8224702935365862
120
1.0000000000000000
121
93.7874079256392434
122
1.0000000000000000
123
33.2573034619243231
124
12.0000000000000000
125
31.6842772927582459
126
77.0768285151060013
127
62.7505050343764452
128
34.8819110418012599
129
46.5103062889241556
130
1.0000000000000000
131
4.2559809398921455
132
1.0000000000000000
133
12.0798334670551348
134
36.0000000000000000
135
91.4738069011701924
136
80.2143757187335922
137
58.0204627838131017
138
20.5659557407503399
139
96.7680352536559951
140
1.0000000000000000
141
14.8617289185413171
142
1.0000000000000000
143
64.1512116461071855
144
35.0000000000000000
145
13.6563565072499884
146
97.4126424373462214
147
99.2464075481596950
148
31.7741685865280630
149
38.0844772831300560
150
1.0000000000000000
151
57.4157343059931833
152
1.0000000000000000
153
0.6608860400268091
154
59.0000000000000000
155
87.9742124377411869
156
64.5676449857183172
157
6.8896141373347426
158
98.8054698920642522
159
41.7842903483672004
160
1.0000000000000000
161
39.5892266145607437
162
1.0000000000000000
163
73.1787898545888424
164
98.0000000000000000
165
32.1975219489746536
166
48.2182734957060219
167
9.9737448469476853
168
10.0629073312022204
169
43.7670763239345391
170
1.0000000000000000
171
4.8413436737594129
172
1.0000000000000000
173
23.0831206192703142
174
92.0000000000000000
175
55.6518497413132849
176
97.9880621321463252
177
27.3699392474064176
178
1.6300430898460561
179
40.4405182989224556
180
1.0000000000000000
181
31.3924036611179851
182
1.0000000000000000
183
21.3684129159770535
184
2.0000000000000000
185
68.7129580184417108
186
92.3204295676043927
187
56.9399474217287747
188
21.8026964225338631
189
10.9553983499852130
190
1.0000000000000000
191
3.5318983975092033
192
1.0000000000000000
193
23.7321740866294419
194
11.0000000000000000
195
1.4697288180301915
196
61.6836955205179436
197
42.7946012527525070
198
85.5913109299353749
199
25.7175171757880854
200
1.0000000000000000
201
95.4236965289296393
202
1.0000000000000000
203
38.0228935088362050
204
27.0000000000000000
205
29.9479250404905102
206
93.7640690965583303
207
9.2746636311237580
208
16.2539084102490961
209
39.1707420081280091
210
1.0000000000000000
211
67.1323255103513645
212
1.0000000000000000
213
19.9079050618728424
214
76.0000000000000000
215
20.1578493110244104
216
1.4617358506400224
217
14.3512882297896045
218
98.0555658296996029
219
1.7408254006928581
220
1.0000000000000000
221
55.5207642471054470
222
1.0000000000000000
223
38.3873173906646201
224
32.0000000000000000
225
31.9941167580218959
226
39.1261698607995783
227
72.1096793495268287
228
15.9244983900819435
229
65.8379297780135175
230
1.0000000000000000
231
63.2821539632400487
232
1.0000000000000000
233
96.8383281832708320
234
85.0000000000000000
235
97.5419566261794131
236
54.7277135292432391
237
2.0196939615493847
238
24.3662941511868496
239
7.2223601296508182
240
1.0000000000000000
241
8.4543858324527257
242
1.0000000000000000
243
5.1001525911906542
244
74.0000000000000000
245
85.3740598147989687
246
89.8755557025396143
247
67.3220069019541683
248
51.1739948232167521
249
62.8863120587351077
250
1.0000000000000000
251
35.4643333282134847
252
1.0000000000000000
253
27.7969414763894811
254
27.0000000000000000
255
5.9054394833035317
256
63.3940809519921729
257
1.0021043092058202
258
63.3431253958484461
259
41.0282380954150341
260
1.0000000000000000
261
58.1747332152789198
262
1.0000000000000000
263
29.2389004194429027
264
10.0000000000000000
265
49.3340863540490133
266
26.2565165154048046
267
58.8446593969527285
268
96.4317653909703552
269
83.6905666518623548
270
1.0000000000000000
271
76.8579484127206030
272
1.0000000000000000
273
51.0155730823292473
274
17.0000000000000000
275
56.6747435517170999
276
11.1920539706060964
277
52.9077790612968641
278
91.9173113175015573
279
47.0267268609057965
280
1.0000000000000000
281
10.0023217332125149
282
1.0000000000000000
283
83.3861808690001993
284
50.0000000000000000
285
33.7557702827781938
286
87.9909667450596942
287
31.1077755238148725
288
70.2147091481864010
289
89.2072159151135793
290
1.0000000000000000
291
96.9625819793376422
292
1.0000000000000000
293
44.3611363499471167
294
18.0000000000000000
295
65.9847107912775925
296
90.6133253288966500
297
87.7773990956273309
298
52.8123110901673982
299
56.5885528406558791
300
1.0000000000000000
301
37.7512792885521549
302
1.0000000000000000
303
58.6137703584718537
304
21.0000000000000000
305
49.7068956391686712
306
11.3444020841395705
307
52.1144259772878371
308
92.1168092043539275
309
90.7013074156900245
310
1.0000000000000000
311
43.8779777712060479
312
1.0000000000000000
313
63.5407683466428921
314
98.0000000000000000
315
38.0319755994556701
316
12.7259918172073494
317
73.3529445520771333
318
51.5436036809595066
319
62.2353426848718954
320
1.0000000000000000
321
75.0838144560942311
322
1.0000000000000000
323
72.6676581741437246
324
36.0000000000000000
325
44.9591948542645028
326
95.2966176433135672
327
71.4161165913114786
328
38.7888121597748423
329
6.4473722370254283
330
1.0000000000000000
331
90.2595589764787434
332
1.0000000000000000
333
18.4151391029275899
334
36.0000000000000000
335
48.7095360151554999
336
73.0359470807874089
337
71.7890468562426065
338
55.1093685625458036
339
82.9812571612733336
340
1.0000000000000000
341
89.2773603578873036
342
1.0000000000000000
343
47.0400866217724953
344
28.0000000000000000
345
41.4988505130645109
346
53.2778258463643368
347
27.6702025121146598
348
36.6251542275941020
349
35.9377171800502353
350
1.0000000000000000
351
54.6875563570715855
352
1.0000000000000000
353
4.5275028853112742
354
35.0000000000000000
355
35.0760449054027603
356
19.6605172069920684
357
79.0945707060579650
358
4.7084921233971571
359
7.4084577311049671
360
1.0000000000000000
361
62.9603104927309829
362
1.0000000000000000
363
52.3459476964338393
364
51.0000000000000000
365
66.3147083106598387
366
48.2716941623648168
367
48.2063492929658750
368
54.7265720445195853
369
35.9183757653178333
370
1.0000000000000000
371
88.9055187106650635
372
1.0000000000000000
373
39.2914514534122858
374
17.0000000000000000
375
49.6333699079299251
376
50.8869705970510608
377
23.7146421248353398
378
28.6566454432103832
379
69.2139939914142275
380
1.0000000000000000
381
15.3245803214734249
382
1.0000000000000000
383
53.6422514972226949
384
8.0000000000000000
385
71.7312647195968367
386
25.5988589766921173
387
94.5906143433090136
388
22.4870610426445730
389
49.4842825291051867
390
1.0000000000000000
391
48.9004228099761065
392
1.0000000000000000
393
18.9101007303666755
394
56.0000000000000000
395
52.8718885553812754
396
86.5337370840261144
397
33.2994283176734953
398
80.7682297886682790
399
64.9777526829160905
400
1.0000000000000000
401
95.5713821191557429
402
1.0000000000000000
403
6.7255515369487373
404
2.0000000000000000
405
65.8566077853042486
406
94.3670746179022899
407
21.2567515487498966
408
51.2029658435890553
409
42.2055796531098579
410
1.0000000000000000
411
24.0042221129418536
412
1.0000000000000000
413
16.1487820655197183
414
57.0000000000000000
415
30.3910691923071283
416
11.1912576731134532
417
93.7717152484989214
418
94.2948690883972773
419
53.7323824508183421
420
1.0000000000000000
421
78.7322415799925182
422
1.0000000000000000
423
62.1034677003520912
424
24.0000000000000000
425
90.1041873869990866
426
5.8949062568902981
427
62.5126479046288352
428
61.6070095955334125
429
14.0490362554827506
430
1.0000000000000000
431
68.8951239952203451
432
1.0000000000000000
433
48.5296029835737528
434
11.0000000000000000
435
55.8124769837203161
436
14.5447280777942556
437
6.6258154630068899
438
9.3469441586619730
439
85.6421599174309733
440
1.0000000000000000
441
7.9434352651897022
442
1.0000000000000000
443
87.8109606623498991
444
39.0000000000000000
445
11.4932809710578177
446
76.5190407641231758
447
44.1620216979880382
448
75.3841214270575364
449
93.3136506804434589
450
1.0000000000000000
451
66.3889774867034674
452
1.0000000000000000
453
60.8042046220620520
454
24.0000000000000000
455
63.3157620670661174
456
3.0146491512081375
457
96.3372269313671552
458
61.6294147167389283
459
58.0469974866678200
460
1.0000000000000000
461
32.5187887655700933
462
1.0000000000000000
463
24.5987848791148984
464
81.0000000000000000
465
62.6633992599655443
466
27.8280674128392320
467
17.4245984152658586
468
70.7144762216566534
469
90.1948323982530979
470
1.0000000000000000
471
65.8401266298209578
472
1.0000000000000000
473
99.0027189484865175
474
33.0000000000000000
475
24.8918582729580997
476
0.7410269400460079
477
93.8345681170736867
478
12.2938350238083416
479
3.8035802138961516
480
1.0000000000000000
481
0.3856495074161082
482
1.0000000000000000
483
5.4655859058621470
484
67.0000000000000000
485
20.8006573439250779
486
93.5545180637183194
487
43.0272034634695544
488
45.0044992506361865
489
71.2216190388431585
490
1.0000000000000000
491
72.5273388334700400
492
1.0000000000000000
493
50.5742518787646986
494
48.0000000000000000
495
60.5811104338775621
496
61.1848422295781731
497
64.1045480724246062
498
70.8743075208313655
499
28.7613255147301743
500
1.0000000000000000
501
6.9653923737683758
502
1.0000000000000000
503
26.1150404008671515
504
60.0000000000000000
505
73.3308489492370654
506
72.6715134223969557
507
7.5967310913791835
508
29.2418332391189750
509
88.7297203348865366
510
1.0000000000000000
511
28.2355943657156985
512
1.0000000000000000
513
20.5236915862045173
514
7.0000000000000000
515
55.7814285668557943
516
15.4857650488942404
517
44.4448754820969540
518
31.8154222726354412
519
83.7272206550307772
520
1.0000000000000000
521
74.8577923197382802
522
1.0000000000000000
523
23.9335305423599820
524
46.0000000000000000
525
47.8468031782686936
526
70.5524107483941947
527
82.1187945761125064
528
98.9491560676518702
529
17.8810773579523570
530
1.0000000000000000
531
81.6985858001353762
532
1.0000000000000000
533
38.4885349241086843
534
21.0000000000000000
535
34.8483475858021734
536
28.4826239933566363
537
62.7790827583680198
538
85.9973687518652952
539
85.3187298254774475
540
1.0000000000000000
541
77.9986749139404196
542
1.0000000000000000
543
57.6420901651806474
544
77.0000000000000000
545
50.3592072829260786
546
7.2679493813437297
547
22.4510597240983110
548
51.5523854070610525
549
86.4529935605650053
550
1.0000000000000000
551
55.7065919866441845
552
1.0000000000000000
553
13.4237584273698918
554
88.0000000000000000
555
35.4922653592377841
556
60.5554315358269548
557
31.5330393077330555
558
73.1709198006485764
559
11.5691943407566278
560
1.0000000000000000
561
33.1423359946091765
562
1.0000000000000000
563
4.0458184120293001
564
10.0000000000000000
565
0.9299315627494087
566
75.7054668696240896
567
5.1092715496949044
568
23.8284397735915796
569
31.6642893411239541
570
1.0000000000000000
571
14.1571380092336501
572
1.0000000000000000
573
12.1758481898960103
574
71.0000000000000000
575
10.9529552122140892
576
54.9016448171522171
577
44.1030282203429991
578
46.2433610390099901
579
39.7853857671449020
580
1.0000000000000000
581
87.7432336719404162
582
1.0000000000000000
583
74.7241745887123727
584
24.0000000000000000
585
8.9611551551257325
586
65.0700673516377464
587
66.1216515241420382
588
56.2903085564752317
589
20.2564253102962795
590
1.0000000000000000
591
92.3433194300612143
592
1.0000000000000000
593
73.1249563432257048
594
33.0000000000000000
595
81.0961843236528352
596
16.6618352017796632
597
72.5527358683381181
598
35.8006368468695371
599
53.9735358685700461
600
1.0000000000000000
601
19.1005633447426817
602
1.0000000000000000
603
54.2323143340512317
604
55.0000000000000000
605
49.0105059021506904
606
10.0586698779551398
607
72.5408058563696585
608
26.4199944297677334
609
52.9631154436978022
610
1.0000000000000000
611
36.8488761202762944
612
1.0000000000000000
613
93.2398098025937543
614
9.0000000000000000
615
48.3440339688708676
616
34.2204189084830332
617
7.5193339808724113
618
27.1148807534181486
619
98.6115006739707667
620
1.0000000000000000
621
11.1733195476042440
622
1.0000000000000000
623
81.8515623680210496
624
4.0000000000000000
625
81.4809108194931184
626
97.2646144827260315
627
0.7405427688543131
628
64.2610066096509769
629
60.6840840549595839
630
1.0000000000000000
631
7.1225585019089044
632
1.0000000000000000
633
51.5480992195243317
634
9.0000000000000000
635
65.8729217340367796
636
10.6319426557128551
637
17.8025644184631950
638
20.4517955618520482
639
42.0991430060531968
640
1.0000000000000000
641
26.8374937667353635
642
1.0000000000000000
643
6.8436173293904945
644
69.0000000000000000
645
81.5822003502632072
646
81.6138151483162062
647
90.7580105079758539
648
71.2707831743750972
649
93.2409972579973783
650
1.0000000000000000
651
62.5673803106483035
652
1.0000000000000000
653
77.6439172821620787
654
75.0000000000000000
655
75.6988006462940461
656
9.5466381912000529
657
32.4323414286801750
658
22.4283733356345998
659
89.1174934123563247
660
1.0000000000000000
661
96.9389312868436264
662
1.0000000000000000
663
82.9922714531464578
664
26.0000000000000000
665
22.6591146746888406
666
14.6415645677890680
667
39.0334111233005459
668
33.0611707288574692
669
16.9835215454473989
670
1.0000000000000000
671
84.0454248766419738
672
1.0000000000000000
673
81.7232415572426305
674
68.0000000000000000
675
55.2555138038224172
676
5.4334917295920881
677
72.8818527435794863
678
17.9446824151535225
679
12.5546014027156261
680
1.0000000000000000
681
99.5506099907502886
682
1.0000000000000000
683
28.2587106964777419
684
84.0000000000000000
685
26.9290618635256820
686
96.4010157883016348
687
2.3730724607171183
688
56.1710042886472181
689
27.4468019270790897
690
1.0000000000000000
691
30.6854304115710121
692
1.0000000000000000
693
8.6736003284200063
694
15.0000000000000000
695
5.2425923542030688
696
93.6966528644381071
697
20.2828671123353885
698
67.1959485272787873
699
27.7303111689828796
700
1.0000000000000000
701
15.4475983081334469
702
1.0000000000000000
703
9.0151857207341877
704
62.0000000000000000
705
15.5604358903607576
706
48.7825444968779536
707
65.3727920427327973
708
78.6561508396952860
709
79.6710324159019763
710
1.0000000000000000
711
21.1953574980219592
712
1.0000000000000000
713
90.6396475622435247
714
32.0000000000000000
715
63.8099622136983129
716
50.6982935949715028
717
49.1096183161010416
718
9.8943695797034774
719
41.7727861394263016
720
1.0000000000000000
721
29.4530080714514924
722
1.0000000000000000
723
76.4054000319486875
724
18.0000000000000000
725
42.5952070942100889
726
94.4064186505126202
727
41.1472669136155318
728
55.5258296220580334
729
65.6508710803051656
730
1.0000000000000000
731
20.4923570076433137
732
1.0000000000000000
733
95.2418444751079676
734
64.0000000000000000
735
89.0433820485250891
736
6.3496703589956738
737
52.1806677887696821
738
44.6300960422106883
739
90.8431977092752874
740
1.0000000000000000
741
25.5032272570368193
742
1.0000000000000000
743
21.5408830592460738
744
43.0000000000000000
745
23.3337594489340319
746
16.3968814672079013
747
63.5554195607241326
748
99.0052206304468285
749
43.9877083804261915
750
1.0000000000000000
751
76.4013661667885344
752
1.0000000000000000
753
83.7090642994202199
754
17.0000000000000000
755
23.4952870457318390
756
13.1968031990222219
757
3.1970692380303478
758
72.3644317529277572
759
41.2576107531486755
760
1.0000000000000000
761
81.7364413963213963
762
1.0000000000000000
763
69.5324365117319587
764
63.0000000000000000
765
43.7863018514954021
766
47.4784174617801327
767
28.7953518830368900
768
51.7279838510773402
769
57.0763303719926256
770
1.0000000000000000
771
87.7273084775511762
772
1.0000000000000000
773
97.6352878207765684
774
48.0000000000000000
775
42.5247164097925960
776
71.6768624131380250
777
66.0365486490016877
778
17.5372960897693595
779
13.2080572324982057
780
1.0000000000000000
781
49.8509718978455112
782
1.0000000000000000
783
94.0701615008314036
784
58.0000000000000000
785
55.5009588911610692
786
1.6312927885919981
787
88.2073317799952861
788
54.3163907386521316
789
85.9200710881137155
790
1.0000000000000000
791
8.1814948594723269
792
1.0000000000000000
793
63.7475142317387906
794
90.0000000000000000
795
87.4336949602092233
796
4.8928574435413541
797
32.5862152447773497
798
85.9241682543176211
799
53.2477568496784599
800
1.0000000000000000
801
94.8495654088896174
802
1.0000000000000000
803
45.1496850010170334
804
20.0000000000000000
805
41.4413790533123745
806
56.6275079287636345
807
83.5559597326250838
808
87.2380684374270743
809
69.2655693001163968
810
1.0000000000000000
811
21.0942777026495563
812
1.0000000000000000
813
3.1674235476034096
814
3.0000000000000000
815
69.5058879832892984
816
44.6098795056351634
817
82.8820066680076906
818
78.5991137449269672
819
34.6008109934201613
820
1.0000000000000000
821
61.6603571947628950
822
1.0000000000000000
823
14.7136966502932953
824
68.0000000000000000
825
84.3744235905571998
826
19.2075003175238308
827
88.9168832497705353
828
2.8418015826762622
829
21.1959484332296846
830
1.0000000000000000
831
27.6091971701689864
832
1.0000000000000000
833
68.1753489097373944
834
35.0000000000000000
835
95.4625363142259431
836
23.7162079299192747
837
98.2781080803179066
838
27.8248013654606048
839
61.9198427499241575
840
1.0000000000000000
841
41.1989527680338696
842
1.0000000000000000
843
47.0558180466943838
844
14.0000000000000000
845
37.0543217120548931
846
74.5277890026361121
847
88.7446817797236491
848
65.9252931928956230
849
77.5419783307040120
850
1.0000000000000000
851
9.5563768556971578
852
1.0000000000000000
853
18.7204390512536136
854
20.0000000000000000
855
57.7048038838727919
856
20.1869249558496158
857
7.1239577049991958
858
50.8574823571678607
859
51.2727791234676147
860
1.0000000000000000
861
39.3918107276617775
862
1.0000000000000000
863
11.0008999555801896
864
96.0000000000000000
865
1.0726625336514473
866
43.8701271636570382
867
69.7702216609289394
868
22.9152669027938529
869
14.2864663663819780
870
1.0000000000000000
871
50.2363667850835114
872
1.0000000000000000
873
52.2103804370087090
874
26.0000000000000000
875
51.0161533800980607
876
92.5038136669715243
877
69.8832921687925648
878
80.2602339496779393
879
19.1541485188226872
880
1.0000000000000000
881
52.2092227698729445
882
1.0000000000000000
883
38.8918662893585818
884
58.0000000000000000
885
49.6409464567315908
886
35.9488373757057857
887
71.3544220346694118
888
97.7050973893094863
889
71.6291061831577593
890
1.0000000000000000
891
51.3976680888998274
892
1.0000000000000000
893
54.5510325443756443
894
87.0000000000000000
895
66.7116360558441954
896
95.2434868951229703
897
57.0216837403898040
898
61.1691729174391980
899
56.4952280591267666
900
1.0000000000000000
901
88.6843250411332633
902
1.0000000000000000
903
81.0610872101422189
904
92.0000000000000000
905
33.3010410100671237
906
55.2047284568037071
907
16.5735340662559807
908
21.3610593257534411
909
20.9338716736894419
910
1.0000000000000000
911
62.0467773223328436
912
1.0000000000000000
913
50.3378528574321606
914
46.0000000000000000
915
98.3981222919502869
916
30.9617244743071183
917
6.3873799399914999
918
72.5141676264505435
919
67.7483260808239578
920
1.0000000000000000
921
62.8401388716326252
922
1.0000000000000000
923
75.7485827575045789
924
53.0000000000000000
925
11.2448281166861452
926
38.0771832344252701
927
13.7859342368529809
928
14.6055929077846258
929
15.5461693652762190
930
1.0000000000000000
931
84.8192734553281866
932
1.0000000000000000
933
46.7300791897690715
934
59.0000000000000000
935
67.9165697309194343
936
11.8684776544724535
937
3.5366126309309465
938
99.1439145908053518
939
59.4988260394592956
940
1.0000000000000000
941
82.7500053353383151
942
1.0000000000000000
943
11.2806503193402126
944
75.0000000000000000
945
19.4046374011627165
946
11.8894578239638662
947
15.7115924975462899
948
35.4067972361821646
949
9.3968349391770349
950
1.0000000000000000
951
54.9756854419100165
952
1.0000000000000000
953
75.9462476451550117
954
1.0000000000000000
955
89.6788831880750905
956
92.5138718325843854
957
65.0075744127949946
958
59.2423360614620833
959
6.2258459946015199
960
1.0000000000000000
961
68.6817492745703788
962
1.0000000000000000
963
18.7090789608712740
964
17.0000000000000000
965
85.7859563466874704
966
18.0077249590001713
967
70.1950082443359378
968
11.7077205689089965
969
67.0486051510709444
970
1.0000000000000000
971
65.5095926397318351
972
1.0000000000000000
973
96.4278283783096839
974
31.0000000000000000
975
22.5513149815185550
976
79.0868951613248043
977
71.2599518475621778
978
37.6747529377954393
979
82.8505146118900910
980
1.0000000000000000
981
70.8703771897692008
982
1.0000000000000000
983
69.0795534849016946
984
97.0000000000000000
985
80.8159827050122743
986
78.1245665107450691
987
37.4363053605611285
988
72.7234675681921772
989
27.1267194441709449
990
1.0000000000000000
991
64.9888509990738044
992
1.0000000000000000
993
46.4189666461549351
994
57.0000000000000000
995
76.2806340310193463
996
81.7511083984355764
997
34.2433759727839870
998
97.1211496496364362
999
69.8402568127559249
1000
1.0000000000000000
1001
30.1080419527771426
1002
1.0000000000000000
1003
98.9874412315853647
1004
53.0000000000000000
1005
35.8623186074204270
1006
42.5456580607519115
1007
74.1241854956295754
1008
0.7662014681990459
1009
17.7218279533528644
1010
1.0000000000000000