4
0
1
0
0
0
0
1
-1
x_0
x_post
0
-1
x_0
-1
x_post
0
x_0
-1
x_post
0
-1
x_0
x_post
0
1
2
-99
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
2
2
101
-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
3
0
0
0
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
4
0
0
0
0
0
-300
x_post
0
300
-1
x_post
0
x_0
-1
x_post
0
-1
x_0
x_post
0
5
3
0
0
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
2.4
0
6
-1
x_post
x_post
0
x_post
-1
x_post
0
-1
x_0
x_0
0
x_0
-1
x_0
0
4
0
3
0
0
0
1
0
2
0
4
-4
3
-5
0
-6
1
-6
2
-6
0_var_snapshot
-6
0*
-6
-11
4
5
9
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
7
0_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
0
1
2
0_var_snapshot
0*
0
-2
5
x_0
1
1
5
x_0
2
5
x_0
0_var_snapshot
-3
5
x_0
0*
-1
5
x_0
505
2
6
0
101
-1
x_0
0
1
100
-1
x_0
0
2
1
0
101
-1
x_0
0
3
4
0
101
-1
x_0
0
1
100
-1
x_0
0
2
1
0
0_var_snapshot
101
-1
x_0
0
0*
1
0
0
0
4
5
1
1
3
4
2
2
101
-1
x_0
0
0
0
3
6
4
3
100
-1
x_0
0
1
1
10
2
11
4
101
-1
x_0
0
0
7
5
5
101
-1
x_0
0
0_var_snapshot
0
17
10
1
0
2
11
101
-1
x_0
0
2
3
12
12
101
-1
x_0
0
0
2
17
100
-1
x_0
0
1
1
18
18
1
0
2
0
-1
0_var_snapshot
-2
1
-3
2
-4
0*
-5
-7
7
T2Cert
1.0