p00psXXleq0YtrueleqsX0falseleqsXsYleqXYiftrueXYXiffalseXYYdiffXYifleqXY0sdiffpXYp100s1leq2true0false0if3diff2OUTERMOST./TRS/outermost/nontermin/CSR/Ex1_GM03.trs