cond1truexycond2grxyxycond2truexycond1neqx0yycond2falsexycond1neqx0pxygr0xfalsegrsx0truegrsxsygrxyneq00falseneq0sxtrueneqsx0trueneqsxsyneqxyp00psxxcond13true0cond23gr2neq200false0p1s1FULL./TRS/Beerendonk/11.trs