SUCCESS
0.26 (total time)

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