17
0
1
-1
i_0
nodecount_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
1
2
0
0
0
0
1
i_0
-1
nodecount_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
2
4
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
3
1
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
4
2
0
0
0
0
edgecount_0
-1
i_0
0
i_post
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
5
3
0
0
0
0
0
0
0
0
1
-1
edgecount_0
i_0
0
x_0
-1
x_post
0
-1
x_0
x_post
0
y_0
-1
y_post
0
-1
y_0
y_post
0
-1
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
6
7
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
7
9
0
0
0
0
edgecount_0
-1
j_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
8
6
0
0
0
0
0
0
0
0
1
-1
edgecount_0
j_0
0
x_0
-1
x_post
0
-1
x_0
x_post
0
y_0
-1
y_post
0
-1
y_0
y_post
0
-1
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
9
4
0
0
0
0
-1
i_0
nodecount_0
0
i_post
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
10
7
0
0
0
0
1
i_0
-1
nodecount_0
0
j_post
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
11
12
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
12
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
13
13
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
14
11
1
-1
i_0
source_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
15
11
1
i_0
-1
source_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
16
12
i_0
-1
source_0
0
-1
i_0
source_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
17
9
0
0
0
0
-1
i_0
nodecount_0
0
i_post
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
18
15
1
i_0
-1
nodecount_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
19
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
20
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
21
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
22
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
23
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
-5
nodecount_post
0
5
-1
nodecount_post
0
-15
edgecount_post
0
15
-1
edgecount_post
0
source_post
0
-1
source_post
0
i_post
0
-1
i_post
0
edgecount_0
-1
edgecount_post
0
-1
edgecount_0
edgecount_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
nodecount_0
-1
nodecount_post
0
-1
nodecount_0
nodecount_post
0
source_0
-1
source_post
0
-1
source_0
source_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
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
24
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
2.4
0
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
1
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
2
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
3
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
4
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
5
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
6
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
7
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
8
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
9
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
10
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
11
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
12
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
13
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
14
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
15
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
16
17
17
0
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
0
0
1
1
2
1
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
1
2
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
2
22
0
3
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
3
2
4
3
1
4
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
4
21
5
5
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
5
4
2
5
3
6
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
6
6
7
7
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
7
20
8
8
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
8
7
9
8
6
9
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
9
19
10
10
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
10
9
4
10
7
11
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
11
11
12
12
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
12
13
13
13
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
13
12
14
14
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
14
17
9
18
15
15
-15
edgecount_post
0
15
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-15
edgecount_0
0
15
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
15
14
11
15
11
16
12
16
16
23
13
17
17
24
16
2
25
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
4
32
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
7
39
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
9
46
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
13
53
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
17
0
16
0
11
0
12
0
13
0
14
0
15
0
6
0
7
0
8
0
9
0
10
0
3
0
4
0
5
0
0
0
2
0
1
0
17
-8
16
-9
11
-10
12
-10
13
-10
14
-10
15
-10
13_var_snapshot
-10
13*
-10
6
-11
7
-11
8
-11
9
-11
10
-11
7_var_snapshot
-11
7*
-11
9_var_snapshot
-11
9*
-11
3
-14
4
-14
5
-14
4_var_snapshot
-14
4*
-14
0
-15
2
-15
2_var_snapshot
-15
2*
-15
1
-16
-27
0
3
4
9
17
23
24
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
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
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
28
2
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
26
2_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
35
4
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
33
4_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
42
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
40
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
49
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
47
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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
56
13
-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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
54
13_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
source_post
source_post
0
source_post
-1
source_post
0
-1
source_0
source_0
0
source_0
-1
source_0
0
-1
nodecount_post
nodecount_post
0
nodecount_post
-1
nodecount_post
0
-1
nodecount_0
nodecount_0
0
nodecount_0
-1
nodecount_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
edgecount_post
edgecount_post
0
edgecount_post
-1
edgecount_post
0
-1
edgecount_0
edgecount_0
0
edgecount_0
-1
edgecount_0
0
0
2
2_var_snapshot
2*
0
-6
i_0
6
nodecount_0
-1
nodecount_post
2
-1
-6
i_0
6
nodecount_0
2_var_snapshot
-12
edgecount_post
-6
i_0
6
nodecount_0
-1
nodecount_post
2*
-6
i_0
6
nodecount_0
0
1
26
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
6
0
0
0
0
0
0
0
0
6
1
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
6
0
0
0
0
0
0
0
0
6
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
6
0
6
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
1
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
22
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
6
0
0
0
0
0
0
0
0
6
0
0
0
0
0
-1
nodecount_0
2
edgecount_0
2_var_snapshot
0
2*
edgecount_0
edgecount_post
-1
26
28
22
26
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
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
28
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
0
0
1
0
0
1
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
22
0
0
0
0
0
0
0
1
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
25
3
4
5
4_var_snapshot
4*
3
-2
edgecount_0
-1
edgecount_post
-47
i_0
4
-47
i_0
5
-2
edgecount_0
-1
edgecount_post
-47
i_0
3
nodecount_post
4_var_snapshot
-2
edgecount_0
-47
i_0
3
nodecount_post
4*
31
-2
edgecount_0
-47
i_0
-689
5
33
0
0
3
0
0
0
0
2
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
47
0
0
0
2
35
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
47
0
0
0
0
2
1
0
0
0
0
0
0
0
0
0
0
0
0
47
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
2
5
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
47
0
1
0
2
1
0
0
3
0
0
49
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
21
0
1
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
47
0
1
0
2
3
1
4
-1
edgecount_0
5
-5
nodecount_post
4_var_snapshot
-4
nodecount_post
4*
0
-21
35
2
21
33
0
0
0
4
0
0
1
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
35
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
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
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
21
0
0
0
1
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
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
3
0
4
edgecount_post
5
0
4_var_snapshot
0
4*
0
14
33
33
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
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
0
0
0
0
0
32
6
7
8
9
10
7_var_snapshot
7*
9_var_snapshot
9*
6
-61
i_0
61
nodecount_0
7
-61
i_0
61
nodecount_0
8
-61
i_0
61
nodecount_0
9
4
edgecount_0
-61
i_0
61
nodecount_0
-3
nodecount_post
10
-30
3
edgecount_post
-61
i_0
61
nodecount_0
7_var_snapshot
-61
i_0
61
nodecount_0
7*
-61
i_0
61
nodecount_0
9_var_snapshot
3
edgecount_post
-61
i_0
61
nodecount_0
-3
nodecount_post
9*
4
edgecount_0
-61
i_0
61
nodecount_0
75
10
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
61
0
0
0
0
0
0
0
0
61
0
0
0
0
42
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
61
0
0
0
0
47
3
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
61
0
0
0
0
0
0
0
0
61
3
0
0
0
49
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
61
0
0
0
0
0
0
0
0
61
0
0
4
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
61
0
0
0
0
61
0
0
0
0
7
0
0
0
0
0
0
4
0
0
0
0
0
0
0
61
0
61
0
0
0
0
0
0
0
0
0
0
0
0
0
0
61
0
0
0
0
0
0
0
4
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
61
0
0
0
0
0
0
0
0
61
0
0
0
0
10
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
61
0
0
0
0
61
0
0
0
0
0
3
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
19
0
0
3
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
61
3
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
61
0
0
0
0
0
0
0
0
61
0
0
0
0
6
-7
-5
j_0
7
-4
-5
j_0
8
-1
-5
j_0
-1
nodecount_post
9
-1
edgecount_0
-5
j_0
10
-1
-1
edgecount_0
-5
j_0
7_var_snapshot
-5
j_0
-1
nodecount_post
7*
-3
-5
j_0
9_var_snapshot
-1
-1
edgecount_0
-5
j_0
9*
-2
-5
j_0
-1
nodecount_post
-77
8
40
0
0
0
1
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
5
0
0
0
0
0
0
0
0
42
0
0
0
0
0
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
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
5
0
0
0
0
0
0
0
1
49
0
0
1
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
5
0
0
0
0
0
0
0
1
6
0
0
0
0
0
0
0
0
0
0
0
0
0
5
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
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
1
0
0
0
0
0
5
0
0
0
0
8
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
5
0
0
0
0
0
0
0
0
0
0
1
0
0
0
5
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
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
5
0
0
0
0
0
0
0
1
20
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
5
0
0
0
0
0
0
0
0
6
2
edgecount_0
10
nodecount_0
nodecount_post
7
2
edgecount_0
-1
edgecount_post
10
nodecount_0
8
-1
edgecount_0
10
nodecount_0
9
-3
edgecount_0
10
nodecount_0
10
-1
nodecount_post
7_var_snapshot
10
nodecount_0
7*
2
edgecount_0
10
nodecount_0
9_var_snapshot
0
9*
-30
10
nodecount_0
-1
40
42
47
49
6
7
19
20
40
1
0
0
0
0
0
0
2
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
1
0
0
0
0
0
0
2
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
42
0
1
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
1
2
0
0
0
0
0
0
0
0
2
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
47
0
0
0
0
0
0
3
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
3
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
49
0
0
0
0
0
0
0
3
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
3
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
6
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
10
0
0
0
0
0
0
0
2
0
0
0
0
1
0
0
0
2
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
7
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
10
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
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
19
0
0
0
1
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
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
1
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
1
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
39
46
11
12
13
14
15
13_var_snapshot
13*
11
4
edgecount_0
edgecount_post
-7
i_0
nodecount_0
nodecount_post
7
source_0
12
18
edgecount_0
-7
i_0
nodecount_0
nodecount_post
7
source_0
13
-7
edgecount_0
2
edgecount_post
-7
i_0
nodecount_0
nodecount_post
7
source_0
14
-4
2
edgecount_0
edgecount_post
-7
i_0
nodecount_post
7
source_0
15
2
edgecount_0
edgecount_post
-7
i_0
7
source_0
13_var_snapshot
-3
2
edgecount_0
edgecount_post
-7
i_0
nodecount_post
7
source_0
13*
24
edgecount_0
-7
i_0
nodecount_0
nodecount_post
7
source_0
17
15
16
18
54
0
1
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
7
0
1
0
0
0
0
0
0
0
0
0
0
7
1
0
2
0
56
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
1
0
1
0
0
0
0
0
0
0
0
7
2
0
1
0
11
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
1
0
1
0
0
0
0
0
0
0
0
7
0
0
1
0
12
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
1
0
0
0
0
0
0
0
0
0
0
7
1
0
2
0
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
7
0
0
0
0
0
0
0
0
0
0
7
0
1
0
1
0
0
0
0
0
0
0
1
0
14
0
0
1
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
1
0
1
0
0
0
0
0
0
0
0
7
1
0
1
0
15
0
0
1
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
1
0
1
0
0
0
0
0
0
0
0
7
1
0
1
0
0
1
0
0
0
0
0
2
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
16
0
1
1
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
1
0
1
0
0
0
0
0
0
0
0
7
0
0
1
0
0
1
0
0
0
0
0
2
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
18
0
0
0
1
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
7
1
0
2
0
0
1
0
1
0
0
0
2
7
0
7
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
11
4
nodecount_post
12
-1
edgecount_0
4
nodecount_post
13
-1
edgecount_0
14
-1
edgecount_0
-4
nodecount_0
15
5
nodecount_post
13_var_snapshot
-4
nodecount_0
13*
-1
edgecount_0
-1
edgecount_post
4
nodecount_post
-21
54
56
11
12
13
54
0
0
0
0
0
0
1
0
0
4
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
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
0
56
1
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
0
0
1
1
0
0
4
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
0
11
0
0
0
0
0
0
0
1
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
1
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
0
0
0
12
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
4
0
0
0
0
0
0
0
0
0
0
0
1
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
13
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
4
0
0
0
0
0
0
0
0
1
0
1
0
0
0
4
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
0
0
0
14
0
0
0
1
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
11
0
12
0
13
0
14
0
15
1
13_var_snapshot
0
13*
0
0
14
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
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
53
T2Cert
1.0