appnilYSYSappconsXXSYSconsXappXSYSfromXconsXfromsXzWadrnilYSnilzWadrXSnilnilzWadrconsXXSconsYYSconsappYconsXnilzWadrXSYSprefixLconsnilzWadrLprefixLapp2nil0cons2from1s1zWadr2prefix1FULL./TRS/nontermin/CSR/Ex3_3_25_Bor03.trs