first0XnilfirstsXconsYZconsYfirstXZfromXconsXfromsXfirst21200nil0s11cons21from11FULL./TRS/CSR/Ex6_Luc98.trs