0
0
x1
0
1
2
0
1
1
x1
0
0
x1
1
0
1
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
0
0
x1
0
0
1
1
0
x1
0
0
3
x1
0
3
1
0
1
1
x1
2
3
0
x1
2
1
0
1
1
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
3
0
4
x1
3
1
0
1
1
4
x1
5
0
3
x1
3
0
1
1
5
x1
5
0
3
x1
3
5
0
1
1
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
3
x1
0
1
2
3
4
x1
0
2
1
3
x1
2
0
1
3
4
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
2
5
4
x1
2
2
4
5
0
x1
0
2
5
4
x1
4
5
1
2
0
x1
0
4
1
0
x1
0
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
4
1
0
4
x1
4
0
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
5
5
0
4
x1
5
5
1
0
4
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
5
5
4
3
x1
3
4
5
5
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
2.2
0
0
x1
0
1
1
x1
3
0
0
3
x1
0
1
1
x1
0
2
1
5
3
x1
5
2
1
1
3
x1
4
2
3
5
4
x1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
0
0
1
3
x1
3
1
0
1
1
x1
0
0
2
4
x1
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
0
5
5
4
x1
0
x1
3
0
4
x1
3
1
0
1
1
4
x1
5
0
3
x1
3
5
0
1
1
x1
2
3
0
x1
3
x1
5
5
4
3
x1
5
5
1
x1
0
5
5
4
x1
5
1
0
x1
4
1
0
0
x1
0
1
1
4
1
x1
5
0
3
x1
0
1
1
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
1
3
x1
2
3
4
x1
0
0
2
4
x1
2
0
4
x1
0
0
0
4
x1
0
2
0
0
4
x1
3
2
1
4
x1
3
x1
0
0
x1
2
0
1
1
x1
0
4
1
0
x1
0
0
1
1
4
x1
0
0
2
4
x1
0
4
x1
0
2
3
0
x1
3
4
0
0
x1
0
2
1
3
x1
4
x1
0
5
5
4
x1
4
5
5
1
0
x1
0
2
1
3
x1
3
4
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
5
5
0
4
x1
5
1
0
4
x1
0
5
5
4
x1
5
5
1
0
x1
0
2
3
0
x1
0
1
2
3
0
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
5
5
4
3
x1
5
1
x1
0
2
1
3
x1
2
0
1
3
4
x1
0
2
1
3
x1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
0
0
x1
0
0
1
1
0
x1
2
5
1
0
4
x1
2
x1
2
3
0
0
x1
2
3
0
x1
3
0
5
0
x1
0
1
1
x1
0
2
5
4
x1
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
1
3
x1
0
1
1
x1
2
3
0
x1
0
1
1
3
x1
0
2
5
4
x1
0
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
5
0
3
x1
5
x1
4
1
4
4
0
x1
4
1
1
4
x1
5
1
0
3
x1
3
0
1
1
1
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
0
0
0
x1
0
1
1
0
x1
2
3
0
0
x1
3
0
x1
3
1
0
4
x1
3
4
0
x1
3
0
5
0
x1
3
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
3
0
2
0
x1
3
0
1
2
1
x1
3
2
1
4
x1
4
3
x1
5
5
0
4
x1
5
4
x1
0
2
5
4
x1
2
2
4
5
0
x1
4
4
5
0
0
x1
0
1
5
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
3
1
0
4
x1
0
x1
0
0
2
4
x1
0
2
2
0
4
x1
5
0
3
x1
5
0
1
1
x1
3
2
1
4
x1
2
4
3
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
4
4
0
x1
0
4
1
1
4
x1
4
2
5
0
4
x1
4
1
0
5
2
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
2
3
0
0
x1
2
1
3
0
x1
0
2
5
4
x1
2
0
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
4
4
5
0
0
x1
5
0
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
4
1
4
4
0
x1
4
x1
3
5
1
0
4
x1
0
1
1
4
x1
4
0
1
0
3
x1
0
3
0
1
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
4
2
3
5
4
x1
2
4
4
5
3
x1
0
2
5
4
x1
4
5
0
x1
3
0
5
0
x1
0
3
0
1
1
x1
0
2
5
4
x1
2
4
5
0
x1
0
2
5
2
3
x1
2
x1
3
2
1
4
x1
2
1
3
1
4
x1
0
2
5
4
x1
5
1
2
0
x1
3
1
0
0
x1
3
0
0
x1
2
3
0
x1
2
1
0
1
1
3
x1
0
2
1
3
x1
3
4
x1
3
0
2
0
x1
2
1
x1
5
1
0
3
x1
0
1
1
1
x1
3
0
0
x1
0
1
0
1
1
x1
3
0
4
0
x1
0
0
1
1
4
x1
3
0
0
x1
0
1
1
x1
4
0
1
0
3
x1
0
1
1
x1
4
2
5
0
4
x1
5
2
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
0
4
0
x1
0
1
1
4
x1
2
5
1
0
4
x1
4
2
x1
0
2
1
5
3
x1
2
1
1
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
0
0
x1
0
1
1
x1
4
2
3
5
4
x1
5
3
x1
5
5
0
4
x1
5
5
4
x1
3
2
1
4
x1
3
1
4
x1
4
2
5
0
4
x1
2
x1
3
0
0
3
x1
0
3
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
4
2
3
5
4
x1
4
5
3
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
x1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
3
0
4
x1
0
1
1
4
x1
2
3
0
0
x1
3
0
x1
4
1
0
4
x1
0
1
1
4
x1
0
2
5
2
3
x1
3
5
2
1
2
x1
4
2
5
0
4
x1
0
5
2
x1
0
2
5
2
3
x1
2
1
2
x1
0
2
1
4
x1
0
1
1
4
x1
0
2
3
0
x1
0
0
x1
4
0
1
0
3
x1
3
0
1
1
x1
3
0
2
0
x1
0
1
2
1
x1
3
5
1
0
4
x1
5
0
1
1
4
x1
4
2
3
5
4
x1
4
4
5
3
x1
4
1
0
0
x1
4
1
x1
3
0
0
3
x1
3
0
1
1
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
2
1
4
x1
2
2
4
3
x1
0
2
5
4
x1
5
0
x1
5
5
4
3
x1
4
5
5
1
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
3
1
0
4
x1
4
0
x1
0
0
x1
0
1
0
1
1
x1
0
4
1
0
x1
0
1
1
4
x1
0
2
3
0
x1
4
0
0
x1
0
0
0
4
x1
2
0
0
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
0
2
1
3
x1
0
1
3
4
x1
0
4
1
0
x1
4
x1
3
0
4
0
x1
4
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
3
0
x1
3
x1
0
0
3
x1
3
1
0
1
1
x1
0
0
3
x1
0
1
1
x1
2
5
1
0
4
x1
0
1
1
4
2
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
5
0
3
x1
0
1
1
5
x1
0
2
5
2
3
x1
5
2
1
2
x1
true
0
2
5
4
x1
2
4
5
0
x1
3
0
5
0
x1
0
3
0
1
1
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
0
2
5
4
x1
4
5
0
x1
4
2
3
5
4
x1
2
4
4
5
3
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
4
0
1
0
3
x1
0
3
0
1
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
4
1
4
4
0
x1
4
x1
3
0
x1
3
x1
4
4
5
0
0
x1
5
0
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
4
2
5
0
4
x1
4
1
0
5
2
x1
3
0
4
0
x1
4
x1
0
4
1
0
x1
4
x1
3
2
1
4
x1
2
4
3
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
0
0
4
x1
2
0
0
4
x1
3
1
0
4
x1
0
x1
0
2
3
0
x1
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
2
5
4
x1
2
2
4
5
0
x1
5
5
0
4
x1
5
4
x1
3
1
0
4
x1
4
0
x1
3
2
1
4
x1
4
3
x1
3
0
2
0
x1
3
0
1
2
1
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
3
0
5
0
x1
3
0
1
1
x1
3
1
0
4
x1
3
4
0
x1
5
5
4
3
x1
4
5
5
1
x1
0
2
5
4
x1
5
0
x1
2
3
0
0
x1
3
0
x1
3
2
1
4
x1
2
2
4
3
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
0
3
x1
3
0
1
1
x1
4
1
0
0
x1
4
1
x1
4
2
3
5
4
x1
4
4
5
3
x1
5
1
0
3
x1
3
0
1
1
1
x1
4
0
1
0
3
x1
3
0
1
1
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
5
0
3
x1
5
x1
0
2
3
0
x1
0
0
x1
4
2
5
0
4
x1
0
5
2
x1
0
2
5
4
x1
0
x1
0
2
5
4
x1
0
x1
2
3
0
0
x1
3
0
x1
2
3
0
0
x1
2
3
0
x1
2
5
1
0
4
x1
2
x1
5
5
0
4
x1
5
5
1
0
4
x1
0
2
1
3
x1
4
x1
4
2
3
5
4
x1
4
5
3
x1
0
2
1
3
x1
2
0
1
3
4
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
5
5
4
3
x1
5
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
5
5
0
4
x1
5
1
0
4
x1
0
5
5
4
x1
5
5
1
0
x1
3
0
0
3
x1
0
3
0
1
1
x1
0
5
5
4
x1
4
5
5
1
0
x1
0
2
1
3
x1
3
4
x1
4
2
5
0
4
x1
2
x1
0
2
3
0
x1
3
4
0
0
x1
0
2
1
3
x1
4
x1
0
0
2
4
x1
0
4
x1
3
2
1
4
x1
3
1
4
x1
3
2
1
4
x1
3
x1
5
5
0
4
x1
5
5
4
x1
0
0
0
4
x1
0
2
0
0
4
x1
4
2
3
5
4
x1
5
3
x1
0
2
1
3
x1
2
3
4
x1
0
0
2
4
x1
2
0
4
x1
3
0
0
x1
3
0
1
0
1
1
x1
2
5
1
0
4
x1
4
2
x1
0
5
5
4
x1
5
1
0
x1
5
5
4
3
x1
5
5
1
x1
4
2
5
0
4
x1
5
2
x1
2
3
0
x1
3
x1
0
5
5
4
x1
0
x1
0
0
2
4
x1
2
2
0
4
x1
0
2
1
3
x1
3
4
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
0
2
5
4
x1
5
1
2
0
x1
3
1
0
0
x1
3
0
0
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
3
5
4
x1
3
x1
0
2
5
2
3
x1
2
x1
true
0
1
1
64559
1
1
1
0
4
1
1
0
5
1
1
2447
3
1
1
9726
2
1
1
0
4
1
1
32279
0
1
1
32280
3
1
1
42005
5
1
1
34726
2
1
1
0
5
5
4
3
x1
3
4
5
5
1
x1
3
1
0
0
x1
3
0
0
x1
0
2
5
4
x1
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
3
0
0
x1
3
0
1
0
1
1
x1
4
2
3
5
4
x1
5
3
x1
0
0
0
4
x1
0
2
0
0
4
x1
3
2
1
4
x1
3
x1
3
2
1
4
x1
3
1
4
x1
0
2
3
0
x1
3
4
0
0
x1
0
5
5
4
x1
4
5
5
1
0
x1
0
5
5
4
x1
5
5
1
0
x1
0
2
5
4
x1
4
5
1
2
0
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
4
2
3
5
4
x1
4
5
3
x1
5
5
0
4
x1
5
5
1
0
4
x1
4
2
5
0
4
x1
0
5
2
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
4
2
3
5
4
x1
4
4
5
3
x1
0
2
5
4
x1
5
0
x1
3
1
0
4
x1
3
4
0
x1
3
2
1
4
x1
4
3
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
0
2
4
x1
0
2
2
0
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
4
2
5
0
4
x1
4
1
0
5
2
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
0
1
0
3
x1
0
3
0
1
1
x1
5
0
3
x1
3
0
1
1
5
x1
0
2
5
4
x1
4
5
0
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
5
0
x1
0
2
5
4
x1
4
5
0
x1
3
2
1
4
x1
3
1
4
x1
0
2
3
0
x1
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
5
5
4
x1
5
5
1
0
x1
0
5
5
4
x1
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
0
2
5
4
x1
5
1
2
0
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
3
4
0
x1
3
2
1
4
x1
3
x1
3
2
1
4
x1
4
3
x1
4
0
1
0
3
x1
0
3
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
0
0
0
4
x1
0
2
0
0
4
x1
0
0
2
4
x1
0
2
2
0
4
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
0
5
2
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
5
3
x1
4
2
3
5
4
x1
4
5
3
x1
4
2
3
5
4
x1
4
4
5
3
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
3
0
0
x1
true
0
1
1
32279
1
1
0
4
1
1
5
1
1
0
3
1
0
2
1
0
4
1
32280
0
1
1
0
3
1
32280
5
1
32280
2
1
1
3
1
0
0
x1
3
0
0
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
4
2
3
5
4
x1
4
4
5
3
x1
4
2
3
5
4
x1
4
5
3
x1
4
2
3
5
4
x1
5
3
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
5
0
4
x1
0
5
2
x1
5
5
4
3
x1
3
4
5
5
1
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
0
0
4
x1
0
2
0
0
4
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
3
2
1
4
x1
4
3
x1
3
2
1
4
x1
3
x1
3
1
0
4
x1
3
4
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
0
2
5
4
x1
5
1
2
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
0
5
5
4
x1
4
5
5
1
0
x1
0
5
5
4
x1
5
5
1
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
2
3
0
x1
3
4
0
0
x1
3
2
1
4
x1
3
1
4
x1
0
2
5
4
x1
4
5
0
x1
0
2
5
4
x1
5
0
x1
5
5
0
4
x1
5
5
1
0
4
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
5
5
0
4
x1
5
5
1
0
4
x1
0
2
5
4
x1
5
0
x1
0
2
5
4
x1
4
5
0
x1
3
2
1
4
x1
3
1
4
x1
0
2
3
0
x1
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
5
5
4
x1
5
5
1
0
x1
0
5
5
4
x1
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
0
2
5
4
x1
5
1
2
0
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
3
4
0
x1
3
2
1
4
x1
3
x1
3
2
1
4
x1
4
3
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
0
0
0
4
x1
0
2
0
0
4
x1
0
0
2
4
x1
0
2
2
0
4
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
0
5
2
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
5
3
x1
4
2
3
5
4
x1
4
5
3
x1
4
2
3
5
4
x1
4
4
5
3
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
3
0
0
x1
true
0
1
1
24773
1
1
0
4
1
7507
5
1
7507
3
1
1
0
2
1
0
4
1
32280
0
1
1
1
3
1
32280
5
1
32280
2
1
7507
3
1
0
0
x1
3
0
0
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
4
2
3
5
4
x1
4
4
5
3
x1
4
2
3
5
4
x1
4
5
3
x1
4
2
3
5
4
x1
5
3
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
5
0
4
x1
0
5
2
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
3
2
1
4
x1
4
3
x1
3
2
1
4
x1
3
x1
3
1
0
4
x1
3
4
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
0
2
5
4
x1
5
1
2
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
0
5
5
4
x1
4
5
5
1
0
x1
0
5
5
4
x1
5
5
1
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
2
3
0
x1
3
4
0
0
x1
3
2
1
4
x1
3
1
4
x1
0
2
5
4
x1
4
5
0
x1
0
2
5
4
x1
5
0
x1
5
5
0
4
x1
5
5
1
0
4
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
5
5
0
4
x1
5
5
1
0
4
x1
0
2
5
4
x1
5
0
x1
0
2
5
4
x1
4
5
0
x1
3
2
1
4
x1
3
1
4
x1
0
2
3
0
x1
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
5
5
4
x1
5
5
1
0
x1
0
5
5
4
x1
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
0
2
5
4
x1
5
1
2
0
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
3
4
0
x1
3
2
1
4
x1
3
x1
3
2
1
4
x1
4
3
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
0
5
2
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
5
3
x1
4
2
3
5
4
x1
4
5
3
x1
4
2
3
5
4
x1
4
4
5
3
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
3
0
0
x1
true
0
1
1
1
1
0
4
1
3
5
1
2
3
1
1
2
1
0
4
1
2
0
1
1
3
1
2
5
1
2
2
1
3
1
1
0
4
1
24367
5
1
24367
3
1
1
0
2
1
1
4
1
24367
0
1
1
1
3
1
24367
5
1
24367
2
1
24367
3
1
0
0
x1
3
0
0
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
4
2
3
5
4
x1
4
4
5
3
x1
4
2
3
5
4
x1
4
5
3
x1
4
2
3
5
4
x1
5
3
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
5
0
4
x1
0
5
2
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
3
2
1
4
x1
4
3
x1
3
2
1
4
x1
3
x1
3
1
0
4
x1
3
4
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
0
5
5
4
x1
4
5
5
1
0
x1
0
5
5
4
x1
5
5
1
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
3
2
1
4
x1
3
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
2
1
4
x1
3
1
4
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
0
5
5
4
x1
5
5
1
0
x1
0
5
5
4
x1
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
0
1
5
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
3
4
0
x1
3
2
1
4
x1
3
x1
3
2
1
4
x1
4
3
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
0
5
2
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
5
3
x1
4
2
3
5
4
x1
4
5
3
x1
4
2
3
5
4
x1
4
4
5
3
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
3
0
0
x1
true
0
1
1
32278
1
1
0
4
1
1
5
1
1
0
3
1
0
2
1
0
4
1
1
32279
0
1
1
0
3
1
32279
5
1
32279
2
1
1
3
1
0
0
x1
3
0
0
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
4
2
3
5
4
x1
4
4
5
3
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
3
2
1
4
x1
4
3
x1
3
2
1
4
x1
3
x1
3
1
0
4
x1
3
4
0
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
0
5
5
4
x1
4
5
5
1
0
x1
0
5
5
4
x1
5
5
1
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
3
2
1
4
x1
3
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
0
5
5
4
x1
5
5
1
0
x1
false
0
5
5
4
x1
4
5
5
1
0
x1
false
5
5
0
4
x1
5
5
1
0
4
x1
3
2
1
4
x1
3
1
4
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
3
1
0
4
x1
3
4
0
x1
3
2
1
4
x1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
3
0
0
x1
true
0
1
1
32278
1
1
0
4
1
23442
5
1
1
0
3
1
0
2
1
0
4
1
1
32279
0
1
1
0
3
1
32279
5
1
1
8838
2
1
23442
3
1
0
0
x1
3
0
0
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
2
1
4
x1
3
x1
3
1
0
4
x1
3
4
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
3
2
1
4
x1
3
1
4
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
true
2
1
0
1
0
0
1
1
1
0
0
0
1
0
0
4
1
12
13
5
1
1
1
0
0
1
3
1
3
1
1
2
3
2
1
0
0
4
1
0
0
0
1
0
0
1
1
1
6
3
3
1
0
0
5
1
1
0
0
0
1
0
0
2
1
9
13
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
3
2
1
4
x1
3
1
4
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
3
1
0
4
x1
3
4
0
x1
3
2
1
4
x1
3
x1
3
1
0
0
x1
3
0
0
x1
true
2
1
0
1
0
0
1
1
0
1
0
0
1
0
0
4
1
0
0
1
0
1
1
1
5
1
1
1
3
1
0
0
1
0
1
0
1
2
1
0
0
4
1
0
0
0
1
1
1
0
0
1
1
0
3
1
0
0
1
1
1
0
0
5
1
0
0
2
1
0
0
0
1
1
1
0
3
0
4
0
x1
3
0
0
1
1
4
x1
3
2
1
4
x1
3
1
4
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
true
0
1
1
32278
1
1
0
4
1
1
5
1
1
0
3
1
0
2
1
0
4
1
1
32279
0
1
1
0
3
1
1
32279
5
1
8838
2
1
1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
3
2
1
4
x1
3
1
4
x1
false
3
2
1
4
x1
4
3
x1
false
4
4
5
0
0
x1
4
4
0
1
5
0
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
4
4
5
3
x1
true
0
1
1
32278
1
1
1
0
4
1
1
5
1
2
3
1
2
2
1
0
4
1
1
32279
0
1
1
0
3
1
32279
5
1
8838
2
1
1
0
4
0
1
0
3
x1
4
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
true
2
1
0
1
0
0
1
1
0
1
0
0
1
0
0
4
1
0
0
0
1
1
1
0
5
1
1
1
0
0
1
0
1
3
1
1
1
0
1
1
0
0
2
1
0
0
4
1
0
0
1
0
1
0
0
0
1
1
0
1
0
1
0
1
3
1
0
0
5
1
0
0
2
1
0
1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
true
2
1
0
1
0
0
1
1
0
1
0
0
1
0
0
4
1
1
3
5
1
1
1
3
1
0
1
0
0
1
1
0
2
1
0
0
4
1
0
1
1
0
1
0
0
0
1
1
0
1
1
1
0
1
3
1
0
0
5
1
0
0
2
1
1
0
0
0
1
0
2
0
2
3
0
x1
2
0
1
2
3
0
x1
0
0
0
x1
0
0
1
1
0
x1
0
2
1
3
x1
2
0
1
3
4
x1
3
0
4
x1
3
1
0
1
1
4
x1
0
0
x1
0
1
2
0
1
1
x1
3
0
x1
1
0
1
1
1
3
x1
0
2
1
4
x1
2
0
1
1
4
x1
0
4
1
0
x1
0
0
1
1
4
x1
5
5
0
4
x1
5
5
1
0
4
x1
3
0
2
0
x1
0
3
0
1
2
1
x1
0
2
5
4
x1
2
2
4
5
0
x1
3
2
1
4
x1
1
2
1
3
1
4
x1
0
2
3
0
x1
2
3
4
0
0
x1
3
0
4
0
x1
3
0
0
1
1
4
x1
4
1
0
4
x1
4
0
1
1
4
x1
0
5
5
4
x1
2
4
5
5
1
0
x1
3
0
5
0
x1
5
0
3
0
1
1
x1
3
5
1
0
4
x1
3
5
0
1
1
4
x1
0
0
3
x1
0
3
1
0
1
1
x1
4
1
0
0
x1
0
0
1
1
4
1
x1
5
0
3
x1
3
5
0
1
1
x1
0
1
4
3
3
x1
0
1
1
4
3
3
x1
3
0
0
x1
3
0
1
0
1
1
x1
0
2
5
4
x1
4
5
1
2
0
x1
3
0
0
3
x1
3
0
3
0
1
1
x1
4
4
5
0
0
x1
4
4
0
1
5
0
x1
3
1
0
4
x1
1
1
1
3
4
0
x1
0
2
1
3
x1
0
1
2
3
4
x1
3
2
1
4
x1
1
1
2
2
4
3
x1
0
0
1
3
x1
0
3
1
0
1
1
x1
4
0
1
0
3
x1
4
0
3
0
1
1
x1
2
3
0
0
x1
0
1
1
2
3
0
x1
2
3
0
0
x1
0
1
2
1
3
0
x1
0
0
0
4
x1
2
0
2
0
0
4
x1
5
0
3
x1
3
0
1
1
5
x1
0
0
2
4
x1
0
2
2
0
4
x1
0
2
1
5
3
x1
0
5
2
1
1
3
x1
2
3
0
x1
2
1
0
1
1
3
x1
5
5
4
3
x1
3
4
5
5
1
x1
4
2
5
0
4
x1
4
4
1
0
5
2
x1
4
2
3
5
4
x1
2
2
4
4
5
3
x1
5
5
0
4
x1
0
1
1
5
5
4
x1
0
2
5
2
3
x1
0
3
5
2
1
2
x1
0
2
5
3
0
x1
0
1
2
5
3
0
x1
4
1
4
4
0
x1
4
0
4
1
1
4
x1
5
1
0
3
x1
5
3
0
1
1
1
x1
3
1
0
0
x1
1
1
1
3
0
0
x1
2
5
1
0
4
x1
5
0
1
1
4
2
x1
0
0
x1
1
0
1
0
1
1
x1
4
2
5
0
4
x1
4
1
0
5
2
x1
false
3
0
0
x1
3
0
1
0
1
1
x1
false
5
0
3
x1
3
0
1
1
5
x1
false
0
2
5
3
0
x1
0
1
2
5
3
0
x1
false
0
2
5
2
3
x1
0
3
5
2
1
2
x1
false
0
2
5
2
3
x1
3
5
2
1
2
x1
false
0
2
5
2
3
x1
5
2
1
2
x1
false
0
2
5
2
3
x1
2
1
2
x1
false
0
2
1
5
3
x1
0
5
2
1
1
3
x1
false
0
2
1
5
3
x1
5
2
1
1
3
x1
false
0
2
1
5
3
x1
2
1
1
3
x1
false
0
0
1
3
x1
0
3
1
0
1
1
x1
false
0
0
1
3
x1
3
1
0
1
1
x1
false
0
0
1
3
x1
0
1
1
x1
false
0
2
1
3
x1
0
1
2
3
4
x1
false
0
0
3
x1
0
3
1
0
1
1
x1
false
0
0
3
x1
3
1
0
1
1
x1
false
0
0
3
x1
0
1
1
x1
false
2
5
1
0
4
x1
5
0
1
1
4
2
x1
false
2
5
1
0
4
x1
0
1
1
4
2
x1
false
4
1
4
4
0
x1
4
0
4
1
1
4
x1
false
4
1
4
4
0
x1
0
4
1
1
4
x1
false
4
1
4
4
0
x1
4
1
1
4
x1
false
0
4
1
0
x1
0
0
1
1
4
x1
false
0
4
1
0
x1
0
1
1
4
x1
false
0
2
1
4
x1
2
0
1
1
4
x1
false
0
2
1
4
x1
0
1
1
4
x1
false
3
0
0
3
x1
0
1
1
x1
false
3
0
0
x1
0
1
0
1
1
x1
false
3
0
0
x1
0
1
1
x1
false
3
5
1
0
4
x1
3
5
0
1
1
4
x1
false
3
5
1
0
4
x1
5
0
1
1
4
x1
false
3
5
1
0
4
x1
0
1
1
4
x1
false
5
5
0
4
x1
0
1
1
5
5
4
x1
false
2
3
0
x1
2
1
0
1
1
3
x1
false
2
3
0
x1
0
1
1
3
x1
false
0
2
1
3
x1
0
1
3
4
x1
false
3
0
5
0
x1
0
1
1
x1
false
3
0
4
0
x1
0
0
1
1
4
x1
false
3
0
4
0
x1
0
1
1
4
x1
false
2
3
0
0
x1
0
1
2
1
3
0
x1
false
2
3
0
0
x1
2
1
3
0
x1
false
3
2
1
4
x1
2
1
3
1
4
x1
false
4
0
1
0
3
x1
0
1
1
x1
false
4
4
5
0
0
x1
0
1
5
0
x1
false
5
0
3
x1
0
1
1
5
x1
false
5
0
3
x1
3
5
0
1
1
x1
false
5
0
3
x1
5
0
1
1
x1
false
5
0
3
x1
0
1
1
x1
false
5
1
0
3
x1
0
1
1
1
x1
false
4
1
0
0
x1
0
0
1
1
4
1
x1
false
4
1
0
0
x1
0
1
1
4
1
x1
false
4
1
0
4
x1
4
0
1
1
4
x1
false
4
1
0
4
x1
0
1
1
4
x1
false
0
0
0
x1
0
0
1
1
0
x1
false
0
0
x1
0
1
0
1
1
x1
false
0
0
x1
0
1
1
x1
false
0
0
x1
0
1
2
0
1
1
x1
false
0
0
x1
2
0
1
1
x1
false
0
0
x1
0
1
1
x1
false
0
0
0
x1
0
1
1
0
x1
false
2
3
0
0
x1
0
1
1
2
3
0
x1
false
0
2
3
0
x1
0
1
2
3
0
x1
false
0
1
4
3
3
x1
0
1
1
4
3
3
x1
false
3
0
2
0
x1
0
1
2
1
x1
false
3
0
2
0
x1
2
1
x1
false
3
0
x1
0
1
1
1
3
x1
false
3
0
4
x1
3
1
0
1
1
4
x1
false
3
0
4
x1
0
1
1
4
x1
false
NaTT
certifiable-1.6