18
0
1
0
0
0
0
1
-1
i_0
0
i_post
0
-1
i_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
1
2
0
0
0
0
i_0
0
i2_post
-1
i_0
0
-1
i2_post
i_0
0
i2_0
-1
i2_post
0
-1
i2_0
i2_post
0
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
2
1
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
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
3
5
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
4
3
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
5
0
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
6
4
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
7
4
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
8
5
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
9
7
0
0
0
0
r_0
-1
r_post
0
-1
r_0
r_post
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
10
8
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
11
3
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
12
8
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
13
11
1
-1
i_0
0
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
14
9
i_0
0
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
15
6
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
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
16
10
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
17
14
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
18
12
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
19
13
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
20
13
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
21
14
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
22
15
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
23
16
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
24
12
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
25
16
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
26
6
0
0
0
0
0
0
0
0
i_1
0
-1
i_1
0
i_post
0
-1
i_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
27
17
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
2.4
0
i_1
0
-1
i_1
0
1
i_1
0
-1
i_1
0
2
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
3
i_1
0
-1
i_1
0
i_0
0
4
i_1
0
-1
i_1
0
i_0
0
5
i_1
0
-1
i_1
0
i_0
0
6
i_1
0
-1
i_1
0
7
i_1
0
-1
i_1
0
i_0
0
8
i_1
0
-1
i_1
0
i_0
0
9
i_1
0
-1
i_1
0
i_0
0
10
i_1
0
-1
i_1
0
11
i_1
0
-1
i_1
0
1
-1
i_0
0
12
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
13
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
14
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
15
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
16
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
17
18
18
0
i_1
0
-1
i_1
0
0
0
1
1
2
1
i_1
0
-1
i_1
0
1
16
10
2
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
2
23
16
24
12
25
16
3
i_1
0
-1
i_1
0
i_0
0
3
2
1
4
i_1
0
-1
i_1
0
i_0
0
4
3
5
5
i_1
0
-1
i_1
0
i_0
0
5
4
3
6
i_1
0
-1
i_1
0
6
5
0
7
i_1
0
-1
i_1
0
i_0
0
7
6
4
7
4
8
5
8
i_1
0
-1
i_1
0
i_0
0
8
9
7
9
i_1
0
-1
i_1
0
i_0
0
9
10
8
11
3
12
8
10
i_1
0
-1
i_1
0
10
13
11
14
9
11
i_1
0
-1
i_1
0
1
-1
i_0
0
11
12
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
12
15
6
13
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
13
17
14
14
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
14
18
12
15
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
15
19
13
20
13
21
14
16
i_1
0
-1
i_1
0
i_0
0
i2_post
0
i2_0
0
16
22
15
17
17
26
6
18
18
27
17
1
28
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
6
35
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
18
0
17
0
0
0
2
0
6
0
12
0
13
0
14
0
15
0
16
0
1
0
3
0
4
0
5
0
7
0
8
0
9
0
10
0
11
0
18
-6
17
-7
0
-8
2
-8
6
-8
12
-8
13
-8
14
-8
15
-8
16
-8
6_var_snapshot
-8
6*
-8
1
-9
3
-9
4
-9
5
-9
7
-9
8
-9
9
-9
10
-9
1_var_snapshot
-9
1*
-9
11
-10
-17
0
13
26
27
29
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
36
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
2
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
4
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
6
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
8
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
10
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
12
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
15
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
17
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
19
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
21
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
22
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
23
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
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
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
26
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
31
1
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
29
1_var_snapshot
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
38
6
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
36
6_var_snapshot
-1
r_post
r_post
0
r_post
-1
r_post
0
-1
r_0
r_0
0
r_0
-1
r_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
-1
i2_post
i2_post
0
i2_post
-1
i2_post
0
-1
i2_0
i2_0
0
i2_0
-1
i2_0
0
1
3
4
5
7
8
9
10
1_var_snapshot
1*
1
1
-10
i_0
3
-7
-10
i_0
4
-5
-10
i_0
5
-6
-10
i_0
7
-4
-10
i_0
8
-3
-10
i_0
9
-2
-10
i_0
10
-1
-10
i_0
1_var_snapshot
-10
i_0
1*
2
-10
i_0
-8
2
3
4
6
7
8
9
10
12
14
29
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
31
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
2
0
0
0
0
0
0
10
0
10
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
3
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
12
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
1
-1
3
0
4
0
5
0
7
0
8
0
9
1
10
-3
1_var_snapshot
-2
1*
0
-3
29
31
11
16
29
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
31
0
0
0
0
0
0
0
0
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
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
28
0
2
6
12
13
14
15
16
6_var_snapshot
6*
0
1
-10
i_0
2
-10
i_0
6
3
-10
i_0
12
-5
-10
i_0
13
-3
-10
i_0
14
-4
-10
i_0
15
-2
-10
i_0
16
-1
-10
i_0
6_var_snapshot
2
-10
i_0
6*
4
-10
i_0
-6
1
15
17
18
19
20
21
22
23
24
25
36
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
38
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
10
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
10
0
0
0
0
15
0
0
0
0
0
0
0
0
10
0
10
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
17
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
22
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
23
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
0
0
0
0
10
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
10
0
0
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-2
2
0
6
0
12
0
13
0
14
0
15
0
16
0
6_var_snapshot
-1
6*
1
-1
36
38
36
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
38
0
0
0
0
0
0
0
0
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
2
0
6
0
12
0
13
0
14
0
15
0
16
0
6_var_snapshot
1
6*
0
0
5
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
35
T2Cert
1.0