ANSWER: possibly no program sccs : 0 size answers : 130 pos answers : 0 size binary clauses : 640 pos binary clauses : 20 size calls : 30 pos calls : 0 size calls with binary clauses : 90 pos calls with binary clauses : 0 checking termination : 20Standard Err:
% restoring /usr/local/bin/twshell.bin... % /usr/local/bin/twshell.bin restored in 0 msec 1843128 bytes real 0m1.039s user 0m0.960s sys 0m0.012s