4
0
1
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
1
1
0
0
0
0
-1
y_0
z_0
0
-1
-1
x_0
x_post
0
1
x_0
-1
x_post
0
x_0
-1
x_post
0
-1
x_0
x_post
0
-1
z_0
z_0
0
z_0
-1
z_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
2
3
0
0
0
0
1
y_0
-1
z_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
z_0
z_0
0
z_0
-1
z_0
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
3
2
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
4
2
1
x_0
-1
y_0
0
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
5
0
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
2.4
1
6
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
2
13
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
4
0
0
0
1
0
2
0
3
0
4
-4
0
-5
1
-6
2
-6
3
-6
1_var_snapshot
-6
1*
-6
2_var_snapshot
-6
2*
-6
-13
0
5
7
0
0
0
0
0
0
0
0
0
0
14
0
0
0
0
0
0
0
0
0
0
1
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
3
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
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
1
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
7
1_var_snapshot
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
16
2
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
14
2_var_snapshot
-1
z_0
z_0
0
z_0
-1
z_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_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
1
2
3
1_var_snapshot
1*
2_var_snapshot
2*
1
-1
y_0
z_0
2
-1
y_0
z_0
3
-1
y_0
z_0
1_var_snapshot
-1
y_0
z_0
1*
-1
y_0
z_0
2_var_snapshot
-1
y_0
z_0
2*
-1
y_0
z_0
0
2
7
1
0
0
0
0
1
0
0
0
0
9
1
0
0
0
0
1
0
0
0
0
14
1
0
0
0
0
1
0
0
0
0
16
1
0
0
0
0
1
0
0
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
1
2
0
0
0
0
1
0
1
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
3
1
0
0
0
0
1
0
0
0
0
4
0
1
0
0
0
0
1
0
0
0
0
1
1
-8
x_0
8
y_0
2
-4
-8
x_0
8
y_0
3
-2
-8
x_0
8
y_0
1_var_snapshot
-8
x_0
8
y_0
1*
2
-8
x_0
8
y_0
2_var_snapshot
-5
-8
x_0
8
y_0
2*
-3
-8
x_0
8
y_0
7
4
7
0
0
0
0
8
0
0
0
0
8
9
0
0
0
0
8
0
0
0
0
8
14
0
0
0
0
8
0
0
0
0
8
16
0
0
0
0
8
0
0
0
0
8
1
0
0
0
0
8
0
8
0
0
0
0
8
0
3
0
0
0
0
8
0
0
0
0
8
4
0
0
0
0
0
8
0
0
0
0
8
8
0
0
0
0
0
0
0
0
0
0
1
-5
2
-2
3
0
1_var_snapshot
-6
1*
-4
2_var_snapshot
-3
2*
-1
-6
9
14
16
1
3
7
0
0
0
0
0
0
0
0
0
0
9
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
16
0
0
0
0
0
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
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
1
0
2
0
3
0
1_var_snapshot
-1
1*
0
2_var_snapshot
0
2*
0
-1
7
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
13
T2Cert
1.0