ANSWER: yes program sccs : 0 size answers : 150 pos answers : 4120 size binary clauses : 60 pos binary clauses : 27740 size calls : 30 pos calls : 0 size calls with binary clauses : 20 pos calls with binary clauses : 0 checking termination : 0Standard Err:
% restoring /usr/local/bin/twshell.bin... % /usr/local/bin/twshell.bin restored in 10 msec 1843128 bytes real 0m34.006s user 0m32.178s sys 0m0.044s