a
x1
x1
o
x1
x1
l
x1
x1
S
x1
x1
+
x1
x2
x2
+
x1
x2
x1
P
x1
x2
x3
x3
P
x1
x2
x3
x2
P
x1
x2
x3
x1
M
x1
x2
x3
x3
M
x1
x2
x3
x2
M
x1
x2
x3
x1
J1
x1
x2
x2
J1
x1
x2
x1
J2
x1
x2
x3
x3
J2
x1
x2
x3
x2
J2
x1
x2
x3
x1
Q11
x1
x2
x2
Q11
x1
x2
x1
Q21
x1
x2
x3
x3
Q21
x1
x2
x3
x2
Q21
x1
x2
x3
x1
Q22
x1
x2
x3
x3
Q22
x1
x2
x3
x2
Q22
x1
x2
x3
x1
R1
x1
x2
x3
x3
R1
x1
x2
x3
x2
R1
x1
x2
x3
x1
R2
x1
x2
x3
x4
x4
R2
x1
x2
x3
x4
x3
R2
x1
x2
x3
x4
x2
R2
x1
x2
x3
x4
x1
P
0
0
0
S
0
+
x
S
y
S
+
x
y
a
l
x
l
a
a
x
l
o
x
o
l
l
x
o
x
l
x
l
x
a
x
a
S
x
S
l
x
a
+
x
y
+
l
x
y
a
+
x
y
+
x
l
y
a
P
x1
x2
x3
P
x1
x2
l
x3
a
P
x1
x2
x3
P
x1
l
x2
x3
a
P
x1
x2
x3
P
l
x1
x2
x3
+
x
o
y
o
+
x
y
P
x1
x2
o
x3
o
P
x1
x2
x3
P
x1
o
x2
x3
o
P
x1
x2
x3
P
o
x1
x2
x3
o
P
x1
x2
x3
M
x1
x2
l
y
+
M
x1
x2
y
P
x1
x2
y
J2
x1
l
x2
y
P
x1
J2
x1
x2
y
0
J1
l
x1
y
P
J1
x1
y
0
0
a
S
x
o
x
P
0
0
S
y
o
M
0
0
y
P
0
0
P
x1
x2
y
o
M
x1
x2
y
P
x1
S
x2
y
o
J2
x1
x2
y
P
S
x1
0
y
o
J1
x1
y
P
x1
S
x2
S
y
o
J2
x1
x2
P
x1
S
x2
y
P
S
x1
0
S
y
o
J1
x1
P
S
x1
0
y
a
P
x1
x2
0
Q22
x1
a
x2
x2
a
P
x1
x2
0
Q21
x1
a
x2
x1
a
P
x1
0
0
Q11
a
x1
x1
Q22
x1
o
x2
y
o
P
x1
x2
y
Q21
x1
o
x2
y
o
P
x1
x2
y
Q11
o
x1
y
o
P
x1
0
y
a
P
x1
x2
S
y
R2
x1
a
x2
x2
y
a
P
x1
0
S
y
R1
a
x1
x1
y
R2
x1
o
x2
y
z
o
P
x1
x2
P
x1
y
z
R1
o
x1
y
z
o
P
x1
0
P
y
0
z
2.2
a
P
x1
x2
x3
l
x2
P
S
x1
0
y
o
J1
x1
y
P
x1
S
x2
y
o
J2
x1
x2
y
a
+
x
y
l
x
R1
o
x1
y
z
o
P
x1
0
P
y
0
z
Q22
x1
o
x2
y
P
x1
x2
y
+
x
o
y
+
x
y
+
x
o
y
o
+
x
y
J1
l
x1
y
J1
x1
y
P
0
0
P
x1
x2
y
M
x1
x2
y
a
S
x
o
x
Q11
o
x1
y
o
P
x1
0
y
l
o
x
l
x
M
x1
x2
l
y
+
M
x1
x2
y
P
x1
x2
y
J2
x1
l
x2
y
J2
x1
x2
y
J2
x1
l
x2
y
P
x1
J2
x1
x2
y
0
a
P
x1
x2
S
y
R2
x1
a
x2
x2
y
+
x
S
y
+
x
y
P
x1
S
x2
S
y
o
J2
x1
x2
P
x1
S
x2
y
a
P
x1
0
S
y
R1
a
x1
x1
y
a
P
x1
x2
S
y
a
x2
P
0
0
0
S
0
R1
o
x1
y
z
P
x1
0
P
y
0
z
P
x1
S
x2
S
y
P
x1
S
x2
y
a
S
x
S
l
x
a
+
x
y
l
y
P
x1
x2
o
x3
P
x1
x2
x3
a
P
x1
x2
x3
l
x3
a
P
x1
x2
x3
l
x1
a
P
x1
0
0
Q11
a
x1
x1
l
o
x
l
l
x
P
S
x1
0
S
y
P
S
x1
0
y
Q22
x1
o
x2
y
o
P
x1
x2
y
l
o
x
o
l
l
x
a
+
x
y
+
x
l
y
R2
x1
o
x2
y
z
o
P
x1
x2
P
x1
y
z
a
P
x1
x2
x3
P
l
x1
x2
x3
o
x
l
x
a
P
x1
x2
0
Q21
x1
a
x2
x1
P
x1
S
x2
y
J2
x1
x2
y
a
S
x
l
x
M
x1
x2
l
y
M
x1
x2
y
a
P
x1
0
0
a
x1
P
o
x1
x2
x3
P
x1
x2
x3
a
P
x1
0
S
y
a
x1
P
x1
S
x2
S
y
J2
x1
x2
P
x1
S
x2
y
a
P
x1
x2
x3
P
x1
x2
l
x3
Q21
x1
o
x2
y
o
P
x1
x2
y
R2
x1
o
x2
y
z
P
x1
y
z
P
0
0
P
x1
x2
y
o
M
x1
x2
y
a
l
x
a
x
P
S
x1
0
y
J1
x1
y
Q21
x1
o
x2
y
P
x1
x2
y
a
P
x1
x2
0
a
x2
P
S
x1
0
S
y
J1
x1
P
S
x1
0
y
a
+
x
y
+
l
x
y
a
P
x1
x2
0
Q22
x1
a
x2
x2
+
x
S
y
S
+
x
y
P
0
0
S
y
o
M
0
0
y
R2
x1
o
x2
y
z
P
x1
x2
P
x1
y
z
P
o
x1
x2
x3
o
P
x1
x2
x3
a
P
x1
x2
0
a
x2
l
x
a
x
R1
o
x1
y
z
P
y
0
z
J1
l
x1
y
P
J1
x1
y
0
0
P
S
x1
0
S
y
o
J1
x1
P
S
x1
0
y
P
x1
o
x2
x3
P
x1
x2
x3
a
l
x
l
a
a
x
a
P
x1
x2
x3
P
x1
l
x2
x3
Q11
o
x1
y
P
x1
0
y
P
x1
x2
o
x3
o
P
x1
x2
x3
P
x1
o
x2
x3
o
P
x1
x2
x3
a
l
x
a
a
x
M
x1
x2
l
y
P
x1
x2
y
P
0
0
S
y
M
0
0
y
true
P
0
0
S
y
M
0
0
y
M
x1
x2
l
y
P
x1
x2
y
a
P
x1
0
0
a
x1
a
S
x
l
x
M
x1
x2
l
y
M
x1
x2
y
a
l
x
a
a
x
a
P
x1
x2
0
Q21
x1
a
x2
x1
P
x1
S
x2
y
J2
x1
x2
y
o
x
l
x
P
x1
o
x2
x3
o
P
x1
x2
x3
a
P
x1
x2
x3
P
l
x1
x2
x3
R2
x1
o
x2
y
z
o
P
x1
x2
P
x1
y
z
a
+
x
y
+
x
l
y
l
o
x
o
l
l
x
P
x1
x2
o
x3
o
P
x1
x2
x3
Q22
x1
o
x2
y
o
P
x1
x2
y
Q11
o
x1
y
P
x1
0
y
a
P
x1
x2
x3
P
x1
l
x2
x3
P
S
x1
0
S
y
P
S
x1
0
y
l
o
x
l
l
x
a
l
x
l
a
a
x
a
P
x1
0
0
Q11
a
x1
x1
P
x1
o
x2
x3
P
x1
x2
x3
P
S
x1
0
S
y
o
J1
x1
P
S
x1
0
y
J1
l
x1
y
P
J1
x1
y
0
0
a
P
x1
x2
x3
l
x1
R1
o
x1
y
z
P
y
0
z
l
x
a
x
a
P
x1
x2
x3
l
x3
P
x1
x2
o
x3
P
x1
x2
x3
a
+
x
y
l
y
a
P
x1
x2
0
a
x2
R2
x1
o
x2
y
z
P
x1
x2
P
x1
y
z
P
o
x1
x2
x3
o
P
x1
x2
x3
P
0
0
S
y
o
M
0
0
y
P
x1
S
x2
S
y
P
x1
S
x2
y
R1
o
x1
y
z
P
x1
0
P
y
0
z
a
P
x1
x2
S
y
a
x2
a
P
x1
0
S
y
R1
a
x1
x1
y
a
P
x1
x2
0
Q22
x1
a
x2
x2
+
x
S
y
+
x
y
P
x1
S
x2
S
y
o
J2
x1
x2
P
x1
S
x2
y
a
P
x1
x2
S
y
R2
x1
a
x2
x2
y
J2
x1
l
x2
y
P
x1
J2
x1
x2
y
0
a
+
x
y
+
l
x
y
J2
x1
l
x2
y
J2
x1
x2
y
M
x1
x2
l
y
+
M
x1
x2
y
P
x1
x2
y
l
o
x
l
x
P
S
x1
0
S
y
J1
x1
P
S
x1
0
y
Q11
o
x1
y
o
P
x1
0
y
a
P
x1
x2
0
a
x2
Q21
x1
o
x2
y
P
x1
x2
y
P
0
0
P
x1
x2
y
M
x1
x2
y
a
S
x
o
x
P
S
x1
0
y
J1
x1
y
a
l
x
a
x
P
0
0
P
x1
x2
y
o
M
x1
x2
y
J1
l
x1
y
J1
x1
y
Q21
x1
o
x2
y
o
P
x1
x2
y
R2
x1
o
x2
y
z
P
x1
y
z
+
x
o
y
o
+
x
y
+
x
o
y
+
x
y
a
P
x1
x2
x3
P
x1
x2
l
x3
Q22
x1
o
x2
y
P
x1
x2
y
R1
o
x1
y
z
o
P
x1
0
P
y
0
z
P
x1
S
x2
S
y
J2
x1
x2
P
x1
S
x2
y
a
P
x1
0
S
y
a
x1
a
+
x
y
l
x
P
x1
S
x2
y
o
J2
x1
x2
y
P
S
x1
0
y
o
J1
x1
y
a
P
x1
x2
x3
l
x2
P
o
x1
x2
x3
P
x1
x2
x3
true
Failed!
NaTT
certifiable-1.6