a____ __ X Y Z a____ mark X a____ mark Y mark Z a____ X nil mark X a____ nil X mark X a__and tt X mark X a__isList V a__isNeList V a__isList nil tt a__isList __ V1 V2 a__and a__isList V1 isList V2 a__isNeList V a__isQid V a__isNeList __ V1 V2 a__and a__isList V1 isNeList V2 a__isNeList __ V1 V2 a__and a__isNeList V1 isList V2 a__isNePal V a__isQid V a__isNePal __ I __ P I a__and a__isQid I isPal P a__isPal V a__isNePal V a__isPal nil tt a__isQid a tt a__isQid e tt a__isQid i tt a__isQid o tt a__isQid u tt mark __ X1 X2 a____ mark X1 mark X2 mark and X1 X2 a__and mark X1 X2 mark isList X a__isList X mark isNeList X a__isNeList X mark isQid X a__isQid X mark isNePal X a__isNePal X mark isPal X a__isPal X mark nil nil mark tt tt mark a a mark e e mark i i mark o o mark u u a____ X1 X2 __ X1 X2 a__and X1 X2 and X1 X2 a__isList X isList X a__isNeList X isNeList X a__isQid X isQid X a__isNePal X isNePal X a__isPal X isPal X a____ 2 __ 2 mark 1 nil 0 a__and 2 tt 0 a__isList 1 a__isNeList 1 isList 1 a__isQid 1 isNeList 1 a__isNePal 1 isPal 1 a__isPal 1 a 0 e 0 i 0 o 0 u 0 and 2 isQid 1 isNePal 1 INNERMOST ./TRS/TRCSR/inn/PALINDROME_nokinds_GM.trs