a__U11
tt
M
N
a__U12
tt
M
N
a__U12
tt
M
N
s
a__plus
mark
N
mark
M
a__plus
N
0
mark
N
a__plus
N
s
M
a__U11
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
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
2.2
a__U12
tt
M
N
mark
N
mark
s
X
mark
X
a__U11
tt
M
N
a__U12
tt
M
N
mark
plus
X1
X2
mark
X2
mark
U11
X1
X2
X3
mark
X1
a__plus
N
0
mark
N
a__plus
N
s
M
a__U11
tt
M
N
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
mark
X1
a__U12
tt
M
N
mark
M
a__U12
tt
M
N
a__plus
mark
N
mark
M
mark
plus
X1
X2
mark
X1
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
true
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
a__plus
N
s
M
a__U11
tt
M
N
a__plus
N
0
mark
N
mark
plus
X1
X2
mark
X1
a__U12
tt
M
N
a__plus
mark
N
mark
M
a__U12
tt
M
N
mark
M
mark
U11
X1
X2
X3
mark
X1
mark
plus
X1
X2
mark
X2
a__U11
tt
M
N
a__U12
tt
M
N
mark
s
X
mark
X
mark
U12
X1
X2
X3
mark
X1
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__U12
tt
M
N
mark
N
true
a__plus
2
1
2
1324
U11
3
1
2
3
21658
s
1
1
64698
a__U11
3
2
3
3
U12
3
1
2
3
21658
a__U12
3
2
3
3
a__plus
2
1
2
2
mark
1
1
3
0
0
2
mark
1
1
0
a__U11
3
1
2
3
21658
a__U12
3
1
2
3
21658
plus
2
1
2
1324
tt
0
44364
a__U12
tt
M
N
mark
N
a__U11
tt
M
N
a__U12
tt
M
N
a__U12
tt
M
N
mark
M
a__plus
N
s
M
a__U11
tt
M
N
mark
tt
tt
a__U11
tt
M
N
a__U12
tt
M
N
a__plus
N
0
mark
N
mark
U11
X1
X2
X3
a__U11
mark
X1
X2
X3
mark
0
0
mark
plus
X1
X2
a__plus
mark
X1
mark
X2
a__U12
X1
X2
X3
U12
X1
X2
X3
a__U11
X1
X2
X3
U11
X1
X2
X3
mark
s
X
s
mark
X
a__plus
X1
X2
plus
X1
X2
mark
U12
X1
X2
X3
a__U12
mark
X1
X2
X3
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
mark
M
false
a__U12
tt
M
N
mark
N
false
NaTT
certifiable-1.6