SUCCESS 36.47 (total time) COMPLETED TRS a(x) -> x b(x) -> x c(x) -> x