top1
free
x
y
top2
check
new
x
y
top1
free
x
y
top2
new
x
check
y
top1
free
x
y
top2
check
x
new
y
top1
free
x
y
top2
x
check
new
y
top2
x
free
y
top1
check
new
x
y
top2
x
free
y
top1
new
x
check
y
top2
x
free
y
top1
check
x
new
y
top2
x
free
y
top1
x
check
new
y
new
free
x
free
new
x
old
free
x
free
old
x
new
serve
free
serve
old
serve
free
serve
check
free
x
free
check
x
check
new
x
new
check
x
check
old
x
old
check
x
check
old
x
old
x
2.2
top1
free
x
y
new
x
top1
free
x
y
top2
x
check
new
y
top2
x
free
y
check
y
top2
x
free
y
new
y
check
new
x
new
check
x
top2
x
free
y
top1
check
x
new
y
top2
x
free
y
top1
x
check
new
y
top1
free
x
y
new
x
top2
x
free
y
check
x
top1
free
x
y
new
y
old
free
x
old
x
top1
free
x
y
check
new
y
top2
x
free
y
check
new
y
top1
free
x
y
new
y
check
free
x
check
x
check
new
x
check
x
top2
x
free
y
new
x
check
old
x
check
x
top1
free
x
y
check
new
x
check
old
x
old
check
x
top2
x
free
y
new
x
top1
free
x
y
check
x
top2
x
free
y
new
y
top1
free
x
y
top2
check
new
x
y
top2
x
free
y
check
new
x
top1
free
x
y
check
y
top1
free
x
y
top2
new
x
check
y
new
free
x
new
x
top2
x
free
y
top1
check
new
x
y
top2
x
free
y
top1
new
x
check
y
top1
free
x
y
top2
check
x
new
y
true
top1
free
x
y
top2
check
x
new
y
top2
x
free
y
top1
new
x
check
y
top2
x
free
y
top1
check
new
x
y
top1
free
x
y
top2
new
x
check
y
top2
x
free
y
top1
x
check
new
y
top1
free
x
y
top2
check
new
x
y
top2
x
free
y
top1
check
x
new
y
top1
free
x
y
top2
x
check
new
y
true
Failed!
NaTT
certifiable-1.6