____XYZ__X__YZ__XnilX__nilXXU11ttU12ttU12ttttisNePal__I__PIU11tt__212nil0U1111tt0U1211isNePal11FULL./TRS/CSR_Maude/palindrome/PALINDROME_nosorts-noand.trs