le0ytruelesx0falselesxsylexyminusxx0minusx0xminus0x0minussxsyminusxyisZero0trueisZerosxfalsemodxyif_modisZeroyleyxxyminusxyif_modtruebxyzdivByZeroErrorif_modfalsefalsexyzxif_modfalsetruexyzmodzyle200true0s1false0minus2isZero1mod2if_mod5divByZeroError0FULL./TRS/Thiemann/modulo.trs