cond1truexcond2evenxxcond2truexcond1neqx0div2xcond2falsexcond1neqx0pxneq00falseneq0sxtrueneqsx0trueneqsxsyneqxyeven0trueevens0falseevenssxevenxdiv200div2s00div2ssxsdiv2xp00psxxcond1truexevenxcond1truexcond2evenxxcond2truexdiv2xcond2truexneqx0cond2truexcond1neqx0div2xcond2falsexpxcond2falsexneqx0cond2falsexcond1neqx0pxneqsxsyneqxyevenssxevenxdiv2ssxdiv2xtruecond2falsexcond1neqx0pxcond1truexcond2evenxxcond2truexcond1neqx0div2xtruecond2truexneqx0falsecond2truexdiv2xfalsecond1truexevenxfalseevenssxevenxtrue1even1119s1411cond2falsexneqx0falsecond2falsexpxfalsediv2ssxdiv2xtrue1div21119s1411neqsxsyneqxyfalse