Move tests from tests/ghc-regress/* to just tests/*

1 files changed, 1109 insertions, 0 deletions

diff --git a/testsuite/tests/numeric/should_run/arith003.stdout b/testsuite/tests/numeric/should_run/arith003.stdout
new file mode 100644
index 0000000000..a147c3003c
--- /dev/null
+++ b/testsuite/tests/numeric/should_run/arith003.stdout
@@ -0,0 +1,1109 @@
+(+) 0 0 = 0
+(+) 0 1 = 1
+(+) 0 -1 = -1
+(+) 0 2 = 2
+(+) 0 -2 = -2
+(+) 0 -2147483648 = -2147483648
+(+) 0 2147483647 = 2147483647
+(+) 1 0 = 1
+(+) 1 1 = 2
+(+) 1 -1 = 0
+(+) 1 2 = 3
+(+) 1 -2 = -1
+(+) 1 -2147483648 = -2147483647
+(+) 1 2147483647 = -2147483648
+(+) -1 0 = -1
+(+) -1 1 = 0
+(+) -1 -1 = -2
+(+) -1 2 = 1
+(+) -1 -2 = -3
+(+) -1 -2147483648 = 2147483647
+(+) -1 2147483647 = 2147483646
+(+) 2 0 = 2
+(+) 2 1 = 3
+(+) 2 -1 = 1
+(+) 2 2 = 4
+(+) 2 -2 = 0
+(+) 2 -2147483648 = -2147483646
+(+) 2 2147483647 = -2147483647
+(+) -2 0 = -2
+(+) -2 1 = -1
+(+) -2 -1 = -3
+(+) -2 2 = 0
+(+) -2 -2 = -4
+(+) -2 -2147483648 = 2147483646
+(+) -2 2147483647 = 2147483645
+(+) -2147483648 0 = -2147483648
+(+) -2147483648 1 = -2147483647
+(+) -2147483648 -1 = 2147483647
+(+) -2147483648 2 = -2147483646
+(+) -2147483648 -2 = 2147483646
+(+) -2147483648 -2147483648 = 0
+(+) -2147483648 2147483647 = -1
+(+) 2147483647 0 = 2147483647
+(+) 2147483647 1 = -2147483648
+(+) 2147483647 -1 = 2147483646
+(+) 2147483647 2 = -2147483647
+(+) 2147483647 -2 = 2147483645
+(+) 2147483647 -2147483648 = -1
+(+) 2147483647 2147483647 = -2
+(-) 0 0 = 0
+(-) 0 1 = -1
+(-) 0 -1 = 1
+(-) 0 2 = -2
+(-) 0 -2 = 2
+(-) 0 -2147483648 = -2147483648
+(-) 0 2147483647 = -2147483647
+(-) 1 0 = 1
+(-) 1 1 = 0
+(-) 1 -1 = 2
+(-) 1 2 = -1
+(-) 1 -2 = 3
+(-) 1 -2147483648 = -2147483647
+(-) 1 2147483647 = -2147483646
+(-) -1 0 = -1
+(-) -1 1 = -2
+(-) -1 -1 = 0
+(-) -1 2 = -3
+(-) -1 -2 = 1
+(-) -1 -2147483648 = 2147483647
+(-) -1 2147483647 = -2147483648
+(-) 2 0 = 2
+(-) 2 1 = 1
+(-) 2 -1 = 3
+(-) 2 2 = 0
+(-) 2 -2 = 4
+(-) 2 -2147483648 = -2147483646
+(-) 2 2147483647 = -2147483645
+(-) -2 0 = -2
+(-) -2 1 = -3
+(-) -2 -1 = -1
+(-) -2 2 = -4
+(-) -2 -2 = 0
+(-) -2 -2147483648 = 2147483646
+(-) -2 2147483647 = 2147483647
+(-) -2147483648 0 = -2147483648
+(-) -2147483648 1 = 2147483647
+(-) -2147483648 -1 = -2147483647
+(-) -2147483648 2 = 2147483646
+(-) -2147483648 -2 = -2147483646
+(-) -2147483648 -2147483648 = 0
+(-) -2147483648 2147483647 = 1
+(-) 2147483647 0 = 2147483647
+(-) 2147483647 1 = 2147483646
+(-) 2147483647 -1 = -2147483648
+(-) 2147483647 2 = 2147483645
+(-) 2147483647 -2 = -2147483647
+(-) 2147483647 -2147483648 = -1
+(-) 2147483647 2147483647 = 0
+(^) 0 0 = 1
+(^) 0 1 = 0
+(^) 0 2 = 0
+(^) 1 0 = 1
+(^) 1 1 = 1
+(^) 1 2 = 1
+(^) -1 0 = 1
+(^) -1 1 = -1
+(^) -1 2 = 1
+(^) 2 0 = 1
+(^) 2 1 = 2
+(^) 2 2 = 4
+(^) -2 0 = 1
+(^) -2 1 = -2
+(^) -2 2 = 4
+(^) -2147483648 0 = 1
+(^) -2147483648 1 = -2147483648
+(^) -2147483648 2 = 0
+(^) 2147483647 0 = 1
+(^) 2147483647 1 = 2147483647
+(^) 2147483647 2 = 1
+div 0 1 = 0
+div 0 -1 = 0
+div 0 2 = 0
+div 0 -2 = 0
+div 0 -2147483648 = 0
+div 0 2147483647 = 0
+div 1 1 = 1
+div 1 -1 = -1
+div 1 2 = 0
+div 1 -2 = -1
+div 1 -2147483648 = -1
+div 1 2147483647 = 0
+div -1 1 = -1
+div -1 -1 = 1
+div -1 2 = -1
+div -1 -2 = 0
+div -1 -2147483648 = 0
+div -1 2147483647 = -1
+div 2 1 = 2
+div 2 -1 = -2
+div 2 2 = 1
+div 2 -2 = -1
+div 2 -2147483648 = -1
+div 2 2147483647 = 0
+div -2 1 = -2
+div -2 -1 = 2
+div -2 2 = -1
+div -2 -2 = 1
+div -2 -2147483648 = 0
+div -2 2147483647 = -1
+div 2147483647 1 = 2147483647
+div 2147483647 -1 = -2147483647
+div 2147483647 2 = 1073741823
+div 2147483647 -2 = -1073741824
+div 2147483647 -2147483648 = -1
+div 2147483647 2147483647 = 1
+mod 0 1 = 0
+mod 0 -1 = 0
+mod 0 2 = 0
+mod 0 -2 = 0
+mod 0 -2147483648 = 0
+mod 0 2147483647 = 0
+mod 1 1 = 0
+mod 1 -1 = 0
+mod 1 2 = 1
+mod 1 -2 = -1
+mod 1 -2147483648 = -2147483647
+mod 1 2147483647 = 1
+mod -1 1 = 0
+mod -1 -1 = 0
+mod -1 2 = 1
+mod -1 -2 = -1
+mod -1 -2147483648 = -1
+mod -1 2147483647 = 2147483646
+mod 2 1 = 0
+mod 2 -1 = 0
+mod 2 2 = 0
+mod 2 -2 = 0
+mod 2 -2147483648 = -2147483646
+mod 2 2147483647 = 2
+mod -2 1 = 0
+mod -2 -1 = 0
+mod -2 2 = 0
+mod -2 -2 = 0
+mod -2 -2147483648 = -2
+mod -2 2147483647 = 2147483645
+mod 2147483647 1 = 0
+mod 2147483647 -1 = 0
+mod 2147483647 2 = 1
+mod 2147483647 -2 = -1
+mod 2147483647 -2147483648 = -1
+mod 2147483647 2147483647 = 0
+quot 0 1 = 0
+quot 0 -1 = 0
+quot 0 2 = 0
+quot 0 -2 = 0
+quot 0 -2147483648 = 0
+quot 0 2147483647 = 0
+quot 1 1 = 1
+quot 1 -1 = -1
+quot 1 2 = 0
+quot 1 -2 = 0
+quot 1 -2147483648 = 0
+quot 1 2147483647 = 0
+quot -1 1 = -1
+quot -1 -1 = 1
+quot -1 2 = 0
+quot -1 -2 = 0
+quot -1 -2147483648 = 0
+quot -1 2147483647 = 0
+quot 2 1 = 2
+quot 2 -1 = -2
+quot 2 2 = 1
+quot 2 -2 = -1
+quot 2 -2147483648 = 0
+quot 2 2147483647 = 0
+quot -2 1 = -2
+quot -2 -1 = 2
+quot -2 2 = -1
+quot -2 -2 = 1
+quot -2 -2147483648 = 0
+quot -2 2147483647 = 0
+quot 2147483647 1 = 2147483647
+quot 2147483647 -1 = -2147483647
+quot 2147483647 2 = 1073741823
+quot 2147483647 -2 = -1073741823
+quot 2147483647 -2147483648 = 0
+quot 2147483647 2147483647 = 1
+rem 0 1 = 0
+rem 0 -1 = 0
+rem 0 2 = 0
+rem 0 -2 = 0
+rem 0 -2147483648 = 0
+rem 0 2147483647 = 0
+rem 1 1 = 0
+rem 1 -1 = 0
+rem 1 2 = 1
+rem 1 -2 = 1
+rem 1 -2147483648 = 1
+rem 1 2147483647 = 1
+rem -1 1 = 0
+rem -1 -1 = 0
+rem -1 2 = -1
+rem -1 -2 = -1
+rem -1 -2147483648 = -1
+rem -1 2147483647 = -1
+rem 2 1 = 0
+rem 2 -1 = 0
+rem 2 2 = 0
+rem 2 -2 = 0
+rem 2 -2147483648 = 2
+rem 2 2147483647 = 2
+rem -2 1 = 0
+rem -2 -1 = 0
+rem -2 2 = 0
+rem -2 -2 = 0
+rem -2 -2147483648 = -2
+rem -2 2147483647 = -2
+rem 2147483647 1 = 0
+rem 2147483647 -1 = 0
+rem 2147483647 2 = 1
+rem 2147483647 -2 = 1
+rem 2147483647 -2147483648 = 2147483647
+rem 2147483647 2147483647 = 0
+gcd 0 1 = 1
+gcd 0 -1 = 1
+gcd 0 2 = 2
+gcd 0 -2 = 2
+gcd 0 2147483647 = 2147483647
+gcd 1 0 = 1
+gcd 1 1 = 1
+gcd 1 -1 = 1
+gcd 1 2 = 1
+gcd 1 -2 = 1
+gcd 1 2147483647 = 1
+gcd -1 0 = 1
+gcd -1 1 = 1
+gcd -1 -1 = 1
+gcd -1 2 = 1
+gcd -1 -2 = 1
+gcd -1 2147483647 = 1
+gcd 2 0 = 2
+gcd 2 1 = 1
+gcd 2 -1 = 1
+gcd 2 2 = 2
+gcd 2 -2 = 2
+gcd 2 2147483647 = 1
+gcd -2 0 = 2
+gcd -2 1 = 1
+gcd -2 -1 = 1
+gcd -2 2 = 2
+gcd -2 -2 = 2
+gcd -2 2147483647 = 1
+gcd 2147483647 0 = 2147483647
+gcd 2147483647 1 = 1
+gcd 2147483647 -1 = 1
+gcd 2147483647 2 = 1
+gcd 2147483647 -2 = 1
+gcd 2147483647 2147483647 = 2147483647
+lcm 0 1 = 0
+lcm 0 -1 = 0
+lcm 0 2 = 0
+lcm 0 -2 = 0
+lcm 0 -2147483648 = 0
+lcm 1 0 = 0
+lcm 1 1 = 1
+lcm 1 -1 = 1
+lcm 1 2 = 2
+lcm 1 -2 = 2
+lcm 1 -2147483648 = -2147483648
+lcm -1 0 = 0
+lcm -1 1 = 1
+lcm -1 -1 = 1
+lcm -1 2 = 2
+lcm -1 -2 = 2
+lcm -1 -2147483648 = -2147483648
+lcm 2 0 = 0
+lcm 2 1 = 2
+lcm 2 -1 = 2
+lcm 2 2 = 2
+lcm 2 -2 = 2
+lcm 2 -2147483648 = -2147483648
+lcm -2 0 = 0
+lcm -2 1 = 2
+lcm -2 -1 = 2
+lcm -2 2 = 2
+lcm -2 -2 = 2
+lcm -2 -2147483648 = -2147483648
+lcm -2147483648 0 = 0
+lcm -2147483648 1 = -2147483648
+lcm -2147483648 -1 = -2147483648
+lcm -2147483648 2 = -2147483648
+lcm -2147483648 -2 = -2147483648
+lcm -2147483648 -2147483648 = -2147483648
+lcm 2147483647 0 = 0
+lcm 2147483647 1 = 2147483647
+lcm 2147483647 -1 = 2147483647
+lcm 2147483647 2 = 2
+lcm 2147483647 -2 = 2
+lcm 2147483647 -2147483648 = -2147483648
+(+) 0 0 = 0
+(+) 0 1 = 1
+(+) 0 -1 = -1
+(+) 0 2 = 2
+(+) 0 -2 = -2
+(+) 0 -2147483648 = -2147483648
+(+) 0 2147483647 = 2147483647
+(+) 0 -2147483649 = -2147483649
+(+) 0 2147483648 = 2147483648
+(+) 0 -4294967296 = -4294967296
+(+) 0 4294967294 = 4294967294
+(+) 0 4611686018427387904 = 4611686018427387904
+(+) 0 4611686014132420609 = 4611686014132420609
+(+) 1 0 = 1
+(+) 1 1 = 2
+(+) 1 -1 = 0
+(+) 1 2 = 3
+(+) 1 -2 = -1
+(+) 1 -2147483648 = -2147483647
+(+) 1 2147483647 = 2147483648
+(+) 1 -2147483649 = -2147483648
+(+) 1 2147483648 = 2147483649
+(+) 1 -4294967296 = -4294967295
+(+) 1 4294967294 = 4294967295
+(+) 1 4611686018427387904 = 4611686018427387905
+(+) 1 4611686014132420609 = 4611686014132420610
+(+) -1 0 = -1
+(+) -1 1 = 0
+(+) -1 -1 = -2
+(+) -1 2 = 1
+(+) -1 -2 = -3
+(+) -1 -2147483648 = -2147483649
+(+) -1 2147483647 = 2147483646
+(+) -1 -2147483649 = -2147483650
+(+) -1 2147483648 = 2147483647
+(+) -1 -4294967296 = -4294967297
+(+) -1 4294967294 = 4294967293
+(+) -1 4611686018427387904 = 4611686018427387903
+(+) -1 4611686014132420609 = 4611686014132420608
+(+) 2 0 = 2
+(+) 2 1 = 3
+(+) 2 -1 = 1
+(+) 2 2 = 4
+(+) 2 -2 = 0
+(+) 2 -2147483648 = -2147483646
+(+) 2 2147483647 = 2147483649
+(+) 2 -2147483649 = -2147483647
+(+) 2 2147483648 = 2147483650
+(+) 2 -4294967296 = -4294967294
+(+) 2 4294967294 = 4294967296
+(+) 2 4611686018427387904 = 4611686018427387906
+(+) 2 4611686014132420609 = 4611686014132420611
+(+) -2 0 = -2
+(+) -2 1 = -1
+(+) -2 -1 = -3
+(+) -2 2 = 0
+(+) -2 -2 = -4
+(+) -2 -2147483648 = -2147483650
+(+) -2 2147483647 = 2147483645
+(+) -2 -2147483649 = -2147483651
+(+) -2 2147483648 = 2147483646
+(+) -2 -4294967296 = -4294967298
+(+) -2 4294967294 = 4294967292
+(+) -2 4611686018427387904 = 4611686018427387902
+(+) -2 4611686014132420609 = 4611686014132420607
+(+) -2147483648 0 = -2147483648
+(+) -2147483648 1 = -2147483647
+(+) -2147483648 -1 = -2147483649
+(+) -2147483648 2 = -2147483646
+(+) -2147483648 -2 = -2147483650
+(+) -2147483648 -2147483648 = -4294967296
+(+) -2147483648 2147483647 = -1
+(+) -2147483648 -2147483649 = -4294967297
+(+) -2147483648 2147483648 = 0
+(+) -2147483648 -4294967296 = -6442450944
+(+) -2147483648 4294967294 = 2147483646
+(+) -2147483648 4611686018427387904 = 4611686016279904256
+(+) -2147483648 4611686014132420609 = 4611686011984936961
+(+) 2147483647 0 = 2147483647
+(+) 2147483647 1 = 2147483648
+(+) 2147483647 -1 = 2147483646
+(+) 2147483647 2 = 2147483649
+(+) 2147483647 -2 = 2147483645
+(+) 2147483647 -2147483648 = -1
+(+) 2147483647 2147483647 = 4294967294
+(+) 2147483647 -2147483649 = -2
+(+) 2147483647 2147483648 = 4294967295
+(+) 2147483647 -4294967296 = -2147483649
+(+) 2147483647 4294967294 = 6442450941
+(+) 2147483647 4611686018427387904 = 4611686020574871551
+(+) 2147483647 4611686014132420609 = 4611686016279904256
+(+) -2147483649 0 = -2147483649
+(+) -2147483649 1 = -2147483648
+(+) -2147483649 -1 = -2147483650
+(+) -2147483649 2 = -2147483647
+(+) -2147483649 -2 = -2147483651
+(+) -2147483649 -2147483648 = -4294967297
+(+) -2147483649 2147483647 = -2
+(+) -2147483649 -2147483649 = -4294967298
+(+) -2147483649 2147483648 = -1
+(+) -2147483649 -4294967296 = -6442450945
+(+) -2147483649 4294967294 = 2147483645
+(+) -2147483649 4611686018427387904 = 4611686016279904255
+(+) -2147483649 4611686014132420609 = 4611686011984936960
+(+) 2147483648 0 = 2147483648
+(+) 2147483648 1 = 2147483649
+(+) 2147483648 -1 = 2147483647
+(+) 2147483648 2 = 2147483650
+(+) 2147483648 -2 = 2147483646
+(+) 2147483648 -2147483648 = 0
+(+) 2147483648 2147483647 = 4294967295
+(+) 2147483648 -2147483649 = -1
+(+) 2147483648 2147483648 = 4294967296
+(+) 2147483648 -4294967296 = -2147483648
+(+) 2147483648 4294967294 = 6442450942
+(+) 2147483648 4611686018427387904 = 4611686020574871552
+(+) 2147483648 4611686014132420609 = 4611686016279904257
+(+) -4294967296 0 = -4294967296
+(+) -4294967296 1 = -4294967295
+(+) -4294967296 -1 = -4294967297
+(+) -4294967296 2 = -4294967294
+(+) -4294967296 -2 = -4294967298
+(+) -4294967296 -2147483648 = -6442450944
+(+) -4294967296 2147483647 = -2147483649
+(+) -4294967296 -2147483649 = -6442450945
+(+) -4294967296 2147483648 = -2147483648
+(+) -4294967296 -4294967296 = -8589934592
+(+) -4294967296 4294967294 = -2
+(+) -4294967296 4611686018427387904 = 4611686014132420608
+(+) -4294967296 4611686014132420609 = 4611686009837453313
+(+) 4294967294 0 = 4294967294
+(+) 4294967294 1 = 4294967295
+(+) 4294967294 -1 = 4294967293
+(+) 4294967294 2 = 4294967296
+(+) 4294967294 -2 = 4294967292
+(+) 4294967294 -2147483648 = 2147483646
+(+) 4294967294 2147483647 = 6442450941
+(+) 4294967294 -2147483649 = 2147483645
+(+) 4294967294 2147483648 = 6442450942
+(+) 4294967294 -4294967296 = -2
+(+) 4294967294 4294967294 = 8589934588
+(+) 4294967294 4611686018427387904 = 4611686022722355198
+(+) 4294967294 4611686014132420609 = 4611686018427387903
+(+) 4611686018427387904 0 = 4611686018427387904
+(+) 4611686018427387904 1 = 4611686018427387905
+(+) 4611686018427387904 -1 = 4611686018427387903
+(+) 4611686018427387904 2 = 4611686018427387906
+(+) 4611686018427387904 -2 = 4611686018427387902
+(+) 4611686018427387904 -2147483648 = 4611686016279904256
+(+) 4611686018427387904 2147483647 = 4611686020574871551
+(+) 4611686018427387904 -2147483649 = 4611686016279904255
+(+) 4611686018427387904 2147483648 = 4611686020574871552
+(+) 4611686018427387904 -4294967296 = 4611686014132420608
+(+) 4611686018427387904 4294967294 = 4611686022722355198
+(+) 4611686018427387904 4611686018427387904 = 9223372036854775808
+(+) 4611686018427387904 4611686014132420609 = 9223372032559808513
+(+) 4611686014132420609 0 = 4611686014132420609
+(+) 4611686014132420609 1 = 4611686014132420610
+(+) 4611686014132420609 -1 = 4611686014132420608
+(+) 4611686014132420609 2 = 4611686014132420611
+(+) 4611686014132420609 -2 = 4611686014132420607
+(+) 4611686014132420609 -2147483648 = 4611686011984936961
+(+) 4611686014132420609 2147483647 = 4611686016279904256
+(+) 4611686014132420609 -2147483649 = 4611686011984936960
+(+) 4611686014132420609 2147483648 = 4611686016279904257
+(+) 4611686014132420609 -4294967296 = 4611686009837453313
+(+) 4611686014132420609 4294967294 = 4611686018427387903
+(+) 4611686014132420609 4611686018427387904 = 9223372032559808513
+(+) 4611686014132420609 4611686014132420609 = 9223372028264841218
+(-) 0 0 = 0
+(-) 0 1 = -1
+(-) 0 -1 = 1
+(-) 0 2 = -2
+(-) 0 -2 = 2
+(-) 0 -2147483648 = 2147483648
+(-) 0 2147483647 = -2147483647
+(-) 0 -2147483649 = 2147483649
+(-) 0 2147483648 = -2147483648
+(-) 0 -4294967296 = 4294967296
+(-) 0 4294967294 = -4294967294
+(-) 0 4611686018427387904 = -4611686018427387904
+(-) 0 4611686014132420609 = -4611686014132420609
+(-) 1 0 = 1
+(-) 1 1 = 0
+(-) 1 -1 = 2
+(-) 1 2 = -1
+(-) 1 -2 = 3
+(-) 1 -2147483648 = 2147483649
+(-) 1 2147483647 = -2147483646
+(-) 1 -2147483649 = 2147483650
+(-) 1 2147483648 = -2147483647
+(-) 1 -4294967296 = 4294967297
+(-) 1 4294967294 = -4294967293
+(-) 1 4611686018427387904 = -4611686018427387903
+(-) 1 4611686014132420609 = -4611686014132420608
+(-) -1 0 = -1
+(-) -1 1 = -2
+(-) -1 -1 = 0
+(-) -1 2 = -3
+(-) -1 -2 = 1
+(-) -1 -2147483648 = 2147483647
+(-) -1 2147483647 = -2147483648
+(-) -1 -2147483649 = 2147483648
+(-) -1 2147483648 = -2147483649
+(-) -1 -4294967296 = 4294967295
+(-) -1 4294967294 = -4294967295
+(-) -1 4611686018427387904 = -4611686018427387905
+(-) -1 4611686014132420609 = -4611686014132420610
+(-) 2 0 = 2
+(-) 2 1 = 1
+(-) 2 -1 = 3
+(-) 2 2 = 0
+(-) 2 -2 = 4
+(-) 2 -2147483648 = 2147483650
+(-) 2 2147483647 = -2147483645
+(-) 2 -2147483649 = 2147483651
+(-) 2 2147483648 = -2147483646
+(-) 2 -4294967296 = 4294967298
+(-) 2 4294967294 = -4294967292
+(-) 2 4611686018427387904 = -4611686018427387902
+(-) 2 4611686014132420609 = -4611686014132420607
+(-) -2 0 = -2
+(-) -2 1 = -3
+(-) -2 -1 = -1
+(-) -2 2 = -4
+(-) -2 -2 = 0
+(-) -2 -2147483648 = 2147483646
+(-) -2 2147483647 = -2147483649
+(-) -2 -2147483649 = 2147483647
+(-) -2 2147483648 = -2147483650
+(-) -2 -4294967296 = 4294967294
+(-) -2 4294967294 = -4294967296
+(-) -2 4611686018427387904 = -4611686018427387906
+(-) -2 4611686014132420609 = -4611686014132420611
+(-) -2147483648 0 = -2147483648
+(-) -2147483648 1 = -2147483649
+(-) -2147483648 -1 = -2147483647
+(-) -2147483648 2 = -2147483650
+(-) -2147483648 -2 = -2147483646
+(-) -2147483648 -2147483648 = 0
+(-) -2147483648 2147483647 = -4294967295
+(-) -2147483648 -2147483649 = 1
+(-) -2147483648 2147483648 = -4294967296
+(-) -2147483648 -4294967296 = 2147483648
+(-) -2147483648 4294967294 = -6442450942
+(-) -2147483648 4611686018427387904 = -4611686020574871552
+(-) -2147483648 4611686014132420609 = -4611686016279904257
+(-) 2147483647 0 = 2147483647
+(-) 2147483647 1 = 2147483646
+(-) 2147483647 -1 = 2147483648
+(-) 2147483647 2 = 2147483645
+(-) 2147483647 -2 = 2147483649
+(-) 2147483647 -2147483648 = 4294967295
+(-) 2147483647 2147483647 = 0
+(-) 2147483647 -2147483649 = 4294967296
+(-) 2147483647 2147483648 = -1
+(-) 2147483647 -4294967296 = 6442450943
+(-) 2147483647 4294967294 = -2147483647
+(-) 2147483647 4611686018427387904 = -4611686016279904257
+(-) 2147483647 4611686014132420609 = -4611686011984936962
+(-) -2147483649 0 = -2147483649
+(-) -2147483649 1 = -2147483650
+(-) -2147483649 -1 = -2147483648
+(-) -2147483649 2 = -2147483651
+(-) -2147483649 -2 = -2147483647
+(-) -2147483649 -2147483648 = -1
+(-) -2147483649 2147483647 = -4294967296
+(-) -2147483649 -2147483649 = 0
+(-) -2147483649 2147483648 = -4294967297
+(-) -2147483649 -4294967296 = 2147483647
+(-) -2147483649 4294967294 = -6442450943
+(-) -2147483649 4611686018427387904 = -4611686020574871553
+(-) -2147483649 4611686014132420609 = -4611686016279904258
+(-) 2147483648 0 = 2147483648
+(-) 2147483648 1 = 2147483647
+(-) 2147483648 -1 = 2147483649
+(-) 2147483648 2 = 2147483646
+(-) 2147483648 -2 = 2147483650
+(-) 2147483648 -2147483648 = 4294967296
+(-) 2147483648 2147483647 = 1
+(-) 2147483648 -2147483649 = 4294967297
+(-) 2147483648 2147483648 = 0
+(-) 2147483648 -4294967296 = 6442450944
+(-) 2147483648 4294967294 = -2147483646
+(-) 2147483648 4611686018427387904 = -4611686016279904256
+(-) 2147483648 4611686014132420609 = -4611686011984936961
+(-) -4294967296 0 = -4294967296
+(-) -4294967296 1 = -4294967297
+(-) -4294967296 -1 = -4294967295
+(-) -4294967296 2 = -4294967298
+(-) -4294967296 -2 = -4294967294
+(-) -4294967296 -2147483648 = -2147483648
+(-) -4294967296 2147483647 = -6442450943
+(-) -4294967296 -2147483649 = -2147483647
+(-) -4294967296 2147483648 = -6442450944
+(-) -4294967296 -4294967296 = 0
+(-) -4294967296 4294967294 = -8589934590
+(-) -4294967296 4611686018427387904 = -4611686022722355200
+(-) -4294967296 4611686014132420609 = -4611686018427387905
+(-) 4294967294 0 = 4294967294
+(-) 4294967294 1 = 4294967293
+(-) 4294967294 -1 = 4294967295
+(-) 4294967294 2 = 4294967292
+(-) 4294967294 -2 = 4294967296
+(-) 4294967294 -2147483648 = 6442450942
+(-) 4294967294 2147483647 = 2147483647
+(-) 4294967294 -2147483649 = 6442450943
+(-) 4294967294 2147483648 = 2147483646
+(-) 4294967294 -4294967296 = 8589934590
+(-) 4294967294 4294967294 = 0
+(-) 4294967294 4611686018427387904 = -4611686014132420610
+(-) 4294967294 4611686014132420609 = -4611686009837453315
+(-) 4611686018427387904 0 = 4611686018427387904
+(-) 4611686018427387904 1 = 4611686018427387903
+(-) 4611686018427387904 -1 = 4611686018427387905
+(-) 4611686018427387904 2 = 4611686018427387902
+(-) 4611686018427387904 -2 = 4611686018427387906
+(-) 4611686018427387904 -2147483648 = 4611686020574871552
+(-) 4611686018427387904 2147483647 = 4611686016279904257
+(-) 4611686018427387904 -2147483649 = 4611686020574871553
+(-) 4611686018427387904 2147483648 = 4611686016279904256
+(-) 4611686018427387904 -4294967296 = 4611686022722355200
+(-) 4611686018427387904 4294967294 = 4611686014132420610
+(-) 4611686018427387904 4611686018427387904 = 0
+(-) 4611686018427387904 4611686014132420609 = 4294967295
+(-) 4611686014132420609 0 = 4611686014132420609
+(-) 4611686014132420609 1 = 4611686014132420608
+(-) 4611686014132420609 -1 = 4611686014132420610
+(-) 4611686014132420609 2 = 4611686014132420607
+(-) 4611686014132420609 -2 = 4611686014132420611
+(-) 4611686014132420609 -2147483648 = 4611686016279904257
+(-) 4611686014132420609 2147483647 = 4611686011984936962
+(-) 4611686014132420609 -2147483649 = 4611686016279904258
+(-) 4611686014132420609 2147483648 = 4611686011984936961
+(-) 4611686014132420609 -4294967296 = 4611686018427387905
+(-) 4611686014132420609 4294967294 = 4611686009837453315
+(-) 4611686014132420609 4611686018427387904 = -4294967295
+(-) 4611686014132420609 4611686014132420609 = 0
+div 0 1 = 0
+div 0 -1 = 0
+div 0 2 = 0
+div 0 -2 = 0
+div 0 -2147483648 = 0
+div 0 2147483647 = 0
+div 0 -2147483649 = 0
+div 0 2147483648 = 0
+div 0 -4294967296 = 0
+div 0 4294967294 = 0
+div 0 4611686018427387904 = 0
+div 0 4611686014132420609 = 0
+div 1 1 = 1
+div 1 -1 = -1
+div 1 2 = 0
+div 1 -2 = -1
+div 1 -2147483648 = -1
+div 1 2147483647 = 0
+div 1 -2147483649 = -1
+div 1 2147483648 = 0
+div 1 -4294967296 = -1
+div 1 4294967294 = 0
+div 1 4611686018427387904 = 0
+div 1 4611686014132420609 = 0
+div -1 1 = -1
+div -1 -1 = 1
+div -1 2 = -1
+div -1 -2 = 0
+div -1 -2147483648 = 0
+div -1 2147483647 = -1
+div -1 -2147483649 = 0
+div -1 2147483648 = -1
+div -1 -4294967296 = 0
+div -1 4294967294 = -1
+div -1 4611686018427387904 = -1
+div -1 4611686014132420609 = -1
+div 2 1 = 2
+div 2 -1 = -2
+div 2 2 = 1
+div 2 -2 = -1
+div 2 -2147483648 = -1
+div 2 2147483647 = 0
+div 2 -2147483649 = -1
+div 2 2147483648 = 0
+div 2 -4294967296 = -1
+div 2 4294967294 = 0
+div 2 4611686018427387904 = 0
+div 2 4611686014132420609 = 0
+div -2 1 = -2
+div -2 -1 = 2
+div -2 2 = -1
+div -2 -2 = 1
+div -2 -2147483648 = 0
+div -2 2147483647 = -1
+div -2 -2147483649 = 0
+div -2 2147483648 = -1
+div -2 -4294967296 = 0
+div -2 4294967294 = -1
+div -2 4611686018427387904 = -1
+div -2 4611686014132420609 = -1
+div -2147483648 1 = -2147483648
+div -2147483648 -1 = 2147483648
+div -2147483648 2 = -1073741824
+div -2147483648 -2 = 1073741824
+div -2147483648 -2147483648 = 1
+div -2147483648 2147483647 = -2
+div -2147483648 -2147483649 = 0
+div -2147483648 2147483648 = -1
+div -2147483648 -4294967296 = 0
+div -2147483648 4294967294 = -1
+div -2147483648 4611686018427387904 = -1
+div -2147483648 4611686014132420609 = -1
+div 2147483647 1 = 2147483647
+div 2147483647 -1 = -2147483647
+div 2147483647 2 = 1073741823
+div 2147483647 -2 = -1073741824
+div 2147483647 -2147483648 = -1
+div 2147483647 2147483647 = 1
+div 2147483647 -2147483649 = -1
+div 2147483647 2147483648 = 0
+div 2147483647 -4294967296 = -1
+div 2147483647 4294967294 = 0
+div 2147483647 4611686018427387904 = 0
+div 2147483647 4611686014132420609 = 0
+mod 0 1 = 0
+mod 0 -1 = 0
+mod 0 2 = 0
+mod 0 -2 = 0
+mod 0 -2147483648 = 0
+mod 0 2147483647 = 0
+mod 0 -2147483649 = 0
+mod 0 2147483648 = 0
+mod 0 -4294967296 = 0
+mod 0 4294967294 = 0
+mod 0 4611686018427387904 = 0
+mod 0 4611686014132420609 = 0
+mod 1 1 = 0
+mod 1 -1 = 0
+mod 1 2 = 1
+mod 1 -2 = -1
+mod 1 -2147483648 = -2147483647
+mod 1 2147483647 = 1
+mod 1 -2147483649 = -2147483648
+mod 1 2147483648 = 1
+mod 1 -4294967296 = -4294967295
+mod 1 4294967294 = 1
+mod 1 4611686018427387904 = 1
+mod 1 4611686014132420609 = 1
+mod -1 1 = 0
+mod -1 -1 = 0
+mod -1 2 = 1
+mod -1 -2 = -1
+mod -1 -2147483648 = -1
+mod -1 2147483647 = 2147483646
+mod -1 -2147483649 = -1
+mod -1 2147483648 = 2147483647
+mod -1 -4294967296 = -1
+mod -1 4294967294 = 4294967293
+mod -1 4611686018427387904 = 4611686018427387903
+mod -1 4611686014132420609 = 4611686014132420608
+mod 2 1 = 0
+mod 2 -1 = 0
+mod 2 2 = 0
+mod 2 -2 = 0
+mod 2 -2147483648 = -2147483646
+mod 2 2147483647 = 2
+mod 2 -2147483649 = -2147483647
+mod 2 2147483648 = 2
+mod 2 -4294967296 = -4294967294
+mod 2 4294967294 = 2
+mod 2 4611686018427387904 = 2
+mod 2 4611686014132420609 = 2
+mod -2 1 = 0
+mod -2 -1 = 0
+mod -2 2 = 0
+mod -2 -2 = 0
+mod -2 -2147483648 = -2
+mod -2 2147483647 = 2147483645
+mod -2 -2147483649 = -2
+mod -2 2147483648 = 2147483646
+mod -2 -4294967296 = -2
+mod -2 4294967294 = 4294967292
+mod -2 4611686018427387904 = 4611686018427387902
+mod -2 4611686014132420609 = 4611686014132420607
+mod -2147483648 1 = 0
+mod -2147483648 -1 = 0
+mod -2147483648 2 = 0
+mod -2147483648 -2 = 0
+mod -2147483648 -2147483648 = 0
+mod -2147483648 2147483647 = 2147483646
+mod -2147483648 -2147483649 = -2147483648
+mod -2147483648 2147483648 = 0
+mod -2147483648 -4294967296 = -2147483648
+mod -2147483648 4294967294 = 2147483646
+mod -2147483648 4611686018427387904 = 4611686016279904256
+mod -2147483648 4611686014132420609 = 4611686011984936961
+mod 2147483647 1 = 0
+mod 2147483647 -1 = 0
+mod 2147483647 2 = 1
+mod 2147483647 -2 = -1
+mod 2147483647 -2147483648 = -1
+mod 2147483647 2147483647 = 0
+mod 2147483647 -2147483649 = -2
+mod 2147483647 2147483648 = 2147483647
+mod 2147483647 -4294967296 = -2147483649
+mod 2147483647 4294967294 = 2147483647
+mod 2147483647 4611686018427387904 = 2147483647
+mod 2147483647 4611686014132420609 = 2147483647
+quot 0 1 = 0
+quot 0 -1 = 0
+quot 0 2 = 0
+quot 0 -2 = 0
+quot 0 -2147483648 = 0
+quot 0 2147483647 = 0
+quot 0 -2147483649 = 0
+quot 0 2147483648 = 0
+quot 0 -4294967296 = 0
+quot 0 4294967294 = 0
+quot 0 4611686018427387904 = 0
+quot 0 4611686014132420609 = 0
+quot 1 1 = 1
+quot 1 -1 = -1
+quot 1 2 = 0
+quot 1 -2 = 0
+quot 1 -2147483648 = 0
+quot 1 2147483647 = 0
+quot 1 -2147483649 = 0
+quot 1 2147483648 = 0
+quot 1 -4294967296 = 0
+quot 1 4294967294 = 0
+quot 1 4611686018427387904 = 0
+quot 1 4611686014132420609 = 0
+quot -1 1 = -1
+quot -1 -1 = 1
+quot -1 2 = 0
+quot -1 -2 = 0
+quot -1 -2147483648 = 0
+quot -1 2147483647 = 0
+quot -1 -2147483649 = 0
+quot -1 2147483648 = 0
+quot -1 -4294967296 = 0
+quot -1 4294967294 = 0
+quot -1 4611686018427387904 = 0
+quot -1 4611686014132420609 = 0
+quot 2 1 = 2
+quot 2 -1 = -2
+quot 2 2 = 1
+quot 2 -2 = -1
+quot 2 -2147483648 = 0
+quot 2 2147483647 = 0
+quot 2 -2147483649 = 0
+quot 2 2147483648 = 0
+quot 2 -4294967296 = 0
+quot 2 4294967294 = 0
+quot 2 4611686018427387904 = 0
+quot 2 4611686014132420609 = 0
+quot -2 1 = -2
+quot -2 -1 = 2
+quot -2 2 = -1
+quot -2 -2 = 1
+quot -2 -2147483648 = 0
+quot -2 2147483647 = 0
+quot -2 -2147483649 = 0
+quot -2 2147483648 = 0
+quot -2 -4294967296 = 0
+quot -2 4294967294 = 0
+quot -2 4611686018427387904 = 0
+quot -2 4611686014132420609 = 0
+quot -2147483648 1 = -2147483648
+quot -2147483648 -1 = 2147483648
+quot -2147483648 2 = -1073741824
+quot -2147483648 -2 = 1073741824
+quot -2147483648 -2147483648 = 1
+quot -2147483648 2147483647 = -1
+quot -2147483648 -2147483649 = 0
+quot -2147483648 2147483648 = -1
+quot -2147483648 -4294967296 = 0
+quot -2147483648 4294967294 = 0
+quot -2147483648 4611686018427387904 = 0
+quot -2147483648 4611686014132420609 = 0
+quot 2147483647 1 = 2147483647
+quot 2147483647 -1 = -2147483647
+quot 2147483647 2 = 1073741823
+quot 2147483647 -2 = -1073741823
+quot 2147483647 -2147483648 = 0
+quot 2147483647 2147483647 = 1
+quot 2147483647 -2147483649 = 0
+quot 2147483647 2147483648 = 0
+quot 2147483647 -4294967296 = 0
+quot 2147483647 4294967294 = 0
+quot 2147483647 4611686018427387904 = 0
+quot 2147483647 4611686014132420609 = 0
+rem 0 1 = 0
+rem 0 -1 = 0
+rem 0 2 = 0
+rem 0 -2 = 0
+rem 0 -2147483648 = 0
+rem 0 2147483647 = 0
+rem 0 -2147483649 = 0
+rem 0 2147483648 = 0
+rem 0 -4294967296 = 0
+rem 0 4294967294 = 0
+rem 0 4611686018427387904 = 0
+rem 0 4611686014132420609 = 0
+rem 1 1 = 0
+rem 1 -1 = 0
+rem 1 2 = 1
+rem 1 -2 = 1
+rem 1 -2147483648 = 1
+rem 1 2147483647 = 1
+rem 1 -2147483649 = 1
+rem 1 2147483648 = 1
+rem 1 -4294967296 = 1
+rem 1 4294967294 = 1
+rem 1 4611686018427387904 = 1
+rem 1 4611686014132420609 = 1
+rem -1 1 = 0
+rem -1 -1 = 0
+rem -1 2 = -1
+rem -1 -2 = -1
+rem -1 -2147483648 = -1
+rem -1 2147483647 = -1
+rem -1 -2147483649 = -1
+rem -1 2147483648 = -1
+rem -1 -4294967296 = -1
+rem -1 4294967294 = -1
+rem -1 4611686018427387904 = -1
+rem -1 4611686014132420609 = -1
+rem 2 1 = 0
+rem 2 -1 = 0
+rem 2 2 = 0
+rem 2 -2 = 0
+rem 2 -2147483648 = 2
+rem 2 2147483647 = 2
+rem 2 -2147483649 = 2
+rem 2 2147483648 = 2
+rem 2 -4294967296 = 2
+rem 2 4294967294 = 2
+rem 2 4611686018427387904 = 2
+rem 2 4611686014132420609 = 2
+rem -2 1 = 0
+rem -2 -1 = 0
+rem -2 2 = 0
+rem -2 -2 = 0
+rem -2 -2147483648 = -2
+rem -2 2147483647 = -2
+rem -2 -2147483649 = -2
+rem -2 2147483648 = -2
+rem -2 -4294967296 = -2
+rem -2 4294967294 = -2
+rem -2 4611686018427387904 = -2
+rem -2 4611686014132420609 = -2
+rem -2147483648 1 = 0
+rem -2147483648 -1 = 0
+rem -2147483648 2 = 0
+rem -2147483648 -2 = 0
+rem -2147483648 -2147483648 = 0
+rem -2147483648 2147483647 = -1
+rem -2147483648 -2147483649 = -2147483648
+rem -2147483648 2147483648 = 0
+rem -2147483648 -4294967296 = -2147483648
+rem -2147483648 4294967294 = -2147483648
+rem -2147483648 4611686018427387904 = -2147483648
+rem -2147483648 4611686014132420609 = -2147483648
+rem 2147483647 1 = 0
+rem 2147483647 -1 = 0
+rem 2147483647 2 = 1
+rem 2147483647 -2 = 1
+rem 2147483647 -2147483648 = 2147483647
+rem 2147483647 2147483647 = 0
+rem 2147483647 -2147483649 = 2147483647
+rem 2147483647 2147483648 = 2147483647
+rem 2147483647 -4294967296 = 2147483647
+rem 2147483647 4294967294 = 2147483647
+rem 2147483647 4611686018427387904 = 2147483647
+rem 2147483647 4611686014132420609 = 2147483647
+gcd 0 1 = 1
+gcd 0 -1 = 1
+gcd 0 2 = 2
+gcd 0 -2 = 2
+gcd 0 -2147483648 = 2147483648
+gcd 0 2147483647 = 2147483647
+gcd 1 0 = 1
+gcd 1 1 = 1
+gcd 1 -1 = 1
+gcd 1 2 = 1
+gcd 1 -2 = 1
+gcd 1 -2147483648 = 1
+gcd 1 2147483647 = 1
+gcd -1 0 = 1
+gcd -1 1 = 1
+gcd -1 -1 = 1
+gcd -1 2 = 1
+gcd -1 -2 = 1
+gcd -1 -2147483648 = 1
+gcd -1 2147483647 = 1
+gcd 2 0 = 2
+gcd 2 1 = 1
+gcd 2 -1 = 1
+gcd 2 2 = 2
+gcd 2 -2 = 2
+gcd 2 -2147483648 = 2
+gcd 2 2147483647 = 1
+gcd -2 0 = 2
+gcd -2 1 = 1
+gcd -2 -1 = 1
+gcd -2 2 = 2
+gcd -2 -2 = 2
+gcd -2 -2147483648 = 2
+gcd -2 2147483647 = 1
+gcd -2147483648 0 = 2147483648
+gcd -2147483648 1 = 1
+gcd -2147483648 -1 = 1
+gcd -2147483648 2 = 2
+gcd -2147483648 -2 = 2
+gcd -2147483648 -2147483648 = 2147483648
+gcd -2147483648 2147483647 = 1
+gcd 2147483647 0 = 2147483647
+gcd 2147483647 1 = 1
+gcd 2147483647 -1 = 1
+gcd 2147483647 2 = 1
+gcd 2147483647 -2 = 1
+gcd 2147483647 -2147483648 = 1
+gcd 2147483647 2147483647 = 2147483647
+lcm 0 1 = 0
+lcm 0 -1 = 0
+lcm 0 2 = 0
+lcm 0 -2 = 0
+lcm 0 -2147483648 = 0
+lcm 0 2147483647 = 0
+lcm 1 0 = 0
+lcm 1 1 = 1
+lcm 1 -1 = 1
+lcm 1 2 = 2
+lcm 1 -2 = 2
+lcm 1 -2147483648 = 2147483648
+lcm 1 2147483647 = 2147483647
+lcm -1 0 = 0
+lcm -1 1 = 1
+lcm -1 -1 = 1
+lcm -1 2 = 2
+lcm -1 -2 = 2
+lcm -1 -2147483648 = 2147483648
+lcm -1 2147483647 = 2147483647
+lcm 2 0 = 0
+lcm 2 1 = 2
+lcm 2 -1 = 2
+lcm 2 2 = 2
+lcm 2 -2 = 2
+lcm 2 -2147483648 = 2147483648
+lcm 2 2147483647 = 4294967294
+lcm -2 0 = 0
+lcm -2 1 = 2
+lcm -2 -1 = 2
+lcm -2 2 = 2
+lcm -2 -2 = 2
+lcm -2 -2147483648 = 2147483648
+lcm -2 2147483647 = 4294967294
+lcm -2147483648 0 = 0
+lcm -2147483648 1 = 2147483648
+lcm -2147483648 -1 = 2147483648
+lcm -2147483648 2 = 2147483648
+lcm -2147483648 -2 = 2147483648
+lcm -2147483648 -2147483648 = 2147483648
+lcm -2147483648 2147483647 = 4611686016279904256
+lcm 2147483647 0 = 0
+lcm 2147483647 1 = 2147483647
+lcm 2147483647 -1 = 2147483647
+lcm 2147483647 2 = 4294967294
+lcm 2147483647 -2 = 4294967294
+lcm 2147483647 -2147483648 = 4611686016279904256
+lcm 2147483647 2147483647 = 2147483647