app
app
and
true
true
true
app
app
and
x
false
false
app
app
and
false
y
false
app
app
or
true
y
true
app
app
or
x
true
true
app
app
or
false
false
false
app
app
forall
p
nil
true
app
app
forall
p
app
app
cons
x
xs
app
app
and
app
p
x
app
app
forall
p
xs
app
app
forsome
p
nil
false
app
app
forsome
p
app
app
cons
x
xs
app
app
or
app
p
x
app
app
forsome
p
xs
2.2
app
app
forsome
p
app
app
cons
x
xs
app
or
app
p
x
app
app
forall
p
app
app
cons
x
xs
app
and
app
p
x
app
app
forall
p
app
app
cons
x
xs
app
p
x
app
app
forall
p
app
app
cons
x
xs
app
app
and
app
p
x
app
app
forall
p
xs
app
app
forsome
p
app
app
cons
x
xs
app
p
x
app
app
forsome
p
app
app
cons
x
xs
app
app
or
app
p
x
app
app
forsome
p
xs
app
app
forall
p
app
app
cons
x
xs
app
app
forall
p
xs
app
app
forsome
p
app
app
cons
x
xs
app
app
forsome
p
xs
true
app
app
forsome
p
app
app
cons
x
xs
app
app
forsome
p
xs
app
app
forall
p
app
app
cons
x
xs
app
app
forall
p
xs
app
app
forsome
p
app
app
cons
x
xs
app
p
x
app
app
forall
p
app
app
cons
x
xs
app
p
x
true
and
0
13884
false
0
61978
true
0
107211
forsome
0
8291
forall
0
53524
nil
0
36956
or
0
13884
app
2
2
0
cons
0
22248
app
2
1
2
8365
app
app
forsome
p
app
app
cons
x
xs
app
app
or
app
p
x
app
app
forsome
p
xs
false
app
app
forall
p
app
app
cons
x
xs
app
app
and
app
p
x
app
app
forall
p
xs
false
app
app
forall
p
app
app
cons
x
xs
app
and
app
p
x
false
app
app
forsome
p
app
app
cons
x
xs
app
or
app
p
x
false
NaTT
certifiable-1.6