​
init
(c)(b)(a)((+>)~>,<,~)~,<
maxSteps
100
(c)(b)(a)((+>)~>,<,~)~,<
(c)(b)((+>)~>,<,~)(a),<
(c)(b)((+>)~>,<,~a)<
(c)(b)(+>)~>,<,~a
(c)(+>)(b)>,<,~a
(c)(+>)((b)),<,~a
(c)(+>(b))<,~a
(c)+>(b),~a
(c)(c)>(b),~a
(c)((c))(b),~a
(c)((c)b)~a
((c)b)(c)a
((c)b)(c)a