10
0
1
0
0
0
0
-2
-1
x_0
x_post
0
2
x_0
-1
x_post
0
x_0
-1
x_post
0
-1
x_0
x_post
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
1
1
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
2
3
N_0
-1
i_0
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
3
0
1
-1
N_0
i_0
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
4
2
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
5
6
0
0
0
0
tmp_post
0
-1
tmp_post
0
tmp_0
-1
tmp_post
0
-1
tmp_0
tmp_post
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
6
5
2
N_0
-1
x_0
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
7
5
-1
N_0
x_0
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
8
6
0
0
0
0
-1
-1
N_0
x_0
0
1
N_0
-1
x_0
0
-1
tmp_post
0
1
-1
tmp_post
0
tmp_0
-1
tmp_post
0
-1
tmp_0
tmp_post
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
9
8
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
10
7
1
N_0
-1
x_0
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
11
7
1
-1
N_0
x_0
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
12
6
0
0
0
0
-1
N_0
x_0
0
N_0
-1
x_0
0
-1
tmp_post
0
1
-1
tmp_post
0
tmp_0
-1
tmp_post
0
-1
tmp_0
tmp_post
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
13
4
0
0
0
0
-1
-1
i_0
i_post
0
1
i_0
-1
i_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
14
4
0
0
0
0
0
0
0
0
x_post
0
-1
x_post
0
i_post
0
-1
i_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
x_0
-1
x_post
0
-1
x_0
x_post
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
15
9
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
2.4
0
1
2
3
4
5
6
-1
tmp_post
0
-1
tmp_0
0
7
8
-1
tmp_post
0
-1
tmp_0
0
9
10
10
0
0
0
1
1
1
1
1
13
4
2
2
2
3
3
0
3
3
10
7
11
7
12
6
4
4
4
2
5
5
5
6
6
-1
tmp_post
0
-1
tmp_0
0
6
9
8
7
7
6
5
7
5
8
6
8
-1
tmp_post
0
-1
tmp_0
0
8
9
9
14
4
10
10
15
9
4
16
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
10
0
9
0
0
0
1
0
2
0
4
0
3
0
7
0
5
0
6
0
8
0
10
-9
9
-10
0
-11
1
-11
2
-11
4
-11
4_var_snapshot
-11
4*
-11
3
-12
7
-13
5
-14
6
-15
8
-16
-21
2
5
6
7
8
9
10
11
12
14
15
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
1
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
4
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
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
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
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
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
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
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
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
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
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
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
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
19
4
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
17
4_var_snapshot
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
N_0
N_0
0
N_0
-1
N_0
0
0
1
2
4
4_var_snapshot
4*
0
1
6
N_0
-6
i_0
1
6
N_0
-6
i_0
2
2
6
N_0
-6
i_0
4
4
6
N_0
-6
i_0
4_var_snapshot
3
6
N_0
-6
i_0
4*
5
6
N_0
-6
i_0
7
3
17
0
0
0
0
0
0
0
0
0
0
0
6
6
0
19
0
0
0
0
0
0
0
0
0
0
0
6
6
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
6
0
1
0
0
0
0
0
0
0
0
0
0
0
6
6
0
3
0
0
0
0
0
0
0
0
0
0
0
0
6
6
0
6
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
6
6
0
13
0
0
0
6
0
6
0
0
0
0
0
0
0
0
6
0
0
1
1
0
2
-4
4
-2
4_var_snapshot
-3
4*
-1
-4
17
19
0
1
4
13
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
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
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
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
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
16
T2Cert
1.0