minusxx0minus0x0minusx0xminussxsyminusxyle0ytruelesx0falselesxsylexyquotxyif_quotminusxyyley0leyxif_quotxytruezdivByZeroErrorif_quotxyfalsetruesquotxyif_quotxyfalsefalse0minus200s1le2true0false0quot2if_quot4divByZeroError0FULL./TRS/Thiemann/quot.trs