6
0
1
1
-1
ox_0
x_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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
1
2
ox_0
-1
x_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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
2
1
c_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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
3
1
0
0
0
0
0
0
0
0
ox_post
-1
x_0
0
-1
ox_post
x_0
0
-1
c_post
0
1
-1
c_post
0
c_0
-1
c_post
0
-1
c_0
c_post
0
ox_0
-1
ox_post
0
-1
ox_0
ox_post
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
3
c_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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
5
0
1
-1
c_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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
6
4
0
0
0
0
1
-1
x_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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
7
1
c_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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
8
5
-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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
2.4
0
1
-1
c_0
0
1
2
1
-1
c_0
0
3
c_0
0
4
5
6
6
0
1
-1
c_0
0
0
0
1
1
2
1
1
6
4
2
1
-1
c_0
0
2
3
c_0
0
3
2
1
3
1
4
4
4
3
5
0
5
5
7
1
6
6
8
5
1
9
-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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
6
0
5
0
0
0
1
0
3
0
4
0
2
0
6
-5
5
-6
0
-7
1
-7
3
-7
4
-7
1_var_snapshot
-7
1*
-7
2
-8
-13
1
7
8
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
2
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
4
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
6
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
0
0
7
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
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
12
1
-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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
10
1_var_snapshot
-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
ox_post
ox_post
0
ox_post
-1
ox_post
0
-1
ox_0
ox_0
0
ox_0
-1
ox_0
0
-1
c_post
c_post
0
c_post
-1
c_post
0
-1
c_0
c_0
0
c_0
-1
c_0
0
0
1
3
4
1_var_snapshot
1*
0
3
7
x_0
1
1
7
x_0
3
3
7
x_0
4
4
7
x_0
1_var_snapshot
7
x_0
1*
2
7
x_0
6
6
10
0
0
7
0
0
0
0
0
0
0
0
0
12
0
0
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
0
0
0
0
0
0
2
0
0
0
0
7
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
7
0
4
0
0
0
7
0
0
0
0
0
0
0
0
0
5
0
0
0
7
0
0
0
0
0
0
0
0
0
6
0
0
0
7
0
7
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
-1
3
1
4
2
1_var_snapshot
-2
1*
0
-2
10
12
0
2
3
4
5
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
12
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
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
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
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
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
0
0
9
T2Cert
1.0