Importing pass 1 (keys)...
done.
948 keys imported
Importing pass 2 (sigs)...
1000 sigs imported...
2000 sigs imported...
3000 sigs imported...
done.
3710 sigs imported
reachable set is size 704
strongly connected set is size 538