rewrites: 719 in 0ms cpu (1ms real) (~ rewrites/second) l(move(1,a,c),l(move(2,a,b),l(move(1,c,b),l(move(3,a,c),l(move(1,b,a),l(move(2,b,c),l(move(1,a,c),l(move(4,a,b),l(move(1, c,b),l(move(2,c,a),l(move(1,b,a),l(move(3,c,b),l(move(1,a,c),l(move(2,a,b),l(move(1,c,b),nil)))))))))))))))