10
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
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
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
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
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
0
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
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
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
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
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
-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
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
oldX4_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
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
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
4
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
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
-1
oldX3_post
oldX4_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
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
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_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
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
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
oldX0_post
-1
oldX1_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
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
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
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
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
-1
oldX0_post
oldX1_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
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
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
8
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
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
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
-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
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
9
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
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
-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
x2_post
0
-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
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
10
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
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
x1_post
0
1
-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
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
11
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
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
oldX5_post
oldX5_post
0
oldX5_post
-1
oldX5_post
0
-1
oldX5_0
oldX5_0
0
oldX5_0
-1
oldX5_0
0
12
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
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
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
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
14
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
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
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
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
16
6
-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
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
17
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
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
18
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
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
19
8
-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
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
7
-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
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
9
-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
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
1
22
-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
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
29
-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
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
0
9
0
8
0
0
0
1
0
2
0
3
0
4
0
5
0
6
0
7
0
10
-7
9
-8
8
-9
0
-10
1
-10
2
-10
3
-10
4
-10
5
-10
1_var_snapshot
-10
1*
-10
4_var_snapshot
-10
4*
-10
6
-16
7
-17
-19
5
8
10
11
12
13
14
15
16
17
18
19
20
21
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
25
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
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
1_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
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
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
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
4_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
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
0
1
2
3
4
5
1_var_snapshot
1*
4_var_snapshot
4*
0
-7
9
x0_0
-9
x1_0
1
-7
9
x0_0
-9
x1_0
2
-7
9
x0_0
-9
x1_0
3
-8
9
x0_0
-9
x1_0
4
1
9
x0_0
-9
x1_0
5
-7
9
x0_0
-9
x1_0
1_var_snapshot
-7
9
x0_0
-9
x1_0
1*
-7
9
x0_0
-9
x1_0
4_var_snapshot
9
x0_0
-9
x1_0
4*
1
9
x0_0
-9
x1_0
8
9
23
0
0
0
0
0
0
0
9
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
25
0
0
0
0
0
0
0
9
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
30
0
0
0
0
0
0
0
9
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
32
0
0
0
0
0
0
0
9
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
9
0
0
9
0
0
9
0
0
9
0
0
0
0
0
0
0
0
9
0
0
9
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
9
0
0
9
0
0
9
0
0
9
0
0
0
0
0
0
0
0
9
0
0
9
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
9
0
0
9
0
0
9
0
0
9
0
0
0
0
0
0
0
0
0
0
9
0
0
9
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
9
0
0
9
0
0
0
9
0
0
9
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
0
0
9
0
0
9
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
0
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
0
0
9
0
0
9
0
0
0
0
0
0
0
0
9
0
0
9
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
9
0
0
9
0
0
0
9
0
0
9
0
0
0
0
0
0
0
0
9
0
0
9
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
9
0
0
9
0
0
0
9
0
0
9
0
0
0
0
0
0
0
0
9
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
9
0
0
9
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
-6
9
x0_0
-9
x1_0
-9
x2_0
1
1
9
x0_0
-9
x1_0
-9
x2_0
2
-5
9
x0_0
-9
x1_0
-9
x2_0
3
-1
9
x0_0
-9
x1_0
-9
x2_0
4
6
oldX0_post
-6
oldX1_post
-1
oldX2_0
-8
oldX2_post
3
x0_0
-3
x1_0
5
-4
9
x0_0
-9
x1_0
-9
x2_0
1_var_snapshot
9
x0_0
-9
x1_0
-9
x2_0
1*
2
9
x0_0
-9
x1_0
-9
x2_0
4_var_snapshot
-1
6
oldX0_post
-6
oldX1_post
-1
oldX2_0
-8
oldX2_post
3
x0_0
-3
x1_0
4*
1
6
oldX0_post
-6
oldX1_post
-1
oldX2_0
-8
oldX2_post
3
x0_0
-3
x1_0
8
7
23
0
0
0
9
0
0
0
9
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
25
0
0
0
9
0
0
0
9
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
30
0
0
0
0
0
0
0
3
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
0
1
0
6
0
0
6
0
0
0
32
0
0
0
0
0
0
0
3
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
8
0
1
0
6
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
9
9
0
0
9
0
9
0
0
0
0
0
0
9
0
0
9
0
9
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
9
0
0
9
0
9
9
0
0
9
0
9
0
0
0
0
0
0
9
0
0
9
0
9
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
9
0
0
9
0
9
3
0
0
3
0
0
0
0
0
0
0
1
0
0
3
0
0
3
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
9
0
0
9
0
9
0
9
0
0
9
0
9
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
9
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
9
0
9
0
0
9
0
9
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
9
0
0
0
0
6
0
0
0
0
0
0
0
0
0
0
0
0
9
0
0
9
0
9
0
9
0
0
9
0
9
0
0
0
0
0
0
9
0
0
9
0
9
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
9
0
0
9
0
9
0
9
0
0
9
0
9
0
0
0
0
0
0
9
0
0
9
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
9
0
0
9
0
9
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
3
1
1
2
4
3
-1
4
-3
5
5
1_var_snapshot
0
1*
2
4_var_snapshot
-4
4*
-2
-4
23
25
30
32
0
1
2
3
4
6
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
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
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
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
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
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
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
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
22
29
T2Cert
1.0