cond1truexyzcond2gryzxyzcond2truexyzcond2gryzpxpyzcond2falsexyzcond1andeqxygrxzxyzgr0xfalsegrsx0truegrsxsygrxyp00psxxeq00trueeqsx0falseeq0sxfalseeqsxsyeqxyandtruetruetrueandfalsexfalseandxfalsefalsecond14true0cond24gr2p1false0and2eq200s1FULL./TRS/Beerendonk/21.trs