cond1truexcond2evenxxcond2truexcond1neqx0div2xcond2falsexcond1neqx0pxneq00falseneq0sxtrueneqsx0trueneqsxsyneqxyeven0trueevens0falseevenssxevenxdiv200div2s00div2ssxsdiv2xp00psxxcond12true0cond22even1neq200div21false0p1s1y0FULL./TRS/Beerendonk/10.trs