cond1truexcond2evenxxcond2truexcond1neqx0div2xcond2falsexcond1neqx0pxneq00falseneq0sxtrueneqsx0trueneqsxsyneqxyeven0trueevens0falseevenssxevenxdiv200div2s00div2ssxsdiv2xp00psxxcond1truexevenxcond1truexcond2evenxxcond2truexdiv2xcond2truexneqx0cond2truexcond1neqx0div2xcond2falsexpxcond2falsexneqx0cond2falsexcond1neqx0pxneqsxsyneqxyevenssxevenxdiv2ssxdiv2xtruecond2falsexcond1neqx0pxcond1truexcond2evenxxcond2truexcond1neqx0div2xtrue1cond220102-16cond121020s1110p1-110false01div21010neq2-7142-16000even101-8true00cond1truexcond2evenxxcond2truexcond1neqx0div2xp00psxxeven0trueevens0falseevenssxevenxdiv200div2s00div2ssxsdiv2x1cond22012272cond12121223s1112false00div211210neq221020000even1010true01cond1truexcond2evenxxdiv200div2s00div2ssxsdiv2xneq00falseneqsx0truecond1truexcond2evenxxfalsecond2truexneqx0falsecond2truexdiv2xfalsecond1truexevenxfalseevenssxevenxtrueeven11cond2falsexneqx0falsecond2falsexpxfalsediv2ssxdiv2xtruediv211neqsxsyneqxytrueneq22