div
X
e
i
X
i
div
X
Y
div
Y
X
div
div
X
Y
Z
div
Y
div
i
X
Z
2.2
div
div
X
Y
Z
div
Y
div
i
X
Z
div
X
e
i
X
div
div
X
Y
Z
div
i
X
Z
i
div
X
Y
div
Y
X
div
div
X
Y
Z
i
X
true
div
div
X
Y
Z
i
X
i
div
X
Y
div
Y
X
div
div
X
Y
Z
div
i
X
Z
div
X
e
i
X
div
div
X
Y
Z
div
Y
div
i
X
Z
true
div
2
1
21239
div
2
1
2
21240
i
1
1
0
e
0
1
i
1
1
0
div
X
e
i
X
div
div
X
Y
Z
div
Y
div
i
X
Z
i
div
X
Y
div
Y
X
NaTT
certifiable-1.6