a__U11
tt
M
N
a__U12
tt
M
N
a__U12
tt
M
N
s
a__plus
mark
N
mark
M
a__U21
tt
M
N
a__U22
tt
M
N
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
a__plus
N
0
mark
N
a__plus
N
s
M
a__U11
tt
M
N
a__x
N
0
0
a__x
N
s
M
a__U21
tt
M
N
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
mark
x
X1
X2
a__x
mark
X1
mark
X2
mark
tt
tt
mark
s
X
s
mark
X
mark
0
0
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U12
X1
X2
X3
U12
X1
X2
X3
a__plus
X1
X2
plus
X1
X2
a__U21
X1
X2
X3
U21
X1
X2
X3
a__U22
X1
X2
X3
U22
X1
X2
X3
a__x
X1
X2
x
X1
X2
2.2
a__U12
tt
M
N
mark
N
mark
U22
X1
X2
X3
mark
X1
mark
U21
X1
X2
X3
mark
X1
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
plus
X1
X2
mark
X2
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
a__x
N
s
M
a__U21
tt
M
N
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
x
X1
X2
a__x
mark
X1
mark
X2
a__U22
tt
M
N
a__x
mark
N
mark
M
mark
s
X
mark
X
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__U22
tt
M
N
mark
N
a__U11
tt
M
N
a__U12
tt
M
N
a__U22
tt
M
N
mark
M
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__plus
N
0
mark
N
a__U22
tt
M
N
mark
N
a__U21
tt
M
N
a__U22
tt
M
N
mark
x
X1
X2
mark
X2
a__U12
tt
M
N
mark
M
a__U12
tt
M
N
a__plus
mark
N
mark
M
mark
U11
X1
X2
X3
mark
X1
mark
x
X1
X2
mark
X1
a__plus
N
s
M
a__U11
tt
M
N
mark
U12
X1
X2
X3
mark
X1
true
mark
U12
X1
X2
X3
mark
X1
a__U22
tt
M
N
a__x
mark
N
mark
M
a__plus
N
s
M
a__U11
tt
M
N
mark
x
X1
X2
a__x
mark
X1
mark
X2
mark
x
X1
X2
mark
X1
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
U11
X1
X2
X3
mark
X1
a__U12
tt
M
N
a__plus
mark
N
mark
M
a__x
N
s
M
a__U21
tt
M
N
a__U12
tt
M
N
mark
M
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
mark
x
X1
X2
mark
X2
a__U21
tt
M
N
a__U22
tt
M
N
a__U22
tt
M
N
mark
N
mark
plus
X1
X2
mark
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
U21
X1
X2
X3
mark
X1
a__plus
N
0
mark
N
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
U22
X1
X2
X3
mark
X1
a__U22
tt
M
N
mark
M
a__U11
tt
M
N
a__U12
tt
M
N
a__U22
tt
M
N
mark
N
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
a__U12
tt
M
N
mark
N
mark
s
X
mark
X
true
a__plus
2
1
0
2
18815
0
U21
3
1
13215
2
1
3
18815
0
U11
3
1
18814
2
18815
3
0
0
s
1
1
0
a__x
2
1
75553
2
56739
0
a__U22
3
1
18814
2
1
3
18815
0
a__U11
3
1
75552
2
75553
3
56738
0
a__x
2
1
18815
2
1
0
U12
3
1
18814
2
18815
3
0
0
x
2
1
18815
2
1
0
a__U12
3
1
75551
2
75553
3
56738
0
a__U21
3
2
56739
3
75553
0
a__plus
2
1
56738
2
75553
0
mark
1
1
56738
0
0
4684
a__U21
3
1
13215
2
1
3
18815
0
mark
1
1
0
a__U11
3
1
18814
2
18815
3
0
0
a__U12
3
1
18814
2
18815
3
0
0
plus
2
1
0
2
18815
0
a__U22
3
1
31964
2
56739
3
75553
0
tt
0
1
U22
3
1
18814
2
1
3
18815
0
mark
s
X
mark
X
a__U12
tt
M
N
mark
N
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__U11
tt
M
N
a__U12
tt
M
N
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__plus
N
0
mark
N
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__U21
tt
M
N
a__U22
tt
M
N
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
a__x
N
s
M
a__U21
tt
M
N
a__U12
tt
M
N
a__plus
mark
N
mark
M
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
x
X1
X2
a__x
mark
X1
mark
X2
a__plus
N
s
M
a__U11
tt
M
N
a__U22
tt
M
N
a__x
mark
N
mark
M
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
mark
tt
tt
a__x
N
s
M
a__U21
tt
M
N
a__U11
tt
M
N
a__U12
tt
M
N
a__U21
tt
M
N
a__U22
tt
M
N
mark
s
X
s
mark
X
a__U21
X1
X2
X3
U21
X1
X2
X3
a__U12
X1
X2
X3
U12
X1
X2
X3
mark
0
0
a__U22
X1
X2
X3
U22
X1
X2
X3
a__plus
N
0
mark
N
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__x
N
0
0
a__plus
X1
X2
plus
X1
X2
mark
x
X1
X2
a__x
mark
X1
mark
X2
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
a__x
X1
X2
x
X1
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__plus
N
s
M
a__U11
tt
M
N
a__U12
tt
M
N
s
a__plus
mark
N
mark
M
a__U22
tt
M
N
a__x
mark
N
mark
M
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
a__x
N
s
M
a__U21
tt
M
N
a__U11
tt
M
N
a__U12
tt
M
N
a__U21
tt
M
N
a__U22
tt
M
N
mark
s
X
mark
X
a__plus
N
0
mark
N
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
mark
x
X1
X2
a__x
mark
X1
mark
X2
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
plus
X1
X2
mark
X1
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__plus
N
s
M
a__U11
tt
M
N
a__U12
tt
M
N
mark
N
a__U12
tt
M
N
a__plus
mark
N
mark
M
true
a__U11
3
3
a__U12
3
3
a__plus
2
1
mark
1
1
mark
1
1
a__plus
2
3
1
2
U21
3
4
3
2
1
U11
3
3
3
2
1
s
1
0
1
a__x
2
4
1
2
a__U22
3
4
3
2
1
a__x
2
4
1
2
U12
3
3
3
2
1
x
2
4
1
2
a__U21
3
4
3
2
1
0
0
2
a__U21
3
4
3
2
1
a__U11
3
3
3
2
1
a__U12
3
3
3
2
1
plus
2
3
1
2
a__U22
3
4
3
2
tt
0
2
U22
3
4
3
2
1
a__plus
2
1
0
2
0
0
U21
3
1
0
2
0
3
0
0
U11
3
1
0
2
0
3
0
0
s
1
1
0
a__x
2
1
0
2
0
0
a__U22
3
1
0
2
0
3
0
0
a__x
2
1
0
2
0
0
U12
3
1
0
2
0
3
0
0
x
2
1
0
2
0
0
a__U21
3
1
0
2
0
3
0
0
0
0
0
a__U21
3
1
0
2
0
3
0
0
a__U11
3
1
0
2
0
3
0
0
a__U12
3
1
0
2
0
3
0
0
plus
2
1
0
2
0
0
a__U22
3
2
0
3
0
0
tt
0
0
U22
3
1
0
2
0
3
0
0
a__U12
tt
M
N
a__plus
mark
N
mark
M
a__U12
tt
M
N
mark
N
a__plus
N
s
M
a__U11
tt
M
N
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
mark
x
X1
X2
a__x
mark
X1
mark
X2
a__plus
N
0
mark
N
a__U11
tt
M
N
a__U12
tt
M
N
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
a__U22
tt
M
N
a__x
mark
N
mark
M
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
mark
tt
tt
a__x
N
s
M
a__U21
tt
M
N
a__U11
tt
M
N
a__U12
tt
M
N
a__U21
tt
M
N
a__U22
tt
M
N
mark
s
X
s
mark
X
a__U21
X1
X2
X3
U21
X1
X2
X3
a__U12
X1
X2
X3
U12
X1
X2
X3
mark
0
0
a__U22
X1
X2
X3
U22
X1
X2
X3
a__plus
N
0
mark
N
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__x
N
0
0
a__plus
X1
X2
plus
X1
X2
mark
x
X1
X2
a__x
mark
X1
mark
X2
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
a__x
X1
X2
x
X1
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__plus
N
s
M
a__U11
tt
M
N
a__U12
tt
M
N
s
a__plus
mark
N
mark
M
a__U22
tt
M
N
a__x
mark
N
mark
M
false
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
false
a__U11
tt
M
N
a__U12
tt
M
N
a__plus
N
s
M
a__U11
tt
M
N
a__U12
tt
M
N
a__plus
mark
N
mark
M
true
a__U11
3
2
a__U12
3
2
a__plus
2
2
mark
1
1
mark
1
1
a__plus
2
4
1
2
U21
3
5
3
2
1
U11
3
4
3
2
1
s
1
3
1
a__x
2
4
1
2
a__U22
3
5
3
2
1
a__x
2
5
1
2
U12
3
4
3
2
1
x
2
5
1
2
a__U21
3
4
3
2
1
0
0
1
a__U21
3
5
3
2
1
a__U11
3
4
3
2
1
a__U12
3
4
3
2
1
plus
2
4
1
2
a__U22
3
4
3
2
tt
0
2
U22
3
5
3
2
1
a__plus
2
1
0
2
0
0
U21
3
1
0
2
0
3
0
0
U11
3
1
0
2
0
3
0
0
s
1
1
0
a__x
2
1
0
2
0
0
a__U22
3
1
0
2
0
3
0
0
a__x
2
1
0
2
0
0
U12
3
1
0
2
0
3
0
0
x
2
1
0
2
0
0
a__U21
3
1
0
2
0
3
0
0
0
0
0
a__U21
3
1
0
2
0
3
0
0
a__U11
3
1
0
2
0
3
0
0
a__U12
3
1
0
2
0
3
0
0
plus
2
1
0
2
0
0
a__U22
3
2
0
3
0
0
tt
0
0
U22
3
1
0
2
0
3
0
0
a__U12
tt
M
N
a__plus
mark
N
mark
M
a__U11
tt
M
N
a__U12
tt
M
N
a__U11
X1
X2
X3
U11
X1
X2
X3
a__U22
tt
M
N
a__plus
a__x
mark
N
mark
M
mark
N
mark
tt
tt
a__x
N
s
M
a__U21
tt
M
N
a__U11
tt
M
N
a__U12
tt
M
N
a__U21
tt
M
N
a__U22
tt
M
N
mark
s
X
s
mark
X
a__U21
X1
X2
X3
U21
X1
X2
X3
a__U12
X1
X2
X3
U12
X1
X2
X3
mark
0
0
a__U22
X1
X2
X3
U22
X1
X2
X3
a__plus
N
0
mark
N
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__x
N
0
0
a__plus
X1
X2
plus
X1
X2
mark
x
X1
X2
a__x
mark
X1
mark
X2
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
a__x
X1
X2
x
X1
X2
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U22
X1
X2
X3
a__U22
mark
X1
X2
X3
a__plus
N
s
M
a__U11
tt
M
N
a__U12
tt
M
N
s
a__plus
mark
N
mark
M
a__U11
tt
M
N
a__U12
tt
M
N
false
a__U12
tt
M
N
a__plus
mark
N
mark
M
false
a__U12
tt
M
N
mark
N
false
a__plus
N
0
mark
N
false
mark
U21
X1
X2
X3
a__U21
mark
X1
X2
X3
false
mark
x
X1
X2
a__x
mark
X1
mark
X2
false
NaTT
certifiable-1.6