7
0
1
0
0
0
0
-1
-1
i1_0
i1_post
0
1
i1_0
-1
i1_post
0
i1_0
-1
i1_post
0
-1
i1_0
i1_post
0
1
0
0
0
0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
2
2
0
0
0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
3
0
0
0
0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
4
2
0
0
0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
5
5
42
-1
i1_0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
6
3
-41
i1_0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
7
4
0
0
0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
8
1
0
0
0
0
i1_post
0
-1
i1_post
0
i1_0
-1
i1_post
0
-1
i1_0
i1_post
0
9
6
0
0
0
0
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
2.4
0
1
2
3
4
5
42
-1
i1_0
0
6
7
7
0
0
0
1
1
1
7
4
2
2
1
0
3
3
2
2
3
0
4
2
4
4
5
5
6
3
5
42
-1
i1_0
0
5
6
6
8
1
7
7
9
6
1
10
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
7
0
6
0
0
0
1
0
2
0
3
0
4
0
5
0
7
-5
6
-6
0
-7
1
-7
2
-7
3
-7
4
-7
1_var_snapshot
-7
1*
-7
5
-8
-13
5
8
9
11
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
2
0
0
0
0
0
0
3
0
0
0
0
0
0
4
0
0
0
0
0
0
6
0
0
0
0
0
7
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
8
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
13
1
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
11
1_var_snapshot
-1
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
0
1
2
3
4
1_var_snapshot
1*
0
-2
-5
i1_0
1
1
-5
i1_0
2
-2
-5
i1_0
3
-2
-5
i1_0
4
-1
-5
i1_0
1_var_snapshot
-5
i1_0
1*
2
-5
i1_0
-207
6
11
0
0
0
5
13
0
0
0
5
0
0
0
0
5
0
5
1
0
0
0
0
0
5
2
0
0
0
0
0
5
3
0
0
0
0
0
5
4
0
0
0
0
0
5
6
0
0
0
0
5
5
0
0
0
0
7
0
0
0
0
0
5
0
-2
1
-4
2
-1
3
0
4
-6
1_var_snapshot
-5
1*
-3
-6
11
13
0
1
2
3
4
7
11
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
1
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
3
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
7
0
0
0
0
0
0
0
0
0
0
0
0
10
T2Cert
1.0