Package: pypy3
Version: 7.3.11+dfsg-2
Severity: normal
Tags: upstream
Dear Maintainer,
We encountered a bug where a specific script and input cause pypy3 to
abort with "Fatal RPython error: AssertionError". The problematic script
and input are attached to this bug report.
We encountered this bug during a programming contest; that's why both
the code and the input file may appear slightly cryptic.
Expected outcome:
$ python3 C.py < 17-partition.in
possible
Actual outcome:
$ pypy3 C.py < 17-partition.in
RPython traceback:
File "rpython_jit_metainterp_optimizeopt.c", line 47763, in
OptUnroll_jump_to_existing_trace
File "rpython_jit_metainterp_optimizeopt_1.c", line 17291, in
OptUnroll__jump_to_existing_trace
File "rpython_jit_metainterp_optimizeopt_1.c", line 49258, in
OptUnroll_inline_short_preamble
File "rpython_jit_metainterp_optimizeopt.c", line 48579, in
Optimizer_send_extra_operation
File "rpython_jit_metainterp_optimizeopt_4.c", line 19721, in
OptIntBounds_propagate_bounds_INT_ADD
Fatal RPython error: AssertionError
Aborted
The bug is also present in upstream 7.3.11 (pypy3.9-v7.3.11-linux64.tar.bz2),
and seems to be fixed as of 7.3.12 (pypy3.9-v7.3.12-linux64.tar.bz2).
It would be great if this bug could be fixed in Debian as well. Thank you!
-- System Information:
Debian Release: 12.4
APT prefers stable-updates
APT policy: (500, 'stable-updates'), (500, 'stable-security'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 6.1.0-16-amd64 (SMP w/64 CPU threads; PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages pypy3 depends on:
ii libbz2-1.0 1.0.8-5+b1
ii libc6 2.36-9+deb12u4
ii libexpat1 2.5.0-1
ii libffi8 3.4.4-1
ii libgcc-s1 12.2.0-14
ii libgdbm6 1.23-3
ii liblzma5 5.4.1-0.2
ii libncursesw6 6.4-4
ii libsqlite3-0 3.40.1-2
ii libssl3 3.0.11-1~deb12u2
ii libtinfo6 6.4-4
ii pypy3-lib 7.3.11+dfsg-2
ii zlib1g 1:1.2.13.dfsg-1
pypy3 recommends no packages.
Versions of packages pypy3 suggests:
pn pypy3-doc <none>
pn pypy3-tk <none>
-- no debconf information
n = int(input())
X = list(map(int,input().split()))
M = []
A = []
Z = []
for i in range(n):
a = X[i]
if a == -1:continue
if a == 0:
if A:
c,d = A.pop()
M.append([d,i+1])
c-=1
if c > 0:
A.append([c,i+1])
else:
Z.append(i+1)
else:
Z.append(i+1)
else:
sq = i+1
while Z and a:
xx = Z.pop()
M.append([sq,xx])
sq = xx
a-=1
if a:
A.append([a,sq])
else:
if A:
c, d = A.pop()
M.append([d, sq])
c -= 1
if c > 0:
A.append([c, sq])
else:
Z.append(sq)
else:
Z.append(sq)
while A and Z:
a,b = A.pop()
c = Z.pop()
M.append([b,c])
a-=1
if a:
A.append([a,c])
else:
Z.append(c)
if len(Z) > 1:
print("impossible")
else:
print("possible")
16852
4 2 -1 1 0 1 1 0 3 0 0 1 1 -1 0 3 -1 -1 -1 1 0 1 0 2 -1 0 0 2 4 0 3 0 0 0 1 0 1
0 1 0 0 0 1 0 0 0 0 0 1 0 0 6 0 -1 0 0 2 1 0 2 2 -1 2 0 1 3 -1 2 0 0 2 0 0 1 1
0 2 1 0 1 3 0 0 0 0 -1 0 0 0 1 1 -1 0 4 2 0 1 3 0 0 0 1 0 2 -1 2 2 3 -1 1 0 0 3
0 1 0 3 1 6 1 1 1 0 0 -1 2 -1 1 1 1 0 -1 0 0 0 3 0 0 0 0 0 3 2 3 0 1 2 0 2 0 1
0 -1 0 1 0 0 -1 1 0 4 3 0 0 0 0 2 3 0 -1 0 3 4 0 1 2 0 2 2 0 0 1 0 0 1 0 0 0 1
-1 3 1 0 0 0 1 0 2 0 1 3 3 0 1 0 7 -1 1 4 0 3 1 0 0 -1 0 2 0 1 0 1 -1 0 2 1 -1
0 0 0 0 0 1 1 -1 0 0 0 0 0 1 1 0 0 2 0 2 0 0 0 0 0 2 1 0 3 0 1 2 0 1 1 -1 0 2 3
1 0 0 0 0 1 0 0 3 0 2 1 0 1 0 0 0 2 1 2 0 4 0 2 5 2 0 1 0 3 2 1 4 5 1 1 2 0 2 0
2 0 0 1 1 0 0 0 0 0 2 -1 -1 3 0 1 -1 0 1 0 1 2 0 3 0 3 3 4 4 -1 3 0 -1 0 1 1 2
0 0 6 1 0 0 1 0 0 0 0 0 0 0 3 1 8 0 1 0 1 0 -1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0
1 0 2 8 3 1 0 0 3 0 2 0 1 3 4 1 1 1 1 2 6 2 4 2 0 0 1 2 1 -1 2 3 1 1 3 0 0 1 1
-1 0 3 0 0 0 0 0 0 0 0 0 0 2 1 0 6 0 -1 0 1 0 0 0 0 5 1 1 0 0 2 5 0 2 0 3 0 0 0
-1 1 3 0 1 1 1 2 0 0 0 2 1 0 2 0 0 0 1 0 0 3 2 0 0 1 1 0 1 0 0 2 0 2 -1 1 -1 -1
0 0 4 0 0 0 1 -1 1 -1 2 1 0 0 1 1 1 1 0 0 0 1 1 1 6 0 1 0 2 7 1 1 1 1 -1 0 0 2
0 0 1 -1 3 0 1 -1 3 1 0 -1 1 2 0 4 2 -1 3 2 1 -1 0 -1 0 0 1 0 0 -1 0 1 4 0 0 3
0 0 3 1 7 1 1 2 0 0 0 5 -1 3 -1 0 2 0 0 0 0 0 -1 1 3 2 -1 1 0 0 1 -1 0 1 0 0 2
0 1 2 0 -1 1 0 1 2 2 0 1 0 0 1 4 3 0 1 2 0 -1 3 1 0 3 0 0 5 0 0 2 0 0 2 0 0 2 4
0 2 0 5 3 -1 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 3 0 0 1 1 3 0 2 0 0 0 0 2 3 2 0 1 2
2 1 6 0 1 3 5 0 0 0 0 1 1 6 1 0 3 3 2 3 0 0 0 -1 3 2 1 0 1 1 1 0 1 2 3 2 0 0 1
1 1 2 0 0 2 3 0 0 0 2 2 3 0 2 -1 0 0 1 3 4 0 0 0 0 -1 1 1 1 0 7 1 0 2 1 4 0 0 0
0 2 4 2 1 0 0 1 -1 0 0 1 0 0 1 0 0 -1 0 -1 1 0 1 5 4 2 1 0 0 0 0 5 0 0 0 0 3 3
0 0 1 0 1 1 0 0 0 2 4 0 0 0 3 -1 0 -1 0 0 -1 0 0 0 5 0 0 5 0 -1 2 -1 0 0 0 0 1
0 1 1 2 0 2 0 0 -1 3 1 3 1 0 1 -1 3 0 0 0 1 0 0 0 1 -1 2 0 0 0 -1 0 3 1 -1 1 0
2 0 0 0 0 0 0 0 0 2 0 3 0 0 2 0 0 1 1 4 3 0 2 0 2 2 2 3 5 0 1 0 0 0 0 2 0 0 -1
0 0 1 2 0 1 0 0 2 0 0 1 0 1 0 -1 0 5 0 2 0 4 0 3 0 -1 0 4 2 0 2 0 3 0 0 1 0 -1
0 2 0 0 -1 1 -1 0 -1 0 0 0 -1 2 0 -1 0 2 1 -1 0 0 1 0 0 1 1 0 1 1 0 3 -1 1 0 1
1 0 2 -1 3 2 0 1 0 0 -1 1 1 0 0 0 0 5 0 1 1 -1 1 0 1 0 2 3 0 0 -1 1 3 0 1 1 0 0
1 1 1 -1 1 3 2 4 1 0 0 -1 1 1 1 0 0 0 2 0 -1 0 1 0 0 3 2 0 5 0 1 0 1 -1 3 3 0 0
0 0 1 1 1 1 -1 0 0 5 5 0 0 -1 0 0 0 2 0 0 -1 3 1 0 0 0 2 0 0 3 0 1 0 2 1 0 -1
-1 2 5 5 2 0 4 -1 2 0 -1 0 0 0 -1 2 2 0 0 1 4 0 1 0 0 0 1 3 -1 0 0 0 1 1 1 0 3
0 -1 3 0 0 1 0 0 0 0 0 0 -1 1 1 0 -1 2 0 2 1 1 0 2 1 -1 -1 1 0 0 0 0 1 1 0 1 -1
0 -1 1 1 5 0 0 0 0 0 0 1 2 2 1 1 -1 2 -1 0 3 1 1 0 0 1 3 0 -1 0 0 2 1 0 2 1 0 5
-1 1 1 1 0 6 0 2 0 0 -1 0 2 2 0 1 1 4 3 0 2 0 0 1 3 0 0 0 0 1 -1 0 0 0 2 0 1 0
0 0 0 2 7 2 0 1 0 0 2 2 2 1 0 3 1 -1 1 2 0 -1 2 -1 3 1 0 0 -1 1 0 0 1 1 2 0 0 0
-1 0 1 1 0 3 0 0 0 0 0 -1 7 0 0 0 0 1 1 0 0 0 2 1 2 1 0 1 0 0 0 -1 0 -1 0 0 2 0
0 0 1 1 0 1 1 -1 0 0 0 0 1 1 5 0 2 2 -1 0 1 2 1 0 1 1 3 0 3 1 -1 -1 1 3 1 -1 0
0 1 3 0 1 0 0 0 0 2 0 0 1 0 1 1 1 1 0 1 1 3 4 0 1 -1 1 -1 1 1 -1 0 0 -1 1 0 0
-1 0 0 1 2 1 0 0 0 0 1 1 2 2 -1 1 1 -1 0 0 0 0 0 1 -1 3 0 0 2 1 0 2 0 2 0 0 0 0
-1 1 1 2 2 0 0 0 1 0 0 2 3 2 0 0 0 0 2 0 1 0 0 0 1 1 1 1 0 0 -1 0 0 0 -1 0 1 -1
4 2 1 -1 -1 0 1 0 0 2 0 0 8 0 3 2 0 2 6 -1 1 1 0 1 0 3 0 1 1 2 3 1 1 0 1 1 1 3
0 7 1 5 0 7 -1 0 1 0 0 0 0 1 2 0 0 0 0 2 3 1 0 0 2 1 1 0 4 1 1 2 0 1 0 1 1 0 0
0 0 0 0 1 5 -1 0 0 0 2 -1 0 1 3 1 3 0 0 6 2 2 1 0 1 1 1 2 0 4 1 0 0 0 0 1 0 2 0
0 1 1 5 0 0 2 1 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 3 1 1 6 1 1 -1 0 1 0 0 1 0 1 0 -1
0 0 -1 1 2 0 6 4 0 3 1 0 2 2 0 -1 1 0 0 0 0 1 4 1 0 0 0 5 4 0 0 0 0 0 0 1 3 0 1
0 1 3 0 1 1 0 1 -1 2 0 1 0 -1 0 0 1 0 2 -1 0 4 2 1 1 1 -1 2 0 0 6 1 0 1 2 0 0 4
-1 3 0 1 -1 5 0 2 1 0 -1 1 4 2 0 1 1 0 1 1 0 4 0 1 3 2 0 -1 3 -1 1 3 0 -1 0 0
-1 0 0 0 2 1 -1 1 0 2 0 1 0 4 1 4 1 0 1 0 1 0 1 1 2 0 1 0 0 4 0 0 0 1 2 2 2 1
-1 1 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 0 -1 2 2 1 0 0 0 1 0 2 0 1 0 1 0 4 -1 1
0 1 0 0 1 0 0 3 0 0 0 0 -1 6 0 2 3 0 1 5 0 0 0 0 3 1 2 2 3 5 1 0 1 -1 3 1 1 0
-1 1 1 1 0 0 1 -1 1 4 -1 1 0 1 0 2 0 2 0 0 0 0 5 1 1 -1 0 0 1 -1 2 3 0 1 0 1 1
0 0 1 1 2 7 2 3 0 0 0 2 1 0 1 0 -1 0 2 2 1 -1 0 4 0 0 0 -1 0 2 0 1 0 1 0 3 1 0
1 0 0 0 1 2 0 4 0 0 1 -1 1 3 0 3 1 0 0 0 1 1 -1 0 0 1 0 2 0 0 1 1 0 0 2 0 1 2 2
2 0 1 1 5 0 2 2 1 0 0 0 0 0 -1 -1 0 0 1 0 0 2 1 0 0 2 0 0 0 0 3 3 0 2 1 1 0 0 3
0 2 0 2 0 3 1 0 0 0 0 0 0 1 1 0 5 0 7 4 0 1 -1 0 0 0 3 1 3 0 4 -1 1 1 1 0 0 0 0
1 0 2 0 -1 -1 0 0 1 1 0 1 2 0 3 3 0 4 0 0 3 2 1 0 3 0 -1 0 0 0 3 3 5 -1 0 0 3 0
1 0 1 0 1 5 3 0 0 0 2 -1 1 1 1 -1 0 2 0 -1 3 3 0 -1 2 1 2 0 0 -1 1 2 0 0 0 0 1
1 0 5 1 1 1 0 1 0 0 1 0 0 -1 0 0 0 0 0 1 0 0 0 1 0 0 0 -1 1 0 1 1 0 0 2 0 1 0
-1 0 0 0 0 1 1 -1 1 3 4 0 2 0 0 3 -1 6 0 2 1 0 1 0 0 1 1 0 2 -1 1 1 3 0 1 0 0 0
1 1 0 0 0 1 1 2 4 -1 3 -1 -1 1 4 -1 2 0 1 4 3 0 1 1 2 1 0 1 2 3 0 3 7 1 0 1 2
-1 -1 0 -1 1 0 1 -1 0 8 1 2 0 0 0 0 0 -1 1 0 1 3 2 2 1 1 0 1 0 -1 0 3 0 -1 -1
-1 0 2 0 1 0 -1 2 0 4 1 0 0 4 0 0 0 0 1 7 0 2 0 2 0 0 -1 1 -1 -1 0 3 0 0 0 2 0
-1 0 0 0 2 0 0 0 0 0 4 3 -1 1 0 -1 3 0 0 1 0 0 -1 1 1 0 3 0 1 1 0 1 1 2 1 2 0 0
1 1 1 0 0 0 1 3 1 0 0 0 0 0 1 3 1 1 0 0 1 1 0 0 1 1 -1 0 1 0 0 0 0 4 2 1 0 0 3
0 2 3 0 0 1 0 2 1 1 1 0 0 0 0 1 0 2 -1 4 0 0 1 0 2 0 2 0 0 0 0 0 1 0 0 0 0 2 5
1 1 0 0 0 2 0 0 0 1 0 0 0 0 2 0 0 1 0 0 2 0 3 0 0 0 0 -1 1 0 0 0 2 2 0 1 0 3 3
0 0 3 1 1 -1 1 3 0 1 0 3 0 0 0 0 0 0 2 0 0 2 1 2 1 0 0 0 2 0 -1 0 0 0 1 0 0 3 1
-1 0 -1 2 0 0 1 0 3 4 0 0 1 2 1 0 2 0 0 1 1 0 2 -1 0 3 0 1 0 1 0 0 0 0 1 0 2 1
0 1 2 3 2 1 1 1 1 1 -1 1 1 -1 4 0 0 -1 0 0 0 6 2 1 0 2 1 0 0 0 0 0 4 0 4 0 5 0
0 0 1 1 0 0 0 4 0 1 2 1 2 0 1 0 2 0 0 0 1 0 -1 0 1 2 0 1 1 0 0 2 0 -1 1 2 2 0 2
0 0 0 0 0 0 0 5 0 4 0 0 0 1 0 0 1 0 0 -1 -1 1 0 0 0 2 1 0 0 1 1 3 4 -1 0 0 1 1
2 0 2 2 0 2 4 -1 0 1 3 0 0 1 -1 4 0 0 2 0 3 0 2 0 0 2 1 0 1 0 2 0 2 1 1 0 1 0 3
0 2 2 4 0 1 0 1 1 -1 0 1 2 2 1 0 1 1 0 0 3 0 0 -1 0 2 -1 0 2 0 1 -1 1 2 0 1 0 3
0 0 0 0 2 0 1 2 -1 1 0 0 1 0 1 0 2 0 2 0 1 1 0 0 0 0 0 3 2 0 -1 1 4 0 0 0 0 0 0
1 1 2 2 0 2 0 0 5 0 2 -1 1 0 -1 0 1 0 2 0 1 3 0 2 2 0 2 0 3 0 0 3 -1 1 1 1 0 0
0 0 3 -1 0 0 4 1 -1 0 0 1 1 0 1 2 0 0 2 2 3 1 0 -1 0 1 1 1 0 0 0 0 3 1 3 0 1 8
0 0 1 1 -1 4 -1 0 0 0 0 0 2 4 0 2 -1 0 0 0 -1 0 1 2 0 0 1 -1 1 1 0 0 -1 0 0 2 0
1 2 4 0 1 3 0 -1 1 0 1 2 2 2 0 0 3 1 -1 0 0 0 0 1 0 0 0 0 3 0 0 -1 -1 3 0 1 0 3
1 0 2 1 3 0 0 1 4 2 0 0 2 1 1 1 2 1 0 0 -1 0 2 0 0 0 1 0 -1 0 1 0 3 1 0 3 2 1 2
0 1 2 0 4 1 2 0 2 3 3 0 0 6 2 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 2 0 3 0 0 0 0 0 0 0
0 1 0 1 -1 0 1 3 1 1 0 2 0 0 3 0 0 0 -1 0 0 0 0 1 -1 0 0 4 0 3 0 3 0 4 2 3 0 0
2 0 0 0 0 -1 0 7 0 0 1 0 1 0 2 2 0 0 -1 0 1 1 0 2 2 0 -1 2 0 0 0 -1 1 1 0 5 0
-1 4 3 2 5 2 0 0 -1 0 0 2 -1 0 0 0 4 0 2 0 0 0 1 0 5 -1 1 1 0 0 0 0 2 3 0 2 0
-1 0 0 1 -1 1 3 0 4 0 0 0 1 1 2 2 0 2 0 2 0 -1 -1 0 0 -1 2 0 1 0 0 1 4 4 1 0 0
0 1 0 -1 0 0 2 3 0 1 0 0 1 1 0 0 0 1 0 5 3 2 2 2 2 2 1 0 0 2 0 0 0 0 0 0 1 0 -1
-1 2 1 2 -1 0 5 3 1 4 0 1 1 1 0 0 1 0 4 0 1 0 1 2 1 3 -1 1 -1 0 4 -1 0 2 1 0 -1
1 6 2 0 1 0 0 1 0 2 1 4 4 0 2 2 0 0 0 3 0 0 0 0 0 0 1 0 0 1 4 2 1 0 0 1 0 1 2 0
0 0 3 0 0 0 1 3 0 0 1 0 0 0 1 0 6 3 3 1 3 2 0 0 0 1 0 3 0 0 1 3 0 -1 0 2 4 2 0
0 1 0 2 0 0 3 3 4 1 2 0 1 2 0 2 -1 0 2 0 0 0 2 0 2 7 0 1 0 1 3 0 0 0 0 0 -1 0 0
0 5 0 0 0 3 3 0 3 1 -1 0 2 0 0 -1 0 0 5 2 0 3 1 0 1 0 1 2 0 3 0 2 0 3 1 2 0 1 0
0 2 0 1 0 8 0 4 -1 4 0 0 0 2 -1 2 3 1 0 1 0 0 0 0 0 0 0 0 2 -1 0 0 0 2 0 1 2 0
0 0 1 1 2 0 4 0 0 1 5 1 0 0 0 0 0 3 0 0 0 1 1 2 1 -1 6 0 0 0 2 0 0 1 0 0 1 0 2
-1 0 0 0 1 2 1 2 0 0 3 1 0 1 0 -1 1 3 0 0 0 0 0 3 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1
0 0 0 0 0 6 1 0 0 0 0 1 1 0 1 1 1 0 0 -1 1 1 0 0 0 -1 0 0 1 1 -1 2 0 2 0 0 0 2
1 2 0 0 1 0 0 3 2 -1 0 0 -1 2 0 0 0 4 -1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 4 -1
0 1 0 -1 2 3 5 0 0 4 2 0 0 1 0 0 1 0 0 0 0 3 0 0 0 3 -1 4 0 1 2 0 1 0 -1 0 1 0
1 2 0 2 0 2 0 1 1 1 2 4 1 0 -1 2 2 0 0 0 3 0 1 0 -1 6 0 0 0 0 1 0 1 0 0 1 0 0 1
0 0 0 1 3 3 1 0 -1 2 2 0 0 2 0 0 1 0 0 2 -1 1 2 1 1 3 3 -1 0 2 -1 0 1 -1 2 0 0
0 0 4 2 0 8 0 5 1 -1 1 0 2 1 0 0 -1 1 0 0 -1 1 1 0 2 0 0 2 0 5 0 -1 2 -1 0 0 1
5 2 0 1 0 0 1 1 0 2 3 3 4 0 1 0 1 1 -1 0 11 0 1 2 2 1 2 3 0 0 -1 0 1 1 0 0 -1 1
0 3 0 0 0 0 1 0 0 0 1 2 0 0 1 0 0 2 0 4 1 0 0 0 0 4 0 0 1 0 0 0 -1 0 -1 0 0 3 0
1 0 1 1 1 0 0 0 2 0 1 0 2 1 -1 0 0 0 0 1 0 -1 0 3 -1 -1 -1 1 1 -1 1 1 2 -1 1 0
1 0 0 2 2 0 0 0 -1 1 1 0 -1 -1 0 1 0 0 0 0 0 1 0 0 1 4 1 0 1 0 2 0 -1 0 3 0 1 0
2 1 1 3 -1 1 0 0 0 -1 3 0 2 -1 0 5 0 3 0 1 -1 4 2 3 0 -1 0 0 1 3 1 2 0 2 3 2 2
1 2 2 1 3 0 1 0 1 1 0 0 1 0 0 -1 1 1 1 1 0 0 5 1 2 1 1 0 3 0 0 0 1 2 1 -1 0 -1
1 0 0 0 0 1 1 2 1 2 1 0 0 1 1 1 -1 0 3 1 0 0 5 1 2 1 0 2 0 1 1 2 0 9 2 0 0 1 0
0 2 0 2 1 0 0 0 2 3 2 2 0 1 0 1 2 0 5 1 -1 0 -1 4 1 0 2 0 1 1 0 0 5 -1 0 2 1 1
0 3 -1 1 0 -1 2 2 0 -1 1 3 0 1 3 0 3 -1 1 0 1 1 0 1 -1 1 0 1 4 3 1 0 1 0 0 0 4
0 0 0 3 2 1 1 1 0 1 0 0 0 5 2 0 5 1 0 0 0 1 3 0 0 1 3 1 1 0 1 -1 3 0 1 0 1 0 0
0 1 0 1 0 0 0 0 1 2 1 4 0 0 1 1 1 1 0 1 0 -1 2 1 3 0 3 1 2 2 3 0 2 1 0 0 0 3 1
2 1 2 0 3 0 0 2 8 3 3 0 0 -1 2 1 1 2 1 0 4 4 0 4 1 0 0 3 1 0 -1 1 4 0 0 1 3 1 0
3 0 0 2 0 4 0 3 3 1 1 1 0 0 0 2 1 0 0 0 2 0 -1 0 0 2 1 0 1 -1 1 0 0 1 0 0 0 -1
1 -1 1 1 6 -1 1 1 0 0 2 0 2 2 9 0 2 5 3 0 1 1 1 1 0 0 0 2 0 0 0 0 -1 3 0 6 4 1
0 1 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 1 -1 0 0 -1 -1 0 0 -1 0 3 0 0 1 3 0 0 2 0 0 1
0 0 -1 0 0 4 2 5 0 0 1 -1 3 0 2 1 0 2 0 0 0 0 1 1 4 0 0 -1 0 0 1 1 -1 0 0 3 1 0
0 1 3 0 0 0 0 0 0 -1 0 0 3 1 0 0 1 1 -1 1 4 0 0 1 0 2 6 1 3 2 1 2 0 0 0 2 0 5 1
0 0 0 1 0 1 -1 0 -1 0 1 2 0 7 2 0 0 0 0 2 0 -1 1 2 -1 6 0 1 -1 0 -1 4 5 0 0 0 1
2 0 0 3 0 2 1 4 0 0 -1 4 1 1 -1 -1 0 1 -1 0 2 1 1 0 0 0 0 1 0 3 0 1 0 1 2 0 0 0
1 0 0 0 1 2 0 1 0 0 0 5 -1 0 0 0 0 0 5 0 0 0 1 1 2 0 0 0 2 0 1 0 3 1 2 0 0 0 1
3 5 3 0 2 0 0 4 1 5 1 0 0 0 0 0 2 2 0 0 0 0 1 2 2 0 0 3 1 2 0 0 2 1 0 0 0 0 0 1
1 5 1 0 0 -1 0 0 0 0 0 7 1 3 5 -1 1 0 0 0 0 1 0 0 -1 1 0 5 0 3 0 0 1 0 1 0 0 -1
0 0 0 3 0 2 0 1 -1 0 0 2 0 0 1 0 0 4 -1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 3 0 0 5 0 1
-1 0 3 1 1 0 0 2 2 1 2 1 0 0 0 0 -1 -1 1 0 1 0 1 2 0 1 1 0 1 0 1 1 1 1 2 1 0 1
0 0 1 0 -1 1 0 0 1 2 2 0 2 2 0 5 0 0 0 0 1 -1 0 2 1 0 0 1 0 -1 0 4 0 0 5 1 0 0
0 0 2 1 0 0 1 1 4 1 1 0 1 2 0 3 0 0 4 1 1 4 0 1 0 2 0 -1 0 0 3 5 2 1 0 0 1 0 1
6 -1 0 1 0 0 0 0 0 1 2 0 -1 0 4 0 2 0 2 0 1 2 0 8 0 5 2 1 0 0 0 -1 -1 3 1 0 0 0
0 0 1 0 1 0 0 1 1 0 1 0 1 1 3 1 1 0 1 0 2 1 0 1 1 2 2 0 1 1 1 5 1 0 1 0 2 0 0
-1 3 0 1 1 0 0 0 1 1 1 2 2 1 0 1 0 1 1 1 0 2 0 0 3 -1 0 0 0 2 0 0 0 3 0 3 0 0 5
0 0 1 5 2 0 0 1 5 1 2 2 0 0 2 1 2 1 -1 0 0 1 0 0 0 0 0 0 0 1 0 -1 2 0 0 -1 4 0
0 1 0 -1 1 2 0 1 0 1 0 2 1 3 3 0 0 0 2 8 0 2 0 0 1 -1 1 0 0 0 4 -1 1 1 4 1 5 0
4 1 1 1 0 4 0 0 0 0 0 0 0 0 0 0 2 3 0 1 1 1 1 0 1 2 0 1 0 0 0 2 -1 -1 1 0 0 0 5
0 0 0 3 0 3 0 2 -1 1 2 -1 2 0 0 1 0 1 1 -1 1 4 0 0 0 2 1 1 1 -1 3 0 0 3 0 2 -1
-1 0 1 0 1 0 0 1 -1 1 1 1 1 2 0 0 0 -1 0 -1 0 0 -1 1 1 2 1 0 0 1 0 1 0 0 0 0 0
2 0 3 1 0 2 0 0 1 1 2 0 -1 2 2 2 0 1 1 0 0 2 1 0 0 0 2 0 -1 0 0 3 0 -1 0 1 0 1
0 0 0 1 -1 0 0 0 0 1 4 2 0 0 2 3 -1 0 0 3 6 0 0 1 0 0 0 0 1 4 0 0 0 1 -1 -1 4 0
0 -1 3 0 1 -1 0 4 1 0 1 0 0 2 0 2 1 -1 0 2 4 0 1 3 0 4 1 -1 2 -1 0 0 0 0 6 0 1
0 0 2 0 1 0 -1 1 2 1 2 0 3 1 0 0 0 1 4 0 0 0 1 2 2 3 0 3 0 0 1 1 0 1 4 0 -1 0 0
0 1 0 3 1 0 0 1 1 0 1 2 -1 3 0 2 1 2 2 -1 2 1 0 0 0 2 5 0 0 1 0 0 2 0 0 0 1 0
-1 0 0 1 0 -1 1 0 1 0 0 0 1 3 0 0 2 5 2 2 -1 0 1 0 0 0 2 0 3 0 0 1 0 -1 1 1 1 4
0 6 0 1 -1 9 3 0 5 2 0 0 0 0 0 0 0 1 5 1 0 0 1 1 0 0 1 1 5 1 -1 3 2 0 1 -1 0 2
0 3 2 3 3 1 1 0 -1 0 -1 0 1 7 1 3 0 2 0 3 0 0 1 0 0 0 0 -1 0 2 0 3 0 -1 3 0 0 2
5 2 0 0 4 2 1 0 0 1 0 0 2 0 2 0 0 0 2 0 1 0 4 0 1 4 0 2 2 0 0 2 0 1 2 2 0 0 1 0
5 0 0 3 2 -1 -1 1 0 1 0 2 0 5 -1 1 4 2 -1 1 0 0 0 2 1 0 0 1 3 2 0 7 1 -1 1 1 -1
1 0 0 0 1 3 2 0 3 0 0 1 0 2 1 1 0 5 0 0 0 0 0 1 2 2 0 -1 0 2 0 3 1 2 0 0 0 0 1
0 0 0 0 1 0 2 -1 2 1 -1 1 1 2 0 3 0 0 0 0 2 3 0 1 0 0 0 1 0 0 2 1 0 0 0 0 0 1 0
0 0 0 0 0 0 -1 1 1 0 0 4 1 0 0 0 -1 0 1 0 5 0 1 0 3 0 0 1 1 -1 0 0 1 2 0 0 0 0
3 0 1 0 2 0 1 -1 1 4 0 1 0 5 4 0 0 0 0 0 1 0 2 0 2 2 0 0 0 2 4 5 1 -1 0 1 1 5 1
1 0 0 0 0 0 -1 0 0 1 0 0 0 1 5 1 0 2 0 1 0 2 1 0 2 3 0 0 2 0 -1 0 1 0 0 1 1 1 2
2 0 7 0 1 0 1 0 1 0 0 1 -1 0 0 0 1 -1 3 0 1 2 0 0 1 4 0 2 0 2 0 0 0 2 0 1 4 -1
0 -1 0 1 2 3 0 0 1 -1 4 1 0 1 0 2 0 1 1 0 3 5 0 0 0 1 4 0 2 2 -1 2 0 4 0 0 2 1
0 2 1 1 0 -1 3 0 1 0 -1 4 2 0 -1 3 0 0 2 0 0 4 0 1 1 2 -1 1 0 2 0 3 2 0 -1 2 0
0 1 1 0 2 1 1 0 1 0 0 0 0 1 1 0 1 2 0 0 0 1 1 1 1 0 1 2 2 4 1 0 0 1 -1 0 1 2 0
-1 1 0 2 6 -1 3 2 0 -1 0 1 2 1 -1 0 0 1 4 0 0 6 0 0 1 -1 0 -1 0 0 1 1 0 0 1 1 1
0 0 4 1 0 2 -1 1 0 0 0 2 0 1 0 1 1 -1 -1 0 0 0 0 0 2 1 2 0 1 0 1 0 2 2 1 0 4 0
0 0 -1 0 -1 0 0 0 2 1 1 1 2 1 -1 3 1 0 1 0 3 0 6 3 0 0 0 1 2 1 0 2 0 1 6 1 1 1
1 1 2 -1 0 0 0 0 -1 2 0 1 0 0 0 0 0 0 -1 3 0 -1 -1 0 1 0 1 0 1 6 1 0 0 0 2 1 2
0 0 1 2 2 0 0 1 7 0 1 1 4 0 1 -1 3 1 0 1 0 0 2 0 1 2 0 1 0 0 2 0 1 3 3 1 0 0 0
0 1 3 0 3 1 0 1 0 1 0 0 2 1 0 0 0 1 0 2 0 0 1 -1 1 1 0 0 1 1 0 0 5 2 0 0 1 0 -1
2 2 1 0 1 2 0 4 0 2 1 3 1 0 5 0 1 0 11 0 4 0 0 0 1 0 0 1 -1 0 0 0 0 3 10 0 1 0
0 0 0 0 1 9 0 10 -1 0 2 0 3 0 0 1 0 0 0 0 1 0 0 1 -1 1 2 0 2 -1 2 0 1 1 0 1 1 1
1 0 3 0 2 2 0 0 0 0 1 0 3 3 0 1 1 0 0 1 0 1 4 3 0 0 0 1 -1 -1 0 0 0 0 0 -1 0 0
6 -1 1 0 1 0 1 0 0 0 1 2 1 -1 0 2 0 0 0 2 1 3 1 0 0 0 0 1 1 3 0 2 0 3 0 0 2 0 0
0 2 0 0 0 0 2 2 0 0 1 0 1 0 1 0 0 1 5 1 1 1 0 -1 0 0 1 0 0 0 0 0 5 0 -1 3 1 0 0
0 0 3 3 5 0 0 0 0 7 0 1 1 0 0 0 0 2 2 1 0 0 0 2 1 1 0 0 0 0 0 1 1 0 2 2 0 3 -1
0 0 1 -1 0 2 0 2 0 0 2 0 1 0 2 0 4 4 2 1 2 -1 1 1 6 5 1 0 1 0 1 -1 3 0 0 3 0 0
2 5 0 0 0 2 0 3 0 0 -1 1 0 0 0 0 -1 0 0 4 0 1 0 1 1 1 -1 -1 1 1 1 1 0 0 0 0 0 0
0 0 -1 2 0 1 0 1 2 0 0 0 0 2 3 2 1 4 3 0 2 1 0 2 0 0 2 1 2 2 1 6 9 2 0 0 0 4 -1
2 -1 1 0 0 0 4 1 -1 0 3 2 0 0 1 0 0 0 3 -1 0 0 0 -1 1 5 1 -1 0 0 0 0 1 0 4 2 3
1 5 0 0 4 2 0 4 -1 2 4 1 0 6 1 2 0 1 1 0 0 1 0 4 2 0 1 1 0 1 1 1 0 3 1 2 0 1 1
0 1 0 2 0 0 3 1 0 -1 0 1 1 0 0 0 3 0 2 7 1 4 1 1 0 2 1 0 0 5 0 0 1 0 2 1 0 2 5
0 0 2 0 -1 2 0 3 0 1 -1 -1 4 -1 0 1 0 0 2 0 -1 2 3 0 0 1 0 1 0 0 0 2 -1 -1 0 0
4 1 -1 0 0 0 0 1 0 0 0 0 4 1 0 0 5 -1 0 -1 -1 0 5 0 0 0 5 0 -1 1 0 5 1 0 0 4 2
2 0 1 2 0 2 0 2 0 2 1 2 0 0 1 1 1 1 0 3 1 0 0 5 0 0 3 0 0 1 0 4 0 -1 3 2 4 2 -1
-1 1 1 -1 2 0 0 4 0 0 0 1 0 0 0 2 0 1 0 0 0 1 0 7 0 -1 0 1 0 2 0 0 0 0 0 0 1 0
2 2 3 -1 0 1 -1 1 1 5 5 2 6 0 0 1 0 0 4 0 0 0 3 0 0 0 0 3 -1 0 0 1 1 0 0 0 0 0
-1 0 -1 2 11 0 2 0 1 4 2 0 4 0 1 6 0 1 0 0 2 1 -1 0 0 2 0 3 1 2 1 2 2 1 -1 -1 0
1 1 1 1 3 2 0 0 0 -1 -1 0 0 1 1 0 7 0 3 1 0 0 1 4 1 0 1 5 2 1 2 0 1 0 1 -1 3 0
3 0 0 0 0 1 0 0 0 5 3 -1 0 2 0 -1 1 0 0 0 0 1 0 1 0 0 2 0 0 0 1 4 0 2 2 0 0 1 1
-1 1 0 1 0 -1 0 1 0 2 0 8 -1 1 2 0 -1 0 3 0 3 1 0 -1 0 0 0 0 7 3 1 0 5 0 1 -1 4
4 0 0 2 0 2 3 0 0 0 0 1 1 0 0 0 0 0 0 -1 0 0 -1 2 9 2 1 1 0 0 2 1 -1 1 2 0 0 0
2 3 2 0 0 0 0 1 1 0 1 2 2 1 0 8 -1 0 -1 2 0 0 2 0 0 4 2 0 1 0 1 -1 0 0 3 0 5 0
3 1 0 1 1 0 1 0 0 0 -1 3 0 2 0 0 1 0 1 0 5 4 1 2 2 0 2 4 0 2 0 2 2 0 6 3 2 1 0
0 0 0 0 5 1 2 1 0 0 -1 2 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 4 2 3 1 1 0 0 0 0 -1 1 3
2 -1 0 0 1 1 -1 1 0 0 3 0 0 1 -1 1 2 0 3 2 0 0 0 1 1 2 1 0 1 0 0 -1 1 0 1 0 0 0
0 3 1 -1 1 0 1 1 1 0 3 5 1 0 0 0 2 1 0 0 0 1 0 -1 0 0 0 1 -1 1 1 2 1 2 0 -1 0 2
1 2 4 0 1 1 0 1 2 2 2 0 0 1 0 0 0 1 1 0 0 1 0 0 0 2 1 0 1 0 1 2 -1 2 0 0 2 -1 0
1 0 0 0 0 0 0 0 0 3 0 4 -1 2 1 1 0 1 1 2 0 2 0 0 2 2 0 0 3 0 3 1 1 -1 1 -1 1 1
2 1 0 1 0 2 2 0 0 0 0 1 1 0 5 1 1 0 1 3 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0
0 1 0 1 2 2 0 0 1 0 0 1 0 0 0 -1 -1 0 4 2 2 1 -1 0 3 0 2 1 1 2 0 1 0 4 1 0 2 1
1 3 0 0 0 1 0 1 1 2 3 0 2 1 0 1 2 1 0 0 0 1 0 1 0 0 1 5 0 -1 1 1 3 1 0 7 1 -1
-1 3 1 0 0 1 -1 0 0 0 1 3 0 0 0 4 0 0 2 0 0 3 1 -1 1 1 0 0 -1 0 3 3 0 0 0 1 1 0
1 0 1 1 -1 0 3 0 0 1 0 0 3 1 0 1 4 0 1 0 0 0 2 0 0 0 5 0 1 1 0 0 1 1 0 0 0 0 0
-1 0 4 1 0 0 0 0 0 1 0 0 2 1 -1 2 1 1 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 0 0 0 1 0 0
0 0 0 0 0 1 -1 1 2 0 2 2 1 2 0 0 4 0 0 0 1 1 1 1 0 0 0 1 2 1 0 5 1 3 3 0 0 0 1
3 0 0 0 8 -1 -1 3 -1 0 0 1 0 1 0 0 3 2 -1 0 0 0 0 0 0 1 -1 0 0 0 0 0 4 -1 1 0 2
3 0 1 1 4 0 -1 7 0 -1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 2 1 1 3 0 0 0 0 3
-1 -1 0 0 0 0 2 1 1 -1 -1 1 2 0 1 2 2 0 0 5 0 0 0 0 0 2 0 0 0 4 0 1 0 0 0 0 0
-1 1 0 0 1 3 0 0 1 5 0 1 0 1 3 0 1 0 5 1 0 0 0 -1 4 0 0 1 0 2 0 0 0 1 1 4 2 -1
1 4 2 1 2 0 1 0 1 0 0 0 0 0 0 0 1 1 3 0 0 5 0 0 -1 1 0 0 0 0 0 -1 0 0 0 1 3 1 0
0 0 0 0 1 2 5 0 0 2 2 3 0 2 3 0 1 0 4 0 1 2 0 2 -1 4 2 2 1 2 1 1 4 0 7 4 0 0 0
2 1 4 -1 9 1 2 0 1 1 0 1 0 -1 0 0 0 1 3 0 1 4 0 1 0 1 0 0 0 3 0 0 0 2 0 0 0 0 0
0 0 0 1 1 3 -1 0 1 0 -1 1 1 1 1 0 2 2 1 1 0 1 0 0 0 2 0 0 3 1 0 0 4 0 2 0 8 0 1
1 1 0 0 1 0 1 0 0 0 0 2 -1 1 1 0 1 6 1 -1 2 2 7 2 1 2 0 1 -1 1 1 0 1 2 0 0 0 2
2 2 6 0 5 1 2 4 0 2 3 0 -1 0 0 0 0 4 1 0 1 3 3 1 0 -1 2 3 0 0 0 4 4 0 0 1 0 0
-1 2 0 0 1 -1 0 4 0 0 2 0 5 1 -1 1 0 0 3 2 0 0 0 0 2 2 0 1 0 0 1 -1 0 1 1 0 3 0
2 0 -1 4 1 1 1 2 0 0 0 1 0 0 0 -1 1 0 2 2 1 1 2 2 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0
-1 1 0 0 1 0 4 1 0 2 2 0 2 0 0 1 0 0 3 3 3 1 6 0 2 1 1 0 0 1 0 3 1 1 3 0 0 2 3
0 0 0 2 1 -1 1 4 1 0 3 5 0 1 -1 0 4 5 1 0 1 3 1 2 0 2 1 0 4 0 0 1 0 4 1 3 0 0 0
0 0 0 0 0 0 0 1 0 3 1 0 0 1 0 2 0 1 3 0 0 1 0 1 -1 0 4 3 0 0 3 2 4 4 0 1 1 -1 0
0 1 2 1 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 1 0 0 -1 0 0 -1 2 1 0 2 1 2 0 4 -1 0 0 0
1 0 0 0 0 -1 1 0 1 3 0 2 0 0 1 0 0 1 0 -1 0 0 1 0 1 1 5 1 -1 0 0 2 3 0 0 1 0 -1
4 1 0 0 1 0 2 1 10 0 0 0 2 0 4 0 0 -1 -1 -1 4 0 1 0 1 0 0 -1 1 -1 2 -1 0 2 0 0
0 1 0 2 0 1 0 0 1 2 1 0 0 -1 0 0 2 3 -1 1 4 0 0 0 0 1 1 2 0 1 0 0 2 1 0 0 0 0 3
0 0 0 0 1 1 1 -1 1 1 0 -1 1 1 2 0 1 4 1 0 0 1 2 1 0 -1 -1 4 1 2 0 0 3 0 0 -1 -1
2 1 0 1 -1 0 0 0 -1 1 0 0 0 -1 0 2 1 0 0 0 0 1 0 1 0 3 0 0 0 -1 5 0 1 5 0 -1 1
3 1 0 0 1 1 0 1 4 8 1 1 1 0 0 0 5 1 2 1 1 0 2 0 0 1 1 1 0 5 0 0 1 1 1 0 0 2 0 0
0 3 3 3 1 0 0 1 2 2 0 1 0 2 0 0 0 1 1 0 0 0 3 0 -1 0 1 1 1 0 0 0 1 0 0 -1 3 2 0
-1 6 1 1 0 1 1 0 0 0 3 -1 -1 0 0 0 1 0 0 1 0 3 1 0 6 1 0 0 0 -1 5 3 2 0 2 1 0 0
1 0 2 1 1 0 0 1 0 2 0 0 0 0 1 1 5 0 0 2 1 2 0 0 -1 0 1 1 2 1 -1 4 2 3 4 0 0 0 0
0 3 1 0 3 2 0 2 0 0 0 0 1 1 0 0 0 -1 2 2 -1 1 0 0 0 0 1 -1 1 1 0 0 3 0 0 0 0 1
0 6 0 -1 2 -1 1 0 0 -1 0 0 3 4 5 2 1 0 0 0 0 1 0 0 0 3 2 0 0 1 0 1 1 0 1 1 1 2
0 1 -1 3 0 1 2 1 0 1 1 -1 0 2 0 -1 3 0 2 0 1 1 0 0 0 1 3 0 0 2 5 0 0 1 1 0 2 1
3 -1 0 1 5 0 1 2 0 2 0 0 2 1 3 0 0 0 0 0 0 1 1 0 2 0 0 1 0 0 3 0 1 3 5 0 0 1 1
0 1 0 2 0 -1 1 0 0 1 0 3 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 3 0 0 0 0 2 4 0
2 1 1 3 0 0 0 1 1 0 4 0 3 0 2 -1 0 0 1 1 2 1 0 0 -1 0 1 0 5 0 0 0 0 0 1 0 1 0 0
0 0 3 0 2 0 0 0 1 0 1 1 0 1 0 0 2 3 -1 0 3 0 2 1 0 0 0 2 0 1 3 1 3 1 4 0 1 0 3
0 1 1 2 -1 0 2 0 -1 0 1 0 0 2 0 0 0 0 0 4 0 0 0 1 1 5 0 1 0 0 1 0 3 1 -1 0 1 -1
0 2 1 3 0 2 3 10 0 1 4 0 0 0 0 0 0 1 0 2 1 4 2 0 2 -1 1 0 -1 0 0 1 1 1 0 0 0 0
2 1 0 1 0 -1 0 0 0 0 1 0 4 0 1 0 3 0 1 3 1 2 3 0 0 3 0 1 0 0 0 0 1 1 0 5 2 0 1
1 3 0 1 0 1 1 0 1 0 0 3 -1 1 4 2 3 0 2 0 2 1 0 0 -1 1 2 0 0 3 0 7 0 1 4 0 0 3 0
2 1 0 0 1 0 0 1 0 0 0 1 3 2 1 1 0 -1 1 3 0 3 0 0 0 4 0 1 0 0 0 0 2 1 0 0 2 2 0
0 -1 -1 1 0 1 0 -1 -1 0 4 5 2 0 0 -1 0 2 -1 1 0 0 4 1 0 1 1 0 -1 0 0 -1 -1 0 3
0 1 0 0 0 0 5 0 1 1 0 0 0 0 0 4 0 2 3 0 2 -1 2 0 4 0 2 2 0 0 3 -1 1 0 1 0 1 0 1
0 3 0 -1 3 0 0 0 5 1 0 0 -1 0 0 2 0 1 -1 0 0 0 0 2 3 0 0 5 3 0 1 0 0 1 0 2 1 0
0 3 0 -1 0 0 1 4 0 0 0 1 0 2 0 1 4 0 3 2 1 -1 0 -1 3 0 1 3 0 0 0 -1 0 0 1 2 2 0
1 0 1 0 2 0 0 3 2 2 1 1 1 1 1 0 0 2 0 4 0 2 1 -1 2 0 0 1 0 0 2 0 -1 0 3 -1 0 4
7 4 2 1 1 1 0 1 0 0 1 2 0 0 1 3 0 2 0 0 0 3 1 0 7 2 0 0 0 0 3 1 0 1 0 4 1 0 3 6
0 2 0 0 2 0 0 2 0 0 3 -1 0 0 1 0 1 0 0 1 0 1 0 0 4 0 0 -1 -1 2 0 0 1 1 -1 0 3 0
1 0 0 0 -1 0 0 1 1 1 1 0 0 0 1 0 1 0 -1 -1 -1 1 2 0 -1 0 1 0 2 2 0 3 0 2 1 1 0
0 -1 0 -1 3 0 0 1 0 0 0 2 0 2 1 0 0 0 1 2 0 1 3 -1 0 0 2 9 0 4 -1 0 2 0 0 0 4 1
3 0 3 0 1 -1 0 0 1 5 4 5 1 1 3 1 0 0 0 2 4 0 0 2 -1 0 0 3 2 0 1 0 1 1 2 2 2 0 4
0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 -1 0 -1 0
-1 1 0 1 0 0 1 1 -1 -1 0 0 0 2 0 5 3 0 7 0 6 0 1 0 0 3 2 -1 0 1 1 1 0 0 0 0 2 0
0 0 -1 0 1 1 0 0 1 1 3 2 0 1 2 2 4 0 0 0 0 0 0 0 4 0 1 2 0 1 0 0 1 0 0 0 0 0 0
1 2 1 0 0 0 0 1 0 2 2 0 1 1 0 -1 0 1 1 0 2 1 3 0 0 2 1 0 2 0 -1 0 0 0 2 0 1 0 0
0 1 0 2 0 1 1 0 3 0 1 2 0 0 4 -1 2 0 0 0 0 0 4 -1 0 2 3 2 -1 1 3 1 1 1 0 1 1 -1
0 1 0 0 -1 -1 3 2 0 5 2 3 3 0 1 0 0 0 5 1 0 0 0 1 1 0 0 1 0 -1 3 0 0 0 1 1 0 0
2 1 1 1 -1 1 0 0 0 4 0 0 0 0 0 0 7 2 5 1 -1 2 1 0 0 0 0 0 0 -1 1 0 1 1 1 5 0 0
3 0 0 1 0 1 1 0 1 5 2 2 3 0 0 0 0 0 2 3 -1 -1 0 0 3 -1 1 -1 2 0 0 -1 0 1 2 0 1
1 -1 0 1 0 2 3 2 0 0 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 1 0 -1 6 1 0 -1
0 0 0 0 0 1 2 0 1 0 -1 1 0 1 4 0 0 0 0 0 2 0 1 0 -1 0 0 1 0 1 0 0 1 0 0 0 0 1 4
0 0 0 1 2 1 2 2 0 0 2 3 0 1 2 1 0 0 0 2 0 0 0 1 1 0 2 0 -1 1 -1 1 0 1 0 0 1 0 6
2 3 0 1 0 1 2 0 0 3 -1 0 1 2 1 5 0 1 -1 1 1 -1 7 0 2 0 1 0 3 0 0 3 0 0 0 1 0 0
2 1 3 1 1 0 2 6 0 0 -1 3 0 2 1 1 0 2 0 0 0 3 2 0 -1 0 0 1 0 5 0 3 -1 0 4 3 1 0
1 0 1 0 0 -1 0 0 0 0 1 0 1 3 -1 1 -1 0 1 -1 4 0 1 0 0 2 -1 0 0 0 2 0 0 1 -1 6 1
1 0 1 0 -1 0 1 0 0 0 2 0 0 0 2 2 0 -1 0 1 2 1 -1 0 -1 1 0 -1 0 0 0 0 1 1 0 2 1
0 0 0 1 1 2 0 4 0 4 -1 0 1 1 3 6 -1 1 0 1 0 2 3 2 0 0 1 0 0 0 0 1 4 1 0 2 1 0 0
1 0 0 0 2 2 0 0 -1 0 0 1 0 0 1 0 3 0 0 1 4 0 0 1 0 0 1 2 0 1 0 6 0 1 1 1 1 1 4
0 0 7 0 -1 2 0 0 0 5 1 0 1 0 1 2 0 0 2 0 -1 3 0 0 1 2 0 1 0 1 1 0 1 0 0 0 0 0 0
2 0 1 1 3 4 2 0 1 0 1 0 2 1 1 2 0 1 0 -1 4 2 0 2 1 2 1 0 1 2 0 -1 0 0 2 1 4 1 0
1 6 0 5 0 0 0 1 0 3 0 -1 1 0 1 0 1 0 0 0 0 1 0 0 3 1 1 0 2 0 0 -1 5 0 3 1 0 0 2
0 0 2 0 1 1 -1 1 0 0 0 1 1 4 -1 0 1 0 1 0 0 2 2 2 1 0 1 1 1 3 0 0 0 0 1 0 0 0 1
0 1 0 0 1 2 0 1 2 -1 4 2 1 1 3 5 1 2 0 1 0 1 0 0 0 0 -1 0 4 0 -1 0 0 0 0 0 0 1
0 0 0 0 0 0 -1 0 3 0 0 0 1 1 0 0 -1 0 0 0 1 1 0 3 3 0 0 4 0 0 2 0 0 0 5 0 0 0 1
0 1 0 2 2 0 0 -1 0 2 2 0 0 4 3 0 5 -1 0 -1 1 0 0 2 4 0 3 5 0 0 0 -1 -1 2 2 -1 1
0 1 -1 -1 1 1 0 1 1 0 -1 2 -1 1 0 0 2 1 0 0 3 0 0 0 1 0 0 1 1 0 1 1 1 4 0 4 0
-1 0 0 1 0 0 0 0 0 2 1 2 0 2 0 1 0 0 0 -1 0 0 0 3 1 1 1 0 0 0 7 0 0 4 0 -1 0 0
0 0 3 0 2 1 0 0 0 0 5 0 0 5 0 4 0 1 0 0 0 0 0 2 0 2 0 2 1 0 0 0 0 2 6 0 0 3 1 0
8 0 0 1 -1 0 4 2 0 1 1 0 -1 0 1 0 0 1 1 0 2 0 0 2 -1 0 2 2 3 0 3 0 3 5 6 0 0 2
1 1 0 7 1 0 5 0 0 1 3 0 3 0 1 -1 1 2 0 0 3 0 0 1 0 1 2 2 1 4 0 0 0 2 0 0 1 0 0
0 0 2 1 3 4 1 0 0 2 2 2 0 0 5 0 1 0 1 0 0 0 0 -1 -1 7 2 3 1 1 -1 0 0 1 3 0 5 1
0 0 3 0 0 0 0 1 3 0 4 2 2 1 5 0 6 0 2 0 1 3 2 0 0 1 0 1 1 3 0 0 0 0 -1 1 0 1 1
1 0 0 1 2 2 1 1 1 1 4 0 0 2 1 2 0 0 2 5 0 1 0 0 0 4 0 3 0 0 0 1 0 0 0 -1 0 0 0
1 5 0 1 0 1 0 -1 1 1 0 0 0 -1 0 2 0 -1 0 0 -1 0 2 0 4 2 0 0 1 2 2 0 1 4 1 0 0 1
1 2 0 0 0 0 0 0 3 0 4 0 1 0 1 0 2 0 0 1 1 0 -1 2 1 0 0 0 3 5 0 0 2 2 0 1 0 0 0
0 6 1 1 0 1 5 0 5 1 0 0 0 0 0 -1 0 0 3 0 1 1 2 1 1 3 1 0 0 2 0 3 2 4 2 0 0 2 1
-1 3 2 -1 0 1 3 0 1 1 0 0 3 0 2 0 5 1 2 3 0 0 2 0 0 2 0 -1 0 1 0 2 0 0 0 0 1 1
2 1 0 6 2 0 2 2 0 0 0 0 1 0 1 0 2 1 1 0 -1 0 0 -1 0 0 0 1 1 0 1 0 2 2 0 0 0 0 3
0 -1 2 0 2 0 0 1 -1 4 0 0 2 2 5 0 4 1 3 1 0 1 4 0 0 1 1 4 5 3 0 2 1 1 1 0 3 1
-1 0 1 1 0 -1 0 2 0 0 0 1 0 1 2 0 0 0 -1 0 0 0 1 0 2 0 0 0 0 4 0 0 0 1 1 0 0 -1
-1 2 1 3 0 0 0 0 3 1 1 0 0 2 1 0 0 0 1 -1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 2 4 1 2 0
2 -1 4 0 0 0 3 1 1 3 1 0 2 1 0 2 0 3 1 1 1 0 1 8 4 1 1 -1 2 2 0 2 4 2 1 1 0 1 0
0 0 1 7 0 -1 0 -1 0 0 2 1 0 0 0 1 0 2 0 0 0 0 5 -1 2 0 0 4 5 -1 4 0 0 0 0 0 0 0
1 1 0 5 2 2 0 0 0 2 0 0 2 0 0 0 -1 5 3 1 0 1 1 0 0 2 0 1 1 0 0 0 1 -1 1 0 6 -1
0 2 1 3 8 1 1 0 1 0 0 0 2 1 0 4 0 0 0 0 -1 1 0 0 0 -1 0 0 2 1 0 0 0 2 1 2 1 1 0
2 4 0 -1 0 1 0 1 1 1 0 1 0 3 0 1 1 4 0 2 -1 5 2 -1 1 3 1 4 0 1 1 1 3 0 0 1 0 1
1 1 0 0 3 3 0 3 1 1 0 1 0 0 2 0 0 1 0 0 0 3 1 0 0 2 1 0 0 2 0 -1 1 2 0 -1 1 1 1
1 -1 2 -1 1 3 0 0 0 1 1 0 0 -1 2 0 0 0 0 0 2 -1 0 1 0 -1 -1 0 0 3 0 4 0 0 0 1 2
0 1 0 1 1 4 2 0 1 0 0 -1 2 -1 1 0 0 3 3 0 0 1 0 0 0 2 3 1 0 0 1 1 1 0 1 2 0 1 0
0 0 -1 1 0 1 3 2 0 2 -1 -1 1 0 0 1 2 0 0 0 2 0 3 4 2 4 0 2 0 2 0 0 0 1 0 0 2 1
0 2 0 1 0 0 0 1 -1 0 1 0 0 0 1 0 0 4 0 3 1 4 1 0 -1 0 0 1 0 0 2 1 -1 1 -1 3 1
-1 1 0 1 0 0 2 0 -1 -1 2 1 1 1 -1 1 5 0 2 0 0 0 0 0 0 5 0 5 -1 1 1 0 0 1 0 0 1
0 0 0 1 1 2 0 0 0 0 0 0 0 0 1 0 0 1 -1 1 2 2 0 -1 2 0 1 5 2 1 0 0 0 0 0 0 0 0 0
0 0 0 2 0 0 2 3 0 0 6 0 0 1 0 0 1 0 0 6 0 1 0 0 0 0 0 3 1 0 1 3 2 0 1 0 0 1 0
-1 1 0 1 -1 1 0 4 0 0 3 5 0 0 1 -1 3 0 1 0 0 0 1 0 -1 4 0 -1 1 0 1 0 3 4 -1 2 0
2 0 -1 1 0 0 2 0 -1 0 3 1 2 1 0 -1 4 0 1 2 0 1 7 1 0 1 0 1 0 0 -1 1 4 0 1 0 4 1
0 -1 1 0 1 0 2 1 2 1 2 2 0 0 3 1 2 5 0 1 7 0 0 2 2 0 3 0 2 2 0 1 0 4 1 0 3 3 2
0 5 0 0 0 3 0 2 1 0 0 1 3 0 1 0 2 -1 1 0 0 1 2 5 0 1 0 4 0 0 0 0 0 3 1 0 0 1 1
0 2 0 0 2 0 2 0 0 0 1 0 0 0 0 0 0 8 6 0 1 6 0 0 0 6 0 0 1 3 4 -1 0 0 0 0 0 2 2
0 1 1 1 2 -1 2 2 2 0 1 0 1 1 0 2 0 0 0 4 0 0 0 0 3 2 0 0 0 0 0 0 -1 1 1 0 1 0 0
2 0 0 4 0 0 2 1 0 0 2 0 0 0 0 0 1 -1 1 0 3 0 0 3 0 0 -1 0 7 0 2 0 0 0 1 0 0 0
-1 1 1 0 1 1 2 0 1 1 3 3 0 0 0 3 1 2 0 2 5 0 1 0 5 1 0 3 0 1 0 1 0 1 0 2 1 4 0
2 1 10 0 0 3 1 0 0 0 4 3 0 0 0 8 1 0 0 2 1 4 0 -1 0 1 0 1 1 1 0 3 4 0 1 0 0 0 1
0 1 0 0 0 0 0 0 1 0 2 0 0 0 2 0 0 -1 5 2 1 1 -1 0 1 0 2 3 3 0 -1 0 2 1 0 4 1 2
1 0 0 0 1 0 3 1 3 0 1 0 3 2 0 2 0 0 4 1 0 6 0 0 0 3 0 0 0 2 1 3 1 1 0 0 0 0 1 2
3 3 0 0 3 0 1 3 1 0 0 4 0 3 0 0 1 2 4 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 2 0
3 0 0 1 0 0 0 2 0 0 0 0 -1 0 3 3 1 0 -1 -1 -1 0 1 1 0 1 0 0 -1 8 -1 0 3 0 0 0 3
4 1 0 0 0 3 0 -1 -1 1 0 0 2 1 0 0 -1 2 3 0 0 -1 0 0 0 1 0 0 0 2 3 0 0 0 2 0 5
-1 0 7 1 1 0 0 0 1 1 2 0 4 1 0 2 1 0 -1 1 0 0 0 2 0 0 0 1 -1 0 0 2 2 0 5 0 0 1
1 0 1 1 0 0 2 1 0 1 1 1 1 1 0 0 0 1 3 0 0 0 1 0 1 1 1 6 -1 0 3 1 0 1 0 2 1 2 0
0 0 2 3 1 -1 3 1 0 1 4 1 5 2 2 6 1 0 0 -1 1 0 1 0 0 0 4 1 3 2 2 0 4 0 0 1 1 0 1
0 0 0 -1 2 0 1 0 0 0 0 0 6 3 -1 0 2 2 2 1 5 0 -1 5 4 0 0 0 -1 0 0 0 -1 1 2 1 2
0 0 0 0 1 0 0 2 0 2 0 -1 -1 1 1 0 0 1 -1 -1 2 0 5 0 0 1 2 0 0 0 0 0 1 1 0 0 -1
1 1 3 1 -1 0 0 0 1 0 1 0 1 1 4 2 1 1 3 0 -1 -1 5 0 0 1 0 1 0 -1 1 0 0 2 1 0 0
-1 6 0 0 6 0 0 0 0 3 0 1 1 6 -1 0 0 -1 0 7 1 0 0 0 1 0 0 2 1 0 0 4 0 1 0 2 0 0
0 0 0 0 0 1 2 0 0 0 0 0 0 3 0 0 0 1 7 -1 0 4 0 4 0 2 -1 2 1 3 0 2 0 0 1 6 2 0 0
0 1 -1 1 0 0 0 1 0 1 2 1 0 0 4 0 0 3 1 4 -1 0 0 1 3 0 0 1 13 0 0 0 1 4 6 2 1 1
0 3 0 0 0 2 0 0 6 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 1 1 1 3 0 1 14 2 0 3 1 5 0 2
3 0 5 4 0 1 0 0 0 0 2 2 0 1 0 2 -1 5 0 1 0 -1 1 6 0 2 1 0 0 0 0 1 0 4 0 0 -1 0
0 0 8 0 1 0 -1 3 0 1 0 0 0 1 2 2 0 0 0 1 0 0 5 1 0 0 0 1 4 2 0 0 0 0 -1 1 4 0 1
0 2 2 0 1 1 0 1 0 0 0 0 1 0 0 2 0 1 -1 6 1 3 -1 11 -1 -1 2 0 0 1 0 0 0 0 1 5 0
0 2 0 0 1 1 1 1 0 0 1 1 0 4 0 -1 0 0 4 0 2 5 0 1 0 0 -1 1 1 0 1 -1 0 0 1 -1 -1
-1 0 3 3 1 1 1 0 2 0 0 1 0 0 0 1 0 4 1 0 2 4 3 3 0 3 0 0 0 1 1 2 1 0 1 0 1 0 0
2 4 1 0 2 0 0 4 0 1 2 1 0 0 2 4 0 1 1 1 1 4 1 1 0 0 1 4 1 1 0 1 1 3 0 0 0 0 2 0
1 0 0 3 1 6 3 -1 0 2 0 0 0 2 0 1 -1 2 2 0 0 1 0 0 1 1 0 1 1 0 0 2 0 0 1 0 0 0 0
4 -1 2 2 0 1 0 0 1 4 0 0 0 0 2 1 0 5 1 0 1 0 0 7 0 0 2 1 0 0 1 2 0 4 2 3 0 0 0
-1 1 1 0 0 0 1 0 1 1 2 1 1 -1 0 2 0 0 2 1 4 0 -1 -1 0 0 1 -1 0 0 0 1 3 5 -1 0 0
0 1 4 0 1 0 0 0 2 0 -1 3 2 4 0 -1 0 0 0 0 0 1 0 2 1 1 -1 3 0 2 0 -1 -1 2 3 3 2
1 0 2 0 0 0 -1 5 0 0 2 1 0 0 -1 1 0 2 0 1 2 2 1 1 0 0 0 3 2 1 1 10 0 3 0 0 0 1
0 -1 2 6 1 -1 2 1 1 3 0 0 0 1 0 0 0 0 0 1 0 0 1 4 4 0 3 2 0 0 2 1 0 3 1 2 0 0 0
-1 3 0 -1 3 0 0 1 0 0 3 1 1 0 0 -1 0 -1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 2 0 -1 1 0
0 2 -1 1 1 0 4 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 2 2 1 0 1 0 0 1 -1 1 -1 1 0 2 -1 2
1 1 2 1 0 1 0 0 1 1 0 0 1 0 5 3 0 1 1 1 5 -1 2 1 2 2 2 0 1 1 0 0 1 0 0 1 0 0 1
0 0 1 0 4 2 0 1 0 0 1 1 0 1 3 1 3 0 0 0 0 2 -1 0 3 2 5 3 3 2 0 5 0 0 0 1 2 0 1
3 1 1 0 0 3 0 5 1 1 0 0 1 0 0 0 1 3 0 0 0 0 0 1 -1 0 1 0 1 0 0 0 -1 2 4 0 -1 0
0 1 3 2 2 3 0 0 3 1 0 0 0 0 1 1 0 0 2 0 0 0 1 5 0 2 0 0 0 0 2 5 3 0 0 1 -1 2 1
1 0 3 3 0 2 1 0 1 0 1 0 0 1 1 2 3 1 -1 2 0 -1 0 1 1 0 0 4 1 2 0 4 0 0 1 1 0 2 0
-1 0 0 3 3 1 0 0 0 1 1 -1 1 0 0 0 0 0 4 0 1 1 2 0 1 0 0 0 3 0 2 1 0 1 0 0 3 0 1
-1 2 -1 0 0 -1 0 1 0 2 0 0 2 0 0 1 1 4 0 0 1 2 -1 2 0 1 0 2 -1 0 2 3 0 0 0 1 1
0 -1 0 0 -1 2 0 1 3 1 0 0 -1 1 0 0 1 1 -1 0 0 0 2 -1 0 5 0 1 1 0 0 2 0 2 1 1 1
6 4 2 0 1 0 -1 3 -1 0 0 1 0 0 2 0 0 0 0 0 0 2 0 1 0 1 0 3 0 0 1 0 0 3 0 0 1 5 0
-1 2 0 0 0 0 0 -1 0 2 2 0 2 4 1 0 1 -1 0 0 0 1 -1 2 1 0 2 0 0 0 2 3 0 2 0 1 2 1
3 1 4 0 2 -1 -1 2 1 0 2 3 1 0 0 3 0 0 0 1 1 0 1 3 0 0 4 0 0 3 0 0 1 0 0 1 1 2
-1 0 1 0 1 0 0 1 0 0 2 1 0 0 1 1 0 0 0 1 0 0 2 4 1 2 0 0 3 0 1 1 0 0 0 -1 1 1 0
3 -1 6 0 1 1 5 2 1 2 0 3 0 1 0 0 -1 1 0 0 1 2 -1 2 1 4 0 0 0 1 0 -1 -1 -1 1 0 3
0 0 1 2 0 0 0 0 2 3 -1 -1 1 0 0 0 1 -1 1 1 4 1 1 0 0 0 0 2 0 -1 0 1 0 0 0 0 4 3
-1 0 1 5 -1 0 2 0 0 3 1 -1 0 0 1 1 -1 0 0 1 0 0 -1 3 1 2 0 2 0 2 -1 1 2 1 5 1 2
0 0 0 1 2 0 0 0 0 2 1 0 0 1 2 1 0 2 2 0 0 0 1 -1 2 1 2 1 1 3 0 0 2 0 0 1 0 0 2
1 2 0 3 0 0 1 0 6 3 0 1 2 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 3 3 0 2
1 0 -1 1 3 9 0 2 2 2 0 -1 0 0 0 0 1 2 0 0 2 0 -1 2 0 1 0 0 0 2 2 1 0 0 0 2 1 2
0 1 1 1 1 0 0 0 0 -1 1 1 0 0 0 0 -1 0 0 0 0 -1 0 5 0 0 0 0 0 3 0 2 1 0 2 0 0 0
2 0 -1 2 -1 1 4 1 -1 0 5 1 1 0 0 5 1 2 6 0 1 0 2 4 1 -1 1 2 3 1 2 0 0 0 1 -1 1
0 -1 0 0 1 1 0 0 0 3 1 1 1 2 2 3 1 0 0 -1 3 1 2 0 -1 3 0 1 1 6 0 0 3 0 2 0 0 0
2 -1 0 -1 -1 0 0 4 0 0 -1 0 1 0 1 2 0 1 0 0 2 0 0 0 0 0 1 0 -1 0 2 0 1 1 1 0 0
1 0 1 0 0 3 0 1 0 -1 2 -1 -1 3 0 0 2 1 0 0 1 2 0 1 0 1 3 1 0 2 1 0 0 0 1 0 1 5
0 0 0 4 6 2 0 1 1 3 1 1 1 2 0 3 1 0 0 0 7 1 0 2 0 0 0 1 2 -1 0 3 1 1 2 1 0 0 5
0 1 0 1 0 0 -1 4 1 0 1 0 6 1 -1 6 0 1 2 1 0 2 0 4 1 1 1 0 1 1 0 1 1 1 1 1 -1 0
0 2 0 1 2 1 0 0 4 0 2 6 3 0 -1 0 3 1 0 0 0 1 0 1 0 0 -1 1 1 5 1 0 2 0 0 0 2 0
-1 0 0 0 0 0 3 3 0 3 0 0 0 2 0 0 0 3 8 0 1 2 0 0 0 3 2 0 0 0 0 0 0 5 0 1 1 1 -1
2 0 -1 1 0 1 1 -1 0 0 0 0 2 1 3 0 0 1 0 1 0 2 1 0 -1 0 1 2 0 0 0 1 -1 0 0 1 0 0
4 0 0 0 0 0 0 2 -1 0 0 0 1 -1 1 1 0 -1 0 2 0 0 0 4 1 1 2 0 5 0 1 2 0 -1 0 1 0
-1 4 0 0 0 3 2 1 2 5 1 1 1 1 1 0 0 3 0 0 3 0 1 0 4 0 0 0 5 0 4 0 -1 0 5 0 2 5 0
0 0 0 0 0 -1 0 0 0 1 -1 1 0 0 0 -1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1
0 0 1 0 0 1 0 1 0 -1 0 1 1 2 0 0 2 -1 0 0 0 1 3 0 0 1 2 0 0 0 -1 1 0 0 3 1 2 0
3 1 0 1 2 3 0 0 -1 0 0 0 1 1 2 0 1 4 2 1 2 1 0 1 0 2 0 1 4 2 2 2 0 3 0 3 0 1 1
2 0 2 0 0 3 0 3 0 0 0 0 0 0 -1 0 1 0 1 2 1 1 0 1 1 3 0 6 1 1 0 0 0 1 0 0 1 1 0
1 0 2 0 1 0 0 2 0 0 0 0 2 1 0 0 0 5 2 0 7 0 1 1 0 1 2 0 1 0 0 5 0 4 3 0 2 0 0 1
4 0 0 -1 3 0 0 1 1 0 3 1 0 0 0 4 3 0 2 1 2 0 1 -1 1 -1 3 0 0 2 1 1 0 0 3 0 0 0
0 2 0 -1 0 1 0 1 0 -1 0 0 0 2 1 0 2 2 0 0 1 1 0 1 6 0 1 0 0 0 1 1 0 0 -1 0 2 2
1 0 -1 1 2 2 1 -1 1 -1 1 1 0 1 4 1 0 0 0 0 -1 0 0 3 1 0 0 1 2 0 0 0 -1 0 2 0 0
0 0 1 0 0 1 1 0 0 0 1 0 0 2 0 -1 1 0 0 2 0 0 0 0 3 0 0 0 0 5 2 0 3 1 4 0 0 0 0
0 0 3 1 0 6 3 2 2 0 -1 3 1 0 0 0 2 5 1 0 1 1 0 0 0 0 0 4 3 0 4 0 2 1 0 1 5 1 0
-1 0 2 0 -1 1 0 0 1 2 1 0 1 0 4 0 0 -1 0 1 0 0 2 0 1 2 0 0 4 -1 2 0 0 1 0 1 1 0
0 0 -1 0 1 0 4 0 5 2 0 3 1 1 4 1 -1 0 3 -1 4 0 -1 9 1 0 0 2 0 3 0 2 0 0 2 0 0 1
0 1 0 0 0 3 2 0 0 -1 1 -1 0 -1 0 1 0 2 1 -1 4 1 -1 0 -1 0 0 0 1 0 -1 -1 5 3 2 1
0 1 0 -1 1 0 3 0 2 1 0 1 0 4 2 0 0 4 1 1 0 1 0 0 2 0 0 0 1 0 0 1 0 1 2 4 0 3 0
0 3 0 0 0 0 0 -1 0 0 1 3 0 1 0 1 2 0 -1 0 0 0 -1 0 1 0 3 1 1 1 0 -1 2 1 0 0 0 1
0 2 0 0 3 2 3 5 1 1 0 0 2 2 0 2 1 0 0 1 0 1 0 1 1 2 0 0 0 1 0 0 0 4 0 5 1 0 5 3
0 0 0 -1 0 0 0 -1 0 0 3 0 1 -1 3 2 0 1 2 -1 2 0 0 0 1 1 0 4 2 2 -1 2 0 2 8 3 0
1 2 0 2 0 -1 -1 0 0 0 0 0 1 0 1 1 2 0 1 1 2 0 6 0 2 0 0 0 4 0 0 4 0 0 0 2 0 1 0
5 0 -1 0 0 0 3 0 0 0 0 0 -1 2 1 2 0 0 -1 2 -1 2 2 4 -1 0 3 2 0 1 3 1 1 0 1 3 0
2 1 0 1 0 4 0 0 4 1 0 0 0 1 0 0 0 0 0 0 4 0 2 -1 0 -1 5 6 0 2 0 0 0 0 -1 1 0 1
1 1 0 0 0 0 0 0 0 3 0 0 1 0 0 -1 0 0 1 0 1 1 2 1 0 0 3 0 0 1 0 3 0 0 1 0 0 0 -1
0 0 2 3 1 0 -1 0 2 2 0 3 1 1 0 3 1 1 0 0 0 0 0 1 4 1 5 1 -1 1 2 0 1 0 1 0 0 0 1
1 0 0 0 0 1 1 2 6 2 6 0 1 0 0 -1 0 2 0 0 3 0 2 0 0 0 2 0 0 0 2 1 -1 0 1 3 1 0 0
2 3 2 0 1 0 4 0 1 1 1 4 0 -1 1 0 1 3 0 1 0 0 2 1 0 0 1 2 3 1 6 0 0 0 1 0 2 1 0
0 0 1 0 1 2 7 2 1 0 2 -1 1 0 0 0 2 -1 1 0 2 0 0 0 0 2 0 0 0 0 0 2 1 2 0 1 0 1 1
1 5 0 1 -1 0 0 0 0 0 1 1 4 -1 1 0 0 0 0 0 0 0 2 1 2 4 0 0 0 3 1 1 1 1 0 2 0 2 0
2 0 2 0 1 2 2 0 0 3 2 0 0 1 1 0 1 1 -1 0 1 1 0 5 3 1 2 4 0 1 1 0 1 0 2 0 0 0 2
1 1 -1 0 3 1 1 -1 0 -1 4 2 0 1 2 1 4 -1 0 -1 0 1 0 0 4 4 0 2 0 1 1 0 0 4 1 2 6
1 0 0 0 1 1 1 1 0 0 0 1 0 2 0 0 1 0 2 0 0 0 0 3 0 0 0 0 1 3 -1 0 1 1 3 0 2 1 0
9 0 0 0 0 0 0 0 0 2 0 1 1 0 0 1 2 -1 0 0 2 3 5 0 1 3 2 2 1 1 0 2 1 0 0 0 -1 0 1
3 0 1 0 4 1 1 1 1 2 1 0 1 0 0 0 0 0 2 -1 0 0 0 0 0 0 1 3 0 -1 4 1 0 0 0 0 3 1 1
0 1 1 -1 2 2 2 0 0 0 -1 0 0 2 0 2 3 0 1 0 0 0 1 0 0 3 2 2 1 6 -1 2 6 0 0 0 -1 1
1 0 1 1 0 0 0 0 1 1 0 2 1 2 0 0 1 0 1 0 0 0 1 2 0 0 0 0 2 0 0 0 0 0 1 0 0 2 0 0
1 0 0 -1 6 1 1 1 -1 0 1 0 0 -1 1 1 0 1 5 1 0 0 4 1 1 2 4 0 2 0 3 1 1 3 0 0 1 3
4 1 1 1 1 2 1 -1 0 1 1 2 0 1 3 6 0 4 3 0 0 1 1 1 1 4 2 0 2 -1 4 3 0 -1 0 1 -1 0
2 1 0 5 0 0 2 0 5 2 0 7 1 0 0 1 2 0 10 5 0 1 2 1 1 0 0 0 1 1 0 2 2 0 1 0 0 0 -1
0 1 -1 0 1 1 0 0 1 1 1 3 2 0 0 6 2 0 7 0 0 1 2 1 0 -1 0 1 2 0 0 0 0 0 2 3 1 1 1
0 0 0 2 0 0 0 0 0 0 2 0 -1 1 0 1 1 0 0 0 1 0 1 1 0 0 4 0 -1 2 1 1 0 0 2 1 0 0 0
0 0 -1 1 1 0 5 0 1 0 0 1 0 0 -1 -1 0 0 1 0 0 0 1 0 4 1 1 2 1 0 0 0 0 3 0 0 -1 3
0 0 0 0 0 0 1 -1 0 1 1 0 0 0 3 1 0 2 1 0 1 3 0 0 1 0 2 0 0 0 -1 2 0 0 0 0 0 1 0
0 0 0 0 1 2 0 0 -1 0 1 2 0 0 1 1 0 0 0 0 0 1 0 0 2 0 -1 -1 0 1 0 1 1 1 0 -1 1
-1 6 0 0 1 3 0 2 2 4 0 2 0 1 0 2 0 0 0 1 4 3 0 2 0 0 0 1 2 2 0 5 0 0 1 2 1 1 0
1 3 4 0 1 -1 2 2 0 0 1 0 2 -1 0 0 1 0 2 1 0 0 -1 0 1 3 4 4 -1 0 2 1 2 0 0 0 1 2
0 4 0 0 2 0 1 0 0 1 1 0 1 0 0 0 2 1 0 1 2 0 -1 1 -1 1 0 2 0 2 0 -1 0 -1 0 1 4 0
0 0 -1 1 0 0 1 0 1 0 0 -1 0 1 0 1 1 1 1 -1 0 0 2 0 0 1 0 2 0 0 1 0 2 -1 0 0 2
-1 0 0 0 -1 1 0 0 -1 6 1 1 -1 0 -1 0 0 4 3 0 3 1 1 0 1 2 1 2 1 1 0 0 1 1 0 1 0
0 0 3 0 0 5 2 3 0 0 0 0 0 0 0 2 -1 1 0 1 0 0 0 0 0 3 3 0 -1 -1 0 0 4 1 -1 2 1 0
1 1 -1 0 1 -1 2 2 3 4 0 2 0 -1 1 0 1 1 0 -1 -1 0 2 1 1 3 1 0 1 2 4 1 1 1 3 2 0
0 5 1 0 1 0 -1 2 2 0 0 0 3 3 0 2 1 0 1 0 4 0 0 0 0 0 0 2 0 0 0 0 0 1 6 2 0 3 2
1 2 0 0 3 0 0 0 1 1 0 3 4 1 0 3 0 2 -1 8 0 1 1 0 0 0 1 0 2 -1 0 2 2 0 1 0 4 0 1
0 2 0 1 3 5 0 0 0 1 2 -1 0 2 0 2 0 0 1 1 0 0 0 2 0 4 0 0 0 0 -1 0 2 1 3 1 2 0 0
1 -1 1 0 5 0 0 2 0 2 2 0 3 0 3 0 2 -1 1 1 0 0 2 0 1 2 0 1 0 -1 1 0 3 3 0 0 1 1
0 0 1 0 0 0 -1 0 0 1 1 0 0 0 0 0 0 -1 0 1 1 0 0 1 0 1 3 0 1 1 1 2 2 0 0 0 1 0 1
2 3 1 1 1 1 1 2 1 0 1 0 0 1 0 0 0 0 1 1 0 0 -1 0 2 1 1 0 2 -1 6 0 0 0 0 2 2 -1
0 0 0 0 0 1 0 1 2 3 0 3 0 0 0 0 1 -1 3 -1 -1 0 0 0 -1 -1 -1 3 0 1 0 0 5 4 1 -1
1 0 0 2 0 0 2 0 2 1 0 1 0 0 2 1 0 1 1 2 1 2 2 0 0 2 0 0 0 3 0 0 2 -1 0 1 1 3 3
2 2 4 0 2 2 0 1 2 0 1 -1 6 1 2 0 0 0 0 -1 0 3 0 0 0 1 0 0 0 2 0 0 1 -1 0 2 2 1
4 3 1 1 0 2 0 0 0 2 0 0 0 -1 3 1 0 3 3 2 0 1 1 -1 0 1 2 0 2 0 0 1 3 0 0 0 6 1 0
1 1 0 2 1 3 -1 0 3 0 0 0 1 1 3 0 2 2 3 -1 0 7 0 1 1 0 -1 0 0 1 4 4 1 1 0 1 0 0
0 1 0 4 2 0 1 0 1 -1 1 1 0 0 1 4 1 3 0 1 0 0 0 1 1 1 1 2 0 0 0 0 1 0 0 0 3 0 0
1 0 0 0 1 1 0 0 0 1 0 0 0 -1 0 0 0 0 3 0 1 0 1 0 0 1 1 1 1 5 1 1 1 0 1 1 3 0 3
1 0 0 1 1 0 7 1 2 -1 0 1 0 0 3 1 0 0 -1 0 2 1 1 2 1 1 0 0 0 0 0 3 1 0 3 2 0 1 0
1 3 0 1 1 0 1 1 2 1 0 1 1 0 0 0 0 0 1 -1 4 2 0 0 0 2 0 0 1 2 2 -1 4 0 0 1 0 0 4
0 0 -1 0 0 0 -1 2 0 0 0 1 1 0 0 0 1 -1 1 0 2 2 2 0 0 0 1 1 0 0 4 1 5 0 0 0 0 0
1 1 1 -1 1 2 2 4 0 7 2 1 1 -1 0 -1 1 0 2 2 0 1 1 0 2 1 0 3 1 5 0 1 0 2 5 2 1 0
-1 2 0 1 0 0 1 3 0 3 1 0 0 3 1 1 0 0 2 0 2 0 1 1 0 1 0 0 0 1 2 1 0 1 1 2 0 0 3
1 2 0 3 2 0 0 1 2 0 1 2 0 0 1 0 3 0 5 1 1 0 0 3 3 2 -1 1 1 1 1 4 1 2 0 2 1 2 -1
1 0 0 0 0 1 1 0 2 2 5 0 0 0 0 0 2 1 1 0 1 0 4 5 -1 0 0 2 5 -1 4 2 1 0 2 7 0 0 1
1 0 -1 1 0 2 3 -1 0 0 0 0 4 0 0 1 0 1 0 0 0 0 0 0 1 6 0 1 1 0 0 0 4 0 0 0 1 3 1
-1 1 1 0 0 2 1 0 0 -1 0 3 -1 0 1 2 1 0 0 2 7 0 1 0 0 2 0 0 0 0 3 0 4 0 1 0 0 1
5 2 1 1 0 1 0 0 1 0 0 0 0 -1 0 1 2 0 0 1 1 0 -1 1 2 0 2 0 0 0 1 2 2 1 0 -1 0 0
4 3 0 0 0 0 0 6 3 1 6 7 1 2 0 -1 1 3 0 0 1 0 0 0 2 2 1 0 4 1 -1 0 0 1 0 2 1 -1
1 0 0 2 2 0 0 1 1 1 0 0 0 0 1 2 1 -1 1 3 1 1 0 0 0 0 4 0 0 0 1 2 2 0 2 1 0 0 0
-1 0 1 1 0 1 3 0 4 0 -1 2 -1 1 0 0 0 0 1 4 3 0 0 -1 1 4 0 0 1 0 1 0 4 0 0 0 2 1
2 0 1 1 2 0 0 0 1 3 3 0 1 1 0 0 -1 4 2 2 1 1 0 0 0 1 0 0 1 1 1 0 2 1 3 3 0 0 0
0 2 1 -1 3 -1 -1 1 1 2 4 0 0 1 0 0 2 0 0 0 4 3 5 1 0 -1 5 4 0 2 1 1 3 0 0 0 0 0
0 2 0 0 0 1 -1 3 0 2 0 1 0 6 2 0 1 8 4 0 0 -1 -1 0 0 4 0 0 1 1 1 0 0 0 2 0 2 0
0 2 0 2 0 4 3 -1 0 1 1 0 0 -1 -1 -1 0 4 2 2 5 1 0 0 -1 0 1 1 -1 1 2 0 0 2 0 1 4
0 0 4 2 1 0 7 -1 0 -1 2 0 0 2 3 -1 0 0 -1 1 0 -1 2 2 0 2 1 2 2 0 0 3 -1 0 0 -1
-1 2 -1 1 0 1 1 2 1 7 0 0 0 0 2 0 0 0 1 0 4 0 0 0 1 1 1 2
