
*** Yes
> > 
*** Yes
A = int.
--1> 
*** Yes
A = int, B = int.
--1> 
*** Yes
A = int, B = int, C = real.
--1> 
*** Yes
A = int, B = int, C = real, D = real.
--1> 
*** Yes
A = int, B = int, C = real, D = real, E = real.
--1> 
*** Yes
A = int, B = int, C = real, D = real, E = real, F = real.
--1> 
*** Yes
A = int, B = int, C = real, D = real, E = real, F = real, G = string.
--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232".

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in.

--1> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
AL = @, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
AL = @, 
AM = disj, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
AL = @, 
AM = disj, 
AN = built_in, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
AL = @, 
AM = disj, 
AN = built_in, 
AO = 12.2, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
AL = @, 
AM = disj, 
AN = built_in, 
AO = 12.2, 
AP = real, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
AL = @, 
AM = disj, 
AN = built_in, 
AO = 12.2, 
AP = real, 
AQ = real, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
*** Yes
A = int, 
AA = list, 
AB = list, 
AC = list, 
AD = cons, 
AE = list, 
AF = list, 
AG = [], 
AH = list, 
AI = built_in, 
AJ = built_in, 
AK = @, 
AL = @, 
AM = disj, 
AN = built_in, 
AO = 12.2, 
AP = real, 
AQ = real, 
AR = real, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string, 
I = "232", 
J = string, 
K = int, 
L = 1, 
M = real, 
N = real, 
O = string, 
P = int, 
Q = real, 
R = real, 
S = real, 
T = built_in, 
U = built_in, 
V = built_in, 
W = built_in, 
X = built_in, 
Y = built_in, 
Z = list.

--1> 
