a____
__
X
Y
Z
a____
mark
X
a____
mark
Y
mark
Z
a____
X
nil
mark
X
a____
nil
X
mark
X
a__U11
tt
tt
a__U21
tt
V2
a__U22
a__isList
V2
a__U22
tt
tt
a__U31
tt
tt
a__U41
tt
V2
a__U42
a__isNeList
V2
a__U42
tt
tt
a__U51
tt
V2
a__U52
a__isList
V2
a__U52
tt
tt
a__U61
tt
tt
a__U71
tt
P
a__U72
a__isPal
P
a__U72
tt
tt
a__U81
tt
tt
a__isList
V
a__U11
a__isNeList
V
a__isList
nil
tt
a__isList
__
V1
V2
a__U21
a__isList
V1
V2
a__isNeList
V
a__U31
a__isQid
V
a__isNeList
__
V1
V2
a__U41
a__isList
V1
V2
a__isNeList
__
V1
V2
a__U51
a__isNeList
V1
V2
a__isNePal
V
a__U61
a__isQid
V
a__isNePal
__
I
__
P
I
a__U71
a__isQid
I
P
a__isPal
V
a__U81
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
U11
X
a__U11
mark
X
mark
U21
X1
X2
a__U21
mark
X1
X2
mark
U22
X
a__U22
mark
X
mark
isList
X
a__isList
X
mark
U31
X
a__U31
mark
X
mark
U41
X1
X2
a__U41
mark
X1
X2
mark
U42
X
a__U42
mark
X
mark
isNeList
X
a__isNeList
X
mark
U51
X1
X2
a__U51
mark
X1
X2
mark
U52
X
a__U52
mark
X
mark
U61
X
a__U61
mark
X
mark
U71
X1
X2
a__U71
mark
X1
X2
mark
U72
X
a__U72
mark
X
mark
isPal
X
a__isPal
X
mark
U81
X
a__U81
mark
X
mark
isQid
X
a__isQid
X
mark
isNePal
X
a__isNePal
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__U11
X
U11
X
a__U21
X1
X2
U21
X1
X2
a__U22
X
U22
X
a__isList
X
isList
X
a__U31
X
U31
X
a__U41
X1
X2
U41
X1
X2
a__U42
X
U42
X
a__isNeList
X
isNeList
X
a__U51
X1
X2
U51
X1
X2
a__U52
X
U52
X
a__U61
X
U61
X
a__U71
X1
X2
U71
X1
X2
a__U72
X
U72
X
a__isPal
X
isPal
X
a__U81
X
U81
X
a__isQid
X
isQid
X
a__isNePal
X
isNePal
X
a____
2
__
2
mark
1
nil
0
a__U11
1
tt
0
a__U21
2
a__U22
1
a__isList
1
a__U31
1
a__U41
2
a__U42
1
a__isNeList
1
a__U51
2
a__U52
1
a__U61
1
a__U71
2
a__U72
1
a__isPal
1
a__U81
1
a__isQid
1
a__isNePal
1
a
0
e
0
i
0
o
0
u
0
U11
1
U21
2
U22
1
isList
1
U31
1
U41
2
U42
1
isNeList
1
U51
2
U52
1
U61
1
U71
2
U72
1
isPal
1
U81
1
isQid
1
isNePal
1
INNERMOST
./TRS/TRCSR/inn/PALINDROME_nokinds_noand_GM.trs