intlistnilnilintsx0nilintxxconsxnilintlistconsxyconssxintlistyintsxsyintlistintxyint0sycons0ints0syintlistconsxnilconssxnilintlist1nil0int2s100cons2FULL./TRS/AProVE/LPAR_intlist.trs