din
der
plus
X
Y
u21
din
der
X
X
Y
u21
dout
DX
X
Y
u22
din
der
Y
X
Y
DX
u22
dout
DY
X
Y
DX
dout
plus
DX
DY
din
der
times
X
Y
u31
din
der
X
X
Y
u31
dout
DX
X
Y
u32
din
der
Y
X
Y
DX
u32
dout
DY
X
Y
DX
dout
plus
times
X
DY
times
Y
DX
din
der
der
X
u41
din
der
X
X
u41
dout
DX
X
u42
din
der
DX
X
DX
u42
dout
DDX
X
DX
dout
DDX
2.2
u21
dout
DX
X
Y
din
der
Y
u31
dout
DX
X
Y
din
der
Y
u41
dout
DX
X
u42
din
der
DX
X
DX
din
der
times
X
Y
u31
din
der
X
X
Y
din
der
times
X
Y
din
der
X
din
der
plus
X
Y
u21
din
der
X
X
Y
u41
dout
DX
X
din
der
DX
u31
dout
DX
X
Y
u32
din
der
Y
X
Y
DX
din
der
der
X
u41
din
der
X
X
u21
dout
DX
X
Y
u22
din
der
Y
X
Y
DX
din
der
plus
X
Y
din
der
X
din
der
der
X
din
der
X
true
din
der
der
X
din
der
X
din
der
times
X
Y
din
der
X
din
der
plus
X
Y
din
der
X
din
der
der
X
u41
din
der
X
X
din
der
times
X
Y
u31
din
der
X
X
Y
u31
dout
DX
X
Y
din
der
Y
u41
dout
DX
X
din
der
DX
din
der
plus
X
Y
u21
din
der
X
X
Y
u21
dout
DX
X
Y
din
der
Y
true
din
1
1
0
u22
4
0
der
1
1
u21
3
1
0
din
1
2
u41
2
1
times
2
20819
u32
4
3
u21
3
1
0
u41
2
1
0
plus
2
2
1
u42
3
0
u31
3
1
0
u22
4
3
u42
3
1
0
u32
4
0
dout
1
3
u31
3
1
0
din
der
plus
X
Y
din
der
X
din
der
times
X
Y
din
der
X
din
der
der
X
din
der
X
din
der
times
X
Y
u31
din
der
X
X
Y
u41
dout
DX
X
u42
din
der
DX
X
DX
din
der
plus
X
Y
u21
din
der
X
X
Y
u22
dout
DY
X
Y
DX
dout
plus
DX
DY
u31
dout
DX
X
Y
u32
din
der
Y
X
Y
DX
din
der
der
X
u41
din
der
X
X
u42
dout
DDX
X
DX
dout
DDX
u32
dout
DY
X
Y
DX
dout
plus
times
X
DY
times
Y
DX
u21
dout
DX
X
Y
u22
din
der
Y
X
Y
DX
din
der
times
X
Y
din
der
X
din
der
plus
X
Y
din
der
X
din
der
der
X
din
der
X
true
din
1
1
0
u22
4
0
der
1
1
2998
u21
3
1
0
din
1
1
2
u41
2
5996
times
2
1
2
1
u32
4
5996
u21
3
1
3
0
u41
2
1
0
plus
2
1
2
1
u42
3
0
u31
3
1
0
u22
4
5996
u42
3
5996
u32
4
0
dout
1
5996
u31
3
1
0
din
der
times
X
Y
u31
din
der
X
X
Y
u41
dout
DX
X
u42
din
der
DX
X
DX
din
der
plus
X
Y
u21
din
der
X
X
Y
u22
dout
DY
X
Y
DX
dout
plus
DX
DY
u31
dout
DX
X
Y
u32
din
der
Y
X
Y
DX
din
der
der
X
u41
din
der
X
X
u42
dout
DDX
X
DX
dout
DDX
u32
dout
DY
X
Y
DX
dout
plus
times
X
DY
times
Y
DX
u21
dout
DX
X
Y
u22
din
der
Y
X
Y
DX
u31
dout
DX
X
Y
u32
din
der
Y
X
Y
DX
false
u41
dout
DX
X
u42
din
der
DX
X
DX
false
u21
dout
DX
X
Y
u22
din
der
Y
X
Y
DX
false
NaTT
certifiable-1.6