ackin
s
X
s
Y
u21
ackin
s
X
Y
X
u21
ackout
X
Y
u22
ackin
Y
X
2.2
ackin
s
X
s
Y
u21
ackin
s
X
Y
X
ackin
s
X
s
Y
ackin
s
X
Y
u21
ackout
X
Y
ackin
Y
X
true
u21
ackout
X
Y
ackin
Y
X
ackin
s
X
s
Y
ackin
s
X
Y
ackin
s
X
s
Y
u21
ackin
s
X
Y
X
true
ackin
2
1
2
0
s
1
1
1
u21
2
1
2
0
ackout
1
1
1
u21
2
1
0
u22
1
1
0
ackin
2
2
1
ackin
s
X
s
Y
u21
ackin
s
X
Y
X
u21
ackout
X
Y
u22
ackin
Y
X
NaTT
certifiable-1.6