./ttt2 -t -s 'dp; acdg?; sccs?; (acrpo -af)*'
./ttt2 -t -s 'dp; acdg?; sccs?; (ackbo -af -ib 3 -ob 4)*'
./ttt2 -t -s 'dp; acdg?; sccs?; (acrpo -af || ackbo -af -ib 3 -ob 4)*'