null
nil
true
null
add
n
x
false
tail
add
n
x
x
tail
nil
nil
head
add
n
x
n
app
nil
y
y
app
add
n
x
y
add
n
app
x
y
reverse
nil
nil
reverse
add
n
x
app
reverse
x
add
n
nil
shuffle
x
shuff
x
nil
shuff
x
y
if
null
x
x
y
app
y
add
head
x
nil
if
true
x
y
z
y
if
false
x
y
z
shuff
reverse
tail
x
z
2.2
if
false
x
y
z
reverse
tail
x
shuff
x
y
if
null
x
x
y
app
y
add
head
x
nil
shuff
x
y
head
x
shuffle
x
shuff
x
nil
shuff
x
y
null
x
app
add
n
x
y
app
x
y
reverse
add
n
x
reverse
x
if
false
x
y
z
tail
x
if
false
x
y
z
shuff
reverse
tail
x
z
shuff
x
y
app
y
add
head
x
nil
reverse
add
n
x
app
reverse
x
add
n
nil
true
shuffle
x
shuff
x
nil
false
if
false
x
y
z
shuff
reverse
tail
x
z
shuff
x
y
if
null
x
x
y
app
y
add
head
x
nil
true
Failed!
NaTT
certifiable-1.6