app
lam
%X
A
F
%X
Y
F
Y
lam
%Y
A
app
U
%Y
U
case
inl
V
%U
A
I
%U
%Z
B
J
%Z
I
V
case
inr
X1
%W
A
Z1
%W
%V
B
G1
%V
G1
X1
F
A
B
Y
A
U
arrAB
V
A
I
A
C
J
B
C
X1
B
Z1
A
C
G1
B
C
app
arrAB
A
B
case
SAB
A
C
B
C
C
inl
A
SAB
inr
B
SAB
lam
A
B
arrAB
FULL
tmptmptmp.afsm