./ttt2 -t -s '(ackbo -direct -ib 3 -ob 4 -sc)?; dp; acdg?; sccs?; (acrpo -af || ackbo -af -ib 3 -ob 4 -sc || matrix -ib 2 -ob 3 -dp -dim 2)*'
java -jar aprove.jar