ack_in
0
n
ack_out
s
n
ack_in
s
m
0
u11
ack_in
m
s
0
u11
ack_out
n
ack_out
n
ack_in
s
m
s
n
u21
ack_in
s
m
n
m
u21
ack_out
n
m
u22
ack_in
m
n
u22
ack_out
n
ack_out
n
2.2
ack_in
s
m
0
ack_in
m
s
0
ack_in
s
m
s
n
ack_in
s
m
n
ack_in
s
m
s
n
u21
ack_in
s
m
n
m
u21
ack_out
n
m
u22
ack_in
m
n
ack_in
s
m
0
u11
ack_in
m
s
0
u21
ack_out
n
m
ack_in
m
n
true
u21
ack_out
n
m
ack_in
m
n
ack_in
s
m
s
n
ack_in
s
m
n
ack_in
s
m
s
n
u21
ack_in
s
m
n
m
ack_in
s
m
0
ack_in
m
s
0
true
u22
1
0
ack_in
2
1
0
s
1
1
2
u21
2
2
1
u11
1
0
0
0
1
ack_out
1
11298
u11
1
1
3
u21
2
11296
u22
1
11297
ack_in
2
1
11293
ack_in
s
m
s
n
ack_in
s
m
n
u11
ack_out
n
ack_out
n
ack_in
s
m
s
n
ack_in
s
m
n
true
u22
1
0
ack_in
2
2
0
s
1
1
2
u21
2
1
u11
1
0
0
0
1
ack_out
1
11298
u11
1
1
3
u21
2
11296
u22
1
11297
ack_in
2
1
11293
u11
ack_out
n
ack_out
n
u21
ack_out
n
m
u22
ack_in
m
n
false
ack_in
s
m
0
u11
ack_in
m
s
0
false
NaTT
certifiable-1.6