./ttt2 -t -s 'acrpo -direct'
./ttt2 -t -s 'ackbo -ib 4 -ob 5 -direct'
./ttt2 -t -s 'dp; (acrpo -af)*'
./ttt2 -t -s 'dp; (ackbo -af -ib 2)*'
./callmuterm
java -jar aprove.jar