8
0
1
3
-1
i_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
2
0
0
0
0
-2
i_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
2
0
0
0
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
3
0
0
0
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
4
1
0
0
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
5
3
0
0
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
6
5
0
0
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
7
6
0
0
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
8
4
-1
i_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
9
4
2
-1
i_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
10
2
0
0
0
0
i_post
0
-1
i_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
11
7
0
0
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
2.4
2
12
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
8
0
7
0
0
0
2
0
3
0
1
0
6
0
4
0
5
0
8
-8
7
-9
0
-10
2
-10
3
-10
2_var_snapshot
-10
2*
-10
1
-11
6
-12
4
-13
5
-14
-19
0
4
6
7
8
9
10
11
13
0
0
0
0
1
0
0
0
0
0
0
0
2
0
0
0
0
0
0
3
0
0
0
0
0
0
5
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
6
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
8
0
0
0
0
0
0
0
0
0
0
9
0
0
0
0
0
0
0
0
0
0
10
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
15
2
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
13
2_var_snapshot
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
0
2
3
2_var_snapshot
2*
0
-2
-5
i_0
2
1
-5
i_0
3
-1
-5
i_0
2_var_snapshot
-5
i_0
2*
2
-5
i_0
-13
1
13
0
0
0
5
15
0
0
0
5
1
0
0
0
0
5
0
5
0
0
5
0
0
0
0
2
0
0
0
0
0
5
3
0
0
0
0
0
5
5
0
0
0
0
0
5
0
-2
2
1
3
-1
2_var_snapshot
0
2*
2
-2
13
15
3
5
13
0
0
0
0
0
0
0
0
15
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
3
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
2
0
3
1
2_var_snapshot
0
2*
0
0
2
2
0
0
0
0
0
0
0
0
0
0
0
0
12
T2Cert
1.0