first0XnilfirstsXconsYZconsYfirstXZfromXconsXfromsXfirst200nil0s1cons2from1FULL./TRS/nontermin/CSR/Ex6_Luc98.trs