Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_IC_reset_test / integrator_ext_IC_reset_test_integrator_ext_IC_reset_test_input_values @ 0c9457a0

History | View | Annotate | Download (15.6 KB)

1
82.20364651274636
2
17.878232413196894
3
3
4
70
5
1
6
29
7
60.98126411480439
8
6.840153214239675
9
64
10
84
11
0
12
11
13
34.14218185096644
14
70.71596722868783
15
86
16
22
17
0
18
32
19
0
20
0
21
0
22
1
23
0
24
1
25
0
26
1
27
0
28
80.44277483546563
29
74.17203623357884
30
91
31
48
32
0
33
74
34
0.13810453278052526
35
99.70962052878563
36
0
37
23
38
0
39
1
40
68.46477119503803
41
2.298766485610071
42
95
43
39
44
1
45
33
46
1
47
1
48
1
49
0
50
0
51
0
52
1
53
0
54
0
55
70.56742779767212
56
93.93853970498303
57
75
58
91
59
1
60
93
61
68.90986668189973
62
41.11239473522774
63
10
64
35
65
1
66
15
67
92.56954149643958
68
92.01280473435142
69
82
70
2
71
1
72
88
73
0
74
1
75
0
76
1
77
1
78
1
79
1
80
1
81
1
82
65.11682592729092
83
37.618085267917536
84
65
85
59
86
0
87
10
88
8.08789146206863
89
51.477226044604905
90
96
91
23
92
1
93
58
94
10.747739791763088
95
49.26934027784877
96
26
97
78
98
0
99
64
100
0
101
0
102
1
103
1
104
0
105
0
106
1
107
1
108
0
109
21.593789025801613
110
91.44103721335874
111
97
112
13
113
0
114
32
115
82.56814303469024
116
92.20509890584034
117
54
118
18
119
1
120
24
121
25.95092503132569
122
24.57907066985112
123
38
124
57
125
0
126
14
127
1
128
0
129
0
130
1
131
1
132
0
133
0
134
1
135
1
136
99.18809114715768
137
59.709574777310536
138
77
139
90
140
0
141
5
142
98.85574173635575
143
62.651685151308556
144
38
145
13
146
0
147
50
148
60.332312903030946
149
63.27143340824987
150
20
151
63
152
0
153
56
154
1
155
0
156
0
157
1
158
0
159
1
160
0
161
1
162
1
163
70.59880459399308
164
58.19027642936384
165
61
166
66
167
0
168
71
169
2.8918539005739707
170
51.302729531028966
171
2
172
29
173
0
174
49
175
74.26383100095329
176
58.57618680718745
177
85
178
63
179
0
180
3
181
0
182
1
183
0
184
0
185
1
186
0
187
1
188
0
189
1
190
76.47532952501601
191
51.19094685413369
192
24
193
88
194
0
195
43
196
8.700824632832472
197
81.73443325349731
198
97
199
31
200
1
201
42
202
10.249424181169097
203
67.67344571585718
204
91
205
12
206
1
207
19
208
0
209
0
210
0
211
1
212
0
213
1
214
1
215
1
216
0
217
36.22562771467134
218
93.74410857858435
219
4
220
59
221
0
222
93
223
28.29341780653779
224
51.87467217923398
225
65
226
55
227
0
228
64
229
6.379393954735124
230
86.96381566611086
231
95
232
81
233
1
234
33
235
1
236
0
237
0
238
1
239
1
240
0
241
1
242
0
243
1
244
47.231361926754865
245
31.438053598738456
246
58
247
62
248
0
249
55
250
39.82889192197919
251
29.19891918710973
252
3
253
95
254
0
255
27
256
51.57987671850314
257
31.003908829454296
258
3
259
50
260
0
261
6
262
0
263
1
264
1
265
0
266
1
267
0
268
1
269
0
270
1
271
96.79022759210768
272
4.901853013821467
273
27
274
8
275
1
276
80
277
71.4886031507517
278
81.72221501561737
279
96
280
5
281
0
282
16
283
0.17567346315091603
284
94.87062715580396
285
64
286
90
287
1
288
77
289
1
290
1
291
0
292
1
293
1
294
0
295
1
296
1
297
1
298
98.05788843444073
299
49.74364405109276
300
26
301
5
302
0
303
20
304
64.6050480998125
305
1.5509518758217156
306
74
307
8
308
0
309
72
310
98.52632989372944
311
58.31584354656133
312
4
313
49
314
0
315
82
316
1
317
1
318
1
319
0
320
0
321
1
322
0
323
0
324
0
325
0.6457383143584128
326
25.995545906424777
327
16
328
53
329
1
330
55
331
93.39214317099561
332
18.595849371655817
333
13
334
51
335
0
336
92
337
0.3415018201231357
338
8.871887068246709
339
91
340
16
341
0
342
39
343
1
344
0
345
1
346
1
347
0
348
1
349
1
350
1
351
1
352
79.67950375628419
353
89.63955313390585
354
21
355
28
356
0
357
74
358
71.27340798859497
359
65.3998435712712
360
6
361
84
362
0
363
10
364
80.89439052650745
365
87.85574046005122
366
99
367
18
368
0
369
61
370
1
371
0
372
0
373
0
374
1
375
1
376
0
377
0
378
1
379
72.4337906003986
380
39.09869207283012
381
70
382
11
383
1
384
70
385
18.956625533810822
386
22.89025483325332
387
40
388
16
389
1
390
51
391
29.32353891216355
392
18.42628898604547
393
48
394
16
395
0
396
61
397
1
398
0
399
0
400
0
401
0
402
1
403
0
404
1
405
0
406
51.29472600600833
407
27.805623534628133
408
16
409
80
410
1
411
60
412
71.03548014897041
413
22.880957314411354
414
45
415
38
416
1
417
29
418
96.18163932757125
419
16.70500303924898
420
70
421
59
422
1
423
91
424
0
425
1
426
1
427
0
428
0
429
1
430
0
431
0
432
1
433
64.44199119459161
434
28.394605480227554
435
30
436
82
437
1
438
35
439
79.75448071152779
440
31.732578016929402
441
1
442
92
443
1
444
56
445
14.580978893209162
446
42.82584866574213
447
58
448
94
449
1
450
8
451
1
452
1
453
1
454
0
455
0
456
1
457
0
458
0
459
1
460
75.00856023518085
461
97.77864020420847
462
17
463
30
464
1
465
11
466
55.79228093100242
467
44.32593513306061
468
65
469
64
470
0
471
55
472
55.215412080995755
473
43.14013518525728
474
6
475
72
476
0
477
81
478
0
479
1
480
1
481
1
482
1
483
0
484
1
485
1
486
0
487
6.865110987350409
488
88.91931904004437
489
37
490
22
491
1
492
18
493
14.003144893300378
494
7.25358977125683
495
60
496
27
497
1
498
72
499
1.5372310673857692
500
90.95780438752696
501
9
502
10
503
0
504
95
505
0
506
0
507
1
508
1
509
1
510
1
511
0
512
0
513
0
514
54.98400300672556
515
24.451097168684477
516
68
517
24
518
1
519
59
520
97.82419262472159
521
8.302882798358823
522
7
523
39
524
1
525
21
526
4.294070014510365
527
32.58907816344112
528
59
529
92
530
0
531
78
532
0
533
1
534
1
535
1
536
1
537
0
538
1
539
1
540
1
541
20.150951362063363
542
75.82298171910912
543
77
544
84
545
0
546
85
547
58.30974089676349
548
81.92941761563122
549
49
550
46
551
0
552
69
553
3.3730913437158616
554
97.87076085129301
555
69
556
75
557
1
558
50
559
0
560
0
561
0
562
0
563
0
564
0
565
1
566
1
567
0
568
95.61994641894015
569
88.14428943851034
570
37
571
43
572
1
573
41
574
81.78117883504525
575
58.87350489345026
576
19
577
22
578
0
579
3
580
92.47219869315306
581
38.140347604569456
582
85
583
16
584
1
585
28
586
0
587
0
588
1
589
0
590
1
591
0
592
1
593
1
594
0
595
64.4273197909101
596
3.0761350197761383
597
81
598
30
599
0
600
21
601
63.4202380762251
602
71.36189186417201
603
54
604
80
605
1
606
33
607
52.074103360848326
608
16.450746004583504
609
13
610
53
611
0
612
36
613
1
614
0
615
0
616
1
617
1
618
0
619
0
620
1
621
1
622
61.609556017687616
623
0.4723445397640913
624
18
625
50
626
0
627
48
628
44.503036133497034
629
53.68933813384314
630
91
631
50
632
0
633
16
634
65.63039319614465
635
99.24947634948118
636
83
637
62
638
1
639
79
640
1
641
0
642
1
643
0
644
1
645
1
646
0
647
0
648
1
649
85.14501030406674
650
38.871687803674334
651
89
652
9
653
0
654
1
655
76.9816064382849
656
12.359939244598305
657
57
658
73
659
1
660
27
661
11.854375788596661
662
82.68219737110138
663
30
664
65
665
1
666
87
667
1
668
0
669
1
670
1
671
1
672
0
673
0
674
0
675
1
676
53.155889477364006
677
72.60280113345338
678
45
679
52
680
1
681
43
682
56.223090584359866
683
58.29906515848145
684
44
685
50
686
1
687
69
688
95.13787519392267
689
0.5696677897183089
690
33
691
12
692
1
693
20
694
0
695
0
696
0
697
1
698
0
699
0
700
0
701
0
702
0
703
62.253750865184706
704
34.44258643197065
705
98
706
82
707
1
708
21
709
16.209172311926512
710
58.705040268773324
711
77
712
48
713
1
714
22
715
44.0600575757756
716
26.731795254497914
717
64
718
8
719
0
720
69
721
1
722
1
723
1
724
1
725
1
726
0
727
1
728
1
729
1
730
34.876889737422935
731
59.102656786124555
732
67
733
48
734
1
735
23
736
45.34706915235116
737
60.00565686211018
738
57
739
80
740
0
741
78
742
9.187140504520219
743
91.94571622034401
744
98
745
39
746
1
747
71
748
1
749
1
750
1
751
0
752
0
753
0
754
1
755
0
756
1
757
5.190065948051926
758
56.27885820124142
759
54
760
97
761
1
762
21
763
98.57238951844442
764
40.25065180458102
765
86
766
77
767
1
768
89
769
15.842227332841963
770
53.46295500829482
771
85
772
29
773
1
774
28
775
0
776
0
777
1
778
1
779
0
780
1
781
0
782
0
783
1
784
56.96600582217577
785
23.027885781245484
786
90
787
88
788
0
789
24
790
58.598333252833854
791
29.17993236379597
792
43
793
4
794
0
795
26
796
43.010035680155944
797
9.398901755272304
798
97
799
62
800
0
801
12
802
1
803
0
804
0
805
1
806
1
807
0
808
1
809
0
810
1
811
68.14595295923354
812
12.141703419087547
813
81
814
78
815
0
816
60
817
51.969884443451406
818
23.61404337781241
819
79
820
78
821
0
822
10
823
76.65468160126343
824
6.179004168782631
825
19
826
67
827
1
828
52
829
0
830
0
831
1
832
1
833
0
834
1
835
1
836
1
837
1
838
55.769174968182455
839
19.465823190348818
840
59
841
67
842
0
843
79
844
25.012754133056326
845
87.03600386291563
846
66
847
29
848
0
849
86
850
57.424087340353516
851
66.85925380427197
852
2
853
63
854
0
855
52
856
1
857
1
858
1
859
1
860
1
861
1
862
0
863
0
864
1
865
20.38499841744441
866
64.22235083727757
867
82
868
9
869
0
870
60
871
30.009777723878607
872
68.78337780882546
873
44
874
1
875
1
876
88
877
29.777485396153402
878
19.031896485231336
879
78
880
16
881
1
882
7
883
0
884
1
885
0
886
0
887
0
888
0
889
1
890
1
891
0
892
90.57702662383525
893
1.9733144201381836
894
32
895
82
896
1
897
11
898
43.173025311389104
899
26.790442855343986
900
4
901
75
902
0
903
96
904
41.06865261373777
905
62.52622014590098
906
45
907
13
908
0
909
85
910
1
911
1
912
0
913
1
914
1
915
1
916
1
917
0
918
0
919
48.97758579731823
920
49.451689037747215
921
91
922
31
923
0
924
80
925
61.652952159495186
926
65.50608040339671
927
9
928
24
929
0
930
16
931
98.59615684889714
932
37.935668607653525
933
76
934
3
935
0
936
65
937
1
938
1
939
1
940
1
941
0
942
1
943
0
944
1
945
1
946
69.50630059618507
947
93.46855620038225
948
26
949
67
950
0
951
0
952
65.43045864175721
953
96.67856539321352
954
87
955
79
956
1
957
97
958
47.435175094160684
959
0.10788260817566897
960
29
961
88
962
1
963
17
964
1
965
1
966
1
967
1
968
0
969
1
970
0
971
0
972
0
973
31.576153071725134
974
50.8699120020468
975
8
976
54
977
1
978
86
979
78.83444533930844
980
55.30149497375314
981
42
982
23
983
0
984
58
985
43.82178759156883
986
2.710345941838277
987
43
988
63
989
0
990
33
991
0
992
1
993
0
994
1
995
0
996
0
997
1
998
1
999
0
1000
31.170306627810053
1001
81.00353559165555
1002
62
1003
66
1004
0
1005
49
1006
11.0099147425053
1007
88.4475055530205
1008
53
1009
0
1010
1
1011
43
1012
36.349325163521264
1013
42.244165799291224
1014
45
1015
58
1016
1
1017
16
1018
0
1019
0
1020
0
1021
0
1022
1
1023
0
1024
0
1025
0
1026
1
1027
24.36111829962101
1028
11.431446011999657
1029
52
1030
14
1031
1
1032
57
1033
84.06647998193122
1034
84.41226549368697
1035
68
1036
68
1037
0
1038
5
1039
41.58119595546346
1040
44.86088252824349
1041
32
1042
64
1043
0
1044
18
1045
1
1046
0
1047
1
1048
1
1049
1
1050
0
1051
0
1052
0
1053
1
1054
22.03452803278998
1055
8.666165297220507
1056
55
1057
33
1058
1
1059
18
1060
65.19371792536633
1061
47.045183944584025
1062
44
1063
66
1064
1
1065
38
1066
30.426892996576626
1067
63.104065158260426
1068
30
1069
28
1070
1
1071
64
1072
0
1073
1
1074
0
1075
0
1076
1
1077
0
1078
0
1079
0
1080
1
1081
98.43123600820691
1082
92.64229368603127
1083
77
1084
71
1085
0
1086
20
1087
54.09394854377124
1088
31.607320142036155
1089
69
1090
88
1091
0
1092
1
1093
64.7648311452177
1094
67.04795011614102
1095
89
1096
39
1097
1
1098
74
1099
0
1100
1
1101
1
1102
1
1103
0
1104
0
1105
1
1106
1
1107
0
1108
30.311634869885083
1109
18.224388428017
1110
46
1111
96
1112
0
1113
94
1114
78.69009550205398
1115
3.258433240041003
1116
92
1117
35
1118
0
1119
99
1120
87.14748359017318
1121
64.54329965112163
1122
43
1123
65
1124
1
1125
37
1126
1
1127
1
1128
0
1129
1
1130
0
1131
1
1132
1
1133
0
1134
0
1135
76.2771329369113
1136
7.313153631839253
1137
77
1138
86
1139
1
1140
12
1141
27.427404517849354
1142
64.1995328826915
1143
13
1144
95
1145
0
1146
56
1147
58.53197868689001
1148
38.64183890238897
1149
8
1150
86
1151
1
1152
98
1153
1
1154
1
1155
1
1156
0
1157
1
1158
1
1159
0
1160
0
1161
0
1162
43.508049019048066
1163
61.42761144176464
1164
46
1165
74
1166
0
1167
9
1168
55.898929267458705
1169
56.27787576596164
1170
6
1171
39
1172
0
1173
12
1174
10.915961759266402
1175
46.66709526405734
1176
60
1177
85
1178
1
1179
3
1180
0
1181
1
1182
1
1183
1
1184
1
1185
1
1186
0
1187
0
1188
0
1189
47.06761242145944
1190
12.357939877688196
1191
57
1192
22
1193
1
1194
62
1195
2.9724777595717566
1196
19.730421406787123
1197
69
1198
93
1199
1
1200
96
1201
87.4052062672634
1202
9.917511332179728
1203
89
1204
77
1205
0
1206
27
1207
1
1208
0
1209
1
1210
1
1211
1
1212
1
1213
1
1214
0
1215
0
1216
35.21179481078579
1217
22.197535186538897
1218
56
1219
85
1220
0
1221
80
1222
38.27450881552872
1223
7.761897151293928
1224
38
1225
85
1226
0
1227
38
1228
84.49394471828688
1229
3.4696400335427535
1230
31
1231
99
1232
0
1233
54
1234
1
1235
0
1236
1
1237
1
1238
0
1239
0
1240
1
1241
0
1242
0
1243
8.551902925595268
1244
62.88269379027967
1245
79
1246
87
1247
0
1248
49
1249
90.43683614667577
1250
21.78313909063335
1251
58
1252
66
1253
1
1254
61
1255
70.01218790877117
1256
20.73019979517541
1257
42
1258
3
1259
0
1260
4
1261
1
1262
1
1263
1
1264
0
1265
1
1266
0
1267
0
1268
1
1269
0
1270
86.884823509604
1271
96.52298326040423
1272
84
1273
23
1274
1
1275
90
1276
45.591660315683924
1277
52.39951865655308
1278
21
1279
14
1280
0
1281
55
1282
18.505290716197386
1283
53.13987401846539
1284
32
1285
51
1286
0
1287
58
1288
1
1289
0
1290
1
1291
0
1292
0
1293
0
1294
0
1295
0
1296
0
1297
74.93265777554436
1298
23.430320698237605
1299
83
1300
98
1301
0
1302
88
1303
29.125142969256913
1304
99.62386773778479
1305
11
1306
25
1307
0
1308
42
1309
79.18447066203062
1310
89.92578650842437
1311
88
1312
94
1313
1
1314
19
1315
0
1316
1
1317
1
1318
1
1319
1
1320
0
1321
1
1322
1
1323
0
1324
93.64414803870355
1325
83.62950684621711
1326
42
1327
60
1328
1
1329
23
1330
93.11475310353386
1331
41.865827958403344
1332
60
1333
5
1334
0
1335
71
1336
65.98392592903859
1337
59.324540296189255
1338
24
1339
36
1340
0
1341
66
1342
1
1343
1
1344
1
1345
1
1346
0
1347
1
1348
1
1349
1
1350
0
1351
10.106473586207276
1352
28.30718342919425
1353
16
1354
1
1355
1
1356
73
1357
74.59645997468346
1358
98.08402281639387
1359
31
1360
77
1361
1
1362
52
1363
63.75702907276708
1364
16.33228393931977
1365
63
1366
10
1367
0
1368
37
1369
1
1370
1
1371
1
1372
1
1373
0
1374
1
1375
0
1376
0
1377
1
1378
24.29833337527585
1379
56.386661184694006
1380
38
1381
43
1382
0
1383
68
1384
30.345633586921373
1385
93.60568310208855
1386
16
1387
87
1388
0
1389
1
1390
54.250758708469625
1391
69.88840488850876
1392
15
1393
39
1394
0
1395
68
1396
1
1397
1
1398
1
1399
1
1400
0
1401
0
1402
1
1403
1
1404
1
1405
99.56357713910205
1406
72.27207308676368
1407
78
1408
97
1409
0
1410
70
1411
87.95948514556406
1412
0.6235182956152885
1413
32
1414
74
1415
0
1416
38
1417
63.36313226846867
1418
25.37606648780182
1419
44
1420
43
1421
0
1422
93
1423
1
1424
1
1425
1
1426
1
1427
0
1428
0
1429
0
1430
1
1431
1
1432
42.638892727997366
1433
43.8624441107825
1434
61
1435
30
1436
0
1437
42
1438
22.700710979062666
1439
59.741718503543574
1440
91
1441
25
1442
1
1443
57
1444
47.28218520745142
1445
5.574233703337283
1446
70
1447
70
1448
1
1449
5
1450
1
1451
1
1452
1
1453
1
1454
1
1455
1
1456
0
1457
1
1458
0
1459
61.48132775310796
1460
49.76961658712599
1461
53
1462
6
1463
0
1464
71
1465
10.583782385445762
1466
50.23798017076449
1467
22
1468
69
1469
1
1470
96
1471
72.41848690087586
1472
86.4284586185725
1473
47
1474
38
1475
0
1476
7
1477
0
1478
0
1479
0
1480
1
1481
1
1482
1
1483
0
1484
0
1485
0
1486
2.147577993201899
1487
61.417390501202554
1488
18
1489
54
1490
0
1491
13
1492
1.5257635618015297
1493
33.44861047587916
1494
98
1495
74
1496
0
1497
50
1498
61.60440401014541
1499
85.87022723380392
1500
52
1501
72
1502
1
1503
78
1504
0
1505
1
1506
1
1507
0
1508
1
1509
1
1510
1
1511
1
1512
0
1513
93.50885453329946
1514
10.778027061755424
1515
96
1516
17
1517
1
1518
96
1519
63.73869069396019
1520
57.06371404528948
1521
80
1522
59
1523
0
1524
79
1525
78.77659873850304
1526
88.18245802516246
1527
51
1528
19
1529
1
1530
46
1531
0
1532
0
1533
0
1534
1
1535
0
1536
0
1537
0
1538
1
1539
0
1540
91.85754126504897
1541
7.934474422170301
1542
3
1543
4
1544
0
1545
59
1546
53.077253751556
1547
4.234560334744398
1548
54
1549
28
1550
1
1551
22
1552
18.860860559305248
1553
2.847658476891224
1554
63
1555
74
1556
1
1557
84
1558
1
1559
0
1560
1
1561
1
1562
1
1563
0
1564
0
1565
1
1566
0
1567
8.018659713222187
1568
67.99389352797019
1569
23
1570
49
1571
1
1572
60
1573
82.34737268161945
1574
51.89685541842047
1575
18
1576
61
1577
1
1578
44
1579
52.20138007076621
1580
98.1305772181933
1581
81
1582
98
1583
0
1584
70
1585
1
1586
1
1587
1
1588
0
1589
0
1590
0
1591
0
1592
1
1593
0
1594
0.5456599132414697
1595
2.7193299456804154
1596
90
1597
88
1598
1
1599
24
1600
61.768294421668216
1601
13.944721946317562
1602
7
1603
64
1604
0
1605
22
1606
62.63815199152272
1607
77.65418631649918
1608
94
1609
92
1610
1
1611
69
1612
1
1613
0
1614
0
1615
1
1616
1
1617
1
1618
0
1619
1
1620
1
1621
94.23313203105002
1622
59.02788921386662
1623
29
1624
80
1625
1
1626
31
1627
45.65545767912415
1628
80.12200752242349
1629
89
1630
61
1631
1
1632
29
1633
47.60914437259025
1634
25.241469979001607
1635
87
1636
58
1637
0
1638
18
1639
0
1640
0
1641
0
1642
0
1643
1
1644
1
1645
0
1646
1
1647
0
1648
33.08212451556432
1649
25.31172389849593
1650
13
1651
37
1652
1
1653
62
1654
9.056032681805881
1655
37.00420932728361
1656
3
1657
9
1658
1
1659
39
1660
1.9610787384970907
1661
16.083834396160878
1662
43
1663
23
1664
1
1665
15
1666
1
1667
0
1668
0
1669
0
1670
0
1671
0
1672
1
1673
0
1674
0
1675
67.0757347985569
1676
44.012005943039355
1677
36
1678
4
1679
0
1680
53
1681
38.11025896419421
1682
38.223012625162646
1683
87
1684
5
1685
0
1686
21
1687
68.14413095375573
1688
37.580914923806866
1689
25
1690
46
1691
1
1692
6
1693
1
1694
1
1695
0
1696
0
1697
0
1698
1
1699
0
1700
0
1701
0
1702
84.37067205117881
1703
1.935239549654899
1704
95
1705
87
1706
0
1707
55
1708
88.26227359604147
1709
63.6483474963978
1710
4
1711
86
1712
0
1713
67
1714
5.4542443279907875
1715
54.87748973530115
1716
89
1717
12
1718
0
1719
47
1720
0
1721
0
1722
0
1723
1
1724
0
1725
1
1726
0
1727
1
1728
0
1729
40.9746709709365
1730
6.048179211868376
1731
13
1732
51
1733
1
1734
61
1735
78.79057879687696
1736
6.770480671428924
1737
34
1738
67
1739
1
1740
0
1741
18.6473650329968
1742
41.94285526463851
1743
56
1744
59
1745
0
1746
2
1747
0
1748
0
1749
0
1750
0
1751
1
1752
0
1753
0
1754
0
1755
1
1756
13.801627439640384
1757
11.621540856589185
1758
37
1759
86
1760
1
1761
52
1762
92.38537885777237
1763
68.95359742738574
1764
42
1765
95
1766
0
1767
88
1768
35.923675786713474
1769
52.29443496465915
1770
44
1771
60
1772
1
1773
31
1774
1
1775
1
1776
0
1777
0
1778
0
1779
0
1780
0
1781
1
1782
1
1783
16.626747566281242
1784
69.62384880562182
1785
82
1786
62
1787
0
1788
37
1789
6.684614947612411
1790
89.77761832787618
1791
48
1792
0
1793
1
1794
56
1795
42.50961322364121
1796
95.58627216994351
1797
24
1798
99
1799
0
1800
93
1801
1
1802
0
1803
1
1804
1
1805
1
1806
1
1807
1
1808
1
1809
1
1810
54.97248032792727
1811
15.856541566123584
1812
77
1813
79
1814
0
1815
46
1816
71.4632285115835
1817
19.383645655413982
1818
8
1819
17
1820
1
1821
57
1822
52.92506494631554
1823
45.46912163700952
1824
56
1825
50
1826
1
1827
28
1828
1
1829
0
1830
0
1831
0
1832
1
1833
1
1834
0
1835
1
1836
1
1837
12.564797473272904
1838
33.54308571563991
1839
32
1840
8
1841
1
1842
24
1843
41.53591621588072
1844
35.70735930296717
1845
16
1846
50
1847
0
1848
26
1849
70.65627467694
1850
71.9398492867663
1851
50
1852
6
1853
0
1854
82
1855
0
1856
1
1857
0
1858
0
1859
0
1860
0
1861
1
1862
0
1863
0
1864
27.024962677706398
1865
85.95148811240847
1866
30
1867
93
1868
0
1869
87
1870
53.42894010554416
1871
63.25990360378773
1872
35
1873
32
1874
1
1875
54
1876
31.74083323286021
1877
48.897010558676804
1878
3
1879
34
1880
0
1881
19
1882
1
1883
1
1884
1
1885
1
1886
0
1887
1
1888
0
1889
1
1890
1
1891
43.528291232888115
1892
15.776950751968288
1893
78
1894
26
1895
1
1896
40
1897
58.469789050534295
1898
31.91333842242904
1899
88
1900
52
1901
0
1902
47
1903
62.287345328558665
1904
19.364988403674765
1905
25
1906
55
1907
1
1908
87
1909
1
1910
1
1911
0
1912
0
1913
1
1914
0
1915
1
1916
0
1917
1
1918
54.71826034385091
1919
3.2093874989440385
1920
18
1921
14
1922
1
1923
10
1924
42.65008192075984
1925
62.133355364072564
1926
8
1927
43
1928
1
1929
87
1930
28.53934277925977
1931
16.195809155552432
1932
70
1933
43
1934
1
1935
22
1936
0
1937
1
1938
0
1939
1
1940
0
1941
1
1942
1
1943
1
1944
1
1945
64.99926248526101
1946
87.94916625205248
1947
74
1948
73
1949
1
1950
25
1951
15.600404145306946
1952
6.459689853497186
1953
64
1954
94
1955
0
1956
33
1957
58.95914496425675
1958
94.25308006927148
1959
98
1960
84
1961
0
1962
52
1963
0
1964
1
1965
0
1966
1
1967
1
1968
0
1969
0
1970
1
1971
0
1972
83.08996929624527
1973
49.446219836373054
1974
23
1975
26
1976
0
1977
14
1978
10.261103175160313
1979
26.057385362074047
1980
91
1981
61
1982
0
1983
49
1984
97.0832780075663
1985
66.32495140964477
1986
20
1987
10
1988
1
1989
15
1990
0
1991
1
1992
1
1993
0
1994
1
1995
1
1996
1
1997
1
1998
1
1999
90.57906341173509
2000
51.958240910183726
2001
54
2002
31
2003
0
2004
40
2005
45.35783380023416
2006
7.038035988601187
2007
95
2008
56
2009
1
2010
16
2011
55.42257226552492
2012
5.822299367491135
2013
71
2014
71
2015
1
2016
40
2017
1
2018
0
2019
1
2020
0
2021
0
2022
0
2023
0
2024
1
2025
0
2026
64.93439156606034
2027
89.61824792291412
2028
41
2029
11
2030
1
2031
8
2032
49.30107036077766
2033
87.37925142960341
2034
42
2035
32
2036
0
2037
53
2038
27.339374772659554
2039
57.654886138992254
2040
37
2041
12
2042
1
2043
19
2044
1
2045
1
2046
1
2047
1
2048
1
2049
1
2050
1
2051
1
2052
1
2053
65.48287288150884
2054
13.055937941966622
2055
83
2056
65
2057
1
2058
67
2059
66.66515854969921
2060
17.676613476380332
2061
40
2062
15
2063
0
2064
31
2065
94.65629225074287
2066
92.56885812510352
2067
39
2068
11
2069
1
2070
85
2071
0
2072
1
2073
0
2074
0
2075
0
2076
1
2077
0
2078
0
2079
0
2080
29.578592661041725
2081
38.77322789862454
2082
25
2083
99
2084
1
2085
51
2086
71.2468059900925
2087
54.88841382495981
2088
59
2089
0
2090
1
2091
97
2092
34.61420221876374
2093
61.62022968569612
2094
65
2095
38
2096
1
2097
68
2098
1
2099
1
2100
1
2101
1
2102
1
2103
0
2104
1
2105
1
2106
0
2107
0.36405822945241306
2108
30.615686924962215
2109
61
2110
68
2111
0
2112
70
2113
43.69721471129312
2114
31.315640304801384
2115
73
2116
46
2117
1
2118
38
2119
7.396827330506306
2120
65.88363759858827
2121
11
2122
26
2123
1
2124
91
2125
1
2126
0
2127
1
2128
0
2129
0
2130
1
2131
1
2132
0
2133
0
2134
3.1606729738708705
2135
46.758386689133715
2136
62
2137
81
2138
0
2139
2
2140
65.47669177200855
2141
16.119488788088287
2142
98
2143
65
2144
0
2145
68
2146
11.703408049149955
2147
28.51728072086518
2148
1
2149
14
2150
0
2151
85
2152
1
2153
1
2154
1
2155
0
2156
0
2157
1
2158
0
2159
0
2160
1
2161
12.723220516295342
2162
45.891763425626884
2163
81
2164
71
2165
0
2166
78
2167
43.207200521903374
2168
74.22758673829428
2169
65
2170
29
2171
0
2172
49
2173
38.411119319868206
2174
45.59004634612636
2175
75
2176
37
2177
0
2178
55
2179
0
2180
0
2181
1
2182
1
2183
0
2184
1
2185
0
2186
0
2187
0
2188
80.00904598165867
2189
92.08920485539367
2190
31
2191
52
2192
1
2193
50
2194
58.279372170540626
2195
62.618076363085564
2196
69
2197
73
2198
0
2199
57
2200
76.88061576703387
2201
62.764993933796056
2202
70
2203
36
2204
1
2205
14
2206
1
2207
1
2208
0
2209
0
2210
0
2211
0
2212
1
2213
1
2214
1
2215
92.86618951081482
2216
46.14921600037265
2217
96
2218
24
2219
0
2220
53
2221
94.7203036788268
2222
76.67374971414831
2223
31
2224
79
2225
0
2226
5
2227
88.56727616542724
2228
45.391189451479505
2229
65
2230
63
2231
0
2232
13
2233
1
2234
1
2235
0
2236
1
2237
0
2238
1
2239
0
2240
1
2241
0
2242
32.5255722547458
2243
70.95791528978381
2244
31
2245
89
2246
1
2247
48
2248
40.43364713930271
2249
88.30919973624047
2250
46
2251
43
2252
1
2253
27
2254
88.85938336616024
2255
10.695131695191106
2256
81
2257
43
2258
1
2259
1
2260
0
2261
1
2262
1
2263
0
2264
0
2265
0
2266
0
2267
1
2268
1
2269
19.962426883570917
2270
68.79409134009778
2271
33
2272
34
2273
0
2274
85
2275
54.63117001660902
2276
49.39687041358478
2277
58
2278
11
2279
0
2280
17
2281
24.148768897443883
2282
93.94795145447043
2283
12
2284
9
2285
1
2286
57
2287
1
2288
0
2289
1
2290
0
2291
1
2292
0
2293
0
2294
1
2295
1
2296
53.58834621878002
2297
62.784687323155566
2298
49
2299
43
2300
1
2301
69
2302
26.359543916497643
2303
22.58578846185012
2304
28
2305
39
2306
1
2307
83
2308
31.557559312784246
2309
5.221383945043634
2310
17
2311
89
2312
1
2313
15
2314
0
2315
1
2316
1
2317
0
2318
1
2319
0
2320
1
2321
1
2322
0
2323
54.14542977329533
2324
23.225617111106956
2325
47
2326
56
2327
1
2328
83
2329
61.73985949437024
2330
76.61727903285231
2331
10
2332
41
2333
1
2334
13
2335
25.670007796608797
2336
77.25398611774298
2337
8
2338
64
2339
1
2340
4
2341
0
2342
0
2343
0
2344
0
2345
1
2346
0
2347
0
2348
1
2349
0
2350
66.84173439272458
2351
3.143500921284792
2352
73
2353
26
2354
0
2355
57
2356
5.541277340498752
2357
79.35279554225006
2358
77
2359
94
2360
0
2361
55
2362
13.124059548528965
2363
4.567260109329174
2364
17
2365
34
2366
0
2367
89
2368
0
2369
1
2370
0
2371
1
2372
0
2373
0
2374
0
2375
0
2376
0
2377
17.704940494057418
2378
60.818376703213
2379
17
2380
72
2381
0
2382
45
2383
85.85698095635468
2384
11.603825485445107
2385
10
2386
58
2387
1
2388
68
2389
58.7017084093716
2390
14.990290464743039
2391
21
2392
98
2393
0
2394
87
2395
1
2396
0
2397
1
2398
1
2399
1
2400
1
2401
1
2402
0
2403
0
2404
40.11778744775694
2405
87.69157750696867
2406
47
2407
37
2408
1
2409
62
2410
69.88167278234182
2411
10.14545604663878
2412
2
2413
90
2414
0
2415
87
2416
24.704905460500314
2417
93.95142065053858
2418
53
2419
19
2420
1
2421
6
2422
1
2423
0
2424
1
2425
1
2426
1
2427
0
2428
1
2429
0
2430
0
2431
40.28109877198423
2432
65.74102746675973
2433
50
2434
49
2435
0
2436
89
2437
91.34316988300723
2438
70.08882634892765
2439
74
2440
79
2441
1
2442
7
2443
69.6091956405816
2444
19.846122883399186
2445
86
2446
35
2447
0
2448
86
2449
0
2450
0
2451
1
2452
1
2453
0
2454
0
2455
0
2456
0
2457
1
2458
94.8849036842217
2459
69.49827430501702
2460
29
2461
56
2462
1
2463
60
2464
23.032199666541477
2465
1.6008082551241642
2466
2
2467
8
2468
0
2469
97
2470
57.37108495229564
2471
16.148355623400555
2472
48
2473
35
2474
1
2475
19
2476
1
2477
0
2478
0
2479
0
2480
1
2481
1
2482
1
2483
1
2484
1
2485
33.98480679581913
2486
51.207685064384144
2487
48
2488
17
2489
0
2490
36
2491
98.69422691337203
2492
97.11934748052956
2493
85
2494
70
2495
1
2496
14
2497
54.30720921101786
2498
7.28985928535173
2499
75
2500
90
2501
1
2502
34
2503
1
2504
0
2505
1
2506
0
2507
0
2508
1
2509
0
2510
0
2511
0
2512
4.6066404639962695
2513
49.59438885128306
2514
13
2515
97
2516
1
2517
12
2518
80.9307604980774
2519
25.0372188190901
2520
97
2521
38
2522
1
2523
53
2524
96.68759115789972
2525
85.31861974555136
2526
9
2527
89
2528
1
2529
24
2530
1
2531
0
2532
1
2533
1
2534
0
2535
0
2536
1
2537
0
2538
1
2539
88.56320491776835
2540
58.90010277241239
2541
98
2542
94
2543
0
2544
42
2545
4.200833811060589
2546
2.817016456604615
2547
43
2548
48
2549
0
2550
76
2551
66.6563090613121
2552
17.544115627391044
2553
67
2554
2
2555
0
2556
61
2557
0
2558
0
2559
1
2560
0
2561
0
2562
0
2563
1
2564
0
2565
0
2566
69.24520497452855
2567
54.28545296845849
2568
30
2569
91
2570
1
2571
83
2572
73.80481584591656
2573
25.965903304206407
2574
6
2575
52
2576
0
2577
41
2578
49.38084525045158
2579
1.1543088190964057
2580
89
2581
63
2582
0
2583
47
2584
0
2585
0
2586
1
2587
1
2588
1
2589
1
2590
0
2591
0
2592
1
2593
9.540121910890742
2594
9.923824459976327
2595
16
2596
93
2597
0
2598
88
2599
17.03853052131864
2600
77.6960265254929
2601
84
2602
61
2603
1
2604
31
2605
76.38703603899356
2606
11.59986558814211
2607
84
2608
51
2609
0
2610
8
2611
0
2612
0
2613
1
2614
1
2615
0
2616
1
2617
0
2618
1
2619
0
2620
74.03519419046242
2621
89.59227007257672
2622
77
2623
34
2624
0
2625
89
2626
34.481587026296346
2627
29.664376800483062
2628
83
2629
87
2630
1
2631
50
2632
95.52733337387933
2633
45.78101371323626
2634
65
2635
73
2636
1
2637
12
2638
0
2639
1
2640
0
2641
0
2642
1
2643
0
2644
0
2645
0
2646
1
2647
64.98274336591375
2648
92.38783652161916
2649
20
2650
29
2651
0
2652
91
2653
41.46473234216671
2654
58.16399724333139
2655
4
2656
82
2657
1
2658
43
2659
26.100035435099855
2660
86.8179209967848
2661
53
2662
94
2663
0
2664
98
2665
1
2666
1
2667
0
2668
0
2669
1
2670
0
2671
1
2672
0
2673
1
2674
54.92795700607951
2675
2.0689349556406
2676
66
2677
7
2678
1
2679
31
2680
31.83297401934151
2681
8.47852817564424
2682
60
2683
28
2684
1
2685
70
2686
96.5650775029682
2687
24.628296889130873
2688
58
2689
89
2690
1
2691
8
2692
0
2693
0
2694
0
2695
1
2696
0
2697
1
2698
1
2699
0
2700
1