Importing pass 1 (keys)...
done.
128 keys imported
Importing pass 2 (sigs)...
1000 sigs imported...
2000 sigs imported...
3000 sigs imported...
4000 sigs imported...
4000 sigs imported...
4000 sigs imported...
4000 sigs imported...
4000 sigs imported...
5000 sigs imported...
6000 sigs imported...
done.
6635 sigs imported
reachable set is size 127
strongly connected set is size 127