cond1truexyzcond2gryzxyzcond2truexyzcond2gryzxpyzcond2falsexyzcond1grxzpxyzgr0xfalsegrsx0truegrsxsygrxyp00psxxcond14true0cond24gr2p1false000s1FULL./TRS/Beerendonk/23.trs