leq0ytrueleqsx0falseleqsxsyleqxyiftruexyxiffalsexyy-x0x-sxsy-xymod0y0modsx00modsxsyifleqyxmod-sxsysysxleq200true0s1false0if3-2mod2FULL./TRS/HM/t002.trs