iftrueXiffalseYp00psXXleq0YtrueleqsX0falseleqsXsYleqXYdiffXYifleqXYif1true0false0p100s1leq2diff2FULL./TRS/TRCSR/Ex1_GM03_L.trs