SUCCESS
13.31 (total time)

COMPLETED TRS
a(x) -> x
b(x) -> x
c(x) -> x