aftersNconsXafterNXSfromXconsXafter0XSXSafter2s1cons1from100FULL./TRS/TRCSR/Ex4_7_56_Bor03_L.trs