Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_sum_collapse_int_test / sum_collapse_int_test_sum_collapse_int_test_input_values @ 0c9457a0

History | View | Annotate | Download (9.07 KB)

1
74
2
74
3
34
4
57
5
50
6
55
7
38
8
6
9
0
10
74
11
32
12
0
13
80
14
12
15
85
16
84
17
62
18
38
19
19
20
37
21
18
22
74
23
98
24
76
25
73
26
94
27
54
28
69
29
26
30
4
31
73
32
51
33
77
34
25
35
66
36
31
37
45
38
75
39
7
40
56
41
97
42
11
43
8
44
55
45
2
46
73
47
44
48
67
49
89
50
21
51
41
52
87
53
51
54
46
55
78
56
37
57
37
58
64
59
64
60
51
61
9
62
66
63
91
64
29
65
40
66
71
67
26
68
42
69
72
70
96
71
34
72
82
73
34
74
91
75
88
76
13
77
61
78
22
79
6
80
67
81
41
82
2
83
37
84
33
85
61
86
0
87
84
88
81
89
24
90
83
91
33
92
14
93
4
94
4
95
81
96
69
97
87
98
10
99
66
100
60
101
15
102
68
103
29
104
57
105
80
106
90
107
47
108
54
109
32
110
25
111
73
112
1
113
90
114
80
115
67
116
27
117
98
118
92
119
97
120
4
121
65
122
35
123
10
124
18
125
77
126
9
127
50
128
13
129
64
130
87
131
80
132
23
133
42
134
13
135
69
136
12
137
74
138
43
139
59
140
50
141
80
142
5
143
30
144
0
145
21
146
81
147
4
148
5
149
40
150
34
151
42
152
48
153
45
154
55
155
26
156
59
157
81
158
0
159
4
160
29
161
21
162
49
163
13
164
56
165
20
166
22
167
71
168
47
169
8
170
99
171
76
172
85
173
97
174
78
175
69
176
61
177
41
178
22
179
16
180
75
181
84
182
90
183
65
184
95
185
39
186
88
187
42
188
88
189
40
190
15
191
18
192
27
193
17
194
37
195
28
196
7
197
46
198
11
199
13
200
59
201
26
202
70
203
79
204
3
205
27
206
88
207
42
208
59
209
34
210
38
211
22
212
4
213
29
214
69
215
3
216
49
217
39
218
17
219
61
220
23
221
62
222
90
223
64
224
37
225
16
226
39
227
75
228
68
229
28
230
4
231
77
232
99
233
37
234
51
235
36
236
99
237
54
238
15
239
94
240
46
241
16
242
6
243
66
244
54
245
17
246
70
247
9
248
45
249
5
250
47
251
28
252
7
253
2
254
11
255
37
256
47
257
11
258
2
259
50
260
83
261
50
262
1
263
29
264
80
265
48
266
11
267
18
268
51
269
9
270
56
271
27
272
35
273
80
274
38
275
14
276
39
277
70
278
5
279
97
280
7
281
2
282
42
283
39
284
23
285
82
286
52
287
47
288
52
289
44
290
44
291
46
292
40
293
24
294
71
295
30
296
97
297
15
298
62
299
26
300
37
301
89
302
45
303
62
304
97
305
93
306
61
307
99
308
64
309
77
310
50
311
21
312
36
313
89
314
89
315
72
316
16
317
16
318
79
319
81
320
49
321
98
322
38
323
62
324
23
325
33
326
36
327
41
328
22
329
3
330
51
331
91
332
95
333
70
334
20
335
40
336
1
337
35
338
69
339
11
340
74
341
29
342
1
343
3
344
75
345
34
346
21
347
70
348
55
349
40
350
50
351
59
352
52
353
78
354
59
355
59
356
87
357
14
358
46
359
37
360
72
361
63
362
19
363
14
364
55
365
0
366
32
367
3
368
82
369
51
370
67
371
78
372
71
373
68
374
74
375
9
376
20
377
50
378
42
379
3
380
98
381
64
382
60
383
49
384
72
385
38
386
9
387
41
388
26
389
11
390
76
391
29
392
50
393
31
394
58
395
42
396
42
397
42
398
85
399
81
400
28
401
72
402
90
403
35
404
60
405
56
406
2
407
66
408
60
409
63
410
72
411
91
412
62
413
46
414
5
415
75
416
22
417
65
418
0
419
3
420
95
421
96
422
54
423
59
424
53
425
87
426
3
427
28
428
32
429
81
430
19
431
48
432
60
433
62
434
52
435
99
436
5
437
90
438
19
439
25
440
14
441
64
442
54
443
83
444
47
445
11
446
86
447
85
448
80
449
79
450
70
451
89
452
53
453
96
454
40
455
21
456
20
457
28
458
95
459
79
460
69
461
33
462
91
463
86
464
81
465
37
466
25
467
9
468
18
469
62
470
15
471
76
472
79
473
74
474
20
475
19
476
45
477
3
478
69
479
7
480
22
481
49
482
37
483
96
484
57
485
88
486
70
487
81
488
23
489
17
490
77
491
44
492
61
493
42
494
83
495
73
496
52
497
62
498
55
499
98
500
90
501
76
502
53
503
45
504
42
505
10
506
76
507
94
508
28
509
54
510
0
511
89
512
63
513
97
514
17
515
80
516
3
517
96
518
5
519
14
520
75
521
34
522
42
523
74
524
72
525
40
526
61
527
27
528
64
529
4
530
48
531
66
532
87
533
11
534
13
535
58
536
56
537
5
538
80
539
33
540
0
541
48
542
17
543
35
544
39
545
37
546
64
547
84
548
47
549
20
550
28
551
27
552
51
553
8
554
46
555
94
556
46
557
18
558
72
559
67
560
13
561
19
562
48
563
76
564
11
565
80
566
15
567
22
568
16
569
27
570
57
571
51
572
36
573
4
574
22
575
13
576
18
577
49
578
60
579
49
580
57
581
56
582
75
583
86
584
0
585
46
586
85
587
28
588
10
589
29
590
72
591
28
592
36
593
16
594
37
595
76
596
88
597
11
598
92
599
29
600
6
601
58
602
58
603
69
604
2
605
59
606
98
607
48
608
74
609
92
610
53
611
46
612
93
613
91
614
2
615
38
616
17
617
0
618
66
619
90
620
2
621
1
622
53
623
28
624
41
625
77
626
69
627
23
628
16
629
40
630
6
631
35
632
43
633
24
634
92
635
74
636
24
637
61
638
38
639
62
640
20
641
37
642
89
643
8
644
35
645
14
646
17
647
3
648
90
649
30
650
46
651
43
652
36
653
70
654
15
655
90
656
90
657
20
658
88
659
40
660
93
661
95
662
79
663
51
664
6
665
20
666
59
667
27
668
24
669
57
670
8
671
44
672
78
673
63
674
14
675
62
676
67
677
77
678
28
679
69
680
24
681
45
682
28
683
1
684
45
685
35
686
11
687
77
688
65
689
53
690
23
691
76
692
61
693
43
694
38
695
67
696
88
697
6
698
50
699
27
700
88
701
13
702
94
703
90
704
39
705
43
706
12
707
21
708
72
709
84
710
91
711
0
712
83
713
52
714
9
715
17
716
50
717
34
718
47
719
75
720
86
721
38
722
6
723
43
724
13
725
77
726
35
727
78
728
0
729
39
730
70
731
71
732
45
733
55
734
58
735
60
736
64
737
19
738
49
739
40
740
36
741
22
742
23
743
44
744
53
745
83
746
85
747
50
748
61
749
73
750
21
751
31
752
84
753
1
754
41
755
16
756
85
757
61
758
98
759
48
760
50
761
18
762
98
763
6
764
59
765
0
766
2
767
39
768
80
769
62
770
70
771
96
772
97
773
33
774
67
775
52
776
92
777
23
778
36
779
84
780
71
781
5
782
88
783
21
784
99
785
18
786
31
787
60
788
45
789
10
790
84
791
81
792
55
793
27
794
84
795
33
796
38
797
72
798
25
799
41
800
64
801
0
802
2
803
16
804
73
805
19
806
23
807
22
808
36
809
7
810
25
811
68
812
52
813
41
814
84
815
69
816
88
817
83
818
5
819
50
820
84
821
46
822
75
823
33
824
50
825
42
826
46
827
15
828
34
829
82
830
27
831
68
832
22
833
62
834
31
835
69
836
74
837
33
838
35
839
57
840
28
841
99
842
93
843
46
844
60
845
11
846
25
847
90
848
90
849
86
850
7
851
95
852
36
853
23
854
77
855
60
856
75
857
72
858
20
859
81
860
59
861
15
862
45
863
30
864
61
865
67
866
42
867
51
868
41
869
70
870
83
871
38
872
92
873
59
874
11
875
73
876
58
877
73
878
12
879
46
880
1
881
70
882
80
883
38
884
60
885
86
886
53
887
78
888
43
889
20
890
52
891
71
892
33
893
71
894
1
895
0
896
90
897
95
898
31
899
33
900
70
901
76
902
40
903
55
904
1
905
4
906
60
907
26
908
60
909
56
910
99
911
8
912
30
913
63
914
81
915
63
916
51
917
43
918
67
919
55
920
98
921
94
922
7
923
88
924
3
925
14
926
89
927
35
928
32
929
87
930
29
931
7
932
21
933
61
934
84
935
85
936
34
937
13
938
36
939
36
940
17
941
55
942
40
943
92
944
45
945
74
946
61
947
88
948
15
949
26
950
59
951
3
952
19
953
19
954
92
955
52
956
95
957
80
958
36
959
37
960
16
961
81
962
5
963
50
964
62
965
38
966
69
967
44
968
7
969
62
970
30
971
72
972
48
973
68
974
86
975
50
976
32
977
10
978
50
979
47
980
66
981
14
982
33
983
75
984
82
985
46
986
37
987
40
988
79
989
80
990
38
991
84
992
4
993
52
994
74
995
22
996
77
997
18
998
10
999
76
1000
21
1001
59
1002
87
1003
93
1004
54
1005
77
1006
49
1007
38
1008
54
1009
79
1010
93
1011
72
1012
81
1013
96
1014
25
1015
33
1016
40
1017
79
1018
91
1019
36
1020
76
1021
32
1022
75
1023
34
1024
79
1025
97
1026
89
1027
94
1028
82
1029
19
1030
11
1031
33
1032
80
1033
77
1034
83
1035
56
1036
12
1037
67
1038
97
1039
85
1040
60
1041
2
1042
45
1043
60
1044
8
1045
44
1046
84
1047
42
1048
64
1049
94
1050
78
1051
71
1052
83
1053
18
1054
67
1055
13
1056
10
1057
93
1058
30
1059
6
1060
4
1061
27
1062
80
1063
67
1064
38
1065
3
1066
69
1067
41
1068
28
1069
2
1070
39
1071
85
1072
56
1073
97
1074
28
1075
38
1076
39
1077
18
1078
25
1079
86
1080
26
1081
64
1082
13
1083
74
1084
14
1085
78
1086
22
1087
80
1088
8
1089
73
1090
89
1091
52
1092
5
1093
43
1094
69
1095
27
1096
25
1097
5
1098
18
1099
79
1100
59
1101
34
1102
97
1103
99
1104
81
1105
50
1106
31
1107
71
1108
70
1109
49
1110
12
1111
89
1112
31
1113
36
1114
93
1115
52
1116
94
1117
98
1118
9
1119
54
1120
30
1121
33
1122
85
1123
45
1124
71
1125
67
1126
55
1127
27
1128
81
1129
24
1130
6
1131
58
1132
89
1133
54
1134
77
1135
71
1136
20
1137
33
1138
77
1139
55
1140
65
1141
46
1142
53
1143
40
1144
58
1145
22
1146
21
1147
42
1148
47
1149
92
1150
67
1151
49
1152
31
1153
75
1154
47
1155
24
1156
59
1157
67
1158
48
1159
52
1160
13
1161
11
1162
4
1163
7
1164
74
1165
52
1166
22
1167
65
1168
4
1169
68
1170
31
1171
53
1172
88
1173
73
1174
64
1175
33
1176
12
1177
71
1178
34
1179
91
1180
85
1181
9
1182
16
1183
92
1184
27
1185
1
1186
62
1187
18
1188
98
1189
86
1190
42
1191
91
1192
1
1193
54
1194
73
1195
90
1196
2
1197
2
1198
4
1199
5
1200
66
1201
1
1202
93
1203
41
1204
31
1205
54
1206
77
1207
49
1208
44
1209
18
1210
92
1211
52
1212
8
1213
49
1214
88
1215
63
1216
51
1217
14
1218
39
1219
14
1220
94
1221
49
1222
40
1223
14
1224
38
1225
50
1226
89
1227
54
1228
12
1229
52
1230
19
1231
40
1232
61
1233
99
1234
3
1235
20
1236
21
1237
9
1238
77
1239
45
1240
62
1241
75
1242
35
1243
60
1244
87
1245
4
1246
35
1247
77
1248
46
1249
30
1250
50
1251
33
1252
8
1253
84
1254
70
1255
66
1256
75
1257
61
1258
39
1259
43
1260
78
1261
16
1262
3
1263
12
1264
25
1265
23
1266
96
1267
94
1268
32
1269
53
1270
11
1271
91
1272
39
1273
70
1274
98
1275
24
1276
20
1277
1
1278
13
1279
64
1280
93
1281
2
1282
22
1283
54
1284
16
1285
47
1286
81
1287
12
1288
21
1289
13
1290
60
1291
78
1292
67
1293
32
1294
4
1295
6
1296
3
1297
15
1298
76
1299
14
1300
98
1301
87
1302
19
1303
41
1304
78
1305
56
1306
30
1307
59
1308
69
1309
13
1310
3
1311
11
1312
91
1313
48
1314
76
1315
11
1316
49
1317
42
1318
23
1319
46
1320
75
1321
94
1322
16
1323
39
1324
78
1325
97
1326
83
1327
91
1328
74
1329
69
1330
81
1331
97
1332
4
1333
47
1334
33
1335
93
1336
96
1337
52
1338
98
1339
70
1340
12
1341
44
1342
39
1343
98
1344
28
1345
99
1346
48
1347
60
1348
29
1349
0
1350
66
1351
54
1352
69
1353
78
1354
42
1355
61
1356
48
1357
71
1358
15
1359
45
1360
75
1361
17
1362
13
1363
58
1364
87
1365
85
1366
1
1367
45
1368
16
1369
6
1370
71
1371
72
1372
35
1373
74
1374
47
1375
37
1376
93
1377
88
1378
10
1379
98
1380
15
1381
38
1382
44
1383
42
1384
4
1385
55
1386
75
1387
41
1388
14
1389
94
1390
68
1391
33
1392
89
1393
29
1394
17
1395
57
1396
21
1397
32
1398
27
1399
59
1400
63
1401
6
1402
49
1403
90
1404
87
1405
47
1406
18
1407
16
1408
61
1409
29
1410
89
1411
88
1412
50
1413
4
1414
39
1415
56
1416
83
1417
84
1418
39
1419
62
1420
78
1421
77
1422
38
1423
8
1424
33
1425
11
1426
72
1427
16
1428
11
1429
30
1430
44
1431
97
1432
28
1433
29
1434
23
1435
64
1436
28
1437
74
1438
52
1439
43
1440
57
1441
61
1442
61
1443
35
1444
32
1445
62
1446
46
1447
83
1448
43
1449
14
1450
25
1451
73
1452
21
1453
58
1454
57
1455
60
1456
41
1457
86
1458
35
1459
0
1460
5
1461
29
1462
38
1463
82
1464
91
1465
74
1466
22
1467
89
1468
22
1469
48
1470
50
1471
86
1472
76
1473
8
1474
72
1475
19
1476
19
1477
23
1478
26
1479
34
1480
91
1481
55
1482
34
1483
77
1484
31
1485
79
1486
53
1487
7
1488
28
1489
87
1490
86
1491
32
1492
34
1493
82
1494
67
1495
77
1496
53
1497
66
1498
54
1499
42
1500
49
1501
49
1502
42
1503
29
1504
66
1505
91
1506
8
1507
83
1508
17
1509
41
1510
81
1511
63
1512
71
1513
93
1514
49
1515
31
1516
48
1517
37
1518
95
1519
64
1520
71
1521
96
1522
92
1523
86
1524
76
1525
96
1526
82
1527
32
1528
73
1529
35
1530
26
1531
46
1532
1
1533
25
1534
98
1535
12
1536
92
1537
92
1538
93
1539
80
1540
92
1541
82
1542
36
1543
69
1544
0
1545
44
1546
24
1547
22
1548
16
1549
43
1550
26
1551
14
1552
24
1553
63
1554
58
1555
2
1556
18
1557
69
1558
31
1559
6
1560
31
1561
91
1562
3
1563
45
1564
90
1565
55
1566
13
1567
91
1568
98
1569
57
1570
69
1571
65
1572
33
1573
34
1574
28
1575
71
1576
81
1577
82
1578
12
1579
27
1580
2
1581
58
1582
45
1583
15
1584
71
1585
0
1586
48
1587
17
1588
7
1589
43
1590
26
1591
54
1592
28
1593
53
1594
61
1595
40
1596
43
1597
53
1598
11
1599
26
1600
50
1601
22
1602
66
1603
54
1604
28
1605
11
1606
44
1607
35
1608
87
1609
41
1610
96
1611
62
1612
36
1613
47
1614
22
1615
81
1616
43
1617
93
1618
57
1619
50
1620
69
1621
43
1622
44
1623
94
1624
20
1625
78
1626
7
1627
83
1628
74
1629
89
1630
44
1631
5
1632
94
1633
70
1634
64
1635
77
1636
77
1637
35
1638
92
1639
60
1640
17
1641
24
1642
22
1643
14
1644
52
1645
96
1646
49
1647
86
1648
76
1649
32
1650
90
1651
82
1652
42
1653
29
1654
75
1655
77
1656
49
1657
49
1658
66
1659
69
1660
69
1661
48
1662
0
1663
80
1664
26
1665
40
1666
57
1667
43
1668
0
1669
11
1670
4
1671
30
1672
27
1673
84
1674
75
1675
19
1676
48
1677
13
1678
88
1679
13
1680
95
1681
32
1682
95
1683
17
1684
75
1685
88
1686
81
1687
51
1688
34
1689
62
1690
30
1691
83
1692
14
1693
29
1694
7
1695
40
1696
21
1697
67
1698
2
1699
7
1700
56
1701
91
1702
68
1703
53
1704
30
1705
11
1706
10
1707
66
1708
58
1709
24
1710
16
1711
85
1712
75
1713
93
1714
47
1715
50
1716
65
1717
33
1718
73
1719
80
1720
28
1721
21
1722
98
1723
88
1724
87
1725
58
1726
94
1727
11
1728
3
1729
80
1730
18
1731
38
1732
15
1733
71
1734
5
1735
81
1736
70
1737
99
1738
33
1739
83
1740
99
1741
63
1742
34
1743
52
1744
24
1745
24
1746
99
1747
13
1748
34
1749
49
1750
23
1751
28
1752
81
1753
79
1754
19
1755
65
1756
81
1757
97
1758
4
1759
22
1760
1
1761
73
1762
67
1763
55
1764
95
1765
31
1766
62
1767
33
1768
29
1769
63
1770
21
1771
25
1772
3
1773
15
1774
1
1775
97
1776
75
1777
92
1778
82
1779
27
1780
59
1781
89
1782
23
1783
35
1784
20
1785
90
1786
97
1787
46
1788
0
1789
75
1790
48
1791
65
1792
54
1793
89
1794
94
1795
4
1796
98
1797
58
1798
14
1799
59
1800
85
1801
88
1802
9
1803
88
1804
50
1805
32
1806
81
1807
40
1808
55
1809
89
1810
58
1811
84
1812
0
1813
20
1814
98
1815
41
1816
30
1817
9
1818
11
1819
61
1820
32
1821
59
1822
44
1823
13
1824
46
1825
36
1826
43
1827
89
1828
54
1829
9
1830
23
1831
34
1832
66
1833
25
1834
11
1835
57
1836
84
1837
66
1838
90
1839
41
1840
41
1841
40
1842
29
1843
79
1844
44
1845
29
1846
58
1847
50
1848
98
1849
97
1850
90
1851
13
1852
9
1853
51
1854
64
1855
32
1856
46
1857
51
1858
81
1859
31
1860
84
1861
60
1862
4
1863
46
1864
63
1865
26
1866
48
1867
48
1868
57
1869
32
1870
32
1871
72
1872
48
1873
39
1874
15
1875
85
1876
97
1877
51
1878
41
1879
90
1880
77
1881
32
1882
62
1883
68
1884
63
1885
17
1886
14
1887
4
1888
78
1889
85
1890
5
1891
45
1892
1
1893
2
1894
2
1895
3
1896
16
1897
75
1898
19
1899
72
1900
81
1901
71
1902
80
1903
97
1904
33
1905
20
1906
69
1907
65
1908
62
1909
39
1910
78
1911
77
1912
42
1913
21
1914
98
1915
82
1916
98
1917
46
1918
67
1919
91
1920
92
1921
86
1922
3
1923
52
1924
31
1925
5
1926
79
1927
30
1928
34
1929
93
1930
85
1931
14
1932
0
1933
3
1934
88
1935
80
1936
39
1937
39
1938
55
1939
76
1940
2
1941
97
1942
13
1943
11
1944
29
1945
56
1946
83
1947
44
1948
1
1949
42
1950
28
1951
67
1952
70
1953
7
1954
38
1955
88
1956
95
1957
87
1958
5
1959
1
1960
76
1961
59
1962
38
1963
5
1964
69
1965
24
1966
2
1967
85
1968
62
1969
66
1970
37
1971
29
1972
31
1973
84
1974
62
1975
84
1976
59
1977
98
1978
97
1979
86
1980
62
1981
5
1982
72
1983
26
1984
28
1985
42
1986
3
1987
8
1988
80
1989
21
1990
62
1991
49
1992
54
1993
93
1994
73
1995
26
1996
50
1997
49
1998
49
1999
68
2000
63
2001
87
2002
14
2003
21
2004
11
2005
61
2006
33
2007
16
2008
99
2009
90
2010
39
2011
79
2012
35
2013
26
2014
67
2015
78
2016
5
2017
78
2018
93
2019
56
2020
96
2021
15
2022
16
2023
62
2024
29
2025
16
2026
63
2027
60
2028
13
2029
12
2030
81
2031
57
2032
21
2033
38
2034
23
2035
71
2036
19
2037
89
2038
74
2039
99
2040
62
2041
76
2042
50
2043
99
2044
62
2045
82
2046
73
2047
1
2048
97
2049
28
2050
93
2051
90
2052
2
2053
40
2054
14
2055
60
2056
93
2057
6
2058
84
2059
56
2060
71
2061
19
2062
46
2063
16
2064
16
2065
73
2066
31
2067
52
2068
51
2069
74
2070
30
2071
77
2072
23
2073
96
2074
5
2075
16
2076
89
2077
1
2078
62
2079
93
2080
37
2081
13
2082
83
2083
95
2084
30
2085
49
2086
88
2087
7
2088
16
2089
37
2090
35
2091
18
2092
5
2093
47
2094
12
2095
9
2096
49
2097
78
2098
99
2099
4
2100
19
2101
76
2102
92
2103
39
2104
55
2105
51
2106
57
2107
47
2108
85
2109
59
2110
79
2111
36
2112
0
2113
70
2114
67
2115
33
2116
31
2117
26
2118
31
2119
8
2120
84
2121
33
2122
10
2123
77
2124
61
2125
55
2126
68
2127
44
2128
16
2129
68
2130
95
2131
45
2132
39
2133
97
2134
92
2135
79
2136
16
2137
0
2138
54
2139
54
2140
70
2141
64
2142
6
2143
92
2144
23
2145
31
2146
64
2147
12
2148
58
2149
27
2150
45
2151
29
2152
29
2153
68
2154
14
2155
9
2156
24
2157
41
2158
20
2159
53
2160
92
2161
31
2162
59
2163
90
2164
87
2165
35
2166
46
2167
82
2168
93
2169
91
2170
56
2171
41
2172
24
2173
71
2174
41
2175
20
2176
45
2177
74
2178
22
2179
87
2180
28
2181
52
2182
44
2183
67
2184
58
2185
68
2186
46
2187
31
2188
82
2189
55
2190
82
2191
84
2192
21
2193
0
2194
74
2195
21
2196
55
2197
35
2198
90
2199
37
2200
67
2201
57
2202
30
2203
43
2204
23
2205
69
2206
11
2207
79
2208
10
2209
13
2210
51
2211
51
2212
67
2213
20
2214
79
2215
35
2216
47
2217
88
2218
52
2219
91
2220
66
2221
46
2222
53
2223
46
2224
99
2225
62
2226
57
2227
98
2228
7
2229
33
2230
20
2231
42
2232
32
2233
8
2234
89
2235
85
2236
7
2237
14
2238
4
2239
55
2240
35
2241
63
2242
61
2243
35
2244
96
2245
13
2246
98
2247
91
2248
5
2249
85
2250
56
2251
28
2252
66
2253
58
2254
25
2255
29
2256
27
2257
89
2258
31
2259
30
2260
74
2261
12
2262
69
2263
26
2264
80
2265
34
2266
56
2267
6
2268
51
2269
78
2270
92
2271
55
2272
47
2273
0
2274
41
2275
16
2276
27
2277
69
2278
89
2279
48
2280
59
2281
42
2282
27
2283
94
2284
25
2285
66
2286
3
2287
34
2288
49
2289
41
2290
77
2291
49
2292
46
2293
50
2294
76
2295
42
2296
30
2297
55
2298
84
2299
11
2300
53
2301
96
2302
12
2303
47
2304
91
2305
57
2306
78
2307
30
2308
68
2309
64
2310
60
2311
71
2312
30
2313
67
2314
45
2315
34
2316
86
2317
60
2318
93
2319
74
2320
64
2321
87
2322
23
2323
30
2324
65
2325
17
2326
29
2327
20
2328
38
2329
65
2330
93
2331
60
2332
43
2333
29
2334
54
2335
47
2336
94
2337
36
2338
81
2339
71
2340
95
2341
72
2342
56
2343
90
2344
89
2345
44
2346
14
2347
80
2348
27
2349
70
2350
45
2351
19
2352
76
2353
6
2354
48
2355
94
2356
44
2357
78
2358
12
2359
66
2360
57
2361
14
2362
55
2363
4
2364
31
2365
17
2366
36
2367
27
2368
4
2369
36
2370
30
2371
90
2372
4
2373
71
2374
95
2375
19
2376
0
2377
22
2378
89
2379
99
2380
74
2381
89
2382
21
2383
34
2384
9
2385
90
2386
1
2387
12
2388
7
2389
93
2390
41
2391
94
2392
62
2393
46
2394
13
2395
19
2396
19
2397
12
2398
1
2399
46
2400
50
2401
78
2402
80
2403
89
2404
54
2405
90
2406
3
2407
92
2408
20
2409
39
2410
83
2411
12
2412
12
2413
28
2414
23
2415
12
2416
68
2417
60
2418
90
2419
97
2420
51
2421
69
2422
64
2423
22
2424
25
2425
27
2426
43
2427
2
2428
40
2429
42
2430
1
2431
10
2432
47
2433
0
2434
60
2435
72
2436
39
2437
73
2438
79
2439
95
2440
72
2441
98
2442
84
2443
18
2444
74
2445
41
2446
90
2447
75
2448
61
2449
99
2450
82
2451
84
2452
62
2453
7
2454
26
2455
92
2456
11
2457
11
2458
91
2459
89
2460
86
2461
6
2462
96
2463
66
2464
0
2465
13
2466
54
2467
72
2468
41
2469
12
2470
43
2471
11
2472
5
2473
20
2474
79
2475
82
2476
34
2477
54
2478
7
2479
89
2480
71
2481
11
2482
98
2483
74
2484
29
2485
15
2486
61
2487
58
2488
84
2489
61
2490
3
2491
7
2492
89
2493
5
2494
38
2495
2
2496
92
2497
49
2498
89
2499
89
2500
14
2501
42
2502
59
2503
67
2504
62
2505
59
2506
53
2507
31
2508
29
2509
80
2510
80
2511
48
2512
82
2513
56
2514
22
2515
82
2516
99
2517
85
2518
67
2519
3
2520
14
2521
73
2522
48
2523
88
2524
57
2525
91
2526
39
2527
58
2528
15
2529
1
2530
2
2531
86
2532
52
2533
89
2534
63
2535
13
2536
27
2537
74
2538
69
2539
62
2540
62
2541
51
2542
19
2543
66
2544
63
2545
99
2546
13
2547
17
2548
74
2549
25
2550
27
2551
54
2552
55
2553
56
2554
17
2555
9
2556
54
2557
68
2558
48
2559
23
2560
50
2561
79
2562
13
2563
92
2564
96
2565
91
2566
48
2567
16
2568
45
2569
33
2570
17
2571
66
2572
11
2573
2
2574
6
2575
89
2576
97
2577
91
2578
64
2579
26
2580
9
2581
34
2582
25
2583
53
2584
83
2585
61
2586
19
2587
22
2588
36
2589
55
2590
72
2591
95
2592
20
2593
21
2594
33
2595
46
2596
6
2597
20
2598
57
2599
11
2600
15
2601
20
2602
91
2603
56
2604
15
2605
99
2606
55
2607
19
2608
28
2609
56
2610
91
2611
50
2612
95
2613
74
2614
17
2615
11
2616
77
2617
68
2618
2
2619
22
2620
35
2621
90
2622
63
2623
91
2624
66
2625
27
2626
19
2627
72
2628
38
2629
46
2630
41
2631
16
2632
6
2633
64
2634
35
2635
60
2636
94
2637
60
2638
49
2639
43
2640
49
2641
23
2642
37
2643
53
2644
54
2645
55
2646
36
2647
60
2648
37
2649
26
2650
73
2651
34
2652
50
2653
71
2654
5
2655
7
2656
71
2657
28
2658
67
2659
80
2660
28
2661
63
2662
70
2663
38
2664
93
2665
84
2666
18
2667
73
2668
75
2669
70
2670
40
2671
96
2672
7
2673
58
2674
35
2675
70
2676
4
2677
53
2678
56
2679
59
2680
44
2681
89
2682
1
2683
25
2684
83
2685
10
2686
90
2687
27
2688
80
2689
91
2690
8
2691
35
2692
80
2693
81
2694
56
2695
69
2696
64
2697
85
2698
88
2699
23
2700
39
2701
93
2702
13
2703
76
2704
95
2705
35
2706
73
2707
57
2708
94
2709
50
2710
35
2711
42
2712
85
2713
19
2714
54
2715
96
2716
20
2717
45
2718
10
2719
91
2720
99
2721
71
2722
87
2723
39
2724
74
2725
93
2726
21
2727
41
2728
16
2729
6
2730
37
2731
3
2732
67
2733
24
2734
70
2735
62
2736
8
2737
62
2738
54
2739
39
2740
69
2741
96
2742
84
2743
96
2744
85
2745
28
2746
67
2747
30
2748
34
2749
98
2750
2
2751
60
2752
99
2753
13
2754
92
2755
4
2756
13
2757
26
2758
10
2759
53
2760
45
2761
86
2762
4
2763
45
2764
9
2765
88
2766
21
2767
73
2768
66
2769
1
2770
39
2771
92
2772
79
2773
4
2774
39
2775
57
2776
63
2777
26
2778
21
2779
36
2780
17
2781
63
2782
81
2783
28
2784
57
2785
87
2786
66
2787
86
2788
95
2789
39
2790
12
2791
35
2792
41
2793
92
2794
37
2795
72
2796
26
2797
25
2798
45
2799
27
2800
14
2801
34
2802
12
2803
3
2804
37
2805
10
2806
28
2807
97
2808
79
2809
39
2810
80
2811
1
2812
70
2813
14
2814
51
2815
0
2816
84
2817
64
2818
30
2819
23
2820
70
2821
3
2822
90
2823
42
2824
30
2825
69
2826
10
2827
20
2828
22
2829
83
2830
17
2831
47
2832
44
2833
33
2834
28
2835
76
2836
30
2837
70
2838
40
2839
36
2840
6
2841
2
2842
79
2843
14
2844
3
2845
55
2846
36
2847
9
2848
49
2849
48
2850
36
2851
30
2852
92
2853
23
2854
24
2855
30
2856
52
2857
3
2858
17
2859
42
2860
9
2861
94
2862
44
2863
21
2864
22
2865
8
2866
4
2867
48
2868
56
2869
71
2870
77
2871
30
2872
3
2873
84
2874
99
2875
38
2876
68
2877
16
2878
44
2879
33
2880
94
2881
96
2882
59
2883
97
2884
71
2885
87
2886
58
2887
23
2888
6
2889
49
2890
39
2891
42
2892
83
2893
45
2894
75
2895
33
2896
6
2897
33
2898
11
2899
87
2900
22
2901
74
2902
17
2903
83
2904
59
2905
40
2906
79
2907
62
2908
15
2909
31
2910
11
2911
29
2912
42
2913
11
2914
48
2915
88
2916
0
2917
14
2918
12
2919
53
2920
84
2921
72
2922
43
2923
27
2924
0
2925
54
2926
67
2927
51
2928
88
2929
39
2930
43
2931
96
2932
24
2933
27
2934
15
2935
11
2936
33
2937
90
2938
13
2939
78
2940
79
2941
17
2942
66
2943
6
2944
46
2945
17
2946
6
2947
56
2948
75
2949
46
2950
90
2951
36
2952
91
2953
18
2954
50
2955
2
2956
31
2957
11
2958
77
2959
35
2960
15
2961
70
2962
57
2963
88
2964
89
2965
70
2966
54
2967
2
2968
65
2969
86
2970
79
2971
85
2972
80
2973
14
2974
31
2975
98
2976
25
2977
47
2978
71
2979
1
2980
72
2981
49
2982
69
2983
97
2984
86
2985
25
2986
32
2987
86
2988
26
2989
60
2990
0
2991
45
2992
35
2993
39
2994
8
2995
90
2996
38
2997
79
2998
85
2999
20
3000
0
3001
84
3002
13
3003
55
3004
21
3005
66
3006
40
3007
99
3008
44
3009
64
3010
84
3011
86
3012
3
3013
84
3014
16
3015
82
3016
5
3017
80
3018
64
3019
40
3020
83
3021
27
3022
47
3023
97
3024
41
3025
9
3026
58
3027
87
3028
72
3029
29
3030
73
3031
13
3032
61
3033
29
3034
20
3035
85
3036
79
3037
88
3038
40
3039
95
3040
46
3041
76
3042
8
3043
63
3044
84
3045
51
3046
47
3047
72
3048
29
3049
16
3050
40
3051
56
3052
48
3053
22
3054
20
3055
39
3056
16
3057
8
3058
56
3059
67
3060
17
3061
97
3062
87
3063
46
3064
85
3065
76
3066
68
3067
67
3068
19
3069
5
3070
27
3071
44
3072
55
3073
39
3074
89
3075
53
3076
22
3077
65
3078
18
3079
67
3080
70
3081
44
3082
61
3083
48
3084
55
3085
22
3086
59
3087
75
3088
29
3089
49
3090
74
3091
48
3092
6
3093
15
3094
80
3095
1
3096
83
3097
38
3098
13
3099
84
3100
79
3101
77
3102
89
3103
12
3104
92
3105
17
3106
92
3107
68
3108
43
3109
84
3110
93
3111
87
3112
74
3113
80
3114
62
3115
19
3116
53
3117
7
3118
94
3119
37
3120
51
3121
86
3122
39
3123
65
3124
23
3125
31
3126
23
3127
67
3128
87
3129
62
3130
22
3131
73
3132
80
3133
4
3134
3
3135
61
3136
12
3137
71
3138
68
3139
63
3140
89
3141
14
3142
56
3143
97
3144
11
3145
20
3146
33
3147
27
3148
34
3149
25
3150
35
3151
81
3152
50
3153
37
3154
84
3155
20
3156
48
3157
48
3158
28
3159
16
3160
38
3161
75
3162
88
3163
69
3164
74
3165
66
3166
39
3167
86
3168
8
3169
89
3170
67
3171
63
3172
70
3173
3
3174
0
3175
15
3176
17
3177
93
3178
2
3179
16
3180
22
3181
75
3182
4
3183
35
3184
19
3185
70
3186
92
3187
13
3188
61
3189
56
3190
71
3191
33
3192
43
3193
36
3194
50
3195
25
3196
5
3197
34
3198
47
3199
54
3200
74