6
0
1
0
0
0
0
y_0
0
x_0
0
-1
p_post
0
1
-1
p_post
0
p_0
-1
p_post
0
-1
p_0
p_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
1
2
0
0
0
0
1
-1
y_0
0
1
-1
y_0
y_post
0
-1
y_0
-1
y_post
0
y_0
-1
y_post
0
-1
y_0
y_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
p_post
p_post
0
p_post
-1
p_post
0
-1
p_0
p_0
0
p_0
-1
p_0
0
2
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
p_post
p_post
0
p_post
-1
p_post
0
-1
p_0
p_0
0
p_0
-1
p_0
0
3
2
x_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
p_post
p_post
0
p_post
-1
p_post
0
-1
p_0
p_0
0
p_0
-1
p_0
0
4
4
0
0
0
0
1
-1
x_0
0
-1
-1
p_0
p_post
0
1
p_0
-1
p_post
0
p_0
-1
p_post
0
-1
p_0
p_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
5
3
0
0
0
0
p_post
0
-1
p_post
0
p_0
-1
p_post
0
-1
p_0
p_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
6
5
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
p_post
p_post
0
p_post
-1
p_post
0
-1
p_0
p_0
0
p_0
-1
p_0
0
2.4
0
p_post
0
-1
p_post
0
p_0
0
-1
p_0
0
x_0
0
1
-1
p_post
0
1
-1
p_post
0
-1
p_0
0
1
-1
p_0
0
x_0
0
y_0
0
2
p_post
0
-1
p_post
0
p_0
0
-1
p_0
0
x_0
0
3
p_post
0
-1
p_post
0
p_0
0
-1
p_0
0
4
1
-1
x_0
0
5
6
6
0
p_post
0
-1
p_post
0
p_0
0
-1
p_0
0
x_0
0
0
0
1
1
2
1
-1
p_post
0
1
-1
p_post
0
-1
p_0
0
1
-1
p_0
0
x_0
0
y_0
0
1
2
p_post
0
-1
p_post
0
p_0
0
-1
p_0
0
x_0
0
2
2
0
3
p_post
0
-1
p_post
0
p_0
0
-1
p_0
0
3
3
2
4
4
4
1
-1
x_0
0
4
5
5
5
3
6
6
6
5
2
7
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
p_post
p_post
0
p_post
-1
p_post
0
-1
p_0
p_0
0
p_0
-1
p_0
0
6
0
5
0
3
0
0
0
2
0
1
0
4
0
6
-7
5
-8
3
-9
0
-10
2
-10
2_var_snapshot
-10
2*
-10
1
-11
4
-15
-17
0
3
4
5
6
8
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
2
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
p_post
p_post
0
p_post
-1
p_post
0
-1
p_0
p_0
0
p_0
-1
p_0
0
8
2_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
p_post
p_post
0
p_post
-1
p_post
0
-1
p_0
p_0
0
p_0
-1
p_0
0
0
2
2_var_snapshot
2*
0
-1
4
y_0
2
1
4
y_0
2_var_snapshot
4
y_0
2*
2
4
y_0
2
1
8
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
10
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
4
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
-3
2
-1
2_var_snapshot
-2
2*
0
-3
8
10
2
8
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
T2Cert
1.0