Add more tests to mul-exhaustive for constant left/right parameters.

test/mjsunit/mul-exhaustive.js

 // Copyright 2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
 //       with the distribution.
 //     * Neither the name of Google Inc. nor the names of its
 //       contributors may be used to endorse or promote products derived
 //       from this software without specific prior written permission.
 //
 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
 var x;
-var y;
-var a;
 
-function f(a, y) {
-  assertEquals(a, x * y);
-  assertEquals(a, -x * -y);
-  assertEquals(-a, -x * y);
-  assertEquals(-a, x * -y);
-  assertEquals(a, y * x);
-  assertEquals(a, -y * -x);
-  assertEquals(-a, y * -x);
-  assertEquals(-a, -y * x);
+// Converts a number to string respecting -0.
+function stringify(n) {
+  if ((1 / n) === -Infinity) return "-0";
+  return String(n);
 }
 
+function f(expected, y) {
+  function testEval(string, x, y) {
+    var mulFunction = Function("x, y", "return " + string);
+    return mulFunction(x, y);
+  }
+  function mulTest(expected, x, y) {
+    assertEquals(expected, x * y);
+    assertEquals(expected, testEval(stringify(x) + " * y", x, y));
+    assertEquals(expected, testEval("x * " + stringify(y), x, y));
+    assertEquals(expected, testEval(stringify(x) + " * " + stringify(y), x, y));
+  }
+  mulTest(expected, x, y);
+  mulTest(-expected, -x, y);
+  mulTest(-expected, x, -y);
+  mulTest(expected, -x, -y);
+  if (x === y) return;  // Symmetric cases not necessary.
+  mulTest(expected, y, x);
+  mulTest(-expected, -y, x);
+  mulTest(-expected, y, -x);
+  mulTest(expected, -y, -x);
+}
+
+x = 0;
+f(0, 0);
 x = 1;
+f(0, 0);
 f(1, 1);
 x = 2;
+f(0, 0);
 f(2, 1);
 f(4, 2);
 x = 3;
+f(0, 0);
 f(3, 1);
 f(6, 2);
 f(9, 3);
 x = 4;
+f(0, 0);
 f(4, 1);
 f(8, 2);
 f(12, 3);
 f(16, 4);
 x = 5;
+f(0, 0);
 f(5, 1);
 f(10, 2);
 f(15, 3);
 f(20, 4);
 f(25, 5);
 x = 7;
+f(0, 0);
 f(7, 1);
 f(14, 2);
 f(21, 3);
 f(28, 4);
 f(35, 5);
 f(49, 7);
 x = 8;
+f(0, 0);
 f(8, 1);
 f(16, 2);
 f(24, 3);
 f(32, 4);
 f(40, 5);
 f(56, 7);
 f(64, 8);
 x = 9;
+f(0, 0);
 f(9, 1);
 f(18, 2);
 f(27, 3);
 f(36, 4);
 f(45, 5);
 f(63, 7);
 f(72, 8);
 f(81, 9);
 x = 15;
+f(0, 0);
 f(15, 1);
 f(30, 2);
 f(45, 3);
 f(60, 4);
 f(75, 5);
 f(105, 7);
 f(120, 8);
 f(135, 9);
 f(225, 15);
 x = 16;
+f(0, 0);
 f(16, 1);
 f(32, 2);
 f(48, 3);
 f(64, 4);
 f(80, 5);
 f(112, 7);
 f(128, 8);
 f(144, 9);
 f(240, 15);
 f(256, 16);
 x = 17;
+f(0, 0);
 f(17, 1);
 f(34, 2);
 f(51, 3);
 f(68, 4);
 f(85, 5);
 f(119, 7);
 f(136, 8);
 f(153, 9);
 f(255, 15);
 f(272, 16);
 f(289, 17);
 x = 31;
+f(0, 0);
 f(31, 1);
 f(62, 2);
 f(93, 3);
 f(124, 4);
 f(155, 5);
 f(217, 7);
 f(248, 8);
 f(279, 9);
 f(465, 15);
 f(496, 16);
 f(527, 17);
 f(961, 31);
 x = 32;
+f(0, 0);
 f(32, 1);
 f(64, 2);
 f(96, 3);
 f(128, 4);
 f(160, 5);
 f(224, 7);
 f(256, 8);
 f(288, 9);
 f(480, 15);
 f(512, 16);
 f(544, 17);
 f(992, 31);
 f(1024, 32);
 x = 33;
+f(0, 0);
 f(33, 1);
 f(66, 2);
 f(99, 3);
 f(132, 4);
 f(165, 5);
 f(231, 7);
 f(264, 8);
 f(297, 9);
 f(495, 15);
 f(528, 16);
 f(561, 17);
 f(1023, 31);
 f(1056, 32);
 f(1089, 33);
 x = 63;
+f(0, 0);
 f(63, 1);
 f(126, 2);
 f(189, 3);
 f(252, 4);
 f(315, 5);
 f(441, 7);
 f(504, 8);
 f(567, 9);
 f(945, 15);
 f(1008, 16);
 f(1071, 17);
 f(1953, 31);
 f(2016, 32);
 f(2079, 33);
 f(3969, 63);
 x = 64;
+f(0, 0);
 f(64, 1);
 f(128, 2);
 f(192, 3);
 f(256, 4);
 f(320, 5);
 f(448, 7);
 f(512, 8);
 f(576, 9);
 f(960, 15);
 f(1024, 16);
 f(1088, 17);
 f(1984, 31);
 f(2048, 32);
 f(2112, 33);
 f(4032, 63);
 f(4096, 64);
 x = 65;
+f(0, 0);
 f(65, 1);
 f(130, 2);
 f(195, 3);
 f(260, 4);
 f(325, 5);
 f(455, 7);
 f(520, 8);
 f(585, 9);
 f(975, 15);
 f(1040, 16);
 f(1105, 17);
 f(2015, 31);
 f(2080, 32);
 f(2145, 33);
 f(4095, 63);
 f(4160, 64);
 f(4225, 65);
 x = 127;
+f(0, 0);
 f(127, 1);
 f(254, 2);
 f(381, 3);
 f(508, 4);
 f(635, 5);
 f(889, 7);
 f(1016, 8);
 f(1143, 9);
 f(1905, 15);
 f(2032, 16);
 f(2159, 17);
 f(3937, 31);
 f(4064, 32);
 f(4191, 33);
 f(8001, 63);
 f(8128, 64);
 f(8255, 65);
 f(16129, 127);
 x = 128;
+f(0, 0);
 f(128, 1);
 f(256, 2);
 f(384, 3);
 f(512, 4);
 f(640, 5);
 f(896, 7);
 f(1024, 8);
 f(1152, 9);
 f(1920, 15);
 f(2048, 16);
 f(2176, 17);
 f(3968, 31);
 f(4096, 32);
 f(4224, 33);
 f(8064, 63);
 f(8192, 64);
 f(8320, 65);
 f(16256, 127);
 f(16384, 128);
 x = 129;
+f(0, 0);
 f(129, 1);
 f(258, 2);
 f(387, 3);
 f(516, 4);
 f(645, 5);
 f(903, 7);
 f(1032, 8);
 f(1161, 9);
 f(1935, 15);
 f(2064, 16);
 f(2193, 17);
 f(3999, 31);
 f(4128, 32);
 f(4257, 33);
 f(8127, 63);
 f(8256, 64);
 f(8385, 65);
 f(16383, 127);
 f(16512, 128);
 f(16641, 129);
 x = 255;
+f(0, 0);
 f(255, 1);
 f(510, 2);
 f(765, 3);
 f(1020, 4);
 f(1275, 5);
 f(1785, 7);
 f(2040, 8);
 f(2295, 9);
 f(3825, 15);
 f(4080, 16);
 f(4335, 17);
 f(7905, 31);
 f(8160, 32);
 f(8415, 33);
 f(16065, 63);
 f(16320, 64);
 f(16575, 65);
 f(32385, 127);
 f(32640, 128);
 f(32895, 129);
 f(65025, 255);
 x = 256;
+f(0, 0);
 f(256, 1);
 f(512, 2);
 f(768, 3);
 f(1024, 4);
 f(1280, 5);
 f(1792, 7);
 f(2048, 8);
 f(2304, 9);
 f(3840, 15);
 f(4096, 16);
 f(4352, 17);
 f(7936, 31);
 f(8192, 32);
 f(8448, 33);
 f(16128, 63);
 f(16384, 64);
 f(16640, 65);
 f(32512, 127);
 f(32768, 128);
 f(33024, 129);
 f(65280, 255);
 f(65536, 256);
 x = 257;
+f(0, 0);
 f(257, 1);
 f(514, 2);
 f(771, 3);
 f(1028, 4);
 f(1285, 5);
 f(1799, 7);
 f(2056, 8);
 f(2313, 9);
 f(3855, 15);
 f(4112, 16);
 f(4369, 17);
 f(7967, 31);
 f(8224, 32);
 f(8481, 33);
 f(16191, 63);
 f(16448, 64);
 f(16705, 65);
 f(32639, 127);
 f(32896, 128);
 f(33153, 129);
 f(65535, 255);
 f(65792, 256);
 f(66049, 257);
 x = 511;
+f(0, 0);
 f(511, 1);
 f(1022, 2);
 f(1533, 3);
 f(2044, 4);
 f(2555, 5);
 f(3577, 7);
 f(4088, 8);
 f(4599, 9);
 f(7665, 15);
 f(8176, 16);
 f(8687, 17);
 f(15841, 31);
 f(16352, 32);
 f(16863, 33);
 f(32193, 63);
 f(32704, 64);
 f(33215, 65);
 f(64897, 127);
 f(65408, 128);
 f(65919, 129);
 f(130305, 255);
 f(130816, 256);
 f(131327, 257);
 f(261121, 511);
 x = 512;
+f(0, 0);
 f(512, 1);
 f(1024, 2);
 f(1536, 3);
 f(2048, 4);
 f(2560, 5);
 f(3584, 7);
 f(4096, 8);
 f(4608, 9);
 f(7680, 15);
 f(8192, 16);
 f(8704, 17);
 f(15872, 31);
 f(16384, 32);
 f(16896, 33);
 f(32256, 63);
 f(32768, 64);
 f(33280, 65);
 f(65024, 127);
 f(65536, 128);
 f(66048, 129);
 f(130560, 255);
 f(131072, 256);
 f(131584, 257);
 f(261632, 511);
 f(262144, 512);
 x = 513;
+f(0, 0);
 f(513, 1);
 f(1026, 2);
 f(1539, 3);
 f(2052, 4);
 f(2565, 5);
 f(3591, 7);
 f(4104, 8);
 f(4617, 9);
 f(7695, 15);
 f(8208, 16);
 f(8721, 17);
 f(15903, 31);
 f(16416, 32);
 f(16929, 33);
 f(32319, 63);
 f(32832, 64);
 f(33345, 65);
 f(65151, 127);
 f(65664, 128);
 f(66177, 129);
 f(130815, 255);
 f(131328, 256);
 f(131841, 257);
 f(262143, 511);
 f(262656, 512);
 f(263169, 513);
 x = 1023;
+f(0, 0);
 f(1023, 1);
 f(2046, 2);
 f(3069, 3);
 f(4092, 4);
 f(5115, 5);
 f(7161, 7);
 f(8184, 8);
 f(9207, 9);
 f(15345, 15);
 f(16368, 16);
 f(17391, 17);
 f(31713, 31);
 f(32736, 32);
 f(33759, 33);
 f(64449, 63);
 f(65472, 64);
 f(66495, 65);
 f(129921, 127);
 f(130944, 128);
 f(131967, 129);
 f(260865, 255);
 f(261888, 256);
 f(262911, 257);
 f(522753, 511);
 f(523776, 512);
 f(524799, 513);
 f(1046529, 1023);
 x = 1024;
+f(0, 0);
 f(1024, 1);
 f(2048, 2);
 f(3072, 3);
 f(4096, 4);
 f(5120, 5);
 f(7168, 7);
 f(8192, 8);
 f(9216, 9);
 f(15360, 15);
 f(16384, 16);
 f(17408, 17);
 f(31744, 31);
 f(32768, 32);
 f(33792, 33);
 f(64512, 63);
 f(65536, 64);
 f(66560, 65);
 f(130048, 127);
 f(131072, 128);
 f(132096, 129);
 f(261120, 255);
 f(262144, 256);
 f(263168, 257);
 f(523264, 511);
 f(524288, 512);
 f(525312, 513);
 f(1047552, 1023);
 f(1048576, 1024);
 x = 1025;
+f(0, 0);
 f(1025, 1);
 f(2050, 2);
 f(3075, 3);
 f(4100, 4);
 f(5125, 5);
 f(7175, 7);
 f(8200, 8);
 f(9225, 9);
 f(15375, 15);
 f(16400, 16);
@@ skipping 10 matching lines @@
 f(261375, 255);
 f(262400, 256);
 f(263425, 257);
 f(523775, 511);
 f(524800, 512);
 f(525825, 513);
 f(1048575, 1023);
 f(1049600, 1024);
 f(1050625, 1025);
 x = 2047;
+f(0, 0);
 f(2047, 1);
 f(4094, 2);
 f(6141, 3);
 f(8188, 4);
 f(10235, 5);
 f(14329, 7);
 f(16376, 8);
 f(18423, 9);
 f(30705, 15);
 f(32752, 16);
@@ skipping 11 matching lines @@
 f(524032, 256);
 f(526079, 257);
 f(1046017, 511);
 f(1048064, 512);
 f(1050111, 513);
 f(2094081, 1023);
 f(2096128, 1024);
 f(2098175, 1025);
 f(4190209, 2047);
 x = 2048;
+f(0, 0);
 f(2048, 1);
 f(4096, 2);
 f(6144, 3);
 f(8192, 4);
 f(10240, 5);
 f(14336, 7);
 f(16384, 8);
 f(18432, 9);
 f(30720, 15);
 f(32768, 16);
@@ skipping 12 matching lines @@
 f(526336, 257);
 f(1046528, 511);
 f(1048576, 512);
 f(1050624, 513);
 f(2095104, 1023);
 f(2097152, 1024);
 f(2099200, 1025);
 f(4192256, 2047);
 f(4194304, 2048);
 x = 2049;
+f(0, 0);
 f(2049, 1);
 f(4098, 2);
 f(6147, 3);
 f(8196, 4);
 f(10245, 5);
 f(14343, 7);
 f(16392, 8);
 f(18441, 9);
 f(30735, 15);
 f(32784, 16);
@@ skipping 13 matching lines @@
 f(1047039, 511);
 f(1049088, 512);
 f(1051137, 513);
 f(2096127, 1023);
 f(2098176, 1024);
 f(2100225, 1025);
 f(4194303, 2047);
 f(4196352, 2048);
 f(4198401, 2049);
 x = 4095;
+f(0, 0);
 f(4095, 1);
 f(8190, 2);
 f(12285, 3);
 f(16380, 4);
 f(20475, 5);
 f(28665, 7);
 f(32760, 8);
 f(36855, 9);
 f(61425, 15);
 f(65520, 16);
@@ skipping 14 matching lines @@
 f(2096640, 512);
 f(2100735, 513);
 f(4189185, 1023);
 f(4193280, 1024);
 f(4197375, 1025);
 f(8382465, 2047);
 f(8386560, 2048);
 f(8390655, 2049);
 f(16769025, 4095);
 x = 4096;
+f(0, 0);
 f(4096, 1);
 f(8192, 2);
 f(12288, 3);
 f(16384, 4);
 f(20480, 5);
 f(28672, 7);
 f(32768, 8);
 f(36864, 9);
 f(61440, 15);
 f(65536, 16);
@@ skipping 15 matching lines @@
 f(2101248, 513);
 f(4190208, 1023);
 f(4194304, 1024);
 f(4198400, 1025);
 f(8384512, 2047);
 f(8388608, 2048);
 f(8392704, 2049);
 f(16773120, 4095);
 f(16777216, 4096);
 x = 4097;
+f(0, 0);
 f(4097, 1);
 f(8194, 2);
 f(12291, 3);
 f(16388, 4);
 f(20485, 5);
 f(28679, 7);
 f(32776, 8);
 f(36873, 9);
 f(61455, 15);
 f(65552, 16);
@@ skipping 16 matching lines @@
 f(4191231, 1023);
 f(4195328, 1024);
 f(4199425, 1025);
 f(8386559, 2047);
 f(8390656, 2048);
 f(8394753, 2049);
 f(16777215, 4095);
 f(16781312, 4096);
 f(16785409, 4097);
 x = 8191;
+f(0, 0);
 f(8191, 1);
 f(16382, 2);
 f(24573, 3);
 f(32764, 4);
 f(40955, 5);
 f(57337, 7);
 f(65528, 8);
 f(73719, 9);
 f(122865, 15);
 f(131056, 16);
@@ skipping 17 matching lines @@
 f(8387584, 1024);
 f(8395775, 1025);
 f(16766977, 2047);
 f(16775168, 2048);
 f(16783359, 2049);
 f(33542145, 4095);
 f(33550336, 4096);
 f(33558527, 4097);
 f(67092481, 8191);
 x = 8192;
+f(0, 0);
 f(8192, 1);
 f(16384, 2);
 f(24576, 3);
 f(32768, 4);
 f(40960, 5);
 f(57344, 7);
 f(65536, 8);
 f(73728, 9);
 f(122880, 15);
 f(131072, 16);
@@ skipping 18 matching lines @@
 f(8396800, 1025);
 f(16769024, 2047);
 f(16777216, 2048);
 f(16785408, 2049);
 f(33546240, 4095);
 f(33554432, 4096);
 f(33562624, 4097);
 f(67100672, 8191);
 f(67108864, 8192);
 x = 8193;
+f(0, 0);
 f(8193, 1);
 f(16386, 2);
 f(24579, 3);
 f(32772, 4);
 f(40965, 5);
 f(57351, 7);
 f(65544, 8);
 f(73737, 9);
 f(122895, 15);
 f(131088, 16);
@@ skipping 19 matching lines @@
 f(16771071, 2047);
 f(16779264, 2048);
 f(16787457, 2049);
 f(33550335, 4095);
 f(33558528, 4096);
 f(33566721, 4097);
 f(67108863, 8191);
 f(67117056, 8192);
 f(67125249, 8193);
 x = 16383;
+f(0, 0);
 f(16383, 1);
 f(32766, 2);
 f(49149, 3);
 f(65532, 4);
 f(81915, 5);
 f(114681, 7);
 f(131064, 8);
 f(147447, 9);
 f(245745, 15);
 f(262128, 16);
@@ skipping 20 matching lines @@
 f(33552384, 2048);
 f(33568767, 2049);
 f(67088385, 4095);
 f(67104768, 4096);
 f(67121151, 4097);
 f(134193153, 8191);
 f(134209536, 8192);
 f(134225919, 8193);
 f(268402689, 16383);
 x = 16384;
+f(0, 0);
 f(16384, 1);
 f(32768, 2);
 f(49152, 3);
 f(65536, 4);
 f(81920, 5);
 f(114688, 7);
 f(131072, 8);
 f(147456, 9);
 f(245760, 15);
 f(262144, 16);
@@ skipping 21 matching lines @@
 f(33570816, 2049);
 f(67092480, 4095);
 f(67108864, 4096);
 f(67125248, 4097);
 f(134201344, 8191);
 f(134217728, 8192);
 f(134234112, 8193);
 f(268419072, 16383);
 f(268435456, 16384);
 x = 16385;
+f(0, 0);
 f(16385, 1);
 f(32770, 2);
 f(49155, 3);
 f(65540, 4);
 f(81925, 5);
 f(114695, 7);
 f(131080, 8);
 f(147465, 9);
 f(245775, 15);
 f(262160, 16);
@@ skipping 22 matching lines @@
 f(67096575, 4095);
 f(67112960, 4096);
 f(67129345, 4097);
 f(134209535, 8191);
 f(134225920, 8192);
 f(134242305, 8193);
 f(268435455, 16383);
 f(268451840, 16384);
 f(268468225, 16385);
 x = 32767;
+f(0, 0);
 f(32767, 1);
 f(65534, 2);
 f(98301, 3);
 f(131068, 4);
 f(163835, 5);
 f(229369, 7);
 f(262136, 8);
 f(294903, 9);
 f(491505, 15);
 f(524272, 16);
@@ skipping 23 matching lines @@
 f(134213632, 4096);
 f(134246399, 4097);
 f(268394497, 8191);
 f(268427264, 8192);
 f(268460031, 8193);
 f(536821761, 16383);
 f(536854528, 16384);
 f(536887295, 16385);
 f(1073676289, 32767);
 x = 32768;
+f(0, 0);
 f(32768, 1);
 f(65536, 2);
 f(98304, 3);
 f(131072, 4);
 f(163840, 5);
 f(229376, 7);
 f(262144, 8);
 f(294912, 9);
 f(491520, 15);
 f(524288, 16);
@@ skipping 24 matching lines @@
 f(134250496, 4097);
 f(268402688, 8191);
 f(268435456, 8192);
 f(268468224, 8193);
 f(536838144, 16383);
 f(536870912, 16384);
 f(536903680, 16385);
 f(1073709056, 32767);
 f(1073741824, 32768);
 x = 32769;
+f(0, 0);
 f(32769, 1);
 f(65538, 2);
 f(98307, 3);
 f(131076, 4);
 f(163845, 5);
 f(229383, 7);
 f(262152, 8);
 f(294921, 9);
 f(491535, 15);
 f(524304, 16);
@@ skipping 25 matching lines @@
 f(268410879, 8191);
 f(268443648, 8192);
 f(268476417, 8193);
 f(536854527, 16383);
 f(536887296, 16384);
 f(536920065, 16385);
 f(1073741823, 32767);
 f(1073774592, 32768);
 f(1073807361, 32769);
 x = 65535;
+f(0, 0);
 f(65535, 1);
 f(131070, 2);
 f(196605, 3);
 f(262140, 4);
 f(327675, 5);
 f(458745, 7);
 f(524280, 8);
 f(589815, 9);
 f(983025, 15);
 f(1048560, 16);
@@ skipping 26 matching lines @@
 f(536862720, 8192);
 f(536928255, 8193);
 f(1073659905, 16383);
 f(1073725440, 16384);
 f(1073790975, 16385);
 f(2147385345, 32767);
 f(2147450880, 32768);
 f(2147516415, 32769);
 f(4294836225, 65535);
 x = 65536;
+f(0, 0);
 f(65536, 1);
 f(131072, 2);
 f(196608, 3);
 f(262144, 4);
 f(327680, 5);
 f(458752, 7);
 f(524288, 8);
 f(589824, 9);
 f(983040, 15);
 f(1048576, 16);
@@ skipping 27 matching lines @@
 f(536936448, 8193);
 f(1073676288, 16383);
 f(1073741824, 16384);
 f(1073807360, 16385);
 f(2147418112, 32767);
 f(2147483648, 32768);
 f(2147549184, 32769);
 f(4294901760, 65535);
 f(4294967296, 65536);
 x = 65537;
+f(0, 0);
 f(65537, 1);
 f(131074, 2);
 f(196611, 3);
 f(262148, 4);
 f(327685, 5);
 f(458759, 7);
 f(524296, 8);
 f(589833, 9);
 f(983055, 15);
 f(1048592, 16);
@@ skipping 28 matching lines @@
 f(1073692671, 16383);
 f(1073758208, 16384);
 f(1073823745, 16385);
 f(2147450879, 32767);
 f(2147516416, 32768);
 f(2147581953, 32769);
 f(4294967295, 65535);
 f(4295032832, 65536);
 f(4295098369, 65537);
 x = 131071;
+f(0, 0);
 f(131071, 1);
 f(262142, 2);
 f(393213, 3);
 f(524284, 4);
 f(655355, 5);
 f(917497, 7);
 f(1048568, 8);
 f(1179639, 9);
 f(1966065, 15);
 f(2097136, 16);
@@ skipping 29 matching lines @@
 f(2147467264, 16384);
 f(2147598335, 16385);
 f(4294803457, 32767);
 f(4294934528, 32768);
 f(4295065599, 32769);
 f(8589737985, 65535);
 f(8589869056, 65536);
 f(8590000127, 65537);
 f(17179607041, 131071);
 x = 131072;
+f(0, 0);
 f(131072, 1);
 f(262144, 2);
 f(393216, 3);
 f(524288, 4);
 f(655360, 5);
 f(917504, 7);
 f(1048576, 8);
 f(1179648, 9);
 f(1966080, 15);
 f(2097152, 16);
@@ skipping 30 matching lines @@
 f(2147614720, 16385);
 f(4294836224, 32767);
 f(4294967296, 32768);
 f(4295098368, 32769);
 f(8589803520, 65535);
 f(8589934592, 65536);
 f(8590065664, 65537);
 f(17179738112, 131071);
 f(17179869184, 131072);
 x = 131073;
+f(0, 0);
 f(131073, 1);
 f(262146, 2);
 f(393219, 3);
 f(524292, 4);
 f(655365, 5);
 f(917511, 7);
 f(1048584, 8);
 f(1179657, 9);
 f(1966095, 15);
 f(2097168, 16);
@@ skipping 31 matching lines @@
 f(4294868991, 32767);
 f(4295000064, 32768);
 f(4295131137, 32769);
 f(8589869055, 65535);
 f(8590000128, 65536);
 f(8590131201, 65537);
 f(17179869183, 131071);
 f(17180000256, 131072);
 f(17180131329, 131073);
 x = 262143;
+f(0, 0);
 f(262143, 1);
 f(524286, 2);
 f(786429, 3);
 f(1048572, 4);
 f(1310715, 5);
 f(1835001, 7);
 f(2097144, 8);
 f(2359287, 9);
 f(3932145, 15);
 f(4194288, 16);
@@ skipping 32 matching lines @@
 f(8589901824, 32768);
 f(8590163967, 32769);
 f(17179541505, 65535);
 f(17179803648, 65536);
 f(17180065791, 65537);
 f(34359345153, 131071);
 f(34359607296, 131072);
 f(34359869439, 131073);
 f(68718952449, 262143);
 x = 262144;
+f(0, 0);
 f(262144, 1);
 f(524288, 2);
 f(786432, 3);
 f(1048576, 4);
 f(1310720, 5);
 f(1835008, 7);
 f(2097152, 8);
 f(2359296, 9);
 f(3932160, 15);
 f(4194304, 16);
@@ skipping 33 matching lines @@
 f(8590196736, 32769);
 f(17179607040, 65535);
 f(17179869184, 65536);
 f(17180131328, 65537);
 f(34359476224, 131071);
 f(34359738368, 131072);
 f(34360000512, 131073);
 f(68719214592, 262143);
 f(68719476736, 262144);
 x = 262145;
+f(0, 0);
 f(262145, 1);
 f(524290, 2);
 f(786435, 3);
 f(1048580, 4);
 f(1310725, 5);
 f(1835015, 7);
 f(2097160, 8);
 f(2359305, 9);
 f(3932175, 15);
 f(4194320, 16);
@@ skipping 34 matching lines @@
 f(17179672575, 65535);
 f(17179934720, 65536);
 f(17180196865, 65537);
 f(34359607295, 131071);
 f(34359869440, 131072);
 f(34360131585, 131073);
 f(68719476735, 262143);
 f(68719738880, 262144);
 f(68720001025, 262145);
 x = 524287;
+f(0, 0);
 f(524287, 1);
 f(1048574, 2);
 f(1572861, 3);
 f(2097148, 4);
 f(2621435, 5);
 f(3670009, 7);
 f(4194296, 8);
 f(4718583, 9);
 f(7864305, 15);
 f(8388592, 16);
@@ skipping 35 matching lines @@
 f(34359672832, 65536);
 f(34360197119, 65537);
 f(68718821377, 131071);
 f(68719345664, 131072);
 f(68719869951, 131073);
 f(137438167041, 262143);
 f(137438691328, 262144);
 f(137439215615, 262145);
 f(274876858369, 524287);
 x = 524288;
+f(0, 0);
 f(524288, 1);
 f(1048576, 2);
 f(1572864, 3);
 f(2097152, 4);
 f(2621440, 5);
 f(3670016, 7);
 f(4194304, 8);
 f(4718592, 9);
 f(7864320, 15);
 f(8388608, 16);
@@ skipping 36 matching lines @@
 f(34360262656, 65537);
 f(68718952448, 131071);
 f(68719476736, 131072);
 f(68720001024, 131073);
 f(137438429184, 262143);
 f(137438953472, 262144);
 f(137439477760, 262145);
 f(274877382656, 524287);
 f(274877906944, 524288);
 x = 524289;
+f(0, 0);
 f(524289, 1);
 f(1048578, 2);
 f(1572867, 3);
 f(2097156, 4);
 f(2621445, 5);
 f(3670023, 7);
 f(4194312, 8);
 f(4718601, 9);
 f(7864335, 15);
 f(8388624, 16);
@@ skipping 37 matching lines @@
 f(68719083519, 131071);
 f(68719607808, 131072);
 f(68720132097, 131073);
 f(137438691327, 262143);
 f(137439215616, 262144);
 f(137439739905, 262145);
 f(274877906943, 524287);
 f(274878431232, 524288);
 f(274878955521, 524289);
 x = 1048575;
+f(0, 0);
 f(1048575, 1);
 f(2097150, 2);
 f(3145725, 3);
 f(4194300, 4);
 f(5242875, 5);
 f(7340025, 7);
 f(8388600, 8);
 f(9437175, 9);
 f(15728625, 15);
 f(16777200, 16);
@@ skipping 38 matching lines @@
 f(137438822400, 131072);
 f(137439870975, 131073);
 f(274876596225, 262143);
 f(274877644800, 262144);
 f(274878693375, 262145);
 f(549754241025, 524287);
 f(549755289600, 524288);
 f(549756338175, 524289);
 f(1099509530625, 1048575);
 x = 1048576;
+f(0, 0);
 f(1048576, 1);
 f(2097152, 2);
 f(3145728, 3);
 f(4194304, 4);
 f(5242880, 5);
 f(7340032, 7);
 f(8388608, 8);
 f(9437184, 9);
 f(15728640, 15);
 f(16777216, 16);
@@ skipping 39 matching lines @@
 f(137440002048, 131073);
 f(274876858368, 262143);
 f(274877906944, 262144);
 f(274878955520, 262145);
 f(549754765312, 524287);
 f(549755813888, 524288);
 f(549756862464, 524289);
 f(1099510579200, 1048575);
 f(1099511627776, 1048576);
 x = 1048577;
+f(0, 0);
 f(1048577, 1);
 f(2097154, 2);
 f(3145731, 3);
 f(4194308, 4);
 f(5242885, 5);
 f(7340039, 7);
 f(8388616, 8);
 f(9437193, 9);
 f(15728655, 15);
 f(16777232, 16);
@@ skipping 40 matching lines @@
 f(274877120511, 262143);
 f(274878169088, 262144);
 f(274879217665, 262145);
 f(549755289599, 524287);
 f(549756338176, 524288);
 f(549757386753, 524289);
 f(1099511627775, 1048575);
 f(1099512676352, 1048576);
 f(1099513724929, 1048577);
 x = 2097151;
+f(0, 0);
 f(2097151, 1);
 f(4194302, 2);
 f(6291453, 3);
 f(8388604, 4);
 f(10485755, 5);
 f(14680057, 7);
 f(16777208, 8);
 f(18874359, 9);
 f(31457265, 15);
 f(33554416, 16);
@@ skipping 41 matching lines @@
 f(549755551744, 262144);
 f(549757648895, 262145);
 f(1099509006337, 524287);
 f(1099511103488, 524288);
 f(1099513200639, 524289);
 f(2199020109825, 1048575);
 f(2199022206976, 1048576);
 f(2199024304127, 1048577);
 f(4398042316801, 2097151);
 x = 2097152;
+f(0, 0);
 f(2097152, 1);
 f(4194304, 2);
 f(6291456, 3);
 f(8388608, 4);
 f(10485760, 5);
 f(14680064, 7);
 f(16777216, 8);
 f(18874368, 9);
 f(31457280, 15);
 f(33554432, 16);
@@ skipping 42 matching lines @@
 f(549757911040, 262145);
 f(1099509530624, 524287);
 f(1099511627776, 524288);
 f(1099513724928, 524289);
 f(2199021158400, 1048575);
 f(2199023255552, 1048576);
 f(2199025352704, 1048577);
 f(4398044413952, 2097151);
 f(4398046511104, 2097152);
 x = 2097153;
+f(0, 0);
 f(2097153, 1);
 f(4194306, 2);
 f(6291459, 3);
 f(8388612, 4);
 f(10485765, 5);
 f(14680071, 7);
 f(16777224, 8);
 f(18874377, 9);
 f(31457295, 15);
 f(33554448, 16);
@@ skipping 43 matching lines @@
 f(1099510054911, 524287);
 f(1099512152064, 524288);
 f(1099514249217, 524289);
 f(2199022206975, 1048575);
 f(2199024304128, 1048576);
 f(2199026401281, 1048577);
 f(4398046511103, 2097151);
 f(4398048608256, 2097152);
 f(4398050705409, 2097153);
 x = 4194303;
+f(0, 0);
 f(4194303, 1);
 f(8388606, 2);
 f(12582909, 3);
 f(16777212, 4);
 f(20971515, 5);
 f(29360121, 7);
 f(33554424, 8);
 f(37748727, 9);
 f(62914545, 15);
 f(67108848, 16);
@@ skipping 44 matching lines @@
 f(2199022731264, 524288);
 f(2199026925567, 524289);
 f(4398041268225, 1048575);
 f(4398045462528, 1048576);
 f(4398049656831, 1048577);
 f(8796086730753, 2097151);
 f(8796090925056, 2097152);
 f(8796095119359, 2097153);
 f(17592177655809, 4194303);
 x = 4194304;
+f(0, 0);
 f(4194304, 1);
 f(8388608, 2);
 f(12582912, 3);
 f(16777216, 4);
 f(20971520, 5);
 f(29360128, 7);
 f(33554432, 8);
 f(37748736, 9);
 f(62914560, 15);
 f(67108864, 16);
@@ skipping 45 matching lines @@
 f(2199027449856, 524289);
 f(4398042316800, 1048575);
 f(4398046511104, 1048576);
 f(4398050705408, 1048577);
 f(8796088827904, 2097151);
 f(8796093022208, 2097152);
 f(8796097216512, 2097153);
 f(17592181850112, 4194303);
 f(17592186044416, 4194304);
 x = 4194305;
+f(0, 0);
 f(4194305, 1);
 f(8388610, 2);
 f(12582915, 3);
 f(16777220, 4);
 f(20971525, 5);
 f(29360135, 7);
 f(33554440, 8);
 f(37748745, 9);
 f(62914575, 15);
 f(67108880, 16);
@@ skipping 46 matching lines @@
 f(4398043365375, 1048575);
 f(4398047559680, 1048576);
 f(4398051753985, 1048577);
 f(8796090925055, 2097151);
 f(8796095119360, 2097152);
 f(8796099313665, 2097153);
 f(17592186044415, 4194303);
 f(17592190238720, 4194304);
 f(17592194433025, 4194305);
 x = 8388607;
+f(0, 0);
 f(8388607, 1);
 f(16777214, 2);
 f(25165821, 3);
 f(33554428, 4);
 f(41943035, 5);
 f(58720249, 7);
 f(67108856, 8);
 f(75497463, 9);
 f(125829105, 15);
 f(134217712, 16);
@@ skipping 47 matching lines @@
 f(8796091973632, 1048576);
 f(8796100362239, 1048577);
 f(17592175558657, 2097151);
 f(17592183947264, 2097152);
 f(17592192335871, 2097153);
 f(35184359505921, 4194303);
 f(35184367894528, 4194304);
 f(35184376283135, 4194305);
 f(70368727400449, 8388607);
 x = 8388608;
+f(0, 0);
 f(8388608, 1);
 f(16777216, 2);
 f(25165824, 3);
 f(33554432, 4);
 f(41943040, 5);
 f(58720256, 7);
 f(67108864, 8);
 f(75497472, 9);
 f(125829120, 15);
 f(134217728, 16);
@@ skipping 48 matching lines @@
 f(8796101410816, 1048577);
 f(17592177655808, 2097151);
 f(17592186044416, 2097152);
 f(17592194433024, 2097153);
 f(35184363700224, 4194303);
 f(35184372088832, 4194304);
 f(35184380477440, 4194305);
 f(70368735789056, 8388607);
 f(70368744177664, 8388608);
 x = 8388609;
+f(0, 0);
 f(8388609, 1);
 f(16777218, 2);
 f(25165827, 3);
 f(33554436, 4);
 f(41943045, 5);
 f(58720263, 7);
 f(67108872, 8);
 f(75497481, 9);
 f(125829135, 15);
 f(134217744, 16);
@@ skipping 49 matching lines @@
 f(17592179752959, 2097151);
 f(17592188141568, 2097152);
 f(17592196530177, 2097153);
 f(35184367894527, 4194303);
 f(35184376283136, 4194304);
 f(35184384671745, 4194305);
 f(70368744177663, 8388607);
 f(70368752566272, 8388608);
 f(70368760954881, 8388609);
 x = 16777215;
+f(0, 0);
 f(16777215, 1);
 f(33554430, 2);
 f(50331645, 3);
 f(67108860, 4);
 f(83886075, 5);
 f(117440505, 7);
 f(134217720, 8);
 f(150994935, 9);
 f(251658225, 15);
 f(268435440, 16);
@@ skipping 50 matching lines @@
 f(35184369991680, 2097152);
 f(35184386768895, 2097153);
 f(70368723206145, 4194303);
 f(70368739983360, 4194304);
 f(70368756760575, 4194305);
 f(140737463189505, 8388607);
 f(140737479966720, 8388608);
 f(140737496743935, 8388609);
 f(281474943156225, 16777215);
 x = 16777216;
+f(0, 0);
 f(16777216, 1);
 f(33554432, 2);
 f(50331648, 3);
 f(67108864, 4);
 f(83886080, 5);
 f(117440512, 7);
 f(134217728, 8);
 f(150994944, 9);
 f(251658240, 15);
 f(268435456, 16);
@@ skipping 51 matching lines @@
 f(35184388866048, 2097153);
 f(70368727400448, 4194303);
 f(70368744177664, 4194304);
 f(70368760954880, 4194305);
 f(140737471578112, 8388607);
 f(140737488355328, 8388608);
 f(140737505132544, 8388609);
 f(281474959933440, 16777215);
 f(281474976710656, 16777216);
 x = 16777217;
+f(0, 0);
 f(16777217, 1);
 f(33554434, 2);
 f(50331651, 3);
 f(67108868, 4);
 f(83886085, 5);
 f(117440519, 7);
 f(134217736, 8);
 f(150994953, 9);
 f(251658255, 15);
 f(268435472, 16);
@@ skipping 52 matching lines @@
 f(70368731594751, 4194303);
 f(70368748371968, 4194304);
 f(70368765149185, 4194305);
 f(140737479966719, 8388607);
 f(140737496743936, 8388608);
 f(140737513521153, 8388609);
 f(281474976710655, 16777215);
 f(281474993487872, 16777216);
 f(281475010265089, 16777217);
 x = 33554431;
+f(0, 0);
 f(33554431, 1);
 f(67108862, 2);
 f(100663293, 3);
 f(134217724, 4);
 f(167772155, 5);
 f(234881017, 7);
 f(268435448, 8);
 f(301989879, 9);
 f(503316465, 15);
 f(536870896, 16);
@@ skipping 53 matching lines @@
 f(140737484161024, 4194304);
 f(140737517715455, 4194305);
 f(281474934767617, 8388607);
 f(281474968322048, 8388608);
 f(281475001876479, 8388609);
 f(562949903089665, 16777215);
 f(562949936644096, 16777216);
 f(562949970198527, 16777217);
 f(1125899839733761, 33554431);
 x = 33554432;
+f(0, 0);
 f(33554432, 1);
 f(67108864, 2);
 f(100663296, 3);
 f(134217728, 4);
 f(167772160, 5);
 f(234881024, 7);
 f(268435456, 8);
 f(301989888, 9);
 f(503316480, 15);
 f(536870912, 16);
@@ skipping 54 matching lines @@
 f(140737521909760, 4194305);
 f(281474943156224, 8388607);
 f(281474976710656, 8388608);
 f(281475010265088, 8388609);
 f(562949919866880, 16777215);
 f(562949953421312, 16777216);
 f(562949986975744, 16777217);
 f(1125899873288192, 33554431);
 f(1125899906842624, 33554432);
 x = 33554433;
+f(0, 0);
 f(33554433, 1);
 f(67108866, 2);
 f(100663299, 3);
 f(134217732, 4);
 f(167772165, 5);
 f(234881031, 7);
 f(268435464, 8);
 f(301989897, 9);
 f(503316495, 15);
 f(536870928, 16);
@@ skipping 55 matching lines @@
 f(281474951544831, 8388607);
 f(281474985099264, 8388608);
 f(281475018653697, 8388609);
 f(562949936644095, 16777215);
 f(562949970198528, 16777216);
 f(562950003752961, 16777217);
 f(1125899906842623, 33554431);
 f(1125899940397056, 33554432);
 f(1125899973951489, 33554433);
 x = 67108863;
+f(0, 0);
 f(67108863, 1);
 f(134217726, 2);
 f(201326589, 3);
 f(268435452, 4);
 f(335544315, 5);
 f(469762041, 7);
 f(536870904, 8);
 f(603979767, 9);
 f(1006632945, 15);
 f(1073741808, 16);
@@ skipping 52 matching lines @@
 f(281474905407489, 4194303);
 f(281474972516352, 4194304);
 f(281475039625215, 4194305);
 f(562949877923841, 8388607);
 f(562949945032704, 8388608);
 f(562950012141567, 8388609);
 f(1125899822956545, 16777215);
 f(1125899890065408, 16777216);
 f(1125899957174271, 16777217);
 x = 67108864;
+f(0, 0);
 f(67108864, 1);
 f(134217728, 2);
 f(201326592, 3);
 f(268435456, 4);
 f(335544320, 5);
 f(469762048, 7);
 f(536870912, 8);
 f(603979776, 9);
 f(1006632960, 15);
 f(1073741824, 16);
@@ skipping 52 matching lines @@
 f(281474909601792, 4194303);
 f(281474976710656, 4194304);
 f(281475043819520, 4194305);
 f(562949886312448, 8388607);
 f(562949953421312, 8388608);
 f(562950020530176, 8388609);
 f(1125899839733760, 16777215);
 f(1125899906842624, 16777216);
 f(1125899973951488, 16777217);
 x = 67108865;
+f(0, 0);
 f(67108865, 1);
 f(134217730, 2);
 f(201326595, 3);
 f(268435460, 4);
 f(335544325, 5);
 f(469762055, 7);
 f(536870920, 8);
 f(603979785, 9);
 f(1006632975, 15);
 f(1073741840, 16);
@@ skipping 52 matching lines @@
 f(281474913796095, 4194303);
 f(281474980904960, 4194304);
 f(281475048013825, 4194305);
 f(562949894701055, 8388607);
 f(562949961809920, 8388608);
 f(562950028918785, 8388609);
 f(1125899856510975, 16777215);
 f(1125899923619840, 16777216);
 f(1125899990728705, 16777217);
 x = 134217727;
+f(0, 0);
 f(134217727, 1);
 f(268435454, 2);
 f(402653181, 3);
 f(536870908, 4);
 f(671088635, 5);
 f(939524089, 7);
 f(1073741816, 8);
 f(1207959543, 9);
 f(2013265905, 15);
 f(2147483632, 16);
@@ skipping 49 matching lines @@
 f(281474840395777, 2097151);
 f(281474974613504, 2097152);
 f(281475108831231, 2097153);
 f(562949815009281, 4194303);
 f(562949949227008, 4194304);
 f(562950083444735, 4194305);
 f(1125899764236289, 8388607);
 f(1125899898454016, 8388608);
 f(1125900032671743, 8388609);
 x = 134217728;
+f(0, 0);
 f(134217728, 1);
 f(268435456, 2);
 f(402653184, 3);
 f(536870912, 4);
 f(671088640, 5);
 f(939524096, 7);
 f(1073741824, 8);
 f(1207959552, 9);
 f(2013265920, 15);
 f(2147483648, 16);
@@ skipping 49 matching lines @@
 f(281474842492928, 2097151);
 f(281474976710656, 2097152);
 f(281475110928384, 2097153);
 f(562949819203584, 4194303);
 f(562949953421312, 4194304);
 f(562950087639040, 4194305);
 f(1125899772624896, 8388607);
 f(1125899906842624, 8388608);
 f(1125900041060352, 8388609);
 x = 134217729;
+f(0, 0);
 f(134217729, 1);
 f(268435458, 2);
 f(402653187, 3);
 f(536870916, 4);
 f(671088645, 5);
 f(939524103, 7);
 f(1073741832, 8);
 f(1207959561, 9);
 f(2013265935, 15);
 f(2147483664, 16);
@@ skipping 49 matching lines @@
 f(281474844590079, 2097151);
 f(281474978807808, 2097152);
 f(281475113025537, 2097153);
 f(562949823397887, 4194303);
 f(562949957615616, 4194304);
 f(562950091833345, 4194305);
 f(1125899781013503, 8388607);
 f(1125899915231232, 8388608);
 f(1125900049448961, 8388609);
 x = 268435455;
+f(0, 0);
 f(268435455, 1);
 f(536870910, 2);
 f(805306365, 3);
 f(1073741820, 4);
 f(1342177275, 5);
 f(1879048185, 7);
 f(2147483640, 8);
 f(2415919095, 9);
 f(4026531825, 15);
 f(4294967280, 16);
@@ skipping 46 matching lines @@
 f(281474707226625, 1048575);
 f(281474975662080, 1048576);
 f(281475244097535, 1048577);
 f(562949682888705, 2097151);
 f(562949951324160, 2097152);
 f(562950219759615, 2097153);
 f(1125899634212865, 4194303);
 f(1125899902648320, 4194304);
 f(1125900171083775, 4194305);
 x = 268435456;
+f(0, 0);
 f(268435456, 1);
 f(536870912, 2);
 f(805306368, 3);
 f(1073741824, 4);
 f(1342177280, 5);
 f(1879048192, 7);
 f(2147483648, 8);
 f(2415919104, 9);
 f(4026531840, 15);
 f(4294967296, 16);
@@ skipping 46 matching lines @@
 f(281474708275200, 1048575);
 f(281474976710656, 1048576);
 f(281475245146112, 1048577);
 f(562949684985856, 2097151);
 f(562949953421312, 2097152);
 f(562950221856768, 2097153);
 f(1125899638407168, 4194303);
 f(1125899906842624, 4194304);
 f(1125900175278080, 4194305);
 x = 268435457;
+f(0, 0);
 f(268435457, 1);
 f(536870914, 2);
 f(805306371, 3);
 f(1073741828, 4);
 f(1342177285, 5);
 f(1879048199, 7);
 f(2147483656, 8);
 f(2415919113, 9);
 f(4026531855, 15);
 f(4294967312, 16);
@@ skipping 46 matching lines @@
 f(281474709323775, 1048575);
 f(281474977759232, 1048576);
 f(281475246194689, 1048577);
 f(562949687083007, 2097151);
 f(562949955518464, 2097152);
 f(562950223953921, 2097153);
 f(1125899642601471, 4194303);
 f(1125899911036928, 4194304);
 f(1125900179472385, 4194305);
 x = 536870911;
+f(0, 0);
 f(536870911, 1);
 f(1073741822, 2);
 f(1610612733, 3);
 f(2147483644, 4);
 f(2684354555, 5);
 f(3758096377, 7);
 f(4294967288, 8);
 f(4831838199, 9);
 f(8053063665, 15);
 f(8589934576, 16);
@@ skipping 43 matching lines @@
 f(281474439315457, 524287);
 f(281474976186368, 524288);
 f(281475513057279, 524289);
 f(562949415501825, 1048575);
 f(562949952372736, 1048576);
 f(562950489243647, 1048577);
 f(1125899367874561, 2097151);
 f(1125899904745472, 2097152);
 f(1125900441616383, 2097153);
 x = 536870912;
+f(0, 0);
 f(536870912, 1);
 f(1073741824, 2);
 f(1610612736, 3);
 f(2147483648, 4);
 f(2684354560, 5);
 f(3758096384, 7);
 f(4294967296, 8);
 f(4831838208, 9);
 f(8053063680, 15);
 f(8589934592, 16);
@@ skipping 43 matching lines @@
 f(281474439839744, 524287);
 f(281474976710656, 524288);
 f(281475513581568, 524289);
 f(562949416550400, 1048575);
 f(562949953421312, 1048576);
 f(562950490292224, 1048577);
 f(1125899369971712, 2097151);
 f(1125899906842624, 2097152);
 f(1125900443713536, 2097153);
 x = 536870913;
+f(0, 0);
 f(536870913, 1);
 f(1073741826, 2);
 f(1610612739, 3);
 f(2147483652, 4);
 f(2684354565, 5);
 f(3758096391, 7);
 f(4294967304, 8);
 f(4831838217, 9);
 f(8053063695, 15);
 f(8589934608, 16);
@@ skipping 43 matching lines @@
 f(281474440364031, 524287);
 f(281474977234944, 524288);
 f(281475514105857, 524289);
 f(562949417598975, 1048575);
 f(562949954469888, 1048576);
 f(562950491340801, 1048577);
 f(1125899372068863, 2097151);
 f(1125899908939776, 2097152);
 f(1125900445810689, 2097153);
 x = 1073741823;
+f(0, 0);
 f(1073741823, 1);
 f(2147483646, 2);
 f(3221225469, 3);
 f(4294967292, 4);
 f(5368709115, 5);
 f(7516192761, 7);
 f(8589934584, 8);
 f(9663676407, 9);
 f(16106127345, 15);
 f(17179869168, 16);
@@ skipping 40 matching lines @@
 f(281473902706689, 262143);
 f(281474976448512, 262144);
 f(281476050190335, 262145);
 f(562948879155201, 524287);
 f(562949952897024, 524288);
 f(562951026638847, 524289);
 f(1125898832052225, 1048575);
 f(1125899905794048, 1048576);
 f(1125900979535871, 1048577);
 x = 1073741824;
+f(0, 0);
 f(1073741824, 1);
 f(2147483648, 2);
 f(3221225472, 3);
 f(4294967296, 4);
 f(5368709120, 5);
 f(7516192768, 7);
 f(8589934592, 8);
 f(9663676416, 9);
 f(16106127360, 15);
 f(17179869184, 16);
@@ skipping 40 matching lines @@
 f(281473902968832, 262143);
 f(281474976710656, 262144);
 f(281476050452480, 262145);
 f(562948879679488, 524287);
 f(562949953421312, 524288);
 f(562951027163136, 524289);
 f(1125898833100800, 1048575);
 f(1125899906842624, 1048576);
 f(1125900980584448, 1048577);
 x = 1073741825;
+f(0, 0);
 f(1073741825, 1);
 f(2147483650, 2);
 f(3221225475, 3);
 f(4294967300, 4);
 f(5368709125, 5);
 f(7516192775, 7);
 f(8589934600, 8);
 f(9663676425, 9);
 f(16106127375, 15);
 f(17179869200, 16);
@@ skipping 40 matching lines @@
 f(281473903230975, 262143);
 f(281474976972800, 262144);
 f(281476050714625, 262145);
 f(562948880203775, 524287);
 f(562949953945600, 524288);
 f(562951027687425, 524289);
 f(1125898834149375, 1048575);
 f(1125899907891200, 1048576);
 f(1125900981633025, 1048577);
 x = 2147483647;
+f(0, 0);
 f(2147483647, 1);
 f(4294967294, 2);
 f(6442450941, 3);
 f(8589934588, 4);
 f(10737418235, 5);
 f(15032385529, 7);
 f(17179869176, 8);
 f(19327352823, 9);
 f(32212254705, 15);
 f(34359738352, 16);
@@ skipping 37 matching lines @@
 f(281472829095937, 131071);
 f(281474976579584, 131072);
 f(281477124063231, 131073);
 f(562947805675521, 262143);
 f(562949953159168, 262144);
 f(562952100642815, 262145);
 f(1125897758834689, 524287);
 f(1125899906318336, 524288);
 f(1125902053801983, 524289);
 x = 2147483648;
+f(0, 0);
 f(2147483648, 1);
 f(4294967296, 2);
 f(6442450944, 3);
 f(8589934592, 4);
 f(10737418240, 5);
 f(15032385536, 7);
 f(17179869184, 8);
 f(19327352832, 9);
 f(32212254720, 15);
 f(34359738368, 16);
@@ skipping 37 matching lines @@
 f(281472829227008, 131071);
 f(281474976710656, 131072);
 f(281477124194304, 131073);
 f(562947805937664, 262143);
 f(562949953421312, 262144);
 f(562952100904960, 262145);
 f(1125897759358976, 524287);
 f(1125899906842624, 524288);
 f(1125902054326272, 524289);
 x = 2147483649;
+f(0, 0);
 f(2147483649, 1);
 f(4294967298, 2);
 f(6442450947, 3);
 f(8589934596, 4);
 f(10737418245, 5);
 f(15032385543, 7);
 f(17179869192, 8);
 f(19327352841, 9);
 f(32212254735, 15);
 f(34359738384, 16);
@@ skipping 37 matching lines @@
 f(281472829358079, 131071);
 f(281474976841728, 131072);
 f(281477124325377, 131073);
 f(562947806199807, 262143);
 f(562949953683456, 262144);
 f(562952101167105, 262145);
 f(1125897759883263, 524287);
 f(1125899907366912, 524288);
 f(1125902054850561, 524289);
 x = 4294967295;
+f(0, 0);
 f(4294967295, 1);
 f(8589934590, 2);
 f(12884901885, 3);
 f(17179869180, 4);
 f(21474836475, 5);
 f(30064771065, 7);
 f(34359738360, 8);
 f(38654705655, 9);
 f(64424509425, 15);
 f(68719476720, 16);
@@ skipping 34 matching lines @@
 f(281470681677825, 65535);
 f(281474976645120, 65536);
 f(281479271612415, 65537);
 f(562945658322945, 131071);
 f(562949953290240, 131072);
 f(562954248257535, 131073);
 f(1125895611613185, 262143);
 f(1125899906580480, 262144);
 f(1125904201547775, 262145);
 x = 4294967296;
+f(0, 0);
 f(4294967296, 1);
 f(8589934592, 2);
 f(12884901888, 3);
 f(17179869184, 4);
 f(21474836480, 5);
 f(30064771072, 7);
 f(34359738368, 8);
 f(38654705664, 9);
 f(64424509440, 15);
 f(68719476736, 16);
@@ skipping 34 matching lines @@
 f(281470681743360, 65535);
 f(281474976710656, 65536);
 f(281479271677952, 65537);
 f(562945658454016, 131071);
 f(562949953421312, 131072);
 f(562954248388608, 131073);
 f(1125895611875328, 262143);
 f(1125899906842624, 262144);
 f(1125904201809920, 262145);
 x = 4294967297;
+f(0, 0);
 f(4294967297, 1);
 f(8589934594, 2);
 f(12884901891, 3);
 f(17179869188, 4);
 f(21474836485, 5);
 f(30064771079, 7);
 f(34359738376, 8);
 f(38654705673, 9);
 f(64424509455, 15);
 f(68719476752, 16);
@@ skipping 34 matching lines @@
 f(281470681808895, 65535);
 f(281474976776192, 65536);
 f(281479271743489, 65537);
 f(562945658585087, 131071);
 f(562949953552384, 131072);
 f(562954248519681, 131073);
 f(1125895612137471, 262143);
 f(1125899907104768, 262144);
 f(1125904202072065, 262145);
 x = 8589934591;
+f(0, 0);
 f(8589934591, 1);
 f(17179869182, 2);
 f(25769803773, 3);
 f(34359738364, 4);
 f(42949672955, 5);
 f(60129542137, 7);
 f(68719476728, 8);
 f(77309411319, 9);
 f(128849018865, 15);
 f(137438953456, 16);
@@ skipping 31 matching lines @@
 f(281466386743297, 32767);
 f(281474976677888, 32768);
 f(281483566612479, 32769);
 f(562941363421185, 65535);
 f(562949953355776, 65536);
 f(562958543290367, 65537);
 f(1125891316776961, 131071);
 f(1125899906711552, 131072);
 f(1125908496646143, 131073);
 x = 8589934592;
+f(0, 0);
 f(8589934592, 1);
 f(17179869184, 2);
 f(25769803776, 3);
 f(34359738368, 4);
 f(42949672960, 5);
 f(60129542144, 7);
 f(68719476736, 8);
 f(77309411328, 9);
 f(128849018880, 15);
 f(137438953472, 16);
@@ skipping 31 matching lines @@
 f(281466386776064, 32767);
 f(281474976710656, 32768);
 f(281483566645248, 32769);
 f(562941363486720, 65535);
 f(562949953421312, 65536);
 f(562958543355904, 65537);
 f(1125891316908032, 131071);
 f(1125899906842624, 131072);
 f(1125908496777216, 131073);
 x = 8589934593;
+f(0, 0);
 f(8589934593, 1);
 f(17179869186, 2);
 f(25769803779, 3);
 f(34359738372, 4);
 f(42949672965, 5);
 f(60129542151, 7);
 f(68719476744, 8);
 f(77309411337, 9);
 f(128849018895, 15);
 f(137438953488, 16);
@@ skipping 31 matching lines @@
 f(281466386808831, 32767);
 f(281474976743424, 32768);
 f(281483566678017, 32769);
 f(562941363552255, 65535);
 f(562949953486848, 65536);
 f(562958543421441, 65537);
 f(1125891317039103, 131071);
 f(1125899906973696, 131072);
 f(1125908496908289, 131073);
 x = 17179869183;
+f(0, 0);
 f(17179869183, 1);
 f(34359738366, 2);
 f(51539607549, 3);
 f(68719476732, 4);
 f(85899345915, 5);
 f(120259084281, 7);
 f(137438953464, 8);
 f(154618822647, 9);
 f(257698037745, 15);
 f(274877906928, 16);
@@ skipping 28 matching lines @@
 f(281457796825089, 16383);
 f(281474976694272, 16384);
 f(281492156563455, 16385);
 f(562932773519361, 32767);
 f(562949953388544, 32768);
 f(562967133257727, 32769);
 f(1125882726907905, 65535);
 f(1125899906777088, 65536);
 f(1125917086646271, 65537);
 x = 17179869184;
+f(0, 0);
 f(17179869184, 1);
 f(34359738368, 2);
 f(51539607552, 3);
 f(68719476736, 4);
 f(85899345920, 5);
 f(120259084288, 7);
 f(137438953472, 8);
 f(154618822656, 9);
 f(257698037760, 15);
 f(274877906944, 16);
@@ skipping 28 matching lines @@
 f(281457796841472, 16383);
 f(281474976710656, 16384);
 f(281492156579840, 16385);
 f(562932773552128, 32767);
 f(562949953421312, 32768);
 f(562967133290496, 32769);
 f(1125882726973440, 65535);
 f(1125899906842624, 65536);
 f(1125917086711808, 65537);
 x = 17179869185;
+f(0, 0);
 f(17179869185, 1);
 f(34359738370, 2);
 f(51539607555, 3);
 f(68719476740, 4);
 f(85899345925, 5);
 f(120259084295, 7);
 f(137438953480, 8);
 f(154618822665, 9);
 f(257698037775, 15);
 f(274877906960, 16);
@@ skipping 27 matching lines @@
 f(140754668232705, 8193);
 f(281457796857855, 16383);
 f(281474976727040, 16384);
 f(281492156596225, 16385);
 f(562932773584895, 32767);
 f(562949953454080, 32768);
 f(562967133323265, 32769);
 f(1125882727038975, 65535);
 f(1125899906908160, 65536);
 f(1125917086777345, 65537);