The build succeeded. 2 test suites succeeded, 0 failed.
Build log
> /tmp/stackage-build2453$ stack unpack type-level-numbers-0.1.1.1@sha256:40b58b311b27004efa6cd851e401b507ccf31d0a04b215740e726d0691c174b8
Unpacked type-level-numbers-0.1.1.1 to /tmp/stackage-build2453/type-level-numbers-0.1.1.1/
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
[1 of 1] Compiling Main ( Setup.hs, Setup.o )
Linking Setup ...
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ./Setup configure --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/type-level-numbers-0.1.1.1 --htmldir=/home/circleci/project/builds/nightly/doc/type-level-numbers-0.1.1.1 --haddockdir=/home/circleci/project/builds/nightly/doc/type-level-numbers-0.1.1.1
Configuring type-level-numbers-0.1.1.1...
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ./Setup build
Preprocessing library for type-level-numbers-0.1.1.1..
Building library for type-level-numbers-0.1.1.1..
[ 1 of 10] Compiling TypeLevel.Number.Classes ( TypeLevel/Number/Classes.hs, dist/build/TypeLevel/Number/Classes.o )
[ 2 of 10] Compiling TypeLevel.Number.Int.Types ( TypeLevel/Number/Int/Types.hs, dist/build/TypeLevel/Number/Int/Types.o )
[ 3 of 10] Compiling TypeLevel.Number.Nat.Types ( TypeLevel/Number/Nat/Types.hs, dist/build/TypeLevel/Number/Nat/Types.o )
[ 4 of 10] Compiling TypeLevel.Number.Nat.TH ( TypeLevel/Number/Nat/TH.hs, dist/build/TypeLevel/Number/Nat/TH.o )
[ 5 of 10] Compiling TypeLevel.Reify ( TypeLevel/Reify.hs, dist/build/TypeLevel/Reify.o )
[ 6 of 10] Compiling TypeLevel.Number.Nat ( TypeLevel/Number/Nat.hs, dist/build/TypeLevel/Number/Nat.o )
[ 7 of 10] Compiling TypeLevel.Number.Nat.Num ( TypeLevel/Number/Nat/Num.hs, dist/build/TypeLevel/Number/Nat/Num.o )
[ 8 of 10] Compiling TypeLevel.Boolean ( TypeLevel/Boolean.hs, dist/build/TypeLevel/Boolean.o )
[ 9 of 10] Compiling TypeLevel.Util ( TypeLevel/Util.hs, dist/build/TypeLevel/Util.o )
[10 of 10] Compiling TypeLevel.Number.Int ( TypeLevel/Number/Int.hs, dist/build/TypeLevel/Number/Int.o )
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ./Setup copy
Installing library in /home/circleci/project/builds/nightly/lib/x86_64-linux-ghc-8.7.20181118/type-level-numbers-0.1.1.1-1RSe4fHKpj1BmxciMOE2Qn
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ./Setup register
Registering library for type-level-numbers-0.1.1.1..
Test log
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ./Setup configure --enable-tests --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/type-level-numbers-0.1.1.1 --htmldir=/home/circleci/project/builds/nightly/doc/type-level-numbers-0.1.1.1 --haddockdir=/home/circleci/project/builds/nightly/doc/type-level-numbers-0.1.1.1
Configuring type-level-numbers-0.1.1.1...
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ ./Setup build
Preprocessing library for type-level-numbers-0.1.1.1..
Building library for type-level-numbers-0.1.1.1..
Preprocessing test suite 'test-nat' for type-level-numbers-0.1.1.1..
Building test suite 'test-nat' for type-level-numbers-0.1.1.1..
[1 of 2] Compiling TestNat ( test/TestNat.hs, dist/build/test-nat/test-nat-tmp/TestNat.o )
[2 of 2] Compiling Main ( test/nat.hs, dist/build/test-nat/test-nat-tmp/Main.o )
Linking dist/build/test-nat/test-nat ...
Preprocessing test suite 'test-int' for type-level-numbers-0.1.1.1..
Building test suite 'test-int' for type-level-numbers-0.1.1.1..
[1 of 2] Compiling TestNat ( test/TestNat.hs, dist/build/test-int/test-int-tmp/TestNat.o )
[2 of 2] Compiling Main ( test/int.hs, dist/build/test-int/test-int-tmp/Main.o )
Linking dist/build/test-int/test-int ...
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ dist/build/test-nat/test-nat
0 + 0 : OK
0 + 1 : OK
0 + 2 : OK
0 + 3 : OK
0 + 4 : OK
0 + 5 : OK
0 + 6 : OK
0 + 7 : OK
0 + 8 : OK
1 + 0 : OK
1 + 1 : OK
1 + 2 : OK
1 + 3 : OK
1 + 4 : OK
1 + 5 : OK
1 + 6 : OK
1 + 7 : OK
1 + 8 : OK
2 + 0 : OK
2 + 1 : OK
2 + 2 : OK
2 + 3 : OK
2 + 4 : OK
2 + 5 : OK
2 + 6 : OK
2 + 7 : OK
2 + 8 : OK
3 + 0 : OK
3 + 1 : OK
3 + 2 : OK
3 + 3 : OK
3 + 4 : OK
3 + 5 : OK
3 + 6 : OK
3 + 7 : OK
3 + 8 : OK
4 + 0 : OK
4 + 1 : OK
4 + 2 : OK
4 + 3 : OK
4 + 4 : OK
4 + 5 : OK
4 + 6 : OK
4 + 7 : OK
4 + 8 : OK
5 + 0 : OK
5 + 1 : OK
5 + 2 : OK
5 + 3 : OK
5 + 4 : OK
5 + 5 : OK
5 + 6 : OK
5 + 7 : OK
5 + 8 : OK
6 + 0 : OK
6 + 1 : OK
6 + 2 : OK
6 + 3 : OK
6 + 4 : OK
6 + 5 : OK
6 + 6 : OK
6 + 7 : OK
6 + 8 : OK
7 + 0 : OK
7 + 1 : OK
7 + 2 : OK
7 + 3 : OK
7 + 4 : OK
7 + 5 : OK
7 + 6 : OK
7 + 7 : OK
7 + 8 : OK
8 + 0 : OK
8 + 1 : OK
8 + 2 : OK
8 + 3 : OK
8 + 4 : OK
8 + 5 : OK
8 + 6 : OK
8 + 7 : OK
8 + 8 : OK
0 - 0 : OK
1 - 0 : OK
2 - 0 : OK
3 - 0 : OK
4 - 0 : OK
5 - 0 : OK
6 - 0 : OK
7 - 0 : OK
8 - 0 : OK
1 - 1 : OK
2 - 1 : OK
3 - 1 : OK
4 - 1 : OK
5 - 1 : OK
6 - 1 : OK
7 - 1 : OK
8 - 1 : OK
2 - 2 : OK
3 - 2 : OK
4 - 2 : OK
5 - 2 : OK
6 - 2 : OK
7 - 2 : OK
8 - 2 : OK
3 - 3 : OK
4 - 3 : OK
5 - 3 : OK
6 - 3 : OK
7 - 3 : OK
8 - 3 : OK
4 - 4 : OK
5 - 4 : OK
6 - 4 : OK
7 - 4 : OK
8 - 4 : OK
5 - 5 : OK
6 - 5 : OK
7 - 5 : OK
8 - 5 : OK
6 - 6 : OK
7 - 6 : OK
8 - 6 : OK
7 - 7 : OK
8 - 7 : OK
8 - 8 : OK
0 * 0 : OK
0 * 1 : OK
0 * 2 : OK
0 * 3 : OK
0 * 4 : OK
0 * 5 : OK
0 * 6 : OK
0 * 7 : OK
0 * 8 : OK
1 * 0 : OK
1 * 1 : OK
1 * 2 : OK
1 * 3 : OK
1 * 4 : OK
1 * 5 : OK
1 * 6 : OK
1 * 7 : OK
1 * 8 : OK
2 * 0 : OK
2 * 1 : OK
2 * 2 : OK
2 * 3 : OK
2 * 4 : OK
2 * 5 : OK
2 * 6 : OK
2 * 7 : OK
2 * 8 : OK
3 * 0 : OK
3 * 1 : OK
3 * 2 : OK
3 * 3 : OK
3 * 4 : OK
3 * 5 : OK
3 * 6 : OK
3 * 7 : OK
3 * 8 : OK
4 * 0 : OK
4 * 1 : OK
4 * 2 : OK
4 * 3 : OK
4 * 4 : OK
4 * 5 : OK
4 * 6 : OK
4 * 7 : OK
4 * 8 : OK
5 * 0 : OK
5 * 1 : OK
5 * 2 : OK
5 * 3 : OK
5 * 4 : OK
5 * 5 : OK
5 * 6 : OK
5 * 7 : OK
5 * 8 : OK
6 * 0 : OK
6 * 1 : OK
6 * 2 : OK
6 * 3 : OK
6 * 4 : OK
6 * 5 : OK
6 * 6 : OK
6 * 7 : OK
6 * 8 : OK
7 * 0 : OK
7 * 1 : OK
7 * 2 : OK
7 * 3 : OK
7 * 4 : OK
7 * 5 : OK
7 * 6 : OK
7 * 7 : OK
7 * 8 : OK
8 * 0 : OK
8 * 1 : OK
8 * 2 : OK
8 * 3 : OK
8 * 4 : OK
8 * 5 : OK
8 * 6 : OK
8 * 7 : OK
8 * 8 : OK
> /tmp/stackage-build2453/type-level-numbers-0.1.1.1$ dist/build/test-int/test-int
-9 + -9 : OK
-9 + -8 : OK
-9 + -7 : OK
-9 + -6 : OK
-9 + -5 : OK
-9 + -4 : OK
-9 + -3 : OK
-9 + -2 : OK
-9 + -1 : OK
-9 + 0 : OK
-9 + 1 : OK
-9 + 2 : OK
-9 + 3 : OK
-9 + 4 : OK
-9 + 5 : OK
-9 + 6 : OK
-9 + 7 : OK
-9 + 8 : OK
-9 + 9 : OK
-8 + -9 : OK
-8 + -8 : OK
-8 + -7 : OK
-8 + -6 : OK
-8 + -5 : OK
-8 + -4 : OK
-8 + -3 : OK
-8 + -2 : OK
-8 + -1 : OK
-8 + 0 : OK
-8 + 1 : OK
-8 + 2 : OK
-8 + 3 : OK
-8 + 4 : OK
-8 + 5 : OK
-8 + 6 : OK
-8 + 7 : OK
-8 + 8 : OK
-8 + 9 : OK
-7 + -9 : OK
-7 + -8 : OK
-7 + -7 : OK
-7 + -6 : OK
-7 + -5 : OK
-7 + -4 : OK
-7 + -3 : OK
-7 + -2 : OK
-7 + -1 : OK
-7 + 0 : OK
-7 + 1 : OK
-7 + 2 : OK
-7 + 3 : OK
-7 + 4 : OK
-7 + 5 : OK
-7 + 6 : OK
-7 + 7 : OK
-7 + 8 : OK
-7 + 9 : OK
-6 + -9 : OK
-6 + -8 : OK
-6 + -7 : OK
-6 + -6 : OK
-6 + -5 : OK
-6 + -4 : OK
-6 + -3 : OK
-6 + -2 : OK
-6 + -1 : OK
-6 + 0 : OK
-6 + 1 : OK
-6 + 2 : OK
-6 + 3 : OK
-6 + 4 : OK
-6 + 5 : OK
-6 + 6 : OK
-6 + 7 : OK
-6 + 8 : OK
-6 + 9 : OK
-5 + -9 : OK
-5 + -8 : OK
-5 + -7 : OK
-5 + -6 : OK
-5 + -5 : OK
-5 + -4 : OK
-5 + -3 : OK
-5 + -2 : OK
-5 + -1 : OK
-5 + 0 : OK
-5 + 1 : OK
-5 + 2 : OK
-5 + 3 : OK
-5 + 4 : OK
-5 + 5 : OK
-5 + 6 : OK
-5 + 7 : OK
-5 + 8 : OK
-5 + 9 : OK
-4 + -9 : OK
-4 + -8 : OK
-4 + -7 : OK
-4 + -6 : OK
-4 + -5 : OK
-4 + -4 : OK
-4 + -3 : OK
-4 + -2 : OK
-4 + -1 : OK
-4 + 0 : OK
-4 + 1 : OK
-4 + 2 : OK
-4 + 3 : OK
-4 + 4 : OK
-4 + 5 : OK
-4 + 6 : OK
-4 + 7 : OK
-4 + 8 : OK
-4 + 9 : OK
-3 + -9 : OK
-3 + -8 : OK
-3 + -7 : OK
-3 + -6 : OK
-3 + -5 : OK
-3 + -4 : OK
-3 + -3 : OK
-3 + -2 : OK
-3 + -1 : OK
-3 + 0 : OK
-3 + 1 : OK
-3 + 2 : OK
-3 + 3 : OK
-3 + 4 : OK
-3 + 5 : OK
-3 + 6 : OK
-3 + 7 : OK
-3 + 8 : OK
-3 + 9 : OK
-2 + -9 : OK
-2 + -8 : OK
-2 + -7 : OK
-2 + -6 : OK
-2 + -5 : OK
-2 + -4 : OK
-2 + -3 : OK
-2 + -2 : OK
-2 + -1 : OK
-2 + 0 : OK
-2 + 1 : OK
-2 + 2 : OK
-2 + 3 : OK
-2 + 4 : OK
-2 + 5 : OK
-2 + 6 : OK
-2 + 7 : OK
-2 + 8 : OK
-2 + 9 : OK
-1 + -9 : OK
-1 + -8 : OK
-1 + -7 : OK
-1 + -6 : OK
-1 + -5 : OK
-1 + -4 : OK
-1 + -3 : OK
-1 + -2 : OK
-1 + -1 : OK
-1 + 0 : OK
-1 + 1 : OK
-1 + 2 : OK
-1 + 3 : OK
-1 + 4 : OK
-1 + 5 : OK
-1 + 6 : OK
-1 + 7 : OK
-1 + 8 : OK
-1 + 9 : OK
0 + -9 : OK
0 + -8 : OK
0 + -7 : OK
0 + -6 : OK
0 + -5 : OK
0 + -4 : OK
0 + -3 : OK
0 + -2 : OK
0 + -1 : OK
0 + 0 : OK
0 + 1 : OK
0 + 2 : OK
0 + 3 : OK
0 + 4 : OK
0 + 5 : OK
0 + 6 : OK
0 + 7 : OK
0 + 8 : OK
0 + 9 : OK
1 + -9 : OK
1 + -8 : OK
1 + -7 : OK
1 + -6 : OK
1 + -5 : OK
1 + -4 : OK
1 + -3 : OK
1 + -2 : OK
1 + -1 : OK
1 + 0 : OK
1 + 1 : OK
1 + 2 : OK
1 + 3 : OK
1 + 4 : OK
1 + 5 : OK
1 + 6 : OK
1 + 7 : OK
1 + 8 : OK
1 + 9 : OK
2 + -9 : OK
2 + -8 : OK
2 + -7 : OK
2 + -6 : OK
2 + -5 : OK
2 + -4 : OK
2 + -3 : OK
2 + -2 : OK
2 + -1 : OK
2 + 0 : OK
2 + 1 : OK
2 + 2 : OK
2 + 3 : OK
2 + 4 : OK
2 + 5 : OK
2 + 6 : OK
2 + 7 : OK
2 + 8 : OK
2 + 9 : OK
3 + -9 : OK
3 + -8 : OK
3 + -7 : OK
3 + -6 : OK
3 + -5 : OK
3 + -4 : OK
3 + -3 : OK
3 + -2 : OK
3 + -1 : OK
3 + 0 : OK
3 + 1 : OK
3 + 2 : OK
3 + 3 : OK
3 + 4 : OK
3 + 5 : OK
3 + 6 : OK
3 + 7 : OK
3 + 8 : OK
3 + 9 : OK
4 + -9 : OK
4 + -8 : OK
4 + -7 : OK
4 + -6 : OK
4 + -5 : OK
4 + -4 : OK
4 + -3 : OK
4 + -2 : OK
4 + -1 : OK
4 + 0 : OK
4 + 1 : OK
4 + 2 : OK
4 + 3 : OK
4 + 4 : OK
4 + 5 : OK
4 + 6 : OK
4 + 7 : OK
4 + 8 : OK
4 + 9 : OK
5 + -9 : OK
5 + -8 : OK
5 + -7 : OK
5 + -6 : OK
5 + -5 : OK
5 + -4 : OK
5 + -3 : OK
5 + -2 : OK
5 + -1 : OK
5 + 0 : OK
5 + 1 : OK
5 + 2 : OK
5 + 3 : OK
5 + 4 : OK
5 + 5 : OK
5 + 6 : OK
5 + 7 : OK
5 + 8 : OK
5 + 9 : OK
6 + -9 : OK
6 + -8 : OK
6 + -7 : OK
6 + -6 : OK
6 + -5 : OK
6 + -4 : OK
6 + -3 : OK
6 + -2 : OK
6 + -1 : OK
6 + 0 : OK
6 + 1 : OK
6 + 2 : OK
6 + 3 : OK
6 + 4 : OK
6 + 5 : OK
6 + 6 : OK
6 + 7 : OK
6 + 8 : OK
6 + 9 : OK
7 + -9 : OK
7 + -8 : OK
7 + -7 : OK
7 + -6 : OK
7 + -5 : OK
7 + -4 : OK
7 + -3 : OK
7 + -2 : OK
7 + -1 : OK
7 + 0 : OK
7 + 1 : OK
7 + 2 : OK
7 + 3 : OK
7 + 4 : OK
7 + 5 : OK
7 + 6 : OK
7 + 7 : OK
7 + 8 : OK
7 + 9 : OK
8 + -9 : OK
8 + -8 : OK
8 + -7 : OK
8 + -6 : OK
8 + -5 : OK
8 + -4 : OK
8 + -3 : OK
8 + -2 : OK
8 + -1 : OK
8 + 0 : OK
8 + 1 : OK
8 + 2 : OK
8 + 3 : OK
8 + 4 : OK
8 + 5 : OK
8 + 6 : OK
8 + 7 : OK
8 + 8 : OK
8 + 9 : OK
9 + -9 : OK
9 + -8 : OK
9 + -7 : OK
9 + -6 : OK
9 + -5 : OK
9 + -4 : OK
9 + -3 : OK
9 + -2 : OK
9 + -1 : OK
9 + 0 : OK
9 + 1 : OK
9 + 2 : OK
9 + 3 : OK
9 + 4 : OK
9 + 5 : OK
9 + 6 : OK
9 + 7 : OK
9 + 8 : OK
9 + 9 : OK
-9 - -9 : OK
-9 - -8 : OK
-9 - -7 : OK
-9 - -6 : OK
-9 - -5 : OK
-9 - -4 : OK
-9 - -3 : OK
-9 - -2 : OK
-9 - -1 : OK
-9 - 0 : OK
-9 - 1 : OK
-9 - 2 : OK
-9 - 3 : OK
-9 - 4 : OK
-9 - 5 : OK
-9 - 6 : OK
-9 - 7 : OK
-9 - 8 : OK
-9 - 9 : OK
-8 - -9 : OK
-8 - -8 : OK
-8 - -7 : OK
-8 - -6 : OK
-8 - -5 : OK
-8 - -4 : OK
-8 - -3 : OK
-8 - -2 : OK
-8 - -1 : OK
-8 - 0 : OK
-8 - 1 : OK
-8 - 2 : OK
-8 - 3 : OK
-8 - 4 : OK
-8 - 5 : OK
-8 - 6 : OK
-8 - 7 : OK
-8 - 8 : OK
-8 - 9 : OK
-7 - -9 : OK
-7 - -8 : OK
-7 - -7 : OK
-7 - -6 : OK
-7 - -5 : OK
-7 - -4 : OK
-7 - -3 : OK
-7 - -2 : OK
-7 - -1 : OK
-7 - 0 : OK
-7 - 1 : OK
-7 - 2 : OK
-7 - 3 : OK
-7 - 4 : OK
-7 - 5 : OK
-7 - 6 : OK
-7 - 7 : OK
-7 - 8 : OK
-7 - 9 : OK
-6 - -9 : OK
-6 - -8 : OK
-6 - -7 : OK
-6 - -6 : OK
-6 - -5 : OK
-6 - -4 : OK
-6 - -3 : OK
-6 - -2 : OK
-6 - -1 : OK
-6 - 0 : OK
-6 - 1 : OK
-6 - 2 : OK
-6 - 3 : OK
-6 - 4 : OK
-6 - 5 : OK
-6 - 6 : OK
-6 - 7 : OK
-6 - 8 : OK
-6 - 9 : OK
-5 - -9 : OK
-5 - -8 : OK
-5 - -7 : OK
-5 - -6 : OK
-5 - -5 : OK
-5 - -4 : OK
-5 - -3 : OK
-5 - -2 : OK
-5 - -1 : OK
-5 - 0 : OK
-5 - 1 : OK
-5 - 2 : OK
-5 - 3 : OK
-5 - 4 : OK
-5 - 5 : OK
-5 - 6 : OK
-5 - 7 : OK
-5 - 8 : OK
-5 - 9 : OK
-4 - -9 : OK
-4 - -8 : OK
-4 - -7 : OK
-4 - -6 : OK
-4 - -5 : OK
-4 - -4 : OK
-4 - -3 : OK
-4 - -2 : OK
-4 - -1 : OK
-4 - 0 : OK
-4 - 1 : OK
-4 - 2 : OK
-4 - 3 : OK
-4 - 4 : OK
-4 - 5 : OK
-4 - 6 : OK
-4 - 7 : OK
-4 - 8 : OK
-4 - 9 : OK
-3 - -9 : OK
-3 - -8 : OK
-3 - -7 : OK
-3 - -6 : OK
-3 - -5 : OK
-3 - -4 : OK
-3 - -3 : OK
-3 - -2 : OK
-3 - -1 : OK
-3 - 0 : OK
-3 - 1 : OK
-3 - 2 : OK
-3 - 3 : OK
-3 - 4 : OK
-3 - 5 : OK
-3 - 6 : OK
-3 - 7 : OK
-3 - 8 : OK
-3 - 9 : OK
-2 - -9 : OK
-2 - -8 : OK
-2 - -7 : OK
-2 - -6 : OK
-2 - -5 : OK
-2 - -4 : OK
-2 - -3 : OK
-2 - -2 : OK
-2 - -1 : OK
-2 - 0 : OK
-2 - 1 : OK
-2 - 2 : OK
-2 - 3 : OK
-2 - 4 : OK
-2 - 5 : OK
-2 - 6 : OK
-2 - 7 : OK
-2 - 8 : OK
-2 - 9 : OK
-1 - -9 : OK
-1 - -8 : OK
-1 - -7 : OK
-1 - -6 : OK
-1 - -5 : OK
-1 - -4 : OK
-1 - -3 : OK
-1 - -2 : OK
-1 - -1 : OK
-1 - 0 : OK
-1 - 1 : OK
-1 - 2 : OK
-1 - 3 : OK
-1 - 4 : OK
-1 - 5 : OK
-1 - 6 : OK
-1 - 7 : OK
-1 - 8 : OK
-1 - 9 : OK
0 - -9 : OK
0 - -8 : OK
0 - -7 : OK
0 - -6 : OK
0 - -5 : OK
0 - -4 : OK
0 - -3 : OK
0 - -2 : OK
0 - -1 : OK
0 - 0 : OK
0 - 1 : OK
0 - 2 : OK
0 - 3 : OK
0 - 4 : OK
0 - 5 : OK
0 - 6 : OK
0 - 7 : OK
0 - 8 : OK
0 - 9 : OK
1 - -9 : OK
1 - -8 : OK
1 - -7 : OK
1 - -6 : OK
1 - -5 : OK
1 - -4 : OK
1 - -3 : OK
1 - -2 : OK
1 - -1 : OK
1 - 0 : OK
1 - 1 : OK
1 - 2 : OK
1 - 3 : OK
1 - 4 : OK
1 - 5 : OK
1 - 6 : OK
1 - 7 : OK
1 - 8 : OK
1 - 9 : OK
2 - -9 : OK
2 - -8 : OK
2 - -7 : OK
2 - -6 : OK
2 - -5 : OK
2 - -4 : OK
2 - -3 : OK
2 - -2 : OK
2 - -1 : OK
2 - 0 : OK
2 - 1 : OK
2 - 2 : OK
2 - 3 : OK
2 - 4 : OK
2 - 5 : OK
2 - 6 : OK
2 - 7 : OK
2 - 8 : OK
2 - 9 : OK
3 - -9 : OK
3 - -8 : OK
3 - -7 : OK
3 - -6 : OK
3 - -5 : OK
3 - -4 : OK
3 - -3 : OK
3 - -2 : OK
3 - -1 : OK
3 - 0 : OK
3 - 1 : OK
3 - 2 : OK
3 - 3 : OK
3 - 4 : OK
3 - 5 : OK
3 - 6 : OK
3 - 7 : OK
3 - 8 : OK
3 - 9 : OK
4 - -9 : OK
4 - -8 : OK
4 - -7 : OK
4 - -6 : OK
4 - -5 : OK
4 - -4 : OK
4 - -3 : OK
4 - -2 : OK
4 - -1 : OK
4 - 0 : OK
4 - 1 : OK
4 - 2 : OK
4 - 3 : OK
4 - 4 : OK
4 - 5 : OK
4 - 6 : OK
4 - 7 : OK
4 - 8 : OK
4 - 9 : OK
5 - -9 : OK
5 - -8 : OK
5 - -7 : OK
5 - -6 : OK
5 - -5 : OK
5 - -4 : OK
5 - -3 : OK
5 - -2 : OK
5 - -1 : OK
5 - 0 : OK
5 - 1 : OK
5 - 2 : OK
5 - 3 : OK
5 - 4 : OK
5 - 5 : OK
5 - 6 : OK
5 - 7 : OK
5 - 8 : OK
5 - 9 : OK
6 - -9 : OK
6 - -8 : OK
6 - -7 : OK
6 - -6 : OK
6 - -5 : OK
6 - -4 : OK
6 - -3 : OK
6 - -2 : OK
6 - -1 : OK
6 - 0 : OK
6 - 1 : OK
6 - 2 : OK
6 - 3 : OK
6 - 4 : OK
6 - 5 : OK
6 - 6 : OK
6 - 7 : OK
6 - 8 : OK
6 - 9 : OK
7 - -9 : OK
7 - -8 : OK
7 - -7 : OK
7 - -6 : OK
7 - -5 : OK
7 - -4 : OK
7 - -3 : OK
7 - -2 : OK
7 - -1 : OK
7 - 0 : OK
7 - 1 : OK
7 - 2 : OK
7 - 3 : OK
7 - 4 : OK
7 - 5 : OK
7 - 6 : OK
7 - 7 : OK
7 - 8 : OK
7 - 9 : OK
8 - -9 : OK
8 - -8 : OK
8 - -7 : OK
8 - -6 : OK
8 - -5 : OK
8 - -4 : OK
8 - -3 : OK
8 - -2 : OK
8 - -1 : OK
8 - 0 : OK
8 - 1 : OK
8 - 2 : OK
8 - 3 : OK
8 - 4 : OK
8 - 5 : OK
8 - 6 : OK
8 - 7 : OK
8 - 8 : OK
8 - 9 : OK
9 - -9 : OK
9 - -8 : OK
9 - -7 : OK
9 - -6 : OK
9 - -5 : OK
9 - -4 : OK
9 - -3 : OK
9 - -2 : OK
9 - -1 : OK
9 - 0 : OK
9 - 1 : OK
9 - 2 : OK
9 - 3 : OK
9 - 4 : OK
9 - 5 : OK
9 - 6 : OK
9 - 7 : OK
9 - 8 : OK
9 - 9 : OK
-9 * -9 : OK
-9 * -8 : OK
-9 * -7 : OK
-9 * -6 : OK
-9 * -5 : OK
-9 * -4 : OK
-9 * -3 : OK
-9 * -2 : OK
-9 * -1 : OK
-9 * 0 : OK
-9 * 1 : OK
-9 * 2 : OK
-9 * 3 : OK
-9 * 4 : OK
-9 * 5 : OK
-9 * 6 : OK
-9 * 7 : OK
-9 * 8 : OK
-9 * 9 : OK
-8 * -9 : OK
-8 * -8 : OK
-8 * -7 : OK
-8 * -6 : OK
-8 * -5 : OK
-8 * -4 : OK
-8 * -3 : OK
-8 * -2 : OK
-8 * -1 : OK
-8 * 0 : OK
-8 * 1 : OK
-8 * 2 : OK
-8 * 3 : OK
-8 * 4 : OK
-8 * 5 : OK
-8 * 6 : OK
-8 * 7 : OK
-8 * 8 : OK
-8 * 9 : OK
-7 * -9 : OK
-7 * -8 : OK
-7 * -7 : OK
-7 * -6 : OK
-7 * -5 : OK
-7 * -4 : OK
-7 * -3 : OK
-7 * -2 : OK
-7 * -1 : OK
-7 * 0 : OK
-7 * 1 : OK
-7 * 2 : OK
-7 * 3 : OK
-7 * 4 : OK
-7 * 5 : OK
-7 * 6 : OK
-7 * 7 : OK
-7 * 8 : OK
-7 * 9 : OK
-6 * -9 : OK
-6 * -8 : OK
-6 * -7 : OK
-6 * -6 : OK
-6 * -5 : OK
-6 * -4 : OK
-6 * -3 : OK
-6 * -2 : OK
-6 * -1 : OK
-6 * 0 : OK
-6 * 1 : OK
-6 * 2 : OK
-6 * 3 : OK
-6 * 4 : OK
-6 * 5 : OK
-6 * 6 : OK
-6 * 7 : OK
-6 * 8 : OK
-6 * 9 : OK
-5 * -9 : OK
-5 * -8 : OK
-5 * -7 : OK
-5 * -6 : OK
-5 * -5 : OK
-5 * -4 : OK
-5 * -3 : OK
-5 * -2 : OK
-5 * -1 : OK
-5 * 0 : OK
-5 * 1 : OK
-5 * 2 : OK
-5 * 3 : OK
-5 * 4 : OK
-5 * 5 : OK
-5 * 6 : OK
-5 * 7 : OK
-5 * 8 : OK
-5 * 9 : OK
-4 * -9 : OK
-4 * -8 : OK
-4 * -7 : OK
-4 * -6 : OK
-4 * -5 : OK
-4 * -4 : OK
-4 * -3 : OK
-4 * -2 : OK
-4 * -1 : OK
-4 * 0 : OK
-4 * 1 : OK
-4 * 2 : OK
-4 * 3 : OK
-4 * 4 : OK
-4 * 5 : OK
-4 * 6 : OK
-4 * 7 : OK
-4 * 8 : OK
-4 * 9 : OK
-3 * -9 : OK
-3 * -8 : OK
-3 * -7 : OK
-3 * -6 : OK
-3 * -5 : OK
-3 * -4 : OK
-3 * -3 : OK
-3 * -2 : OK
-3 * -1 : OK
-3 * 0 : OK
-3 * 1 : OK
-3 * 2 : OK
-3 * 3 : OK
-3 * 4 : OK
-3 * 5 : OK
-3 * 6 : OK
-3 * 7 : OK
-3 * 8 : OK
-3 * 9 : OK
-2 * -9 : OK
-2 * -8 : OK
-2 * -7 : OK
-2 * -6 : OK
-2 * -5 : OK
-2 * -4 : OK
-2 * -3 : OK
-2 * -2 : OK
-2 * -1 : OK
-2 * 0 : OK
-2 * 1 : OK
-2 * 2 : OK
-2 * 3 : OK
-2 * 4 : OK
-2 * 5 : OK
-2 * 6 : OK
-2 * 7 : OK
-2 * 8 : OK
-2 * 9 : OK
-1 * -9 : OK
-1 * -8 : OK
-1 * -7 : OK
-1 * -6 : OK
-1 * -5 : OK
-1 * -4 : OK
-1 * -3 : OK
-1 * -2 : OK
-1 * -1 : OK
-1 * 0 : OK
-1 * 1 : OK
-1 * 2 : OK
-1 * 3 : OK
-1 * 4 : OK
-1 * 5 : OK
-1 * 6 : OK
-1 * 7 : OK
-1 * 8 : OK
-1 * 9 : OK
0 * -9 : OK
0 * -8 : OK
0 * -7 : OK
0 * -6 : OK
0 * -5 : OK
0 * -4 : OK
0 * -3 : OK
0 * -2 : OK
0 * -1 : OK
0 * 0 : OK
0 * 1 : OK
0 * 2 : OK
0 * 3 : OK
0 * 4 : OK
0 * 5 : OK
0 * 6 : OK
0 * 7 : OK
0 * 8 : OK
0 * 9 : OK
1 * -9 : OK
1 * -8 : OK
1 * -7 : OK
1 * -6 : OK
1 * -5 : OK
1 * -4 : OK
1 * -3 : OK
1 * -2 : OK
1 * -1 : OK
1 * 0 : OK
1 * 1 : OK
1 * 2 : OK
1 * 3 : OK
1 * 4 : OK
1 * 5 : OK
1 * 6 : OK
1 * 7 : OK
1 * 8 : OK
1 * 9 : OK
2 * -9 : OK
2 * -8 : OK
2 * -7 : OK
2 * -6 : OK
2 * -5 : OK
2 * -4 : OK
2 * -3 : OK
2 * -2 : OK
2 * -1 : OK
2 * 0 : OK
2 * 1 : OK
2 * 2 : OK
2 * 3 : OK
2 * 4 : OK
2 * 5 : OK
2 * 6 : OK
2 * 7 : OK
2 * 8 : OK
2 * 9 : OK
3 * -9 : OK
3 * -8 : OK
3 * -7 : OK
3 * -6 : OK
3 * -5 : OK
3 * -4 : OK
3 * -3 : OK
3 * -2 : OK
3 * -1 : OK
3 * 0 : OK
3 * 1 : OK
3 * 2 : OK
3 * 3 : OK
3 * 4 : OK
3 * 5 : OK
3 * 6 : OK
3 * 7 : OK
3 * 8 : OK
3 * 9 : OK
4 * -9 : OK
4 * -8 : OK
4 * -7 : OK
4 * -6 : OK
4 * -5 : OK
4 * -4 : OK
4 * -3 : OK
4 * -2 : OK
4 * -1 : OK
4 * 0 : OK
4 * 1 : OK
4 * 2 : OK
4 * 3 : OK
4 * 4 : OK
4 * 5 : OK
4 * 6 : OK
4 * 7 : OK
4 * 8 : OK
4 * 9 : OK
5 * -9 : OK
5 * -8 : OK
5 * -7 : OK
5 * -6 : OK
5 * -5 : OK
5 * -4 : OK
5 * -3 : OK
5 * -2 : OK
5 * -1 : OK
5 * 0 : OK
5 * 1 : OK
5 * 2 : OK
5 * 3 : OK
5 * 4 : OK
5 * 5 : OK
5 * 6 : OK
5 * 7 : OK
5 * 8 : OK
5 * 9 : OK
6 * -9 : OK
6 * -8 : OK
6 * -7 : OK
6 * -6 : OK
6 * -5 : OK
6 * -4 : OK
6 * -3 : OK
6 * -2 : OK
6 * -1 : OK
6 * 0 : OK
6 * 1 : OK
6 * 2 : OK
6 * 3 : OK
6 * 4 : OK
6 * 5 : OK
6 * 6 : OK
6 * 7 : OK
6 * 8 : OK
6 * 9 : OK
7 * -9 : OK
7 * -8 : OK
7 * -7 : OK
7 * -6 : OK
7 * -5 : OK
7 * -4 : OK
7 * -3 : OK
7 * -2 : OK
7 * -1 : OK
7 * 0 : OK
7 * 1 : OK
7 * 2 : OK
7 * 3 : OK
7 * 4 : OK
7 * 5 : OK
7 * 6 : OK
7 * 7 : OK
7 * 8 : OK
7 * 9 : OK
8 * -9 : OK
8 * -8 : OK
8 * -7 : OK
8 * -6 : OK
8 * -5 : OK
8 * -4 : OK
8 * -3 : OK
8 * -2 : OK
8 * -1 : OK
8 * 0 : OK
8 * 1 : OK
8 * 2 : OK
8 * 3 : OK
8 * 4 : OK
8 * 5 : OK
8 * 6 : OK
8 * 7 : OK
8 * 8 : OK
8 * 9 : OK
9 * -9 : OK
9 * -8 : OK
9 * -7 : OK
9 * -6 : OK
9 * -5 : OK
9 * -4 : OK
9 * -3 : OK
9 * -2 : OK
9 * -1 : OK
9 * 0 : OK
9 * 1 : OK
9 * 2 : OK
9 * 3 : OK
9 * 4 : OK
9 * 5 : OK
9 * 6 : OK
9 * 7 : OK
9 * 8 : OK
9 * 9 : OK