minus0Y0minussXsYminusXYgeqX0truegeq0sYfalsegeqsXsYgeqXYdiv0sY0divsXsYifgeqXYsdivminusXYsY0iftrueXYXiffalseXYYminus200s1geq2true0false0div2if3INNERMOST./TRS/nontermin/CSR/Ex49_GM04.trs