cond1truexycond2grxyxycond2truexycond1neqx0yycond2falsexycond1neqx0pxygr0xfalsegrsx0truegrsxsygrxyneq00falseneq0sxtrueneqsx0trueneqsxsyneqxyp00psxx2.0grs1s0s1p1p0false0false0neq2neq0000001cond23cond20cond13cond10true0true0gr00x1401x14grs0x19x20s1x19x20cond10true0xycond20grxyxycond20true0xycond10neq0x00yycond20false0xycond10neq0x00p0xy01xfalse0s1x00true0s1xs0ygrxyneq00000false0neq000s0xtrue0neq0s0x00true0neq0s0xs0yneq0xyp00000p0s0xxgr00x1401x14grs0x19x20s1x19x20cond10true0xygrxycond10true0xycond20grxyxycond20true0xyneq0x00cond20true0xycond10neq0x00yycond20false0xyp0xcond20false0xyneq0x00cond20false0xycond10neq0x00p0xys1xs0ygrxyneq0s0xs0yneq0xygr00x1401x14grs0x19x20s1x19x20truecond20false0xycond10neq0x00p0xycond10true0xycond20grxyxycond20true0xycond10neq0x00yytruecond20true0xyneq0x00falsecond10true0xygrxyfalsecond20false0xyneq0x00falsecond20false0xyp0xfalseneq0s0xs0yneq0xytrueneq022s1xs0ygrxygrs0x19x20s1x19x20truegr22s122grs0x19x20s1x19x20grs0x19x20s1x19x20falsegr00x1401x14false