1b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright 2008 the V8 project authors. All rights reserved. 2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Redistribution and use in source and binary forms, with or without 3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// modification, are permitted provided that the following conditions are 4b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// met: 5b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 6b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// * Redistributions of source code must retain the above copyright 7b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// notice, this list of conditions and the following disclaimer. 8b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// * Redistributions in binary form must reproduce the above 9b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// copyright notice, this list of conditions and the following 10b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// disclaimer in the documentation and/or other materials provided 11b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// with the distribution. 12b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// * Neither the name of Google Inc. nor the names of its 13b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// contributors may be used to endorse or promote products derived 14b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// from this software without specific prior written permission. 15b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// 16b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 17b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 18b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 19b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 20b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 21b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 22b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 26b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 28b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvar x; 29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 30b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Converts a number to string respecting -0. 31b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction stringify(n) { 32b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if ((1 / n) === -Infinity) return "-0"; 33b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return String(n); 34b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 35b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 36b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochfunction f(expected, y) { 37b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch function testEval(string, x, y) { 38b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch var mulFunction = Function("x, y", "return " + string); 39b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return mulFunction(x, y); 40b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 41b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch function mulTest(expected, x, y) { 42b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertEquals(expected, x * y); 43b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertEquals(expected, testEval(stringify(x) + " * y", x, y)); 44b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertEquals(expected, testEval("x * " + stringify(y), x, y)); 45b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch assertEquals(expected, testEval(stringify(x) + " * " + stringify(y), x, y)); 46b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 47b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(expected, x, y); 48b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(-expected, -x, y); 49b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(-expected, x, -y); 50b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(expected, -x, -y); 51b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (x === y) return; // Symmetric cases not necessary. 52b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(expected, y, x); 53b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(-expected, -y, x); 54b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(-expected, y, -x); 55b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch mulTest(expected, -y, -x); 56b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 57b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 58b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 0; 59b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 60b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 1; 61b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 62b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1, 1); 63b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 2; 64b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 65b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2, 1); 66b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4, 2); 67b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 3; 68b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 69b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3, 1); 70b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(6, 2); 71b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(9, 3); 72b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 4; 73b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 74b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4, 1); 75b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8, 2); 76b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(12, 3); 77b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16, 4); 78b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 5; 79b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 80b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(5, 1); 81b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(10, 2); 82b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(15, 3); 83b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(20, 4); 84b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(25, 5); 85b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 7; 86b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 87b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7, 1); 88b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(14, 2); 89b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(21, 3); 90b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(28, 4); 91b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(35, 5); 92b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(49, 7); 93b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 8; 94b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 95b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8, 1); 96b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16, 2); 97b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(24, 3); 98b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32, 4); 99b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(40, 5); 100b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(56, 7); 101b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(64, 8); 102b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 9; 103b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 104b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(9, 1); 105b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(18, 2); 106b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(27, 3); 107b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(36, 4); 108b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(45, 5); 109b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(63, 7); 110b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(72, 8); 111b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(81, 9); 112b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 15; 113b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 114b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(15, 1); 115b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(30, 2); 116b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(45, 3); 117b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(60, 4); 118b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(75, 5); 119b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(105, 7); 120b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(120, 8); 121b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(135, 9); 122b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(225, 15); 123b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 16; 124b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 125b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16, 1); 126b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32, 2); 127b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(48, 3); 128b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(64, 4); 129b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(80, 5); 130b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(112, 7); 131b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(128, 8); 132b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(144, 9); 133b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(240, 15); 134b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(256, 16); 135b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 17; 136b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 137b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(17, 1); 138b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(34, 2); 139b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(51, 3); 140b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(68, 4); 141b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(85, 5); 142b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(119, 7); 143b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(136, 8); 144b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(153, 9); 145b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(255, 15); 146b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(272, 16); 147b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(289, 17); 148b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 31; 149b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 150b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(31, 1); 151b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(62, 2); 152b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(93, 3); 153b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(124, 4); 154b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(155, 5); 155b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(217, 7); 156b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(248, 8); 157b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(279, 9); 158b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(465, 15); 159b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(496, 16); 160b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(527, 17); 161b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(961, 31); 162b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 32; 163b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 164b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32, 1); 165b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(64, 2); 166b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(96, 3); 167b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(128, 4); 168b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(160, 5); 169b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(224, 7); 170b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(256, 8); 171b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(288, 9); 172b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(480, 15); 173b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(512, 16); 174b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(544, 17); 175b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(992, 31); 176b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1024, 32); 177b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 33; 178b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 179b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(33, 1); 180b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(66, 2); 181b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(99, 3); 182b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(132, 4); 183b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(165, 5); 184b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(231, 7); 185b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(264, 8); 186b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(297, 9); 187b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(495, 15); 188b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(528, 16); 189b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(561, 17); 190b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1023, 31); 191b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1056, 32); 192b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1089, 33); 193b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 63; 194b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 195b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(63, 1); 196b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(126, 2); 197b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(189, 3); 198b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(252, 4); 199b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(315, 5); 200b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(441, 7); 201b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(504, 8); 202b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(567, 9); 203b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(945, 15); 204b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1008, 16); 205b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1071, 17); 206b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1953, 31); 207b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2016, 32); 208b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2079, 33); 209b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3969, 63); 210b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 64; 211b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 212b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(64, 1); 213b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(128, 2); 214b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(192, 3); 215b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(256, 4); 216b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(320, 5); 217b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(448, 7); 218b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(512, 8); 219b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(576, 9); 220b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(960, 15); 221b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1024, 16); 222b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1088, 17); 223b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1984, 31); 224b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2048, 32); 225b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2112, 33); 226b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4032, 63); 227b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4096, 64); 228b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 65; 229b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 230b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65, 1); 231b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(130, 2); 232b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(195, 3); 233b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(260, 4); 234b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(325, 5); 235b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(455, 7); 236b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(520, 8); 237b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(585, 9); 238b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(975, 15); 239b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1040, 16); 240b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1105, 17); 241b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2015, 31); 242b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2080, 32); 243b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2145, 33); 244b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4095, 63); 245b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4160, 64); 246b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4225, 65); 247b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 127; 248b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 249b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(127, 1); 250b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(254, 2); 251b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(381, 3); 252b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(508, 4); 253b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(635, 5); 254b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(889, 7); 255b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1016, 8); 256b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1143, 9); 257b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1905, 15); 258b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2032, 16); 259b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2159, 17); 260b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3937, 31); 261b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4064, 32); 262b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4191, 33); 263b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8001, 63); 264b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8128, 64); 265b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8255, 65); 266b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16129, 127); 267b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 128; 268b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 269b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(128, 1); 270b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(256, 2); 271b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(384, 3); 272b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(512, 4); 273b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(640, 5); 274b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(896, 7); 275b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1024, 8); 276b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1152, 9); 277b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1920, 15); 278b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2048, 16); 279b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2176, 17); 280b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3968, 31); 281b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4096, 32); 282b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4224, 33); 283b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8064, 63); 284b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8192, 64); 285b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8320, 65); 286b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16256, 127); 287b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16384, 128); 288b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 129; 289b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 290b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(129, 1); 291b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(258, 2); 292b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(387, 3); 293b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(516, 4); 294b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(645, 5); 295b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(903, 7); 296b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1032, 8); 297b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1161, 9); 298b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1935, 15); 299b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2064, 16); 300b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2193, 17); 301b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3999, 31); 302b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4128, 32); 303b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4257, 33); 304b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8127, 63); 305b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8256, 64); 306b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8385, 65); 307b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16383, 127); 308b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16512, 128); 309b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16641, 129); 310b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 255; 311b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 312b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(255, 1); 313b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(510, 2); 314b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(765, 3); 315b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1020, 4); 316b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1275, 5); 317b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1785, 7); 318b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2040, 8); 319b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2295, 9); 320b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3825, 15); 321b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4080, 16); 322b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4335, 17); 323b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7905, 31); 324b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8160, 32); 325b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8415, 33); 326b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16065, 63); 327b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16320, 64); 328b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16575, 65); 329b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32385, 127); 330b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32640, 128); 331b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32895, 129); 332b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65025, 255); 333b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 256; 334b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 335b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(256, 1); 336b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(512, 2); 337b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(768, 3); 338b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1024, 4); 339b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1280, 5); 340b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1792, 7); 341b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2048, 8); 342b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2304, 9); 343b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3840, 15); 344b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4096, 16); 345b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4352, 17); 346b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7936, 31); 347b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8192, 32); 348b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8448, 33); 349b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16128, 63); 350b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16384, 64); 351b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16640, 65); 352b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32512, 127); 353b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32768, 128); 354b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(33024, 129); 355b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65280, 255); 356b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65536, 256); 357b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 257; 358b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 359b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(257, 1); 360b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(514, 2); 361b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(771, 3); 362b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1028, 4); 363b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1285, 5); 364b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1799, 7); 365b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2056, 8); 366b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2313, 9); 367b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3855, 15); 368b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4112, 16); 369b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4369, 17); 370b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7967, 31); 371b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8224, 32); 372b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8481, 33); 373b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16191, 63); 374b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16448, 64); 375b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16705, 65); 376b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32639, 127); 377b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32896, 128); 378b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(33153, 129); 379b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65535, 255); 380b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65792, 256); 381b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(66049, 257); 382b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 511; 383b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 384b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(511, 1); 385b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1022, 2); 386b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1533, 3); 387b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2044, 4); 388b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2555, 5); 389b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3577, 7); 390b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4088, 8); 391b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4599, 9); 392b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7665, 15); 393b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8176, 16); 394b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8687, 17); 395b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(15841, 31); 396b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16352, 32); 397b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16863, 33); 398b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32193, 63); 399b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32704, 64); 400b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(33215, 65); 401b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(64897, 127); 402b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65408, 128); 403b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65919, 129); 404b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(130305, 255); 405b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(130816, 256); 406b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(131327, 257); 407b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(261121, 511); 408b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 512; 409b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 410b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(512, 1); 411b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1024, 2); 412b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1536, 3); 413b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2048, 4); 414b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2560, 5); 415b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3584, 7); 416b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4096, 8); 417b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4608, 9); 418b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7680, 15); 419b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8192, 16); 420b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8704, 17); 421b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(15872, 31); 422b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16384, 32); 423b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16896, 33); 424b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32256, 63); 425b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32768, 64); 426b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(33280, 65); 427b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65024, 127); 428b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65536, 128); 429b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(66048, 129); 430b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(130560, 255); 431b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(131072, 256); 432b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(131584, 257); 433b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(261632, 511); 434b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(262144, 512); 435b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 513; 436b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 437b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(513, 1); 438b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1026, 2); 439b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1539, 3); 440b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2052, 4); 441b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2565, 5); 442b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3591, 7); 443b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4104, 8); 444b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4617, 9); 445b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7695, 15); 446b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8208, 16); 447b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8721, 17); 448b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(15903, 31); 449b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16416, 32); 450b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16929, 33); 451b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32319, 63); 452b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32832, 64); 453b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(33345, 65); 454b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65151, 127); 455b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65664, 128); 456b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(66177, 129); 457b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(130815, 255); 458b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(131328, 256); 459b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(131841, 257); 460b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(262143, 511); 461b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(262656, 512); 462b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(263169, 513); 463b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochx = 1023; 464b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(0, 0); 465b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1023, 1); 466b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(2046, 2); 467b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(3069, 3); 468b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(4092, 4); 469b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(5115, 5); 470b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(7161, 7); 471b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(8184, 8); 472b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(9207, 9); 473b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(15345, 15); 474b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(16368, 16); 475b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(17391, 17); 476b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(31713, 31); 477b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(32736, 32); 478b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(33759, 33); 479b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(64449, 63); 480b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(65472, 64); 481b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(66495, 65); 482b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(129921, 127); 483b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(130944, 128); 484b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(131967, 129); 485b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(260865, 255); 486b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(261888, 256); 487b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(262911, 257); 488b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(522753, 511); 489b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(523776, 512); 490b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(524799, 513); 491b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochf(1046529, 1023); 492