23
0
1
1
-1
j_0
n_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
0
0
0
0
j_0
-1
n_0
0
tmp_0
-1
tmp_post
0
-1
tmp_0
tmp_post
0
tmp___0_0
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
5
0
0
0
0
-1
-1
m_0
m_post
0
1
m_0
-1
m_post
0
m_0
-1
m_post
0
-1
m_0
m_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
7
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
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
5
6
1
-1
j_0
n_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
9
0
0
0
0
j_0
-1
n_0
0
-1
-1
j_0
j_post
0
1
j_0
-1
j_post
0
j_0
-1
j_post
0
-1
j_0
j_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_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
8
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
9
1
-1
j_0
n_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
11
0
0
0
0
j_0
-1
n_0
0
-1
-1
j_0
j_post
0
1
j_0
-1
j_post
0
j_0
-1
j_post
0
-1
j_0
j_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_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
10
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
11
11
0
0
0
0
y_0
-1
y_post
0
-1
y_0
y_post
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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
12
6
y_0
0
-1
y_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
13
12
1
-1
y_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
14
12
1
y_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
15
4
1
-1
i_0
n_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
16
13
0
0
0
0
i_0
-1
n_0
0
y_0
-1
y_post
0
-1
y_0
y_post
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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
17
14
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
18
4
x_0
0
-1
x_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
19
7
1
-1
x_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
20
7
1
x_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
21
17
-1
m_0
n_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
22
3
0
0
0
0
0
0
0
0
1
m_0
-1
n_0
0
x_post
0
-1
x_post
0
i_post
-1
m_0
0
-1
i_post
m_0
0
i_0
-1
i_post
0
-1
i_0
i_post
0
x_0
-1
x_post
0
-1
x_0
x_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
23
15
1
-1
j_0
n_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
24
19
0
0
0
0
0
0
0
0
j_0
-1
n_0
0
-1
-1
j_0
j_post
0
1
j_0
-1
j_post
0
j_0
-1
j_post
0
-1
j_0
j_post
0
y_0
-1
y_post
0
-1
y_0
y_post
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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_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
25
18
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
26
16
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
27
19
1
-1
j_0
n_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
28
21
0
0
0
0
0
0
0
0
j_0
-1
n_0
0
-1
-1
j_0
j_post
0
1
j_0
-1
j_post
0
j_0
-1
j_post
0
-1
j_0
j_post
0
y_0
-1
y_post
0
-1
y_0
y_post
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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_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
29
20
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
30
15
i_0
-1
m_0
0
-1
i_0
m_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
31
21
1
-1
i_0
m_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
32
21
1
i_0
-1
m_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
33
3
0
0
0
0
-1
-1
j_0
j_post
0
1
j_0
-1
j_post
0
j_0
-1
j_post
0
-1
j_0
j_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_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
34
22
tmp_0
-1
tmp___0_0
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
35
22
0
0
0
0
0
0
0
0
1
-1
tmp_0
tmp___0_0
0
i_post
-1
j_0
0
-1
i_post
j_0
0
i_0
-1
i_post
0
-1
i_0
i_post
0
x_0
-1
x_post
0
-1
x_0
x_post
0
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_0
0
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
36
5
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
3
37
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
44
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
51
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
58
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
11
65
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
19
72
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
21
79
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
23
0
0
0
1
0
2
0
3
0
4
0
5
0
6
0
7
0
8
0
9
0
10
0
11
0
12
0
13
0
14
0
15
0
16
0
18
0
19
0
20
0
21
0
22
0
17
0
23
-4
0
-5
1
-5
2
-5
3
-5
4
-5
6
-5
7
-5
8
-5
9
-5
10
-5
11
-5
12
-5
13
-5
14
-5
15
-5
18
-5
19
-5
20
-5
21
-5
22
-5
5
-5
16
-5
3_var_snapshot
-5
3*
-5
5_var_snapshot
-5
5*
-5
7_var_snapshot
-5
7*
-5
9_var_snapshot
-5
9*
-5
11_var_snapshot
-5
11*
-5
19_var_snapshot
-5
19*
-5
21_var_snapshot
-5
21*
-5
17
-18
-23
21
36
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
45
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
52
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
59
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
66
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
73
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
80
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
0
0
0
0
1
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
2
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
3
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
4
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
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
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
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
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
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
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
12
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
14
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
15
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
17
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
18
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
19
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
20
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
22
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
23
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
24
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
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
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
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
0
0
0
28
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
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
30
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
32
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
33
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
34
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
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
21
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
0
0
0
0
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
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
40
3
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
38
3_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
47
5
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
45
5_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
54
7
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
52
7_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
61
9
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
59
9_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
68
11
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
66
11_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
75
19
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
73
19_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
82
21
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
80
21_var_snapshot
-1
y_post
y_post
0
y_post
-1
y_post
0
-1
y_0
y_0
0
y_0
-1
y_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
-1
tmp_post
tmp_post
0
tmp_post
-1
tmp_post
0
-1
tmp___0_post
tmp___0_post
0
tmp___0_post
-1
tmp___0_post
0
-1
tmp___0_0
tmp___0_0
0
tmp___0_0
-1
tmp___0_0
0
-1
tmp_0
tmp_0
0
tmp_0
-1
tmp_0
0
-1
n_0
n_0
0
n_0
-1
n_0
0
-1
m_post
m_post
0
m_post
-1
m_post
0
-1
m_0
m_0
0
m_0
-1
m_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_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
0
1
2
3
4
6
7
8
9
10
11
12
13
14
15
18
19
20
21
22
5
16
3_var_snapshot
3*
5_var_snapshot
5*
7_var_snapshot
7*
9_var_snapshot
9*
11_var_snapshot
11*
19_var_snapshot
19*
21_var_snapshot
21*
0
-25
j_0
25
n_0
1
-25
j_0
25
n_0
2
-25
j_0
25
n_0
3
-25
j_0
25
n_0
4
-25
j_0
25
n_0
6
-25
j_0
25
n_0
7
-25
j_0
25
n_0
8
-25
j_0
25
n_0
9
-25
j_0
25
n_0
10
-25
j_0
25
n_0
11
-25
j_0
25
n_0
12
-25
j_0
25
n_0
13
-25
j_0
25
n_0
14
-25
j_0
25
n_0
15
-25
j_0
25
n_0
18
-25
j_0
25
n_0
19
-25
j_0
25
n_0
20
-25
j_0
25
n_0
21
-25
j_0
25
n_0
22
-1
-25
j_0
25
n_0
5
-25
j_0
25
n_0
16
-25
j_0
25
n_0
3_var_snapshot
-25
j_0
25
n_0
3*
-25
j_0
25
n_0
5_var_snapshot
-25
j_0
25
n_0
5*
-25
j_0
25
n_0
7_var_snapshot
-25
j_0
25
n_0
7*
-25
j_0
25
n_0
9_var_snapshot
-25
j_0
25
n_0
9*
-25
j_0
25
n_0
11_var_snapshot
-25
j_0
25
n_0
11*
-25
j_0
25
n_0
19_var_snapshot
-25
j_0
25
n_0
19*
-25
j_0
25
n_0
21_var_snapshot
-25
j_0
25
n_0
21*
-25
j_0
25
n_0
-1
9
24
38
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
25
0
0
0
0
40
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
25
0
0
0
0
45
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
25
0
0
0
0
47
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
25
0
0
0
0
52
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
25
0
0
0
0
54
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
25
0
0
0
0
59
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
25
0
0
0
0
61
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
25
0
0
0
0
66
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
25
0
0
0
0
68
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
25
0
0
0
0
73
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
25
0
0
0
0
75
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
25
0
0
0
0
80
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
25
0
0
0
0
82
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
25
0
0
0
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
25
0
0
0
0
1
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
25
0
0
0
0
2
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
25
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
25
0
0
0
0
25
0
0
0
0
4
0
0
0
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
25
5
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
25
0
0
0
0
6
0
0
0
0
25
0
25
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
7
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
25
0
0
0
0
8
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
25
0
0
0
0
9
0
0
0
0
25
0
25
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
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
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
25
0
0
0
0
11
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
25
0
0
0
0
12
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
25
0
0
0
0
13
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
25
0
0
0
0
14
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
25
0
0
0
0
15
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
25
0
0
0
0
16
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
25
0
0
0
0
17
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
25
0
0
0
0
18
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
25
0
0
0
0
19
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
25
0
0
0
0
20
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
25
0
0
0
0
22
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
25
0
0
0
0
0
0
0
0
25
23
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
25
0
0
0
0
24
0
0
0
0
0
0
25
0
25
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
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
25
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
25
0
0
0
0
26
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
25
0
0
0
0
27
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
25
0
0
0
0
28
0
0
0
0
0
0
25
0
25
0
0
0
0
0
0
0
0
0
0
0
0
0
0
25
0
0
0
0
0
0
0
0
0
29
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
25
0
0
0
0
30
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
25
0
0
0
0
31
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
25
0
0
0
0
32
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
25
0
0
0
0
33
0
0
0
25
0
25
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
34
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
25
0
0
0
0
35
0
0
0
0
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
25
0
1
-28
j_0
28
n_0
1
1
-28
j_0
28
n_0
2
-28
j_0
28
n_0
3
1
-28
j_0
28
n_0
4
1
-28
j_0
28
n_0
6
1
-28
j_0
28
n_0
7
1
-28
j_0
28
n_0
8
1
-28
j_0
28
n_0
9
1
-28
j_0
28
n_0
10
1
-28
j_0
28
n_0
11
1
-28
j_0
28
n_0
12
1
-28
j_0
28
n_0
13
1
-28
j_0
28
n_0
14
1
-28
j_0
28
n_0
15
1
-28
j_0
28
n_0
18
1
-28
j_0
28
n_0
19
1
-28
j_0
28
n_0
20
1
-28
j_0
28
n_0
21
1
-28
j_0
28
n_0
22
-26
-28
j_0
28
n_0
5
1
-28
j_0
28
n_0
16
1
-28
j_0
28
n_0
3_var_snapshot
1
-28
j_0
28
n_0
3*
1
-28
j_0
28
n_0
5_var_snapshot
1
-28
j_0
28
n_0
5*
1
-28
j_0
28
n_0
7_var_snapshot
1
-28
j_0
28
n_0
7*
1
-28
j_0
28
n_0
9_var_snapshot
1
-28
j_0
28
n_0
9*
1
-28
j_0
28
n_0
11_var_snapshot
1
-28
j_0
28
n_0
11*
1
-28
j_0
28
n_0
19_var_snapshot
1
-28
j_0
28
n_0
19*
1
-28
j_0
28
n_0
21_var_snapshot
1
-28
j_0
28
n_0
21*
1
-28
j_0
28
n_0
0
6
28
38
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
40
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
45
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
47
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
52
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
54
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
59
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
61
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
66
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
68
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
73
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
75
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
80
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
82
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
28
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
6
0
0
0
0
28
0
28
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
0
0
0
28
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
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
8
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
11
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
12
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
14
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
16
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
17
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
18
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
19
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
20
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
22
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
0
0
0
0
0
0
0
28
23
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
25
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
26
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
27
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
28
0
0
0
0
0
0
28
0
28
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
0
0
0
0
0
28
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
29
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
30
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
31
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
32
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
33
0
0
0
28
0
28
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
0
34
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
0
0
0
0
0
0
0
0
28
0
0
0
0
35
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
0
0
0
0
0
0
0
28
0
1
-37
j_0
37
n_0
1
1
-37
j_0
37
n_0
2
-37
j_0
37
n_0
3
1
-37
j_0
37
n_0
4
1
-37
j_0
37
n_0
6
1
-37
j_0
37
n_0
7
1
-37
j_0
37
n_0
8
1
-37
j_0
37
n_0
9
1
-37
j_0
37
n_0
10
1
-37
j_0
37
n_0
11
1
-37
j_0
37
n_0
12
1
-37
j_0
37
n_0
13
1
-37
j_0
37
n_0
14
1
-37
j_0
37
n_0
15
1
-37
j_0
37
n_0
18
1
-37
j_0
37
n_0
19
1
-37
j_0
37
n_0
20
1
-37
j_0
37
n_0
21
1
-37
j_0
37
n_0
22
-35
-37
j_0
37
n_0
5
1
-37
j_0
37
n_0
16
1
-37
j_0
37
n_0
3_var_snapshot
1
-37
j_0
37
n_0
3*
1
-37
j_0
37
n_0
5_var_snapshot
1
-37
j_0
37
n_0
5*
1
-37
j_0
37
n_0
7_var_snapshot
1
-37
j_0
37
n_0
7*
1
-37
j_0
37
n_0
9_var_snapshot
1
-37
j_0
37
n_0
9*
1
-37
j_0
37
n_0
11_var_snapshot
1
-37
j_0
37
n_0
11*
1
-37
j_0
37
n_0
19_var_snapshot
1
-37
j_0
37
n_0
19*
1
-37
j_0
37
n_0
21_var_snapshot
1
-37
j_0
37
n_0
21*
1
-37
j_0
37
n_0
0
1
38
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
40
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
45
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
47
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
52
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
54
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
59
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
61
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
66
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
68
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
73
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
75
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
80
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
82
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
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
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
37
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
8
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
11
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
12
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
14
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
15
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
16
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
17
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
18
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
19
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
20
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
22
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
37
0
0
0
0
0
0
0
0
37
23
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
25
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
26
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
27
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
29
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
30
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
31
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
32
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
33
0
0
0
37
0
37
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
0
34
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
0
0
0
35
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
37
0
-5
-27
m_0
27
n_0
1
-6
-27
m_0
27
n_0
2
-27
m_0
27
n_0
3
-3
-27
m_0
27
n_0
4
-24
-27
m_0
27
n_0
6
-23
-27
m_0
27
n_0
7
-23
-27
m_0
27
n_0
8
-23
-27
m_0
27
n_0
9
-23
-27
m_0
27
n_0
10
-23
-27
m_0
27
n_0
11
-23
-27
m_0
27
n_0
12
-23
-27
m_0
27
n_0
13
-23
-27
m_0
27
n_0
14
-23
-27
m_0
27
n_0
15
-14
-27
m_0
27
n_0
18
-13
-27
m_0
27
n_0
19
-11
-27
m_0
27
n_0
20
-9
-27
m_0
27
n_0
21
-8
-27
m_0
27
n_0
22
-1
-27
m_0
27
n_0
5
1
-27
m_0
27
n_0
16
-1
-27
m_0
27
n_0
3_var_snapshot
-4
-27
m_0
27
n_0
3*
-2
-27
m_0
27
n_0
5_var_snapshot
-27
m_0
27
n_0
5*
2
-27
m_0
27
n_0
7_var_snapshot
-23
-27
m_0
27
n_0
7*
-23
-27
m_0
27
n_0
9_var_snapshot
-23
-27
m_0
27
n_0
9*
-23
-27
m_0
27
n_0
11_var_snapshot
-23
-27
m_0
27
n_0
11*
-23
-27
m_0
27
n_0
19_var_snapshot
-12
-27
m_0
27
n_0
19*
-10
-27
m_0
27
n_0
21_var_snapshot
-8
-27
m_0
27
n_0
21*
-7
-27
m_0
27
n_0
25
22
38
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
40
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
45
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
47
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
52
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
54
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
59
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
61
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
66
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
68
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
73
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
75
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
80
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
82
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
0
0
0
0
0
0
0
0
3
0
0
0
27
0
27
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
4
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
27
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
0
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
0
0
0
0
0
0
27
0
0
0
0
27
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
0
0
23
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
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
27
0
0
0
0
27
0
0
0
0
0
0
0
0
29
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
30
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
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
27
0
0
0
0
27
0
0
0
0
0
0
0
0
32
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
33
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
27
0
0
0
0
34
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
27
0
0
0
0
27
0
0
0
0
0
0
0
0
35
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
27
0
0
0
0
0
-5
1
-6
2
0
3
-3
4
-17
6
-16
7
-16
8
-16
9
-16
10
-16
11
-16
12
-16
13
-16
14
-16
15
-15
18
-14
19
-12
20
-10
21
-8
22
-1
5
-19
16
-21
3_var_snapshot
-4
3*
-2
5_var_snapshot
-20
5*
-18
7_var_snapshot
-16
7*
-16
9_var_snapshot
-16
9*
-16
11_var_snapshot
-16
11*
-16
19_var_snapshot
-13
19*
-11
21_var_snapshot
-9
21*
-7
-21
40
45
47
73
75
80
82
0
2
3
15
18
19
20
23
25
26
27
29
30
31
32
33
34
35
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
40
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
0
0
45
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
0
0
47
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
0
0
52
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
54
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
59
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
61
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
66
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
68
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
73
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
0
0
75
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
0
0
80
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
0
0
82
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
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
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
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
3
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
0
0
0
0
0
0
4
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
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
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
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
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
12
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
14
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
15
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
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
17
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
18
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
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
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
20
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
0
0
0
0
23
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
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
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
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
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
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
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
30
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
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
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
32
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
0
0
0
0
33
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
0
0
0
0
0
0
34
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
0
0
0
0
35
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
0
0
0
0
0
0
0
0
0
0
1
0
2
0
3
1
4
0
6
-11
-14
i_0
14
n_0
7
1
-14
i_0
14
n_0
8
-10
-14
i_0
14
n_0
9
-9
-14
i_0
14
n_0
10
-7
-14
i_0
14
n_0
11
-5
-14
i_0
14
n_0
12
-3
-14
i_0
14
n_0
13
-2
-14
i_0
14
n_0
14
-1
-14
i_0
14
n_0
15
0
18
0
19
0
20
0
21
0
22
0
5
0
16
0
3_var_snapshot
0
3*
0
5_var_snapshot
0
5*
0
7_var_snapshot
-14
i_0
14
n_0
7*
2
-14
i_0
14
n_0
9_var_snapshot
-9
-14
i_0
14
n_0
9*
-8
-14
i_0
14
n_0
11_var_snapshot
-6
-14
i_0
14
n_0
11*
-4
-14
i_0
14
n_0
19_var_snapshot
0
19*
0
21_var_snapshot
0
21*
0
-2
16
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
52
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
14
54
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
14
59
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
14
61
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
14
66
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
14
68
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
14
4
0
0
0
14
0
14
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
5
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
14
7
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
14
8
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
14
10
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
14
11
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
14
12
0
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
14
13
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
14
14
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
14
16
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
14
0
0
14
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
17
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
14
0
0
1
0
2
0
3
0
4
0
6
-10
7
-12
8
-9
9
-7
10
-5
11
-3
12
-1
13
0
14
-14
15
0
18
0
19
0
20
0
21
0
22
0
5
0
16
0
3_var_snapshot
-1
3*
0
5_var_snapshot
0
5*
0
7_var_snapshot
-13
7*
-11
9_var_snapshot
-8
9*
-6
11_var_snapshot
-4
11*
-2
19_var_snapshot
0
19*
0
21_var_snapshot
0
21*
0
-14
38
52
54
59
61
66
68
5
7
8
10
11
12
13
14
17
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
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
52
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
0
0
54
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
0
0
59
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
0
0
61
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
0
0
66
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
0
0
68
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
0
0
4
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
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
7
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
0
0
8
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
0
0
0
0
10
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
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
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
12
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
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
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
14
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
0
0
0
0
17
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
0
0
0
0
1
0
2
0
3
0
4
0
6
1
7
0
8
0
9
0
10
0
11
0
12
0
13
0
14
0
15
0
18
0
19
0
20
0
21
0
22
0
5
0
16
0
3_var_snapshot
0
3*
0
5_var_snapshot
0
5*
0
7_var_snapshot
0
7*
0
9_var_snapshot
0
9*
0
11_var_snapshot
0
11*
0
19_var_snapshot
0
19*
0
21_var_snapshot
0
21*
0
0
4
4
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
0
0
0
0
0
0
37
44
51
58
65
72
79
T2Cert
1.0