Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_logic_expand_2_test / logic_expand_2_test_logic_expand_2_test_input_values @ 0c9457a0

History | View | Annotate | Download (7.23 KB)

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