6
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
-1
oldX2_post
x0_post
0
oldX2_post
-1
x0_post
0
-1
oldX3_post
x1_post
0
oldX3_post
-1
x1_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
1
2
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
1
-1
oldX0_post
x0_post
0
-1
oldX0_post
-1
x0_post
0
1
-1
oldX1_post
x1_post
0
-1
oldX1_post
-1
x1_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
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
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
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
oldX0_post
-1
x0_0
0
-1
oldX0_post
x0_0
0
oldX1_post
-1
x1_0
0
-1
oldX1_post
x1_0
0
oldX0_post
0
-1
oldX0_post
0
-1
oldX2_post
x0_post
0
oldX2_post
-1
x0_post
0
-1
oldX3_post
x1_post
0
oldX3_post
-1
x1_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
3
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
1
-1
oldX0_post
0
-1
oldX2_post
x0_post
0
oldX2_post
-1
x0_post
0
-1
oldX3_post
x1_post
0
oldX3_post
-1
x1_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
4
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
1
oldX0_post
0
-1
oldX2_post
x0_post
0
oldX2_post
-1
x0_post
0
-1
oldX3_post
x1_post
0
oldX3_post
-1
x1_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
5
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
1
-1
oldX0_post
0
1
-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
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_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
-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
6
3
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
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
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_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
-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
7
3
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
oldX0_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
oldX0_0
-1
oldX0_post
0
-1
oldX0_0
oldX0_post
0
oldX1_0
-1
oldX1_post
0
-1
oldX1_0
oldX1_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
-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
8
4
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
-1
oldX0_post
x0_post
0
oldX0_post
-1
x0_post
0
-1
oldX1_post
x1_post
0
oldX1_post
-1
x1_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
x0_0
-1
x0_post
0
-1
x0_0
x0_post
0
x1_0
-1
x1_post
0
-1
x1_0
x1_post
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
9
1
-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
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
-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
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
11
3
-1
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
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
12
4
-1
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
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
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
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
5
-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
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
2
15
-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
oldX3_post
oldX3_post
0
oldX3_post
-1
oldX3_post
0
-1
oldX3_0
oldX3_0
0
oldX3_0
-1
oldX3_0
0
-1
oldX2_post
oldX2_post
0
oldX2_post
-1
oldX2_post
0
-1
oldX2_0
oldX2_0
0
oldX2_0
-1
oldX2_0
0
-1
oldX1_post
oldX1_post
0
oldX1_post
-1
oldX1_post
0
-1
oldX1_0
oldX1_0
0
oldX1_0
-1
oldX1_0
0
-1
oldX0_post
oldX0_post
0
oldX0_post
-1
oldX0_post
0
-1
oldX0_0
oldX0_0
0
oldX0_0
-1
oldX0_0
0
6
0
5
0
0
0
2
0
4
0
3
0
1
0
6
-6
5
-7
0
-8
2
-8
4
-8
2_var_snapshot
-8
2*
-8
3
-9
1
-10
-15
0
2
3
4
6
7
9
10
11
12
13
14
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
18
2
-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
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
2_var_snapshot
-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
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
2
4
2_var_snapshot
2*
0
-4
4
x0_0
2
x1_0
2
1
4
x0_0
2
x1_0
4
-1
4
x0_0
2
x1_0
2_var_snapshot
4
x0_0
2
x1_0
2*
2
4
x0_0
2
x1_0
4
5
16
0
0
2
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
18
0
0
2
0
0
0
4
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
4
0
2
0
4
0
2
0
0
0
0
0
4
0
2
0
0
0
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
4
0
2
0
0
0
4
0
2
0
0
0
0
0
4
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
4
0
2
0
4
2
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
4
0
2
0
4
0
2
0
0
0
0
0
4
0
2
0
0
0
0
0
0
0
0
0
0
1
2
-1
4
-3
2_var_snapshot
-2
2*
0
-3
16
18
1
8
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
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
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
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
15
T2Cert
1.0