6
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
0
0
0
0
0
0
0
0
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
-1
oldX3_post
x0_post
0
oldX3_post
-1
x0_post
0
-1
oldX4_post
x1_post
0
oldX4_post
-1
x1_post
0
-1
oldX5_post
x2_post
0
oldX5_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
oldX3_0
-1
oldX3_post
0
-1
oldX3_0
oldX3_post
0
oldX4_0
-1
oldX4_post
0
-1
oldX4_0
oldX4_post
0
oldX5_0
-1
oldX5_post
0
-1
oldX5_0
oldX5_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
1
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
0
0
0
0
0
0
0
0
0
0
0
0
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
2
-1
oldX2_post
2
oldX6_post
0
-1
oldX3_post
x0_post
0
oldX3_post
-1
x0_post
0
-1
oldX4_post
x1_post
0
oldX4_post
-1
x1_post
0
-1
oldX5_post
x2_post
0
oldX5_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
oldX3_0
-1
oldX3_post
0
-1
oldX3_0
oldX3_post
0
oldX4_0
-1
oldX4_post
0
-1
oldX4_0
oldX4_post
0
oldX5_0
-1
oldX5_post
0
-1
oldX5_0
oldX5_post
0
oldX6_0
-1
oldX6_post
0
-1
oldX6_0
oldX6_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
2
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
0
0
0
0
0
0
0
0
0
0
0
0
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
1
oldX2_post
-2
oldX6_post
0
-1
oldX3_post
x0_post
0
oldX3_post
-1
x0_post
0
-1
oldX4_post
x1_post
0
oldX4_post
-1
x1_post
0
-1
oldX5_post
x2_post
0
oldX5_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
oldX3_0
-1
oldX3_post
0
-1
oldX3_0
oldX3_post
0
oldX4_0
-1
oldX4_post
0
-1
oldX4_0
oldX4_post
0
oldX5_0
-1
oldX5_post
0
-1
oldX5_0
oldX5_post
0
oldX6_0
-1
oldX6_post
0
-1
oldX6_0
oldX6_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
3
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
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
-1
oldX2_post
2
oldX3_post
0
-1
oldX2_post
-2
oldX3_post
0
-1
oldX0_post
x0_post
0
oldX0_post
-1
x0_post
0
-1
-1
oldX1_post
x1_post
0
1
oldX1_post
-1
x1_post
0
-1
oldX3_post
x2_post
0
oldX3_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
oldX3_0
-1
oldX3_post
0
-1
oldX3_0
oldX3_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_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
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
-1
oldX2_post
0
-1
oldX0_post
x0_post
0
oldX0_post
-1
x0_post
0
-1
oldX1_post
x1_post
0
oldX1_post
-1
x1_post
0
-1
oldX2_post
x2_post
0
oldX2_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
5
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
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
2
-1
oldX2_post
0
-1
oldX0_post
x0_post
0
oldX0_post
-1
x0_post
0
-1
oldX1_post
x1_post
0
oldX1_post
-1
x1_post
0
-1
oldX2_post
x2_post
0
oldX2_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
6
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
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
-1
oldX0_post
x0_post
0
oldX0_post
-1
x0_post
0
x1_post
0
-1
x1_post
0
-1
oldX0_post
x2_post
0
oldX0_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
7
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
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX2_post
-1
x2_0
0
-1
oldX2_post
x2_0
0
-1
oldX0_post
x0_post
0
oldX0_post
-1
x0_post
0
-1
oldX3_post
x1_post
0
oldX3_post
-1
x1_post
0
-1
oldX4_post
x2_post
0
oldX4_post
-1
x2_post
0
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_post
0
oldX2_0
-1
oldX2_post
0
-1
oldX2_0
oldX2_post
0
oldX3_0
-1
oldX3_post
0
-1
oldX3_0
oldX3_post
0
oldX4_0
-1
oldX4_post
0
-1
oldX4_0
oldX4_post
0
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
0
x2_0
-1
x2_post
0
-1
x2_0
x2_post
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
8
1
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
9
0
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
10
2
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
11
3
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
12
4
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
13
5
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
2.4
3
14
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
6
0
5
0
4
0
2
0
3
0
0
0
1
0
6
-7
5
-8
4
-9
2
-10
3
-10
3_var_snapshot
-10
3*
-10
0
-14
1
-15
-17
0
1
2
4
6
7
8
9
10
11
12
13
15
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
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
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
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
0
0
0
0
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
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
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
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
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
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
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
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
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
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
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
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
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
9
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
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
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
11
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
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
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
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
13
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
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
17
3
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
15
3_var_snapshot
-1
x2_post
x2_post
0
x2_post
-1
x2_post
0
-1
x2_0
x2_0
0
x2_0
-1
x2_0
0
-1
x1_post
x1_post
0
x1_post
-1
x1_post
0
-1
x1_0
x1_0
0
x1_0
-1
x1_0
0
-1
x0_post
x0_post
0
x0_post
-1
x0_post
0
-1
x0_0
x0_0
0
x0_0
-1
x0_0
0
-1
oldX6_post
oldX6_post
0
oldX6_post
-1
oldX6_post
0
-1
oldX6_0
oldX6_0
0
oldX6_0
-1
oldX6_0
0
-1
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
-1
oldX4_post
oldX4_post
0
oldX4_post
-1
oldX4_post
0
-1
oldX4_0
oldX4_0
0
oldX4_0
-1
oldX4_0
0
-1
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
2
3
3_var_snapshot
3*
2
6
4
x2_0
3
2
8
x2_0
3_var_snapshot
8
x2_0
3*
4
8
x2_0
15
5
15
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
0
0
0
0
0
0
0
0
0
0
0
0
0
17
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
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
4
0
4
0
0
0
0
0
8
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
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
0
4
0
0
0
0
4
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
8
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
0
0
0
0
0
0
0
0
0
0
2
0
3
-2
3_var_snapshot
-3
3*
-1
-3
15
17
3
15
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
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
17
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
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
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
14
T2Cert
1.0