plus
s
X
plus
Y
Z
plus
X
plus
s
s
Y
Z
plus
s
X1
plus
X2
plus
X3
X4
plus
X1
plus
X3
plus
X2
X4
2.2
plus
s
X1
plus
X2
plus
X3
X4
plus
X3
plus
X2
X4
plus
s
X
plus
Y
Z
plus
s
s
Y
Z
plus
s
X1
plus
X2
plus
X3
X4
plus
X2
X4
plus
s
X1
plus
X2
plus
X3
X4
plus
X1
plus
X3
plus
X2
X4
plus
s
X
plus
Y
Z
plus
X
plus
s
s
Y
Z
true
plus
s
X
plus
Y
Z
plus
X
plus
s
s
Y
Z
plus
s
X1
plus
X2
plus
X3
X4
plus
X1
plus
X3
plus
X2
X4
plus
s
X1
plus
X2
plus
X3
X4
plus
X2
X4
plus
s
X
plus
Y
Z
plus
s
s
Y
Z
plus
s
X1
plus
X2
plus
X3
X4
plus
X3
plus
X2
X4
true
s
1
1
plus
2
2
0
plus
2
2
7722
plus
s
X1
plus
X2
plus
X3
X4
plus
X1
plus
X3
plus
X2
X4
plus
s
X
plus
Y
Z
plus
X
plus
s
s
Y
Z
plus
s
X
plus
Y
Z
plus
X
plus
s
s
Y
Z
plus
s
X1
plus
X2
plus
X3
X4
plus
X1
plus
X3
plus
X2
X4
plus
s
X
plus
Y
Z
plus
X
plus
s
s
Y
Z
plus
s
X1
plus
X2
plus
X3
X4
plus
X1
plus
X3
plus
X2
X4
true
s
1
1
1
plus
2
1
2
0
plus
2
2
23676
plus
s
X
plus
Y
Z
plus
X
plus
s
s
Y
Z
plus
s
X1
plus
X2
plus
X3
X4
plus
X1
plus
X3
plus
X2
X4
NaTT
certifiable-1.6