-
-
neg
x
neg
x
-
neg
y
neg
y
-
-
x
y
-
x
y
2.2
-
-
neg
x
neg
x
-
neg
y
neg
y
-
x
y
-
-
neg
x
neg
x
-
neg
y
neg
y
-
x
y
-
-
neg
x
neg
x
-
neg
y
neg
y
-
-
x
y
-
x
y
true
-
-
neg
x
neg
x
-
neg
y
neg
y
-
-
x
y
-
x
y
-
-
neg
x
neg
x
-
neg
y
neg
y
-
x
y
-
-
neg
x
neg
x
-
neg
y
neg
y
-
x
y
true
-
2
1
2
1
neg
1
1
36466
-
2
1
2
0
-
-
neg
x
neg
x
-
neg
y
neg
y
-
-
x
y
-
x
y
NaTT
certifiable-1.6