p00psXXleq0YtrueleqsX0falseleqsXsYleqXYiftrueXYXiffalseXYYdiffXYifleqXY0sdiffpXYp100s1leq2true0false0if3diff2FULL./TRS/nontermin/CSR/Ex1_GM03.trs