a
p
x1
p
a
A
x1
a
A
x1
A
a
x1
p
A
A
x1
a
p
x1
2.2
p
A
A
x1
a
p
x1
a
p
x1
a
A
x1
p
A
A
x1
p
x1
a
A
x1
a
x1
a
p
x1
p
a
A
x1
true
a
p
x1
p
a
A
x1
a
A
x1
a
x1
p
A
A
x1
p
x1
a
p
x1
a
A
x1
p
A
A
x1
a
p
x1
true
a
1
1
0
p
1
1
1
p
1
1
1
A
1
1
0
a
1
1
0
p
A
A
x1
a
p
x1
p
A
A
x1
p
x1
a
A
x1
a
x1
a
p
x1
p
a
A
x1
a
p
x1
p
a
A
x1
p
A
A
x1
a
p
x1
a
A
x1
A
a
x1
a
p
x1
p
a
A
x1
p
A
A
x1
p
x1
p
A
A
x1
a
p
x1
a
A
x1
a
x1
true
a
1
1
0
p
1
1
p
1
1
A
1
1
32286
a
1
1
0
p
A
A
x1
a
p
x1
p
A
A
x1
p
x1
a
p
x1
p
a
A
x1
a
p
x1
p
a
A
x1
p
A
A
x1
a
p
x1
a
A
x1
A
a
x1
a
p
x1
p
a
A
x1
p
A
A
x1
p
x1
p
A
A
x1
a
p
x1
true
2
1
a
1
1
1912
0
p
1
0
0
1
0
1
0
20274
p
1
0
0
1
0
1
1
20274
A
1
1
51071
1912
a
1
1
1912
0
a
p
x1
p
a
A
x1
p
A
A
x1
a
p
x1
a
A
x1
A
a
x1
NaTT
certifiable-1.6