# TRS/Beerendonk/10.trs (VAR x) (RULES eval(x) -> eval(x - 1) :|: x > 0 && !(x = 0) && (x % 2) > 0 eval(x) -> eval(x / 2) :|: x > 0 && !(x = 0) && (x % 2) = 0 )
content may be truncated. 'popout' for larger text window.