condtruexyzcondandgrxzgryzpxpyzandtruetruetrueandxfalsefalseandfalsexfalsegr00falsegr0xfalsegrsx0truegrsxsygrxyp00psxxcond4true0and2gr2p1false000s1FULL./TRS/Beerendonk/9.trs