:
x
x
e
:
x
e
x
i
:
x
y
:
y
x
:
:
x
y
z
:
x
:
z
i
y
:
e
x
i
x
i
i
x
x
i
e
e
:
x
:
y
i
x
i
y
:
x
:
y
:
i
x
z
:
i
z
y
:
i
x
:
y
x
i
y
:
i
x
:
y
:
x
z
:
i
z
y
2.2
:
x
:
y
:
i
x
z
i
z
:
e
x
i
x
:
:
x
y
z
:
x
:
z
i
y
:
:
x
y
z
i
y
i
:
x
y
:
y
x
:
:
x
y
z
:
z
i
y
:
i
x
:
y
x
i
y
:
i
x
:
y
:
x
z
:
i
z
y
:
x
:
y
:
i
x
z
:
i
z
y
:
x
:
y
i
x
i
y
:
i
x
:
y
:
x
z
i
z
true
:
i
x
:
y
:
x
z
i
z
:
x
:
y
i
x
i
y
:
x
:
y
:
i
x
z
:
i
z
y
:
i
x
:
y
:
x
z
:
i
z
y
:
:
x
y
z
i
y
:
:
x
y
z
:
x
:
z
i
y
:
e
x
i
x
:
i
x
:
y
x
i
y
:
:
x
y
z
:
z
i
y
i
:
x
y
:
y
x
:
x
:
y
:
i
x
z
i
z
true
:
2
1
2
0
:
2
1
2
1
i
1
1
0
e
0
1
i
1
1
0
:
:
x
y
z
:
x
:
z
i
y
:
:
x
y
z
:
x
:
z
i
y
:
x
:
y
i
x
i
y
:
x
x
e
i
:
x
y
:
y
x
:
e
x
i
x
:
i
x
:
y
x
i
y
i
e
e
:
i
x
:
y
:
x
z
:
i
z
y
:
x
:
y
:
i
x
z
:
i
z
y
i
i
x
x
:
x
e
x
:
:
x
y
z
:
x
:
z
i
y
true
:
2
1
0
:
2
1
2
1
i
1
1
0
e
0
1
i
1
0
:
:
x
y
z
:
x
:
z
i
y
:
x
:
y
i
x
i
y
:
x
x
e
i
:
x
y
:
y
x
:
e
x
i
x
:
i
x
:
y
x
i
y
i
e
e
:
i
x
:
y
:
x
z
:
i
z
y
:
x
:
y
:
i
x
z
:
i
z
y
i
i
x
x
:
x
e
x
NaTT
certifiable-1.6