app
app
and
true
true
true
app
app
and
true
false
false
app
app
and
false
true
false
app
app
and
false
false
false
app
app
or
true
true
true
app
app
or
true
false
true
app
app
or
false
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
1
false
0
71076
true
0
103488
forsome
0
9998
forall
0
42410
nil
0
1
or
0
18816
app
2
2
0
cons
0
978
app
2
1
2
30538
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