CSE2410 Fall 2014 Bounce

// 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);

}

x = 1;

f(1, 1);

x = 2;

f(2, 1);

f(4, 2);

x = 3;

f(3, 1);

f(6, 2);

f(9, 3);

x = 4;

f(4, 1);

f(8, 2);

f(12, 3);

f(16, 4);

x = 5;

f(5, 1);

f(10, 2);

f(15, 3);

f(20, 4);

f(25, 5);

x = 7;

f(7, 1);

f(14, 2);

f(21, 3);

f(28, 4);

f(35, 5);

f(49, 7);

x = 8;

f(8, 1);

f(16, 2);

f(24, 3);

f(32, 4);

f(40, 5);

f(56, 7);

f(64, 8);

x = 9;

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(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(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(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(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(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(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(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(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(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(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(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(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(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(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(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(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(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(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(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(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(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);

f(17425, 17);

f(31775, 31);

f(32800, 32);

f(33825, 33);

f(64575, 63);

f(65600, 64);

f(66625, 65);

f(130175, 127);

f(131200, 128);

f(132225, 129);

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(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);

f(34799, 17);

f(63457, 31);

f(65504, 32);

f(67551, 33);

f(128961, 63);

f(131008, 64);

f(133055, 65);

f(259969, 127);

f(262016, 128);

f(264063, 129);

f(521985, 255);

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(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);

f(34816, 17);

f(63488, 31);

f(65536, 32);

f(67584, 33);

f(129024, 63);

f(131072, 64);

f(133120, 65);

f(260096, 127);

f(262144, 128);

f(264192, 129);

f(522240, 255);

f(524288, 256);

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(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);

f(34833, 17);

f(63519, 31);

f(65568, 32);

f(67617, 33);

f(129087, 63);

f(131136, 64);

f(133185, 65);

f(260223, 127);

f(262272, 128);

f(264321, 129);

f(522495, 255);

f(524544, 256);

f(526593, 257);

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(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);

f(69615, 17);

f(126945, 31);

f(131040, 32);

f(135135, 33);

f(257985, 63);

f(262080, 64);

f(266175, 65);

f(520065, 127);

f(524160, 128);

f(528255, 129);

f(1044225, 255);

f(1048320, 256);

f(1052415, 257);

f(2092545, 511);

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(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);

f(69632, 17);

f(126976, 31);

f(131072, 32);

f(135168, 33);

f(258048, 63);

f(262144, 64);

f(266240, 65);

f(520192, 127);

f(524288, 128);

f(528384, 129);

f(1044480, 255);

f(1048576, 256);

f(1052672, 257);

f(2093056, 511);

f(2097152, 512);

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(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);

f(69649, 17);

f(127007, 31);

f(131104, 32);

f(135201, 33);

f(258111, 63);

f(262208, 64);

f(266305, 65);

f(520319, 127);

f(524416, 128);

f(528513, 129);

f(1044735, 255);

f(1048832, 256);

f(1052929, 257);

f(2093567, 511);

f(2097664, 512);

f(2101761, 513);

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(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);

f(139247, 17);

f(253921, 31);

f(262112, 32);

f(270303, 33);

f(516033, 63);

f(524224, 64);

f(532415, 65);

f(1040257, 127);

f(1048448, 128);

f(1056639, 129);

f(2088705, 255);

f(2096896, 256);

f(2105087, 257);

f(4185601, 511);

f(4193792, 512);

f(4201983, 513);

f(8379393, 1023);

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(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);

f(139264, 17);

f(253952, 31);

f(262144, 32);

f(270336, 33);

f(516096, 63);

f(524288, 64);

f(532480, 65);

f(1040384, 127);

f(1048576, 128);

f(1056768, 129);

f(2088960, 255);

f(2097152, 256);

f(2105344, 257);

f(4186112, 511);

f(4194304, 512);

f(4202496, 513);

f(8380416, 1023);

f(8388608, 1024);

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(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);

f(139281, 17);

f(253983, 31);

f(262176, 32);

f(270369, 33);

f(516159, 63);

f(524352, 64);

f(532545, 65);

f(1040511, 127);

f(1048704, 128);

f(1056897, 129);

f(2089215, 255);

f(2097408, 256);

f(2105601, 257);

f(4186623, 511);

f(4194816, 512);

f(4203009, 513);

f(8381439, 1023);

f(8389632, 1024);

f(8397825, 1025);

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(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);

f(278511, 17);

f(507873, 31);

f(524256, 32);

f(540639, 33);

f(1032129, 63);

f(1048512, 64);

f(1064895, 65);

f(2080641, 127);

f(2097024, 128);

f(2113407, 129);

f(4177665, 255);

f(4194048, 256);

f(4210431, 257);

f(8371713, 511);

f(8388096, 512);

f(8404479, 513);

f(16759809, 1023);

f(16776192, 1024);

f(16792575, 1025);

f(33536001, 2047);

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(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);

f(278528, 17);

f(507904, 31);

f(524288, 32);

f(540672, 33);

f(1032192, 63);

f(1048576, 64);

f(1064960, 65);

f(2080768, 127);

f(2097152, 128);

f(2113536, 129);

f(4177920, 255);

f(4194304, 256);

f(4210688, 257);

f(8372224, 511);

f(8388608, 512);

f(8404992, 513);

f(16760832, 1023);

f(16777216, 1024);

f(16793600, 1025);

f(33538048, 2047);

f(33554432, 2048);

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(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);

f(278545, 17);

f(507935, 31);

f(524320, 32);

f(540705, 33);

f(1032255, 63);

f(1048640, 64);

f(1065025, 65);

f(2080895, 127);

f(2097280, 128);

f(2113665, 129);

f(4178175, 255);

f(4194560, 256);

f(4210945, 257);

f(8372735, 511);

f(8389120, 512);

f(8405505, 513);

f(16761855, 1023);

f(16778240, 1024);

f(16794625, 1025);

f(33540095, 2047);

f(33556480, 2048);

f(33572865, 2049);

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(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);

f(557039, 17);

f(1015777, 31);

f(1048544, 32);

f(1081311, 33);

f(2064321, 63);

f(2097088, 64);

f(2129855, 65);

f(4161409, 127);

f(4194176, 128);

f(4226943, 129);

f(8355585, 255);

f(8388352, 256);

f(8421119, 257);

f(16743937, 511);

f(16776704, 512);

f(16809471, 513);

f(33520641, 1023);

f(33553408, 1024);

f(33586175, 1025);

f(67074049, 2047);

f(67106816, 2048);

f(67139583, 2049);

f(134180865, 4095);

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(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);

f(557056, 17);

f(1015808, 31);

f(1048576, 32);

f(1081344, 33);

f(2064384, 63);

f(2097152, 64);

f(2129920, 65);

f(4161536, 127);

f(4194304, 128);

f(4227072, 129);

f(8355840, 255);

f(8388608, 256);

f(8421376, 257);

f(16744448, 511);

f(16777216, 512);

f(16809984, 513);

f(33521664, 1023);

f(33554432, 1024);

f(33587200, 1025);

f(67076096, 2047);

f(67108864, 2048);

f(67141632, 2049);

f(134184960, 4095);

f(134217728, 4096);

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(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);

f(557073, 17);

f(1015839, 31);

f(1048608, 32);

f(1081377, 33);

f(2064447, 63);

f(2097216, 64);

f(2129985, 65);

f(4161663, 127);

f(4194432, 128);

f(4227201, 129);

f(8356095, 255);

f(8388864, 256);

f(8421633, 257);

f(16744959, 511);

f(16777728, 512);

f(16810497, 513);

f(33522687, 1023);

f(33555456, 1024);

f(33588225, 1025);

f(67078143, 2047);

f(67110912, 2048);

f(67143681, 2049);

f(134189055, 4095);

f(134221824, 4096);

f(134254593, 4097);

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(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);

f(1114095, 17);

f(2031585, 31);

f(2097120, 32);

f(2162655, 33);

f(4128705, 63);

f(4194240, 64);

f(4259775, 65);

f(8322945, 127);

f(8388480, 128);

f(8454015, 129);

f(16711425, 255);

f(16776960, 256);

f(16842495, 257);

f(33488385, 511);

f(33553920, 512);

f(33619455, 513);

f(67042305, 1023);

f(67107840, 1024);

f(67173375, 1025);

f(134150145, 2047);

f(134215680, 2048);

f(134281215, 2049);

f(268365825, 4095);

f(268431360, 4096);

f(268496895, 4097);

f(536797185, 8191);

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(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);

f(1114112, 17);

f(2031616, 31);

f(2097152, 32);

f(2162688, 33);

f(4128768, 63);

f(4194304, 64);

f(4259840, 65);

f(8323072, 127);

f(8388608, 128);

f(8454144, 129);

f(16711680, 255);

f(16777216, 256);