*
x
1
x
*
1
y
y
*
i
x
x
1
*
x
i
x
1
*
x
*
y
z
*
*
x
y
z
i
1
1
*
*
x
y
i
y
x
*
*
x
i
y
y
x
i
i
x
x
i
*
x
y
*
i
y
i
x
k
x
1
1
k
x
x
1
*
k
x
y
k
y
x
1
*
*
i
x
k
y
z
x
k
*
*
i
x
y
x
*
*
i
x
z
x
k
*
x
i
y
*
y
i
x
1
2.2
*
*
i
x
k
y
z
x
*
*
i
x
y
x
i
*
x
y
*
i
y
i
x
*
x
*
y
z
*
*
x
y
z
i
*
x
y
i
y
*
x
*
y
z
*
x
y
*
*
i
x
k
y
z
x
*
i
x
z
*
*
i
x
k
y
z
x
*
i
x
y
*
*
i
x
k
y
z
x
k
*
*
i
x
y
x
*
*
i
x
z
x
i
*
x
y
i
x
*
*
i
x
k
y
z
x
*
*
i
x
z
x
true
i
*
x
y
i
x
i
*
x
y
i
y
true
1
0
0
k
2
0
*
2
0
k
2
0
i
1
0
*
2
1
2
1
i
1
1
0
i
*
x
y
*
i
y
i
x
false
*
*
i
x
k
y
z
x
*
*
i
x
z
x
*
*
i
x
k
y
z
x
*
i
x
y
*
x
*
y
z
*
*
x
y
z
*
*
i
x
k
y
z
x
*
i
x
z
*
x
*
y
z
*
x
y
*
*
i
x
k
y
z
x
*
*
i
x
y
x
true
1
0
0
k
2
0
2
1
*
2
1
2
1
k
2
0
2
1
i
1
2
1
*
2
1
2
1
i
1
0
1
0
0
k
2
1
0
2
0
0
*
2
1
0
2
0
0
k
2
1
0
2
0
0
i
1
1
0
*
2
1
0
2
0
0
i
1
0
*
*
i
x
k
y
z
x
*
*
i
x
z
x
*
x
i
x
1
k
*
x
i
y
*
y
i
x
1
*
*
x
i
y
y
x
*
x
1
x
*
i
x
x
1
*
x
*
y
z
*
*
x
y
z
i
*
x
y
*
i
y
i
x
*
*
x
y
i
y
x
*
*
i
x
k
y
z
x
k
*
*
i
x
y
x
*
*
i
x
z
x
k
x
x
1
k
x
1
1
i
i
x
x
*
k
x
y
k
y
x
1
i
1
1
*
1
y
y
*
*
i
x
k
y
z
x
*
*
i
x
z
x
true
1
0
1
k
2
2
2438
*
2
1
0
k
2
0
i
1
1
0
*
2
1
2
20653
i
1
0
*
x
i
x
1
k
*
x
i
y
*
y
i
x
1
*
*
x
i
y
y
x
*
x
1
x
*
i
x
x
1
*
x
*
y
z
*
*
x
y
z
i
*
x
y
*
i
y
i
x
*
*
x
y
i
y
x
*
*
i
x
k
y
z
x
k
*
*
i
x
y
x
*
*
i
x
z
x
k
x
x
1
k
x
1
1
i
i
x
x
*
k
x
y
k
y
x
1
i
1
1
*
1
y
y
*
*
i
x
k
y
z
x
k
*
*
i
x
y
x
*
*
i
x
z
x
false
NaTT
certifiable-1.6