fromXconsXfromsX2ndspos0Zrnil2ndspossNconsXZ2ndspossNcons2XZ2ndspossNcons2XconsYZrconsposrecipY2ndsnegNZ2ndsneg0Zrnil2ndsnegsNconsXZ2ndsnegsNcons2XZ2ndsnegsNcons2XconsYZrconsnegrecipY2ndsposNZpiX2ndsposXfrom0plus0YYplussXYsplusXYtimes0Y0timessXYplusYtimesXYsquareXtimesXXfrom1cons2s12ndspos200rnil0cons22rcons2posrecip12ndsneg2negrecip1pi1plus2times2square1FULL./TRS/nontermin/CSR/ExAppendixB_AEL03.trs