Importing pass 1 (keys)...
done.
1126 keys imported
Importing pass 2 (sigs)...
0 sigs imported...
0 sigs imported...
0 sigs imported...
1000 sigs imported...
2000 sigs imported...
2000 sigs imported...
3000 sigs imported...
3000 sigs imported...
3000 sigs imported...
3000 sigs imported...
4000 sigs imported...
5000 sigs imported...
5000 sigs imported...
5000 sigs imported...
5000 sigs imported...
5000 sigs imported...
6000 sigs imported...
7000 sigs imported...
7000 sigs imported...
7000 sigs imported...
7000 sigs imported...
8000 sigs imported...
8000 sigs imported...
9000 sigs imported...
10000 sigs imported...
10000 sigs imported...
11000 sigs imported...
12000 sigs imported...
12000 sigs imported...
12000 sigs imported...
12000 sigs imported...
13000 sigs imported...
13000 sigs imported...
14000 sigs imported...
14000 sigs imported...
14000 sigs imported...
14000 sigs imported...
15000 sigs imported...
15000 sigs imported...
15000 sigs imported...
15000 sigs imported...
15000 sigs imported...
16000 sigs imported...
17000 sigs imported...
17000 sigs imported...
18000 sigs imported...
18000 sigs imported...
19000 sigs imported...
19000 sigs imported...
20000 sigs imported...
21000 sigs imported...
21000 sigs imported...
21000 sigs imported...
21000 sigs imported...
22000 sigs imported...
23000 sigs imported...
24000 sigs imported...
24000 sigs imported...
done.
24296 sigs imported
reachable set is size 1010
strongly connected set is size 947