Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_sum_collapse_bool_test / sum_collapse_bool_test_sum_collapse_bool_test_input_values @ 0c9457a0

History | View | Annotate | Download (9.1 KB)

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