15
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
-1
oldX4_post
oldX5_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
-1
oldX3_post
x3_post
0
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
1
oldX4_post
-1
oldX5_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
-1
oldX3_post
x3_post
0
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
2
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
oldX0_post
-1
oldX3_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
-1
oldX3_post
x3_post
0
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
1
-1
oldX0_post
oldX3_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
-1
oldX3_post
x3_post
0
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
4
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
-1
oldX0_post
-1
oldX3_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
-1
oldX3_post
x3_post
0
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
5
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
2
-1
oldX0_post
oldX3_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
-1
oldX3_post
x3_post
0
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
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
-1
-1
oldX2_post
x3_post
0
1
oldX2_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
7
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
-1
oldX0_post
-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
x3_post
0
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
8
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
2
-1
oldX0_post
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
-1
oldX4_post
x3_post
0
oldX4_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
9
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
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
oldX4_post
x2_post
0
oldX4_post
-1
x2_post
0
-1
oldX5_post
x3_post
0
oldX5_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
10
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
-1
oldX0_post
-1
oldX1_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
x2_post
0
-1
x2_post
0
-1
oldX4_post
x3_post
0
oldX4_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
11
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
2
-1
oldX0_post
oldX1_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
oldX4_post
x2_post
0
oldX4_post
-1
x2_post
0
-1
oldX5_post
x3_post
0
oldX5_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
12
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
-1
oldX0_post
x0_post
0
oldX0_post
-1
x0_post
0
x1_post
0
-1
x1_post
0
-1
oldX4_post
x2_post
0
oldX4_post
-1
x2_post
0
-1
oldX5_post
x3_post
0
oldX5_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
13
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
-1
oldX4_post
x0_post
0
oldX4_post
-1
x0_post
0
-1
oldX5_post
x1_post
0
oldX5_post
-1
x1_post
0
-1
oldX6_post
x2_post
0
oldX6_post
-1
x2_post
0
-1
oldX7_post
x3_post
0
oldX7_post
-1
x3_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
oldX7_0
-1
oldX7_post
0
-1
oldX7_0
oldX7_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
14
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
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
-1
-1
oldX3_post
x3_post
0
1
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
15
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
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
-1
-1
oldX3_post
x3_post
0
1
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
16
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
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
-1
oldX3_post
x3_post
0
oldX3_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
17
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
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
-1
oldX2_post
x2_post
0
1
oldX2_post
-1
x2_post
0
-1
oldX4_post
x3_post
0
oldX4_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
18
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
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
oldX3_post
-1
x3_0
0
-1
oldX3_post
x3_0
0
-1
oldX0_post
x0_post
0
oldX0_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
-1
oldX6_post
x3_post
0
oldX6_post
-1
x3_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
x3_0
-1
x3_post
0
-1
x3_0
x3_post
0
-1
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_0
0
19
0
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
20
3
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
21
5
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
22
8
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
23
9
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
24
10
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
25
11
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
26
12
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
27
13
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
28
6
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
29
7
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
30
1
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
31
2
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
32
4
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
33
14
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
34
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
4
41
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
5
48
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
55
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
0
14
0
12
0
10
0
11
0
0
0
1
0
2
0
3
0
4
0
8
0
9
0
5
0
7
0
6
0
13
0
15
-9
14
-10
12
-11
10
-12
11
-12
11_var_snapshot
-12
11*
-12
0
-15
1
-15
2
-15
3
-15
4
-15
8
-15
9
-15
3_var_snapshot
-15
3*
-15
4_var_snapshot
-15
4*
-15
5
-18
7
-18
5_var_snapshot
-18
5*
-18
6
-21
13
-22
-27
4
7
10
12
13
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
35
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
42
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
49
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
56
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
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
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
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
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
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
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
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
14
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
16
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
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
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
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
19
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
20
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
21
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
22
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
23
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
25
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
26
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
29
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
30
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
31
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
32
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
33
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
3
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
35
3_var_snapshot
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
44
4
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
42
4_var_snapshot
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
51
5
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
49
5_var_snapshot
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
58
11
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
56
11_var_snapshot
-1
x3_post
x3_post
0
x3_post
-1
x3_post
0
-1
x3_0
x3_0
0
x3_0
-1
x3_0
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
oldX7_post
oldX7_post
0
oldX7_post
-1
oldX7_post
0
-1
oldX7_0
oldX7_0
0
oldX7_0
-1
oldX7_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
11
11_var_snapshot
11*
10
-2
5
x0_0
-5
x1_0
11
1
5
x0_0
-5
x1_0
11_var_snapshot
5
x0_0
-5
x1_0
11*
2
5
x0_0
-5
x1_0
9
11
56
0
0
0
0
0
0
0
0
0
0
0
5
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
58
0
0
0
0
0
0
0
0
0
0
0
5
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
9
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
0
5
0
0
0
0
5
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
0
5
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
5
0
0
5
0
0
0
0
0
5
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
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
5
0
0
5
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
10
0
11
-2
11_var_snapshot
-3
11*
-1
-3
56
9
56
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
58
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
11
-1
11_var_snapshot
0
11*
0
-1
58
58
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
55
5
7
5_var_snapshot
5*
5
2
4
x0_0
-4
x3_0
7
4
x0_0
-4
x3_0
5_var_snapshot
1
4
x0_0
-4
x3_0
5*
3
4
x0_0
-4
x3_0
8
5
49
0
0
0
4
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
51
0
0
0
4
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
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
4
0
4
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
4
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
4
0
0
0
0
0
0
4
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
14
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
4
4
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
7
2
5_var_snapshot
-1
5*
1
-1
49
14
49
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
51
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
-1
7
0
5_var_snapshot
0
5*
0
-1
51
51
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
48
0
1
2
3
4
8
9
3_var_snapshot
3*
4_var_snapshot
4*
0
3
6
x0_0
-6
x2_0
1
3
6
x0_0
-6
x2_0
2
3
6
x0_0
-6
x2_0
3
3
6
x0_0
-6
x2_0
4
1
6
x0_0
-6
x2_0
8
4
6
x0_0
-6
x2_0
9
5
6
x0_0
-6
x2_0
3_var_snapshot
3
6
x0_0
-6
x2_0
3*
3
6
x0_0
-6
x2_0
4_var_snapshot
6
x0_0
-6
x2_0
4*
2
6
x0_0
-6
x2_0
16
8
35
0
0
0
0
0
0
0
6
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
37
0
0
0
0
0
0
0
6
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
42
0
0
0
0
0
0
0
6
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
44
0
0
0
0
0
0
0
6
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
6
0
0
0
0
6
0
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
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
6
0
0
0
0
6
0
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
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
6
0
0
0
0
6
0
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
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
6
0
0
0
0
6
0
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
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
6
0
0
0
0
6
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
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
6
0
0
0
0
6
0
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
6
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
6
0
0
0
0
6
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
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
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
6
0
0
0
0
6
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
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
6
0
0
0
0
6
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
10
x2_0
-10
x3_0
1
10
x2_0
-10
x3_0
2
1
10
x2_0
-10
x3_0
3
4
10
x2_0
-10
x3_0
4
-1
10
x2_0
-10
x3_0
8
-4
9
-3
10
oldX2_post
-10
oldX3_post
3_var_snapshot
3
10
x2_0
-10
x3_0
3*
5
10
x2_0
-10
x3_0
4_var_snapshot
-2
10
x2_0
-10
x3_0
4*
10
x2_0
-10
x3_0
-5
6
35
0
0
0
10
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
37
0
0
0
10
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
42
0
0
0
10
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
44
0
0
0
10
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
10
0
0
10
0
0
0
0
0
10
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
10
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
10
0
0
10
0
0
0
0
0
10
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
10
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
10
0
0
10
0
0
0
0
0
10
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
10
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
10
0
0
10
0
0
0
0
0
10
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
10
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
10
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
10
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
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
10
0
0
0
0
10
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
10
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
10
0
0
10
0
0
0
0
10
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
10
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
10
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
1
6
x0_0
-6
x3_0
1
-1
6
x0_0
-6
x3_0
2
6
x0_0
-6
x3_0
3
3
6
x0_0
-6
x3_0
4
6
x0_0
-6
x3_0
8
0
9
-1
6
oldX0_post
-6
oldX3_post
3_var_snapshot
2
6
x0_0
-6
x3_0
3*
4
6
x0_0
-6
x3_0
4_var_snapshot
6
x0_0
-6
x3_0
4*
1
6
x0_0
-6
x3_0
7
3
35
0
0
0
6
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
37
0
0
0
6
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
42
0
0
0
6
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
44
0
0
0
6
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
6
0
0
0
0
0
0
6
0
6
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
6
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
6
0
0
0
0
0
0
6
0
6
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
6
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
6
0
0
0
0
0
0
6
0
6
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
6
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
6
0
0
0
0
0
0
6
0
6
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
6
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
6
0
0
0
0
0
0
6
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
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
6
6
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
6
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
6
0
0
0
0
0
0
6
6
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
6
0
0
0
0
0
0
6
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
6
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
2
1
0
2
1
3
-2
4
-5
8
0
9
-7
3_var_snapshot
-3
3*
-1
4_var_snapshot
-6
4*
-4
-7
35
37
44
0
1
2
15
16
17
35
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
42
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
44
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
2
0
3
0
4
1
8
0
9
0
3_var_snapshot
0
3*
0
4_var_snapshot
0
4*
0
0
42
42
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
34
41
T2Cert
1.0