a
x1
x1
o
x1
x1
l
x1
x1
S
x1
x1
+
x1
x2
x2
+
x1
x2
x1
P
x1
x2
x3
x4
x5
x6
x7
x7
P
x1
x2
x3
x4
x5
x6
x7
x6
P
x1
x2
x3
x4
x5
x6
x7
x5
P
x1
x2
x3
x4
x5
x6
x7
x4
P
x1
x2
x3
x4
x5
x6
x7
x3
P
x1
x2
x3
x4
x5
x6
x7
x2
P
x1
x2
x3
x4
x5
x6
x7
x1
M
x1
x2
x3
x4
x5
x6
x7
x7
M
x1
x2
x3
x4
x5
x6
x7
x6
M
x1
x2
x3
x4
x5
x6
x7
x5
M
x1
x2
x3
x4
x5
x6
x7
x4
M
x1
x2
x3
x4
x5
x6
x7
x3
M
x1
x2
x3
x4
x5
x6
x7
x2
M
x1
x2
x3
x4
x5
x6
x7
x1
J1
x1
x2
x2
J1
x1
x2
x1
J2
x1
x2
x3
x3
J2
x1
x2
x3
x2
J2
x1
x2
x3
x1
J3
x1
x2
x3
x4
x4
J3
x1
x2
x3
x4
x3
J3
x1
x2
x3
x4
x2
J3
x1
x2
x3
x4
x1
J4
x1
x2
x3
x4
x5
x5
J4
x1
x2
x3
x4
x5
x4
J4
x1
x2
x3
x4
x5
x3
J4
x1
x2
x3
x4
x5
x2
J4
x1
x2
x3
x4
x5
x1
J5
x1
x2
x3
x4
x5
x6
x6
J5
x1
x2
x3
x4
x5
x6
x5
J5
x1
x2
x3
x4
x5
x6
x4
J5
x1
x2
x3
x4
x5
x6
x3
J5
x1
x2
x3
x4
x5
x6
x2
J5
x1
x2
x3
x4
x5
x6
x1
J6
x1
x2
x3
x4
x5
x6
x7
x7
J6
x1
x2
x3
x4
x5
x6
x7
x6
J6
x1
x2
x3
x4
x5
x6
x7
x5
J6
x1
x2
x3
x4
x5
x6
x7
x4
J6
x1
x2
x3
x4
x5
x6
x7
x3
J6
x1
x2
x3
x4
x5
x6
x7
x2
J6
x1
x2
x3
x4
x5
x6
x7
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
Q31
x1
x2
x3
x4
x4
Q31
x1
x2
x3
x4
x3
Q31
x1
x2
x3
x4
x2
Q31
x1
x2
x3
x4
x1
Q32
x1
x2
x3
x4
x4
Q32
x1
x2
x3
x4
x3
Q32
x1
x2
x3
x4
x2
Q32
x1
x2
x3
x4
x1
Q33
x1
x2
x3
x4
x4
Q33
x1
x2
x3
x4
x3
Q33
x1
x2
x3
x4
x2
Q33
x1
x2
x3
x4
x1
Q41
x1
x2
x3
x4
x5
x5
Q41
x1
x2
x3
x4
x5
x4
Q41
x1
x2
x3
x4
x5
x3
Q41
x1
x2
x3
x4
x5
x2
Q41
x1
x2
x3
x4
x5
x1
Q42
x1
x2
x3
x4
x5
x5
Q42
x1
x2
x3
x4
x5
x4
Q42
x1
x2
x3
x4
x5
x3
Q42
x1
x2
x3
x4
x5
x2
Q42
x1
x2
x3
x4
x5
x1
Q43
x1
x2
x3
x4
x5
x5
Q43
x1
x2
x3
x4
x5
x4
Q43
x1
x2
x3
x4
x5
x3
Q43
x1
x2
x3
x4
x5
x2
Q43
x1
x2
x3
x4
x5
x1
Q44
x1
x2
x3
x4
x5
x5
Q44
x1
x2
x3
x4
x5
x4
Q44
x1
x2
x3
x4
x5
x3
Q44
x1
x2
x3
x4
x5
x2
Q44
x1
x2
x3
x4
x5
x1
Q51
x1
x2
x3
x4
x5
x6
x6
Q51
x1
x2
x3
x4
x5
x6
x5
Q51
x1
x2
x3
x4
x5
x6
x4
Q51
x1
x2
x3
x4
x5
x6
x3
Q51
x1
x2
x3
x4
x5
x6
x2
Q51
x1
x2
x3
x4
x5
x6
x1
Q52
x1
x2
x3
x4
x5
x6
x6
Q52
x1
x2
x3
x4
x5
x6
x5
Q52
x1
x2
x3
x4
x5
x6
x4
Q52
x1
x2
x3
x4
x5
x6
x3
Q52
x1
x2
x3
x4
x5
x6
x2
Q52
x1
x2
x3
x4
x5
x6
x1
Q53
x1
x2
x3
x4
x5
x6
x6
Q53
x1
x2
x3
x4
x5
x6
x5
Q53
x1
x2
x3
x4
x5
x6
x4
Q53
x1
x2
x3
x4
x5
x6
x3
Q53
x1
x2
x3
x4
x5
x6
x2
Q53
x1
x2
x3
x4
x5
x6
x1
Q54
x1
x2
x3
x4
x5
x6
x6
Q54
x1
x2
x3
x4
x5
x6
x5
Q54
x1
x2
x3
x4
x5
x6
x4
Q54
x1
x2
x3
x4
x5
x6
x3
Q54
x1
x2
x3
x4
x5
x6
x2
Q54
x1
x2
x3
x4
x5
x6
x1
Q55
x1
x2
x3
x4
x5
x6
x6
Q55
x1
x2
x3
x4
x5
x6
x5
Q55
x1
x2
x3
x4
x5
x6
x4
Q55
x1
x2
x3
x4
x5
x6
x3
Q55
x1
x2
x3
x4
x5
x6
x2
Q55
x1
x2
x3
x4
x5
x6
x1
Q61
x1
x2
x3
x4
x5
x6
x7
x7
Q61
x1
x2
x3
x4
x5
x6
x7
x6
Q61
x1
x2
x3
x4
x5
x6
x7
x5
Q61
x1
x2
x3
x4
x5
x6
x7
x4
Q61
x1
x2
x3
x4
x5
x6
x7
x3
Q61
x1
x2
x3
x4
x5
x6
x7
x2
Q61
x1
x2
x3
x4
x5
x6
x7
x1
Q62
x1
x2
x3
x4
x5
x6
x7
x7
Q62
x1
x2
x3
x4
x5
x6
x7
x6
Q62
x1
x2
x3
x4
x5
x6
x7
x5
Q62
x1
x2
x3
x4
x5
x6
x7
x4
Q62
x1
x2
x3
x4
x5
x6
x7
x3
Q62
x1
x2
x3
x4
x5
x6
x7
x2
Q62
x1
x2
x3
x4
x5
x6
x7
x1
Q63
x1
x2
x3
x4
x5
x6
x7
x7
Q63
x1
x2
x3
x4
x5
x6
x7
x6
Q63
x1
x2
x3
x4
x5
x6
x7
x5
Q63
x1
x2
x3
x4
x5
x6
x7
x4
Q63
x1
x2
x3
x4
x5
x6
x7
x3
Q63
x1
x2
x3
x4
x5
x6
x7
x2
Q63
x1
x2
x3
x4
x5
x6
x7
x1
Q64
x1
x2
x3
x4
x5
x6
x7
x7
Q64
x1
x2
x3
x4
x5
x6
x7
x6
Q64
x1
x2
x3
x4
x5
x6
x7
x5
Q64
x1
x2
x3
x4
x5
x6
x7
x4
Q64
x1
x2
x3
x4
x5
x6
x7
x3
Q64
x1
x2
x3
x4
x5
x6
x7
x2
Q64
x1
x2
x3
x4
x5
x6
x7
x1
Q65
x1
x2
x3
x4
x5
x6
x7
x7
Q65
x1
x2
x3
x4
x5
x6
x7
x6
Q65
x1
x2
x3
x4
x5
x6
x7
x5
Q65
x1
x2
x3
x4
x5
x6
x7
x4
Q65
x1
x2
x3
x4
x5
x6
x7
x3
Q65
x1
x2
x3
x4
x5
x6
x7
x2
Q65
x1
x2
x3
x4
x5
x6
x7
x1
Q66
x1
x2
x3
x4
x5
x6
x7
x7
Q66
x1
x2
x3
x4
x5
x6
x7
x6
Q66
x1
x2
x3
x4
x5
x6
x7
x5
Q66
x1
x2
x3
x4
x5
x6
x7
x4
Q66
x1
x2
x3
x4
x5
x6
x7
x3
Q66
x1
x2
x3
x4
x5
x6
x7
x2
Q66
x1
x2
x3
x4
x5
x6
x7
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
R3
x1
x2
x3
x4
x5
x5
R3
x1
x2
x3
x4
x5
x4
R3
x1
x2
x3
x4
x5
x3
R3
x1
x2
x3
x4
x5
x2
R3
x1
x2
x3
x4
x5
x1
R4
x1
x2
x3
x4
x5
x6
x6
R4
x1
x2
x3
x4
x5
x6
x5
R4
x1
x2
x3
x4
x5
x6
x4
R4
x1
x2
x3
x4
x5
x6
x3
R4
x1
x2
x3
x4
x5
x6
x2
R4
x1
x2
x3
x4
x5
x6
x1
R5
x1
x2
x3
x4
x5
x6
x7
x7
R5
x1
x2
x3
x4
x5
x6
x7
x6
R5
x1
x2
x3
x4
x5
x6
x7
x5
R5
x1
x2
x3
x4
x5
x6
x7
x4
R5
x1
x2
x3
x4
x5
x6
x7
x3
R5
x1
x2
x3
x4
x5
x6
x7
x2
R5
x1
x2
x3
x4
x5
x6
x7
x1
R6
x1
x2
x3
x4
x5
x6
x7
x8
x8
R6
x1
x2
x3
x4
x5
x6
x7
x8
x7
R6
x1
x2
x3
x4
x5
x6
x7
x8
x6
R6
x1
x2
x3
x4
x5
x6
x7
x8
x5
R6
x1
x2
x3
x4
x5
x6
x7
x8
x4
R6
x1
x2
x3
x4
x5
x6
x7
x8
x3
R6
x1
x2
x3
x4
x5
x6
x7
x8
x2
R6
x1
x2
x3
x4
x5
x6
x7
x8
x1
P
0
0
0
0
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
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
l
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
l
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
l
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
l
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
l
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
l
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
l
x1
x2
x3
x4
x5
x6
x7
+
x
o
y
o
+
x
y
P
x1
x2
x3
x4
x5
x6
o
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
o
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
o
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
o
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
o
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
x1
o
x2
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
o
x1
x2
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
M
x1
x2
x3
x4
x5
x6
l
y
+
M
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
x5
x6
y
J6
x1
x2
x3
x4
x5
l
x6
y
P
x1
x2
x3
x4
x5
J6
x1
x2
x3
x4
x5
x6
y
0
J5
x1
x2
x3
x4
l
x5
y
P
x1
x2
x3
x4
J5
x1
x2
x3
x4
x5
y
0
0
J4
x1
x2
x3
l
x4
y
P
x1
x2
x3
J4
x1
x2
x3
x4
y
0
0
0
J3
x1
x2
l
x3
y
P
x1
x2
J3
x1
x2
x3
y
0
0
0
0
J2
x1
l
x2
y
P
x1
J2
x1
x2
y
0
0
0
0
0
J1
l
x1
y
P
J1
x1
y
0
0
0
0
0
0
a
S
x
o
x
P
0
0
0
0
0
0
S
y
o
M
0
0
0
0
0
0
y
P
0
0
0
0
0
0
P
x1
x2
x3
x4
x5
x6
y
o
M
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
x5
S
x6
y
o
J6
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
S
x5
0
y
o
J5
x1
x2
x3
x4
x5
y
P
x1
x2
x3
S
x4
0
0
y
o
J4
x1
x2
x3
x4
y
P
x1
x2
S
x3
0
0
0
y
o
J3
x1
x2
x3
y
P
x1
S
x2
0
0
0
0
y
o
J2
x1
x2
y
P
S
x1
0
0
0
0
0
y
o
J1
x1
y
P
x1
x2
x3
x4
x5
S
x6
S
y
o
J6
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
S
x6
y
P
x1
x2
x3
x4
S
x5
0
S
y
o
J5
x1
x2
x3
x4
x5
P
x1
x2
x3
x4
S
x5
0
y
P
x1
x2
x3
S
x4
0
0
S
y
o
J4
x1
x2
x3
x4
P
x1
x2
x3
S
x4
0
0
y
P
x1
x2
S
x3
0
0
0
S
y
o
J3
x1
x2
x3
P
x1
x2
S
x3
0
0
0
y
P
x1
S
x2
0
0
0
0
S
y
o
J2
x1
x2
P
x1
S
x2
0
0
0
0
y
P
S
x1
0
0
0
0
0
S
y
o
J1
x1
P
S
x1
0
0
0
0
0
y
a
P
x1
x2
x3
x4
x5
x6
0
Q66
x1
x2
x3
x4
x5
a
x6
x6
a
P
x1
x2
x3
x4
x5
x6
0
Q65
x1
x2
x3
x4
x5
a
x6
x5
a
P
x1
x2
x3
x4
x5
x6
0
Q64
x1
x2
x3
x4
x5
a
x6
x4
a
P
x1
x2
x3
x4
x5
x6
0
Q63
x1
x2
x3
x4
x5
a
x6
x3
a
P
x1
x2
x3
x4
x5
x6
0
Q62
x1
x2
x3
x4
x5
a
x6
x2
a
P
x1
x2
x3
x4
x5
x6
0
Q61
x1
x2
x3
x4
x5
a
x6
x1
a
P
x1
x2
x3
x4
x5
0
0
Q55
x1
x2
x3
x4
a
x5
x5
a
P
x1
x2
x3
x4
x5
0
0
Q54
x1
x2
x3
x4
a
x5
x4
a
P
x1
x2
x3
x4
x5
0
0
Q53
x1
x2
x3
x4
a
x5
x3
a
P
x1
x2
x3
x4
x5
0
0
Q52
x1
x2
x3
x4
a
x5
x2
a
P
x1
x2
x3
x4
x5
0
0
Q51
x1
x2
x3
x4
a
x5
x1
a
P
x1
x2
x3
x4
0
0
0
Q44
x1
x2
x3
a
x4
x4
a
P
x1
x2
x3
x4
0
0
0
Q43
x1
x2
x3
a
x4
x3
a
P
x1
x2
x3
x4
0
0
0
Q42
x1
x2
x3
a
x4
x2
a
P
x1
x2
x3
x4
0
0
0
Q41
x1
x2
x3
a
x4
x1
a
P
x1
x2
x3
0
0
0
0
Q33
x1
x2
a
x3
x3
a
P
x1
x2
x3
0
0
0
0
Q32
x1
x2
a
x3
x2
a
P
x1
x2
x3
0
0
0
0
Q31
x1
x2
a
x3
x1
a
P
x1
x2
0
0
0
0
0
Q22
x1
a
x2
x2
a
P
x1
x2
0
0
0
0
0
Q21
x1
a
x2
x1
a
P
x1
0
0
0
0
0
0
Q11
a
x1
x1
Q66
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q65
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q64
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q63
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q62
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q61
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q55
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
Q54
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
Q53
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
Q52
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
Q51
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
Q44
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
Q43
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
Q42
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
Q41
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
Q33
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
Q32
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
Q31
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
Q22
x1
o
x2
y
o
P
x1
x2
0
0
0
0
y
Q21
x1
o
x2
y
o
P
x1
x2
0
0
0
0
y
Q11
o
x1
y
o
P
x1
0
0
0
0
0
y
a
P
x1
x2
x3
x4
x5
x6
S
y
R6
x1
x2
x3
x4
x5
a
x6
x6
y
a
P
x1
x2
x3
x4
x5
0
S
y
R5
x1
x2
x3
x4
a
x5
x5
y
a
P
x1
x2
x3
x4
0
0
S
y
R4
x1
x2
x3
a
x4
x4
y
a
P
x1
x2
x3
0
0
0
S
y
R3
x1
x2
a
x3
x3
y
a
P
x1
x2
0
0
0
0
S
y
R2
x1
a
x2
x2
y
a
P
x1
0
0
0
0
0
S
y
R1
a
x1
x1
y
R6
x1
x2
x3
x4
x5
o
x6
y
z
o
P
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
y
z
R5
x1
x2
x3
x4
o
x5
y
z
o
P
x1
x2
x3
x4
x5
0
P
x1
x2
x3
x4
y
0
z
R4
x1
x2
x3
o
x4
y
z
o
P
x1
x2
x3
x4
0
0
P
x1
x2
x3
y
0
0
z
R3
x1
x2
o
x3
y
z
o
P
x1
x2
x3
0
0
0
P
x1
x2
y
0
0
0
z
R2
x1
o
x2
y
z
o
P
x1
x2
0
0
0
0
P
x1
y
0
0
0
0
z
R1
o
x1
y
z
o
P
x1
0
0
0
0
0
P
y
0
0
0
0
0
z
2.2
P
S
x1
0
0
0
0
0
S
y
J1
x1
P
S
x1
0
0
0
0
0
y
+
x
o
y
+
x
y
a
P
x1
x2
x3
0
0
0
0
a
x3
a
P
x1
x2
x3
x4
x5
0
S
y
R5
x1
x2
x3
x4
a
x5
x5
y
Q66
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
a
+
x
y
+
x
l
y
a
P
x1
x2
0
0
0
0
0
Q22
x1
a
x2
x2
P
x1
S
x2
0
0
0
0
S
y
o
J2
x1
x2
P
x1
S
x2
0
0
0
0
y
a
P
x1
x2
x3
0
0
0
0
Q31
x1
x2
a
x3
x1
a
P
x1
x2
x3
0
0
0
0
Q32
x1
x2
a
x3
x2
Q32
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
P
o
x1
x2
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
0
Q61
x1
x2
x3
x4
x5
a
x6
x1
Q31
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
Q54
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
P
x1
x2
x3
x4
S
x5
0
S
y
o
J5
x1
x2
x3
x4
x5
P
x1
x2
x3
x4
S
x5
0
y
P
x1
x2
x3
x4
x5
S
x6
S
y
P
x1
x2
x3
x4
x5
S
x6
y
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
l
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
S
x6
y
o
J6
x1
x2
x3
x4
x5
x6
y
Q55
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
M
x1
x2
x3
x4
x5
x6
l
y
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
0
0
0
0
S
y
R2
x1
a
x2
x2
y
a
P
x1
x2
x3
0
0
0
0
a
x3
P
x1
x2
x3
S
x4
0
0
S
y
o
J4
x1
x2
x3
x4
P
x1
x2
x3
S
x4
0
0
y
P
0
0
0
0
0
0
0
S
0
a
P
x1
x2
x3
x4
x5
0
0
Q53
x1
x2
x3
x4
a
x5
x3
Q42
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
Q64
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
o
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
J1
l
x1
y
P
J1
x1
y
0
0
0
0
0
0
Q11
o
x1
y
P
x1
0
0
0
0
0
y
P
x1
x2
S
x3
0
0
0
S
y
o
J3
x1
x2
x3
P
x1
x2
S
x3
0
0
0
y
P
x1
S
x2
0
0
0
0
S
y
J2
x1
x2
P
x1
S
x2
0
0
0
0
y
P
x1
x2
x3
x4
x5
S
x6
S
y
o
J6
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
S
x6
y
a
P
x1
x2
0
0
0
0
S
y
a
x2
P
x1
x2
x3
x4
x5
o
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
0
0
Q51
x1
x2
x3
x4
a
x5
x1
P
x1
x2
x3
x4
o
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
S
x6
S
y
J6
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
S
x6
y
a
S
x
l
x
J4
x1
x2
x3
l
x4
y
J4
x1
x2
x3
x4
y
P
x1
x2
x3
x4
S
x5
0
S
y
J5
x1
x2
x3
x4
x5
P
x1
x2
x3
x4
S
x5
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
P
l
x1
x2
x3
x4
x5
x6
x7
Q52
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
Q32
x1
x2
o
x3
y
P
x1
x2
x3
0
0
0
y
Q62
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
S
x4
0
0
y
o
J4
x1
x2
x3
x4
y
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
l
x4
x5
x6
x7
Q44
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
a
P
x1
x2
x3
x4
x5
0
0
a
x5
P
x1
x2
x3
S
x4
0
0
S
y
P
x1
x2
x3
S
x4
0
0
y
a
P
x1
x2
x3
0
0
0
0
a
x3
a
P
x1
x2
x3
x4
0
0
0
Q43
x1
x2
x3
a
x4
x3
P
x1
x2
x3
x4
x5
x6
o
x7
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
0
0
0
0
0
a
x2
a
P
x1
x2
x3
x4
x5
x6
0
Q66
x1
x2
x3
x4
x5
a
x6
x6
Q54
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
M
x1
x2
x3
x4
x5
x6
l
y
M
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
l
x2
x3
x4
x5
x6
x7
l
o
x
l
l
x
R3
x1
x2
o
x3
y
z
o
P
x1
x2
x3
0
0
0
P
x1
x2
y
0
0
0
z
R6
x1
x2
x3
x4
x5
o
x6
y
z
P
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
y
z
J3
x1
x2
l
x3
y
P
x1
x2
J3
x1
x2
x3
y
0
0
0
0
a
P
x1
x2
x3
x4
0
0
0
Q41
x1
x2
x3
a
x4
x1
Q55
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
Q62
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
Q53
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x4
P
x1
x2
S
x3
0
0
0
S
y
J3
x1
x2
x3
P
x1
x2
S
x3
0
0
0
y
a
P
x1
0
0
0
0
0
0
Q11
a
x1
x1
a
P
x1
x2
x3
x4
x5
0
0
a
x5
a
P
x1
x2
x3
0
0
0
0
Q33
x1
x2
a
x3
x3
R2
x1
o
x2
y
z
P
x1
y
0
0
0
0
z
Q61
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
x6
0
Q64
x1
x2
x3
x4
x5
a
x6
x4
o
x
l
x
Q61
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
P
x1
o
x2
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
l
x6
x7
R1
o
x1
y
z
P
x1
0
0
0
0
0
P
y
0
0
0
0
0
z
R5
x1
x2
x3
x4
o
x5
y
z
o
P
x1
x2
x3
x4
x5
0
P
x1
x2
x3
x4
y
0
z
Q22
x1
o
x2
y
P
x1
x2
0
0
0
0
y
Q31
x1
x2
o
x3
y
P
x1
x2
x3
0
0
0
y
J3
x1
x2
l
x3
y
J3
x1
x2
x3
y
Q33
x1
x2
o
x3
y
P
x1
x2
x3
0
0
0
y
a
P
x1
x2
x3
x4
x5
0
0
a
x5
J5
x1
x2
x3
x4
l
x5
y
J5
x1
x2
x3
x4
x5
y
a
P
x1
x2
x3
0
0
0
S
y
R3
x1
x2
a
x3
x3
y
a
P
x1
x2
x3
x4
0
0
0
a
x4
J6
x1
x2
x3
x4
x5
l
x6
y
P
x1
x2
x3
x4
x5
J6
x1
x2
x3
x4
x5
x6
y
0
P
x1
x2
x3
x4
x5
S
x6
y
J6
x1
x2
x3
x4
x5
x6
y
R5
x1
x2
x3
x4
o
x5
y
z
P
x1
x2
x3
x4
x5
0
P
x1
x2
x3
x4
y
0
z
Q53
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
M
x1
x2
x3
x4
x5
x6
l
y
+
M
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
0
0
0
a
x4
a
P
x1
x2
x3
x4
x5
x6
x7
l
x6
a
S
x
o
x
R3
x1
x2
o
x3
y
z
P
x1
x2
x3
0
0
0
P
x1
x2
y
0
0
0
z
a
P
x1
x2
0
0
0
0
0
Q21
x1
a
x2
x1
a
+
x
y
l
x
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
l
x7
a
P
x1
x2
x3
x4
x5
0
S
y
a
x5
Q33
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
l
o
x
l
x
J1
l
x1
y
J1
x1
y
a
P
x1
x2
x3
x4
0
0
0
Q42
x1
x2
x3
a
x4
x2
a
P
x1
x2
x3
x4
x5
x6
S
y
R6
x1
x2
x3
x4
x5
a
x6
x6
y
Q44
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x2
P
x1
o
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
0
0
S
y
a
x4
P
x1
S
x2
0
0
0
0
S
y
P
x1
S
x2
0
0
0
0
y
J2
x1
l
x2
y
P
x1
J2
x1
x2
y
0
0
0
0
0
a
P
x1
x2
x3
x4
x5
0
0
a
x5
Q51
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
P
x1
x2
x3
S
x4
0
0
y
J4
x1
x2
x3
x4
y
a
P
x1
x2
0
0
0
0
0
a
x2
P
x1
x2
x3
x4
S
x5
0
S
y
P
x1
x2
x3
x4
S
x5
0
y
Q52
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
Q41
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
R6
x1
x2
x3
x4
x5
o
x6
y
z
P
x1
x2
x3
x4
x5
y
z
R2
x1
o
x2
y
z
o
P
x1
x2
0
0
0
0
P
x1
y
0
0
0
0
z
P
0
0
0
0
0
0
S
y
o
M
0
0
0
0
0
0
y
R1
o
x1
y
z
P
y
0
0
0
0
0
z
R2
x1
o
x2
y
z
P
x1
x2
0
0
0
0
P
x1
y
0
0
0
0
z
P
x1
x2
o
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
0
Q65
x1
x2
x3
x4
x5
a
x6
x5
Q42
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
P
x1
x2
x3
x4
S
x5
0
y
J5
x1
x2
x3
x4
x5
y
a
P
x1
x2
x3
x4
x5
x6
0
Q63
x1
x2
x3
x4
x5
a
x6
x3
Q65
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q63
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
Q22
x1
o
x2
y
o
P
x1
x2
0
0
0
0
y
P
x1
x2
o
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
Q64
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
S
x3
0
0
0
y
J3
x1
x2
x3
y
a
P
x1
x2
x3
x4
x5
0
0
a
x5
J2
x1
l
x2
y
J2
x1
x2
y
P
x1
x2
x3
x4
x5
o
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
Q21
x1
o
x2
y
o
P
x1
x2
0
0
0
0
y
P
x1
S
x2
0
0
0
0
y
J2
x1
x2
y
a
+
x
y
l
y
Q51
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
l
x5
x6
x7
a
S
x
S
l
x
P
x1
x2
S
x3
0
0
0
y
o
J3
x1
x2
x3
y
Q41
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
+
x
S
y
+
x
y
R4
x1
x2
x3
o
x4
y
z
P
x1
x2
x3
y
0
0
z
P
x1
x2
x3
x4
S
x5
0
y
o
J5
x1
x2
x3
x4
x5
y
a
l
x
a
a
x
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
J4
x1
x2
x3
l
x4
y
P
x1
x2
x3
J4
x1
x2
x3
x4
y
0
0
0
J5
x1
x2
x3
x4
l
x5
y
P
x1
x2
x3
x4
J5
x1
x2
x3
x4
x5
y
0
0
R1
o
x1
y
z
o
P
x1
0
0
0
0
0
P
y
0
0
0
0
0
z
P
o
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
Q21
x1
o
x2
y
P
x1
x2
0
0
0
0
y
P
S
x1
0
0
0
0
0
y
J1
x1
y
J6
x1
x2
x3
x4
x5
l
x6
y
J6
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
0
0
S
y
R4
x1
x2
x3
a
x4
x4
y
+
x
S
y
S
+
x
y
a
P
x1
0
0
0
0
0
S
y
a
x1
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
P
x1
x2
x3
S
x4
0
0
S
y
J4
x1
x2
x3
x4
P
x1
x2
x3
S
x4
0
0
y
a
l
x
l
a
a
x
P
0
0
0
0
0
0
S
y
M
0
0
0
0
0
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x7
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
a
+
x
y
+
l
x
y
a
P
x1
x2
x3
x4
0
0
0
a
x4
a
P
x1
x2
x3
x4
x5
x6
x7
l
x3
+
x
o
y
o
+
x
y
P
x1
x2
x3
o
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
Q11
o
x1
y
o
P
x1
0
0
0
0
0
y
a
P
x1
x2
x3
x4
x5
0
0
Q55
x1
x2
x3
x4
a
x5
x5
a
P
x1
x2
x3
x4
x5
x6
S
y
a
x6
Q66
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
0
0
Q52
x1
x2
x3
x4
a
x5
x2
P
S
x1
0
0
0
0
0
y
o
J1
x1
y
P
S
x1
0
0
0
0
0
S
y
P
S
x1
0
0
0
0
0
y
P
0
0
0
0
0
0
P
x1
x2
x3
x4
x5
x6
y
o
M
x1
x2
x3
x4
x5
x6
y
P
x1
x2
S
x3
0
0
0
S
y
P
x1
x2
S
x3
0
0
0
y
P
S
x1
0
0
0
0
0
S
y
o
J1
x1
P
S
x1
0
0
0
0
0
y
R4
x1
x2
x3
o
x4
y
z
o
P
x1
x2
x3
x4
0
0
P
x1
x2
x3
y
0
0
z
a
P
x1
0
0
0
0
0
S
y
R1
a
x1
x1
y
P
x1
x2
x3
x4
x5
x6
o
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
l
x5
Q43
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
P
0
0
0
0
0
0
P
x1
x2
x3
x4
x5
x6
y
M
x1
x2
x3
x4
x5
x6
y
R6
x1
x2
x3
x4
x5
o
x6
y
z
o
P
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
y
z
Q43
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x1
a
P
x1
0
0
0
0
0
0
a
x1
R4
x1
x2
x3
o
x4
y
z
P
x1
x2
x3
x4
0
0
P
x1
x2
x3
y
0
0
z
Q65
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
o
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
R3
x1
x2
o
x3
y
z
P
x1
x2
y
0
0
0
z
a
P
x1
x2
x3
x4
x5
x6
0
Q62
x1
x2
x3
x4
x5
a
x6
x2
a
P
x1
x2
x3
0
0
0
S
y
a
x3
a
P
x1
x2
x3
x4
x5
0
0
Q54
x1
x2
x3
x4
a
x5
x4
a
P
x1
x2
x3
x4
0
0
0
Q44
x1
x2
x3
a
x4
x4
Q63
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
a
l
x
a
x
a
P
x1
x2
x3
x4
0
0
0
a
x4
R5
x1
x2
x3
x4
o
x5
y
z
P
x1
x2
x3
x4
y
0
z
l
o
x
o
l
l
x
l
x
a
x
P
x1
S
x2
0
0
0
0
y
o
J2
x1
x2
y
true
P
x1
S
x2
0
0
0
0
y
o
J2
x1
x2
y
P
x1
o
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
l
x
a
x
Q44
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x2
R5
x1
x2
x3
x4
o
x5
y
z
P
x1
x2
x3
x4
y
0
z
l
o
x
o
l
l
x
a
P
x1
x2
x3
x4
x5
x6
S
y
R6
x1
x2
x3
x4
x5
a
x6
x6
y
a
P
x1
x2
x3
x4
0
0
0
a
x4
a
P
x1
x2
x3
x4
0
0
0
Q42
x1
x2
x3
a
x4
x2
l
o
x
l
x
J1
l
x1
y
J1
x1
y
a
l
x
a
x
Q33
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
Q63
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
l
x7
a
P
x1
x2
x3
x4
x5
0
S
y
a
x5
a
P
x1
x2
x3
x4
x5
0
0
Q54
x1
x2
x3
x4
a
x5
x4
a
P
x1
x2
x3
x4
0
0
0
Q44
x1
x2
x3
a
x4
x4
a
P
x1
x2
0
0
0
0
0
Q21
x1
a
x2
x1
a
+
x
y
l
x
a
P
x1
x2
x3
0
0
0
S
y
a
x3
a
S
x
o
x
R3
x1
x2
o
x3
y
z
P
x1
x2
x3
0
0
0
P
x1
x2
y
0
0
0
z
a
P
x1
x2
x3
x4
x5
x6
0
Q62
x1
x2
x3
x4
x5
a
x6
x2
a
P
x1
x2
x3
x4
x5
x6
x7
l
x6
R3
x1
x2
o
x3
y
z
P
x1
x2
y
0
0
0
z
a
P
x1
x2
x3
x4
0
0
0
a
x4
M
x1
x2
x3
x4
x5
x6
l
y
+
M
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
o
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
R5
x1
x2
x3
x4
o
x5
y
z
P
x1
x2
x3
x4
x5
0
P
x1
x2
x3
x4
y
0
z
Q53
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
P
x1
x2
x3
x4
x5
S
x6
y
J6
x1
x2
x3
x4
x5
x6
y
J6
x1
x2
x3
x4
x5
l
x6
y
P
x1
x2
x3
x4
x5
J6
x1
x2
x3
x4
x5
x6
y
0
Q65
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
0
0
0
a
x4
R4
x1
x2
x3
o
x4
y
z
P
x1
x2
x3
x4
0
0
P
x1
x2
x3
y
0
0
z
J5
x1
x2
x3
x4
l
x5
y
J5
x1
x2
x3
x4
x5
y
a
P
x1
x2
x3
0
0
0
S
y
R3
x1
x2
a
x3
x3
y
a
P
x1
0
0
0
0
0
0
a
x1
a
P
x1
x2
x3
x4
x5
0
0
a
x5
Q43
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x1
Q33
x1
x2
o
x3
y
P
x1
x2
x3
0
0
0
y
Q43
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
P
0
0
0
0
0
0
P
x1
x2
x3
x4
x5
x6
y
M
x1
x2
x3
x4
x5
x6
y
R6
x1
x2
x3
x4
x5
o
x6
y
z
o
P
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
y
z
J3
x1
x2
l
x3
y
J3
x1
x2
x3
y
Q31
x1
x2
o
x3
y
P
x1
x2
x3
0
0
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x5
Q22
x1
o
x2
y
P
x1
x2
0
0
0
0
y
P
x1
x2
x3
x4
x5
x6
o
x7
o
P
x1
x2
x3
x4
x5
x6
x7
R5
x1
x2
x3
x4
o
x5
y
z
o
P
x1
x2
x3
x4
x5
0
P
x1
x2
x3
x4
y
0
z
a
P
x1
0
0
0
0
0
S
y
R1
a
x1
x1
y
R1
o
x1
y
z
P
x1
0
0
0
0
0
P
y
0
0
0
0
0
z
R4
x1
x2
x3
o
x4
y
z
o
P
x1
x2
x3
x4
0
0
P
x1
x2
x3
y
0
0
z
P
x1
o
x2
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
l
x6
x7
P
S
x1
0
0
0
0
0
S
y
o
J1
x1
P
S
x1
0
0
0
0
0
y
Q61
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
S
x3
0
0
0
S
y
P
x1
x2
S
x3
0
0
0
y
o
x
l
x
P
0
0
0
0
0
0
P
x1
x2
x3
x4
x5
x6
y
o
M
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
x6
0
Q64
x1
x2
x3
x4
x5
a
x6
x4
P
S
x1
0
0
0
0
0
S
y
P
S
x1
0
0
0
0
0
y
Q61
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
P
S
x1
0
0
0
0
0
y
o
J1
x1
y
a
P
x1
x2
x3
x4
x5
0
0
a
x5
a
P
x1
x2
x3
0
0
0
0
Q33
x1
x2
a
x3
x3
R2
x1
o
x2
y
z
P
x1
y
0
0
0
0
z
a
P
x1
x2
x3
x4
x5
0
0
Q52
x1
x2
x3
x4
a
x5
x2
a
P
x1
0
0
0
0
0
0
Q11
a
x1
x1
P
x1
x2
S
x3
0
0
0
S
y
J3
x1
x2
x3
P
x1
x2
S
x3
0
0
0
y
Q66
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x4
a
P
x1
x2
x3
x4
x5
x6
S
y
a
x6
Q62
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
Q53
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
a
P
x1
x2
x3
x4
x5
0
0
Q55
x1
x2
x3
x4
a
x5
x5
P
x1
x2
x3
o
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
Q11
o
x1
y
o
P
x1
0
0
0
0
0
y
+
x
o
y
o
+
x
y
a
P
x1
x2
x3
x4
x5
x6
x7
l
x3
Q55
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
a
+
x
y
+
l
x
y
a
P
x1
x2
x3
x4
0
0
0
a
x4
a
P
x1
x2
x3
x4
0
0
0
Q41
x1
x2
x3
a
x4
x1
J3
x1
x2
l
x3
y
P
x1
x2
J3
x1
x2
x3
y
0
0
0
0
R6
x1
x2
x3
x4
x5
o
x6
y
z
P
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
y
z
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
R3
x1
x2
o
x3
y
z
o
P
x1
x2
x3
0
0
0
P
x1
x2
y
0
0
0
z
a
P
x1
x2
x3
x4
x5
x6
x7
l
x7
a
l
x
l
a
a
x
P
0
0
0
0
0
0
S
y
M
0
0
0
0
0
0
y
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
l
x2
x3
x4
x5
x6
x7
l
o
x
l
l
x
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
P
x1
x2
x3
S
x4
0
0
S
y
J4
x1
x2
x3
x4
P
x1
x2
x3
S
x4
0
0
y
a
P
x1
0
0
0
0
0
S
y
a
x1
J6
x1
x2
x3
x4
x5
l
x6
y
J6
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
0
0
S
y
R4
x1
x2
x3
a
x4
x4
y
M
x1
x2
x3
x4
x5
x6
l
y
M
x1
x2
x3
x4
x5
x6
y
Q21
x1
o
x2
y
P
x1
x2
0
0
0
0
y
P
S
x1
0
0
0
0
0
y
J1
x1
y
a
P
x1
x2
x3
x4
x5
x6
0
Q66
x1
x2
x3
x4
x5
a
x6
x6
Q54
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
P
o
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
0
0
0
0
0
a
x2
a
P
x1
x2
x3
x4
0
0
0
Q43
x1
x2
x3
a
x4
x3
P
x1
x2
x3
x4
x5
x6
o
x7
P
x1
x2
x3
x4
x5
x6
x7
R1
o
x1
y
z
o
P
x1
0
0
0
0
0
P
y
0
0
0
0
0
z
P
x1
x2
x3
S
x4
0
0
S
y
P
x1
x2
x3
S
x4
0
0
y
a
P
x1
x2
x3
0
0
0
0
a
x3
J5
x1
x2
x3
x4
l
x5
y
P
x1
x2
x3
x4
J5
x1
x2
x3
x4
x5
y
0
0
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
J4
x1
x2
x3
l
x4
y
P
x1
x2
x3
J4
x1
x2
x3
x4
y
0
0
0
Q44
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
a
P
x1
x2
x3
x4
x5
0
0
a
x5
a
l
x
a
a
x
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
l
x4
x5
x6
x7
P
x1
x2
x3
x4
S
x5
0
y
o
J5
x1
x2
x3
x4
x5
y
Q62
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
S
x4
0
0
y
o
J4
x1
x2
x3
x4
y
+
x
S
y
+
x
y
R4
x1
x2
x3
o
x4
y
z
P
x1
x2
x3
y
0
0
z
Q32
x1
x2
o
x3
y
P
x1
x2
x3
0
0
0
y
Q41
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
Q52
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
P
x1
x2
S
x3
0
0
0
y
o
J3
x1
x2
x3
y
a
P
x1
x2
x3
x4
x5
x6
x7
P
l
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
l
x5
x6
x7
a
S
x
l
x
J4
x1
x2
x3
l
x4
y
J4
x1
x2
x3
x4
y
P
x1
x2
x3
x4
S
x5
0
S
y
J5
x1
x2
x3
x4
x5
P
x1
x2
x3
x4
S
x5
0
y
Q51
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
P
x1
x2
x3
x4
o
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
S
x6
S
y
J6
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
S
x6
y
P
x1
x2
x3
x4
x5
o
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
0
0
Q51
x1
x2
x3
x4
a
x5
x1
P
x1
S
x2
0
0
0
0
y
J2
x1
x2
y
a
+
x
y
l
y
Q21
x1
o
x2
y
o
P
x1
x2
0
0
0
0
y
P
x1
S
x2
0
0
0
0
S
y
J2
x1
x2
P
x1
S
x2
0
0
0
0
y
P
x1
x2
x3
x4
x5
S
x6
S
y
o
J6
x1
x2
x3
x4
x5
x6
P
x1
x2
x3
x4
x5
S
x6
y
a
P
x1
x2
0
0
0
0
S
y
a
x2
a
P
x1
x2
x3
x4
x5
x6
0
a
x6
Q11
o
x1
y
P
x1
0
0
0
0
0
y
P
x1
x2
S
x3
0
0
0
S
y
o
J3
x1
x2
x3
P
x1
x2
S
x3
0
0
0
y
J1
l
x1
y
P
J1
x1
y
0
0
0
0
0
0
P
x1
x2
x3
x4
x5
o
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
Q64
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
o
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
J2
x1
l
x2
y
J2
x1
x2
y
Q42
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
a
P
x1
x2
x3
x4
x5
0
0
a
x5
a
P
x1
x2
x3
x4
x5
0
0
Q53
x1
x2
x3
x4
a
x5
x3
Q64
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
P
x1
x2
S
x3
0
0
0
y
J3
x1
x2
x3
y
P
x1
x2
x3
S
x4
0
0
S
y
o
J4
x1
x2
x3
x4
P
x1
x2
x3
S
x4
0
0
y
P
x1
x2
o
x3
x4
x5
x6
x7
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
0
0
0
0
S
y
R2
x1
a
x2
x2
y
a
P
x1
x2
x3
0
0
0
0
a
x3
Q22
x1
o
x2
y
o
P
x1
x2
0
0
0
0
y
M
x1
x2
x3
x4
x5
x6
l
y
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
x6
0
Q63
x1
x2
x3
x4
x5
a
x6
x3
Q65
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
Q63
x1
x2
x3
x4
x5
o
x6
y
P
x1
x2
x3
x4
x5
x6
y
Q55
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
P
x1
x2
x3
x4
x5
S
x6
y
o
J6
x1
x2
x3
x4
x5
x6
y
P
x1
x2
x3
x4
S
x5
0
y
J5
x1
x2
x3
x4
x5
y
P
x1
x2
x3
x4
x5
S
x6
S
y
P
x1
x2
x3
x4
x5
S
x6
y
a
P
x1
x2
x3
x4
x5
x6
x7
P
x1
x2
l
x3
x4
x5
x6
x7
Q42
x1
x2
x3
o
x4
y
P
x1
x2
x3
x4
0
0
y
P
x1
x2
x3
x4
S
x5
0
S
y
o
J5
x1
x2
x3
x4
x5
P
x1
x2
x3
x4
S
x5
0
y
P
x1
x2
o
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
0
Q65
x1
x2
x3
x4
x5
a
x6
x5
P
0
0
0
0
0
0
S
y
o
M
0
0
0
0
0
0
y
R1
o
x1
y
z
P
y
0
0
0
0
0
z
R2
x1
o
x2
y
z
P
x1
x2
0
0
0
0
P
x1
y
0
0
0
0
z
Q54
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
P
o
x1
x2
x3
x4
x5
x6
x7
o
P
x1
x2
x3
x4
x5
x6
x7
a
P
x1
x2
x3
x4
x5
x6
0
Q61
x1
x2
x3
x4
x5
a
x6
x1
Q31
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
Q32
x1
x2
o
x3
y
o
P
x1
x2
x3
0
0
0
y
R2
x1
o
x2
y
z
o
P
x1
x2
0
0
0
0
P
x1
y
0
0
0
0
z
a
P
x1
x2
x3
0
0
0
0
Q32
x1
x2
a
x3
x2
R6
x1
x2
x3
x4
x5
o
x6
y
z
P
x1
x2
x3
x4
x5
y
z
Q41
x1
x2
x3
o
x4
y
o
P
x1
x2
x3
x4
0
0
y
P
x1
S
x2
0
0
0
0
S
y
o
J2
x1
x2
P
x1
S
x2
0
0
0
0
y
a
P
x1
x2
x3
0
0
0
0
Q31
x1
x2
a
x3
x1
Q52
x1
x2
x3
x4
o
x5
y
o
P
x1
x2
x3
x4
x5
0
y
a
+
x
y
+
x
l
y
a
P
x1
x2
0
0
0
0
0
Q22
x1
a
x2
x2
a
P
x1
x2
0
0
0
0
0
a
x2
P
x1
x2
x3
x4
S
x5
0
S
y
P
x1
x2
x3
x4
S
x5
0
y
Q51
x1
x2
x3
x4
o
x5
y
P
x1
x2
x3
x4
x5
0
y
P
x1
x2
x3
S
x4
0
0
y
J4
x1
x2
x3
x4
y
Q66
x1
x2
x3
x4
x5
o
x6
y
o
P
x1
x2
x3
x4
x5
x6
y
a
P
x1
x2
x3
x4
x5
0
0
a
x5
a
P
x1
x2
x3
x4
x5
0
S
y
R5
x1
x2
x3
x4
a
x5
x5
y
P
x1
S
x2
0
0
0
0
S
y
P
x1
S
x2
0
0
0
0
y
J2
x1
l
x2
y
P
x1
J2
x1
x2
y
0
0
0
0
0
+
x
o
y
+
x
y
a
P
x1
x2
x3
0
0
0
0
a
x3
P
S
x1
0
0
0
0
0
S
y
J1
x1
P
S
x1
0
0
0
0
0
y
a
P
x1
x2
x3
x4
0
0
S
y
a
x4
true
Failed!
NaTT
certifiable-1.6