SUCCESS
0.15 (total time)

COMPLETED TRS
rev(.(x, y)) -> @(rev(y), .(x, nil))
rev(nil) -> nil
reviter(x, y) -> @(rev(x), y)
@(rev(x), nil) -> rev(x)
@(.(x, y), z) -> .(x, @(y, z))
@(nil, x) -> x
@(@(x, y), z) -> @(x, @(y, z))