9
0
1
0
0
0
0
1
-1
i4_0
0
1
-1
i4_0
i4_post
0
-1
i4_0
-1
i4_post
0
i4_0
-1
i4_post
0
-1
i4_0
i4_post
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
1
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
2
0
0
0
0
0
-1
i3_0
n_0
0
-1
i3_0
i4_post
0
i3_0
-1
i4_post
0
i4_0
-1
i4_post
0
-1
i4_0
i4_post
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
3
3
0
0
0
0
1
i3_0
-1
n_0
0
-1
-1
i3_0
i3_post
0
1
i3_0
-1
i3_post
0
i3_0
-1
i3_post
0
-1
i3_0
i3_post
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_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
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
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
5
2
0
0
0
0
i2_0
0
-1
i2_0
i3_post
0
i2_0
-1
i3_post
0
i3_0
-1
i3_post
0
-1
i3_0
i3_post
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
6
5
0
0
0
0
1
-1
i2_0
0
1
-1
i2_0
i2_post
0
-1
i2_0
-1
i2_post
0
i2_0
-1
i2_post
0
-1
i2_0
i2_post
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
8
4
0
0
0
0
-1
i1_0
n_0
0
-1
i1_0
i2_post
0
i1_0
-1
i2_post
0
i2_0
-1
i2_post
0
-1
i2_0
i2_post
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
9
7
0
0
0
0
1
i1_0
-1
n_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
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
6
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
11
6
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
12
8
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
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
i2_0
0
1
i2_0
0
2
i2_0
0
3
i2_0
0
4
5
6
7
8
9
9
0
i2_0
0
0
0
1
1
i2_0
0
1
1
0
2
i2_0
0
2
2
0
3
3
3
i2_0
0
3
4
2
4
4
5
2
6
5
5
5
7
4
6
6
8
4
9
7
7
7
10
6
8
8
11
6
9
9
12
8
0
13
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
2
20
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
4
27
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
6
34
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
9
0
8
0
6
0
7
0
4
0
5
0
2
0
3
0
0
0
1
0
9
-7
8
-8
6
-9
7
-9
6_var_snapshot
-9
6*
-9
4
-12
5
-12
4_var_snapshot
-12
4*
-12
2
-15
3
-15
2_var_snapshot
-15
2*
-15
0
-18
1
-18
0_var_snapshot
-18
0*
-18
-23
2
5
8
11
12
16
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
14
0_var_snapshot
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
23
2
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
21
2_var_snapshot
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
30
4
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
28
4_var_snapshot
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
37
6
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
i1_post
i1_post
0
i1_post
-1
i1_post
0
-1
i1_0
i1_0
0
i1_0
-1
i1_0
0
35
6_var_snapshot
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
i4_post
i4_post
0
i4_post
-1
i4_post
0
-1
i4_0
i4_0
0
i4_0
-1
i4_0
0
-1
i3_post
i3_post
0
i3_post
-1
i3_post
0
-1
i3_0
i3_0
0
i3_0
-1
i3_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
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
0_var_snapshot
0*
0
-2
4
i4_0
1
4
i4_0
0_var_snapshot
-3
4
i4_0
0*
-1
4
i4_0
0
0
0
0
1
2
0_var_snapshot
-1
0*
1
-1
14
1
0
-1
1
0
0_var_snapshot
0
0*
0
-1
16
13
2
3
2_var_snapshot
2*
2
-2
-4
i3_0
4
n_0
3
-4
i3_0
4
n_0
2_var_snapshot
-3
-4
i3_0
4
n_0
2*
-1
-4
i3_0
4
n_0
0
3
2
0
3
2
2_var_snapshot
-1
2*
1
-1
21
4
2
0
3
0
2_var_snapshot
0
2*
1
0
23
20
4
5
4_var_snapshot
4*
4
-1
4
i2_0
5
1
4
i2_0
4_var_snapshot
-2
4
i2_0
4*
4
i2_0
1
6
4
-1
5
1
4_var_snapshot
-2
4*
0
-2
28
30
4
0
5
0
4_var_snapshot
0
4*
-1
-1
7
27
6
7
6_var_snapshot
6*
6
-2
-4
i1_0
4
n_0
7
-4
i1_0
4
n_0
6_var_snapshot
-3
-4
i1_0
4
n_0
6*
-1
-4
i1_0
4
n_0
0
9
6
-1
7
1
6_var_snapshot
-2
6*
0
-2
35
37
6
0
7
0
6_var_snapshot
0
6*
-1
-1
10
34
T2Cert
1.0