fromXconsXfromsX2ndspos0Zrnil2ndspossNconsXconsYZrconsposrecipY2ndsnegNZ2ndsneg0Zrnil2ndsnegsNconsXconsYZrconsnegrecipY2ndsposNZpiX2ndsposXfrom0plus0YYplussXYsplusXYtimes0Y0timessXYplusYtimesXYsquareXtimesXXfrom1cons2s12ndspos200rnil0rcons2posrecip12ndsneg2negrecip1pi1plus2times2square1INNERMOST./TRS/nontermin/CSR/Ex1_2_AEL03.trs