D
t
s
h
D
constant
h
D
b
x
y
b
D
x
D
y
D
c
x
y
b
c
y
D
x
c
x
D
y
D
m
x
y
m
D
x
D
y
D
opp
x
opp
D
x
D
div
x
y
m
div
D
x
y
div
c
x
D
y
pow
y
2
D
ln
x
div
D
x
x
D
pow
x
y
b
c
c
y
pow
x
m
y
1
D
x
c
c
pow
x
y
ln
x
D
y
b
h
x
x
b
x
h
x
b
s
x
s
y
s
s
b
x
y
b
b
x
y
z
b
x
b
y
z
2.2
b
b
x
y
z
b
x
b
y
z
D
pow
x
y
D
y
D
b
x
y
D
x
D
div
x
y
D
y
D
m
x
y
D
y
D
b
x
y
b
D
x
D
y
D
b
x
y
D
y
b
s
x
s
y
b
x
y
D
m
x
y
D
x
D
pow
x
y
D
x
D
c
x
y
D
x
D
c
x
y
b
c
y
D
x
c
x
D
y
b
b
x
y
z
b
y
z
D
opp
x
D
x
D
div
x
y
D
x
D
ln
x
D
x
D
pow
x
y
b
c
c
y
pow
x
m
y
1
D
x
c
c
pow
x
y
ln
x
D
y
D
c
x
y
D
y
true
D
c
x
y
D
y
D
b
x
y
D
y
D
ln
x
D
x
D
div
x
y
D
x
D
opp
x
D
x
D
m
x
y
D
y
D
div
x
y
D
y
D
b
x
y
D
x
D
c
x
y
D
x
D
pow
x
y
D
y
D
pow
x
y
D
x
D
m
x
y
D
x
true
h
0
0
1
0
0
ln
1
1
1
s
1
0
constant
0
0
b
2
1
2
1
pow
2
1
2
1
t
0
0
div
2
1
2
1
c
2
1
2
1
D
1
0
D
1
1
0
opp
1
1
1
2
0
0
b
2
0
m
2
1
2
1
D
pow
x
y
b
c
c
y
pow
x
m
y
1
D
x
c
c
pow
x
y
ln
x
D
y
false
D
b
x
y
b
D
x
D
y
false
D
c
x
y
b
c
y
D
x
c
x
D
y
false
b
b
x
y
z
b
y
z
b
s
x
s
y
b
x
y
b
b
x
y
z
b
x
b
y
z
true
h
0
1
1
0
0
ln
1
1
s
1
1
1
constant
0
0
b
2
1
2
1
pow
2
1
t
0
0
div
2
1
c
2
1
D
1
0
D
1
0
opp
1
1
2
0
0
b
2
1
0
m
2
1
NaTT
certifiable-1.6