cond1truexycond2grxyxycond2truexycond1graddxy0pxycond2falsexycond3eqxyxycond3truexycond1graddxy0pxycond3falsexycond1graddxy0xpygr0xfalsegrsx0truegrsxsygrxyadd0xxaddsxysaddxyeq00trueeq0sxfalseeqsx0falseeqsxsyeqxyp00psxxcond13true0cond23gr2add200p1false0cond33eq2s1FULL./TRS/Beerendonk/17.trs