From d2af79a77ed2936ff0ed90cadf8e48637d774d4c Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 4 Oct 2016 15:52:16 +0200 Subject: Turn 64-bit integer division and modulus by constants into multiply-high This trick was already implemented for 32-bit integer division and modulus. Here we extend it to the 64-bit case. For 32-bit target processors, the runtime library must implement 64-bit multiply-high (signed and unsigned). Tentative implementations are provided for IA32 and PowerPC, but need testing. --- test/regression/Results/int64 | 2160 +++++++++++++++++++++++++++++++++++++++++ test/regression/int64.c | 12 + 2 files changed, 2172 insertions(+) (limited to 'test/regression') diff --git a/test/regression/Results/int64 b/test/regression/Results/int64 index 307d0887..af444cf6 100644 --- a/test/regression/Results/int64 +++ b/test/regression/Results/int64 @@ -12,6 +12,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 0 @@ -42,6 +54,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 1 @@ -72,6 +96,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = ffffffffffffffff @@ -102,6 +138,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 7fffffff @@ -132,6 +180,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 80000000 @@ -162,6 +222,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 7fffffffffffffff @@ -192,6 +264,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 8000000000000000 @@ -222,6 +306,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 100000003 @@ -252,6 +348,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = 0 +x /u 5 = 0 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = 0 +x /u 11 = 0 +x %u 11 = 0 +x /s 11 = 0 +x %s 11 = 0 ~x = ffffffffffffffff x & y = 0 x | y = 14057b7ef767814f @@ -282,6 +390,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 8ada4b0819379bb +x %u 3 = 1 +x /s 3 = 8ada4b0819379bb +x %s 3 = 1 +x /u 5 = 534fc69e7587c3d +x %u 5 = 1 +x /s 5 = 534fc69e7587c3d +x %s 5 = 1 +x /u 11 = 25de718dd854fbe +x %u 11 = 8 +x /s 11 = 25de718dd854fbe +x %s 11 = 8 ~x = e5f711ee7b4592cd x & y = 0 x | y = 1a08ee1184ba6d32 @@ -312,6 +432,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 0 x | y = 1 @@ -342,6 +474,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 1 x | y = 1 @@ -372,6 +516,18 @@ x /u y2 = 0 x %u y2 = 1 x /s y3 = ffffffffffffffff x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 1 x | y = ffffffffffffffff @@ -402,6 +558,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 1 x | y = 7fffffff @@ -432,6 +600,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 0 x | y = 80000001 @@ -462,6 +642,18 @@ x /u y2 = 0 x %u y2 = 1 x /s y3 = 0 x %s y3 = 1 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 1 x | y = 7fffffffffffffff @@ -492,6 +684,18 @@ x /u y2 = 0 x %u y2 = 1 x /s y3 = 0 x %s y3 = 1 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 0 x | y = 8000000000000001 @@ -522,6 +726,18 @@ x /u y2 = 1 x %u y2 = 0 x /s y3 = 1 x %s y3 = 0 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 1 x | y = 100000003 @@ -552,6 +768,18 @@ x /u y2 = 0 x %u y2 = 1 x /s y3 = 0 x %s y3 = 1 +x /u 3 = 0 +x %u 3 = 1 +x /s 3 = 0 +x %s 3 = 1 +x /u 5 = 0 +x %u 5 = 1 +x /s 5 = 0 +x %s 5 = 1 +x /u 11 = 0 +x %u 11 = 1 +x /s 11 = 0 +x %s 11 = 1 ~x = fffffffffffffffe x & y = 1 x | y = 9af678222e728119 @@ -582,6 +810,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 223cb3a32a60333c +x %u 3 = 0 +x /s 3 = 223cb3a32a60333c +x %s 3 = 0 +x /u 5 = 148ad22eb3068524 +x %u 5 = 0 +x /s 5 = 148ad22eb3068524 +x %s 5 = 0 +x /u 11 = 9565f8997318256 +x %u 11 = 2 +x /s 11 = 9565f8997318256 +x %s 11 = 2 ~x = 9949e51680df664b x & y = 0 x | y = 66b61ae97f2099b5 @@ -612,6 +852,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 0 x | y = ffffffffffffffff @@ -642,6 +894,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 1 x | y = ffffffffffffffff @@ -672,6 +936,18 @@ x /u y2 = 100000001 x %u y2 = 0 x /s y3 = 1 x %s y3 = 0 +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = ffffffffffffffff x | y = ffffffffffffffff @@ -702,6 +978,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 7fffffff x | y = ffffffffffffffff @@ -732,6 +1020,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 80000000 x | y = ffffffffffffffff @@ -762,6 +1062,18 @@ x /u y2 = 200000004 x %u y2 = 3 x /s y3 = 0 x %s y3 = ffffffffffffffff +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 7fffffffffffffff x | y = ffffffffffffffff @@ -792,6 +1104,18 @@ x /u y2 = 1ffffffff x %u y2 = 7fffffff x /s y3 = 0 x %s y3 = ffffffffffffffff +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 8000000000000000 x | y = ffffffffffffffff @@ -822,6 +1146,18 @@ x /u y2 = ffffffffffffffff x %u y2 = 0 x /s y3 = ffffffffffffffff x %s y3 = 0 +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 100000003 x | y = ffffffffffffffff @@ -852,6 +1188,18 @@ x /u y2 = 29b51243c x %u y2 = 2db954e7 x /s y3 = 0 x %s y3 = ffffffffffffffff +x /u 3 = 5555555555555555 +x %u 3 = 0 +x /s 3 = 0 +x %s 3 = ffffffffffffffff +x /u 5 = 3333333333333333 +x %u 5 = 0 +x /s 5 = 0 +x %s 5 = ffffffffffffffff +x /u 11 = 1745d1745d1745d1 +x %u 11 = 4 +x /s 11 = 0 +x %s 11 = ffffffffffffffff ~x = 0 x & y = 62354cda6226d1f3 x | y = ffffffffffffffff @@ -882,6 +1230,18 @@ x /u y2 = 8f947f37 x %u y2 = 6065753d x /s y3 = 706b80c92f2f09fa x %s y3 = 0 +x /u 3 = 2fdc2a679af05202 +x %u 3 = 0 +x /s 3 = da86d512459afcad +x %s 3 = ffffffffffffffff +x /u 5 = 1cb74ca49029cace +x %u 5 = 0 +x /s 5 = e98419715cf6979b +x %s 5 = ffffffffffffffff +x /u 11 = d0d7fedb5e47374 +x %u 11 = a +x /s 11 = f5c7ae7958cd2da4 +x %s 11 = fffffffffffffffa ~x = 706b80c92f2f09f9 x & y = 8f947f36d0d0f606 x | y = ffffffffffffffff @@ -912,6 +1272,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 0 x | y = 7fffffff @@ -942,6 +1314,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 1 x | y = 7fffffff @@ -972,6 +1356,18 @@ x /u y2 = 0 x %u y2 = 7fffffff x /s y3 = ffffffff80000001 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 7fffffff x | y = ffffffffffffffff @@ -1002,6 +1398,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 7fffffff x | y = 7fffffff @@ -1032,6 +1440,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 0 x | y = ffffffff @@ -1062,6 +1482,18 @@ x /u y2 = 1 x %u y2 = 0 x /s y3 = 1 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 7fffffff x | y = 7fffffffffffffff @@ -1092,6 +1524,18 @@ x /u y2 = 0 x %u y2 = 7fffffff x /s y3 = 0 x %s y3 = 7fffffff +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 0 x | y = 800000007fffffff @@ -1122,6 +1566,18 @@ x /u y2 = 7fffffff x %u y2 = 0 x /s y3 = 7fffffff x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 3 x | y = 17fffffff @@ -1152,6 +1608,18 @@ x /u y2 = 6 x %u y2 = 67c8b5f x /s y3 = 6 x %s y3 = 67c8b5f +x /u 3 = 2aaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaa +x %s 3 = 1 +x /u 5 = 19999999 +x %u 5 = 2 +x /s 5 = 19999999 +x %s 5 = 2 +x /u 11 = ba2e8ba +x %u 11 = 1 +x /s 11 = ba2e8ba +x %s 11 = 1 ~x = ffffffff80000000 x & y = 4fadba5d x | y = 144093707fffffff @@ -1182,6 +1650,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 1e607d2f69822238 +x %u 3 = 0 +x /s 3 = 1e607d2f69822238 +x %s 3 = 0 +x /u 5 = 1239e4b60c1ae154 +x %u 5 = 4 +x /s 5 = 1239e4b60c1ae154 +x %s 5 = 4 +x /u 11 = 848dc52bfaf209a +x %u 11 = a +x /s 11 = 848dc52bfaf209a +x %s 11 = a ~x = a4de8871c3799957 x & y = 3c8666a8 x | y = 5b21778e7fffffff @@ -1212,6 +1692,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 0 x | y = 80000000 @@ -1242,6 +1734,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 0 x | y = 80000001 @@ -1272,6 +1776,18 @@ x /u y2 = 0 x %u y2 = 80000000 x /s y3 = ffffffff80000000 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 80000000 x | y = ffffffffffffffff @@ -1302,6 +1818,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 0 x | y = ffffffff @@ -1332,6 +1860,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 80000000 x | y = 80000000 @@ -1362,6 +1902,18 @@ x /u y2 = 1 x %u y2 = 1 x /s y3 = 1 x %s y3 = 1 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 80000000 x | y = 7fffffffffffffff @@ -1392,6 +1944,18 @@ x /u y2 = 1 x %u y2 = 0 x /s y3 = ffffffffffffffff x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 0 x | y = 8000000080000000 @@ -1422,6 +1986,18 @@ x /u y2 = 80000000 x %u y2 = 0 x /s y3 = 80000000 x %s y3 = 0 +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 0 x | y = 180000003 @@ -1452,6 +2028,18 @@ x /u y2 = 1 x %u y2 = 467a43f x /s y3 = 1 x %s y3 = 467a43f +x /u 3 = 2aaaaaaa +x %u 3 = 2 +x /s 3 = 2aaaaaaa +x %s 3 = 2 +x /u 5 = 19999999 +x %u 5 = 3 +x /s 5 = 19999999 +x %s 5 = 3 +x /u 11 = ba2e8ba +x %u 11 = 2 +x /s 11 = ba2e8ba +x %s 11 = 2 ~x = ffffffff7fffffff x & y = 80000000 x | y = 7b985bc1e7bce4d7 @@ -1482,6 +2070,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 261ba3127a17215e +x %u 3 = 0 +x /s 3 = 261ba3127a17215e +x %s 3 = 0 +x /u 5 = 16dd61d7e2daad9e +x %u 5 = 4 +x /s 5 = 16dd61d7e2daad9e +x %s 5 = 4 +x /u 11 = a64a0d67e636630 +x %u 11 = a +x /s 11 = a64a0d67e636630 +x %s 11 = a ~x = 8dad16c891ba9be5 x & y = 0 x | y = 7252e937ee45641a @@ -1512,6 +2112,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 0 x | y = 7fffffffffffffff @@ -1542,6 +2154,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 1 x | y = 7fffffffffffffff @@ -1572,6 +2196,18 @@ x /u y2 = 80000000 x %u y2 = 7fffffff x /s y3 = 8000000000000001 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 7fffffffffffffff x | y = ffffffffffffffff @@ -1602,6 +2238,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 7fffffff x | y = 7fffffffffffffff @@ -1632,6 +2280,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 80000000 x | y = 7fffffffffffffff @@ -1662,6 +2322,18 @@ x /u y2 = 100000002 x %u y2 = 1 x /s y3 = 100000002 x %s y3 = 1 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 7fffffffffffffff x | y = 7fffffffffffffff @@ -1692,6 +2364,18 @@ x /u y2 = ffffffff x %u y2 = 7fffffff x /s y3 = ffffffff00000001 x %s y3 = 7fffffff +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 0 x | y = ffffffffffffffff @@ -1722,6 +2406,18 @@ x /u y2 = 7fffffffffffffff x %u y2 = 0 x /s y3 = 7fffffffffffffff x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 100000003 x | y = 7fffffffffffffff @@ -1752,6 +2448,18 @@ x /u y2 = ca1d702e x %u y2 = 372ea79b x /s y3 = fffffffea2f0285c x %s y3 = 46eadf37 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 1 +x /s 3 = 2aaaaaaaaaaaaaaa +x %s 3 = 1 +x /u 5 = 1999999999999999 +x %u 5 = 2 +x /s 5 = 1999999999999999 +x %s 5 = 2 +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 7 +x /s 11 = ba2e8ba2e8ba2e8 +x %s 11 = 7 ~x = 8000000000000000 x & y = 2220229ec164ffe1 x | y = ffffffffffffffff @@ -1782,6 +2490,18 @@ x /u y2 = bafa9b4b x %u y2 = 608b627 x /s y3 = bafa9b4b x %s y3 = 608b627 +x /u 3 = 1f29c48c43af5e49 +x %u 3 = 1 +x /s 3 = 1f29c48c43af5e49 +x %s 3 = 1 +x /u 5 = 12b2a920f5693892 +x %u 5 = 2 +x /s 5 = 12b2a920f5693892 +x %s 5 = 2 +x /u 11 = 87fc13d86d2bc9f +x %u 11 = 7 +x /s 11 = 87fc13d86d2bc9f +x %s 11 = 7 ~x = a282b25b34f1e523 x & y = 5d7d4da4cb0e1adc x | y = 7fffffffffffffff @@ -1812,6 +2532,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 0 x | y = 8000000000000000 @@ -1842,6 +2574,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 0 x | y = 8000000000000001 @@ -1872,6 +2616,18 @@ x /u y2 = 80000000 x %u y2 = 80000000 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 8000000000000000 x | y = ffffffffffffffff @@ -1902,6 +2658,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 0 x | y = 800000007fffffff @@ -1932,6 +2700,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 0 x | y = 8000000080000000 @@ -1962,6 +2742,18 @@ x /u y2 = 100000002 x %u y2 = 2 x /s y3 = fffffffefffffffe x %s y3 = fffffffffffffffe +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 0 x | y = ffffffffffffffff @@ -1992,6 +2784,18 @@ x /u y2 = 100000000 x %u y2 = 0 x /s y3 = 100000000 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 8000000000000000 x | y = 8000000000000000 @@ -2022,6 +2826,18 @@ x /u y2 = 8000000000000000 x %u y2 = 0 x /s y3 = 8000000000000000 x %s y3 = 0 +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 0 x | y = 8000000100000003 @@ -2052,6 +2868,18 @@ x /u y2 = a4795a4ab x %u y2 = 13c1551 x /s y3 = fffffff5b86a5b55 x %s y3 = fffffffffec3eaaf +x /u 3 = 2aaaaaaaaaaaaaaa +x %u 3 = 2 +x /s 3 = d555555555555556 +x %s 3 = fffffffffffffffe +x /u 5 = 1999999999999999 +x %u 5 = 3 +x /s 5 = e666666666666667 +x %s 5 = fffffffffffffffd +x /u 11 = ba2e8ba2e8ba2e8 +x %u 11 = 8 +x /s 11 = f45d1745d1745d18 +x %s 11 = fffffffffffffff8 ~x = 7fffffffffffffff x & y = 0 x | y = 8c73aa0d9a415dfb @@ -2082,6 +2910,18 @@ x /u y2 = 31d220f5 x %u y2 = 399b8b6e x /s y3 = ffffffffce2ddf0b x %s y3 = 399b8b6e +x /u 3 = 84db028e8892e7a +x %u 3 = 0 +x /s 3 = 84db028e8892e7a +x %s 3 = 0 +x /u 5 = 4fb69b2251f1be2 +x %u 5 = 4 +x /s 5 = 4fb69b2251f1be2 +x %s 5 = 4 +x /u 11 = 243bbae10df984f +x %u 11 = 9 +x /s 11 = 243bbae10df984f +x %s 11 = 9 ~x = e716ef8546647491 x & y = 0 x | y = 98e9107ab99b8b6e @@ -2112,6 +2952,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 0 x | y = 100000003 @@ -2142,6 +2994,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 1 x | y = 100000003 @@ -2172,6 +3036,18 @@ x /u y2 = 1 x %u y2 = 4 x /s y3 = fffffffefffffffd x %s y3 = 0 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 100000003 x | y = ffffffffffffffff @@ -2202,6 +3078,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 3 x | y = 17fffffff @@ -2232,6 +3120,18 @@ x /u y2 = 0 x %u y2 = 0 x /s y3 = 0 x %s y3 = 0 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 0 x | y = 180000003 @@ -2262,6 +3162,18 @@ x /u y2 = 2 x %u y2 = 5 x /s y3 = 2 x %s y3 = 5 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 100000003 x | y = 7fffffffffffffff @@ -2292,6 +3204,18 @@ x /u y2 = 2 x %u y2 = 3 x /s y3 = fffffffffffffffe x %s y3 = 3 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 0 x | y = 8000000100000003 @@ -2322,6 +3246,18 @@ x /u y2 = 100000003 x %u y2 = 0 x /s y3 = 100000003 x %s y3 = 0 +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 100000003 x | y = 100000003 @@ -2352,6 +3288,18 @@ x /u y2 = 1 x %u y2 = 16432d9b x /s y3 = fffffffffffffff5 x %s y3 = b1d0a7b +x /u 3 = 55555556 +x %u 3 = 1 +x /s 3 = 55555556 +x %s 3 = 1 +x /u 5 = 33333333 +x %u 5 = 4 +x /s 5 = 33333333 +x %s 5 = 4 +x /u 11 = 1745d174 +x %u 11 = 7 +x /s 11 = 1745d174 +x %s 11 = 7 ~x = fffffffefffffffc x & y = 1 x | y = e9bcd26990f095a7 @@ -2382,6 +3330,18 @@ x /u y2 = 329cb23ce0f7aa50 x %u y2 = 0 x /s y3 = 329cb23ce0f7aa50 x %s y3 = 0 +x /u 3 = 10dee6144afd38c5 +x %u 3 = 1 +x /s 3 = 10dee6144afd38c5 +x %s 3 = 1 +x /u 5 = a1f56d8f9cb2210 +x %u 5 = 0 +x /s 5 = a1f56d8f9cb2210 +x %s 5 = 0 +x /u 11 = 499e1a8718ae0f0 +x %u 11 = 0 +x /s 11 = 499e1a8718ae0f0 +x %s 11 = 0 ~x = cd634dc31f0855af x & y = 0 x | y = 329cb23de0f7aa53 @@ -2412,6 +3372,18 @@ x /u y2 = 86cb918b x %u y2 = 910b6dd3 x /s y3 = 133e437097 x %s y3 = fffffffffe99a023 +x /u 3 = 2bcb8e3115aa0b1f +x %u 3 = 2 +x /s 3 = d67638dbc054b5cb +x %s 3 = fffffffffffffffe +x /u 5 = 1a46eeea4032d379 +x %u 5 = 2 +x /s 5 = e713bbb70cffa047 +x %s 5 = fffffffffffffffc +x /u 11 = bf1b26a7a45a5f1 +x %u 11 = 4 +x /s 11 = f4abe0f61d2e6020 +x %s 11 = ffffffffffffffff ~x = 7c9d556cbf01dea0 x & y = 8102200000ec0002 x | y = fbe6beb756fea15f @@ -2442,6 +3414,18 @@ x /u y2 = 84c9e8f3 x %u y2 = 27966e44 x /s y3 = 84c9e8f3 x %s y3 = 27966e44 +x /u 3 = 122ad667ce8c5538 +x %u 3 = 1 +x /s 3 = 122ad667ce8c5538 +x %s 3 = 1 +x /u 5 = ae680a4af20ffee +x %u 5 = 3 +x /s 5 = ae680a4af20ffee +x %s 5 = 3 +x /u 11 = 4f4690509c92e83 +x %u 11 = 8 +x /s 11 = 4f4690509c92e83 +x %s 11 = 8 ~x = c97f7cc8945b0056 x & y = 2000820723804900 x | y = 7f92b377ffbeffad @@ -2472,6 +3456,18 @@ x /u y2 = e9932394 x %u y2 = bed9fbb x /s y3 = 142f786e7 x %s y3 = ffffffffe6446d5d +x /u 3 = 3a53921f27b11bab +x %u 3 = 2 +x /s 3 = e4fe3cc9d25bc657 +x %s 3 = fffffffffffffffe +x /u 5 = 22fef145e49d7700 +x %u 5 = 3 +x /s 5 = efcbbe12b16a43ce +x %s 5 = fffffffffffffffd +x /u 11 = fe83f1fc501c1ba +x %u 11 = 5 +x /s 11 = f8a26dab67ea7be9 +x %s 11 = 0 ~x = 510549a288ecacfc x & y = aec2264830121102 x | y = bffff67ff7bbd7d7 @@ -2502,6 +3498,18 @@ x /u y2 = 49889cbcc x %u y2 = d961931 x /s y3 = ffffffff5078c8f7 x %s y3 = fffffffffb32ee6a +x /u 3 = 4a4153351cb255f9 +x %u 3 = 2 +x /s 3 = f4ebfddfc75d00a5 +x %s 3 = fffffffffffffffe +x /u 5 = 2c8d98531137cd2f +x %u 5 = 2 +x /s 5 = f95a651fde0499fd +x %s 5 = fffffffffffffffc +x /u 11 = 14405c82d947e8e7 +x %u 11 = 0 +x /s 11 = fcfa8b0e7c30a316 +x %s 11 = fffffffffffffffb ~x = 213c0660a9e8fe12 x & y = 10409095561000e8 x | y = fefbfbdffe5f6bfd @@ -2532,6 +3540,18 @@ x /u y2 = 111c647a7 x %u y2 = 2a35fbed x /s y3 = 111c647a7 x %s y3 = 2a35fbed +x /u 3 = 295ca3b37973c7a2 +x %u 3 = 1 +x /s 3 = 295ca3b37973c7a2 +x %s 3 = 1 +x /u 5 = 18d12f0548df1161 +x %u 5 = 2 +x /s 5 = 18d12f0548df1161 +x %s 5 = 2 +x /u 11 = b47cf8e09d9c215 +x %u 11 = 0 +x /s 11 = b47cf8e09d9c215 +x %s 11 = 0 ~x = 83ea14e593a4a918 x & y = 740588126c0140e2 x | y = 7c17ef7e7c5f76ef @@ -2562,6 +3582,18 @@ x /u y2 = 67e883b7 x %u y2 = 4d949d8f x /s y3 = 67e883b7 x %s y3 = 4d949d8f +x /u 3 = f0e444b6fdfe025 +x %u 3 = 2 +x /s 3 = f0e444b6fdfe025 +x %s 3 = 2 +x /u 5 = 9088f6076532016 +x %u 5 = 3 +x /s 5 = 9088f6076532016 +x %s 5 = 3 +x /u 11 = 41b29e6073d0e95 +x %u 11 = a +x /s 11 = 41b29e6073d0e95 +x %s 11 = a ~x = d2d5331db0605f8e x & y = 2d02482204938020 x | y = 6f6fecee5fdfe47d @@ -2592,6 +3624,18 @@ x /u y2 = 203527d3 x %u y2 = 339f3657 x /s y3 = ffffffffcf52411e x %s y3 = 47c75183 +x /u 3 = 67605b7f984f059 +x %u 3 = 0 +x /s 3 = 67605b7f984f059 +x %s 3 = 0 +x /u 5 = 3e069d4c8e95d02 +x %u 5 = 1 +x /s 5 = 3e069d4c8e95d02 +x %s 5 = 1 +x /u 11 = 1c318d5158158d2 +x %u 11 = 5 +x /s 11 = 1c318d5158158d2 +x %s 11 = 5 ~x = ec9deed813712ef4 x & y = 12001124448c910a x | y = 9b729dfffd9ff53f @@ -2622,6 +3666,18 @@ x /u y2 = 57ad3b593 x %u y2 = 7501355 x /s y3 = 57ad3b593 x %s y3 = 7501355 +x /u 3 = 18e5589b620ab511 +x %u 3 = 2 +x /s 3 = 18e5589b620ab511 +x %s 3 = 2 +x /u 5 = ef001f6d46cd30a +x %u 5 = 3 +x /s 5 = ef001f6d46cd30a +x %s 5 = 3 +x /u 11 = 6ca2f703202eb90 +x %u 11 = 5 +x /s 11 = 6ca2f703202eb90 +x %s 11 = 5 ~x = b54ff62dd9dfe0ca x & y = 8a0008000200820 x | y = 4fb139f2a6615fb5 @@ -2652,6 +3708,18 @@ x /u y2 = 3affbc857 x %u y2 = 2cd84c77 x /s y3 = fffffffe19aa1e7c x %s y3 = ffffffffe134208f +x /u 3 = 385181e6dae2e1cf +x %u 3 = 2 +x /s 3 = e2fc2c91858d8c7b +x %s 3 = fffffffffffffffe +x /u 5 = 21ca81241cee877c +x %u 5 = 3 +x /s 5 = ee974df0e9bb544a +x %s 5 = fffffffffffffffd +x /u 11 = f5c0c27b00f54db +x %u 11 = 6 +x /s 11 = f8163ab352f80f0b +x %s 11 = fffffffffffffff6 ~x = 570b7a4b6f575a90 x & y = 28d0818000a8a442 x | y = adf5b7fcdcb9a7ff @@ -2682,6 +3750,18 @@ x /u y2 = ed62a033 x %u y2 = 9a9c1784 x /s y3 = 1317fc5dc x %s y3 = ffffffffdaba2cf5 +x /u 3 = 3980e6c0ff575613 +x %u 3 = 0 +x /s 3 = e42b916baa0200be +x %s 3 = ffffffffffffffff +x /u 5 = 22808a73cc679a0b +x %u 5 = 2 +x /s 5 = ef4d5740993466d9 +x %s 5 = fffffffffffffffc +x /u 11 = faeca91ba008bd6 +x %u 11 = 7 +x /s 11 = f868f91d5ce94606 +x %s 11 = fffffffffffffff7 ~x = 537d4bbd01f9fdc6 x & y = a8008042d0040010 x | y = be8bf577febf2e7d @@ -2712,6 +3792,18 @@ x /u y2 = 1457fa721 x %u y2 = 62f7b025 x /s y3 = aca563d9 x %s y3 = fffffffffc51c715 +x /u 3 = 3b2ad00c14d8a806 +x %u 3 = 1 +x /s 3 = e5d57ab6bf8352b1 +x %s 3 = 0 +x /u 5 = 2380166da61b9803 +x %u 5 = 4 +x /s 5 = f04ce33a72e864d1 +x %s 5 = fffffffffffffffe +x /u 11 = 1022f2ec05af73a4 +x %u 11 = 7 +x /s 11 = f8dd2177a8982dd4 +x %s 11 = fffffffffffffff7 ~x = 4e7f8fdbc17607ec x & y = 818040242e888802 x | y = bb9a702e7ec9f9b7 @@ -2742,6 +3834,18 @@ x /u y2 = 401f99d2e x %u y2 = 1b8b48d5 x /s y3 = fffffffc1b6b5e46 x %s y3 = ffffffffebae19b5 +x /u 3 = 2b4968cb1b85047f +x %u 3 = 0 +x /s 3 = d5f41375c62faf2a +x %s 3 = ffffffffffffffff +x /u 5 = 19f8d879dd4fcf7f +x %u 5 = 2 +x /s 5 = e6c5a546aa1c9c4d +x %s 5 = fffffffffffffffc +x /u 11 = bce33da4d52d2ae +x %u 11 = 3 +x /s 11 = f4886265f03b8cdd +x %s 11 = fffffffffffffffe ~x = 7e23c59ead70f282 x & y = 440a40428e0148 x | y = a1ff3eed77ffef7d @@ -2772,6 +3876,18 @@ x /u y2 = 1cdd42781 x %u y2 = 8307e40 x /s y3 = 1cdd42781 x %s y3 = 8307e40 +x /u 3 = 6d86bd5739f6452 +x %u 3 = 1 +x /s 3 = 6d86bd5739f6452 +x %s 3 = 1 +x /u 5 = 41b73e67892d5cb +x %u 5 = 0 +x /s 5 = 41b73e67892d5cb +x %s 5 = 0 +x /u 11 = 1ddeedd1f888fb9 +x %u 11 = 4 +x /s 11 = 1ddeedd1f888fb9 +x %s 11 = 4 ~x = eb76bc7fa521d308 x & y = 200088620b2 x | y = 1feb73b7fadefdff @@ -2802,6 +3918,18 @@ x /u y2 = 1ac3a0a48 x %u y2 = f8ff129 x /s y3 = 1ac3a0a48 x %s y3 = f8ff129 +x /u 3 = 11dcf2a0d0c46c55 +x %u 3 = 2 +x /s 3 = 11dcf2a0d0c46c55 +x %s 3 = 2 +x /u 5 = ab7c4c6e3a90dcd +x %u 5 = 0 +x /s 5 = ab7c4c6e3a90dcd +x %s 5 = 0 +x /u 11 = 4df2ae60a641d8b +x %u 11 = 8 +x /s 11 = 4df2ae60a641d8b +x %s 11 = 8 ~x = ca69281d8db2bafe x & y = 200051a2504d0100 x | y = 359fd7e3fbcd657d @@ -2832,6 +3960,18 @@ x /u y2 = 2464000e3 x %u y2 = d195088 x /s y3 = fffffffdd7d46212 x %s y3 = fffffffffcbb11e9 +x /u 3 = 2bcc4928c5bfa2b3 +x %u 3 = 2 +x /s 3 = d676f3d3706a4d5f +x %s 3 = fffffffffffffffe +x /u 5 = 1a475f1876a62e6b +x %u 5 = 4 +x /s 5 = e7142be54372fb39 +x %s 5 = fffffffffffffffe +x /u 11 = bf1e56835ee7231 +x %u 11 = 0 +x /s 11 = f4ac13f3d8d72c60 +x %s 11 = fffffffffffffffb ~x = 7c9b2485aec117e4 x & y = 14419101012a00a x | y = bbe5fffbd17efb1f @@ -2862,6 +4002,18 @@ x /u y2 = 195403f42 x %u y2 = 67e00199 x /s y3 = ffffffff94c3b859 x %s y3 = ffffffffd787355f +x /u 3 = 437a4bcf93f8f997 +x %u 3 = 0 +x /s 3 = ee24f67a3ea3a442 +x %s 3 = ffffffffffffffff +x /u 5 = 287c93e2f2622f5a +x %u 5 = 3 +x /s 5 = f54960afbf2efc28 +x %s 5 = fffffffffffffffd +x /u 11 = 12672bf2cb43e6fa +x %u 11 = 7 +x /s 11 = fb215a7e6e2ca12a +x %s 11 = fffffffffffffff7 ~x = 35911c914415133a x & y = 4a60e14691c0c8c0 x | y = ffeee7fefffbfef5 @@ -2892,6 +4044,18 @@ x /u y2 = 292cea58 x %u y2 = 301cdf07 x /s y3 = 292cea58 x %s y3 = 301cdf07 +x /u 3 = 4dd7b8dc788047f +x %u 3 = 2 +x /s 3 = 4dd7b8dc788047f +x %s 3 = 2 +x /u 5 = 2eb4a21de1e6919 +x %u 5 = 2 +x /s 5 = 2eb4a21de1e6919 +x %s 5 = 2 +x /u 11 = 153ad55366ae9f4 +x %u 11 = 3 +x /s 11 = 153ad55366ae9f4 +x %s 11 = 3 ~x = f1678d56a967f280 x & y = a98120904980122 x | y = 5ebefbad7fbeedff @@ -2922,6 +4086,18 @@ x /u y2 = ce682040 x %u y2 = 8882909 x /s y3 = 16845c4311 x %s y3 = fffffffffe31f1da +x /u 3 = 4430365b0a64d843 +x %u 3 = 0 +x /s 3 = eedae105b50f82ee +x %s 3 = ffffffffffffffff +x /u 5 = 28e9ba369fd61b5b +x %u 5 = 2 +x /s 5 = f5b687036ca2e829 +x %s 5 = fffffffffffffffc +x /u 11 = 1298c9018e789812 +x %u 11 = 3 +x /s 11 = fb52f78d31615241 +x %s 11 = fffffffffffffffe ~x = 336f5ceee0d17736 x & y = cc902111112e0080 x | y = fdb7bbffdf6ecbed @@ -2952,6 +4128,18 @@ x /u y2 = ff48210c x %u y2 = 6c4e224b x /s y3 = 114ef78ac x %s y3 = ffffffffff84590b +x /u 3 = 524579262dee95b6 +x %u 3 = 1 +x /s 3 = fcf023d0d8994061 +x %s 3 = 0 +x /u 5 = 315ce24a1b8f26a0 +x %u 5 = 3 +x /s 5 = fe29af16e85bf36e +x %s 5 = fffffffffffffffd +x /u 11 = 167009c49829cbbd +x %u 11 = 4 +x /s 11 = ff2a38503b1285ec +x %s 11 = ffffffffffffffff ~x = 92f948d76343edc x & y = f68021120043c122 x | y = f7d27b729befd177 @@ -2982,6 +4170,18 @@ x /u y2 = 27bb1964 x %u y2 = 7672b2b1 x /s y3 = ffffffff68dce4e4 x %s y3 = 1d207631 +x /u 3 = a7ca1b7e214f459 +x %u 3 = 2 +x /s 3 = a7ca1b7e214f459 +x %s 3 = 2 +x /u 5 = 64ac76e5472f902 +x %u 5 = 3 +x /s 5 = 64ac76e5472f902 +x %s 5 = 3 +x /u 11 = 2dc2c1ae09159e9 +x %u 11 = a +x /s 11 = 2dc2c1ae09159e9 +x %s 11 = a ~x = e08a1ad859c122f2 x & y = a340027a42ecd08 x | y = dff7ff6fe6bedf9d @@ -3012,6 +4212,18 @@ x /u y2 = 28349b7ce x %u y2 = 24b397b7 x /s y3 = 28349b7ce x %s y3 = 24b397b7 +x /u 3 = 229daae6f2322257 +x %u 3 = 2 +x /s 3 = 229daae6f2322257 +x %s 3 = 2 +x /u 5 = 14c500242aeae167 +x %u 5 = 4 +x /s 5 = 14c500242aeae167 +x %s 5 = 4 +x /u 11 = 970d184cdb09500 +x %u 11 = 7 +x /s 11 = 970d184cdb09500 +x %s 11 = 7 ~x = 9826ff4b296998f8 x & y = 2151001050060602 x | y = 6fdba6bcde97778f @@ -3042,6 +4254,18 @@ x /u y2 = 12c706881 x %u y2 = 3974fe7b x /s y3 = fffffffefe5ea0d2 x %s y3 = ffffffffe980f385 +x /u 3 = 2df08781ae624f30 +x %u 3 = 1 +x /s 3 = d89b322c590cf9db +x %s 3 = 0 +x /u 5 = 1b90514dcf07c91d +x %u 5 = 0 +x /s 5 = e85d1e1a9bd495ea +x %s 5 = ffffffffffffffff +x /u 11 = c876ac646d4fe53 +x %u 11 = 0 +x /s 11 = f5419951e9bdb882 +x %s 11 = fffffffffffffffb ~x = 762e697af4d9126e x & y = 14094040a262080 x | y = fdfff6978f7fffdd @@ -3072,6 +4296,18 @@ x /u y2 = 2e1d4dc x %u y2 = cb2df2bf x /s y3 = fffffffff2ac0c93 x %s y3 = 2a546e24 +x /u 3 = ca370abf90e10e +x %u 3 = 1 +x /s 3 = ca370abf90e10e +x %s 3 = 1 +x /u 5 = 795439a623ba3b +x %u 5 = 4 +x /s 5 = 795439a623ba3b +x %s 5 = 4 +x /u 11 = 372648bfe1b1be +x %u 11 = 1 +x /s 11 = 372648bfe1b1be +x %s 11 = 1 ~x = fda15adfc14d5cd4 x & y = 25aa0201682800a x | y = d27fb73d7ff7a7ff @@ -3102,6 +4338,18 @@ x /u y2 = 98de5aed x %u y2 = 81b9d719 x /s y3 = ffffffff312686c0 x %s y3 = 67db7555 +x /u 3 = 1d4d2c23df3354c7 +x %u 3 = 0 +x /s 3 = 1d4d2c23df3354c7 +x %s 3 = 0 +x /u 5 = 1194b41585eb9944 +x %u 5 = 1 +x /s 5 = 1194b41585eb9944 +x %s 5 = 1 +x /u 11 = 7fdc638542545aa +x %u 11 = 7 +x /s 11 = 7fdc638542545aa +x %s 11 = 7 ~x = a8187b94626601aa x & y = 1325002814186040 x | y = d7f7d4efdd9fff55 @@ -3132,6 +4380,18 @@ x /u y2 = 2637b00b x %u y2 = 4a30bdb x /s y3 = 2637b00b x %s y3 = 4a30bdb +x /u 3 = 2a81370cf14732f +x %u 3 = 2 +x /s 3 = 2a81370cf14732f +x %s 3 = 2 +x /u 5 = 1980baa15d911e9 +x %u 5 = 2 +x /s 5 = 1980baa15d911e9 +x %s 5 = 2 +x /u 11 = b979aa670593c7 +x %u 11 = 2 +x /s 11 = b979aa670593c7 +x %s 11 = 2 ~x = f807c5ad92c2a670 x & y = 56030102c191002 x | y = 37fa7fde6ffd79ff @@ -3162,6 +4422,18 @@ x /u y2 = 2149e9078 x %u y2 = 3157ec11 x /s y3 = ffffffffbbb6b39e x %s y3 = ffffffff9f7efd07 +x /u 3 = 4ba2da01fefd311d +x %u 3 = 2 +x /s 3 = f64d84aca9a7dbc9 +x %s 3 = fffffffffffffffe +x /u 5 = 2d61b6013297ea45 +x %u 5 = 0 +x /s 5 = fa2e82cdff64b712 +x %s 5 = ffffffffffffffff +x /u 11 = 14a0c717d12dc793 +x %u 11 = 8 +x /s 11 = fd5af5a3741681c3 +x %s 11 = fffffffffffffff8 ~x = 1d1771fa03086ca6 x & y = 600880056cd28250 x | y = efefef87fff79ffd @@ -3192,6 +4464,18 @@ x /u y2 = 178126fd x %u y2 = 75bd3a7 x /s y3 = ffffffffe1f1945e x %s y3 = 5ca580ab +x /u 3 = 465888d92c88f66 +x %u 3 = 1 +x /s 3 = 465888d92c88f66 +x %s 3 = 1 +x /u 5 = 2a351ee8b4522d7 +x %u 5 = 0 +x /s 5 = 2a351ee8b4522d7 +x %s 5 = 0 +x /u 11 = 132f6b23f4df890 +x %u 11 = 3 +x /s 11 = 132f6b23f4df890 +x %s 11 = 3 ~x = f2cf665747a651cc x & y = d20182820412c02 x | y = 8fb8d9fcfc5def77 @@ -3222,6 +4506,18 @@ x /u y2 = 3aa02d06b x %u y2 = 8d30eae x /s y3 = fffffffe83ee35ed x %s y3 = ffffffffdeff9c14 +x /u 3 = 3cba371623852589 +x %u 3 = 2 +x /s 3 = e764e1c0ce2fd035 +x %s 3 = fffffffffffffffe +x /u 5 = 246fbaa6e21cb01f +x %u 5 = 2 +x /s 5 = f13c8773aee97ced +x %s 5 = fffffffffffffffc +x /u 11 = 108fe07a66c738c8 +x %u 11 = 5 +x /s 11 = f94a0f0609aff2f7 +x %s 11 = 0 ~x = 49d15abd95708f62 x & y = 30288500028d2088 x | y = b7bea5cf6adf7ffd @@ -3252,6 +4548,18 @@ x /u y2 = 7cd84df1 x %u y2 = 1c098191 x /s y3 = 7cd84df1 x %s y3 = 1c098191 +x /u 3 = f86ee25fc5c5707 +x %u 3 = 2 +x /s 3 = f86ee25fc5c5707 +x %s 3 = 2 +x /u 5 = 950f549fdd10104 +x %u 5 = 3 +x /s 5 = 950f549fdd10104 +x %s 5 = 3 +x /u 11 = 43c1267735f0076 +x %u 11 = 5 +x /s 11 = 43c1267735f0076 +x %s 11 = 5 ~x = d16b358e0aeafae8 x & y = e84486044000512 x | y = 7f94cff7f517cf5f @@ -3282,6 +4590,18 @@ x /u y2 = 511ed4ac8 x %u y2 = 27f86a1 x /s y3 = 511ed4ac8 x %s y3 = 27f86a1 +x /u 3 = 20945a3de80c88b5 +x %u 3 = 2 +x /s 3 = 20945a3de80c88b5 +x %s 3 = 2 +x /u 5 = 138c362524d45206 +x %u 5 = 3 +x /s 5 = 138c362524d45206 +x %s 5 = 3 +x /u 11 = 8e2a43f6dd4df77 +x %u 11 = 4 +x /s 11 = 8e2a43f6dd4df77 +x %s 11 = 4 ~x = 9e42f14647da65de x & y = 10506b038249800 x | y = 73ff1ff9feaffa3d @@ -3312,6 +4632,18 @@ x /u y2 = 751173e7 x %u y2 = 4f1d5ff0 x /s y3 = ffffffff88c0657c x %s y3 = 3027aaf +x /u 3 = 13b0fe02eb2e5613 +x %u 3 = 2 +x /s 3 = 13b0fe02eb2e5613 +x %s 3 = 2 +x /u 5 = bd0986826b566d8 +x %u 5 = 3 +x /s 5 = bd0986826b566d8 +x %s 5 = 3 +x /u 11 = 55ed0e985f55d4b +x %u 11 = 2 +x /s 11 = 55ed0e985f55d4b +x %s 11 = 2 ~x = c4ed05f73e74fdc4 x & y = 1025008c109022a x | y = bb3efbfdc3cb2abf @@ -3342,6 +4674,18 @@ x /u y2 = a405e4b4 x %u y2 = 4f86312d x /s y3 = a405e4b4 x %s y3 = 4f86312d +x /u 3 = 115e81465ce7714c +x %u 3 = 1 +x /s 3 = 115e81465ce7714c +x %s 3 = 1 +x /u 5 = a6be72a37be10c7 +x %u 5 = 2 +x /s 5 = a6be72a37be10c7 +x %s 5 = 2 +x /u 11 = 4bcaee4a4f94d71 +x %u 11 = a +x /s 11 = 4bcaee4a4f94d71 +x %s 11 = a ~x = cbe47c2ce949ac1a x & y = 1013800210125380 x | y = 755bbff73fffdbf5 @@ -3372,6 +4716,18 @@ x /u y2 = 7c9e1383 x %u y2 = 89a32be1 x /s y3 = fffffffe57830a86 x %s y3 = 83cdb23 +x /u 3 = 201cac35b86dd88a +x %u 3 = 1 +x /s 3 = 201cac35b86dd88a +x %s 3 = 1 +x /u 5 = 134467536ea84eb9 +x %u 5 = 2 +x /s 5 = 134467536ea84eb9 +x %s 5 = 2 +x /u 11 = 8c2006bbdef699a +x %u 11 = 1 +x /s 11 = 8c2006bbdef699a +x %s 11 = 1 ~x = 9fa9fb5ed6b67660 x & y = 404600a000018102 x | y = e5f6dceb2b6d9bdf @@ -3402,6 +4758,18 @@ x /u y2 = 156e6b4cb x %u y2 = caae302 x /s y3 = ffffffff09523710 x %s y3 = ffffffffa5f4f199 +x /u 3 = 31a14ca0c328b5f8 +x %u 3 = 1 +x /s 3 = dc4bf74b6dd360a3 +x %s 3 = 0 +x /u 5 = 1dc72dfa0eb206c8 +x %u 5 = 1 +x /s 5 = ea93fac6db7ed395 +x %s 5 = 0 +x /u 11 = d8914e606ae0315 +x %u 11 = 2 +x /s 11 = f6434371a996bd44 +x %s 11 = fffffffffffffffd ~x = 6b1c1a1db685de16 x & y = 42024c0414a0040 x | y = ffebf7f7697f2fed @@ -3432,6 +4800,18 @@ x /u y2 = 7fac2866 x %u y2 = 15d50693 x /s y3 = 7fac2866 x %s y3 = 15d50693 +x /u 3 = ecb77d397fc3fc1 +x %u 3 = 0 +x /s 3 = ecb77d397fc3fc1 +x %s 3 = 0 +x /u 5 = 8e07b188e642640 +x %u 5 = 3 +x /s 5 = 8e07b188e642640 +x %s 5 = 3 +x /u 11 = 408f2226f44cb91 +x %u 11 = 8 +x /s 11 = 408f2226f44cb91 +x %s 11 = 8 ~x = d39d9885380b40bc x & y = 862024886441d02 x | y = 7cff7f7afffeff57 @@ -3462,6 +4842,18 @@ x /u y2 = 5d8f7413 x %u y2 = 2f76d45d x /s y3 = fffffffcb6a49899 x %s y3 = d7812bd +x /u 3 = 1c10d99a006342b9 +x %u 3 = 2 +x /s 3 = 1c10d99a006342b9 +x %s 3 = 2 +x /u 5 = 10d6e8f6003b8e6f +x %u 5 = 2 +x /s 5 = 10d6e8f6003b8e6f +x %s 5 = 2 +x /u 11 = 7a7812a001b1232 +x %u 11 = 7 +x /s 11 = 7a7812a001b1232 +x %s 11 = 7 ~x = abcd7331fed637d2 x & y = 442084c000290028 x | y = f6739efec53fcc3d @@ -3492,6 +4884,18 @@ x /u y2 = 82583705 x %u y2 = 41aecdc5 x /s y3 = fffffffb038fcf10 x %s y3 = 5628987 +x /u 3 = 276c2afb9a0e57b7 +x %u 3 = 2 +x /s 3 = 276c2afb9a0e57b7 +x %s 3 = 2 +x /u 5 = 17a74cfd5c6f016e +x %u 5 = 1 +x /s 5 = 17a74cfd5c6f016e +x %s 5 = 1 +x /u 11 = ac068d04149bad5 +x %u 11 = 0 +x /s 11 = ac068d04149bad5 +x %s 11 = 0 ~x = 89bb7f0d31d4f8d8 x & y = 604480724a230422 x | y = fe47cdfacf3f1f2f @@ -3522,6 +4926,18 @@ x /u y2 = 43622075f x %u y2 = 748637e x /s y3 = fffffffc38469f85 x %s y3 = ffffffffeb6799d0 +x /u 3 = 2cf82160212b6e3b +x %u 3 = 0 +x /s 3 = d7a2cc0acbd618e6 +x %s 3 = ffffffffffffffff +x /u 5 = 1afb4739ad807556 +x %u 5 = 3 +x /s 5 = e7c814067a4d4224 +x %s 5 = fffffffffffffffd +x /u 11 = c43ac02f1c606ca +x %u 11 = 3 +x /s 11 = f4fdda8e94aec0f9 +x %s 11 = fffffffffffffffe ~x = 79179bdf9c7db54e x & y = 8042001004020 x | y = a6e8f4ad7fe37bfd @@ -3552,6 +4968,18 @@ x /u y2 = 4d288aa25 x %u y2 = 9a2cc6c x /s y3 = ffffffffb9841949 x %s y3 = ffffffffd933c240 +x /u 3 = 50b9779fd98dac6e +x %u 3 = 1 +x /s 3 = fb64224a84385719 +x %s 3 = 0 +x /u 5 = 306f47c64f55010f +x %u 5 = 0 +x /s 5 = fd3c14931c21cddc +x %s 5 = ffffffffffffffff +x /u 11 = 1604095a240f5d92 +x %u 11 = 5 +x /s 11 = febe37e5c6f817c1 +x %s 11 = 0 ~x = dd399207356fab4 x & y = 322464938020044a x | y = f23fefffefeda57f @@ -3582,6 +5010,18 @@ x /u y2 = aebe580f x %u y2 = 47a4b5a3 x /s y3 = aea5798d9 x %s y3 = fffffffffe0cd097 +x /u 3 = 3870ea2956584f27 +x %u 3 = 0 +x /s 3 = e31b94d40102f9d2 +x %s 3 = ffffffffffffffff +x /u 5 = 21dd594c009b62b1 +x %u 5 = 0 +x /s 5 = eeaa2618cd682f7e +x %s 5 = ffffffffffffffff +x /u 11 = f649cf40046a139 +x %u 11 = 2 +x /s 11 = f81ecb7fa32f5b68 +x %s 11 = fffffffffffffffd ~x = 56ad4183fcf7128a x & y = a802280c02084960 x | y = f95fbf7edfdfedf5 @@ -3612,6 +5052,18 @@ x /u y2 = 64f253db1 x %u y2 = 1b1f8b24 x /s y3 = ffffffff34f67dfd x %s y3 = ffffffffe00e78a0 +x /u 3 = 4bcddb50788f348f +x %u 3 = 2 +x /s 3 = f67885fb2339df3b +x %s 3 = fffffffffffffffe +x /u 5 = 2d7b8396aebc52bc +x %u 5 = 3 +x /s 5 = fa4850637b891f8a +x %s 5 = fffffffffffffffd +x /u 11 = 14ac81a1953e5427 +x %u 11 = 2 +x /s 11 = fd66b02d38270e56 +x %s 11 = fffffffffffffffd ~x = 1c966e0e96526250 x & y = 200910f161010802 x | y = e76bf7fb6fad9fbf @@ -3642,6 +5094,18 @@ x /u y2 = 7bb650b1 x %u y2 = b51254f9 x /s y3 = fffffff6f29b761c x %s y3 = 33e2279 +x /u 3 = 2725c483ee5a66d3 +x %u 3 = 0 +x /s 3 = 2725c483ee5a66d3 +x %s 3 = 0 +x /u 5 = 177d0f825bcfd74b +x %u 5 = 2 +x /s 5 = 177d0f825bcfd74b +x %s 5 = 2 +x /u 11 = aad359858473350 +x %u 11 = 9 +x /s 11 = aad359858473350 +x %s 11 = 9 ~x = 8a8eb27434f0cb86 x & y = 710005808a080010 x | y = f777ff8beb8ff5fd @@ -3672,6 +5136,18 @@ x /u y2 = a1fbf096 x %u y2 = 8c67f383 x /s y3 = 4ecae6205 x %s y3 = fffffffff5e0333b +x /u 3 = 315fd6992189fc1b +x %u 3 = 2 +x /s 3 = dc0a8143cc34a6c7 +x %s 3 = fffffffffffffffe +x /u 5 = 1d9fe728adb930dd +x %u 5 = 2 +x /s 5 = ea6cb3f57a85fdab +x %s 5 = fffffffffffffffc +x /u 11 = d773a86da99fef0 +x %u 11 = 3 +x /s 11 = f63169127d82b91f +x %s 11 = fffffffffffffffe ~x = 6be07c349b620bac x & y = 80180008408da042 x | y = fe1f93fbffbff4f7 @@ -3702,6 +5178,18 @@ x /u y2 = 30cdb0a56 x %u y2 = ad1e409 x /s y3 = 30cdb0a56 x %s y3 = ad1e409 +x /u 3 = 2834594c36a7a13f +x %u 3 = 0 +x /s 3 = 2834594c36a7a13f +x %s 3 = 0 +x /u 5 = 181f68c753fe2d8c +x %u 5 = 1 +x /s 5 = 181f68c753fe2d8c +x %s 5 = 1 +x /u 11 = af70114c91671cb +x %u 11 = 4 +x /s 11 = af70114c91671cb +x %s 11 = 4 ~x = 8762f41b5c091c42 x & y = 20880284a1c04088 x | y = 7f9fefeeefffefbd @@ -3732,6 +5220,18 @@ x /u y2 = 3274b0b2 x %u y2 = 9b290b19 x /s y3 = fffffffc3766d779 x %s y3 = 5c46e48 +x /u 3 = ffc62752ea32467 +x %u 3 = 2 +x /s 3 = ffc62752ea32467 +x %s 3 = 2 +x /u 5 = 9976e464f2eaf71 +x %u 5 = 2 +x /s 5 = 9976e464f2eaf71 +x %s 5 = 2 +x /u 11 = 45c1ada23fdf2a7 +x %u 11 = a +x /s 11 = 45c1ada23fdf2a7 +x %s 11 = a ~x = d00ad8a0741692c8 x & y = 2351270701a06c32 x | y = fff727ffcbe9fdff @@ -3762,6 +5262,18 @@ x /u y2 = 68ee956da x %u y2 = 135a2859 x /s y3 = fffffffe50888709 x %s y3 = ffffffffe4ade05d +x /u 3 = 43e30e669be75515 +x %u 3 = 2 +x /s 3 = ee8db9114691ffc1 +x %s 3 = fffffffffffffffe +x /u 5 = 28bb6f0a5d8acca6 +x %u 5 = 3 +x /s 5 = f5883bd72a579974 +x %s 5 = fffffffffffffffd +x /u 11 = 1283be1bfbf945c0 +x %u 11 = 1 +x /s 11 = fb3deca79ee1ffef +x %s 11 = fffffffffffffffc ~x = 3456d4cc2c4a00be x & y = b09080050919e00 x | y = dfadfff7d7fffffd @@ -3792,6 +5304,18 @@ x /u y2 = 16ebd54de x %u y2 = b47cbf9 x /s y3 = 16ebd54de x %s y3 = b47cbf9 +x /u 3 = 184674b358648ec9 +x %u 3 = 0 +x /s 3 = 184674b358648ec9 +x %s 3 = 0 +x /u 5 = e90ac6b9b6f88df +x %u 5 = 0 +x /s 5 = e90ac6b9b6f88df +x %s 5 = 0 +x /u 11 = 69eda025dece11f +x %u 11 = 6 +x /s 11 = 69eda025dece11f +x %s 11 = 6 ~x = b72ca1e5f6d253a4 x & y = d15e1a0124a04a x | y = 7ad7df5f99effe5f @@ -3822,6 +5346,18 @@ x /u y2 = 6ea800f5e x %u y2 = a23e0b1 x /s y3 = fffffffda06520cf x %s y3 = ffffffffe848911b +x /u 3 = 3f87dbe9ca339901 +x %u 3 = 2 +x /s 3 = ea32869474de43ad +x %s 3 = fffffffffffffffe +x /u 5 = 261e50bf7952289a +x %u 5 = 3 +x /s 5 = f2eb1d8c461ef568 +x %s 5 = fffffffffffffffd +x /u 11 = 1153991137255846 +x %u 11 = 3 +x /s 11 = fa0dc79cda0e1275 +x %s 11 = fffffffffffffffe ~x = 41686c42a16534fa x & y = 1a8691b408188800 x | y = bf9fdfff5fbfef35 @@ -3852,6 +5388,18 @@ x /u y2 = c46523b0 x %u y2 = 22e57ccf x /s y3 = ffffffff181acd99 x %s y3 = 84d7ca +x /u 3 = 237216428d33873f +x %u 3 = 2 +x /s 3 = 237216428d33873f +x %s 3 = 2 +x /u 5 = 154473c187ebb78c +x %u 5 = 3 +x /s 5 = 154473c187ebb78c +x %s 5 = 3 +x /u 11 = 9aac040b225536e +x %u 11 = 5 +x /s 11 = 9aac040b225536e +x %s 11 = 5 ~x = 95a9bd3858656a40 x & y = a140085a20894a2 x | y = eade56ffff9a95ff @@ -3882,6 +5430,18 @@ x /u y2 = 9c21e58a x %u y2 = 1d492637 x /s y3 = 9c21e58a x %s y3 = 1d492637 +x /u 3 = 17280248a41a9903 +x %u 3 = 0 +x /s 3 = 17280248a41a9903 +x %s 3 = 0 +x /u 5 = de4ce2b95a98f01 +x %u 5 = 4 +x /s 5 = de4ce2b95a98f01 +x %s 5 = 4 +x /u 11 = 650bacdfe35cca3 +x %u 11 = 8 +x /s 11 = 650bacdfe35cca3 +x %s 11 = 8 ~x = ba87f92613b034f6 x & y = 41600251ec448800 x | y = 75ff4fddef6febed @@ -3912,6 +5472,18 @@ x /u y2 = c4213692 x %u y2 = cc1104f x /s y3 = c4213692 x %s y3 = cc1104f +x /u 3 = 350dbb8fd876f21 +x %u 3 = 0 +x /s 3 = 350dbb8fd876f21 +x %s 3 = 0 +x /u 5 = 1fd50a231b7a913 +x %u 5 = 4 +x /s 5 = 1fd50a231b7a913 +x %s 5 = 4 +x /u 11 = e781be16994cda +x %u 11 = 5 +x /s 11 = e781be16994cda +x %s 11 = 5 ~x = f60d6cd50769b29c x & y = 8f2902aa8960822 x | y = dfbf33af8d67df7 @@ -3942,6 +5514,18 @@ x /u y2 = 18af89756 x %u y2 = 2bc2aae5 x /s y3 = 240bce76 x %s y3 = ffffffffefb31365 +x /u 3 = 50ae5f06a70a966f +x %u 3 = 0 +x /s 3 = fb5909b151b5411a +x %s 3 = ffffffffffffffff +x /u 5 = 30689f6a64398d75 +x %u 5 = 4 +x /s 5 = fd356c3731065a43 +x %s 5 = fffffffffffffffe +x /u 11 = 160102a4b9316ed8 +x %u 11 = 5 +x /s 11 = febb31305c1a2907 +x %s 11 = 0 ~x = df4e2ec0ae03cb2 x & y = 9001101055110048 x | y = feeb5d9ff7bfcbdd @@ -3972,6 +5556,18 @@ x /u y2 = 23f5eca36 x %u y2 = 5804c9f x /s y3 = ffffffffe9ec23f1 x %s y3 = ffffffff93aae1cb +x /u 3 = 522e145f28e067c2 +x %u 3 = 1 +x /s 3 = fcd8bf09d38b126d +x %s 3 = 0 +x /u 5 = 314ed905e5537174 +x %u 5 = 3 +x /s 5 = fe1ba5d2b2203e42 +x %s 5 = fffffffffffffffd +x /u 11 = 1669a8770b25edc0 +x %u 11 = 7 +x /s 11 = ff23d702ae0ea7f0 +x %s 11 = fffffffffffffff7 ~x = 975c2e2855ec8b8 x & y = 6480391c40213142 x | y = ffbb7d3dfafd77cf @@ -4002,6 +5598,18 @@ x /u y2 = 209ed682d x %u y2 = 2780177c x /s y3 = ffffffffa02bad7e x %s y3 = ffffffffefe191e3 +x /u 3 = 481894a813d33d45 +x %u 3 = 2 +x /s 3 = f2c33f52be7de7f1 +x %s 3 = fffffffffffffffe +x /u 5 = 2b41f2cb3f1857f6 +x %u 5 = 3 +x /s 5 = f80ebf980be524c4 +x %s 5 = fffffffffffffffd +x /u 11 = 13a99ce8056827fb +x %u 11 = 8 +x /s 11 = fc63cb73a850e22b +x %s 11 = fffffffffffffff8 ~x = 27b64207c486482e x & y = 480009c812208000 x | y = fa5ffdf9fffbb7dd @@ -4032,6 +5640,18 @@ x /u y2 = 21e776484 x %u y2 = 1226152f x /s y3 = ffffffffc5acab53 x %s y3 = ffffffffdfdae8ae +x /u 3 = 4d0c90b82228a7ce +x %u 3 = 1 +x /s 3 = f7b73b62ccd35279 +x %s 3 = 0 +x /u 5 = 2e3abd3b47b1fe48 +x %u 5 = 3 +x /s 5 = fb078a08147ecb16 +x %s 5 = fffffffffffffffd +x /u 11 = 15036d497dadff38 +x %u 11 = 3 +x /s 11 = fdbd9bd52096b967 +x %s 11 = fffffffffffffffe ~x = 18da4dd799860894 x & y = 650522284059140a x | y = ef35bbaf67fdf77f @@ -4062,6 +5682,18 @@ x /u y2 = 7c0e5692 x %u y2 = 41025c7b x /s y3 = 7c0e5692 x %s y3 = 41025c7b +x /u 3 = f80114c9c91a431 +x %u 3 = 2 +x /s 3 = f80114c9c91a431 +x %s 3 = 2 +x /u 5 = 94cd72df78a95b7 +x %u 5 = 2 +x /s 5 = 94cd72df78a95b7 +x %s 5 = 2 +x /u 11 = 43a33437084cfb0 +x %u 11 = 5 +x /s 11 = 43a33437084cfb0 +x %s 11 = 5 ~x = d17fcc1a2a4b136a x & y = e8012a510040080 x | y = 7ff573e5fdfcee95 @@ -4092,6 +5724,18 @@ x /u y2 = 14d521718 x %u y2 = 4c657d7 x /s y3 = 3b4ec343 x %s y3 = ffffffffcaaf32b0 +x /u 3 = 4fc13fa657807b45 +x %u 3 = 0 +x /s 3 = fa6bea51022b25f0 +x %s 3 = ffffffffffffffff +x /u 5 = 2fda5963ce19e38f +x %u 5 = 4 +x /s 5 = fca726309ae6b05d +x %s 5 = fffffffffffffffe +x /u 11 = 15c0572d5daead41 +x %u 11 = 4 +x /s 11 = fe7a85b900976770 +x %s 11 = ffffffffffffffff ~x = 10bc410cf97e8e30 x & y = a74320f104013182 x | y = ffc3bef7079973ff @@ -4122,6 +5766,18 @@ x /u y2 = 21584e541 x %u y2 = 263b3f29 x /s y3 = fffffffe66636700 x %s y3 = fffffffff6e1d599 +x /u 3 = 3045ac776eb1a1dd +x %u 3 = 2 +x /s 3 = daf05722195c4c89 +x %s 3 = fffffffffffffffe +x /u 5 = 1cf69aae0f37611e +x %u 5 = 3 +x /s 5 = e9c3677adc042dec +x %s 5 = fffffffffffffffd +x /u 11 = d2a464f1e3071f6 +x %u 11 = 7 +x /s 11 = f5e474dac1192c26 +x %s 11 = fffffffffffffff7 ~x = 6f2efa99b3eb1a66 x & y = 5000604004c410 x | y = d5fddf76cf17e5bd @@ -4152,6 +5808,18 @@ x /u y2 = 364afcce3 x %u y2 = f56632d x /s y3 = 364afcce3 x %s y3 = f56632d +x /u 3 = 29903afe3eca437b +x %u 3 = 2 +x /s 3 = 29903afe3eca437b +x %s 3 = 2 +x /u 5 = 18f0236558dfc217 +x %u 5 = 0 +x /s 5 = 18f0236558dfc217 +x %s 5 = 0 +x /u 11 = b55e18b2865b550 +x %u 11 = 3 +x /s 11 = b55e18b2865b550 +x %s 11 = 3 ~x = 834f4f0543a1358c x & y = 24b0b082104e0002 x | y = 7cbef4fabf7feef7 @@ -4182,6 +5850,18 @@ x /u y2 = 2be74f23 x %u y2 = 27781c66 x /s y3 = fffffffbf88ea18f x %s y3 = 1a482a +x /u 3 = e097ab22faf2249 +x %u 3 = 2 +x /s 3 = e097ab22faf2249 +x %s 3 = 2 +x /u 5 = 86c166ae9691492 +x %u 5 = 3 +x /s 5 = 86c166ae9691492 +x %s 5 = 3 +x /u 11 = 3d40a3098a4209f +x %u 11 = 8 +x /s 11 = 3d40a3098a4209f +x %s 11 = 8 ~x = d5e38fe970f29922 x & y = 200c50140d092008 x | y = ff9c769fbf6f7ffd @@ -4212,6 +5892,18 @@ x /u y2 = 1e3f46921 x %u y2 = 59fa719a x /s y3 = ffffffff79b4afc3 x %s y3 = ffffffffe0043b40 +x /u 3 = 42cc27abb2f6771d +x %u 3 = 0 +x /s 3 = ed76d2565da121c8 +x %s 3 = ffffffffffffffff +x /u 5 = 281417cd6b60adde +x %u 5 = 1 +x /s 5 = f4e0e49a382d7aab +x %s 5 = 0 +x /u 11 = 1237adba76a04f07 +x %u 11 = a +x /s 11 = faf1dc4619890937 +x %s 11 = fffffffffffffffa ~x = 379b88fce71c9aa8 x & y = 4800230110416012 x | y = ea64ff1ffeeb7fdf @@ -4242,6 +5934,18 @@ x /u y2 = 225392f08 x %u y2 = 3be1c661 x /s y3 = fffffffe8297e39a x %s y3 = fffffffff93b6ee1 +x /u 3 = 325c4e6498977c20 +x %u 3 = 1 +x /s 3 = dd06f90f434226cb +x %s 3 = 0 +x /u 5 = 1e37623c5b8e1746 +x %u 5 = 3 +x /s 5 = eb042f09285ae414 +x %s 5 = fffffffffffffffd +x /u 11 = dbc156140e37ef1 +x %u 11 = 6 +x /s 11 = f67643ece3cc3921 +x %s 11 = fffffffffffffff6 ~x = 68eb14d236398b9e x & y = 600c90049421440 x | y = d77fefedebff757d @@ -4272,6 +5976,18 @@ x /u y2 = 32bcb4e0b x %u y2 = 13cff1ba x /s y3 = 32bcb4e0b x %s y3 = 13cff1ba +x /u 3 = 22aee1ee38ba4cd3 +x %u 3 = 2 +x /s 3 = 22aee1ee38ba4cd3 +x %s 3 = 2 +x /u 5 = 14cf545bbba2fae5 +x %u 5 = 2 +x /s 5 = 14cf545bbba2fae5 +x %s 5 = 2 +x /u 11 = 975836f83d5b7dc +x %u 11 = 7 +x /s 11 = 975836f83d5b7dc +x %s 11 = 7 ~x = 97f35a3555d11984 x & y = 200ca1c28a04006a x | y = 68cfe7ebefbeefff @@ -4302,6 +6018,18 @@ x /u y2 = 2ed78e4eb x %u y2 = 356cebb8 x /s y3 = ffffffff3a97a9d7 x %s y3 = fffffffff8b9f944 +x /u 3 = 438af87d1c4ac60c +x %u 3 = 1 +x /s 3 = ee35a327c6f570b7 +x %s 3 = 0 +x /u 5 = 28869517ddc676d4 +x %u 5 = 1 +x /s 5 = f55361e4aa9343a1 +x %s 5 = 0 +x /u 11 = 126bb8221efd1ebd +x %u 11 = 6 +x /s 11 = fb25e6adc1e5d8ed +x %s 11 = fffffffffffffff6 ~x = 355f1688ab1fadda x & y = 4020680754004000 x | y = cfb6ed77f7ff5ef5 @@ -4332,6 +6060,18 @@ x /u y2 = 28a1bbf24 x %u y2 = 799b1b7 x /s y3 = fffffffe040371a9 x %s y3 = ffffffffc98b7515 +x /u 3 = 2fe719b1215bbb4a +x %u 3 = 1 +x /s 3 = da91c45bcc0665f5 +x %s 3 = 0 +x /u 5 = 1cbddc371403d6c6 +x %u 5 = 1 +x /s 5 = e98aa903e0d0a393 +x %s 5 = 0 +x /u 11 = d107b5eda8d619f +x %u 11 = a +x /s 11 = f5caa9ea7d761bcf +x %s 11 = fffffffffffffffa ~x = 704ab2ec9becce20 x & y = 894481244032082 x | y = bfb7edbb6f5ff7df @@ -4362,6 +6102,18 @@ x /u y2 = 13ff0e2ae x %u y2 = 476c04b9 x /s y3 = 13ff0e2ae x %s y3 = 476c04b9 +x /u 3 = 1ff4b575c47d2c0d +x %u 3 = 2 +x /s 3 = 1ff4b575c47d2c0d +x %s 3 = 2 +x /u 5 = 132c6ce042b180d5 +x %u 5 = 0 +x /s 5 = 132c6ce042b180d5 +x %s 5 = 0 +x /u 11 = 8b71a3764222349 +x %u 11 = 6 +x /s 11 = 8b71a3764222349 +x %s 11 = 6 ~x = a021df9eb2887bd6 x & y = 4c94000045570000 x | y = 5fff7369fff797ad @@ -4392,6 +6144,18 @@ x /u y2 = 23b3ba758 x %u y2 = 279118f3 x /s y3 = fffffffe9e07f55d x %s y3 = ffffffffd0bd48a5 +x /u 3 = 34af9fbbece823d6 +x %u 3 = 1 +x /s 3 = df5a4a669792ce81 +x %s 3 = 0 +x /u 5 = 1f9c930a5af1af1a +x %u 5 = 1 +x /s 5 = ec695fd727be7be7 +x %s 5 = 0 +x /u 11 = e5e7161cc3f4f97 +x %u 11 = 6 +x /s 11 = f7189fed6f2809c7 +x %s 11 = fffffffffffffff6 ~x = 61f120cc3947947c x & y = 6049232c2206002 x | y = dedfdf77deff6fd7 @@ -4422,6 +6186,18 @@ x /u y2 = 45edad94 x %u y2 = a1dd3be1 x /s y3 = fffffffb12493a09 x %s y3 = d41d9ce +x /u 3 = 1615de9b317844cf +x %u 3 = 0 +x /s 3 = 1615de9b317844cf +x %s 3 = 0 +x /u 5 = d40525d1dae8faf +x %u 5 = 2 +x /s 5 = d40525d1dae8faf +x %s 5 = 2 +x /u 11 = 605f6e481dafb7e +x %u 11 = 3 +x /s 11 = 605f6e481dafb7e +x %s 11 = 3 ~x = bdbe642e6b973192 x & y = 420083418428cc68 x | y = f2cf9bf79decdf7d @@ -4452,6 +6228,18 @@ x /u y2 = 3048d2c3e x %u y2 = 7ddbd3f x /s y3 = fffffffe386a7a90 x %s y3 = fffffffff6bdc2a7 +x /u 3 = 35adadd00d2afd22 +x %u 3 = 1 +x /s 3 = e058587ab7d5a7cd +x %s 3 = 0 +x /u 5 = 203501e33b19cb14 +x %u 5 = 3 +x /s 5 = ed01ceb007e697e2 +x %s 5 = fffffffffffffffd +x /u 11 = ea3bb0a3222ff37 +x %u 11 = a +x /s 11 = f75de995d50bb967 +x %s 11 = fffffffffffffffa ~x = 5ef6f68fd87f0898 x & y = 2108086026801762 x | y = b55db97c77c2f76f @@ -4482,6 +6270,18 @@ x /u y2 = c7279a22 x %u y2 = cb0da98f x /s y3 = 361b5597a x %s y3 = fffffffffb948337 +x /u 3 = 3cb93302689c66fb +x %u 3 = 0 +x /s 3 = e763ddad134711a6 +x %s 3 = ffffffffffffffff +x /u 5 = 246f1e9b0b910a96 +x %u 5 = 3 +x /s 5 = f13beb67d85dd764 +x %s 5 = fffffffffffffffd +x /u 11 = 108f998c4b1361e7 +x %u 11 = 4 +x /s 11 = f949c817edfc1c16 +x %s 11 = ffffffffffffffff ~x = 49d466f8c62acb0e x & y = a22a8801014014a0 x | y = fe2bffa77bff7efd @@ -4512,6 +6312,18 @@ x /u y2 = 9ec1e9af x %u y2 = cf1df113 x /s y3 = 68deaf7ef9 x %s y3 = ffffffffffdef4c3 +x /u 3 = 34b9f12deab9d32e +x %u 3 = 1 +x /s 3 = df649bd895647dd9 +x %s 3 = 0 +x /u 5 = 1fa2c3e859a2b1e8 +x %u 5 = 3 +x /s 5 = ec6f90b5266f7eb6 +x %s 5 = fffffffffffffffd +x /u 11 = e6141c6b4613998 +x %u 11 = 3 +x /s 11 = f71b70525749f3c7 +x %s 11 = fffffffffffffffe ~x = 61d22c763fd28674 x & y = 9e0111084008518a x | y = ff3df789d0bdfbbf @@ -4542,6 +6354,18 @@ x /u y2 = 14b83ddb43 x %u y2 = 7bd891d x /s y3 = fffffffe54d4c750 x %s y3 = fffffffff8ae0935 +x /u 3 = 4ef92cb7884ca93c +x %u 3 = 1 +x /s 3 = f9a3d76232f753e7 +x %s 3 = 0 +x /u 5 = 2f624e07b82dff24 +x %u 5 = 1 +x /s 5 = fc2f1ad484facbf1 +x %s 5 = 0 +x /u 11 = 1589c6609989456d +x %u 11 = 6 +x /s 11 = fe43f4ec3c71ff9d +x %s 11 = fffffffffffffff6 ~x = 131479d9671a044a x & y = 86b040008048b20 x | y = efefbfaebcedfbb5 @@ -4572,6 +6396,18 @@ x /u y2 = 6e847dbc x %u y2 = 63938b7 x /s y3 = ffffffff7fb9c9d5 x %s y3 = 8979c75 +x /u 3 = 13ca0e8122c0474f +x %u 3 = 2 +x /s 3 = 13ca0e8122c0474f +x %s 3 = 2 +x /u 5 = bdfa24d7b402ac9 +x %u 5 = 2 +x /s 5 = bdfa24d7b402ac9 +x %s 5 = 2 +x /u 11 = 565a6dd669187cf +x %u 11 = a +x /s 11 = 565a6dd669187cf +x %s 11 = a ~x = c4a1d47c97bf2a10 x & y = 904228268008542 x | y = bbdeaf93ed49fdff @@ -4602,6 +6438,18 @@ x /u y2 = 9a4aab1a x %u y2 = 8460af0b x /s y3 = 4ce035bf5 x %s y3 = fffffffff8cc5e2a +x /u 3 = 2e915ece37f03793 +x %u 3 = 0 +x /s 3 = d93c0978e29ae23e +x %s 3 = ffffffffffffffff +x /u 5 = 1bf0d27bbb29baf1 +x %u 5 = 4 +x /s 5 = e8bd9f4887f687bf +x %s 5 = fffffffffffffffe +x /u 11 = cb34866c9700f28 +x %u 11 = 1 +x /s 11 = f56d76f26c58c957 +x %s 11 = fffffffffffffffc ~x = 744be395582f5946 x & y = 83800062a7508690 x | y = efffbffbeff7b6fd @@ -4632,6 +6480,18 @@ x /u y2 = 6cd85af3 x %u y2 = 21606d91 x /s y3 = fffffffd4a66f1cd x %s y3 = 6f4d315 +x /u 3 = 1f5c41f0b436badb +x %u 3 = 2 +x /s 3 = 1f5c41f0b436badb +x %s 3 = 2 +x /u 5 = 12d0f45d38eda350 +x %u 5 = 3 +x /s 5 = 12d0f45d38eda350 +x %s 5 = 3 +x /u 11 = 88d8658eb54be99 +x %u 11 = 0 +x /s 11 = 88d8658eb54be99 +x %s 11 = 0 ~x = a1eb3a2de35bcf6c x & y = 5c0485521ca03002 x | y = df56cdf65deff8b7 @@ -4662,6 +6522,18 @@ x /u y2 = 9e37e46d x %u y2 = 276a9058 x /s y3 = fffffffe62f7568d x %s y3 = 3a458b38 +x /u 3 = 2621e032155e5354 +x %u 3 = 1 +x /s 3 = 2621e032155e5354 +x %s 3 = 1 +x /u 5 = 16e1201e0cd231ff +x %u 5 = 2 +x /s 5 = 16e1201e0cd231ff +x %s 5 = 2 +x /u 11 = a66546ac00273d1 +x %u 11 = 2 +x /s 11 = a66546ac00273d1 +x %s 11 = 2 ~x = 8d9a5f69bfe50602 x & y = 3000a010000af1c8 x | y = fb7da79f7a7afdfd @@ -4692,6 +6564,18 @@ x /u y2 = 89be8881 x %u y2 = 3286ec30 x /s y3 = ffffffff318b3773 x %s y3 = 41b7412 +x /u 3 = 1b8a516de883a47d +x %u 3 = 0 +x /s 3 = 1b8a516de883a47d +x %s 3 = 0 +x /u 5 = 108630db8b822f7e +x %u 5 = 1 +x /s 5 = 108630db8b822f7e +x %s 5 = 1 +x /u 11 = 782d063cb0ca139 +x %u 11 = 4 +x /s 11 = 782d063cb0ca139 +x %s 11 = 4 ~x = ad610bb646751288 x & y = 108c644108804832 x | y = db9ff5cfbbeeed7f @@ -4722,6 +6606,18 @@ x /u y2 = fca32bce x %u y2 = 19279bff x /s y3 = 111f23d93 x %s y3 = ffffffffe9244e4c +x /u 3 = 46ec66cc210a532b +x %u 3 = 0 +x /s 3 = f1971176cbb4fdd6 +x %s 3 = ffffffffffffffff +x /u 5 = 2a8dd747470631e6 +x %u 5 = 3 +x /s 5 = f75aa41413d2feb4 +x %s 5 = fffffffffffffffd +x /u 11 = 1357bef1da772df4 +x %u 11 = 5 +x /s 11 = fc11ed7d7d5fe823 +x %s 11 = 0 ~x = 2b3acb9b9ce1067e x & y = d480300441145980 x | y = d7df357767bffbfd @@ -4752,6 +6648,18 @@ x /u y2 = 24340b83f x %u y2 = 41884ad8 x /s y3 = ffffffff68c95c6b x %s y3 = ffffffffb854355c +x /u 3 = 43ab247183879033 +x %u 3 = 2 +x /s 3 = ee55cf1c2e323adf +x %s 3 = fffffffffffffffe +x /u 5 = 2899e2aa821e2352 +x %u 5 = 1 +x /s 5 = f566af774eeaf01f +x %s 5 = 0 +x /u 11 = 12747e4d80f66d25 +x %u 11 = 4 +x /s 11 = fb2eacd923df2754 +x %s 11 = ffffffffffffffff ~x = 34fe92ab75694f64 x & y = 490141548290308a x | y = dbb7fd7debbef19f @@ -4782,6 +6690,18 @@ x /u y2 = f958dab3 x %u y2 = ecb4360b x /s y3 = 16380abc0 x %s y3 = fffffffffebaf8c5 +x /u 3 = 4de81edf94efa317 +x %u 3 = 0 +x /s 3 = f892c98a3f9a4dc2 +x %s 3 = ffffffffffffffff +x /u 5 = 2ebe78ec8c8fc841 +x %u 5 = 0 +x /s 5 = fb8b45b9595c950e +x %s 5 = ffffffffffffffff +x /u 11 = 153f4e3cfa12cf63 +x %u 11 = 4 +x /s 11 = fdf97cc89cfb8992 +x %s 11 = ffffffffffffffff ~x = 1647a361413116ba x & y = e9b0449e2888a940 x | y = effcdcdefeeefd75 @@ -4812,6 +6732,18 @@ x /u y2 = ff8db266 x %u y2 = cc4dce6f x /s y3 = 10cb8d59a x %s y3 = fffffffffdc42d8f +x /u 3 = 524bd3e231be74aa +x %u 3 = 1 +x /s 3 = fcf67e8cdc691f55 +x %s 3 = 0 +x /u 5 = 3160b254843f12cc +x %u 5 = 3 +x /s 5 = fe2d7f21510bdf9a +x %s 5 = fffffffffffffffd +x /u 11 = 1671c56c3c1cab74 +x %u 11 = 3 +x /s 11 = ff2bf3f7df0565a3 +x %s 11 = fffffffffffffffe ~x = 91c84596ac4a200 x & y = f641690005230822 x | y = f7f3fbbe9ffbddff @@ -4842,6 +6774,18 @@ x /u y2 = 13f341cd4 x %u y2 = 3ea81d95 x /s y3 = 13f341cd4 x %s y3 = 3ea81d95 +x /u 3 = 23c2d779fce86f18 +x %u 3 = 1 +x /s 3 = 23c2d779fce86f18 +x %s 3 = 1 +x /u 5 = 1574e7af97bea90e +x %u 5 = 3 +x /s 5 = 1574e7af97bea90e +x %s 5 = 3 +x /u 11 = 9c0c667166defc0 +x %u 11 = 9 +x /s 11 = 9c0c667166defc0 +x %s 11 = 9 ~x = 94b779920946b2b6 x & y = 42080049e2884c00 x | y = 7f4af6fdfeff4f6d @@ -4872,6 +6816,18 @@ x /u y2 = c79a1999e x %u y2 = 8cb3bd5 x /s y3 = fffffffc39559faa x %s y3 = fffffffffec068e9 +x /u 3 = 4181764beb21088b +x %u 3 = 2 +x /s 3 = ec2c20f695cbb337 +x %s 3 = fffffffffffffffe +x /u 5 = 274dad60c0470520 +x %u 5 = 3 +x /s 5 = f41a7a2d8d13d1ee +x %s 5 = fffffffffffffffd +x /u 11 = 11dd7d5a85f1bc83 +x %u 11 = 2 +x /s 11 = fa97abe628da76b2 +x %s 11 = fffffffffffffffd ~x = 3b7b9d1c3e9ce65c x & y = 4802261416119a2 x | y = cfc4f2ebef6bdff7 @@ -4902,6 +6858,18 @@ x /u y2 = 373dc3a72 x %u y2 = f3a74a9 x /s y3 = fffffffca40c567c x %s y3 = ffffffffeb083c95 +x /u 3 = 2b406be27c6ef884 +x %u 3 = 1 +x /s 3 = d5eb168d2719a32f +x %s 3 = 0 +x /u 5 = 19f373ee4aa8fb82 +x %u 5 = 3 +x /s 5 = e6c040bb1775c850 +x %s 5 = fffffffffffffffd +x /u 11 = bcbc0550aa9e6af +x %u 11 = 8 +x /s 11 = f485eee0ad92a0df +x %s 11 = fffffffffffffff8 ~x = 7e3ebc588ab31672 x & y = 181000200488008 x | y = a5d543a7fddeeb9d @@ -4932,6 +6900,18 @@ x /u y2 = 3f82fa73 x %u y2 = 22447773 x /s y3 = 3f82fa73 x %s y3 = 22447773 +x /u 3 = 81b55f36c1b6d2d +x %u 3 = 0 +x /s 3 = 81b55f36c1b6d2d +x %s 3 = 0 +x /u 5 = 4dd33920daa0e4e +x %u 5 = 1 +x /s 5 = 4dd33920daa0e4e +x %s 5 = 1 +x /u 11 = 236002b1d7bd7f5 +x %u 11 = 0 +x /s 11 = 236002b1d7bd7f5 +x %s 11 = 0 ~x = e7adfe25bbadb878 x & y = 2009800400502 x | y = 7a5787dec4ff4f8f @@ -4962,6 +6942,18 @@ x /u y2 = a8d5772 x %u y2 = 2bbf7115 x /s y3 = a8d5772 x %s y3 = 2bbf7115 +x /u 3 = 1955730431eeb5b +x %u 3 = 0 +x /s 3 = 1955730431eeb5b +x %s 3 = 0 +x /u 5 = f334502845c069 +x %u 5 = 4 +x /s 5 = f334502845c069 +x %s 5 = 4 +x /u 11 = 6e8c246f658601 +x %u 11 = 6 +x /s 11 = 6e8c246f658601 +x %s 11 = 6 ~x = fb3ffa6f36a33dee x & y = 50040400000 x | y = 77fd57fee9fdcf5d @@ -4992,6 +6984,18 @@ x /u y2 = a2d45f9b x %u y2 = 7184712 x /s y3 = a2d45f9b x %s y3 = 7184712 +x /u 3 = 187cdc6afb43d939 +x %u 3 = 0 +x /s 3 = 187cdc6afb43d939 +x %s 3 = 0 +x /u 5 = eb1510cfd28b588 +x %u 5 = 3 +x /s 5 = eb1510cfd28b588 +x %s 5 = 3 +x /u 11 = 6adb07a4486de26 +x %u 11 = 9 +x /s 11 = 6adb07a4486de26 +x %s 11 = 9 ~x = b6896abf0e347454 x & y = 4176814080cb830a x | y = 7b7fb5dbf1ffebff @@ -5022,6 +7026,18 @@ x /u y2 = 1056b28b9 x %u y2 = 986cffaf x /s y3 = dab98c69 x %s y3 = fffffffff99e128f +x /u 3 = 4c147aad9bf6b39c +x %u 3 = 1 +x /s 3 = f6bf255846a15e47 +x %s 3 = 0 +x /u 5 = 2da5e334f72d9ef7 +x %u 5 = 2 +x /s 5 = fa72b001c3fa6bc5 +x %s 5 = fffffffffffffffc +x /u 11 = 14bfc45de4b7a559 +x %u 11 = 2 +x /s 11 = fd79f2e987a05f88 +x %s 11 = fffffffffffffffd ~x = 1bc28ff72c1be52a x & y = c400500011c002c0 x | y = ffbf755efbecfbd5 @@ -5052,6 +7068,18 @@ x /u y2 = 1027d221e x %u y2 = e50c5a15 x /s y3 = a31a1d6d x %s y3 = fffffffff9b9f758 +x /u 3 = 53ea3033c7d1435a +x %u 3 = 1 +x /s 3 = fe94dade727bee05 +x %s 3 = 0 +x /u 5 = 3259501f117d8ecf +x %u 5 = 4 +x /s 5 = ff261cebde4a5b9d +x %s 5 = fffffffffffffffe +x /u 11 = 16e2c753f0ad6f75 +x %u 11 = 8 +x /s 11 = ff9cf5df939629a5 +x %s 11 = fffffffffffffff8 ~x = 4416f64a88c35f0 x & y = f912001356324202 x | y = fbfe9ebbd7fbfeff @@ -5082,6 +7110,18 @@ x /u y2 = d967540f x %u y2 = 73d47f08 x /s y3 = 14a5fa443 x %s y3 = ffffffffb843c4bc +x /u 3 = 2fb5882bc358d29d +x %u 3 = 2 +x /s 3 = da6032d66e037d49 +x %s 3 = fffffffffffffffe +x /u 5 = 1ca01e80a8687e5e +x %u 5 = 3 +x /s 5 = e96ceb4d75354b2c +x %s 5 = fffffffffffffffd +x /u 11 = d02f697925e0ae5 +x %u 11 = 2 +x /s 11 = f5bd25233546c514 +x %s 11 = fffffffffffffffd ~x = 70df677cb5f58826 x & y = 880080034a003150 x | y = afa99d9f5a0a7ffd @@ -5112,6 +7152,18 @@ x /u y2 = 1cc9cbb61 x %u y2 = ba5245 x /s y3 = ffffffff8f617990 x %s y3 = fffffffff0d03ed3 +x /u 3 = 44918413ecd20ce6 +x %u 3 = 1 +x /s 3 = ef3c2ebe977cb791 +x %s 3 = 0 +x /u 5 = 29241c0bf47e07bd +x %u 5 = 2 +x /s 5 = f5f0e8d8c14ad48b +x %s 5 = fffffffffffffffc +x /u 11 = 12b35291120abdb3 +x %u 11 = 2 +x /s 11 = fb6d811cb4f377e2 +x %s 11 = fffffffffffffffd ~x = 324b73c43989d94c x & y = 4010882a00060282 x | y = fff7cd3fe7fe3ff7 @@ -5142,6 +7194,18 @@ x /u y2 = 10c2e2273 x %u y2 = 6febbad1 x /s y3 = e4b07a4a x %s y3 = ffffffffb4b2dcf5 +x /u 3 = 3dd259abc52289b4 +x %u 3 = 1 +x /s 3 = e87d04566fcd345f +x %s 3 = 0 +x /u 5 = 2517cf670fe185d2 +x %u 5 = 3 +x /s 5 = f1e49c33dcae52a0 +x %s 5 = fffffffffffffffd +x /u 11 = 10dc47004d096b5f +x %u 11 = 8 +x /s 11 = f996758beff2258f +x %s 11 = fffffffffffffff8 ~x = 4688f2fcb09862e2 x & y = b102050041608008 x | y = b97fad876f779f7d @@ -5172,6 +7236,18 @@ x /u y2 = f5e9880c x %u y2 = 3dce52bf x /s y3 = fffffffefdc6ec2b x %s y3 = 7611c611 +x /u 3 = 29fc78873a7801dd +x %u 3 = 0 +x /s 3 = 29fc78873a7801dd +x %s 3 = 0 +x /u 5 = 1931151defe19ab7 +x %u 5 = 4 +x /s 5 = 1931151defe19ab7 +x %s 5 = 4 +x /u 11 = b7366b0844f4653 +x %u 11 = 6 +x /s 11 = b7366b0844f4653 +x %s 11 = 6 ~x = 820a966a5097fa68 x & y = 12029902c480592 x | y = fff56d97ff7965df @@ -5202,6 +7278,18 @@ x /u y2 = f41ffd27 x %u y2 = 70c5e7 x /s y3 = f41ffd27 x %s y3 = 70c5e7 +x /u 3 = 1c68ebd7642d2f8b +x %u 3 = 0 +x /s 3 = 1c68ebd7642d2f8b +x %s 3 = 0 +x /u 5 = 110bc0b46f4e4fb9 +x %u 5 = 4 +x /s 5 = 110bc0b46f4e4fb9 +x %s 5 = 4 +x /u 11 = 7bf862378696a0e +x %u 11 = 7 +x /s 11 = 7bf862378696a0e +x %s 11 = 7 ~x = aac53c79d378715e x & y = 5120018608820280 x | y = 5d7adbb6feb7febd @@ -5232,6 +7320,18 @@ x /u y2 = 2db65f96 x %u y2 = 5a639c65 x /s y3 = ffffffff897f0ff8 x %s y3 = 1c534bc3 +x /u 3 = afef025a6cf0393 +x %u 3 = 2 +x /s 3 = afef025a6cf0393 +x %s 3 = 2 +x /u 5 = 698f67cfdaf688b +x %u 5 = 4 +x /s 5 = 698f67cfdaf688b +x %s 5 = 4 +x /u 11 = 2ffb5dbb9212f85 +x %u 11 = 4 +x /s 11 = 2ffb5dbb9212f85 +x %s 11 = 4 ~x = df032f8f0b92f544 x & y = 20bcc020c02c082a x | y = b8fcfa71fdfd2bbf @@ -5262,6 +7362,18 @@ x /u y2 = 14171ae1b x %u y2 = 2178d143 x /s y3 = 14171ae1b x %s y3 = 2178d143 +x /u 3 = 129aeb72773a3021 +x %u 3 = 2 +x /s 3 = 129aeb72773a3021 +x %s 3 = 2 +x /u 5 = b29c077e122e9ad +x %u 5 = 4 +x /s 5 = b29c077e122e9ad +x %s 5 = 4 +x /u 11 = 512fa65093e6a37 +x %u 11 = 8 +x /s 11 = 512fa65093e6a37 +x %s 11 = 8 ~x = c82f3da89a516f9a x & y = 2450820665809000 x | y = 3ff3e7d777affe75 @@ -5292,6 +7404,18 @@ x /u y2 = 12e961017 x %u y2 = 22af4b61 x /s y3 = 12e961017 x %s y3 = 22af4b61 +x /u 3 = 296c3b705c8908b5 +x %u 3 = 0 +x /s 3 = 296c3b705c8908b5 +x %s 3 = 0 +x /u 5 = 18da8a1037856b9f +x %u 5 = 4 +x /s 5 = 18da8a1037856b9f +x %s 5 = 4 +x /u 11 = b4c1035eab1025f +x %u 11 = a +x /s 11 = b4c1035eab1025f +x %s 11 = a ~x = 83bb4daeea64e5e0 x & y = 68008250158b1802 x | y = 7d66fff31dbb7bdf @@ -5322,6 +7446,18 @@ x /u y2 = 6e285728ab x %u y2 = c1193 x /s y3 = ffffffb7c1013ab9 x %s y3 = fffffffffed4da77 +x /u 3 = 3388e09be749b778 +x %u 3 = 1 +x /s 3 = de338b4691f46223 +x %s 3 = 0 +x /u 5 = 1eebb9f7245f6e15 +x %u 5 = 0 +x /s 5 = ebb886c3f12c3ae2 +x %s 5 = ffffffffffffffff +x /u 11 = e0e0eb627ce494f +x %u 11 = 4 +x /s 11 = f6c83d41cab7037e +x %s 11 = ffffffffffffffff ~x = 65655e2c4a22d996 x & y = 2008224500040 x | y = 9bffebd3bdff7eed @@ -5352,6 +7488,18 @@ x /u y2 = f00fdea7 x %u y2 = 896e5ed0 x /s y3 = 187a673b8 x %s y3 = fffffffffa8e4fab +x /u 3 = 479b769873df7296 +x %u 3 = 1 +x /s 3 = f24621431e8a1d41 +x %s 3 = 0 +x /u 5 = 2af6e0c1df1fab27 +x %u 5 = 0 +x /s 5 = f7c3ad8eabec77f4 +x %s 5 = ffffffffffffffff +x /u 11 = 13877d6f656b7c57 +x %u 11 = 6 +x /s 11 = fc41abfb08543687 +x %s 11 = fffffffffffffff6 ~x = 292d9c36a461a83c x & y = c41000c118040382 x | y = f7d7ebdddbdfffd7 @@ -5382,6 +7530,18 @@ x /u y2 = 23effdd7 x %u y2 = 272c2ddf x /s y3 = ffffffff8b8269ef x %s y3 = 39a9e8af +x /u 3 = 927a57ae606b18f +x %u 3 = 0 +x /s 3 = 927a57ae606b18f +x %s 3 = 0 +x /u 5 = 57e30168a040422 +x %u 5 = 3 +x /s 5 = 57e30168a040422 +x %s 5 = 3 +x /u 11 = 27f2d21848d763e +x %u 11 = 3 +x /s 11 = 27f2d21848d763e +x %s 11 = 3 ~x = e4890f8f4debeb52 x & y = 324c060920014a8 x | y = dbf6f9f2bff5f6bd diff --git a/test/regression/int64.c b/test/regression/int64.c index 0012216f..d9785e95 100644 --- a/test/regression/int64.c +++ b/test/regression/int64.c @@ -56,6 +56,18 @@ static void test1(u64 x, u64 y) y3 = ((s64)y) >> 32; printf("x /s y3 = %llx\n", safe_sdiv64(x, y3)); printf("x %%s y3 = %llx\n", safe_smod64(x, y3)); + printf("x /u 3 = %llx\n", x / 3); + printf("x %%u 3 = %llx\n", x % 3); + printf("x /s 3 = %llx\n", (s64)x / 3); + printf("x %%s 3 = %llx\n", (s64)x % 3); + printf("x /u 5 = %llx\n", x / 5); + printf("x %%u 5 = %llx\n", x % 5); + printf("x /s 5 = %llx\n", (s64)x / 5); + printf("x %%s 5 = %llx\n", (s64)x % 5); + printf("x /u 11 = %llx\n", x / 11); + printf("x %%u 11 = %llx\n", x % 11); + printf("x /s 11 = %llx\n", (s64)x / 11); + printf("x %%s 11 = %llx\n", (s64)x % 11); printf("~x = %llx\n", ~x); printf("x & y = %llx\n", x & y); printf("x | y = %llx\n", x | y); -- cgit