+
p1
p1
p2
+
p1
+
p2
p2
p5
+
p5
p5
p10
+
+
x
y
z
+
x
+
y
z
+
p1
+
p1
x
+
p2
x
+
p1
+
p2
+
p2
x
+
p5
x
+
p2
p1
+
p1
p2
+
p2
+
p1
x
+
p1
+
p2
x
+
p2
+
p2
p2
+
p1
p5
+
p2
+
p2
+
p2
x
+
p1
+
p5
x
+
p5
p1
+
p1
p5
+
p5
+
p1
x
+
p1
+
p5
x
+
p5
p2
+
p2
p5
+
p5
+
p2
x
+
p2
+
p5
x
+
p5
+
p5
x
+
p10
x
+
p10
p1
+
p1
p10
+
p10
+
p1
x
+
p1
+
p10
x
+
p10
p2
+
p2
p10
+
p10
+
p2
x
+
p2
+
p10
x
+
p10
p5
+
p5
p10
+
p10
+
p5
x
+
p5
+
p10
x
2.2
+
p5
p2
+
p2
p5
+
p5
+
p1
x
+
p5
x
+
p1
+
p1
x
+
p2
x
+
p10
p5
+
p5
p10
+
p2
+
p2
+
p2
x
+
p1
+
p5
x
+
+
x
y
z
+
x
+
y
z
+
p5
+
p5
x
+
p10
x
+
p2
+
p2
+
p2
x
+
p5
x
+
p10
+
p1
x
+
p1
+
p10
x
+
+
x
y
z
+
y
z
+
p10
p1
+
p1
p10
+
p5
+
p2
x
+
p2
+
p5
x
+
p2
p1
+
p1
p2
+
p5
+
p1
x
+
p1
+
p5
x
+
p2
+
p1
x
+
p2
x
+
p10
+
p2
x
+
p10
x
+
p10
+
p5
x
+
p10
x
+
p10
p2
+
p2
p10
+
p2
+
p1
x
+
p1
+
p2
x
+
p10
+
p2
x
+
p2
+
p10
x
+
p2
+
p2
p2
+
p1
p5
+
p1
+
p2
+
p2
x
+
p5
x
+
p5
+
p2
x
+
p5
x
+
p10
+
p1
x
+
p10
x
+
p5
p1
+
p1
p5
+
p10
+
p5
x
+
p5
+
p10
x
true
+
+
x
y
z
+
y
z
+
+
x
y
z
+
x
+
y
z
true
p5
0
56473
p10
0
112948
p2
0
22588
+
2
1
2
1
+
2
1
0
p1
0
11293
+
p10
+
p5
x
+
p5
+
p10
x
+
p10
+
p1
x
+
p1
+
p10
x
+
p10
+
p1
x
+
p10
x
+
p2
+
p2
+
p2
x
+
p5
x
+
p5
+
p2
x
+
p5
x
+
p1
+
p2
+
p2
x
+
p5
x
+
p5
+
p5
x
+
p10
x
+
p10
+
p2
x
+
p2
+
p10
x
+
p2
+
p1
x
+
p1
+
p2
x
+
p2
+
p2
+
p2
x
+
p1
+
p5
x
+
p1
+
p1
x
+
p2
x
+
p10
+
p5
x
+
p10
x
+
p10
+
p2
x
+
p10
x
+
p5
+
p1
x
+
p5
x
+
p2
+
p1
x
+
p2
x
+
p5
+
p1
x
+
p1
+
p5
x
+
p5
+
p2
x
+
p2
+
p5
x
true
p5
0
2
p10
0
1
p2
0
3
+
2
1
2
41063
+
2
2
0
p1
0
4
+
p10
p2
+
p2
p10
+
+
x
y
z
+
x
+
y
z
+
p5
+
p5
x
+
p10
x
+
p2
+
p1
x
+
p1
+
p2
x
+
p1
p1
p2
+
p5
p5
p10
+
p10
p1
+
p1
p10
+
p10
+
p5
x
+
p5
+
p10
x
+
p10
+
p2
x
+
p2
+
p10
x
+
p10
+
p1
x
+
p1
+
p10
x
+
p1
+
p1
x
+
p2
x
+
p2
+
p2
+
p2
x
+
p1
+
p5
x
+
p2
p1
+
p1
p2
+
p10
p5
+
p5
p10
+
p5
+
p2
x
+
p2
+
p5
x
+
p5
+
p1
x
+
p1
+
p5
x
+
p5
p1
+
p1
p5
+
p2
+
p2
p2
+
p1
p5
+
p5
p2
+
p2
p5
+
p1
+
p2
+
p2
x
+
p5
x
+
p1
+
p2
p2
p5
+
p10
p5
+
p5
p10
false
+
p2
+
p2
p2
+
p1
p5
false
+
p2
p1
+
p1
p2
false
+
p5
p1
+
p1
p5
false
+
p10
p2
+
p2
p10
false
+
p5
p2
+
p2
p5
false
+
p10
p1
+
p1
p10
false
NaTT
certifiable-1.6