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
-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
9
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
8
11
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
9
8
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
10
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
11
9
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
12
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
13
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
14
6
0
0
0
0
-1
-1
i_0
i_post
0
1
i_0
-1
i_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
-1
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
15
13
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
16
13
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
17
14
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
18
11
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
19
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
20
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
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
6
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
-11
edgecount_post
0
11
-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
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
1
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
2
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
3
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
4
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
5
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
6
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
7
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
8
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
9
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
10
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
11
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
12
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
13
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
14
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
15
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
16
17
17
0
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
0
0
1
1
2
1
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
1
2
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
2
22
0
3
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
3
2
4
3
1
4
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
4
21
5
5
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
5
4
2
5
3
6
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
6
6
7
7
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
7
18
11
19
15
8
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
8
7
9
9
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
9
20
10
10
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
10
8
11
9
8
11
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
11
12
12
12
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
12
10
4
11
9
13
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
13
13
14
14
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
14
14
6
15
-11
edgecount_post
0
11
-1
edgecount_post
0
-5
nodecount_post
0
5
-1
nodecount_post
0
source_post
0
-1
source_post
0
-11
edgecount_0
0
11
-1
edgecount_0
0
-5
nodecount_0
0
5
-1
nodecount_0
0
-1
source_0
0
15
15
13
16
13
17
14
16
16
23
6
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
6
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
11
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
6
0
7
0
13
0
14
0
15
0
8
0
9
0
10
0
11
0
12
0
3
0
4
0
5
0
0
0
2
0
1
0
17
-8
16
-9
6
-10
7
-10
13
-10
14
-10
15
-10
6_var_snapshot
-10
6*
-10
8
-11
9
-11
10
-11
11
-11
12
-11
9_var_snapshot
-11
9*
-11
11_var_snapshot
-11
11*
-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
10
18
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
6
-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
6_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
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
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
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
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
-8
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
nodecount_0
-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
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
1
0
0
0
0
0
0
0
1
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
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
-6
edgecount_0
-1
edgecount_post
-79
i_0
4
-79
i_0
5
-6
edgecount_0
-1
edgecount_post
-79
i_0
11
nodecount_post
4_var_snapshot
-6
edgecount_0
-79
i_0
11
nodecount_post
4*
67
-6
edgecount_0
-79
i_0
-813
5
33
0
0
11
0
0
0
0
6
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
79
0
0
0
6
35
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
79
0
0
0
0
2
1
0
0
0
0
0
0
0
0
0
0
0
0
79
0
79
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
5
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
79
0
1
0
6
1
0
0
11
0
0
85
0
0
0
0
0
0
0
79
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
11
0
0
0
0
0
0
0
0
0
0
79
0
1
0
6
3
edgecount_post
4
-11
nodecount_post
5
-1
edgecount_0
-6
edgecount_post
4_var_snapshot
-6
edgecount_post
4*
0
-67
35
2
21
33
0
6
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
6
0
0
35
0
0
0
11
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
2
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
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
21
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
6
0
1
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
3
0
4
1
5
0
4_var_snapshot
0
4*
0
0
33
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
0
0
0
0
0
0
0
0
0
0
0
0
32
8
9
10
11
12
9_var_snapshot
9*
11_var_snapshot
11*
8
-122
i_0
122
nodecount_0
9
-122
i_0
122
nodecount_0
10
-122
i_0
122
nodecount_0
11
-122
i_0
122
nodecount_0
22
nodecount_post
12
55
-122
i_0
122
nodecount_0
9_var_snapshot
-122
i_0
122
nodecount_0
9*
-122
i_0
122
nodecount_0
11_var_snapshot
110
-122
i_0
122
nodecount_0
11*
11
edgecount_post
-122
i_0
122
nodecount_0
176
11
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
122
0
0
0
0
0
0
0
0
122
0
0
0
0
49
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
122
0
0
0
0
0
0
0
0
122
0
0
0
0
54
0
0
0
22
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
122
0
0
0
0
0
0
0
0
122
0
0
0
0
56
0
11
22
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
22
0
122
0
0
0
0
0
0
0
0
122
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
122
0
0
0
0
122
0
0
0
0
8
11
0
0
0
0
0
0
0
0
0
0
0
0
0
122
0
122
0
0
0
0
0
0
0
0
0
0
0
0
0
0
122
0
0
0
0
0
11
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
122
0
0
0
0
0
0
0
0
122
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
122
0
0
0
0
122
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
122
0
0
0
0
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
122
0
0
0
0
0
0
0
0
122
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
122
0
0
0
0
0
0
0
0
122
0
0
0
0
8
8
edgecount_0
-8
edgecount_post
-89
j_0
11
nodecount_post
9
121
edgecount_post
-89
j_0
10
edgecount_0
-89
j_0
11
nodecount_post
11
4
edgecount_0
-89
j_0
12
4
edgecount_0
-89
j_0
-11
nodecount_0
9_var_snapshot
55
edgecount_0
-89
j_0
11
nodecount_post
9*
8
edgecount_0
-89
j_0
11
nodecount_post
11_var_snapshot
4
edgecount_0
-5
edgecount_post
-89
j_0
11*
15
edgecount_0
-10
edgecount_post
-89
j_0
-825
9
47
0
1
11
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
0
0
0
0
0
0
89
0
0
0
0
0
0
1
0
49
1
0
0
11
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
89
0
0
0
0
1
0
0
0
54
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
89
0
0
0
0
0
5
4
0
56
10
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
89
0
0
0
0
0
0
4
0
7
8
0
0
0
0
0
0
0
0
0
0
0
0
89
0
89
0
0
0
0
0
0
0
0
0
0
0
0
11
0
0
0
0
0
0
0
0
0
8
0
8
0
10
0
11
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
89
0
10
15
0
9
0
8
0
0
0
0
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
0
0
0
0
0
0
89
0
0
0
0
0
8
8
0
0
0
0
11
0
0
88
0
0
0
0
0
0
0
89
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
5
0
0
0
0
0
0
0
11
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
0
0
0
89
0
0
0
0
0
0
4
0
20
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
89
0
0
0
0
0
0
1
0
8
5
edgecount_post
nodecount_0
9
44
10
-1
edgecount_0
3
edgecount_post
11
0
12
-2
nodecount_post
9_var_snapshot
3
edgecount_post
9*
5
edgecount_post
11_var_snapshot
-1
nodecount_post
11*
-22
3
edgecount_post
-6
47
49
54
56
7
8
12
20
47
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
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
49
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
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
54
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
56
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
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
7
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
5
0
0
0
0
5
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
8
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
3
0
0
0
0
3
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
12
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
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
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
0
0
0
0
0
0
0
0
0
0
3
0
0
1
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
46
53
6
7
13
14
15
6_var_snapshot
6*
6
9
4
edgecount_0
5
edgecount_post
-7
i_0
nodecount_0
7
source_0
7
-4
6
edgecount_0
4
edgecount_post
-7
i_0
nodecount_0
7
source_0
13
-6
6
edgecount_0
4
edgecount_post
-7
i_0
nodecount_0
7
source_0
14
37
6
edgecount_0
-7
i_0
nodecount_0
7
source_0
15
6
edgecount_0
4
edgecount_post
-7
i_0
7
source_0
6_var_snapshot
30
6
edgecount_0
edgecount_post
-7
i_0
nodecount_0
7
source_0
6*
43
6
edgecount_0
-7
i_0
nodecount_0
7
source_0
82
16
17
19
40
0
4
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
1
0
0
0
0
0
0
0
0
7
1
0
6
0
42
5
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
1
0
0
0
0
0
0
0
0
7
5
0
4
0
6
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
1
0
0
0
0
0
0
0
0
7
4
0
6
0
13
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
1
0
0
0
0
0
0
0
0
7
0
0
6
0
14
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
0
0
1
0
0
0
0
0
0
0
6
0
15
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
1
0
0
0
0
0
0
0
0
7
4
0
6
0
16
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
1
0
0
0
0
0
0
0
0
7
4
0
6
0
0
4
0
0
0
0
0
6
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
17
0
4
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
1
0
0
0
0
0
0
0
0
7
0
0
6
0
0
4
0
0
0
0
0
6
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
19
0
0
0
0
0
0
0
0
0
1
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
4
0
6
0
0
4
0
0
0
0
0
6
6
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
6
-5
edgecount_0
-5
edgecount_post
-1
nodecount_0
7
-1
nodecount_0
-24
nodecount_post
13
0
14
-5
edgecount_0
15
edgecount_0
6_var_snapshot
-5
edgecount_0
-1
nodecount_0
-12
nodecount_post
6*
-5
edgecount_0
-1
nodecount_0
-121
40
42
6
13
14
40
5
0
0
12
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
0
1
0
0
0
0
0
0
0
0
0
0
0
5
5
0
0
0
0
0
5
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
42
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
1
0
0
0
0
0
0
0
0
0
5
0
5
0
0
0
0
0
0
5
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
6
0
0
0
12
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
24
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
12
0
0
0
5
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
13
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
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
14
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
1
0
0
0
0
0
0
0
5
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
15
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
6
0
7
0
13
0
14
0
15
nodecount_post
6_var_snapshot
0
6*
0
4
15
15
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
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
39
T2Cert
1.0