4
2
4
x1
2
0
0
5
3
3
5
2
0
4
x1
4
4
2
4
2
x1
2
0
5
2
1
4
0
2
0
1
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
5
4
5
3
2
4
3
x1
2
5
5
5
0
4
5
0
1
4
x1
2.2
4
4
2
4
2
x1
5
2
1
4
0
2
0
1
x1
1
1
4
5
3
3
x1
1
2
2
1
x1
5
4
5
3
2
4
3
x1
4
x1
3
3
0
4
1
2
x1
1
2
0
2
0
5
3
1
x1
5
4
5
3
2
4
3
x1
5
5
5
0
4
5
0
1
4
x1
1
1
4
5
3
3
x1
1
3
0
1
2
2
1
x1
4
2
4
x1
3
3
5
2
0
4
x1
3
1
4
3
1
2
x1
1
1
4
2
3
0
0
3
x1
5
4
5
3
2
4
3
x1
1
4
x1
5
4
5
3
2
4
3
x1
0
1
4
x1
5
4
5
3
2
4
3
x1
5
0
4
5
0
1
4
x1
4
1
4
5
0
5
4
x1
3
1
0
5
3
1
0
x1
3
1
4
3
1
2
x1
1
4
2
3
0
0
3
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
4
1
4
5
0
5
4
x1
1
5
3
1
0
5
3
1
0
x1
3
1
4
3
1
2
x1
4
2
3
0
0
3
x1
4
1
4
5
0
5
4
x1
0
5
3
1
0
x1
4
1
4
5
0
5
4
x1
1
0
5
3
1
0
x1
0
5
4
2
4
3
x1
5
3
0
0
0
x1
0
5
4
2
4
3
x1
0
0
x1
5
4
5
3
2
4
3
x1
0
4
5
0
1
4
x1
4
4
2
4
2
x1
0
1
x1
0
5
4
2
4
3
x1
3
0
0
0
x1
0
5
4
2
4
3
x1
5
5
3
5
3
0
0
0
x1
4
2
4
x1
3
5
2
0
4
x1
5
4
5
3
2
4
3
x1
5
0
1
4
x1
3
1
4
3
1
2
x1
0
3
x1
3
2
4
2
4
1
x1
3
1
3
3
x1
3
2
4
2
4
1
x1
1
1
1
5
3
1
3
3
x1
3
2
4
2
4
1
x1
1
5
3
1
3
3
x1
0
5
4
2
4
3
x1
3
5
3
0
0
0
x1
4
1
4
5
0
5
4
x1
5
3
1
0
x1
4
4
0
5
4
2
2
x1
5
4
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
4
0
5
4
2
2
x1
4
5
4
1
x1
1
1
4
5
3
3
x1
3
1
1
3
0
1
2
2
1
x1
4
1
4
5
0
5
4
x1
1
0
x1
3
1
4
3
1
2
x1
0
1
1
4
2
3
0
0
3
x1
4
2
4
x1
0
4
x1
3
2
4
2
4
1
x1
5
3
1
3
3
x1
3
3
0
4
1
2
x1
0
5
3
1
x1
4
1
4
5
0
5
4
x1
0
x1
0
5
4
2
4
3
x1
5
3
5
3
0
0
0
x1
1
1
4
5
3
3
x1
1
1
3
0
1
2
2
1
x1
3
2
4
2
4
1
x1
1
3
3
x1
0
5
4
2
4
3
x1
0
x1
3
3
0
4
1
2
x1
0
2
0
5
3
1
x1
3
1
4
3
1
2
x1
3
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
4
4
0
5
4
2
2
x1
4
1
x1
4
4
0
5
4
2
2
x1
3
4
4
4
5
4
1
x1
4
4
2
4
2
x1
1
x1
5
4
5
3
2
4
3
x1
4
5
0
1
4
x1
3
2
4
2
4
1
x1
1
1
5
3
1
3
3
x1
4
2
4
x1
0
5
3
3
5
2
0
4
x1
3
3
0
4
1
2
x1
3
1
x1
4
1
4
5
0
5
4
x1
5
3
1
0
5
3
1
0
x1
4
4
2
4
2
x1
0
2
0
1
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
4
2
4
x1
5
3
3
5
2
0
4
x1
3
3
0
4
1
2
x1
5
1
2
0
2
0
5
3
1
x1
4
4
0
5
4
2
2
x1
4
4
5
4
1
x1
3
3
0
4
1
2
x1
1
x1
1
1
4
5
3
3
x1
3
0
1
2
2
1
x1
1
1
4
5
3
3
x1
1
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
0
5
4
2
4
3
x1
0
0
0
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
3
3
0
4
1
2
x1
5
3
1
x1
4
4
0
5
4
2
2
x1
4
3
4
4
4
5
4
1
x1
4
2
4
x1
0
0
5
3
3
5
2
0
4
x1
4
4
0
5
4
2
2
x1
1
x1
1
1
4
5
3
3
x1
0
1
2
2
1
x1
4
2
4
x1
5
2
0
4
x1
5
4
5
3
2
4
3
x1
5
5
0
4
5
0
1
4
x1
4
4
0
5
4
2
2
x1
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
3
x1
4
4
2
4
2
x1
1
4
0
2
0
1
x1
4
1
4
5
0
5
4
x1
3
1
0
x1
4
4
2
4
2
x1
0
5
2
1
4
0
2
0
1
x1
0
5
4
2
4
3
x1
1
5
5
3
5
3
0
0
0
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
3
2
4
2
4
1
x1
3
3
x1
4
4
2
4
2
x1
4
0
2
0
1
x1
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
3
1
4
3
1
2
x1
0
0
3
x1
4
4
0
5
4
2
2
x1
0
4
3
4
4
4
5
4
1
x1
true
4
4
0
5
4
2
2
x1
0
4
3
4
4
4
5
4
1
x1
3
1
4
3
1
2
x1
0
0
3
x1
4
4
0
5
4
2
2
x1
4
1
x1
3
1
4
3
1
2
x1
3
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
0
5
4
2
4
3
x1
0
x1
3
2
4
2
4
1
x1
3
3
x1
4
1
4
5
0
5
4
x1
0
x1
0
5
4
2
4
3
x1
5
3
5
3
0
0
0
x1
3
3
0
4
1
2
x1
0
5
3
1
x1
3
2
4
2
4
1
x1
5
3
1
3
3
x1
4
2
4
x1
0
4
x1
3
1
4
3
1
2
x1
0
1
1
4
2
3
0
0
3
x1
4
4
0
5
4
2
2
x1
4
5
4
1
x1
4
1
4
5
0
5
4
x1
3
1
0
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
4
0
5
4
2
2
x1
5
4
1
x1
3
2
4
2
4
1
x1
3
x1
4
4
0
5
4
2
2
x1
4
4
4
5
4
1
x1
4
1
4
5
0
5
4
x1
5
3
1
0
x1
5
4
5
3
2
4
3
x1
5
5
0
4
5
0
1
4
x1
0
5
4
2
4
3
x1
3
5
3
0
0
0
x1
3
2
4
2
4
1
x1
3
1
3
3
x1
3
1
4
3
1
2
x1
0
3
x1
3
3
0
4
1
2
x1
5
3
1
x1
4
4
0
5
4
2
2
x1
4
3
4
4
4
5
4
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
5
4
5
3
2
4
3
x1
5
0
1
4
x1
0
5
4
2
4
3
x1
5
5
3
5
3
0
0
0
x1
0
5
4
2
4
3
x1
0
0
0
x1
0
5
4
2
4
3
x1
3
0
0
0
x1
4
4
2
4
2
x1
0
1
x1
0
5
4
2
4
3
x1
0
0
x1
5
4
5
3
2
4
3
x1
0
4
5
0
1
4
x1
0
5
4
2
4
3
x1
5
3
0
0
0
x1
4
1
4
5
0
5
4
x1
0
5
3
1
0
x1
3
1
4
3
1
2
x1
4
2
3
0
0
3
x1
4
4
0
5
4
2
2
x1
4
4
5
4
1
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
4
1
4
5
0
5
4
x1
3
1
0
5
3
1
0
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
4
1
4
5
0
5
4
x1
5
3
1
0
5
3
1
0
x1
5
4
5
3
2
4
3
x1
5
0
4
5
0
1
4
x1
3
3
0
4
1
2
x1
3
1
x1
5
4
5
3
2
4
3
x1
0
1
4
x1
5
4
5
3
2
4
3
x1
4
5
0
1
4
x1
5
4
5
3
2
4
3
x1
5
5
5
0
4
5
0
1
4
x1
5
4
5
3
2
4
3
x1
4
x1
4
4
0
5
4
2
2
x1
3
4
4
4
5
4
1
x1
true
0
1
5
1
1
1
4
1
1
3
5
1
1
0
3
1
4
4
1
5
0
1
1
1
3
1
5
5
1
1
0
2
1
1
1
1
1
0
4
4
0
5
4
2
2
x1
3
4
4
4
5
4
1
x1
3
3
0
4
1
2
x1
3
1
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
4
1
4
5
0
5
4
x1
3
1
0
5
3
1
0
x1
4
4
0
5
4
2
2
x1
4
4
5
4
1
x1
3
1
4
3
1
2
x1
4
2
3
0
0
3
x1
4
1
4
5
0
5
4
x1
0
5
3
1
0
x1
0
5
4
2
4
3
x1
0
0
x1
4
4
2
4
2
x1
0
1
x1
0
5
4
2
4
3
x1
3
0
0
0
x1
0
5
4
2
4
3
x1
0
0
0
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
4
4
0
5
4
2
2
x1
4
3
4
4
4
5
4
1
x1
3
1
4
3
1
2
x1
0
3
x1
3
2
4
2
4
1
x1
3
1
3
3
x1
0
5
4
2
4
3
x1
3
5
3
0
0
0
x1
4
4
0
5
4
2
2
x1
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
3
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
1
4
5
0
5
4
x1
3
1
0
x1
4
4
0
5
4
2
2
x1
4
5
4
1
x1
3
1
4
3
1
2
x1
0
1
1
4
2
3
0
0
3
x1
4
2
4
x1
0
4
x1
3
3
0
4
1
2
x1
0
5
3
1
x1
4
1
4
5
0
5
4
x1
0
x1
3
2
4
2
4
1
x1
3
3
x1
0
5
4
2
4
3
x1
0
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
3
1
4
3
1
2
x1
3
x1
4
4
0
5
4
2
2
x1
4
1
x1
3
1
4
3
1
2
x1
0
0
3
x1
4
4
0
5
4
2
2
x1
0
4
3
4
4
4
5
4
1
x1
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
2
4
x1
2
0
0
5
3
3
5
2
0
4
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
5
4
5
3
2
4
3
x1
2
5
5
5
0
4
5
0
1
4
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
4
4
2
4
2
x1
2
0
5
2
1
4
0
2
0
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
4
0
5
4
2
2
x1
4
1
x1
4
4
0
5
4
2
2
x1
4
5
4
1
x1
4
4
0
5
4
2
2
x1
4
4
5
4
1
x1
4
4
0
5
4
2
2
x1
4
4
4
5
4
1
x1
4
4
0
5
4
2
2
x1
4
3
4
4
4
5
4
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
true
0
1
5
1
1
1445
4
1
1
1
5
1
19354
3
1
19356
4
1
1
5
0
1
19356
3
1
5
5
1
1
0
2
1
841
1
1
0
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
2
4
x1
2
0
0
5
3
3
5
2
0
4
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
5
4
5
3
2
4
3
x1
2
5
5
5
0
4
5
0
1
4
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
4
4
2
4
2
x1
2
0
5
2
1
4
0
2
0
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
true
0
1
5
1
1
1
12213
4
1
1
1
5
1
1
3
1
2
4
1
1
5
0
1
1
3
1
5
5
1
1
0
2
1
1
1
1
0
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
2
4
x1
2
0
0
5
3
3
5
2
0
4
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
5
4
5
3
2
4
3
x1
2
5
5
5
0
4
5
0
1
4
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
4
4
2
4
2
x1
2
0
5
2
1
4
0
2
0
1
x1
4
4
0
5
4
2
2
x1
0
4
3
4
4
4
5
4
1
x1
false
4
4
0
5
4
2
2
x1
3
4
4
4
5
4
1
x1
false
4
1
4
5
0
5
4
x1
3
1
0
5
3
1
0
x1
false
4
1
4
5
0
5
4
x1
0
5
3
1
0
x1
false
4
1
4
5
0
5
4
x1
3
1
0
x1
false
4
1
4
5
0
5
4
x1
0
x1
false
4
4
2
4
2
x1
0
1
x1
false
4
2
4
x1
0
4
x1
0
5
4
2
4
3
x1
0
x1
0
5
4
2
4
3
x1
0
0
x1
0
5
4
2
4
3
x1
0
0
0
x1
0
5
4
2
4
3
x1
3
0
0
0
x1
0
5
4
2
4
3
x1
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
3
x1
3
1
4
3
1
2
x1
0
3
x1
3
1
4
3
1
2
x1
0
0
3
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
3
1
4
3
1
2
x1
4
2
3
0
0
3
x1
3
1
4
3
1
2
x1
0
1
1
4
2
3
0
0
3
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
3
3
0
4
1
2
x1
3
1
x1
3
3
0
4
1
2
x1
0
5
3
1
x1
3
2
4
2
4
1
x1
3
x1
3
2
4
2
4
1
x1
3
3
x1
3
2
4
2
4
1
x1
3
1
3
3
x1
true
0
1
5
1
1
1
1
4
1
1
3
5
1
1
3
1
1
4
1
1
3
0
1
1
3
1
5
5
1
1
0
2
1
1
0
1
1
0
3
2
4
2
4
1
x1
3
1
3
3
x1
3
2
4
2
4
1
x1
3
3
x1
3
2
4
2
4
1
x1
3
x1
3
3
0
4
1
2
x1
0
5
3
1
x1
3
3
0
4
1
2
x1
3
1
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
3
1
4
3
1
2
x1
0
1
1
4
2
3
0
0
3
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
3
1
4
3
1
2
x1
0
0
3
x1
3
1
4
3
1
2
x1
0
3
x1
3
1
4
3
1
2
x1
3
x1
0
5
4
2
4
3
x1
3
5
3
0
0
0
x1
0
5
4
2
4
3
x1
3
0
0
0
x1
0
5
4
2
4
3
x1
0
0
0
x1
0
5
4
2
4
3
x1
0
0
x1
0
5
4
2
4
3
x1
0
x1
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
2
4
x1
2
0
0
5
3
3
5
2
0
4
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
5
4
5
3
2
4
3
x1
2
5
5
5
0
4
5
0
1
4
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
4
4
2
4
2
x1
2
0
5
2
1
4
0
2
0
1
x1
0
5
4
2
4
3
x1
0
x1
0
5
4
2
4
3
x1
0
0
x1
0
5
4
2
4
3
x1
0
0
0
x1
0
5
4
2
4
3
x1
3
0
0
0
x1
0
5
4
2
4
3
x1
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
3
x1
3
1
4
3
1
2
x1
0
3
x1
3
1
4
3
1
2
x1
0
0
3
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
3
1
4
3
1
2
x1
0
1
1
4
2
3
0
0
3
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
3
3
0
4
1
2
x1
3
1
x1
3
3
0
4
1
2
x1
0
5
3
1
x1
3
2
4
2
4
1
x1
3
x1
3
2
4
2
4
1
x1
3
3
x1
3
2
4
2
4
1
x1
3
1
3
3
x1
true
2
1
0
1
0
0
1
1
1
0
0
1
1
1
1
4
1
1
1
1
0
1
24529
76703
5
1
0
1
1
0
1
0
35776
3
1
0
0
1
0
1
1
89796
4
1
0
0
0
1
0
0
0
1
1
1
1
3
1
89798
89797
5
1
0
0
2
1
0
0
1
1
1
61963
89794
1
1
0
0
3
2
4
2
4
1
x1
3
1
3
3
x1
3
2
4
2
4
1
x1
3
3
x1
3
2
4
2
4
1
x1
3
x1
3
3
0
4
1
2
x1
3
1
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
3
1
4
3
1
2
x1
3
x1
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
2
4
x1
2
0
0
5
3
3
5
2
0
4
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
5
4
5
3
2
4
3
x1
2
5
5
5
0
4
5
0
1
4
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
4
4
2
4
2
x1
2
0
5
2
1
4
0
2
0
1
x1
3
1
4
3
1
2
x1
3
x1
3
1
4
3
1
2
x1
3
0
0
3
x1
3
3
0
4
1
2
x1
3
1
x1
3
2
4
2
4
1
x1
3
x1
3
2
4
2
4
1
x1
3
3
x1
3
2
4
2
4
1
x1
3
1
3
3
x1
true
2
1
0
1
0
0
1
1
1
0
1
0
1
0
0
4
1
1
7699
1
5
1
1
0
0
3
1
0
1
1
0
1
0
0
4
1
0
0
0
1
0
1
0
0
1
0
0
3
1
1
0
0
0
1
89798
89797
5
1
0
0
2
1
1
0
1
0
1
1
1
1
1
0
0
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
4
1
4
5
0
5
4
x1
4
1
5
3
1
0
5
3
1
0
x1
4
2
4
x1
2
0
0
5
3
3
5
2
0
4
x1
0
5
4
2
4
3
x1
5
1
5
5
3
5
3
0
0
0
x1
3
1
4
3
1
2
x1
0
0
1
1
4
2
3
0
0
3
x1
5
4
5
3
2
4
3
x1
2
5
5
5
0
4
5
0
1
4
x1
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
4
4
0
5
4
2
2
x1
4
0
4
3
4
4
4
5
4
1
x1
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
4
4
2
4
2
x1
2
0
5
2
1
4
0
2
0
1
x1
4
4
2
4
2
x1
0
5
2
1
4
0
2
0
1
x1
false
4
4
2
4
2
x1
5
2
1
4
0
2
0
1
x1
false
4
4
2
4
2
x1
1
4
0
2
0
1
x1
false
4
4
2
4
2
x1
4
0
2
0
1
x1
false
4
4
2
4
2
x1
0
2
0
1
x1
false
4
4
2
4
2
x1
1
x1
false
4
4
0
5
4
2
2
x1
1
x1
false
4
2
4
x1
0
0
5
3
3
5
2
0
4
x1
false
4
2
4
x1
0
5
3
3
5
2
0
4
x1
false
4
2
4
x1
5
3
3
5
2
0
4
x1
false
4
2
4
x1
3
3
5
2
0
4
x1
false
4
2
4
x1
3
5
2
0
4
x1
false
4
2
4
x1
5
2
0
4
x1
false
4
1
4
5
0
5
4
x1
1
5
3
1
0
5
3
1
0
x1
false
4
1
4
5
0
5
4
x1
1
0
5
3
1
0
x1
false
3
2
4
2
4
1
x1
0
2
1
1
1
5
3
1
3
3
x1
false
3
2
4
2
4
1
x1
1
1
1
5
3
1
3
3
x1
false
3
2
4
2
4
1
x1
1
1
5
3
1
3
3
x1
false
3
2
4
2
4
1
x1
1
5
3
1
3
3
x1
false
3
2
4
2
4
1
x1
1
3
3
x1
false
3
3
0
4
1
2
x1
3
5
1
2
0
2
0
5
3
1
x1
false
3
3
0
4
1
2
x1
5
1
2
0
2
0
5
3
1
x1
false
3
3
0
4
1
2
x1
1
2
0
2
0
5
3
1
x1
false
3
3
0
4
1
2
x1
0
2
0
5
3
1
x1
false
3
3
0
4
1
2
x1
1
x1
false
0
5
4
2
4
3
x1
1
5
5
3
5
3
0
0
0
x1
false
3
1
4
3
1
2
x1
1
1
4
2
3
0
0
3
x1
false
3
1
4
3
1
2
x1
1
4
2
3
0
0
3
x1
false
4
1
4
5
0
5
4
x1
1
0
x1
false
5
4
5
3
2
4
3
x1
1
4
x1
false
1
1
4
5
3
3
x1
1
x1
true
0
1
5
1
1
1
7362
4
1
1
8573
5
1
1
33267
3
1
1
40628
4
1
3
0
1
104554
3
1
7
5
1
0
2
1
1
0
1
1
1
0
1
1
4
5
3
3
x1
1
3
1
1
3
0
1
2
2
1
x1
false
1
1
4
5
3
3
x1
3
1
1
3
0
1
2
2
1
x1
false
1
1
4
5
3
3
x1
1
1
3
0
1
2
2
1
x1
false
1
1
4
5
3
3
x1
1
3
0
1
2
2
1
x1
false
1
1
4
5
3
3
x1
3
0
1
2
2
1
x1
false
1
1
4
5
3
3
x1
0
1
2
2
1
x1
false
1
1
4
5
3
3
x1
1
2
2
1
x1
false
NaTT
certifiable-1.6