zeros
cons
0
n__zeros
U11
tt
L
U12
tt
activate
L
U12
tt
L
s
length
activate
L
U21
tt
IL
M
N
U22
tt
activate
IL
activate
M
activate
N
U22
tt
IL
M
N
U23
tt
activate
IL
activate
M
activate
N
U23
tt
IL
M
N
cons
activate
N
n__take
activate
M
activate
IL
length
nil
0
length
cons
N
L
U11
tt
activate
L
take
0
IL
nil
take
s
M
cons
N
IL
U21
tt
activate
IL
M
N
zeros
n__zeros
take
X1
X2
n__take
X1
X2
activate
n__zeros
zeros
activate
n__take
X1
X2
take
activate
X1
activate
X2
activate
X
X
2.2
U11
tt
L
activate
L
activate
n__zeros
zeros
U22
tt
IL
M
N
activate
IL
activate
n__take
X1
X2
activate
X2
take
s
M
cons
N
IL
activate
IL
U21
tt
IL
M
N
activate
N
U22
tt
IL
M
N
U23
tt
activate
IL
activate
M
activate
N
U22
tt
IL
M
N
activate
M
U21
tt
IL
M
N
U22
tt
activate
IL
activate
M
activate
N
activate
n__take
X1
X2
take
activate
X1
activate
X2
take
s
M
cons
N
IL
U21
tt
activate
IL
M
N
U23
tt
IL
M
N
activate
IL
U21
tt
IL
M
N
activate
M
U12
tt
L
activate
L
length
cons
N
L
activate
L
U21
tt
IL
M
N
activate
IL
U12
tt
L
length
activate
L
U23
tt
IL
M
N
activate
N
U11
tt
L
U12
tt
activate
L
activate
n__take
X1
X2
activate
X1
U22
tt
IL
M
N
activate
N
U23
tt
IL
M
N
activate
M
length
cons
N
L
U11
tt
activate
L
true
length
cons
N
L
U11
tt
activate
L
U11
tt
L
U12
tt
activate
L
U12
tt
L
length
activate
L
true
Failed!
NaTT
certifiable-1.6