:
:
:
:
C
x
y
z
u
:
:
x
z
:
:
:
x
y
z
u
2.2
:
:
:
:
C
x
y
z
u
:
x
z
:
:
:
:
C
x
y
z
u
:
x
y
:
:
:
:
C
x
y
z
u
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
:
x
z
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
:
x
y
z
true
:
:
:
:
C
x
y
z
u
:
:
x
y
z
:
:
:
:
C
x
y
z
u
:
:
x
z
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
x
y
:
:
:
:
C
x
y
z
u
:
x
z
true
:
2
1
28959
2
28958
0
C
0
38
:
2
1
1
2
0
0
:
:
:
:
C
x
y
z
u
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
:
x
z
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
:
x
z
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
:
:
x
y
z
u
:
:
:
:
C
x
y
z
u
:
:
x
z
:
:
:
x
y
z
u
true
:
2
1
1
C
0
0
:
2
2
1
2
:
2
1
0
0
C
0
0
:
2
1
0
2
0
0
:
:
:
:
C
x
y
z
u
:
:
x
z
:
:
:
x
y
z
u
NaTT
certifiable-1.6