Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_reset_test / integrator_ext_reset_test_integrator_ext_reset_test_input_values @ 0c9457a0

History | View | Annotate | Download (13.5 KB)

1
4.219609000899338
2
42
3
0
4
41.966826644159305
5
99.07041493079028
6
83.77805321781725
7
53.27528924793017
8
82
9
0
10
91
11
36
12
78
13
10.09025029347913
14
10
15
0
16
0
17
1
18
1
19
70.56850581010134
20
87
21
1
22
23.92038238573647
23
70.56006587782208
24
67.83076043966084
25
8.310530689293627
26
6
27
1
28
82
29
97
30
21
31
77.81892149705352
32
60
33
1
34
0
35
0
36
1
37
14.285874364705975
38
32
39
1
40
41.467060832352544
41
94.28398749980748
42
95.98842346212055
43
1.1107899609241412
44
30
45
1
46
50
47
49
48
2
49
83.72300608452295
50
51
51
1
52
1
53
1
54
0
55
48.79502273717166
56
9
57
0
58
51.09707867138445
59
40.75225211456027
60
46.4508119655204
61
29.337070683679713
62
89
63
1
64
82
65
99
66
23
67
35.15194801025482
68
26
69
1
70
0
71
0
72
1
73
36.043316290525816
74
93
75
1
76
84.3808227443502
77
7.201556325621283
78
22.889373849489036
79
70.12251839505159
80
49
81
1
82
21
83
69
84
81
85
66.91547378512111
86
78
87
1
88
1
89
0
90
1
91
33.88889868074605
92
13
93
0
94
55.768689086336465
95
10.44257477833057
96
48.90149849802642
97
6.961521765199075
98
22
99
1
100
28
101
60
102
90
103
87.91244717378393
104
54
105
1
106
0
107
0
108
1
109
7.935298476472008
110
19
111
1
112
13.441419434109092
113
9.236221684563063
114
56.99386117335794
115
76.53450758662137
116
68
117
1
118
88
119
17
120
50
121
48.80054723231403
122
94
123
0
124
1
125
0
126
0
127
11.631669006812972
128
12
129
0
130
45.76888705383724
131
23.224566258544456
132
95.73675992657095
133
41.31255377373931
134
33
135
1
136
10
137
44
138
22
139
29.458580948542203
140
18
141
1
142
1
143
1
144
0
145
76.05405260438019
146
15
147
0
148
70.0955009866257
149
52.25858668720167
150
94.45413729290614
151
94.66485303126152
152
68
153
1
154
14
155
60
156
4
157
24.387849053128917
158
95
159
0
160
1
161
1
162
0
163
22.755750859129275
164
5
165
1
166
29.105492821224743
167
96.15630336405735
168
74.91149537727726
169
15.445946247031229
170
93
171
0
172
50
173
44
174
18
175
30.4683660070866
176
99
177
0
178
1
179
0
180
1
181
19.422499139739692
182
35
183
0
184
2.9315583167210058
185
30.491281679453518
186
83.9367011729188
187
8.668552249460548
188
99
189
0
190
68
191
29
192
76
193
14.630469416340885
194
27
195
1
196
0
197
1
198
1
199
38.79083250446605
200
56
201
0
202
12.455473270119866
203
8.952900591202562
204
39.75624139422928
205
97.87174934165826
206
81
207
1
208
8
209
89
210
25
211
59.02166978583786
212
99
213
1
214
1
215
0
216
1
217
56.385674983612034
218
92
219
0
220
40.90940832601966
221
37.13613506780145
222
38.052177391524154
223
73.1731633199972
224
82
225
1
226
4
227
65
228
27
229
48.14331412902406
230
84
231
0
232
0
233
1
234
0
235
32.105814873324
236
47
237
0
238
36.92191424233252
239
96.31009946678313
240
51.34272481915738
241
46.74767756345018
242
34
243
0
244
39
245
4
246
53
247
76.20101249448801
248
39
249
1
250
0
251
0
252
1
253
64.53365242364008
254
60
255
0
256
82.56260963168079
257
88.78089778656243
258
77.26200239641051
259
24.604173114788995
260
63
261
1
262
43
263
94
264
35
265
13.557436769391984
266
35
267
0
268
0
269
1
270
0
271
85.06817726349934
272
67
273
1
274
14.724830550210344
275
28.905832312962044
276
47.662162150696595
277
70.03563840292749
278
81
279
1
280
92
281
53
282
50
283
78.695526118513
284
62
285
0
286
1
287
0
288
1
289
71.5778431444771
290
21
291
1
292
77.3456347337944
293
15.632367902912902
294
1.1838046330079899
295
9.996918657503628
296
48
297
1
298
23
299
59
300
49
301
16.49473886065248
302
33
303
1
304
0
305
1
306
1
307
8.242672328964806
308
22
309
1
310
55.497677722568895
311
93.62664958433334
312
47.03816710604989
313
20.91829387364306
314
97
315
0
316
60
317
74
318
42
319
84.8924844081027
320
83
321
1
322
0
323
0
324
1
325
99.60252480608114
326
75
327
1
328
0.29770532715592823
329
40.62283524359871
330
7.217318847047927
331
25.091973946147704
332
13
333
1
334
69
335
42
336
4
337
0.14740607185372845
338
29
339
0
340
0
341
0
342
1
343
62.551176872904854
344
34
345
1
346
95.86147014300667
347
8.56585857673382
348
18.196159772856646
349
32.77247881799108
350
54
351
0
352
13
353
71
354
23
355
85.94073924319481
356
46
357
1
358
1
359
0
360
0
361
70.11349810630719
362
4
363
1
364
46.19514419148063
365
95.43665603119345
366
1.412755702713031
367
78.51084193668653
368
44
369
0
370
10
371
28
372
96
373
13.446448804227707
374
79
375
0
376
1
377
1
378
1
379
5.315619213588918
380
88
381
1
382
70.94834355471173
383
33.34029320545866
384
74.41115024996968
385
22.996395585013786
386
62
387
1
388
76
389
80
390
42
391
8.27046172170569
392
79
393
1
394
1
395
1
396
0
397
2.3057483440874327
398
22
399
0
400
94.36413322943554
401
46.50389306005166
402
71.50346180338497
403
23.808867753199536
404
80
405
1
406
65
407
90
408
66
409
35.80373377545899
410
46
411
1
412
1
413
0
414
1
415
5.105822307908903
416
98
417
1
418
91.54646882373741
419
60.27253210506003
420
74.15575216698001
421
19.987435021808032
422
15
423
0
424
39
425
73
426
53
427
59.05355539814122
428
72
429
0
430
1
431
0
432
0
433
61.97195159934855
434
46
435
1
436
20.32573928218889
437
29.007869397781526
438
17.024763689054158
439
26.202194195173846
440
24
441
1
442
82
443
71
444
38
445
92.41188017579154
446
41
447
1
448
0
449
1
450
0
451
95.3141692451617
452
76
453
0
454
15.5381750514217
455
96.9854884736822
456
35.670331018689026
457
92.56752326649449
458
94
459
0
460
52
461
4
462
81
463
51.08913033392587
464
57
465
0
466
1
467
1
468
0
469
43.4737479747305
470
78
471
0
472
55.44510548749372
473
11.953498871751744
474
56.440879326172535
475
55.76568380307895
476
36
477
1
478
11
479
46
480
11
481
19.08637944125341
482
53
483
1
484
0
485
1
486
0
487
61.37893402119303
488
49
489
1
490
27.30315391019863
491
75.95622542195748
492
97.87713152849678
493
86.15283012824855
494
84
495
0
496
43
497
85
498
60
499
28.598370368904348
500
15
501
0
502
1
503
1
504
0
505
92.19762127019739
506
4
507
1
508
20.756645223089375
509
42.343304656392334
510
56.20174670558821
511
23.89866804090226
512
35
513
0
514
38
515
75
516
8
517
60.63434872575677
518
12
519
0
520
1
521
1
522
0
523
81.57818346042542
524
78
525
0
526
63.75863682108923
527
51.575873310758524
528
85.060292702196
529
94.96474524787823
530
20
531
1
532
87
533
56
534
15
535
40.4132426250568
536
7
537
1
538
1
539
0
540
0
541
99.91727400799228
542
52
543
0
544
86.13715949723748
545
41.507952712959174
546
51.651664240213925
547
4.855371115808582
548
73
549
0
550
80
551
70
552
9
553
11.734245079856587
554
22
555
1
556
0
557
1
558
0
559
66.3161043717576
560
45
561
1
562
50.70840269101722
563
70.26252444451492
564
57.73358212015363
565
24.579009233453984
566
66
567
1
568
17
569
0
570
68
571
32.043343653920985
572
51
573
0
574
0
575
1
576
0
577
30.484376667103895
578
64
579
0
580
30.99871706435049
581
51.6382255536252
582
54.711626105680935
583
9.136933813654002
584
58
585
0
586
15
587
41
588
45
589
34.31096010368032
590
3
591
1
592
1
593
0
594
1
595
65.82363423870979
596
46
597
1
598
38.17250410294649
599
24.1739808593318
600
57.11777526570506
601
24.109820282799422
602
28
603
1
604
2
605
41
606
76
607
53.10530665184626
608
73
609
1
610
0
611
0
612
1
613
58.269558438013
614
98
615
1
616
7.673178639451949
617
55.56527425743869
618
68.2571868659272
619
0.5418543231372475
620
48
621
0
622
0
623
29
624
98
625
10.39064368849556
626
70
627
0
628
1
629
0
630
1
631
41.19527858706648
632
44
633
0
634
48.369573402276124
635
24.06723578802479
636
75.64951069268446
637
92.32585191612122
638
60
639
1
640
32
641
14
642
92
643
1.5991453659013999
644
93
645
0
646
0
647
0
648
0
649
26.77551612171243
650
67
651
1
652
33.66027377982631
653
17.836034721934713
654
52.11378248539711
655
73.67178409330579
656
84
657
1
658
93
659
18
660
95
661
14.41963116588626
662
66
663
0
664
1
665
0
666
0
667
18.683980664404444
668
4
669
1
670
75.02360625824458
671
51.85155634567019
672
10.943520752884561
673
86.99502095703883
674
90
675
1
676
60
677
55
678
31
679
51.51587939334876
680
38
681
1
682
1
683
0
684
0
685
59.8441166794073
686
77
687
0
688
63.91104102708171
689
20.13069748694617
690
10.591348775324349
691
33.68949197190937
692
88
693
1
694
38
695
93
696
79
697
14.031881338591457
698
52
699
0
700
1
701
0
702
1
703
72.17593477039574
704
16
705
0
706
97.66705955686282
707
78.38203833203006
708
85.63011115467849
709
91.75488848617029
710
82
711
0
712
4
713
19
714
65
715
35.260836614074265
716
0
717
1
718
0
719
1
720
1
721
82.879367821715
722
50
723
1
724
19.31856744513172
725
89.06907166585876
726
96.48011296676871
727
45.12592051321539
728
57
729
0
730
34
731
0
732
68
733
33.24924383262239
734
66
735
0
736
0
737
0
738
1
739
3.767179815009536
740
88
741
1
742
99.61219175150869
743
57.04052230113482
744
40.48974958552013
745
19.805572393611502
746
87
747
1
748
74
749
82
750
21
751
77.37701098649855
752
34
753
0
754
1
755
1
756
0
757
36.50814480975853
758
54
759
0
760
72.58788359586119
761
39.45277031881756
762
51.42946427792982
763
41.533173779810625
764
49
765
0
766
43
767
45
768
43
769
37.09898336127965
770
85
771
0
772
1
773
1
774
1
775
17.363909892044095
776
55
777
1
778
3.262465391366687
779
28.650736578976634
780
33.306653805890676
781
58.72204605882696
782
8
783
0
784
99
785
31
786
87
787
1.0528468594427798
788
36
789
0
790
0
791
0
792
0
793
90.10051581947643
794
47
795
1
796
17.65685695572473
797
80.99002874586496
798
27.631729249518568
799
12.780349351133003
800
97
801
0
802
29
803
96
804
1
805
21.63291584853122
806
34
807
1
808
1
809
0
810
1
811
5.22831087796426
812
82
813
0
814
61.435927287858426
815
98.27454073337684
816
0.8632610540916907
817
85.68270252934724
818
70
819
0
820
12
821
66
822
10
823
53.898801953442224
824
62
825
0
826
1
827
1
828
0
829
87.57157415811024
830
59
831
0
832
73.84001506590683
833
61.55009272027275
834
60.7327748520446
835
11.789038217038538
836
11
837
1
838
50
839
68
840
1
841
18.332517692205684
842
11
843
1
844
1
845
0
846
1
847
92.39184717748915
848
67
849
0
850
68.37241360639639
851
69.43615231331623
852
66.4974058395174
853
7.411034139875183
854
23
855
1
856
54
857
18
858
14
859
24.4771100828712
860
86
861
1
862
0
863
0
864
0
865
82.88664576122477
866
8
867
0
868
0.8671242829570547
869
44.99400378626702
870
88.8912792949038
871
47.50542240548258
872
93
873
1
874
36
875
86
876
66
877
46.88441154323525
878
99
879
1
880
1
881
1
882
0
883
8.8578456238662
884
70
885
1
886
79.09649608866418
887
46.32122514638488
888
0.6441647047864762
889
4.127341960924924
890
31
891
1
892
68
893
27
894
26
895
46.06907565580502
896
77
897
1
898
1
899
1
900
1
901
47.691722889751986
902
86
903
1
904
25.98842636526476
905
46.628679153331575
906
37.908571934440204
907
55.9058111589559
908
7
909
1
910
76
911
56
912
76
913
75.31057125495154
914
57
915
0
916
1
917
0
918
0
919
84.5152641474314
920
31
921
0
922
50.80797124421403
923
39.49764934565339
924
66.78415256605673
925
81.80732725377004
926
30
927
0
928
44
929
52
930
86
931
9.16430090641468
932
34
933
1
934
1
935
1
936
0
937
58.49103045337427
938
11
939
1
940
9.318402720712404
941
74.33116472029498
942
17.350888916389138
943
65.83248813928405
944
76
945
0
946
51
947
9
948
47
949
71.43765757430748
950
52
951
1
952
0
953
1
954
1
955
86.68551680730774
956
17
957
1
958
44.97186012559122
959
35.70496441142205
960
10.220221016264396
961
62.04442642170254
962
3
963
0
964
17
965
17
966
44
967
29.156200993619773
968
72
969
1
970
0
971
0
972
1
973
95.79358407537674
974
97
975
1
976
98.58993800349138
977
48.38992672388991
978
97.58595563563053
979
1.4567782757140768
980
44
981
0
982
40
983
91
984
29
985
54.68982797408596
986
69
987
1
988
1
989
0
990
1
991
45.22423609431947
992
66
993
0
994
53.77970338944077
995
17.25925483409173
996
72.10437672822391
997
63.812804964314005
998
97
999
0
1000
54
1001
28
1002
38
1003
40.728208665853785
1004
82
1005
0
1006
1
1007
1
1008
1
1009
12.650618758136378
1010
62
1011
1
1012
49.49075065024535
1013
98.11005234935148
1014
62.655731472788425
1015
88.16616873793589
1016
66
1017
1
1018
55
1019
99
1020
47
1021
82.18940612093691
1022
62
1023
0
1024
1
1025
0
1026
1
1027
35.09983143398687
1028
89
1029
0
1030
39.65411106216702
1031
41.6203771153037
1032
36.136830854252864
1033
56.42783690707207
1034
53
1035
1
1036
1
1037
55
1038
37
1039
15.41501393991207
1040
77
1041
1
1042
0
1043
1
1044
0
1045
55.00574949955153
1046
78
1047
1
1048
12.753983650208633
1049
58.2292449143109
1050
58.9072241653153
1051
53.67238147309151
1052
98
1053
0
1054
87
1055
50
1056
88
1057
28.149795356496664
1058
43
1059
0
1060
0
1061
0
1062
0
1063
11.370734483433932
1064
74
1065
0
1066
1.4683569280083186
1067
16.668442002830407
1068
40.35903704733528
1069
88.0009904283097
1070
48
1071
1
1072
39
1073
0
1074
87
1075
23.823230807982053
1076
65
1077
1
1078
1
1079
1
1080
1
1081
41.279771776844
1082
79
1083
0
1084
14.174819414214435
1085
13.191492159189655
1086
84.30322491881643
1087
41.13727276661277
1088
91
1089
0
1090
20
1091
35
1092
71
1093
40.544998589631035
1094
4
1095
1
1096
1
1097
0
1098
1
1099
16.48320281706087
1100
47
1101
0
1102
6.152970252574819
1103
32.23638521014524
1104
11.46261633450052
1105
18.68595882188757
1106
85
1107
0
1108
13
1109
47
1110
37
1111
88.99587292867089
1112
47
1113
0
1114
1
1115
0
1116
1
1117
33.61193270065681
1118
20
1119
0
1120
78.724993410789
1121
62.32526717831859
1122
88.33486640084672
1123
76.11342373832802
1124
26
1125
1
1126
68
1127
33
1128
88
1129
84.0401297221146
1130
47
1131
1
1132
1
1133
1
1134
1
1135
4.811553968362192
1136
42
1137
0
1138
49.3611512675562
1139
33.44551241819218
1140
4.035986979354178
1141
13.012929950498775
1142
64
1143
1
1144
12
1145
74
1146
65
1147
2.404989337936869
1148
64
1149
1
1150
1
1151
1
1152
1
1153
58.17960087244752
1154
60
1155
0
1156
74.93707564961258
1157
3.97314872062553
1158
77.45784652729616
1159
54.09631437001382
1160
92
1161
0
1162
37
1163
52
1164
99
1165
3.167276770613081
1166
78
1167
1
1168
1
1169
0
1170
1
1171
54.36270663814875
1172
79
1173
1
1174
33.864898309596484
1175
46.39091665033471
1176
52.1706653647216
1177
70.60787132583731
1178
24
1179
1
1180
20
1181
71
1182
84
1183
99.05685778195902
1184
4
1185
0
1186
1
1187
1
1188
1
1189
57.018145631532555
1190
90
1191
0
1192
80.7304252279443
1193
61.61972858975482
1194
45.9742104978419
1195
40.48492634938056
1196
31
1197
1
1198
72
1199
8
1200
91
1201
64.73111149303608
1202
26
1203
0
1204
1
1205
1
1206
1
1207
60.566894331031904
1208
25
1209
0
1210
79.35372444804881
1211
91.72360538923094
1212
65.84900909368248
1213
99.59368895287064
1214
84
1215
1
1216
52
1217
92
1218
84
1219
13.194088943025262
1220
41
1221
1
1222
0
1223
1
1224
1
1225
78.76296192042092
1226
96
1227
0
1228
96.85063412116905
1229
0.06469212740409791
1230
77.28157943912476
1231
99.74768595311954
1232
28
1233
1
1234
27
1235
64
1236
63
1237
63.428604937069224
1238
33
1239
1
1240
1
1241
0
1242
0
1243
32.07645579757643
1244
42
1245
0
1246
2.307843298968526
1247
46.67623925190435
1248
29.535370575131516
1249
61.97015719100535
1250
36
1251
1
1252
14
1253
12
1254
90
1255
61.07905629680916
1256
48
1257
1
1258
0
1259
1
1260
1
1261
40.73547604170905
1262
58
1263
1
1264
59.09441237172154
1265
4.687934294335294
1266
85.41166670312168
1267
95.5905870385942
1268
37
1269
0
1270
86
1271
91
1272
59
1273
99.66722956284968
1274
4
1275
1
1276
0
1277
1
1278
1
1279
33.494542957064475
1280
81
1281
1
1282
29.617677273141652
1283
41.07934566878983
1284
85.39247476045288
1285
45.26947702432837
1286
69
1287
1
1288
93
1289
88
1290
71
1291
22.342966874154445
1292
71
1293
0
1294
1
1295
1
1296
0
1297
19.795032027329984
1298
50
1299
0
1300
25.491710740977958
1301
21.85359509767104
1302
91.77998731570779
1303
28.92441356244135
1304
95
1305
1
1306
57
1307
41
1308
87
1309
63.566023003813314
1310
88
1311
0
1312
1
1313
1
1314
0
1315
44.95562758147709
1316
6
1317
0
1318
34.62159999300353
1319
97.91489820715282
1320
8.544914046579565
1321
39.784341367261035
1322
75
1323
1
1324
72
1325
99
1326
22
1327
16.38501076253722
1328
7
1329
0
1330
1
1331
1
1332
0
1333
54.378509539647844
1334
55
1335
0
1336
39.61702776296392
1337
83.49988060422385
1338
57.06861875921455
1339
5.427874128517218
1340
0
1341
0
1342
35
1343
90
1344
1
1345
84.12389039238725
1346
48
1347
0
1348
0
1349
0
1350
1
1351
33.47970627522259
1352
37
1353
0
1354
9.23374749979332
1355
53.95410486809396
1356
6.811644792540916
1357
25.665395345189033
1358
69
1359
0
1360
95
1361
23
1362
68
1363
95.30590834561526
1364
87
1365
1
1366
0
1367
0
1368
1
1369
65.14956184932022
1370
52
1371
0
1372
96.20171589092075
1373
63.96155552364328
1374
13.163896977294199
1375
49.50358810002156
1376
82
1377
0
1378
35
1379
57
1380
18
1381
27.539518079381985
1382
15
1383
0
1384
0
1385
0
1386
1
1387
56.02206491465056
1388
16
1389
1
1390
10.833806260508783
1391
21.026313133872677
1392
2.329356858085707
1393
99.18494707960565
1394
25
1395
1
1396
82
1397
94
1398
65
1399
99.86027448958302
1400
74
1401
1
1402
0
1403
0
1404
0
1405
26.679361317264018
1406
4
1407
0
1408
60.21919567761752
1409
42.07197583630268
1410
65.07091994199997
1411
6.4237499343377635
1412
97
1413
1
1414
59
1415
65
1416
36
1417
53.667265988001866
1418
70
1419
1
1420
0
1421
0
1422
0
1423
39.14044769264235
1424
5
1425
1
1426
47.59062675211019
1427
73.46589074098073
1428
77.48857006410367
1429
92.46381617227328
1430
54
1431
0
1432
75
1433
25
1434
81
1435
49.912152202354235
1436
80
1437
1
1438
1
1439
1
1440
0
1441
47.58069994745415
1442
49
1443
1
1444
15.614958990618478
1445
66.59153776395605
1446
57.72673000540528
1447
99.462379237926
1448
76
1449
0
1450
75
1451
30
1452
69
1453
64.59343303801187
1454
3
1455
0
1456
1
1457
1
1458
1
1459
5.201562712832619
1460
41
1461
0
1462
90.89155796655075
1463
72.28395940831919
1464
92.60437294185837
1465
65.95819255427602
1466
84
1467
0
1468
83
1469
54
1470
99
1471
65.87808803563303
1472
1
1473
1
1474
1
1475
0
1476
1
1477
41.51734063352963
1478
79
1479
1
1480
44.853199422877395
1481
48.00940932291229
1482
27.63404216026504
1483
33.81100629660663
1484
7
1485
0
1486
69
1487
83
1488
14
1489
4.317251705108738
1490
58
1491
0
1492
0
1493
1
1494
0
1495
40.04875363253364
1496
85
1497
0
1498
28.549373220766128
1499
61.611862102593626
1500
7.743633083838253
1501
78.00337575813279
1502
39
1503
1
1504
37
1505
38
1506
46
1507
42.642142734088885
1508
51
1509
1
1510
1
1511
1
1512
0
1513
96.51048678250358
1514
13
1515
1
1516
65.45198740771357
1517
24.76544534467343
1518
84.23743488058376
1519
64.07469387304867
1520
29
1521
1
1522
26
1523
49
1524
60
1525
93.52099050481496
1526
47
1527
0
1528
1
1529
1
1530
1
1531
22.052729810839388
1532
95
1533
0
1534
97.45864759747172
1535
97.96321648336468
1536
66.13059520829691
1537
60.7112859052956
1538
58
1539
1
1540
16
1541
15
1542
52
1543
22.427192265360606
1544
79
1545
0
1546
1
1547
1
1548
1
1549
74.96424284175207
1550
79
1551
0
1552
74.67883639417943
1553
76.93912761686808
1554
90.96381329712325
1555
67.14523981139442
1556
35
1557
0
1558
85
1559
22
1560
9
1561
8.413555483672564
1562
5
1563
0
1564
0
1565
1
1566
0
1567
57.46723437987152
1568
29
1569
0
1570
59.373480497699994
1571
97.86147012759773
1572
21.552713386624788
1573
56.51859933086679
1574
77
1575
1
1576
12
1577
62
1578
53
1579
38.10690155923419
1580
39
1581
0
1582
1
1583
1
1584
0
1585
1.8319490587976994
1586
31
1587
0
1588
78.57854406426203
1589
85.45242283378815
1590
40.849071064469115
1591
87.24846198589248
1592
17
1593
1
1594
35
1595
38
1596
67
1597
37.631938959674784
1598
20
1599
0
1600
1
1601
1
1602
0
1603
92.01150916803145
1604
39
1605
0
1606
8.478433316681343
1607
14.379797510162051
1608
17.188600018010625
1609
94.68238449164055
1610
18
1611
0
1612
52
1613
13
1614
75
1615
23.442758127216035
1616
16
1617
0
1618
1
1619
1
1620
1
1621
23.345256294540008
1622
24
1623
1
1624
6.505188475541068
1625
59.833445457901554
1626
46.672810593578916
1627
44.96243323027051
1628
67
1629
0
1630
72
1631
12
1632
78
1633
76.18491479035114
1634
67
1635
0
1636
0
1637
1
1638
0
1639
93.6014455789752
1640
57
1641
1
1642
24.424548156852666
1643
78.14022081251018
1644
48.279975998495885
1645
12.02014993888949
1646
91
1647
1
1648
76
1649
81
1650
72
1651
11.730515853349821
1652
24
1653
0
1654
0
1655
0
1656
0
1657
43.7278234743909
1658
73
1659
0
1660
37.33015193487452
1661
82.58776677264305
1662
90.52298765672853
1663
27.003532766991224
1664
1
1665
0
1666
12
1667
37
1668
17
1669
40.42333660608269
1670
1
1671
0
1672
1
1673
0
1674
1
1675
26.151297491511027
1676
70
1677
1
1678
9.50233174570021
1679
63.31884445487799
1680
66.06949200289347
1681
47.19113157322759
1682
88
1683
0
1684
60
1685
27
1686
46
1687
69.34044581325348
1688
60
1689
1
1690
0
1691
0
1692
1
1693
72.31550424302485
1694
97
1695
1
1696
88.49802491958665
1697
43.224281814771594
1698
2.712366115811471
1699
98.57719145887741
1700
69
1701
0
1702
86
1703
99
1704
85
1705
13.021430091424357
1706
15
1707
0
1708
0
1709
1
1710
1
1711
59.3678177169878
1712
69
1713
1
1714
73.62358164809167
1715
64.20406530766853
1716
5.426279249642074
1717
62.81571382663485
1718
45
1719
0
1720
14
1721
83
1722
5
1723
35.63576154855972
1724
23
1725
0
1726
0
1727
0
1728
1
1729
38.504909132492685
1730
50
1731
0
1732
44.102323201432284
1733
59.9824806820031
1734
64.96865697654637
1735
5.090214538585192
1736
84
1737
1
1738
81
1739
6
1740
47
1741
51.95344543776586
1742
7
1743
0
1744
1
1745
1
1746
1
1747
84.45870972559383
1748
38
1749
0
1750
55.783924784701064
1751
92.8546253805606
1752
43.5811421353765
1753
74.72986488809732
1754
45
1755
0
1756
64
1757
15
1758
71
1759
65.75358659647229
1760
64
1761
0
1762
1
1763
0
1764
1
1765
56.9522090643505
1766
28
1767
1
1768
23.152814610457273
1769
12.308015787639203
1770
57.820199952399264
1771
55.02156286370132
1772
12
1773
1
1774
66
1775
65
1776
86
1777
22.450037953308254
1778
29
1779
1
1780
0
1781
1
1782
0
1783
30.677246492379062
1784
97
1785
0
1786
95.67793417031054
1787
33.404414393546254
1788
22.393219071788984
1789
92.67147391242527
1790
83
1791
0
1792
74
1793
32
1794
77
1795
97.7328533083053
1796
11
1797
1
1798
0
1799
0
1800
0