____XYZ__X__YZ__XnilX__nilXXandttXXisNePal__I__PItt__212nil0and21tt0isNePal11FULL./TRS/CSR_Maude/palindrome/PALINDROME_nosorts.trs