@
Cons
x
xs
ys
Cons
x
@
xs
ys
@
Nil
ys
ys
domatch
Pchar
Cslash
Cons
Cslash
xs
Cons
Cslash
xs
domatch
Pchar
Clpar
Cons
Cslash
xs
Nil
domatch
Pchar
Crpar
Cons
Cslash
xs
Nil
domatch
Pchar
Cstar
Cons
Cslash
xs
Nil
domatch
Pchar
Cdot
Cons
Cslash
xs
Nil
domatch
Pchar
Z
Cons
Cslash
xs
Nil
domatch
Pchar
Y
Cons
Cslash
xs
Nil
domatch
Pchar
X
Cons
Cslash
xs
Nil
domatch
Pchar
W
Cons
Cslash
xs
Nil
domatch
Pchar
V
Cons
Cslash
xs
Nil
domatch
Pchar
U
Cons
Cslash
xs
Nil
domatch
Pchar
T
Cons
Cslash
xs
Nil
domatch
Pchar
S
Cons
Cslash
xs
Nil
domatch
Pchar
R
Cons
Cslash
xs
Nil
domatch
Pchar
Q
Cons
Cslash
xs
Nil
domatch
Pchar
P
Cons
Cslash
xs
Nil
domatch
Pchar
O
Cons
Cslash
xs
Nil
domatch
Pchar
N
Cons
Cslash
xs
Nil
domatch
Pchar
M
Cons
Cslash
xs
Nil
domatch
Pchar
L
Cons
Cslash
xs
Nil
domatch
Pchar
K
Cons
Cslash
xs
Nil
domatch
Pchar
J
Cons
Cslash
xs
Nil
domatch
Pchar
I
Cons
Cslash
xs
Nil
domatch
Pchar
H
Cons
Cslash
xs
Nil
domatch
Pchar
G
Cons
Cslash
xs
Nil
domatch
Pchar
F
Cons
Cslash
xs
Nil
domatch
Pchar
E
Cons
Cslash
xs
Nil
domatch
Pchar
D
Cons
Cslash
xs
Nil
domatch
Pchar
C
Cons
Cslash
xs
Nil
domatch
Pchar
B
Cons
Cslash
xs
Nil
domatch
Pchar
A
Cons
Cslash
xs
Nil
domatch
Pchar
Cslash
Cons
Clpar
xs
Nil
domatch
Pchar
Clpar
Cons
Clpar
xs
Cons
Clpar
xs
domatch
Pchar
Crpar
Cons
Clpar
xs
Nil
domatch
Pchar
Cstar
Cons
Clpar
xs
Nil
domatch
Pchar
Cdot
Cons
Clpar
xs
Nil
domatch
Pchar
Z
Cons
Clpar
xs
Nil
domatch
Pchar
Y
Cons
Clpar
xs
Nil
domatch
Pchar
X
Cons
Clpar
xs
Nil
domatch
Pchar
W
Cons
Clpar
xs
Nil
domatch
Pchar
V
Cons
Clpar
xs
Nil
domatch
Pchar
U
Cons
Clpar
xs
Nil
domatch
Pchar
T
Cons
Clpar
xs
Nil
domatch
Pchar
S
Cons
Clpar
xs
Nil
domatch
Pchar
R
Cons
Clpar
xs
Nil
domatch
Pchar
Q
Cons
Clpar
xs
Nil
domatch
Pchar
P
Cons
Clpar
xs
Nil
domatch
Pchar
O
Cons
Clpar
xs
Nil
domatch
Pchar
N
Cons
Clpar
xs
Nil
domatch
Pchar
M
Cons
Clpar
xs
Nil
domatch
Pchar
L
Cons
Clpar
xs
Nil
domatch
Pchar
K
Cons
Clpar
xs
Nil
domatch
Pchar
J
Cons
Clpar
xs
Nil
domatch
Pchar
I
Cons
Clpar
xs
Nil
domatch
Pchar
H
Cons
Clpar
xs
Nil
domatch
Pchar
G
Cons
Clpar
xs
Nil
domatch
Pchar
F
Cons
Clpar
xs
Nil
domatch
Pchar
E
Cons
Clpar
xs
Nil
domatch
Pchar
D
Cons
Clpar
xs
Nil
domatch
Pchar
C
Cons
Clpar
xs
Nil
domatch
Pchar
B
Cons
Clpar
xs
Nil
domatch
Pchar
A
Cons
Clpar
xs
Nil
domatch
Pchar
Cslash
Cons
Crpar
xs
Nil
domatch
Pchar
Clpar
Cons
Crpar
xs
Nil
domatch
Pchar
Crpar
Cons
Crpar
xs
Cons
Crpar
xs
domatch
Pchar
Cstar
Cons
Crpar
xs
Nil
domatch
Pchar
Cdot
Cons
Crpar
xs
Nil
domatch
Pchar
Z
Cons
Crpar
xs
Nil
domatch
Pchar
Y
Cons
Crpar
xs
Nil
domatch
Pchar
X
Cons
Crpar
xs
Nil
domatch
Pchar
W
Cons
Crpar
xs
Nil
domatch
Pchar
V
Cons
Crpar
xs
Nil
domatch
Pchar
U
Cons
Crpar
xs
Nil
domatch
Pchar
T
Cons
Crpar
xs
Nil
domatch
Pchar
S
Cons
Crpar
xs
Nil
domatch
Pchar
R
Cons
Crpar
xs
Nil
domatch
Pchar
Q
Cons
Crpar
xs
Nil
domatch
Pchar
P
Cons
Crpar
xs
Nil
domatch
Pchar
O
Cons
Crpar
xs
Nil
domatch
Pchar
N
Cons
Crpar
xs
Nil
domatch
Pchar
M
Cons
Crpar
xs
Nil
domatch
Pchar
L
Cons
Crpar
xs
Nil
domatch
Pchar
K
Cons
Crpar
xs
Nil
domatch
Pchar
J
Cons
Crpar
xs
Nil
domatch
Pchar
I
Cons
Crpar
xs
Nil
domatch
Pchar
H
Cons
Crpar
xs
Nil
domatch
Pchar
G
Cons
Crpar
xs
Nil
domatch
Pchar
F
Cons
Crpar
xs
Nil
domatch
Pchar
E
Cons
Crpar
xs
Nil
domatch
Pchar
D
Cons
Crpar
xs
Nil
domatch
Pchar
C
Cons
Crpar
xs
Nil
domatch
Pchar
B
Cons
Crpar
xs
Nil
domatch
Pchar
A
Cons
Crpar
xs
Nil
domatch
Pchar
Cslash
Cons
Cstar
xs
Nil
domatch
Pchar
Clpar
Cons
Cstar
xs
Nil
domatch
Pchar
Crpar
Cons
Cstar
xs
Nil
domatch
Pchar
Cstar
Cons
Cstar
xs
Cons
Cstar
xs
domatch
Pchar
Cdot
Cons
Cstar
xs
Nil
domatch
Pchar
Z
Cons
Cstar
xs
Nil
domatch
Pchar
Y
Cons
Cstar
xs
Nil
domatch
Pchar
X
Cons
Cstar
xs
Nil
domatch
Pchar
W
Cons
Cstar
xs
Nil
domatch
Pchar
V
Cons
Cstar
xs
Nil
domatch
Pchar
U
Cons
Cstar
xs
Nil
domatch
Pchar
T
Cons
Cstar
xs
Nil
domatch
Pchar
S
Cons
Cstar
xs
Nil
domatch
Pchar
R
Cons
Cstar
xs
Nil
domatch
Pchar
Q
Cons
Cstar
xs
Nil
domatch
Pchar
P
Cons
Cstar
xs
Nil
domatch
Pchar
O
Cons
Cstar
xs
Nil
domatch
Pchar
N
Cons
Cstar
xs
Nil
domatch
Pchar
M
Cons
Cstar
xs
Nil
domatch
Pchar
L
Cons
Cstar
xs
Nil
domatch
Pchar
K
Cons
Cstar
xs
Nil
domatch
Pchar
J
Cons
Cstar
xs
Nil
domatch
Pchar
I
Cons
Cstar
xs
Nil
domatch
Pchar
H
Cons
Cstar
xs
Nil
domatch
Pchar
G
Cons
Cstar
xs
Nil
domatch
Pchar
F
Cons
Cstar
xs
Nil
domatch
Pchar
E
Cons
Cstar
xs
Nil
domatch
Pchar
D
Cons
Cstar
xs
Nil
domatch
Pchar
C
Cons
Cstar
xs
Nil
domatch
Pchar
B
Cons
Cstar
xs
Nil
domatch
Pchar
A
Cons
Cstar
xs
Nil
domatch
Pchar
Cslash
Cons
Cdot
xs
Nil
domatch
Pchar
Clpar
Cons
Cdot
xs
Nil
domatch
Pchar
Crpar
Cons
Cdot
xs
Nil
domatch
Pchar
Cstar
Cons
Cdot
xs
Nil
domatch
Pchar
Cdot
Cons
Cdot
xs
Cons
Cdot
xs
domatch
Pchar
Z
Cons
Cdot
xs
Nil
domatch
Pchar
Y
Cons
Cdot
xs
Nil
domatch
Pchar
X
Cons
Cdot
xs
Nil
domatch
Pchar
W
Cons
Cdot
xs
Nil
domatch
Pchar
V
Cons
Cdot
xs
Nil
domatch
Pchar
U
Cons
Cdot
xs
Nil
domatch
Pchar
T
Cons
Cdot
xs
Nil
domatch
Pchar
S
Cons
Cdot
xs
Nil
domatch
Pchar
R
Cons
Cdot
xs
Nil
domatch
Pchar
Q
Cons
Cdot
xs
Nil
domatch
Pchar
P
Cons
Cdot
xs
Nil
domatch
Pchar
O
Cons
Cdot
xs
Nil
domatch
Pchar
N
Cons
Cdot
xs
Nil
domatch
Pchar
M
Cons
Cdot
xs
Nil
domatch
Pchar
L
Cons
Cdot
xs
Nil
domatch
Pchar
K
Cons
Cdot
xs
Nil
domatch
Pchar
J
Cons
Cdot
xs
Nil
domatch
Pchar
I
Cons
Cdot
xs
Nil
domatch
Pchar
H
Cons
Cdot
xs
Nil
domatch
Pchar
G
Cons
Cdot
xs
Nil
domatch
Pchar
F
Cons
Cdot
xs
Nil
domatch
Pchar
E
Cons
Cdot
xs
Nil
domatch
Pchar
D
Cons
Cdot
xs
Nil
domatch
Pchar
C
Cons
Cdot
xs
Nil
domatch
Pchar
B
Cons
Cdot
xs
Nil
domatch
Pchar
A
Cons
Cdot
xs
Nil
domatch
Pchar
Cslash
Cons
Z
xs
Nil
domatch
Pchar
Clpar
Cons
Z
xs
Nil
domatch
Pchar
Crpar
Cons
Z
xs
Nil
domatch
Pchar
Cstar
Cons
Z
xs
Nil
domatch
Pchar
Cdot
Cons
Z
xs
Nil
domatch
Pchar
Z
Cons
Z
xs
Cons
Z
xs
domatch
Pchar
Y
Cons
Z
xs
Nil
domatch
Pchar
X
Cons
Z
xs
Nil
domatch
Pchar
W
Cons
Z
xs
Nil
domatch
Pchar
V
Cons
Z
xs
Nil
domatch
Pchar
U
Cons
Z
xs
Nil
domatch
Pchar
T
Cons
Z
xs
Nil
domatch
Pchar
S
Cons
Z
xs
Nil
domatch
Pchar
R
Cons
Z
xs
Nil
domatch
Pchar
Q
Cons
Z
xs
Nil
domatch
Pchar
P
Cons
Z
xs
Nil
domatch
Pchar
O
Cons
Z
xs
Nil
domatch
Pchar
N
Cons
Z
xs
Nil
domatch
Pchar
M
Cons
Z
xs
Nil
domatch
Pchar
L
Cons
Z
xs
Nil
domatch
Pchar
K
Cons
Z
xs
Nil
domatch
Pchar
J
Cons
Z
xs
Nil
domatch
Pchar
I
Cons
Z
xs
Nil
domatch
Pchar
H
Cons
Z
xs
Nil
domatch
Pchar
G
Cons
Z
xs
Nil
domatch
Pchar
F
Cons
Z
xs
Nil
domatch
Pchar
E
Cons
Z
xs
Nil
domatch
Pchar
D
Cons
Z
xs
Nil
domatch
Pchar
C
Cons
Z
xs
Nil
domatch
Pchar
B
Cons
Z
xs
Nil
domatch
Pchar
A
Cons
Z
xs
Nil
domatch
Pchar
Cslash
Cons
Y
xs
Nil
domatch
Pchar
Clpar
Cons
Y
xs
Nil
domatch
Pchar
Crpar
Cons
Y
xs
Nil
domatch
Pchar
Cstar
Cons
Y
xs
Nil
domatch
Pchar
Cdot
Cons
Y
xs
Nil
domatch
Pchar
Z
Cons
Y
xs
Nil
domatch
Pchar
Y
Cons
Y
xs
Cons
Y
xs
domatch
Pchar
X
Cons
Y
xs
Nil
domatch
Pchar
W
Cons
Y
xs
Nil
domatch
Pchar
V
Cons
Y
xs
Nil
domatch
Pchar
U
Cons
Y
xs
Nil
domatch
Pchar
T
Cons
Y
xs
Nil
domatch
Pchar
S
Cons
Y
xs
Nil
domatch
Pchar
R
Cons
Y
xs
Nil
domatch
Pchar
Q
Cons
Y
xs
Nil
domatch
Pchar
P
Cons
Y
xs
Nil
domatch
Pchar
O
Cons
Y
xs
Nil
domatch
Pchar
N
Cons
Y
xs
Nil
domatch
Pchar
M
Cons
Y
xs
Nil
domatch
Pchar
L
Cons
Y
xs
Nil
domatch
Pchar
K
Cons
Y
xs
Nil
domatch
Pchar
J
Cons
Y
xs
Nil
domatch
Pchar
I
Cons
Y
xs
Nil
domatch
Pchar
H
Cons
Y
xs
Nil
domatch
Pchar
G
Cons
Y
xs
Nil
domatch
Pchar
F
Cons
Y
xs
Nil
domatch
Pchar
E
Cons
Y
xs
Nil
domatch
Pchar
D
Cons
Y
xs
Nil
domatch
Pchar
C
Cons
Y
xs
Nil
domatch
Pchar
B
Cons
Y
xs
Nil
domatch
Pchar
A
Cons
Y
xs
Nil
domatch
Pchar
Cslash
Cons
X
xs
Nil
domatch
Pchar
Clpar
Cons
X
xs
Nil
domatch
Pchar
Crpar
Cons
X
xs
Nil
domatch
Pchar
Cstar
Cons
X
xs
Nil
domatch
Pchar
Cdot
Cons
X
xs
Nil
domatch
Pchar
Z
Cons
X
xs
Nil
domatch
Pchar
Y
Cons
X
xs
Nil
domatch
Pchar
X
Cons
X
xs
Cons
X
xs
domatch
Pchar
W
Cons
X
xs
Nil
domatch
Pchar
V
Cons
X
xs
Nil
domatch
Pchar
U
Cons
X
xs
Nil
domatch
Pchar
T
Cons
X
xs
Nil
domatch
Pchar
S
Cons
X
xs
Nil
domatch
Pchar
R
Cons
X
xs
Nil
domatch
Pchar
Q
Cons
X
xs
Nil
domatch
Pchar
P
Cons
X
xs
Nil
domatch
Pchar
O
Cons
X
xs
Nil
domatch
Pchar
N
Cons
X
xs
Nil
domatch
Pchar
M
Cons
X
xs
Nil
domatch
Pchar
L
Cons
X
xs
Nil
domatch
Pchar
K
Cons
X
xs
Nil
domatch
Pchar
J
Cons
X
xs
Nil
domatch
Pchar
I
Cons
X
xs
Nil
domatch
Pchar
H
Cons
X
xs
Nil
domatch
Pchar
G
Cons
X
xs
Nil
domatch
Pchar
F
Cons
X
xs
Nil
domatch
Pchar
E
Cons
X
xs
Nil
domatch
Pchar
D
Cons
X
xs
Nil
domatch
Pchar
C
Cons
X
xs
Nil
domatch
Pchar
B
Cons
X
xs
Nil
domatch
Pchar
A
Cons
X
xs
Nil
domatch
Pchar
Cslash
Cons
W
xs
Nil
domatch
Pchar
Clpar
Cons
W
xs
Nil
domatch
Pchar
Crpar
Cons
W
xs
Nil
domatch
Pchar
Cstar
Cons
W
xs
Nil
domatch
Pchar
Cdot
Cons
W
xs
Nil
domatch
Pchar
Z
Cons
W
xs
Nil
domatch
Pchar
Y
Cons
W
xs
Nil
domatch
Pchar
X
Cons
W
xs
Nil
domatch
Pchar
W
Cons
W
xs
Cons
W
xs
domatch
Pchar
V
Cons
W
xs
Nil
domatch
Pchar
U
Cons
W
xs
Nil
domatch
Pchar
T
Cons
W
xs
Nil
domatch
Pchar
S
Cons
W
xs
Nil
domatch
Pchar
R
Cons
W
xs
Nil
domatch
Pchar
Q
Cons
W
xs
Nil
domatch
Pchar
P
Cons
W
xs
Nil
domatch
Pchar
O
Cons
W
xs
Nil
domatch
Pchar
N
Cons
W
xs
Nil
domatch
Pchar
M
Cons
W
xs
Nil
domatch
Pchar
L
Cons
W
xs
Nil
domatch
Pchar
K
Cons
W
xs
Nil
domatch
Pchar
J
Cons
W
xs
Nil
domatch
Pchar
I
Cons
W
xs
Nil
domatch
Pchar
H
Cons
W
xs
Nil
domatch
Pchar
G
Cons
W
xs
Nil
domatch
Pchar
F
Cons
W
xs
Nil
domatch
Pchar
E
Cons
W
xs
Nil
domatch
Pchar
D
Cons
W
xs
Nil
domatch
Pchar
C
Cons
W
xs
Nil
domatch
Pchar
B
Cons
W
xs
Nil
domatch
Pchar
A
Cons
W
xs
Nil
domatch
Pchar
Cslash
Cons
V
xs
Nil
domatch
Pchar
Clpar
Cons
V
xs
Nil
domatch
Pchar
Crpar
Cons
V
xs
Nil
domatch
Pchar
Cstar
Cons
V
xs
Nil
domatch
Pchar
Cdot
Cons
V
xs
Nil
domatch
Pchar
Z
Cons
V
xs
Nil
domatch
Pchar
Y
Cons
V
xs
Nil
domatch
Pchar
X
Cons
V
xs
Nil
domatch
Pchar
W
Cons
V
xs
Nil
domatch
Pchar
V
Cons
V
xs
Cons
V
xs
domatch
Pchar
U
Cons
V
xs
Nil
domatch
Pchar
T
Cons
V
xs
Nil
domatch
Pchar
S
Cons
V
xs
Nil
domatch
Pchar
R
Cons
V
xs
Nil
domatch
Pchar
Q
Cons
V
xs
Nil
domatch
Pchar
P
Cons
V
xs
Nil
domatch
Pchar
O
Cons
V
xs
Nil
domatch
Pchar
N
Cons
V
xs
Nil
domatch
Pchar
M
Cons
V
xs
Nil
domatch
Pchar
L
Cons
V
xs
Nil
domatch
Pchar
K
Cons
V
xs
Nil
domatch
Pchar
J
Cons
V
xs
Nil
domatch
Pchar
I
Cons
V
xs
Nil
domatch
Pchar
H
Cons
V
xs
Nil
domatch
Pchar
G
Cons
V
xs
Nil
domatch
Pchar
F
Cons
V
xs
Nil
domatch
Pchar
E
Cons
V
xs
Nil
domatch
Pchar
D
Cons
V
xs
Nil
domatch
Pchar
C
Cons
V
xs
Nil
domatch
Pchar
B
Cons
V
xs
Nil
domatch
Pchar
A
Cons
V
xs
Nil
domatch
Pchar
Cslash
Cons
U
xs
Nil
domatch
Pchar
Clpar
Cons
U
xs
Nil
domatch
Pchar
Crpar
Cons
U
xs
Nil
domatch
Pchar
Cstar
Cons
U
xs
Nil
domatch
Pchar
Cdot
Cons
U
xs
Nil
domatch
Pchar
Z
Cons
U
xs
Nil
domatch
Pchar
Y
Cons
U
xs
Nil
domatch
Pchar
X
Cons
U
xs
Nil
domatch
Pchar
W
Cons
U
xs
Nil
domatch
Pchar
V
Cons
U
xs
Nil
domatch
Pchar
U
Cons
U
xs
Cons
U
xs
domatch
Pchar
T
Cons
U
xs
Nil
domatch
Pchar
S
Cons
U
xs
Nil
domatch
Pchar
R
Cons
U
xs
Nil
domatch
Pchar
Q
Cons
U
xs
Nil
domatch
Pchar
P
Cons
U
xs
Nil
domatch
Pchar
O
Cons
U
xs
Nil
domatch
Pchar
N
Cons
U
xs
Nil
domatch
Pchar
M
Cons
U
xs
Nil
domatch
Pchar
L
Cons
U
xs
Nil
domatch
Pchar
K
Cons
U
xs
Nil
domatch
Pchar
J
Cons
U
xs
Nil
domatch
Pchar
I
Cons
U
xs
Nil
domatch
Pchar
H
Cons
U
xs
Nil
domatch
Pchar
G
Cons
U
xs
Nil
domatch
Pchar
F
Cons
U
xs
Nil
domatch
Pchar
E
Cons
U
xs
Nil
domatch
Pchar
D
Cons
U
xs
Nil
domatch
Pchar
C
Cons
U
xs
Nil
domatch
Pchar
B
Cons
U
xs
Nil
domatch
Pchar
A
Cons
U
xs
Nil
domatch
Pchar
Cslash
Cons
T
xs
Nil
domatch
Pchar
Clpar
Cons
T
xs
Nil
domatch
Pchar
Crpar
Cons
T
xs
Nil
domatch
Pchar
Cstar
Cons
T
xs
Nil
domatch
Pchar
Cdot
Cons
T
xs
Nil
domatch
Pchar
Z
Cons
T
xs
Nil
domatch
Pchar
Y
Cons
T
xs
Nil
domatch
Pchar
X
Cons
T
xs
Nil
domatch
Pchar
W
Cons
T
xs
Nil
domatch
Pchar
V
Cons
T
xs
Nil
domatch
Pchar
U
Cons
T
xs
Nil
domatch
Pchar
T
Cons
T
xs
Cons
T
xs
domatch
Pchar
S
Cons
T
xs
Nil
domatch
Pchar
R
Cons
T
xs
Nil
domatch
Pchar
Q
Cons
T
xs
Nil
domatch
Pchar
P
Cons
T
xs
Nil
domatch
Pchar
O
Cons
T
xs
Nil
domatch
Pchar
N
Cons
T
xs
Nil
domatch
Pchar
M
Cons
T
xs
Nil
domatch
Pchar
L
Cons
T
xs
Nil
domatch
Pchar
K
Cons
T
xs
Nil
domatch
Pchar
J
Cons
T
xs
Nil
domatch
Pchar
I
Cons
T
xs
Nil
domatch
Pchar
H
Cons
T
xs
Nil
domatch
Pchar
G
Cons
T
xs
Nil
domatch
Pchar
F
Cons
T
xs
Nil
domatch
Pchar
E
Cons
T
xs
Nil
domatch
Pchar
D
Cons
T
xs
Nil
domatch
Pchar
C
Cons
T
xs
Nil
domatch
Pchar
B
Cons
T
xs
Nil
domatch
Pchar
A
Cons
T
xs
Nil
domatch
Pchar
Cslash
Cons
S
xs
Nil
domatch
Pchar
Clpar
Cons
S
xs
Nil
domatch
Pchar
Crpar
Cons
S
xs
Nil
domatch
Pchar
Cstar
Cons
S
xs
Nil
domatch
Pchar
Cdot
Cons
S
xs
Nil
domatch
Pchar
Z
Cons
S
xs
Nil
domatch
Pchar
Y
Cons
S
xs
Nil
domatch
Pchar
X
Cons
S
xs
Nil
domatch
Pchar
W
Cons
S
xs
Nil
domatch
Pchar
V
Cons
S
xs
Nil
domatch
Pchar
U
Cons
S
xs
Nil
domatch
Pchar
T
Cons
S
xs
Nil
domatch
Pchar
S
Cons
S
xs
Cons
S
xs
domatch
Pchar
R
Cons
S
xs
Nil
domatch
Pchar
Q
Cons
S
xs
Nil
domatch
Pchar
P
Cons
S
xs
Nil
domatch
Pchar
O
Cons
S
xs
Nil
domatch
Pchar
N
Cons
S
xs
Nil
domatch
Pchar
M
Cons
S
xs
Nil
domatch
Pchar
L
Cons
S
xs
Nil
domatch
Pchar
K
Cons
S
xs
Nil
domatch
Pchar
J
Cons
S
xs
Nil
domatch
Pchar
I
Cons
S
xs
Nil
domatch
Pchar
H
Cons
S
xs
Nil
domatch
Pchar
G
Cons
S
xs
Nil
domatch
Pchar
F
Cons
S
xs
Nil
domatch
Pchar
E
Cons
S
xs
Nil
domatch
Pchar
D
Cons
S
xs
Nil
domatch
Pchar
C
Cons
S
xs
Nil
domatch
Pchar
B
Cons
S
xs
Nil
domatch
Pchar
A
Cons
S
xs
Nil
domatch
Pchar
Cslash
Cons
R
xs
Nil
domatch
Pchar
Clpar
Cons
R
xs
Nil
domatch
Pchar
Crpar
Cons
R
xs
Nil
domatch
Pchar
Cstar
Cons
R
xs
Nil
domatch
Pchar
Cdot
Cons
R
xs
Nil
domatch
Pchar
Z
Cons
R
xs
Nil
domatch
Pchar
Y
Cons
R
xs
Nil
domatch
Pchar
X
Cons
R
xs
Nil
domatch
Pchar
W
Cons
R
xs
Nil
domatch
Pchar
V
Cons
R
xs
Nil
domatch
Pchar
U
Cons
R
xs
Nil
domatch
Pchar
T
Cons
R
xs
Nil
domatch
Pchar
S
Cons
R
xs
Nil
domatch
Pchar
R
Cons
R
xs
Cons
R
xs
domatch
Pchar
Q
Cons
R
xs
Nil
domatch
Pchar
P
Cons
R
xs
Nil
domatch
Pchar
O
Cons
R
xs
Nil
domatch
Pchar
N
Cons
R
xs
Nil
domatch
Pchar
M
Cons
R
xs
Nil
domatch
Pchar
L
Cons
R
xs
Nil
domatch
Pchar
K
Cons
R
xs
Nil
domatch
Pchar
J
Cons
R
xs
Nil
domatch
Pchar
I
Cons
R
xs
Nil
domatch
Pchar
H
Cons
R
xs
Nil
domatch
Pchar
G
Cons
R
xs
Nil
domatch
Pchar
F
Cons
R
xs
Nil
domatch
Pchar
E
Cons
R
xs
Nil
domatch
Pchar
D
Cons
R
xs
Nil
domatch
Pchar
C
Cons
R
xs
Nil
domatch
Pchar
B
Cons
R
xs
Nil
domatch
Pchar
A
Cons
R
xs
Nil
domatch
Pchar
Cslash
Cons
Q
xs
Nil
domatch
Pchar
Clpar
Cons
Q
xs
Nil
domatch
Pchar
Crpar
Cons
Q
xs
Nil
domatch
Pchar
Cstar
Cons
Q
xs
Nil
domatch
Pchar
Cdot
Cons
Q
xs
Nil
domatch
Pchar
Z
Cons
Q
xs
Nil
domatch
Pchar
Y
Cons
Q
xs
Nil
domatch
Pchar
X
Cons
Q
xs
Nil
domatch
Pchar
W
Cons
Q
xs
Nil
domatch
Pchar
V
Cons
Q
xs
Nil
domatch
Pchar
U
Cons
Q
xs
Nil
domatch
Pchar
T
Cons
Q
xs
Nil
domatch
Pchar
S
Cons
Q
xs
Nil
domatch
Pchar
R
Cons
Q
xs
Nil
domatch
Pchar
Q
Cons
Q
xs
Cons
Q
xs
domatch
Pchar
P
Cons
Q
xs
Nil
domatch
Pchar
O
Cons
Q
xs
Nil
domatch
Pchar
N
Cons
Q
xs
Nil
domatch
Pchar
M
Cons
Q
xs
Nil
domatch
Pchar
L
Cons
Q
xs
Nil
domatch
Pchar
K
Cons
Q
xs
Nil
domatch
Pchar
J
Cons
Q
xs
Nil
domatch
Pchar
I
Cons
Q
xs
Nil
domatch
Pchar
H
Cons
Q
xs
Nil
domatch
Pchar
G
Cons
Q
xs
Nil
domatch
Pchar
F
Cons
Q
xs
Nil
domatch
Pchar
E
Cons
Q
xs
Nil
domatch
Pchar
D
Cons
Q
xs
Nil
domatch
Pchar
C
Cons
Q
xs
Nil
domatch
Pchar
B
Cons
Q
xs
Nil
domatch
Pchar
A
Cons
Q
xs
Nil
domatch
Pchar
Cslash
Cons
P
xs
Nil
domatch
Pchar
Clpar
Cons
P
xs
Nil
domatch
Pchar
Crpar
Cons
P
xs
Nil
domatch
Pchar
Cstar
Cons
P
xs
Nil
domatch
Pchar
Cdot
Cons
P
xs
Nil
domatch
Pchar
Z
Cons
P
xs
Nil
domatch
Pchar
Y
Cons
P
xs
Nil
domatch
Pchar
X
Cons
P
xs
Nil
domatch
Pchar
W
Cons
P
xs
Nil
domatch
Pchar
V
Cons
P
xs
Nil
domatch
Pchar
U
Cons
P
xs
Nil
domatch
Pchar
T
Cons
P
xs
Nil
domatch
Pchar
S
Cons
P
xs
Nil
domatch
Pchar
R
Cons
P
xs
Nil
domatch
Pchar
Q
Cons
P
xs
Nil
domatch
Pchar
P
Cons
P
xs
Cons
P
xs
domatch
Pchar
O
Cons
P
xs
Nil
domatch
Pchar
N
Cons
P
xs
Nil
domatch
Pchar
M
Cons
P
xs
Nil
domatch
Pchar
L
Cons
P
xs
Nil
domatch
Pchar
K
Cons
P
xs
Nil
domatch
Pchar
J
Cons
P
xs
Nil
domatch
Pchar
I
Cons
P
xs
Nil
domatch
Pchar
H
Cons
P
xs
Nil
domatch
Pchar
G
Cons
P
xs
Nil
domatch
Pchar
F
Cons
P
xs
Nil
domatch
Pchar
E
Cons
P
xs
Nil
domatch
Pchar
D
Cons
P
xs
Nil
domatch
Pchar
C
Cons
P
xs
Nil
domatch
Pchar
B
Cons
P
xs
Nil
domatch
Pchar
A
Cons
P
xs
Nil
domatch
Pchar
Cslash
Cons
O
xs
Nil
domatch
Pchar
Clpar
Cons
O
xs
Nil
domatch
Pchar
Crpar
Cons
O
xs
Nil
domatch
Pchar
Cstar
Cons
O
xs
Nil
domatch
Pchar
Cdot
Cons
O
xs
Nil
domatch
Pchar
Z
Cons
O
xs
Nil
domatch
Pchar
Y
Cons
O
xs
Nil
domatch
Pchar
X
Cons
O
xs
Nil
domatch
Pchar
W
Cons
O
xs
Nil
domatch
Pchar
V
Cons
O
xs
Nil
domatch
Pchar
U
Cons
O
xs
Nil
domatch
Pchar
T
Cons
O
xs
Nil
domatch
Pchar
S
Cons
O
xs
Nil
domatch
Pchar
R
Cons
O
xs
Nil
domatch
Pchar
Q
Cons
O
xs
Nil
domatch
Pchar
P
Cons
O
xs
Nil
domatch
Pchar
O
Cons
O
xs
Cons
O
xs
domatch
Pchar
N
Cons
O
xs
Nil
domatch
Pchar
M
Cons
O
xs
Nil
domatch
Pchar
L
Cons
O
xs
Nil
domatch
Pchar
K
Cons
O
xs
Nil
domatch
Pchar
J
Cons
O
xs
Nil
domatch
Pchar
I
Cons
O
xs
Nil
domatch
Pchar
H
Cons
O
xs
Nil
domatch
Pchar
G
Cons
O
xs
Nil
domatch
Pchar
F
Cons
O
xs
Nil
domatch
Pchar
E
Cons
O
xs
Nil
domatch
Pchar
D
Cons
O
xs
Nil
domatch
Pchar
C
Cons
O
xs
Nil
domatch
Pchar
B
Cons
O
xs
Nil
domatch
Pchar
A
Cons
O
xs
Nil
domatch
Pchar
Cslash
Cons
N
xs
Nil
domatch
Pchar
Clpar
Cons
N
xs
Nil
domatch
Pchar
Crpar
Cons
N
xs
Nil
domatch
Pchar
Cstar
Cons
N
xs
Nil
domatch
Pchar
Cdot
Cons
N
xs
Nil
domatch
Pchar
Z
Cons
N
xs
Nil
domatch
Pchar
Y
Cons
N
xs
Nil
domatch
Pchar
X
Cons
N
xs
Nil
domatch
Pchar
W
Cons
N
xs
Nil
domatch
Pchar
V
Cons
N
xs
Nil
domatch
Pchar
U
Cons
N
xs
Nil
domatch
Pchar
T
Cons
N
xs
Nil
domatch
Pchar
S
Cons
N
xs
Nil
domatch
Pchar
R
Cons
N
xs
Nil
domatch
Pchar
Q
Cons
N
xs
Nil
domatch
Pchar
P
Cons
N
xs
Nil
domatch
Pchar
O
Cons
N
xs
Nil
domatch
Pchar
N
Cons
N
xs
Cons
N
xs
domatch
Pchar
M
Cons
N
xs
Nil
domatch
Pchar
L
Cons
N
xs
Nil
domatch
Pchar
K
Cons
N
xs
Nil
domatch
Pchar
J
Cons
N
xs
Nil
domatch
Pchar
I
Cons
N
xs
Nil
domatch
Pchar
H
Cons
N
xs
Nil
domatch
Pchar
G
Cons
N
xs
Nil
domatch
Pchar
F
Cons
N
xs
Nil
domatch
Pchar
E
Cons
N
xs
Nil
domatch
Pchar
D
Cons
N
xs
Nil
domatch
Pchar
C
Cons
N
xs
Nil
domatch
Pchar
B
Cons
N
xs
Nil
domatch
Pchar
A
Cons
N
xs
Nil
domatch
Pchar
Cslash
Cons
M
xs
Nil
domatch
Pchar
Clpar
Cons
M
xs
Nil
domatch
Pchar
Crpar
Cons
M
xs
Nil
domatch
Pchar
Cstar
Cons
M
xs
Nil
domatch
Pchar
Cdot
Cons
M
xs
Nil
domatch
Pchar
Z
Cons
M
xs
Nil
domatch
Pchar
Y
Cons
M
xs
Nil
domatch
Pchar
X
Cons
M
xs
Nil
domatch
Pchar
W
Cons
M
xs
Nil
domatch
Pchar
V
Cons
M
xs
Nil
domatch
Pchar
U
Cons
M
xs
Nil
domatch
Pchar
T
Cons
M
xs
Nil
domatch
Pchar
S
Cons
M
xs
Nil
domatch
Pchar
R
Cons
M
xs
Nil
domatch
Pchar
Q
Cons
M
xs
Nil
domatch
Pchar
P
Cons
M
xs
Nil
domatch
Pchar
O
Cons
M
xs
Nil
domatch
Pchar
N
Cons
M
xs
Nil
domatch
Pchar
M
Cons
M
xs
Cons
M
xs
domatch
Pchar
L
Cons
M
xs
Nil
domatch
Pchar
K
Cons
M
xs
Nil
domatch
Pchar
J
Cons
M
xs
Nil
domatch
Pchar
I
Cons
M
xs
Nil
domatch
Pchar
H
Cons
M
xs
Nil
domatch
Pchar
G
Cons
M
xs
Nil
domatch
Pchar
F
Cons
M
xs
Nil
domatch
Pchar
E
Cons
M
xs
Nil
domatch
Pchar
D
Cons
M
xs
Nil
domatch
Pchar
C
Cons
M
xs
Nil
domatch
Pchar
B
Cons
M
xs
Nil
domatch
Pchar
A
Cons
M
xs
Nil
domatch
Pchar
Cslash
Cons
L
xs
Nil
domatch
Pchar
Clpar
Cons
L
xs
Nil
domatch
Pchar
Crpar
Cons
L
xs
Nil
domatch
Pchar
Cstar
Cons
L
xs
Nil
domatch
Pchar
Cdot
Cons
L
xs
Nil
domatch
Pchar
Z
Cons
L
xs
Nil
domatch
Pchar
Y
Cons
L
xs
Nil
domatch
Pchar
X
Cons
L
xs
Nil
domatch
Pchar
W
Cons
L
xs
Nil
domatch
Pchar
V
Cons
L
xs
Nil
domatch
Pchar
U
Cons
L
xs
Nil
domatch
Pchar
T
Cons
L
xs
Nil
domatch
Pchar
S
Cons
L
xs
Nil
domatch
Pchar
R
Cons
L
xs
Nil
domatch
Pchar
Q
Cons
L
xs
Nil
domatch
Pchar
P
Cons
L
xs
Nil
domatch
Pchar
O
Cons
L
xs
Nil
domatch
Pchar
N
Cons
L
xs
Nil
domatch
Pchar
M
Cons
L
xs
Nil
domatch
Pchar
L
Cons
L
xs
Cons
L
xs
domatch
Pchar
K
Cons
L
xs
Nil
domatch
Pchar
J
Cons
L
xs
Nil
domatch
Pchar
I
Cons
L
xs
Nil
domatch
Pchar
H
Cons
L
xs
Nil
domatch
Pchar
G
Cons
L
xs
Nil
domatch
Pchar
F
Cons
L
xs
Nil
domatch
Pchar
E
Cons
L
xs
Nil
domatch
Pchar
D
Cons
L
xs
Nil
domatch
Pchar
C
Cons
L
xs
Nil
domatch
Pchar
B
Cons
L
xs
Nil
domatch
Pchar
A
Cons
L
xs
Nil
domatch
Pchar
Cslash
Cons
K
xs
Nil
domatch
Pchar
Clpar
Cons
K
xs
Nil
domatch
Pchar
Crpar
Cons
K
xs
Nil
domatch
Pchar
Cstar
Cons
K
xs
Nil
domatch
Pchar
Cdot
Cons
K
xs
Nil
domatch
Pchar
Z
Cons
K
xs
Nil
domatch
Pchar
Y
Cons
K
xs
Nil
domatch
Pchar
X
Cons
K
xs
Nil
domatch
Pchar
W
Cons
K
xs
Nil
domatch
Pchar
V
Cons
K
xs
Nil
domatch
Pchar
U
Cons
K
xs
Nil
domatch
Pchar
T
Cons
K
xs
Nil
domatch
Pchar
S
Cons
K
xs
Nil
domatch
Pchar
R
Cons
K
xs
Nil
domatch
Pchar
Q
Cons
K
xs
Nil
domatch
Pchar
P
Cons
K
xs
Nil
domatch
Pchar
O
Cons
K
xs
Nil
domatch
Pchar
N
Cons
K
xs
Nil
domatch
Pchar
M
Cons
K
xs
Nil
domatch
Pchar
L
Cons
K
xs
Nil
domatch
Pchar
K
Cons
K
xs
Cons
K
xs
domatch
Pchar
J
Cons
K
xs
Nil
domatch
Pchar
I
Cons
K
xs
Nil
domatch
Pchar
H
Cons
K
xs
Nil
domatch
Pchar
G
Cons
K
xs
Nil
domatch
Pchar
F
Cons
K
xs
Nil
domatch
Pchar
E
Cons
K
xs
Nil
domatch
Pchar
D
Cons
K
xs
Nil
domatch
Pchar
C
Cons
K
xs
Nil
domatch
Pchar
B
Cons
K
xs
Nil
domatch
Pchar
A
Cons
K
xs
Nil
domatch
Pchar
Cslash
Cons
J
xs
Nil
domatch
Pchar
Clpar
Cons
J
xs
Nil
domatch
Pchar
Crpar
Cons
J
xs
Nil
domatch
Pchar
Cstar
Cons
J
xs
Nil
domatch
Pchar
Cdot
Cons
J
xs
Nil
domatch
Pchar
Z
Cons
J
xs
Nil
domatch
Pchar
Y
Cons
J
xs
Nil
domatch
Pchar
X
Cons
J
xs
Nil
domatch
Pchar
W
Cons
J
xs
Nil
domatch
Pchar
V
Cons
J
xs
Nil
domatch
Pchar
U
Cons
J
xs
Nil
domatch
Pchar
T
Cons
J
xs
Nil
domatch
Pchar
S
Cons
J
xs
Nil
domatch
Pchar
R
Cons
J
xs
Nil
domatch
Pchar
Q
Cons
J
xs
Nil
domatch
Pchar
P
Cons
J
xs
Nil
domatch
Pchar
O
Cons
J
xs
Nil
domatch
Pchar
N
Cons
J
xs
Nil
domatch
Pchar
M
Cons
J
xs
Nil
domatch
Pchar
L
Cons
J
xs
Nil
domatch
Pchar
K
Cons
J
xs
Nil
domatch
Pchar
J
Cons
J
xs
Cons
J
xs
domatch
Pchar
I
Cons
J
xs
Nil
domatch
Pchar
H
Cons
J
xs
Nil
domatch
Pchar
G
Cons
J
xs
Nil
domatch
Pchar
F
Cons
J
xs
Nil
domatch
Pchar
E
Cons
J
xs
Nil
domatch
Pchar
D
Cons
J
xs
Nil
domatch
Pchar
C
Cons
J
xs
Nil
domatch
Pchar
B
Cons
J
xs
Nil
domatch
Pchar
A
Cons
J
xs
Nil
domatch
Pchar
Cslash
Cons
I
xs
Nil
domatch
Pchar
Clpar
Cons
I
xs
Nil
domatch
Pchar
Crpar
Cons
I
xs
Nil
domatch
Pchar
Cstar
Cons
I
xs
Nil
domatch
Pchar
Cdot
Cons
I
xs
Nil
domatch
Pchar
Z
Cons
I
xs
Nil
domatch
Pchar
Y
Cons
I
xs
Nil
domatch
Pchar
X
Cons
I
xs
Nil
domatch
Pchar
W
Cons
I
xs
Nil
domatch
Pchar
V
Cons
I
xs
Nil
domatch
Pchar
U
Cons
I
xs
Nil
domatch
Pchar
T
Cons
I
xs
Nil
domatch
Pchar
S
Cons
I
xs
Nil
domatch
Pchar
R
Cons
I
xs
Nil
domatch
Pchar
Q
Cons
I
xs
Nil
domatch
Pchar
P
Cons
I
xs
Nil
domatch
Pchar
O
Cons
I
xs
Nil
domatch
Pchar
N
Cons
I
xs
Nil
domatch
Pchar
M
Cons
I
xs
Nil
domatch
Pchar
L
Cons
I
xs
Nil
domatch
Pchar
K
Cons
I
xs
Nil
domatch
Pchar
J
Cons
I
xs
Nil
domatch
Pchar
I
Cons
I
xs
Cons
I
xs
domatch
Pchar
H
Cons
I
xs
Nil
domatch
Pchar
G
Cons
I
xs
Nil
domatch
Pchar
F
Cons
I
xs
Nil
domatch
Pchar
E
Cons
I
xs
Nil
domatch
Pchar
D
Cons
I
xs
Nil
domatch
Pchar
C
Cons
I
xs
Nil
domatch
Pchar
B
Cons
I
xs
Nil
domatch
Pchar
A
Cons
I
xs
Nil
domatch
Pchar
Cslash
Cons
H
xs
Nil
domatch
Pchar
Clpar
Cons
H
xs
Nil
domatch
Pchar
Crpar
Cons
H
xs
Nil
domatch
Pchar
Cstar
Cons
H
xs
Nil
domatch
Pchar
Cdot
Cons
H
xs
Nil
domatch
Pchar
Z
Cons
H
xs
Nil
domatch
Pchar
Y
Cons
H
xs
Nil
domatch
Pchar
X
Cons
H
xs
Nil
domatch
Pchar
W
Cons
H
xs
Nil
domatch
Pchar
V
Cons
H
xs
Nil
domatch
Pchar
U
Cons
H
xs
Nil
domatch
Pchar
T
Cons
H
xs
Nil
domatch
Pchar
S
Cons
H
xs
Nil
domatch
Pchar
R
Cons
H
xs
Nil
domatch
Pchar
Q
Cons
H
xs
Nil
domatch
Pchar
P
Cons
H
xs
Nil
domatch
Pchar
O
Cons
H
xs
Nil
domatch
Pchar
N
Cons
H
xs
Nil
domatch
Pchar
M
Cons
H
xs
Nil
domatch
Pchar
L
Cons
H
xs
Nil
domatch
Pchar
K
Cons
H
xs
Nil
domatch
Pchar
J
Cons
H
xs
Nil
domatch
Pchar
I
Cons
H
xs
Nil
domatch
Pchar
H
Cons
H
xs
Cons
H
xs
domatch
Pchar
G
Cons
H
xs
Nil
domatch
Pchar
F
Cons
H
xs
Nil
domatch
Pchar
E
Cons
H
xs
Nil
domatch
Pchar
D
Cons
H
xs
Nil
domatch
Pchar
C
Cons
H
xs
Nil
domatch
Pchar
B
Cons
H
xs
Nil
domatch
Pchar
A
Cons
H
xs
Nil
domatch
Pchar
Cslash
Cons
G
xs
Nil
domatch
Pchar
Clpar
Cons
G
xs
Nil
domatch
Pchar
Crpar
Cons
G
xs
Nil
domatch
Pchar
Cstar
Cons
G
xs
Nil
domatch
Pchar
Cdot
Cons
G
xs
Nil
domatch
Pchar
Z
Cons
G
xs
Nil
domatch
Pchar
Y
Cons
G
xs
Nil
domatch
Pchar
X
Cons
G
xs
Nil
domatch
Pchar
W
Cons
G
xs
Nil
domatch
Pchar
V
Cons
G
xs
Nil
domatch
Pchar
U
Cons
G
xs
Nil
domatch
Pchar
T
Cons
G
xs
Nil
domatch
Pchar
S
Cons
G
xs
Nil
domatch
Pchar
R
Cons
G
xs
Nil
domatch
Pchar
Q
Cons
G
xs
Nil
domatch
Pchar
P
Cons
G
xs
Nil
domatch
Pchar
O
Cons
G
xs
Nil
domatch
Pchar
N
Cons
G
xs
Nil
domatch
Pchar
M
Cons
G
xs
Nil
domatch
Pchar
L
Cons
G
xs
Nil
domatch
Pchar
K
Cons
G
xs
Nil
domatch
Pchar
J
Cons
G
xs
Nil
domatch
Pchar
I
Cons
G
xs
Nil
domatch
Pchar
H
Cons
G
xs
Nil
domatch
Pchar
G
Cons
G
xs
Cons
G
xs
domatch
Pchar
F
Cons
G
xs
Nil
domatch
Pchar
E
Cons
G
xs
Nil
domatch
Pchar
D
Cons
G
xs
Nil
domatch
Pchar
C
Cons
G
xs
Nil
domatch
Pchar
B
Cons
G
xs
Nil
domatch
Pchar
A
Cons
G
xs
Nil
domatch
Pchar
Cslash
Cons
F
xs
Nil
domatch
Pchar
Clpar
Cons
F
xs
Nil
domatch
Pchar
Crpar
Cons
F
xs
Nil
domatch
Pchar
Cstar
Cons
F
xs
Nil
domatch
Pchar
Cdot
Cons
F
xs
Nil
domatch
Pchar
Z
Cons
F
xs
Nil
domatch
Pchar
Y
Cons
F
xs
Nil
domatch
Pchar
X
Cons
F
xs
Nil
domatch
Pchar
W
Cons
F
xs
Nil
domatch
Pchar
V
Cons
F
xs
Nil
domatch
Pchar
U
Cons
F
xs
Nil
domatch
Pchar
T
Cons
F
xs
Nil
domatch
Pchar
S
Cons
F
xs
Nil
domatch
Pchar
R
Cons
F
xs
Nil
domatch
Pchar
Q
Cons
F
xs
Nil
domatch
Pchar
P
Cons
F
xs
Nil
domatch
Pchar
O
Cons
F
xs
Nil
domatch
Pchar
N
Cons
F
xs
Nil
domatch
Pchar
M
Cons
F
xs
Nil
domatch
Pchar
L
Cons
F
xs
Nil
domatch
Pchar
K
Cons
F
xs
Nil
domatch
Pchar
J
Cons
F
xs
Nil
domatch
Pchar
I
Cons
F
xs
Nil
domatch
Pchar
H
Cons
F
xs
Nil
domatch
Pchar
G
Cons
F
xs
Nil
domatch
Pchar
F
Cons
F
xs
Cons
F
xs
domatch
Pchar
E
Cons
F
xs
Nil
domatch
Pchar
D
Cons
F
xs
Nil
domatch
Pchar
C
Cons
F
xs
Nil
domatch
Pchar
B
Cons
F
xs
Nil
domatch
Pchar
A
Cons
F
xs
Nil
domatch
Pchar
Cslash
Cons
E
xs
Nil
domatch
Pchar
Clpar
Cons
E
xs
Nil
domatch
Pchar
Crpar
Cons
E
xs
Nil
domatch
Pchar
Cstar
Cons
E
xs
Nil
domatch
Pchar
Cdot
Cons
E
xs
Nil
domatch
Pchar
Z
Cons
E
xs
Nil
domatch
Pchar
Y
Cons
E
xs
Nil
domatch
Pchar
X
Cons
E
xs
Nil
domatch
Pchar
W
Cons
E
xs
Nil
domatch
Pchar
V
Cons
E
xs
Nil
domatch
Pchar
U
Cons
E
xs
Nil
domatch
Pchar
T
Cons
E
xs
Nil
domatch
Pchar
S
Cons
E
xs
Nil
domatch
Pchar
R
Cons
E
xs
Nil
domatch
Pchar
Q
Cons
E
xs
Nil
domatch
Pchar
P
Cons
E
xs
Nil
domatch
Pchar
O
Cons
E
xs
Nil
domatch
Pchar
N
Cons
E
xs
Nil
domatch
Pchar
M
Cons
E
xs
Nil
domatch
Pchar
L
Cons
E
xs
Nil
domatch
Pchar
K
Cons
E
xs
Nil
domatch
Pchar
J
Cons
E
xs
Nil
domatch
Pchar
I
Cons
E
xs
Nil
domatch
Pchar
H
Cons
E
xs
Nil
domatch
Pchar
G
Cons
E
xs
Nil
domatch
Pchar
F
Cons
E
xs
Nil
domatch
Pchar
E
Cons
E
xs
Cons
E
xs
domatch
Pchar
D
Cons
E
xs
Nil
domatch
Pchar
C
Cons
E
xs
Nil
domatch
Pchar
B
Cons
E
xs
Nil
domatch
Pchar
A
Cons
E
xs
Nil
domatch
Pchar
Cslash
Cons
D
xs
Nil
domatch
Pchar
Clpar
Cons
D
xs
Nil
domatch
Pchar
Crpar
Cons
D
xs
Nil
domatch
Pchar
Cstar
Cons
D
xs
Nil
domatch
Pchar
Cdot
Cons
D
xs
Nil
domatch
Pchar
Z
Cons
D
xs
Nil
domatch
Pchar
Y
Cons
D
xs
Nil
domatch
Pchar
X
Cons
D
xs
Nil
domatch
Pchar
W
Cons
D
xs
Nil
domatch
Pchar
V
Cons
D
xs
Nil
domatch
Pchar
U
Cons
D
xs
Nil
domatch
Pchar
T
Cons
D
xs
Nil
domatch
Pchar
S
Cons
D
xs
Nil
domatch
Pchar
R
Cons
D
xs
Nil
domatch
Pchar
Q
Cons
D
xs
Nil
domatch
Pchar
P
Cons
D
xs
Nil
domatch
Pchar
O
Cons
D
xs
Nil
domatch
Pchar
N
Cons
D
xs
Nil
domatch
Pchar
M
Cons
D
xs
Nil
domatch
Pchar
L
Cons
D
xs
Nil
domatch
Pchar
K
Cons
D
xs
Nil
domatch
Pchar
J
Cons
D
xs
Nil
domatch
Pchar
I
Cons
D
xs
Nil
domatch
Pchar
H
Cons
D
xs
Nil
domatch
Pchar
G
Cons
D
xs
Nil
domatch
Pchar
F
Cons
D
xs
Nil
domatch
Pchar
E
Cons
D
xs
Nil
domatch
Pchar
D
Cons
D
xs
Cons
D
xs
domatch
Pchar
C
Cons
D
xs
Nil
domatch
Pchar
B
Cons
D
xs
Nil
domatch
Pchar
A
Cons
D
xs
Nil
domatch
Pchar
Cslash
Cons
C
xs
Nil
domatch
Pchar
Clpar
Cons
C
xs
Nil
domatch
Pchar
Crpar
Cons
C
xs
Nil
domatch
Pchar
Cstar
Cons
C
xs
Nil
domatch
Pchar
Cdot
Cons
C
xs
Nil
domatch
Pchar
Z
Cons
C
xs
Nil
domatch
Pchar
Y
Cons
C
xs
Nil
domatch
Pchar
X
Cons
C
xs
Nil
domatch
Pchar
W
Cons
C
xs
Nil
domatch
Pchar
V
Cons
C
xs
Nil
domatch
Pchar
U
Cons
C
xs
Nil
domatch
Pchar
T
Cons
C
xs
Nil
domatch
Pchar
S
Cons
C
xs
Nil
domatch
Pchar
R
Cons
C
xs
Nil
domatch
Pchar
Q
Cons
C
xs
Nil
domatch
Pchar
P
Cons
C
xs
Nil
domatch
Pchar
O
Cons
C
xs
Nil
domatch
Pchar
N
Cons
C
xs
Nil
domatch
Pchar
M
Cons
C
xs
Nil
domatch
Pchar
L
Cons
C
xs
Nil
domatch
Pchar
K
Cons
C
xs
Nil
domatch
Pchar
J
Cons
C
xs
Nil
domatch
Pchar
I
Cons
C
xs
Nil
domatch
Pchar
H
Cons
C
xs
Nil
domatch
Pchar
G
Cons
C
xs
Nil
domatch
Pchar
F
Cons
C
xs
Nil
domatch
Pchar
E
Cons
C
xs
Nil
domatch
Pchar
D
Cons
C
xs
Nil
domatch
Pchar
C
Cons
C
xs
Cons
C
xs
domatch
Pchar
B
Cons
C
xs
Nil
domatch
Pchar
A
Cons
C
xs
Nil
domatch
Pchar
Cslash
Cons
B
xs
Nil
domatch
Pchar
Clpar
Cons
B
xs
Nil
domatch
Pchar
Crpar
Cons
B
xs
Nil
domatch
Pchar
Cstar
Cons
B
xs
Nil
domatch
Pchar
Cdot
Cons
B
xs
Nil
domatch
Pchar
Z
Cons
B
xs
Nil
domatch
Pchar
Y
Cons
B
xs
Nil
domatch
Pchar
X
Cons
B
xs
Nil
domatch
Pchar
W
Cons
B
xs
Nil
domatch
Pchar
V
Cons
B
xs
Nil
domatch
Pchar
U
Cons
B
xs
Nil
domatch
Pchar
T
Cons
B
xs
Nil
domatch
Pchar
S
Cons
B
xs
Nil
domatch
Pchar
R
Cons
B
xs
Nil
domatch
Pchar
Q
Cons
B
xs
Nil
domatch
Pchar
P
Cons
B
xs
Nil
domatch
Pchar
O
Cons
B
xs
Nil
domatch
Pchar
N
Cons
B
xs
Nil
domatch
Pchar
M
Cons
B
xs
Nil
domatch
Pchar
L
Cons
B
xs
Nil
domatch
Pchar
K
Cons
B
xs
Nil
domatch
Pchar
J
Cons
B
xs
Nil
domatch
Pchar
I
Cons
B
xs
Nil
domatch
Pchar
H
Cons
B
xs
Nil
domatch
Pchar
G
Cons
B
xs
Nil
domatch
Pchar
F
Cons
B
xs
Nil
domatch
Pchar
E
Cons
B
xs
Nil
domatch
Pchar
D
Cons
B
xs
Nil
domatch
Pchar
C
Cons
B
xs
Nil
domatch
Pchar
B
Cons
B
xs
Cons
B
xs
domatch
Pchar
A
Cons
B
xs
Nil
domatch
Pchar
Cslash
Cons
A
xs
Nil
domatch
Pchar
Clpar
Cons
A
xs
Nil
domatch
Pchar
Crpar
Cons
A
xs
Nil
domatch
Pchar
Cstar
Cons
A
xs
Nil
domatch
Pchar
Cdot
Cons
A
xs
Nil
domatch
Pchar
Z
Cons
A
xs
Nil
domatch
Pchar
Y
Cons
A
xs
Nil
domatch
Pchar
X
Cons
A
xs
Nil
domatch
Pchar
W
Cons
A
xs
Nil
domatch
Pchar
V
Cons
A
xs
Nil
domatch
Pchar
U
Cons
A
xs
Nil
domatch
Pchar
T
Cons
A
xs
Nil
domatch
Pchar
S
Cons
A
xs
Nil
domatch
Pchar
R
Cons
A
xs
Nil
domatch
Pchar
Q
Cons
A
xs
Nil
domatch
Pchar
P
Cons
A
xs
Nil
domatch
Pchar
O
Cons
A
xs
Nil
domatch
Pchar
N
Cons
A
xs
Nil
domatch
Pchar
M
Cons
A
xs
Nil
domatch
Pchar
L
Cons
A
xs
Nil
domatch
Pchar
K
Cons
A
xs
Nil
domatch
Pchar
J
Cons
A
xs
Nil
domatch
Pchar
I
Cons
A
xs
Nil
domatch
Pchar
H
Cons
A
xs
Nil
domatch
Pchar
G
Cons
A
xs
Nil
domatch
Pchar
F
Cons
A
xs
Nil
domatch
Pchar
E
Cons
A
xs
Nil
domatch
Pchar
D
Cons
A
xs
Nil
domatch
Pchar
C
Cons
A
xs
Nil
domatch
Pchar
B
Cons
A
xs
Nil
domatch
Pchar
A
Cons
A
xs
Cons
A
xs
domatch
Pchar
c
Nil
Nil
parsep
Cons
Cslash
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
Cslash
xs
seq
stack
parsep
Cons
Clpar
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
Clpar
xs
seq
stack
parsep
Cons
Crpar
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
Crpar
xs
seq
stack
parsep
Cons
Cstar
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
True
Cons
Cstar
xs
seq
stack
parsep
Cons
Cdot
xs
seq
stack
parsepdot
Cons
Cdot
xs
seq
stack
parsep
Cons
Z
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
Z
xs
seq
stack
parsep
Cons
Y
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
Y
xs
seq
stack
parsep
Cons
X
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
X
xs
seq
stack
parsep
Cons
W
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
W
xs
seq
stack
parsep
Cons
V
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
V
xs
seq
stack
parsep
Cons
U
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
U
xs
seq
stack
parsep
Cons
T
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
T
xs
seq
stack
parsep
Cons
S
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
S
xs
seq
stack
parsep
Cons
R
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
R
xs
seq
stack
parsep
Cons
Q
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
Q
xs
seq
stack
parsep
Cons
P
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
P
xs
seq
stack
parsep
Cons
O
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
O
xs
seq
stack
parsep
Cons
N
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
N
xs
seq
stack
parsep
Cons
M
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
M
xs
seq
stack
parsep
Cons
L
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
L
xs
seq
stack
parsep
Cons
K
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
K
xs
seq
stack
parsep
Cons
J
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
J
xs
seq
stack
parsep
Cons
I
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
I
xs
seq
stack
parsep
Cons
H
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
H
xs
seq
stack
parsep
Cons
G
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
G
xs
seq
stack
parsep
Cons
F
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
F
xs
seq
stack
parsep
Cons
E
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
E
xs
seq
stack
parsep
Cons
D
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
D
xs
seq
stack
parsep
Cons
C
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
C
xs
seq
stack
parsep
Cons
B
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
B
xs
seq
stack
parsep
Cons
A
xs
seq
stack
parsep[Ite][True][Ite][False][Ite]
False
Cons
A
xs
seq
stack
domatchchar
Cons
Cslash
xs
Cslash
Cons
Cslash
xs
domatchchar
Cons
Cslash
xs
Clpar
Nil
domatchchar
Cons
Cslash
xs
Crpar
Nil
domatchchar
Cons
Cslash
xs
Cstar
Nil
domatchchar
Cons
Cslash
xs
Cdot
Nil
domatchchar
Cons
Cslash
xs
Z
Nil
domatchchar
Cons
Cslash
xs
Y
Nil
domatchchar
Cons
Cslash
xs
X
Nil
domatchchar
Cons
Cslash
xs
W
Nil
domatchchar
Cons
Cslash
xs
V
Nil
domatchchar
Cons
Cslash
xs
U
Nil
domatchchar
Cons
Cslash
xs
T
Nil
domatchchar
Cons
Cslash
xs
S
Nil
domatchchar
Cons
Cslash
xs
R
Nil
domatchchar
Cons
Cslash
xs
Q
Nil
domatchchar
Cons
Cslash
xs
P
Nil
domatchchar
Cons
Cslash
xs
O
Nil
domatchchar
Cons
Cslash
xs
N
Nil
domatchchar
Cons
Cslash
xs
M
Nil
domatchchar
Cons
Cslash
xs
L
Nil
domatchchar
Cons
Cslash
xs
K
Nil
domatchchar
Cons
Cslash
xs
J
Nil
domatchchar
Cons
Cslash
xs
I
Nil
domatchchar
Cons
Cslash
xs
H
Nil
domatchchar
Cons
Cslash
xs
G
Nil
domatchchar
Cons
Cslash
xs
F
Nil
domatchchar
Cons
Cslash
xs
E
Nil
domatchchar
Cons
Cslash
xs
D
Nil
domatchchar
Cons
Cslash
xs
C
Nil
domatchchar
Cons
Cslash
xs
B
Nil
domatchchar
Cons
Cslash
xs
A
Nil
domatchchar
Cons
Clpar
xs
Cslash
Nil
domatchchar
Cons
Clpar
xs
Clpar
Cons
Clpar
xs
domatchchar
Cons
Clpar
xs
Crpar
Nil
domatchchar
Cons
Clpar
xs
Cstar
Nil
domatchchar
Cons
Clpar
xs
Cdot
Nil
domatchchar
Cons
Clpar
xs
Z
Nil
domatchchar
Cons
Clpar
xs
Y
Nil
domatchchar
Cons
Clpar
xs
X
Nil
domatchchar
Cons
Clpar
xs
W
Nil
domatchchar
Cons
Clpar
xs
V
Nil
domatchchar
Cons
Clpar
xs
U
Nil
domatchchar
Cons
Clpar
xs
T
Nil
domatchchar
Cons
Clpar
xs
S
Nil
domatchchar
Cons
Clpar
xs
R
Nil
domatchchar
Cons
Clpar
xs
Q
Nil
domatchchar
Cons
Clpar
xs
P
Nil
domatchchar
Cons
Clpar
xs
O
Nil
domatchchar
Cons
Clpar
xs
N
Nil
domatchchar
Cons
Clpar
xs
M
Nil
domatchchar
Cons
Clpar
xs
L
Nil
domatchchar
Cons
Clpar
xs
K
Nil
domatchchar
Cons
Clpar
xs
J
Nil
domatchchar
Cons
Clpar
xs
I
Nil
domatchchar
Cons
Clpar
xs
H
Nil
domatchchar
Cons
Clpar
xs
G
Nil
domatchchar
Cons
Clpar
xs
F
Nil
domatchchar
Cons
Clpar
xs
E
Nil
domatchchar
Cons
Clpar
xs
D
Nil
domatchchar
Cons
Clpar
xs
C
Nil
domatchchar
Cons
Clpar
xs
B
Nil
domatchchar
Cons
Clpar
xs
A
Nil
domatchchar
Cons
Crpar
xs
Cslash
Nil
domatchchar
Cons
Crpar
xs
Clpar
Nil
domatchchar
Cons
Crpar
xs
Crpar
Cons
Crpar
xs
domatchchar
Cons
Crpar
xs
Cstar
Nil
domatchchar
Cons
Crpar
xs
Cdot
Nil
domatchchar
Cons
Crpar
xs
Z
Nil
domatchchar
Cons
Crpar
xs
Y
Nil
domatchchar
Cons
Crpar
xs
X
Nil
domatchchar
Cons
Crpar
xs
W
Nil
domatchchar
Cons
Crpar
xs
V
Nil
domatchchar
Cons
Crpar
xs
U
Nil
domatchchar
Cons
Crpar
xs
T
Nil
domatchchar
Cons
Crpar
xs
S
Nil
domatchchar
Cons
Crpar
xs
R
Nil
domatchchar
Cons
Crpar
xs
Q
Nil
domatchchar
Cons
Crpar
xs
P
Nil
domatchchar
Cons
Crpar
xs
O
Nil
domatchchar
Cons
Crpar
xs
N
Nil
domatchchar
Cons
Crpar
xs
M
Nil
domatchchar
Cons
Crpar
xs
L
Nil
domatchchar
Cons
Crpar
xs
K
Nil
domatchchar
Cons
Crpar
xs
J
Nil
domatchchar
Cons
Crpar
xs
I
Nil
domatchchar
Cons
Crpar
xs
H
Nil
domatchchar
Cons
Crpar
xs
G
Nil
domatchchar
Cons
Crpar
xs
F
Nil
domatchchar
Cons
Crpar
xs
E
Nil
domatchchar
Cons
Crpar
xs
D
Nil
domatchchar
Cons
Crpar
xs
C
Nil
domatchchar
Cons
Crpar
xs
B
Nil
domatchchar
Cons
Crpar
xs
A
Nil
domatchchar
Cons
Cstar
xs
Cslash
Nil
domatchchar
Cons
Cstar
xs
Clpar
Nil
domatchchar
Cons
Cstar
xs
Crpar
Nil
domatchchar
Cons
Cstar
xs
Cstar
Cons
Cstar
xs
domatchchar
Cons
Cstar
xs
Cdot
Nil
domatchchar
Cons
Cstar
xs
Z
Nil
domatchchar
Cons
Cstar
xs
Y
Nil
domatchchar
Cons
Cstar
xs
X
Nil
domatchchar
Cons
Cstar
xs
W
Nil
domatchchar
Cons
Cstar
xs
V
Nil
domatchchar
Cons
Cstar
xs
U
Nil
domatchchar
Cons
Cstar
xs
T
Nil
domatchchar
Cons
Cstar
xs
S
Nil
domatchchar
Cons
Cstar
xs
R
Nil
domatchchar
Cons
Cstar
xs
Q
Nil
domatchchar
Cons
Cstar
xs
P
Nil
domatchchar
Cons
Cstar
xs
O
Nil
domatchchar
Cons
Cstar
xs
N
Nil
domatchchar
Cons
Cstar
xs
M
Nil
domatchchar
Cons
Cstar
xs
L
Nil
domatchchar
Cons
Cstar
xs
K
Nil
domatchchar
Cons
Cstar
xs
J
Nil
domatchchar
Cons
Cstar
xs
I
Nil
domatchchar
Cons
Cstar
xs
H
Nil
domatchchar
Cons
Cstar
xs
G
Nil
domatchchar
Cons
Cstar
xs
F
Nil
domatchchar
Cons
Cstar
xs
E
Nil
domatchchar
Cons
Cstar
xs
D
Nil
domatchchar
Cons
Cstar
xs
C
Nil
domatchchar
Cons
Cstar
xs
B
Nil
domatchchar
Cons
Cstar
xs
A
Nil
domatchchar
Cons
Cdot
xs
Cslash
Nil
domatchchar
Cons
Cdot
xs
Clpar
Nil
domatchchar
Cons
Cdot
xs
Crpar
Nil
domatchchar
Cons
Cdot
xs
Cstar
Nil
domatchchar
Cons
Cdot
xs
Cdot
Cons
Cdot
xs
domatchchar
Cons
Cdot
xs
Z
Nil
domatchchar
Cons
Cdot
xs
Y
Nil
domatchchar
Cons
Cdot
xs
X
Nil
domatchchar
Cons
Cdot
xs
W
Nil
domatchchar
Cons
Cdot
xs
V
Nil
domatchchar
Cons
Cdot
xs
U
Nil
domatchchar
Cons
Cdot
xs
T
Nil
domatchchar
Cons
Cdot
xs
S
Nil
domatchchar
Cons
Cdot
xs
R
Nil
domatchchar
Cons
Cdot
xs
Q
Nil
domatchchar
Cons
Cdot
xs
P
Nil
domatchchar
Cons
Cdot
xs
O
Nil
domatchchar
Cons
Cdot
xs
N
Nil
domatchchar
Cons
Cdot
xs
M
Nil
domatchchar
Cons
Cdot
xs
L
Nil
domatchchar
Cons
Cdot
xs
K
Nil
domatchchar
Cons
Cdot
xs
J
Nil
domatchchar
Cons
Cdot
xs
I
Nil
domatchchar
Cons
Cdot
xs
H
Nil
domatchchar
Cons
Cdot
xs
G
Nil
domatchchar
Cons
Cdot
xs
F
Nil
domatchchar
Cons
Cdot
xs
E
Nil
domatchchar
Cons
Cdot
xs
D
Nil
domatchchar
Cons
Cdot
xs
C
Nil
domatchchar
Cons
Cdot
xs
B
Nil
domatchchar
Cons
Cdot
xs
A
Nil
domatchchar
Cons
Z
xs
Cslash
Nil
domatchchar
Cons
Z
xs
Clpar
Nil
domatchchar
Cons
Z
xs
Crpar
Nil
domatchchar
Cons
Z
xs
Cstar
Nil
domatchchar
Cons
Z
xs
Cdot
Nil
domatchchar
Cons
Z
xs
Z
Cons
Z
xs
domatchchar
Cons
Z
xs
Y
Nil
domatchchar
Cons
Z
xs
X
Nil
domatchchar
Cons
Z
xs
W
Nil
domatchchar
Cons
Z
xs
V
Nil
domatchchar
Cons
Z
xs
U
Nil
domatchchar
Cons
Z
xs
T
Nil
domatchchar
Cons
Z
xs
S
Nil
domatchchar
Cons
Z
xs
R
Nil
domatchchar
Cons
Z
xs
Q
Nil
domatchchar
Cons
Z
xs
P
Nil
domatchchar
Cons
Z
xs
O
Nil
domatchchar
Cons
Z
xs
N
Nil
domatchchar
Cons
Z
xs
M
Nil
domatchchar
Cons
Z
xs
L
Nil
domatchchar
Cons
Z
xs
K
Nil
domatchchar
Cons
Z
xs
J
Nil
domatchchar
Cons
Z
xs
I
Nil
domatchchar
Cons
Z
xs
H
Nil
domatchchar
Cons
Z
xs
G
Nil
domatchchar
Cons
Z
xs
F
Nil
domatchchar
Cons
Z
xs
E
Nil
domatchchar
Cons
Z
xs
D
Nil
domatchchar
Cons
Z
xs
C
Nil
domatchchar
Cons
Z
xs
B
Nil
domatchchar
Cons
Z
xs
A
Nil
domatchchar
Cons
Y
xs
Cslash
Nil
domatchchar
Cons
Y
xs
Clpar
Nil
domatchchar
Cons
Y
xs
Crpar
Nil
domatchchar
Cons
Y
xs
Cstar
Nil
domatchchar
Cons
Y
xs
Cdot
Nil
domatchchar
Cons
Y
xs
Z
Nil
domatchchar
Cons
Y
xs
Y
Cons
Y
xs
domatchchar
Cons
Y
xs
X
Nil
domatchchar
Cons
Y
xs
W
Nil
domatchchar
Cons
Y
xs
V
Nil
domatchchar
Cons
Y
xs
U
Nil
domatchchar
Cons
Y
xs
T
Nil
domatchchar
Cons
Y
xs
S
Nil
domatchchar
Cons
Y
xs
R
Nil
domatchchar
Cons
Y
xs
Q
Nil
domatchchar
Cons
Y
xs
P
Nil
domatchchar
Cons
Y
xs
O
Nil
domatchchar
Cons
Y
xs
N
Nil
domatchchar
Cons
Y
xs
M
Nil
domatchchar
Cons
Y
xs
L
Nil
domatchchar
Cons
Y
xs
K
Nil
domatchchar
Cons
Y
xs
J
Nil
domatchchar
Cons
Y
xs
I
Nil
domatchchar
Cons
Y
xs
H
Nil
domatchchar
Cons
Y
xs
G
Nil
domatchchar
Cons
Y
xs
F
Nil
domatchchar
Cons
Y
xs
E
Nil
domatchchar
Cons
Y
xs
D
Nil
domatchchar
Cons
Y
xs
C
Nil
domatchchar
Cons
Y
xs
B
Nil
domatchchar
Cons
Y
xs
A
Nil
domatchchar
Cons
X
xs
Cslash
Nil
domatchchar
Cons
X
xs
Clpar
Nil
domatchchar
Cons
X
xs
Crpar
Nil
domatchchar
Cons
X
xs
Cstar
Nil
domatchchar
Cons
X
xs
Cdot
Nil
domatchchar
Cons
X
xs
Z
Nil
domatchchar
Cons
X
xs
Y
Nil
domatchchar
Cons
X
xs
X
Cons
X
xs
domatchchar
Cons
X
xs
W
Nil
domatchchar
Cons
X
xs
V
Nil
domatchchar
Cons
X
xs
U
Nil
domatchchar
Cons
X
xs
T
Nil
domatchchar
Cons
X
xs
S
Nil
domatchchar
Cons
X
xs
R
Nil
domatchchar
Cons
X
xs
Q
Nil
domatchchar
Cons
X
xs
P
Nil
domatchchar
Cons
X
xs
O
Nil
domatchchar
Cons
X
xs
N
Nil
domatchchar
Cons
X
xs
M
Nil
domatchchar
Cons
X
xs
L
Nil
domatchchar
Cons
X
xs
K
Nil
domatchchar
Cons
X
xs
J
Nil
domatchchar
Cons
X
xs
I
Nil
domatchchar
Cons
X
xs
H
Nil
domatchchar
Cons
X
xs
G
Nil
domatchchar
Cons
X
xs
F
Nil
domatchchar
Cons
X
xs
E
Nil
domatchchar
Cons
X
xs
D
Nil
domatchchar
Cons
X
xs
C
Nil
domatchchar
Cons
X
xs
B
Nil
domatchchar
Cons
X
xs
A
Nil
domatchchar
Cons
W
xs
Cslash
Nil
domatchchar
Cons
W
xs
Clpar
Nil
domatchchar
Cons
W
xs
Crpar
Nil
domatchchar
Cons
W
xs
Cstar
Nil
domatchchar
Cons
W
xs
Cdot
Nil
domatchchar
Cons
W
xs
Z
Nil
domatchchar
Cons
W
xs
Y
Nil
domatchchar
Cons
W
xs
X
Nil
domatchchar
Cons
W
xs
W
Cons
W
xs
domatchchar
Cons
W
xs
V
Nil
domatchchar
Cons
W
xs
U
Nil
domatchchar
Cons
W
xs
T
Nil
domatchchar
Cons
W
xs
S
Nil
domatchchar
Cons
W
xs
R
Nil
domatchchar
Cons
W
xs
Q
Nil
domatchchar
Cons
W
xs
P
Nil
domatchchar
Cons
W
xs
O
Nil
domatchchar
Cons
W
xs
N
Nil
domatchchar
Cons
W
xs
M
Nil
domatchchar
Cons
W
xs
L
Nil
domatchchar
Cons
W
xs
K
Nil
domatchchar
Cons
W
xs
J
Nil
domatchchar
Cons
W
xs
I
Nil
domatchchar
Cons
W
xs
H
Nil
domatchchar
Cons
W
xs
G
Nil
domatchchar
Cons
W
xs
F
Nil
domatchchar
Cons
W
xs
E
Nil
domatchchar
Cons
W
xs
D
Nil
domatchchar
Cons
W
xs
C
Nil
domatchchar
Cons
W
xs
B
Nil
domatchchar
Cons
W
xs
A
Nil
domatchchar
Cons
V
xs
Cslash
Nil
domatchchar
Cons
V
xs
Clpar
Nil
domatchchar
Cons
V
xs
Crpar
Nil
domatchchar
Cons
V
xs
Cstar
Nil
domatchchar
Cons
V
xs
Cdot
Nil
domatchchar
Cons
V
xs
Z
Nil
domatchchar
Cons
V
xs
Y
Nil
domatchchar
Cons
V
xs
X
Nil
domatchchar
Cons
V
xs
W
Nil
domatchchar
Cons
V
xs
V
Cons
V
xs
domatchchar
Cons
V
xs
U
Nil
domatchchar
Cons
V
xs
T
Nil
domatchchar
Cons
V
xs
S
Nil
domatchchar
Cons
V
xs
R
Nil
domatchchar
Cons
V
xs
Q
Nil
domatchchar
Cons
V
xs
P
Nil
domatchchar
Cons
V
xs
O
Nil
domatchchar
Cons
V
xs
N
Nil
domatchchar
Cons
V
xs
M
Nil
domatchchar
Cons
V
xs
L
Nil
domatchchar
Cons
V
xs
K
Nil
domatchchar
Cons
V
xs
J
Nil
domatchchar
Cons
V
xs
I
Nil
domatchchar
Cons
V
xs
H
Nil
domatchchar
Cons
V
xs
G
Nil
domatchchar
Cons
V
xs
F
Nil
domatchchar
Cons
V
xs
E
Nil
domatchchar
Cons
V
xs
D
Nil
domatchchar
Cons
V
xs
C
Nil
domatchchar
Cons
V
xs
B
Nil
domatchchar
Cons
V
xs
A
Nil
domatchchar
Cons
U
xs
Cslash
Nil
domatchchar
Cons
U
xs
Clpar
Nil
domatchchar
Cons
U
xs
Crpar
Nil
domatchchar
Cons
U
xs
Cstar
Nil
domatchchar
Cons
U
xs
Cdot
Nil
domatchchar
Cons
U
xs
Z
Nil
domatchchar
Cons
U
xs
Y
Nil
domatchchar
Cons
U
xs
X
Nil
domatchchar
Cons
U
xs
W
Nil
domatchchar
Cons
U
xs
V
Nil
domatchchar
Cons
U
xs
U
Cons
U
xs
domatchchar
Cons
U
xs
T
Nil
domatchchar
Cons
U
xs
S
Nil
domatchchar
Cons
U
xs
R
Nil
domatchchar
Cons
U
xs
Q
Nil
domatchchar
Cons
U
xs
P
Nil
domatchchar
Cons
U
xs
O
Nil
domatchchar
Cons
U
xs
N
Nil
domatchchar
Cons
U
xs
M
Nil
domatchchar
Cons
U
xs
L
Nil
domatchchar
Cons
U
xs
K
Nil
domatchchar
Cons
U
xs
J
Nil
domatchchar
Cons
U
xs
I
Nil
domatchchar
Cons
U
xs
H
Nil
domatchchar
Cons
U
xs
G
Nil
domatchchar
Cons
U
xs
F
Nil
domatchchar
Cons
U
xs
E
Nil
domatchchar
Cons
U
xs
D
Nil
domatchchar
Cons
U
xs
C
Nil
domatchchar
Cons
U
xs
B
Nil
domatchchar
Cons
U
xs
A
Nil
domatchchar
Cons
T
xs
Cslash
Nil
domatchchar
Cons
T
xs
Clpar
Nil
domatchchar
Cons
T
xs
Crpar
Nil
domatchchar
Cons
T
xs
Cstar
Nil
domatchchar
Cons
T
xs
Cdot
Nil
domatchchar
Cons
T
xs
Z
Nil
domatchchar
Cons
T
xs
Y
Nil
domatchchar
Cons
T
xs
X
Nil
domatchchar
Cons
T
xs
W
Nil
domatchchar
Cons
T
xs
V
Nil
domatchchar
Cons
T
xs
U
Nil
domatchchar
Cons
T
xs
T
Cons
T
xs
domatchchar
Cons
T
xs
S
Nil
domatchchar
Cons
T
xs
R
Nil
domatchchar
Cons
T
xs
Q
Nil
domatchchar
Cons
T
xs
P
Nil
domatchchar
Cons
T
xs
O
Nil
domatchchar
Cons
T
xs
N
Nil
domatchchar
Cons
T
xs
M
Nil
domatchchar
Cons
T
xs
L
Nil
domatchchar
Cons
T
xs
K
Nil
domatchchar
Cons
T
xs
J
Nil
domatchchar
Cons
T
xs
I
Nil
domatchchar
Cons
T
xs
H
Nil
domatchchar
Cons
T
xs
G
Nil
domatchchar
Cons
T
xs
F
Nil
domatchchar
Cons
T
xs
E
Nil
domatchchar
Cons
T
xs
D
Nil
domatchchar
Cons
T
xs
C
Nil
domatchchar
Cons
T
xs
B
Nil
domatchchar
Cons
T
xs
A
Nil
domatchchar
Cons
S
xs
Cslash
Nil
domatchchar
Cons
S
xs
Clpar
Nil
domatchchar
Cons
S
xs
Crpar
Nil
domatchchar
Cons
S
xs
Cstar
Nil
domatchchar
Cons
S
xs
Cdot
Nil
domatchchar
Cons
S
xs
Z
Nil
domatchchar
Cons
S
xs
Y
Nil
domatchchar
Cons
S
xs
X
Nil
domatchchar
Cons
S
xs
W
Nil
domatchchar
Cons
S
xs
V
Nil
domatchchar
Cons
S
xs
U
Nil
domatchchar
Cons
S
xs
T
Nil
domatchchar
Cons
S
xs
S
Cons
S
xs
domatchchar
Cons
S
xs
R
Nil
domatchchar
Cons
S
xs
Q
Nil
domatchchar
Cons
S
xs
P
Nil
domatchchar
Cons
S
xs
O
Nil
domatchchar
Cons
S
xs
N
Nil
domatchchar
Cons
S
xs
M
Nil
domatchchar
Cons
S
xs
L
Nil
domatchchar
Cons
S
xs
K
Nil
domatchchar
Cons
S
xs
J
Nil
domatchchar
Cons
S
xs
I
Nil
domatchchar
Cons
S
xs
H
Nil
domatchchar
Cons
S
xs
G
Nil
domatchchar
Cons
S
xs
F
Nil
domatchchar
Cons
S
xs
E
Nil
domatchchar
Cons
S
xs
D
Nil
domatchchar
Cons
S
xs
C
Nil
domatchchar
Cons
S
xs
B
Nil
domatchchar
Cons
S
xs
A
Nil
domatchchar
Cons
R
xs
Cslash
Nil
domatchchar
Cons
R
xs
Clpar
Nil
domatchchar
Cons
R
xs
Crpar
Nil
domatchchar
Cons
R
xs
Cstar
Nil
domatchchar
Cons
R
xs
Cdot
Nil
domatchchar
Cons
R
xs
Z
Nil
domatchchar
Cons
R
xs
Y
Nil
domatchchar
Cons
R
xs
X
Nil
domatchchar
Cons
R
xs
W
Nil
domatchchar
Cons
R
xs
V
Nil
domatchchar
Cons
R
xs
U
Nil
domatchchar
Cons
R
xs
T
Nil
domatchchar
Cons
R
xs
S
Nil
domatchchar
Cons
R
xs
R
Cons
R
xs
domatchchar
Cons
R
xs
Q
Nil
domatchchar
Cons
R
xs
P
Nil
domatchchar
Cons
R
xs
O
Nil
domatchchar
Cons
R
xs
N
Nil
domatchchar
Cons
R
xs
M
Nil
domatchchar
Cons
R
xs
L
Nil
domatchchar
Cons
R
xs
K
Nil
domatchchar
Cons
R
xs
J
Nil
domatchchar
Cons
R
xs
I
Nil
domatchchar
Cons
R
xs
H
Nil
domatchchar
Cons
R
xs
G
Nil
domatchchar
Cons
R
xs
F
Nil
domatchchar
Cons
R
xs
E
Nil
domatchchar
Cons
R
xs
D
Nil
domatchchar
Cons
R
xs
C
Nil
domatchchar
Cons
R
xs
B
Nil
domatchchar
Cons
R
xs
A
Nil
domatchchar
Cons
Q
xs
Cslash
Nil
domatchchar
Cons
Q
xs
Clpar
Nil
domatchchar
Cons
Q
xs
Crpar
Nil
domatchchar
Cons
Q
xs
Cstar
Nil
domatchchar
Cons
Q
xs
Cdot
Nil
domatchchar
Cons
Q
xs
Z
Nil
domatchchar
Cons
Q
xs
Y
Nil
domatchchar
Cons
Q
xs
X
Nil
domatchchar
Cons
Q
xs
W
Nil
domatchchar
Cons
Q
xs
V
Nil
domatchchar
Cons
Q
xs
U
Nil
domatchchar
Cons
Q
xs
T
Nil
domatchchar
Cons
Q
xs
S
Nil
domatchchar
Cons
Q
xs
R
Nil
domatchchar
Cons
Q
xs
Q
Cons
Q
xs
domatchchar
Cons
Q
xs
P
Nil
domatchchar
Cons
Q
xs
O
Nil
domatchchar
Cons
Q
xs
N
Nil
domatchchar
Cons
Q
xs
M
Nil
domatchchar
Cons
Q
xs
L
Nil
domatchchar
Cons
Q
xs
K
Nil
domatchchar
Cons
Q
xs
J
Nil
domatchchar
Cons
Q
xs
I
Nil
domatchchar
Cons
Q
xs
H
Nil
domatchchar
Cons
Q
xs
G
Nil
domatchchar
Cons
Q
xs
F
Nil
domatchchar
Cons
Q
xs
E
Nil
domatchchar
Cons
Q
xs
D
Nil
domatchchar
Cons
Q
xs
C
Nil
domatchchar
Cons
Q
xs
B
Nil
domatchchar
Cons
Q
xs
A
Nil
domatchchar
Cons
P
xs
Cslash
Nil
domatchchar
Cons
P
xs
Clpar
Nil
domatchchar
Cons
P
xs
Crpar
Nil
domatchchar
Cons
P
xs
Cstar
Nil
domatchchar
Cons
P
xs
Cdot
Nil
domatchchar
Cons
P
xs
Z
Nil
domatchchar
Cons
P
xs
Y
Nil
domatchchar
Cons
P
xs
X
Nil
domatchchar
Cons
P
xs
W
Nil
domatchchar
Cons
P
xs
V
Nil
domatchchar
Cons
P
xs
U
Nil
domatchchar
Cons
P
xs
T
Nil
domatchchar
Cons
P
xs
S
Nil
domatchchar
Cons
P
xs
R
Nil
domatchchar
Cons
P
xs
Q
Nil
domatchchar
Cons
P
xs
P
Cons
P
xs
domatchchar
Cons
P
xs
O
Nil
domatchchar
Cons
P
xs
N
Nil
domatchchar
Cons
P
xs
M
Nil
domatchchar
Cons
P
xs
L
Nil
domatchchar
Cons
P
xs
K
Nil
domatchchar
Cons
P
xs
J
Nil
domatchchar
Cons
P
xs
I
Nil
domatchchar
Cons
P
xs
H
Nil
domatchchar
Cons
P
xs
G
Nil
domatchchar
Cons
P
xs
F
Nil
domatchchar
Cons
P
xs
E
Nil
domatchchar
Cons
P
xs
D
Nil
domatchchar
Cons
P
xs
C
Nil
domatchchar
Cons
P
xs
B
Nil
domatchchar
Cons
P
xs
A
Nil
domatchchar
Cons
O
xs
Cslash
Nil
domatchchar
Cons
O
xs
Clpar
Nil
domatchchar
Cons
O
xs
Crpar
Nil
domatchchar
Cons
O
xs
Cstar
Nil
domatchchar
Cons
O
xs
Cdot
Nil
domatchchar
Cons
O
xs
Z
Nil
domatchchar
Cons
O
xs
Y
Nil
domatchchar
Cons
O
xs
X
Nil
domatchchar
Cons
O
xs
W
Nil
domatchchar
Cons
O
xs
V
Nil
domatchchar
Cons
O
xs
U
Nil
domatchchar
Cons
O
xs
T
Nil
domatchchar
Cons
O
xs
S
Nil
domatchchar
Cons
O
xs
R
Nil
domatchchar
Cons
O
xs
Q
Nil
domatchchar
Cons
O
xs
P
Nil
domatchchar
Cons
O
xs
O
Cons
O
xs
domatchchar
Cons
O
xs
N
Nil
domatchchar
Cons
O
xs
M
Nil
domatchchar
Cons
O
xs
L
Nil
domatchchar
Cons
O
xs
K
Nil
domatchchar
Cons
O
xs
J
Nil
domatchchar
Cons
O
xs
I
Nil
domatchchar
Cons
O
xs
H
Nil
domatchchar
Cons
O
xs
G
Nil
domatchchar
Cons
O
xs
F
Nil
domatchchar
Cons
O
xs
E
Nil
domatchchar
Cons
O
xs
D
Nil
domatchchar
Cons
O
xs
C
Nil
domatchchar
Cons
O
xs
B
Nil
domatchchar
Cons
O
xs
A
Nil
domatchchar
Cons
N
xs
Cslash
Nil
domatchchar
Cons
N
xs
Clpar
Nil
domatchchar
Cons
N
xs
Crpar
Nil
domatchchar
Cons
N
xs
Cstar
Nil
domatchchar
Cons
N
xs
Cdot
Nil
domatchchar
Cons
N
xs
Z
Nil
domatchchar
Cons
N
xs
Y
Nil
domatchchar
Cons
N
xs
X
Nil
domatchchar
Cons
N
xs
W
Nil
domatchchar
Cons
N
xs
V
Nil
domatchchar
Cons
N
xs
U
Nil
domatchchar
Cons
N
xs
T
Nil
domatchchar
Cons
N
xs
S
Nil
domatchchar
Cons
N
xs
R
Nil
domatchchar
Cons
N
xs
Q
Nil
domatchchar
Cons
N
xs
P
Nil
domatchchar
Cons
N
xs
O
Nil
domatchchar
Cons
N
xs
N
Cons
N
xs
domatchchar
Cons
N
xs
M
Nil
domatchchar
Cons
N
xs
L
Nil
domatchchar
Cons
N
xs
K
Nil
domatchchar
Cons
N
xs
J
Nil
domatchchar
Cons
N
xs
I
Nil
domatchchar
Cons
N
xs
H
Nil
domatchchar
Cons
N
xs
G
Nil
domatchchar
Cons
N
xs
F
Nil
domatchchar
Cons
N
xs
E
Nil
domatchchar
Cons
N
xs
D
Nil
domatchchar
Cons
N
xs
C
Nil
domatchchar
Cons
N
xs
B
Nil
domatchchar
Cons
N
xs
A
Nil
domatchchar
Cons
M
xs
Cslash
Nil
domatchchar
Cons
M
xs
Clpar
Nil
domatchchar
Cons
M
xs
Crpar
Nil
domatchchar
Cons
M
xs
Cstar
Nil
domatchchar
Cons
M
xs
Cdot
Nil
domatchchar
Cons
M
xs
Z
Nil
domatchchar
Cons
M
xs
Y
Nil
domatchchar
Cons
M
xs
X
Nil
domatchchar
Cons
M
xs
W
Nil
domatchchar
Cons
M
xs
V
Nil
domatchchar
Cons
M
xs
U
Nil
domatchchar
Cons
M
xs
T
Nil
domatchchar
Cons
M
xs
S
Nil
domatchchar
Cons
M
xs
R
Nil
domatchchar
Cons
M
xs
Q
Nil
domatchchar
Cons
M
xs
P
Nil
domatchchar
Cons
M
xs
O
Nil
domatchchar
Cons
M
xs
N
Nil
domatchchar
Cons
M
xs
M
Cons
M
xs
domatchchar
Cons
M
xs
L
Nil
domatchchar
Cons
M
xs
K
Nil
domatchchar
Cons
M
xs
J
Nil
domatchchar
Cons
M
xs
I
Nil
domatchchar
Cons
M
xs
H
Nil
domatchchar
Cons
M
xs
G
Nil
domatchchar
Cons
M
xs
F
Nil
domatchchar
Cons
M
xs
E
Nil
domatchchar
Cons
M
xs
D
Nil
domatchchar
Cons
M
xs
C
Nil
domatchchar
Cons
M
xs
B
Nil
domatchchar
Cons
M
xs
A
Nil
domatchchar
Cons
L
xs
Cslash
Nil
domatchchar
Cons
L
xs
Clpar
Nil
domatchchar
Cons
L
xs
Crpar
Nil
domatchchar
Cons
L
xs
Cstar
Nil
domatchchar
Cons
L
xs
Cdot
Nil
domatchchar
Cons
L
xs
Z
Nil
domatchchar
Cons
L
xs
Y
Nil
domatchchar
Cons
L
xs
X
Nil
domatchchar
Cons
L
xs
W
Nil
domatchchar
Cons
L
xs
V
Nil
domatchchar
Cons
L
xs
U
Nil
domatchchar
Cons
L
xs
T
Nil
domatchchar
Cons
L
xs
S
Nil
domatchchar
Cons
L
xs
R
Nil
domatchchar
Cons
L
xs
Q
Nil
domatchchar
Cons
L
xs
P
Nil
domatchchar
Cons
L
xs
O
Nil
domatchchar
Cons
L
xs
N
Nil
domatchchar
Cons
L
xs
M
Nil
domatchchar
Cons
L
xs
L
Cons
L
xs
domatchchar
Cons
L
xs
K
Nil
domatchchar
Cons
L
xs
J
Nil
domatchchar
Cons
L
xs
I
Nil
domatchchar
Cons
L
xs
H
Nil
domatchchar
Cons
L
xs
G
Nil
domatchchar
Cons
L
xs
F
Nil
domatchchar
Cons
L
xs
E
Nil
domatchchar
Cons
L
xs
D
Nil
domatchchar
Cons
L
xs
C
Nil
domatchchar
Cons
L
xs
B
Nil
domatchchar
Cons
L
xs
A
Nil
domatchchar
Cons
K
xs
Cslash
Nil
domatchchar
Cons
K
xs
Clpar
Nil
domatchchar
Cons
K
xs
Crpar
Nil
domatchchar
Cons
K
xs
Cstar
Nil
domatchchar
Cons
K
xs
Cdot
Nil
domatchchar
Cons
K
xs
Z
Nil
domatchchar
Cons
K
xs
Y
Nil
domatchchar
Cons
K
xs
X
Nil
domatchchar
Cons
K
xs
W
Nil
domatchchar
Cons
K
xs
V
Nil
domatchchar
Cons
K
xs
U
Nil
domatchchar
Cons
K
xs
T
Nil
domatchchar
Cons
K
xs
S
Nil
domatchchar
Cons
K
xs
R
Nil
domatchchar
Cons
K
xs
Q
Nil
domatchchar
Cons
K
xs
P
Nil
domatchchar
Cons
K
xs
O
Nil
domatchchar
Cons
K
xs
N
Nil
domatchchar
Cons
K
xs
M
Nil
domatchchar
Cons
K
xs
L
Nil
domatchchar
Cons
K
xs
K
Cons
K
xs
domatchchar
Cons
K
xs
J
Nil
domatchchar
Cons
K
xs
I
Nil
domatchchar
Cons
K
xs
H
Nil
domatchchar
Cons
K
xs
G
Nil
domatchchar
Cons
K
xs
F
Nil
domatchchar
Cons
K
xs
E
Nil
domatchchar
Cons
K
xs
D
Nil
domatchchar
Cons
K
xs
C
Nil
domatchchar
Cons
K
xs
B
Nil
domatchchar
Cons
K
xs
A
Nil
domatchchar
Cons
J
xs
Cslash
Nil
domatchchar
Cons
J
xs
Clpar
Nil
domatchchar
Cons
J
xs
Crpar
Nil
domatchchar
Cons
J
xs
Cstar
Nil
domatchchar
Cons
J
xs
Cdot
Nil
domatchchar
Cons
J
xs
Z
Nil
domatchchar
Cons
J
xs
Y
Nil
domatchchar
Cons
J
xs
X
Nil
domatchchar
Cons
J
xs
W
Nil
domatchchar
Cons
J
xs
V
Nil
domatchchar
Cons
J
xs
U
Nil
domatchchar
Cons
J
xs
T
Nil
domatchchar
Cons
J
xs
S
Nil
domatchchar
Cons
J
xs
R
Nil
domatchchar
Cons
J
xs
Q
Nil
domatchchar
Cons
J
xs
P
Nil
domatchchar
Cons
J
xs
O
Nil
domatchchar
Cons
J
xs
N
Nil
domatchchar
Cons
J
xs
M
Nil
domatchchar
Cons
J
xs
L
Nil
domatchchar
Cons
J
xs
K
Nil
domatchchar
Cons
J
xs
J
Cons
J
xs
domatchchar
Cons
J
xs
I
Nil
domatchchar
Cons
J
xs
H
Nil
domatchchar
Cons
J
xs
G
Nil
domatchchar
Cons
J
xs
F
Nil
domatchchar
Cons
J
xs
E
Nil
domatchchar
Cons
J
xs
D
Nil
domatchchar
Cons
J
xs
C
Nil
domatchchar
Cons
J
xs
B
Nil
domatchchar
Cons
J
xs
A
Nil
domatchchar
Cons
I
xs
Cslash
Nil
domatchchar
Cons
I
xs
Clpar
Nil
domatchchar
Cons
I
xs
Crpar
Nil
domatchchar
Cons
I
xs
Cstar
Nil
domatchchar
Cons
I
xs
Cdot
Nil
domatchchar
Cons
I
xs
Z
Nil
domatchchar
Cons
I
xs
Y
Nil
domatchchar
Cons
I
xs
X
Nil
domatchchar
Cons
I
xs
W
Nil
domatchchar
Cons
I
xs
V
Nil
domatchchar
Cons
I
xs
U
Nil
domatchchar
Cons
I
xs
T
Nil
domatchchar
Cons
I
xs
S
Nil
domatchchar
Cons
I
xs
R
Nil
domatchchar
Cons
I
xs
Q
Nil
domatchchar
Cons
I
xs
P
Nil
domatchchar
Cons
I
xs
O
Nil
domatchchar
Cons
I
xs
N
Nil
domatchchar
Cons
I
xs
M
Nil
domatchchar
Cons
I
xs
L
Nil
domatchchar
Cons
I
xs
K
Nil
domatchchar
Cons
I
xs
J
Nil
domatchchar
Cons
I
xs
I
Cons
I
xs
domatchchar
Cons
I
xs
H
Nil
domatchchar
Cons
I
xs
G
Nil
domatchchar
Cons
I
xs
F
Nil
domatchchar
Cons
I
xs
E
Nil
domatchchar
Cons
I
xs
D
Nil
domatchchar
Cons
I
xs
C
Nil
domatchchar
Cons
I
xs
B
Nil
domatchchar
Cons
I
xs
A
Nil
domatchchar
Cons
H
xs
Cslash
Nil
domatchchar
Cons
H
xs
Clpar
Nil
domatchchar
Cons
H
xs
Crpar
Nil
domatchchar
Cons
H
xs
Cstar
Nil
domatchchar
Cons
H
xs
Cdot
Nil
domatchchar
Cons
H
xs
Z
Nil
domatchchar
Cons
H
xs
Y
Nil
domatchchar
Cons
H
xs
X
Nil
domatchchar
Cons
H
xs
W
Nil
domatchchar
Cons
H
xs
V
Nil
domatchchar
Cons
H
xs
U
Nil
domatchchar
Cons
H
xs
T
Nil
domatchchar
Cons
H
xs
S
Nil
domatchchar
Cons
H
xs
R
Nil
domatchchar
Cons
H
xs
Q
Nil
domatchchar
Cons
H
xs
P
Nil
domatchchar
Cons
H
xs
O
Nil
domatchchar
Cons
H
xs
N
Nil
domatchchar
Cons
H
xs
M
Nil
domatchchar
Cons
H
xs
L
Nil
domatchchar
Cons
H
xs
K
Nil
domatchchar
Cons
H
xs
J
Nil
domatchchar
Cons
H
xs
I
Nil
domatchchar
Cons
H
xs
H
Cons
H
xs
domatchchar
Cons
H
xs
G
Nil
domatchchar
Cons
H
xs
F
Nil
domatchchar
Cons
H
xs
E
Nil
domatchchar
Cons
H
xs
D
Nil
domatchchar
Cons
H
xs
C
Nil
domatchchar
Cons
H
xs
B
Nil
domatchchar
Cons
H
xs
A
Nil
domatchchar
Cons
G
xs
Cslash
Nil
domatchchar
Cons
G
xs
Clpar
Nil
domatchchar
Cons
G
xs
Crpar
Nil
domatchchar
Cons
G
xs
Cstar
Nil
domatchchar
Cons
G
xs
Cdot
Nil
domatchchar
Cons
G
xs
Z
Nil
domatchchar
Cons
G
xs
Y
Nil
domatchchar
Cons
G
xs
X
Nil
domatchchar
Cons
G
xs
W
Nil
domatchchar
Cons
G
xs
V
Nil
domatchchar
Cons
G
xs
U
Nil
domatchchar
Cons
G
xs
T
Nil
domatchchar
Cons
G
xs
S
Nil
domatchchar
Cons
G
xs
R
Nil
domatchchar
Cons
G
xs
Q
Nil
domatchchar
Cons
G
xs
P
Nil
domatchchar
Cons
G
xs
O
Nil
domatchchar
Cons
G
xs
N
Nil
domatchchar
Cons
G
xs
M
Nil
domatchchar
Cons
G
xs
L
Nil
domatchchar
Cons
G
xs
K
Nil
domatchchar
Cons
G
xs
J
Nil
domatchchar
Cons
G
xs
I
Nil
domatchchar
Cons
G
xs
H
Nil
domatchchar
Cons
G
xs
G
Cons
G
xs
domatchchar
Cons
G
xs
F
Nil
domatchchar
Cons
G
xs
E
Nil
domatchchar
Cons
G
xs
D
Nil
domatchchar
Cons
G
xs
C
Nil
domatchchar
Cons
G
xs
B
Nil
domatchchar
Cons
G
xs
A
Nil
domatchchar
Cons
F
xs
Cslash
Nil
domatchchar
Cons
F
xs
Clpar
Nil
domatchchar
Cons
F
xs
Crpar
Nil
domatchchar
Cons
F
xs
Cstar
Nil
domatchchar
Cons
F
xs
Cdot
Nil
domatchchar
Cons
F
xs
Z
Nil
domatchchar
Cons
F
xs
Y
Nil
domatchchar
Cons
F
xs
X
Nil
domatchchar
Cons
F
xs
W
Nil
domatchchar
Cons
F
xs
V
Nil
domatchchar
Cons
F
xs
U
Nil
domatchchar
Cons
F
xs
T
Nil
domatchchar
Cons
F
xs
S
Nil
domatchchar
Cons
F
xs
R
Nil
domatchchar
Cons
F
xs
Q
Nil
domatchchar
Cons
F
xs
P
Nil
domatchchar
Cons
F
xs
O
Nil
domatchchar
Cons
F
xs
N
Nil
domatchchar
Cons
F
xs
M
Nil
domatchchar
Cons
F
xs
L
Nil
domatchchar
Cons
F
xs
K
Nil
domatchchar
Cons
F
xs
J
Nil
domatchchar
Cons
F
xs
I
Nil
domatchchar
Cons
F
xs
H
Nil
domatchchar
Cons
F
xs
G
Nil
domatchchar
Cons
F
xs
F
Cons
F
xs
domatchchar
Cons
F
xs
E
Nil
domatchchar
Cons
F
xs
D
Nil
domatchchar
Cons
F
xs
C
Nil
domatchchar
Cons
F
xs
B
Nil
domatchchar
Cons
F
xs
A
Nil
domatchchar
Cons
E
xs
Cslash
Nil
domatchchar
Cons
E
xs
Clpar
Nil
domatchchar
Cons
E
xs
Crpar
Nil
domatchchar
Cons
E
xs
Cstar
Nil
domatchchar
Cons
E
xs
Cdot
Nil
domatchchar
Cons
E
xs
Z
Nil
domatchchar
Cons
E
xs
Y
Nil
domatchchar
Cons
E
xs
X
Nil
domatchchar
Cons
E
xs
W
Nil
domatchchar
Cons
E
xs
V
Nil
domatchchar
Cons
E
xs
U
Nil
domatchchar
Cons
E
xs
T
Nil
domatchchar
Cons
E
xs
S
Nil
domatchchar
Cons
E
xs
R
Nil
domatchchar
Cons
E
xs
Q
Nil
domatchchar
Cons
E
xs
P
Nil
domatchchar
Cons
E
xs
O
Nil
domatchchar
Cons
E
xs
N
Nil
domatchchar
Cons
E
xs
M
Nil
domatchchar
Cons
E
xs
L
Nil
domatchchar
Cons
E
xs
K
Nil
domatchchar
Cons
E
xs
J
Nil
domatchchar
Cons
E
xs
I
Nil
domatchchar
Cons
E
xs
H
Nil
domatchchar
Cons
E
xs
G
Nil
domatchchar
Cons
E
xs
F
Nil
domatchchar
Cons
E
xs
E
Cons
E
xs
domatchchar
Cons
E
xs
D
Nil
domatchchar
Cons
E
xs
C
Nil
domatchchar
Cons
E
xs
B
Nil
domatchchar
Cons
E
xs
A
Nil
domatchchar
Cons
D
xs
Cslash
Nil
domatchchar
Cons
D
xs
Clpar
Nil
domatchchar
Cons
D
xs
Crpar
Nil
domatchchar
Cons
D
xs
Cstar
Nil
domatchchar
Cons
D
xs
Cdot
Nil
domatchchar
Cons
D
xs
Z
Nil
domatchchar
Cons
D
xs
Y
Nil
domatchchar
Cons
D
xs
X
Nil
domatchchar
Cons
D
xs
W
Nil
domatchchar
Cons
D
xs
V
Nil
domatchchar
Cons
D
xs
U
Nil
domatchchar
Cons
D
xs
T
Nil
domatchchar
Cons
D
xs
S
Nil
domatchchar
Cons
D
xs
R
Nil
domatchchar
Cons
D
xs
Q
Nil
domatchchar
Cons
D
xs
P
Nil
domatchchar
Cons
D
xs
O
Nil
domatchchar
Cons
D
xs
N
Nil
domatchchar
Cons
D
xs
M
Nil
domatchchar
Cons
D
xs
L
Nil
domatchchar
Cons
D
xs
K
Nil
domatchchar
Cons
D
xs
J
Nil
domatchchar
Cons
D
xs
I
Nil
domatchchar
Cons
D
xs
H
Nil
domatchchar
Cons
D
xs
G
Nil
domatchchar
Cons
D
xs
F
Nil
domatchchar
Cons
D
xs
E
Nil
domatchchar
Cons
D
xs
D
Cons
D
xs
domatchchar
Cons
D
xs
C
Nil
domatchchar
Cons
D
xs
B
Nil
domatchchar
Cons
D
xs
A
Nil
domatchchar
Cons
C
xs
Cslash
Nil
domatchchar
Cons
C
xs
Clpar
Nil
domatchchar
Cons
C
xs
Crpar
Nil
domatchchar
Cons
C
xs
Cstar
Nil
domatchchar
Cons
C
xs
Cdot
Nil
domatchchar
Cons
C
xs
Z
Nil
domatchchar
Cons
C
xs
Y
Nil
domatchchar
Cons
C
xs
X
Nil
domatchchar
Cons
C
xs
W
Nil
domatchchar
Cons
C
xs
V
Nil
domatchchar
Cons
C
xs
U
Nil
domatchchar
Cons
C
xs
T
Nil
domatchchar
Cons
C
xs
S
Nil
domatchchar
Cons
C
xs
R
Nil
domatchchar
Cons
C
xs
Q
Nil
domatchchar
Cons
C
xs
P
Nil
domatchchar
Cons
C
xs
O
Nil
domatchchar
Cons
C
xs
N
Nil
domatchchar
Cons
C
xs
M
Nil
domatchchar
Cons
C
xs
L
Nil
domatchchar
Cons
C
xs
K
Nil
domatchchar
Cons
C
xs
J
Nil
domatchchar
Cons
C
xs
I
Nil
domatchchar
Cons
C
xs
H
Nil
domatchchar
Cons
C
xs
G
Nil
domatchchar
Cons
C
xs
F
Nil
domatchchar
Cons
C
xs
E
Nil
domatchchar
Cons
C
xs
D
Nil
domatchchar
Cons
C
xs
C
Cons
C
xs
domatchchar
Cons
C
xs
B
Nil
domatchchar
Cons
C
xs
A
Nil
domatchchar
Cons
B
xs
Cslash
Nil
domatchchar
Cons
B
xs
Clpar
Nil
domatchchar
Cons
B
xs
Crpar
Nil
domatchchar
Cons
B
xs
Cstar
Nil
domatchchar
Cons
B
xs
Cdot
Nil
domatchchar
Cons
B
xs
Z
Nil
domatchchar
Cons
B
xs
Y
Nil
domatchchar
Cons
B
xs
X
Nil
domatchchar
Cons
B
xs
W
Nil
domatchchar
Cons
B
xs
V
Nil
domatchchar
Cons
B
xs
U
Nil
domatchchar
Cons
B
xs
T
Nil
domatchchar
Cons
B
xs
S
Nil
domatchchar
Cons
B
xs
R
Nil
domatchchar
Cons
B
xs
Q
Nil
domatchchar
Cons
B
xs
P
Nil
domatchchar
Cons
B
xs
O
Nil
domatchchar
Cons
B
xs
N
Nil
domatchchar
Cons
B
xs
M
Nil
domatchchar
Cons
B
xs
L
Nil
domatchchar
Cons
B
xs
K
Nil
domatchchar
Cons
B
xs
J
Nil
domatchchar
Cons
B
xs
I
Nil
domatchchar
Cons
B
xs
H
Nil
domatchchar
Cons
B
xs
G
Nil
domatchchar
Cons
B
xs
F
Nil
domatchchar
Cons
B
xs
E
Nil
domatchchar
Cons
B
xs
D
Nil
domatchchar
Cons
B
xs
C
Nil
domatchchar
Cons
B
xs
B
Cons
B
xs
domatchchar
Cons
B
xs
A
Nil
domatchchar
Cons
A
xs
Cslash
Nil
domatchchar
Cons
A
xs
Clpar
Nil
domatchchar
Cons
A
xs
Crpar
Nil
domatchchar
Cons
A
xs
Cstar
Nil
domatchchar
Cons
A
xs
Cdot
Nil
domatchchar
Cons
A
xs
Z
Nil
domatchchar
Cons
A
xs
Y
Nil
domatchchar
Cons
A
xs
X
Nil
domatchchar
Cons
A
xs
W
Nil
domatchchar
Cons
A
xs
V
Nil
domatchchar
Cons
A
xs
U
Nil
domatchchar
Cons
A
xs
T
Nil
domatchchar
Cons
A
xs
S
Nil
domatchchar
Cons
A
xs
R
Nil
domatchchar
Cons
A
xs
Q
Nil
domatchchar
Cons
A
xs
P
Nil
domatchchar
Cons
A
xs
O
Nil
domatchchar
Cons
A
xs
N
Nil
domatchchar
Cons
A
xs
M
Nil
domatchchar
Cons
A
xs
L
Nil
domatchchar
Cons
A
xs
K
Nil
domatchchar
Cons
A
xs
J
Nil
domatchchar
Cons
A
xs
I
Nil
domatchchar
Cons
A
xs
H
Nil
domatchchar
Cons
A
xs
G
Nil
domatchchar
Cons
A
xs
F
Nil
domatchchar
Cons
A
xs
E
Nil
domatchchar
Cons
A
xs
D
Nil
domatchchar
Cons
A
xs
C
Nil
domatchchar
Cons
A
xs
B
Nil
domatchchar
Cons
A
xs
A
Cons
A
xs
parsepstar
Cons
x'
xs'
Pseq
Cons
x
xs
Cons
x''
xs''
parsep
xs'
Pseq
Cons
Pstar
x
xs
Cons
x''
xs''
parsepcloseb
Cons
x'
xs''
Pseq
xs'
Cons
x
xs
parsep
xs''
Pseq
@
reverse
xs'
parsepcloseb[Ite][True][Match][Pseq][Match]
xs'
Cons
x'
xs''
Cons
x
xs
x
xs
parsep
Nil
seq
Cons
x
xs
Error
parsep
Nil
seq
Nil
parsep[Ite][False][Ite][False][Match]
Nil
Nil
seq
domatch
Pdot
Cons
x
xs
Cons
x
xs
domatch
Pdot
Nil
Nil
parsepstar
Cons
x
xs
seq
Nil
parsep
xs
Pseq
Cons
Pchar
Cstar
Nil
Nil
parsepcloseb
patchars
seq
Nil
Error
parsepchar
Cons
x
xs
Pseq
xs'
stack
parsep
xs
Pseq
Cons
Pchar
x
xs'
stack
parsepchar
Nil
Pseq
xs
stack
parsep
Nil
Pseq
Cons
Pchar
Cslash
xs
stack
domatchstar
Cons
x
xs
pat
init
domatchstar[Ite][True][Let]
Cons
x
xs
pat
init
domatch
pat
Cons
x
xs
domatchstar
Nil
pat
init
@
init
Nil
domatchseq
cs
rest
Cons
x
xs
domatchseq[Ite][True][Let]
cs
rest
Cons
x
xs
domatch
x
cs
domatchseq
cs
rest
Nil
@
cs
rest
domatchdot
Cons
x
xs
Cons
x
xs
domatchdot
Nil
Nil
domatchchar
Nil
c
Nil
rematch
patstr
x
rematch[Let]
patstr
x
domatch
parsepat
patstr
x
parsepat
x
parsep
x
Pseq
Nil
Nil
isSpecialChar
Cslash
Cslash
True
isSpecialChar
Cslash
Clpar
False
isSpecialChar
Cslash
Crpar
False
isSpecialChar
Cslash
Cstar
False
isSpecialChar
Cslash
Cdot
False
isSpecialChar
Clpar
Cslash
False
isSpecialChar
Clpar
Clpar
True
isSpecialChar
Clpar
Crpar
False
isSpecialChar
Clpar
Cstar
False
isSpecialChar
Clpar
Cdot
False
isSpecialChar
Crpar
Cslash
False
isSpecialChar
Crpar
Clpar
False
isSpecialChar
Crpar
Crpar
True
isSpecialChar
Crpar
Cstar
False
isSpecialChar
Crpar
Cdot
False
isSpecialChar
Cstar
Cslash
False
isSpecialChar
Cstar
Clpar
False
isSpecialChar
Cstar
Crpar
False
isSpecialChar
Cstar
Cstar
True
isSpecialChar
Cstar
Cdot
False
isSpecialChar
Cdot
Cslash
False
isSpecialChar
Cdot
Clpar
False
isSpecialChar
Cdot
Crpar
False
isSpecialChar
Cdot
Cstar
False
isSpecialChar
Cdot
Cdot
True
eqChar
Cslash
Cslash
True
eqChar
Cslash
Clpar
False
eqChar
Cslash
Crpar
False
eqChar
Cslash
Cstar
False
eqChar
Cslash
Cdot
False
eqChar
Cslash
Z
False
eqChar
Cslash
Y
False
eqChar
Cslash
X
False
eqChar
Cslash
W
False
eqChar
Cslash
V
False
eqChar
Cslash
U
False
eqChar
Cslash
T
False
eqChar
Cslash
S
False
eqChar
Cslash
R
False
eqChar
Cslash
Q
False
eqChar
Cslash
P
False
eqChar
Cslash
O
False
eqChar
Cslash
N
False
eqChar
Cslash
M
False
eqChar
Cslash
L
False
eqChar
Cslash
K
False
eqChar
Cslash
J
False
eqChar
Cslash
I
False
eqChar
Cslash
H
False
eqChar
Cslash
G
False
eqChar
Cslash
F
False
eqChar
Cslash
E
False
eqChar
Cslash
D
False
eqChar
Cslash
C
False
eqChar
Cslash
B
False
eqChar
Cslash
A
False
eqChar
Clpar
Cslash
False
eqChar
Clpar
Clpar
True
eqChar
Clpar
Crpar
False
eqChar
Clpar
Cstar
False
eqChar
Clpar
Cdot
False
eqChar
Clpar
Z
False
eqChar
Clpar
Y
False
eqChar
Clpar
X
False
eqChar
Clpar
W
False
eqChar
Clpar
V
False
eqChar
Clpar
U
False
eqChar
Clpar
T
False
eqChar
Clpar
S
False
eqChar
Clpar
R
False
eqChar
Clpar
Q
False
eqChar
Clpar
P
False
eqChar
Clpar
O
False
eqChar
Clpar
N
False
eqChar
Clpar
M
False
eqChar
Clpar
L
False
eqChar
Clpar
K
False
eqChar
Clpar
J
False
eqChar
Clpar
I
False
eqChar
Clpar
H
False
eqChar
Clpar
G
False
eqChar
Clpar
F
False
eqChar
Clpar
E
False
eqChar
Clpar
D
False
eqChar
Clpar
C
False
eqChar
Clpar
B
False
eqChar
Clpar
A
False
eqChar
Crpar
Cslash
False
eqChar
Crpar
Clpar
False
eqChar
Crpar
Crpar
True
eqChar
Crpar
Cstar
False
eqChar
Crpar
Cdot
False
eqChar
Crpar
Z
False
eqChar
Crpar
Y
False
eqChar
Crpar
X
False
eqChar
Crpar
W
False
eqChar
Crpar
V
False
eqChar
Crpar
U
False
eqChar
Crpar
T
False
eqChar
Crpar
S
False
eqChar
Crpar
R
False
eqChar
Crpar
Q
False
eqChar
Crpar
P
False
eqChar
Crpar
O
False
eqChar
Crpar
N
False
eqChar
Crpar
M
False
eqChar
Crpar
L
False
eqChar
Crpar
K
False
eqChar
Crpar
J
False
eqChar
Crpar
I
False
eqChar
Crpar
H
False
eqChar
Crpar
G
False
eqChar
Crpar
F
False
eqChar
Crpar
E
False
eqChar
Crpar
D
False
eqChar
Crpar
C
False
eqChar
Crpar
B
False
eqChar
Crpar
A
False
eqChar
Cstar
Cslash
False
eqChar
Cstar
Clpar
False
eqChar
Cstar
Crpar
False
eqChar
Cstar
Cstar
True
eqChar
Cstar
Cdot
False
eqChar
Cstar
Z
False
eqChar
Cstar
Y
False
eqChar
Cstar
X
False
eqChar
Cstar
W
False
eqChar
Cstar
V
False
eqChar
Cstar
U
False
eqChar
Cstar
T
False
eqChar
Cstar
S
False
eqChar
Cstar
R
False
eqChar
Cstar
Q
False
eqChar
Cstar
P
False
eqChar
Cstar
O
False
eqChar
Cstar
N
False
eqChar
Cstar
M
False
eqChar
Cstar
L
False
eqChar
Cstar
K
False
eqChar
Cstar
J
False
eqChar
Cstar
I
False
eqChar
Cstar
H
False
eqChar
Cstar
G
False
eqChar
Cstar
F
False
eqChar
Cstar
E
False
eqChar
Cstar
D
False
eqChar
Cstar
C
False
eqChar
Cstar
B
False
eqChar
Cstar
A
False
eqChar
Cdot
Cslash
False
eqChar
Cdot
Clpar
False
eqChar
Cdot
Crpar
False
eqChar
Cdot
Cstar
False
eqChar
Cdot
Cdot
True
eqChar
Cdot
Z
False
eqChar
Cdot
Y
False
eqChar
Cdot
X
False
eqChar
Cdot
W
False
eqChar
Cdot
V
False
eqChar
Cdot
U
False
eqChar
Cdot
T
False
eqChar
Cdot
S
False
eqChar
Cdot
R
False
eqChar
Cdot
Q
False
eqChar
Cdot
P
False
eqChar
Cdot
O
False
eqChar
Cdot
N
False
eqChar
Cdot
M
False
eqChar
Cdot
L
False
eqChar
Cdot
K
False
eqChar
Cdot
J
False
eqChar
Cdot
I
False
eqChar
Cdot
H
False
eqChar
Cdot
G
False
eqChar
Cdot
F
False
eqChar
Cdot
E
False
eqChar
Cdot
D
False
eqChar
Cdot
C
False
eqChar
Cdot
B
False
eqChar
Cdot
A
False
eqChar
Z
Cslash
False
eqChar
Z
Clpar
False
eqChar
Z
Crpar
False
eqChar
Z
Cstar
False
eqChar
Z
Cdot
False
eqChar
Z
Z
True
eqChar
Z
Y
False
eqChar
Z
X
False
eqChar
Z
W
False
eqChar
Z
V
False
eqChar
Z
U
False
eqChar
Z
T
False
eqChar
Z
S
False
eqChar
Z
R
False
eqChar
Z
Q
False
eqChar
Z
P
False
eqChar
Z
O
False
eqChar
Z
N
False
eqChar
Z
M
False
eqChar
Z
L
False
eqChar
Z
K
False
eqChar
Z
J
False
eqChar
Z
I
False
eqChar
Z
H
False
eqChar
Z
G
False
eqChar
Z
F
False
eqChar
Z
E
False
eqChar
Z
D
False
eqChar
Z
C
False
eqChar
Z
B
False
eqChar
Z
A
False
eqChar
Y
Cslash
False
eqChar
Y
Clpar
False
eqChar
Y
Crpar
False
eqChar
Y
Cstar
False
eqChar
Y
Cdot
False
eqChar
Y
Z
False
eqChar
Y
Y
True
eqChar
Y
X
False
eqChar
Y
W
False
eqChar
Y
V
False
eqChar
Y
U
False
eqChar
Y
T
False
eqChar
Y
S
False
eqChar
Y
R
False
eqChar
Y
Q
False
eqChar
Y
P
False
eqChar
Y
O
False
eqChar
Y
N
False
eqChar
Y
M
False
eqChar
Y
L
False
eqChar
Y
K
False
eqChar
Y
J
False
eqChar
Y
I
False
eqChar
Y
H
False
eqChar
Y
G
False
eqChar
Y
F
False
eqChar
Y
E
False
eqChar
Y
D
False
eqChar
Y
C
False
eqChar
Y
B
False
eqChar
Y
A
False
eqChar
X
Cslash
False
eqChar
X
Clpar
False
eqChar
X
Crpar
False
eqChar
X
Cstar
False
eqChar
X
Cdot
False
eqChar
X
Z
False
eqChar
X
Y
False
eqChar
X
X
True
eqChar
X
W
False
eqChar
X
V
False
eqChar
X
U
False
eqChar
X
T
False
eqChar
X
S
False
eqChar
X
R
False
eqChar
X
Q
False
eqChar
X
P
False
eqChar
X
O
False
eqChar
X
N
False
eqChar
X
M
False
eqChar
X
L
False
eqChar
X
K
False
eqChar
X
J
False
eqChar
X
I
False
eqChar
X
H
False
eqChar
X
G
False
eqChar
X
F
False
eqChar
X
E
False
eqChar
X
D
False
eqChar
X
C
False
eqChar
X
B
False
eqChar
X
A
False
eqChar
W
Cslash
False
eqChar
W
Clpar
False
eqChar
W
Crpar
False
eqChar
W
Cstar
False
eqChar
W
Cdot
False
eqChar
W
Z
False
eqChar
W
Y
False
eqChar
W
X
False
eqChar
W
W
True
eqChar
W
V
False
eqChar
W
U
False
eqChar
W
T
False
eqChar
W
S
False
eqChar
W
R
False
eqChar
W
Q
False
eqChar
W
P
False
eqChar
W
O
False
eqChar
W
N
False
eqChar
W
M
False
eqChar
W
L
False
eqChar
W
K
False
eqChar
W
J
False
eqChar
W
I
False
eqChar
W
H
False
eqChar
W
G
False
eqChar
W
F
False
eqChar
W
E
False
eqChar
W
D
False
eqChar
W
C
False
eqChar
W
B
False
eqChar
W
A
False
eqChar
V
Cslash
False
eqChar
V
Clpar
False
eqChar
V
Crpar
False
eqChar
V
Cstar
False
eqChar
V
Cdot
False
eqChar
V
Z
False
eqChar
V
Y
False
eqChar
V
X
False
eqChar
V
W
False
eqChar
V
V
True
eqChar
V
U
False
eqChar
V
T
False
eqChar
V
S
False
eqChar
V
R
False
eqChar
V
Q
False
eqChar
V
P
False
eqChar
V
O
False
eqChar
V
N
False
eqChar
V
M
False
eqChar
V
L
False
eqChar
V
K
False
eqChar
V
J
False
eqChar
V
I
False
eqChar
V
H
False
eqChar
V
G
False
eqChar
V
F
False
eqChar
V
E
False
eqChar
V
D
False
eqChar
V
C
False
eqChar
V
B
False
eqChar
V
A
False
eqChar
U
Cslash
False
eqChar
U
Clpar
False
eqChar
U
Crpar
False
eqChar
U
Cstar
False
eqChar
U
Cdot
False
eqChar
U
Z
False
eqChar
U
Y
False
eqChar
U
X
False
eqChar
U
W
False
eqChar
U
V
False
eqChar
U
U
True
eqChar
U
T
False
eqChar
U
S
False
eqChar
U
R
False
eqChar
U
Q
False
eqChar
U
P
False
eqChar
U
O
False
eqChar
U
N
False
eqChar
U
M
False
eqChar
U
L
False
eqChar
U
K
False
eqChar
U
J
False
eqChar
U
I
False
eqChar
U
H
False
eqChar
U
G
False
eqChar
U
F
False
eqChar
U
E
False
eqChar
U
D
False
eqChar
U
C
False
eqChar
U
B
False
eqChar
U
A
False
eqChar
T
Cslash
False
eqChar
T
Clpar
False
eqChar
T
Crpar
False
eqChar
T
Cstar
False
eqChar
T
Cdot
False
eqChar
T
Z
False
eqChar
T
Y
False
eqChar
T
X
False
eqChar
T
W
False
eqChar
T
V
False
eqChar
T
U
False
eqChar
T
T
True
eqChar
T
S
False
eqChar
T
R
False
eqChar
T
Q
False
eqChar
T
P
False
eqChar
T
O
False
eqChar
T
N
False
eqChar
T
M
False
eqChar
T
L
False
eqChar
T
K
False
eqChar
T
J
False
eqChar
T
I
False
eqChar
T
H
False
eqChar
T
G
False
eqChar
T
F
False
eqChar
T
E
False
eqChar
T
D
False
eqChar
T
C
False
eqChar
T
B
False
eqChar
T
A
False
eqChar
S
Cslash
False
eqChar
S
Clpar
False
eqChar
S
Crpar
False
eqChar
S
Cstar
False
eqChar
S
Cdot
False
eqChar
S
Z
False
eqChar
S
Y
False
eqChar
S
X
False
eqChar
S
W
False
eqChar
S
V
False
eqChar
S
U
False
eqChar
S
T
False
eqChar
S
S
True
eqChar
S
R
False
eqChar
S
Q
False
eqChar
S
P
False
eqChar
S
O
False
eqChar
S
N
False
eqChar
S
M
False
eqChar
S
L
False
eqChar
S
K
False
eqChar
S
J
False
eqChar
S
I
False
eqChar
S
H
False
eqChar
S
G
False
eqChar
S
F
False
eqChar
S
E
False
eqChar
S
D
False
eqChar
S
C
False
eqChar
S
B
False
eqChar
S
A
False
eqChar
R
Cslash
False
eqChar
R
Clpar
False
eqChar
R
Crpar
False
eqChar
R
Cstar
False
eqChar
R
Cdot
False
eqChar
R
Z
False
eqChar
R
Y
False
eqChar
R
X
False
eqChar
R
W
False
eqChar
R
V
False
eqChar
R
U
False
eqChar
R
T
False
eqChar
R
S
False
eqChar
R
R
True
eqChar
R
Q
False
eqChar
R
P
False
eqChar
R
O
False
eqChar
R
N
False
eqChar
R
M
False
eqChar
R
L
False
eqChar
R
K
False
eqChar
R
J
False
eqChar
R
I
False
eqChar
R
H
False
eqChar
R
G
False
eqChar
R
F
False
eqChar
R
E
False
eqChar
R
D
False
eqChar
R
C
False
eqChar
R
B
False
eqChar
R
A
False
eqChar
Q
Cslash
False
eqChar
Q
Clpar
False
eqChar
Q
Crpar
False
eqChar
Q
Cstar
False
eqChar
Q
Cdot
False
eqChar
Q
Z
False
eqChar
Q
Y
False
eqChar
Q
X
False
eqChar
Q
W
False
eqChar
Q
V
False
eqChar
Q
U
False
eqChar
Q
T
False
eqChar
Q
S
False
eqChar
Q
R
False
eqChar
Q
Q
True
eqChar
Q
P
False
eqChar
Q
O
False
eqChar
Q
N
False
eqChar
Q
M
False
eqChar
Q
L
False
eqChar
Q
K
False
eqChar
Q
J
False
eqChar
Q
I
False
eqChar
Q
H
False
eqChar
Q
G
False
eqChar
Q
F
False
eqChar
Q
E
False
eqChar
Q
D
False
eqChar
Q
C
False
eqChar
Q
B
False
eqChar
Q
A
False
eqChar
P
Cslash
False
eqChar
P
Clpar
False
eqChar
P
Crpar
False
eqChar
P
Cstar
False
eqChar
P
Cdot
False
eqChar
P
Z
False
eqChar
P
Y
False
eqChar
P
X
False
eqChar
P
W
False
eqChar
P
V
False
eqChar
P
U
False
eqChar
P
T
False
eqChar
P
S
False
eqChar
P
R
False
eqChar
P
Q
False
eqChar
P
P
True
eqChar
P
O
False
eqChar
P
N
False
eqChar
P
M
False
eqChar
P
L
False
eqChar
P
K
False
eqChar
P
J
False
eqChar
P
I
False
eqChar
P
H
False
eqChar
P
G
False
eqChar
P
F
False
eqChar
P
E
False
eqChar
P
D
False
eqChar
P
C
False
eqChar
P
B
False
eqChar
P
A
False
eqChar
O
Cslash
False
eqChar
O
Clpar
False
eqChar
O
Crpar
False
eqChar
O
Cstar
False
eqChar
O
Cdot
False
eqChar
O
Z
False
eqChar
O
Y
False
eqChar
O
X
False
eqChar
O
W
False
eqChar
O
V
False
eqChar
O
U
False
eqChar
O
T
False
eqChar
O
S
False
eqChar
O
R
False
eqChar
O
Q
False
eqChar
O
P
False
eqChar
O
O
True
eqChar
O
N
False
eqChar
O
M
False
eqChar
O
L
False
eqChar
O
K
False
eqChar
O
J
False
eqChar
O
I
False
eqChar
O
H
False
eqChar
O
G
False
eqChar
O
F
False
eqChar
O
E
False
eqChar
O
D
False
eqChar
O
C
False
eqChar
O
B
False
eqChar
O
A
False
eqChar
N
Cslash
False
eqChar
N
Clpar
False
eqChar
N
Crpar
False
eqChar
N
Cstar
False
eqChar
N
Cdot
False
eqChar
N
Z
False
eqChar
N
Y
False
eqChar
N
X
False
eqChar
N
W
False
eqChar
N
V
False
eqChar
N
U
False
eqChar
N
T
False
eqChar
N
S
False
eqChar
N
R
False
eqChar
N
Q
False
eqChar
N
P
False
eqChar
N
O
False
eqChar
N
N
True
eqChar
N
M
False
eqChar
N
L
False
eqChar
N
K
False
eqChar
N
J
False
eqChar
N
I
False
eqChar
N
H
False
eqChar
N
G
False
eqChar
N
F
False
eqChar
N
E
False
eqChar
N
D
False
eqChar
N
C
False
eqChar
N
B
False
eqChar
N
A
False
eqChar
M
Cslash
False
eqChar
M
Clpar
False
eqChar
M
Crpar
False
eqChar
M
Cstar
False
eqChar
M
Cdot
False
eqChar
M
Z
False
eqChar
M
Y
False
eqChar
M
X
False
eqChar
M
W
False
eqChar
M
V
False
eqChar
M
U
False
eqChar
M
T
False
eqChar
M
S
False
eqChar
M
R
False
eqChar
M
Q
False
eqChar
M
P
False
eqChar
M
O
False
eqChar
M
N
False
eqChar
M
M
True
eqChar
M
L
False
eqChar
M
K
False
eqChar
M
J
False
eqChar
M
I
False
eqChar
M
H
False
eqChar
M
G
False
eqChar
M
F
False
eqChar
M
E
False
eqChar
M
D
False
eqChar
M
C
False
eqChar
M
B
False
eqChar
M
A
False
eqChar
L
Cslash
False
eqChar
L
Clpar
False
eqChar
L
Crpar
False
eqChar
L
Cstar
False
eqChar
L
Cdot
False
eqChar
L
Z
False
eqChar
L
Y
False
eqChar
L
X
False
eqChar
L
W
False
eqChar
L
V
False
eqChar
L
U
False
eqChar
L
T
False
eqChar
L
S
False
eqChar
L
R
False
eqChar
L
Q
False
eqChar
L
P
False
eqChar
L
O
False
eqChar
L
N
False
eqChar
L
M
False
eqChar
L
L
True
eqChar
L
K
False
eqChar
L
J
False
eqChar
L
I
False
eqChar
L
H
False
eqChar
L
G
False
eqChar
L
F
False
eqChar
L
E
False
eqChar
L
D
False
eqChar
L
C
False
eqChar
L
B
False
eqChar
L
A
False
eqChar
K
Cslash
False
eqChar
K
Clpar
False
eqChar
K
Crpar
False
eqChar
K
Cstar
False
eqChar
K
Cdot
False
eqChar
K
Z
False
eqChar
K
Y
False
eqChar
K
X
False
eqChar
K
W
False
eqChar
K
V
False
eqChar
K
U
False
eqChar
K
T
False
eqChar
K
S
False
eqChar
K
R
False
eqChar
K
Q
False
eqChar
K
P
False
eqChar
K
O
False
eqChar
K
N
False
eqChar
K
M
False
eqChar
K
L
False
eqChar
K
K
True
eqChar
K
J
False
eqChar
K
I
False
eqChar
K
H
False
eqChar
K
G
False
eqChar
K
F
False
eqChar
K
E
False
eqChar
K
D
False
eqChar
K
C
False
eqChar
K
B
False
eqChar
K
A
False
eqChar
J
Cslash
False
eqChar
J
Clpar
False
eqChar
J
Crpar
False
eqChar
J
Cstar
False
eqChar
J
Cdot
False
eqChar
J
Z
False
eqChar
J
Y
False
eqChar
J
X
False
eqChar
J
W
False
eqChar
J
V
False
eqChar
J
U
False
eqChar
J
T
False
eqChar
J
S
False
eqChar
J
R
False
eqChar
J
Q
False
eqChar
J
P
False
eqChar
J
O
False
eqChar
J
N
False
eqChar
J
M
False
eqChar
J
L
False
eqChar
J
K
False
eqChar
J
J
True
eqChar
J
I
False
eqChar
J
H
False
eqChar
J
G
False
eqChar
J
F
False
eqChar
J
E
False
eqChar
J
D
False
eqChar
J
C
False
eqChar
J
B
False
eqChar
J
A
False
eqChar
I
Cslash
False
eqChar
I
Clpar
False
eqChar
I
Crpar
False
eqChar
I
Cstar
False
eqChar
I
Cdot
False
eqChar
I
Z
False
eqChar
I
Y
False
eqChar
I
X
False
eqChar
I
W
False
eqChar
I
V
False
eqChar
I
U
False
eqChar
I
T
False
eqChar
I
S
False
eqChar
I
R
False
eqChar
I
Q
False
eqChar
I
P
False
eqChar
I
O
False
eqChar
I
N
False
eqChar
I
M
False
eqChar
I
L
False
eqChar
I
K
False
eqChar
I
J
False
eqChar
I
I
True
eqChar
I
H
False
eqChar
I
G
False
eqChar
I
F
False
eqChar
I
E
False
eqChar
I
D
False
eqChar
I
C
False
eqChar
I
B
False
eqChar
I
A
False
eqChar
H
Cslash
False
eqChar
H
Clpar
False
eqChar
H
Crpar
False
eqChar
H
Cstar
False
eqChar
H
Cdot
False
eqChar
H
Z
False
eqChar
H
Y
False
eqChar
H
X
False
eqChar
H
W
False
eqChar
H
V
False
eqChar
H
U
False
eqChar
H
T
False
eqChar
H
S
False
eqChar
H
R
False
eqChar
H
Q
False
eqChar
H
P
False
eqChar
H
O
False
eqChar
H
N
False
eqChar
H
M
False
eqChar
H
L
False
eqChar
H
K
False
eqChar
H
J
False
eqChar
H
I
False
eqChar
H
H
True
eqChar
H
G
False
eqChar
H
F
False
eqChar
H
E
False
eqChar
H
D
False
eqChar
H
C
False
eqChar
H
B
False
eqChar
H
A
False
eqChar
G
Cslash
False
eqChar
G
Clpar
False
eqChar
G
Crpar
False
eqChar
G
Cstar
False
eqChar
G
Cdot
False
eqChar
G
Z
False
eqChar
G
Y
False
eqChar
G
X
False
eqChar
G
W
False
eqChar
G
V
False
eqChar
G
U
False
eqChar
G
T
False
eqChar
G
S
False
eqChar
G
R
False
eqChar
G
Q
False
eqChar
G
P
False
eqChar
G
O
False
eqChar
G
N
False
eqChar
G
M
False
eqChar
G
L
False
eqChar
G
K
False
eqChar
G
J
False
eqChar
G
I
False
eqChar
G
H
False
eqChar
G
G
True
eqChar
G
F
False
eqChar
G
E
False
eqChar
G
D
False
eqChar
G
C
False
eqChar
G
B
False
eqChar
G
A
False
eqChar
F
Cslash
False
eqChar
F
Clpar
False
eqChar
F
Crpar
False
eqChar
F
Cstar
False
eqChar
F
Cdot
False
eqChar
F
Z
False
eqChar
F
Y
False
eqChar
F
X
False
eqChar
F
W
False
eqChar
F
V
False
eqChar
F
U
False
eqChar
F
T
False
eqChar
F
S
False
eqChar
F
R
False
eqChar
F
Q
False
eqChar
F
P
False
eqChar
F
O
False
eqChar
F
N
False
eqChar
F
M
False
eqChar
F
L
False
eqChar
F
K
False
eqChar
F
J
False
eqChar
F
I
False
eqChar
F
H
False
eqChar
F
G
False
eqChar
F
F
True
eqChar
F
E
False
eqChar
F
D
False
eqChar
F
C
False
eqChar
F
B
False
eqChar
F
A
False
eqChar
E
Cslash
False
eqChar
E
Clpar
False
eqChar
E
Crpar
False
eqChar
E
Cstar
False
eqChar
E
Cdot
False
eqChar
E
Z
False
eqChar
E
Y
False
eqChar
E
X
False
eqChar
E
W
False
eqChar
E
V
False
eqChar
E
U
False
eqChar
E
T
False
eqChar
E
S
False
eqChar
E
R
False
eqChar
E
Q
False
eqChar
E
P
False
eqChar
E
O
False
eqChar
E
N
False
eqChar
E
M
False
eqChar
E
L
False
eqChar
E
K
False
eqChar
E
J
False
eqChar
E
I
False
eqChar
E
H
False
eqChar
E
G
False
eqChar
E
F
False
eqChar
E
E
True
eqChar
E
D
False
eqChar
E
C
False
eqChar
E
B
False
eqChar
E
A
False
eqChar
D
Cslash
False
eqChar
D
Clpar
False
eqChar
D
Crpar
False
eqChar
D
Cstar
False
eqChar
D
Cdot
False
eqChar
D
Z
False
eqChar
D
Y
False
eqChar
D
X
False
eqChar
D
W
False
eqChar
D
V
False
eqChar
D
U
False
eqChar
D
T
False
eqChar
D
S
False
eqChar
D
R
False
eqChar
D
Q
False
eqChar
D
P
False
eqChar
D
O
False
eqChar
D
N
False
eqChar
D
M
False
eqChar
D
L
False
eqChar
D
K
False
eqChar
D
J
False
eqChar
D
I
False
eqChar
D
H
False
eqChar
D
G
False
eqChar
D
F
False
eqChar
D
E
False
eqChar
D
D
True
eqChar
D
C
False
eqChar
D
B
False
eqChar
D
A
False
eqChar
C
Cslash
False
eqChar
C
Clpar
False
eqChar
C
Crpar
False
eqChar
C
Cstar
False
eqChar
C
Cdot
False
eqChar
C
Z
False
eqChar
C
Y
False
eqChar
C
X
False
eqChar
C
W
False
eqChar
C
V
False
eqChar
C
U
False
eqChar
C
T
False
eqChar
C
S
False
eqChar
C
R
False
eqChar
C
Q
False
eqChar
C
P
False
eqChar
C
O
False
eqChar
C
N
False
eqChar
C
M
False
eqChar
C
L
False
eqChar
C
K
False
eqChar
C
J
False
eqChar
C
I
False
eqChar
C
H
False
eqChar
C
G
False
eqChar
C
F
False
eqChar
C
E
False
eqChar
C
D
False
eqChar
C
C
True
eqChar
C
B
False
eqChar
C
A
False
eqChar
B
Cslash
False
eqChar
B
Clpar
False
eqChar
B
Crpar
False
eqChar
B
Cstar
False
eqChar
B
Cdot
False
eqChar
B
Z
False
eqChar
B
Y
False
eqChar
B
X
False
eqChar
B
W
False
eqChar
B
V
False
eqChar
B
U
False
eqChar
B
T
False
eqChar
B
S
False
eqChar
B
R
False
eqChar
B
Q
False
eqChar
B
P
False
eqChar
B
O
False
eqChar
B
N
False
eqChar
B
M
False
eqChar
B
L
False
eqChar
B
K
False
eqChar
B
J
False
eqChar
B
I
False
eqChar
B
H
False
eqChar
B
G
False
eqChar
B
F
False
eqChar
B
E
False
eqChar
B
D
False
eqChar
B
C
False
eqChar
B
B
True
eqChar
B
A
False
eqChar
A
Cslash
False
eqChar
A
Clpar
False
eqChar
A
Crpar
False
eqChar
A
Cstar
False
eqChar
A
Cdot
False
eqChar
A
Z
False
eqChar
A
Y
False
eqChar
A
X
False
eqChar
A
W
False
eqChar
A
V
False
eqChar
A
U
False
eqChar
A
T
False
eqChar
A
S
False
eqChar
A
R
False
eqChar
A
Q
False
eqChar
A
P
False
eqChar
A
O
False
eqChar
A
N
False
eqChar
A
M
False
eqChar
A
L
False
eqChar
A
K
False
eqChar
A
J
False
eqChar
A
I
False
eqChar
A
H
False
eqChar
A
G
False
eqChar
A
F
False
eqChar
A
E
False
eqChar
A
D
False
eqChar
A
C
False
eqChar
A
B
False
eqChar
A
A
True
stringlist
x
x
liststring
x
x
reverse
Cons
c
cs
@
reverse
cs
Cons
c
Nil
reverse
Nil
Nil
parsepdot
Cons
x
xs'
Pseq
xs
stack
parsep
xs'
Pseq
Cons
Pdot
xs
stack
notEmpty
Cons
x
xs
True
notEmpty
Nil
False
isSpecialChar
Z
cs
False
isSpecialChar
Y
cs
False
isSpecialChar
X
cs
False
isSpecialChar
W
cs
False
isSpecialChar
V
cs
False
isSpecialChar
U
cs
False
isSpecialChar
T
cs
False
isSpecialChar
S
cs
False
isSpecialChar
R
cs
False
isSpecialChar
Q
cs
False
isSpecialChar
P
cs
False
isSpecialChar
O
cs
False
isSpecialChar
N
cs
False
isSpecialChar
M
cs
False
isSpecialChar
L
cs
False
isSpecialChar
K
cs
False
isSpecialChar
J
cs
False
isSpecialChar
I
cs
False
isSpecialChar
H
cs
False
isSpecialChar
G
cs
False
isSpecialChar
F
cs
False
isSpecialChar
E
cs
False
isSpecialChar
D
cs
False
isSpecialChar
C
cs
False
isSpecialChar
B
cs
False
isSpecialChar
A
cs
False
dummy
x
x
domatch
Pseq
pats
cs
domatchseq
cs
Nil
pats
domatch
Pstar
pat2
cs
domatchstar
cs
pat2
Nil
domatch
EmptyP
cs
cs
parsepopenb
Cons
x
xs
seq
stack
parsep
xs
Pseq
Nil
Cons
seq
stack
rematch[Let]
patstr
str
Cons
x
xs
@
liststring
reverse
Cons
x
xs
Cons
x
xs
rematch[Let]
patstr
str
Nil
Nil
domatchstar[Ite][True][Let]
cs
pat
init
Cons
x
xs
domatchstar[Ite][True][Let][Ite]
True
cs
pat
init
Cons
x
xs
domatchstar[Ite][True][Let]
cs
pat
init
Nil
domatchstar[Ite][True][Let][Ite]
False
cs
pat
init
Nil
domatchseq[Ite][True][Let]
cs
rest
pats
Cons
x
xs
domatchseq[Ite][True][Let][Ite]
True
cs
rest
pats
Cons
x
xs
domatchseq[Ite][True][Let]
cs
rest
pats
Nil
domatchseq[Ite][True][Let][Ite]
False
cs
rest
pats
Nil
L
0
domatchstar
3
True
0
parsep[Ite][True][Ite][False][Ite]
4
parsep[Ite][False][Ite][False][Match]
3
Pdot
0
U
0
eqChar
2
Pseq
1
EmptyP
0
K
0
D
0
domatchseq
3
domatchchar
2
domatchdot
1
Crpar
0
C
0
B
0
parsepcloseb[Ite][True][Match][Pseq][Match]
4
rematch[Let]
3
False
0
domatchseq[Ite][True][Let][Ite]
5
N
0
J
0
parsepopenb
3
Cslash
0
isSpecialChar
2
parsepchar
3
G
0
Z
0
S
0
E
0
rematch
2
domatchseq[Ite][True][Let]
4
notEmpty
1
parsepdot
3
H
0
@
2
Clpar
0
parsepcloseb
3
Y
0
parsepstar
3
domatchstar[Ite][True][Let]
4
O
0
Pchar
1
Q
0
reverse
1
X
0
Cstar
0
Cons
2
Error
0
W
0
domatch
2
P
0
I
0
parsep
3
Cdot
0
Pstar
1
stringlist
1
domatchstar[Ite][True][Let][Ite]
5
Nil
0
V
0
A
0
R
0
M
0
liststring
1
dummy
1
T
0
parsepat
1
F
0
INNERMOST