
*** Yes
> > 
*** Yes
A = int.
--1> 
*** Yes
A = int, B = int.
----2> 
*** Yes
A = int, B = int, C = real.
------3> 
*** Yes
A = int, B = int, C = real, D = real.
--------4> 
*** Yes
A = int, B = int, C = real, D = real, E = real.
----------5> 
*** Yes
A = int, B = int, C = real, D = real, E = real, F = real.
------------6> 
*** Yes
A = int, B = int, C = real, D = real, E = real, F = real, G = string.
--------------7> 
*** Yes
A = int, 
B = int, 
C = real, 
D = real, 
E = real, 
F = real, 
G = string, 
H = string.

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

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

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

----------------------11> 
*** 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.

------------------------12> 
*** 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.

--------------------------13> 
*** 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.

----------------------------14> 
*** 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.

------------------------------15> 
*** 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.

--------------------------------16> 
*** 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.

----------------------------------17> 
*** 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.

------------------------------------18> 
*** 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.

--------------------------------------19> 
*** 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.

----------------------------------------20> 
*** 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.

------------------------------------------21> 
*** 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.

--------------------------------------------22> 
*** 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.

----------------------------------------------23> 
*** 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.

------------------------------------------------24> 
*** 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.

--------------------------------------------------25> 
*** 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.

----------------------------------------------------26> 
*** 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.

------------------------------------------------------27> 
*** 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.

--------------------------------------------------------28> 
*** 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.

----------------------------------------------------------29> 
*** 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.

------------------------------------------------------------30> 
*** 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.

--------------------------------------------------------------31> 
*** 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.

----------------------------------------------------------------32> 
*** 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.

------------------------------------------------------------------33> 
*** 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.

--------------------------------------------------------------------34> 
*** 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.

----------------------------------------------------------------------35> 
*** 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.

------------------------------------------------------------------------36> 
*** 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.

--------------------------------------------------------------------------37> 
*** 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.

----------------------------------------------------------------------------38> 
*** 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.

------------------------------------------------------------------------------39> 
*** 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.

--------------------------------------------------------------------------------40> 
*** 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.

----------------------------------------------------------------------------------41> 
*** 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.

------------------------------------------------------------------------------------42> 
*** 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.

--------------------------------------------------------------------------------------43> 
*** 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.

----------------------------------------------------------------------------------------44> 
