a
x1
x1
o
x1
x1
l
x1
x1
S
x1
x1
+
x1
x2
x2
+
x1
x2
x1
P
x1
x2
x2
P
x1
x2
x1
M
x1
x2
x2
M
x1
x2
x1
J1
x1
x2
x2
J1
x1
x2
x1
Q11
x1
x2
x2
Q11
x1
x2
x1
R1
x1
x2
x3
x3
R1
x1
x2
x3
x2
R1
x1
x2
x3
x1
P
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
P
x1
l
x2
a
P
x1
x2
P
l
x1
x2
+
x
o
y
o
+
x
y
P
x1
o
x2
o
P
x1
x2
P
o
x1
x2
o
P
x1
x2
M
x1
l
y
+
M
x1
y
P
x1
y
J1
l
x1
y
P
J1
x1
y
0
a
S
x
o
x
P
0
S
y
o
M
0
y
P
0
P
x1
y
o
M
x1
y
P
S
x1
y
o
J1
x1
y
P
S
x1
S
y
o
J1
x1
P
S
x1
y
a
P
x1
0
Q11
a
x1
x1
Q11
o
x1
y
o
P
x1
y
a
P
x1
S
y
R1
a
x1
x1
y
R1
o
x1
y
z
o
P
x1
P
y
z
2.2
+
x
o
y
+
x
y
+
x
S
y
+
x
y
a
P
x1
0
Q11
a
x1
x1
o
x
l
x
P
0
P
x1
y
o
M
x1
y
+
x
S
y
S
+
x
y
M
x1
l
y
P
x1
y
a
P
x1
x2
P
x1
l
x2
P
0
P
x1
y
M
x1
y
l
o
x
o
l
l
x
a
P
x1
x2
l
x2
R1
o
x1
y
z
P
x1
P
y
z
M
x1
l
y
M
x1
y
P
0
0
S
0
P
S
x1
S
y
J1
x1
P
S
x1
y
a
P
x1
S
y
a
x1
P
S
x1
y
J1
x1
y
a
+
x
y
+
l
x
y
P
x1
o
x2
P
x1
x2
a
+
x
y
l
y
P
S
x1
S
y
o
J1
x1
P
S
x1
y
J1
l
x1
y
P
J1
x1
y
0
P
S
x1
S
y
P
S
x1
y
a
P
x1
0
a
x1
l
o
x
l
l
x
a
+
x
y
l
x
P
o
x1
x2
o
P
x1
x2
R1
o
x1
y
z
P
y
z
M
x1
l
y
+
M
x1
y
P
x1
y
P
S
x1
y
o
J1
x1
y
a
P
x1
x2
P
l
x1
x2
R1
o
x1
y
z
o
P
x1
P
y
z
a
+
x
y
+
x
l
y
a
l
x
a
x
P
x1
o
x2
o
P
x1
x2
a
P
x1
x2
l
x1
a
l
x
a
a
x
a
S
x
S
l
x
J1
l
x1
y
J1
x1
y
l
x
a
x
a
l
x
l
a
a
x
a
S
x
o
x
P
o
x1
x2
P
x1
x2
Q11
o
x1
y
P
x1
y
P
0
S
y
o
M
0
y
+
x
o
y
o
+
x
y
a
P
x1
S
y
R1
a
x1
x1
y
Q11
o
x1
y
o
P
x1
y
P
0
S
y
M
0
y
l
o
x
l
x
a
S
x
l
x
true
a
S
x
l
x
l
o
x
l
x
a
+
x
y
l
x
l
o
x
l
l
x
P
0
S
y
M
0
y
a
P
x1
0
a
x1
P
S
x1
S
y
P
S
x1
y
Q11
o
x1
y
o
P
x1
y
J1
l
x1
y
P
J1
x1
y
0
P
S
x1
S
y
o
J1
x1
P
S
x1
y
a
P
x1
S
y
R1
a
x1
x1
y
a
+
x
y
l
y
+
x
o
y
o
+
x
y
P
x1
o
x2
P
x1
x2
P
0
S
y
o
M
0
y
a
+
x
y
+
l
x
y
Q11
o
x1
y
P
x1
y
P
o
x1
x2
P
x1
x2
a
S
x
o
x
a
l
x
l
a
a
x
P
S
x1
y
J1
x1
y
a
P
x1
S
y
a
x1
P
S
x1
S
y
J1
x1
P
S
x1
y
J1
l
x1
y
J1
x1
y
l
x
a
x
M
x1
l
y
M
x1
y
R1
o
x1
y
z
P
x1
P
y
z
a
l
x
a
a
x
a
P
x1
x2
l
x2
a
P
x1
x2
l
x1
l
o
x
o
l
l
x
P
x1
o
x2
o
P
x1
x2
a
l
x
a
x
P
0
P
x1
y
M
x1
y
a
+
x
y
+
x
l
y
R1
o
x1
y
z
o
P
x1
P
y
z
a
P
x1
x2
P
x1
l
x2
a
P
x1
x2
P
l
x1
x2
M
x1
l
y
P
x1
y
P
S
x1
y
o
J1
x1
y
P
0
P
x1
y
o
M
x1
y
M
x1
l
y
+
M
x1
y
P
x1
y
R1
o
x1
y
z
P
y
z
o
x
l
x
a
P
x1
0
Q11
a
x1
x1
+
x
S
y
+
x
y
+
x
o
y
+
x
y
P
o
x1
x2
o
P
x1
x2
true
Failed!
NaTT
certifiable-1.6