<html>
<head>
<meta charset='utf-8'>
<style>
.pass {
    font-weight: bold;
    color: green;
}
.fail {
    font-weight: bold;
    color: red;
}
</style>

<script>
if (window.testRunner)
    testRunner.dumpAsText();

function SputnikError(message)
{
    this.message = message;
}

SputnikError.prototype.toString = function ()
{
    return 'SputnikError: ' + this.message;
};

var sputnikException;

function testPrint(msg)
{
    var span = document.createElement("span");
    document.getElementById("console").appendChild(span); // insert it first so XHTML knows the namespace 
    span.innerHTML = msg + '<br />';
}

function escapeHTML(text)
{
    return text.toString().replace(/&/g, "&amp;").replace(/</g, "&lt;");
}

function printTestPassed(msg)
{
    testPrint('<span><span class="pass">PASS</span> ' + escapeHTML(msg) + '</span>');
}

function printTestFailed(msg)
{
    testPrint('<span><span class="fail">FAIL</span> ' + escapeHTML(msg) + '</span>');
}

function testFailed(msg)
{
    throw new SputnikError(msg);
}

var successfullyParsed = false;
</script>

</head>
<body>
<p>S11.7.3_A4_T2</p>
<div id='console'></div>
<script>
try {

/**
 * @name: S11.7.3_A4_T2;
 * @section: 11.7.3;
 * @assertion: Check operator x >>> y in distinct points;
 * @description: ShiftExpression = 2^n - 1, n = 16...31;
 */

//CHECK
 
if (1 >>> 16 !== 0) { 
  testFailed('#513: 1 >>> 16 === 0. Actual: ' + (1 >>> 16)); 
} 


if (2 >>> 16 !== 0) { 
  testFailed('#514: 2 >>> 16 === 0. Actual: ' + (2 >>> 16)); 
} 


if (4 >>> 16 !== 0) { 
  testFailed('#515: 4 >>> 16 === 0. Actual: ' + (4 >>> 16)); 
} 


if (8 >>> 16 !== 0) { 
  testFailed('#516: 8 >>> 16 === 0. Actual: ' + (8 >>> 16)); 
} 


if (16 >>> 16 !== 0) { 
  testFailed('#517: 16 >>> 16 === 0. Actual: ' + (16 >>> 16)); 
} 


if (32 >>> 16 !== 0) { 
  testFailed('#518: 32 >>> 16 === 0. Actual: ' + (32 >>> 16)); 
} 


if (64 >>> 16 !== 0) { 
  testFailed('#519: 64 >>> 16 === 0. Actual: ' + (64 >>> 16)); 
} 


if (128 >>> 16 !== 0) { 
  testFailed('#520: 128 >>> 16 === 0. Actual: ' + (128 >>> 16)); 
} 


if (256 >>> 16 !== 0) { 
  testFailed('#521: 256 >>> 16 === 0. Actual: ' + (256 >>> 16)); 
} 


if (512 >>> 16 !== 0) { 
  testFailed('#522: 512 >>> 16 === 0. Actual: ' + (512 >>> 16)); 
} 


if (1024 >>> 16 !== 0) { 
  testFailed('#523: 1024 >>> 16 === 0. Actual: ' + (1024 >>> 16)); 
} 


if (2048 >>> 16 !== 0) { 
  testFailed('#524: 2048 >>> 16 === 0. Actual: ' + (2048 >>> 16)); 
} 


if (4096 >>> 16 !== 0) { 
  testFailed('#525: 4096 >>> 16 === 0. Actual: ' + (4096 >>> 16)); 
} 


if (8192 >>> 16 !== 0) { 
  testFailed('#526: 8192 >>> 16 === 0. Actual: ' + (8192 >>> 16)); 
} 


if (16384 >>> 16 !== 0) { 
  testFailed('#527: 16384 >>> 16 === 0. Actual: ' + (16384 >>> 16)); 
} 


if (32768 >>> 16 !== 0) { 
  testFailed('#528: 32768 >>> 16 === 0. Actual: ' + (32768 >>> 16)); 
} 


if (65536 >>> 16 !== 1) { 
  testFailed('#529: 65536 >>> 16 === 1. Actual: ' + (65536 >>> 16)); 
} 


if (131072 >>> 16 !== 2) { 
  testFailed('#530: 131072 >>> 16 === 2. Actual: ' + (131072 >>> 16)); 
} 


if (262144 >>> 16 !== 4) { 
  testFailed('#531: 262144 >>> 16 === 4. Actual: ' + (262144 >>> 16)); 
} 


if (524288 >>> 16 !== 8) { 
  testFailed('#532: 524288 >>> 16 === 8. Actual: ' + (524288 >>> 16)); 
} 


if (1048576 >>> 16 !== 16) { 
  testFailed('#533: 1048576 >>> 16 === 16. Actual: ' + (1048576 >>> 16)); 
} 


if (2097152 >>> 16 !== 32) { 
  testFailed('#534: 2097152 >>> 16 === 32. Actual: ' + (2097152 >>> 16)); 
} 


if (4194304 >>> 16 !== 64) { 
  testFailed('#535: 4194304 >>> 16 === 64. Actual: ' + (4194304 >>> 16)); 
} 


if (8388608 >>> 16 !== 128) { 
  testFailed('#536: 8388608 >>> 16 === 128. Actual: ' + (8388608 >>> 16)); 
} 


if (16777216 >>> 16 !== 256) { 
  testFailed('#537: 16777216 >>> 16 === 256. Actual: ' + (16777216 >>> 16)); 
} 


if (33554432 >>> 16 !== 512) { 
  testFailed('#538: 33554432 >>> 16 === 512. Actual: ' + (33554432 >>> 16)); 
} 


if (67108864 >>> 16 !== 1024) { 
  testFailed('#539: 67108864 >>> 16 === 1024. Actual: ' + (67108864 >>> 16)); 
} 


if (134217728 >>> 16 !== 2048) { 
  testFailed('#540: 134217728 >>> 16 === 2048. Actual: ' + (134217728 >>> 16)); 
} 


if (268435456 >>> 16 !== 4096) { 
  testFailed('#541: 268435456 >>> 16 === 4096. Actual: ' + (268435456 >>> 16)); 
} 


if (536870912 >>> 16 !== 8192) { 
  testFailed('#542: 536870912 >>> 16 === 8192. Actual: ' + (536870912 >>> 16)); 
} 


if (1073741824 >>> 16 !== 16384) { 
  testFailed('#543: 1073741824 >>> 16 === 16384. Actual: ' + (1073741824 >>> 16)); 
} 


if (2147483648 >>> 16 !== 32768) { 
  testFailed('#544: 2147483648 >>> 16 === 32768. Actual: ' + (2147483648 >>> 16)); 
} 


if (1 >>> 17 !== 0) { 
  testFailed('#545: 1 >>> 17 === 0. Actual: ' + (1 >>> 17)); 
} 


if (2 >>> 17 !== 0) { 
  testFailed('#546: 2 >>> 17 === 0. Actual: ' + (2 >>> 17)); 
} 


if (4 >>> 17 !== 0) { 
  testFailed('#547: 4 >>> 17 === 0. Actual: ' + (4 >>> 17)); 
} 


if (8 >>> 17 !== 0) { 
  testFailed('#548: 8 >>> 17 === 0. Actual: ' + (8 >>> 17)); 
} 


if (16 >>> 17 !== 0) { 
  testFailed('#549: 16 >>> 17 === 0. Actual: ' + (16 >>> 17)); 
} 


if (32 >>> 17 !== 0) { 
  testFailed('#550: 32 >>> 17 === 0. Actual: ' + (32 >>> 17)); 
} 


if (64 >>> 17 !== 0) { 
  testFailed('#551: 64 >>> 17 === 0. Actual: ' + (64 >>> 17)); 
} 


if (128 >>> 17 !== 0) { 
  testFailed('#552: 128 >>> 17 === 0. Actual: ' + (128 >>> 17)); 
} 


if (256 >>> 17 !== 0) { 
  testFailed('#553: 256 >>> 17 === 0. Actual: ' + (256 >>> 17)); 
} 


if (512 >>> 17 !== 0) { 
  testFailed('#554: 512 >>> 17 === 0. Actual: ' + (512 >>> 17)); 
} 


if (1024 >>> 17 !== 0) { 
  testFailed('#555: 1024 >>> 17 === 0. Actual: ' + (1024 >>> 17)); 
} 


if (2048 >>> 17 !== 0) { 
  testFailed('#556: 2048 >>> 17 === 0. Actual: ' + (2048 >>> 17)); 
} 


if (4096 >>> 17 !== 0) { 
  testFailed('#557: 4096 >>> 17 === 0. Actual: ' + (4096 >>> 17)); 
} 


if (8192 >>> 17 !== 0) { 
  testFailed('#558: 8192 >>> 17 === 0. Actual: ' + (8192 >>> 17)); 
} 


if (16384 >>> 17 !== 0) { 
  testFailed('#559: 16384 >>> 17 === 0. Actual: ' + (16384 >>> 17)); 
} 


if (32768 >>> 17 !== 0) { 
  testFailed('#560: 32768 >>> 17 === 0. Actual: ' + (32768 >>> 17)); 
} 


if (65536 >>> 17 !== 0) { 
  testFailed('#561: 65536 >>> 17 === 0. Actual: ' + (65536 >>> 17)); 
} 


if (131072 >>> 17 !== 1) { 
  testFailed('#562: 131072 >>> 17 === 1. Actual: ' + (131072 >>> 17)); 
} 


if (262144 >>> 17 !== 2) { 
  testFailed('#563: 262144 >>> 17 === 2. Actual: ' + (262144 >>> 17)); 
} 


if (524288 >>> 17 !== 4) { 
  testFailed('#564: 524288 >>> 17 === 4. Actual: ' + (524288 >>> 17)); 
} 


if (1048576 >>> 17 !== 8) { 
  testFailed('#565: 1048576 >>> 17 === 8. Actual: ' + (1048576 >>> 17)); 
} 


if (2097152 >>> 17 !== 16) { 
  testFailed('#566: 2097152 >>> 17 === 16. Actual: ' + (2097152 >>> 17)); 
} 


if (4194304 >>> 17 !== 32) { 
  testFailed('#567: 4194304 >>> 17 === 32. Actual: ' + (4194304 >>> 17)); 
} 


if (8388608 >>> 17 !== 64) { 
  testFailed('#568: 8388608 >>> 17 === 64. Actual: ' + (8388608 >>> 17)); 
} 


if (16777216 >>> 17 !== 128) { 
  testFailed('#569: 16777216 >>> 17 === 128. Actual: ' + (16777216 >>> 17)); 
} 


if (33554432 >>> 17 !== 256) { 
  testFailed('#570: 33554432 >>> 17 === 256. Actual: ' + (33554432 >>> 17)); 
} 


if (67108864 >>> 17 !== 512) { 
  testFailed('#571: 67108864 >>> 17 === 512. Actual: ' + (67108864 >>> 17)); 
} 


if (134217728 >>> 17 !== 1024) { 
  testFailed('#572: 134217728 >>> 17 === 1024. Actual: ' + (134217728 >>> 17)); 
} 


if (268435456 >>> 17 !== 2048) { 
  testFailed('#573: 268435456 >>> 17 === 2048. Actual: ' + (268435456 >>> 17)); 
} 


if (536870912 >>> 17 !== 4096) { 
  testFailed('#574: 536870912 >>> 17 === 4096. Actual: ' + (536870912 >>> 17)); 
} 


if (1073741824 >>> 17 !== 8192) { 
  testFailed('#575: 1073741824 >>> 17 === 8192. Actual: ' + (1073741824 >>> 17)); 
} 


if (2147483648 >>> 17 !== 16384) { 
  testFailed('#576: 2147483648 >>> 17 === 16384. Actual: ' + (2147483648 >>> 17)); 
} 


if (1 >>> 18 !== 0) { 
  testFailed('#577: 1 >>> 18 === 0. Actual: ' + (1 >>> 18)); 
} 


if (2 >>> 18 !== 0) { 
  testFailed('#578: 2 >>> 18 === 0. Actual: ' + (2 >>> 18)); 
} 


if (4 >>> 18 !== 0) { 
  testFailed('#579: 4 >>> 18 === 0. Actual: ' + (4 >>> 18)); 
} 


if (8 >>> 18 !== 0) { 
  testFailed('#580: 8 >>> 18 === 0. Actual: ' + (8 >>> 18)); 
} 


if (16 >>> 18 !== 0) { 
  testFailed('#581: 16 >>> 18 === 0. Actual: ' + (16 >>> 18)); 
} 


if (32 >>> 18 !== 0) { 
  testFailed('#582: 32 >>> 18 === 0. Actual: ' + (32 >>> 18)); 
} 


if (64 >>> 18 !== 0) { 
  testFailed('#583: 64 >>> 18 === 0. Actual: ' + (64 >>> 18)); 
} 


if (128 >>> 18 !== 0) { 
  testFailed('#584: 128 >>> 18 === 0. Actual: ' + (128 >>> 18)); 
} 


if (256 >>> 18 !== 0) { 
  testFailed('#585: 256 >>> 18 === 0. Actual: ' + (256 >>> 18)); 
} 


if (512 >>> 18 !== 0) { 
  testFailed('#586: 512 >>> 18 === 0. Actual: ' + (512 >>> 18)); 
} 


if (1024 >>> 18 !== 0) { 
  testFailed('#587: 1024 >>> 18 === 0. Actual: ' + (1024 >>> 18)); 
} 


if (2048 >>> 18 !== 0) { 
  testFailed('#588: 2048 >>> 18 === 0. Actual: ' + (2048 >>> 18)); 
} 


if (4096 >>> 18 !== 0) { 
  testFailed('#589: 4096 >>> 18 === 0. Actual: ' + (4096 >>> 18)); 
} 


if (8192 >>> 18 !== 0) { 
  testFailed('#590: 8192 >>> 18 === 0. Actual: ' + (8192 >>> 18)); 
} 


if (16384 >>> 18 !== 0) { 
  testFailed('#591: 16384 >>> 18 === 0. Actual: ' + (16384 >>> 18)); 
} 


if (32768 >>> 18 !== 0) { 
  testFailed('#592: 32768 >>> 18 === 0. Actual: ' + (32768 >>> 18)); 
} 


if (65536 >>> 18 !== 0) { 
  testFailed('#593: 65536 >>> 18 === 0. Actual: ' + (65536 >>> 18)); 
} 


if (131072 >>> 18 !== 0) { 
  testFailed('#594: 131072 >>> 18 === 0. Actual: ' + (131072 >>> 18)); 
} 


if (262144 >>> 18 !== 1) { 
  testFailed('#595: 262144 >>> 18 === 1. Actual: ' + (262144 >>> 18)); 
} 


if (524288 >>> 18 !== 2) { 
  testFailed('#596: 524288 >>> 18 === 2. Actual: ' + (524288 >>> 18)); 
} 


if (1048576 >>> 18 !== 4) { 
  testFailed('#597: 1048576 >>> 18 === 4. Actual: ' + (1048576 >>> 18)); 
} 


if (2097152 >>> 18 !== 8) { 
  testFailed('#598: 2097152 >>> 18 === 8. Actual: ' + (2097152 >>> 18)); 
} 


if (4194304 >>> 18 !== 16) { 
  testFailed('#599: 4194304 >>> 18 === 16. Actual: ' + (4194304 >>> 18)); 
} 


if (8388608 >>> 18 !== 32) { 
  testFailed('#600: 8388608 >>> 18 === 32. Actual: ' + (8388608 >>> 18)); 
} 


if (16777216 >>> 18 !== 64) { 
  testFailed('#601: 16777216 >>> 18 === 64. Actual: ' + (16777216 >>> 18)); 
} 


if (33554432 >>> 18 !== 128) { 
  testFailed('#602: 33554432 >>> 18 === 128. Actual: ' + (33554432 >>> 18)); 
} 


if (67108864 >>> 18 !== 256) { 
  testFailed('#603: 67108864 >>> 18 === 256. Actual: ' + (67108864 >>> 18)); 
} 


if (134217728 >>> 18 !== 512) { 
  testFailed('#604: 134217728 >>> 18 === 512. Actual: ' + (134217728 >>> 18)); 
} 


if (268435456 >>> 18 !== 1024) { 
  testFailed('#605: 268435456 >>> 18 === 1024. Actual: ' + (268435456 >>> 18)); 
} 


if (536870912 >>> 18 !== 2048) { 
  testFailed('#606: 536870912 >>> 18 === 2048. Actual: ' + (536870912 >>> 18)); 
} 


if (1073741824 >>> 18 !== 4096) { 
  testFailed('#607: 1073741824 >>> 18 === 4096. Actual: ' + (1073741824 >>> 18)); 
} 


if (2147483648 >>> 18 !== 8192) { 
  testFailed('#608: 2147483648 >>> 18 === 8192. Actual: ' + (2147483648 >>> 18)); 
} 


if (1 >>> 19 !== 0) { 
  testFailed('#609: 1 >>> 19 === 0. Actual: ' + (1 >>> 19)); 
} 


if (2 >>> 19 !== 0) { 
  testFailed('#610: 2 >>> 19 === 0. Actual: ' + (2 >>> 19)); 
} 


if (4 >>> 19 !== 0) { 
  testFailed('#611: 4 >>> 19 === 0. Actual: ' + (4 >>> 19)); 
} 


if (8 >>> 19 !== 0) { 
  testFailed('#612: 8 >>> 19 === 0. Actual: ' + (8 >>> 19)); 
} 


if (16 >>> 19 !== 0) { 
  testFailed('#613: 16 >>> 19 === 0. Actual: ' + (16 >>> 19)); 
} 


if (32 >>> 19 !== 0) { 
  testFailed('#614: 32 >>> 19 === 0. Actual: ' + (32 >>> 19)); 
} 


if (64 >>> 19 !== 0) { 
  testFailed('#615: 64 >>> 19 === 0. Actual: ' + (64 >>> 19)); 
} 


if (128 >>> 19 !== 0) { 
  testFailed('#616: 128 >>> 19 === 0. Actual: ' + (128 >>> 19)); 
} 


if (256 >>> 19 !== 0) { 
  testFailed('#617: 256 >>> 19 === 0. Actual: ' + (256 >>> 19)); 
} 


if (512 >>> 19 !== 0) { 
  testFailed('#618: 512 >>> 19 === 0. Actual: ' + (512 >>> 19)); 
} 


if (1024 >>> 19 !== 0) { 
  testFailed('#619: 1024 >>> 19 === 0. Actual: ' + (1024 >>> 19)); 
} 


if (2048 >>> 19 !== 0) { 
  testFailed('#620: 2048 >>> 19 === 0. Actual: ' + (2048 >>> 19)); 
} 


if (4096 >>> 19 !== 0) { 
  testFailed('#621: 4096 >>> 19 === 0. Actual: ' + (4096 >>> 19)); 
} 


if (8192 >>> 19 !== 0) { 
  testFailed('#622: 8192 >>> 19 === 0. Actual: ' + (8192 >>> 19)); 
} 


if (16384 >>> 19 !== 0) { 
  testFailed('#623: 16384 >>> 19 === 0. Actual: ' + (16384 >>> 19)); 
} 


if (32768 >>> 19 !== 0) { 
  testFailed('#624: 32768 >>> 19 === 0. Actual: ' + (32768 >>> 19)); 
} 


if (65536 >>> 19 !== 0) { 
  testFailed('#625: 65536 >>> 19 === 0. Actual: ' + (65536 >>> 19)); 
} 


if (131072 >>> 19 !== 0) { 
  testFailed('#626: 131072 >>> 19 === 0. Actual: ' + (131072 >>> 19)); 
} 


if (262144 >>> 19 !== 0) { 
  testFailed('#627: 262144 >>> 19 === 0. Actual: ' + (262144 >>> 19)); 
} 


if (524288 >>> 19 !== 1) { 
  testFailed('#628: 524288 >>> 19 === 1. Actual: ' + (524288 >>> 19)); 
} 


if (1048576 >>> 19 !== 2) { 
  testFailed('#629: 1048576 >>> 19 === 2. Actual: ' + (1048576 >>> 19)); 
} 


if (2097152 >>> 19 !== 4) { 
  testFailed('#630: 2097152 >>> 19 === 4. Actual: ' + (2097152 >>> 19)); 
} 


if (4194304 >>> 19 !== 8) { 
  testFailed('#631: 4194304 >>> 19 === 8. Actual: ' + (4194304 >>> 19)); 
} 


if (8388608 >>> 19 !== 16) { 
  testFailed('#632: 8388608 >>> 19 === 16. Actual: ' + (8388608 >>> 19)); 
} 


if (16777216 >>> 19 !== 32) { 
  testFailed('#633: 16777216 >>> 19 === 32. Actual: ' + (16777216 >>> 19)); 
} 


if (33554432 >>> 19 !== 64) { 
  testFailed('#634: 33554432 >>> 19 === 64. Actual: ' + (33554432 >>> 19)); 
} 


if (67108864 >>> 19 !== 128) { 
  testFailed('#635: 67108864 >>> 19 === 128. Actual: ' + (67108864 >>> 19)); 
} 


if (134217728 >>> 19 !== 256) { 
  testFailed('#636: 134217728 >>> 19 === 256. Actual: ' + (134217728 >>> 19)); 
} 


if (268435456 >>> 19 !== 512) { 
  testFailed('#637: 268435456 >>> 19 === 512. Actual: ' + (268435456 >>> 19)); 
} 


if (536870912 >>> 19 !== 1024) { 
  testFailed('#638: 536870912 >>> 19 === 1024. Actual: ' + (536870912 >>> 19)); 
} 


if (1073741824 >>> 19 !== 2048) { 
  testFailed('#639: 1073741824 >>> 19 === 2048. Actual: ' + (1073741824 >>> 19)); 
} 


if (2147483648 >>> 19 !== 4096) { 
  testFailed('#640: 2147483648 >>> 19 === 4096. Actual: ' + (2147483648 >>> 19)); 
} 


if (1 >>> 20 !== 0) { 
  testFailed('#641: 1 >>> 20 === 0. Actual: ' + (1 >>> 20)); 
} 


if (2 >>> 20 !== 0) { 
  testFailed('#642: 2 >>> 20 === 0. Actual: ' + (2 >>> 20)); 
} 


if (4 >>> 20 !== 0) { 
  testFailed('#643: 4 >>> 20 === 0. Actual: ' + (4 >>> 20)); 
} 


if (8 >>> 20 !== 0) { 
  testFailed('#644: 8 >>> 20 === 0. Actual: ' + (8 >>> 20)); 
} 


if (16 >>> 20 !== 0) { 
  testFailed('#645: 16 >>> 20 === 0. Actual: ' + (16 >>> 20)); 
} 


if (32 >>> 20 !== 0) { 
  testFailed('#646: 32 >>> 20 === 0. Actual: ' + (32 >>> 20)); 
} 


if (64 >>> 20 !== 0) { 
  testFailed('#647: 64 >>> 20 === 0. Actual: ' + (64 >>> 20)); 
} 


if (128 >>> 20 !== 0) { 
  testFailed('#648: 128 >>> 20 === 0. Actual: ' + (128 >>> 20)); 
} 


if (256 >>> 20 !== 0) { 
  testFailed('#649: 256 >>> 20 === 0. Actual: ' + (256 >>> 20)); 
} 


if (512 >>> 20 !== 0) { 
  testFailed('#650: 512 >>> 20 === 0. Actual: ' + (512 >>> 20)); 
} 


if (1024 >>> 20 !== 0) { 
  testFailed('#651: 1024 >>> 20 === 0. Actual: ' + (1024 >>> 20)); 
} 


if (2048 >>> 20 !== 0) { 
  testFailed('#652: 2048 >>> 20 === 0. Actual: ' + (2048 >>> 20)); 
} 


if (4096 >>> 20 !== 0) { 
  testFailed('#653: 4096 >>> 20 === 0. Actual: ' + (4096 >>> 20)); 
} 


if (8192 >>> 20 !== 0) { 
  testFailed('#654: 8192 >>> 20 === 0. Actual: ' + (8192 >>> 20)); 
} 


if (16384 >>> 20 !== 0) { 
  testFailed('#655: 16384 >>> 20 === 0. Actual: ' + (16384 >>> 20)); 
} 


if (32768 >>> 20 !== 0) { 
  testFailed('#656: 32768 >>> 20 === 0. Actual: ' + (32768 >>> 20)); 
} 


if (65536 >>> 20 !== 0) { 
  testFailed('#657: 65536 >>> 20 === 0. Actual: ' + (65536 >>> 20)); 
} 


if (131072 >>> 20 !== 0) { 
  testFailed('#658: 131072 >>> 20 === 0. Actual: ' + (131072 >>> 20)); 
} 


if (262144 >>> 20 !== 0) { 
  testFailed('#659: 262144 >>> 20 === 0. Actual: ' + (262144 >>> 20)); 
} 


if (524288 >>> 20 !== 0) { 
  testFailed('#660: 524288 >>> 20 === 0. Actual: ' + (524288 >>> 20)); 
} 


if (1048576 >>> 20 !== 1) { 
  testFailed('#661: 1048576 >>> 20 === 1. Actual: ' + (1048576 >>> 20)); 
} 


if (2097152 >>> 20 !== 2) { 
  testFailed('#662: 2097152 >>> 20 === 2. Actual: ' + (2097152 >>> 20)); 
} 


if (4194304 >>> 20 !== 4) { 
  testFailed('#663: 4194304 >>> 20 === 4. Actual: ' + (4194304 >>> 20)); 
} 


if (8388608 >>> 20 !== 8) { 
  testFailed('#664: 8388608 >>> 20 === 8. Actual: ' + (8388608 >>> 20)); 
} 


if (16777216 >>> 20 !== 16) { 
  testFailed('#665: 16777216 >>> 20 === 16. Actual: ' + (16777216 >>> 20)); 
} 


if (33554432 >>> 20 !== 32) { 
  testFailed('#666: 33554432 >>> 20 === 32. Actual: ' + (33554432 >>> 20)); 
} 


if (67108864 >>> 20 !== 64) { 
  testFailed('#667: 67108864 >>> 20 === 64. Actual: ' + (67108864 >>> 20)); 
} 


if (134217728 >>> 20 !== 128) { 
  testFailed('#668: 134217728 >>> 20 === 128. Actual: ' + (134217728 >>> 20)); 
} 


if (268435456 >>> 20 !== 256) { 
  testFailed('#669: 268435456 >>> 20 === 256. Actual: ' + (268435456 >>> 20)); 
} 


if (536870912 >>> 20 !== 512) { 
  testFailed('#670: 536870912 >>> 20 === 512. Actual: ' + (536870912 >>> 20)); 
} 


if (1073741824 >>> 20 !== 1024) { 
  testFailed('#671: 1073741824 >>> 20 === 1024. Actual: ' + (1073741824 >>> 20)); 
} 


if (2147483648 >>> 20 !== 2048) { 
  testFailed('#672: 2147483648 >>> 20 === 2048. Actual: ' + (2147483648 >>> 20)); 
} 


if (1 >>> 21 !== 0) { 
  testFailed('#673: 1 >>> 21 === 0. Actual: ' + (1 >>> 21)); 
} 


if (2 >>> 21 !== 0) { 
  testFailed('#674: 2 >>> 21 === 0. Actual: ' + (2 >>> 21)); 
} 


if (4 >>> 21 !== 0) { 
  testFailed('#675: 4 >>> 21 === 0. Actual: ' + (4 >>> 21)); 
} 


if (8 >>> 21 !== 0) { 
  testFailed('#676: 8 >>> 21 === 0. Actual: ' + (8 >>> 21)); 
} 


if (16 >>> 21 !== 0) { 
  testFailed('#677: 16 >>> 21 === 0. Actual: ' + (16 >>> 21)); 
} 


if (32 >>> 21 !== 0) { 
  testFailed('#678: 32 >>> 21 === 0. Actual: ' + (32 >>> 21)); 
} 


if (64 >>> 21 !== 0) { 
  testFailed('#679: 64 >>> 21 === 0. Actual: ' + (64 >>> 21)); 
} 


if (128 >>> 21 !== 0) { 
  testFailed('#680: 128 >>> 21 === 0. Actual: ' + (128 >>> 21)); 
} 


if (256 >>> 21 !== 0) { 
  testFailed('#681: 256 >>> 21 === 0. Actual: ' + (256 >>> 21)); 
} 


if (512 >>> 21 !== 0) { 
  testFailed('#682: 512 >>> 21 === 0. Actual: ' + (512 >>> 21)); 
} 


if (1024 >>> 21 !== 0) { 
  testFailed('#683: 1024 >>> 21 === 0. Actual: ' + (1024 >>> 21)); 
} 


if (2048 >>> 21 !== 0) { 
  testFailed('#684: 2048 >>> 21 === 0. Actual: ' + (2048 >>> 21)); 
} 


if (4096 >>> 21 !== 0) { 
  testFailed('#685: 4096 >>> 21 === 0. Actual: ' + (4096 >>> 21)); 
} 


if (8192 >>> 21 !== 0) { 
  testFailed('#686: 8192 >>> 21 === 0. Actual: ' + (8192 >>> 21)); 
} 


if (16384 >>> 21 !== 0) { 
  testFailed('#687: 16384 >>> 21 === 0. Actual: ' + (16384 >>> 21)); 
} 


if (32768 >>> 21 !== 0) { 
  testFailed('#688: 32768 >>> 21 === 0. Actual: ' + (32768 >>> 21)); 
} 


if (65536 >>> 21 !== 0) { 
  testFailed('#689: 65536 >>> 21 === 0. Actual: ' + (65536 >>> 21)); 
} 


if (131072 >>> 21 !== 0) { 
  testFailed('#690: 131072 >>> 21 === 0. Actual: ' + (131072 >>> 21)); 
} 


if (262144 >>> 21 !== 0) { 
  testFailed('#691: 262144 >>> 21 === 0. Actual: ' + (262144 >>> 21)); 
} 


if (524288 >>> 21 !== 0) { 
  testFailed('#692: 524288 >>> 21 === 0. Actual: ' + (524288 >>> 21)); 
} 


if (1048576 >>> 21 !== 0) { 
  testFailed('#693: 1048576 >>> 21 === 0. Actual: ' + (1048576 >>> 21)); 
} 


if (2097152 >>> 21 !== 1) { 
  testFailed('#694: 2097152 >>> 21 === 1. Actual: ' + (2097152 >>> 21)); 
} 


if (4194304 >>> 21 !== 2) { 
  testFailed('#695: 4194304 >>> 21 === 2. Actual: ' + (4194304 >>> 21)); 
} 


if (8388608 >>> 21 !== 4) { 
  testFailed('#696: 8388608 >>> 21 === 4. Actual: ' + (8388608 >>> 21)); 
} 


if (16777216 >>> 21 !== 8) { 
  testFailed('#697: 16777216 >>> 21 === 8. Actual: ' + (16777216 >>> 21)); 
} 


if (33554432 >>> 21 !== 16) { 
  testFailed('#698: 33554432 >>> 21 === 16. Actual: ' + (33554432 >>> 21)); 
} 


if (67108864 >>> 21 !== 32) { 
  testFailed('#699: 67108864 >>> 21 === 32. Actual: ' + (67108864 >>> 21)); 
} 


if (134217728 >>> 21 !== 64) { 
  testFailed('#700: 134217728 >>> 21 === 64. Actual: ' + (134217728 >>> 21)); 
} 


if (268435456 >>> 21 !== 128) { 
  testFailed('#701: 268435456 >>> 21 === 128. Actual: ' + (268435456 >>> 21)); 
} 


if (536870912 >>> 21 !== 256) { 
  testFailed('#702: 536870912 >>> 21 === 256. Actual: ' + (536870912 >>> 21)); 
} 


if (1073741824 >>> 21 !== 512) { 
  testFailed('#703: 1073741824 >>> 21 === 512. Actual: ' + (1073741824 >>> 21)); 
} 


if (2147483648 >>> 21 !== 1024) { 
  testFailed('#704: 2147483648 >>> 21 === 1024. Actual: ' + (2147483648 >>> 21)); 
} 


if (1 >>> 22 !== 0) { 
  testFailed('#705: 1 >>> 22 === 0. Actual: ' + (1 >>> 22)); 
} 


if (2 >>> 22 !== 0) { 
  testFailed('#706: 2 >>> 22 === 0. Actual: ' + (2 >>> 22)); 
} 


if (4 >>> 22 !== 0) { 
  testFailed('#707: 4 >>> 22 === 0. Actual: ' + (4 >>> 22)); 
} 


if (8 >>> 22 !== 0) { 
  testFailed('#708: 8 >>> 22 === 0. Actual: ' + (8 >>> 22)); 
} 


if (16 >>> 22 !== 0) { 
  testFailed('#709: 16 >>> 22 === 0. Actual: ' + (16 >>> 22)); 
} 


if (32 >>> 22 !== 0) { 
  testFailed('#710: 32 >>> 22 === 0. Actual: ' + (32 >>> 22)); 
} 


if (64 >>> 22 !== 0) { 
  testFailed('#711: 64 >>> 22 === 0. Actual: ' + (64 >>> 22)); 
} 


if (128 >>> 22 !== 0) { 
  testFailed('#712: 128 >>> 22 === 0. Actual: ' + (128 >>> 22)); 
} 


if (256 >>> 22 !== 0) { 
  testFailed('#713: 256 >>> 22 === 0. Actual: ' + (256 >>> 22)); 
} 


if (512 >>> 22 !== 0) { 
  testFailed('#714: 512 >>> 22 === 0. Actual: ' + (512 >>> 22)); 
} 


if (1024 >>> 22 !== 0) { 
  testFailed('#715: 1024 >>> 22 === 0. Actual: ' + (1024 >>> 22)); 
} 


if (2048 >>> 22 !== 0) { 
  testFailed('#716: 2048 >>> 22 === 0. Actual: ' + (2048 >>> 22)); 
} 


if (4096 >>> 22 !== 0) { 
  testFailed('#717: 4096 >>> 22 === 0. Actual: ' + (4096 >>> 22)); 
} 


if (8192 >>> 22 !== 0) { 
  testFailed('#718: 8192 >>> 22 === 0. Actual: ' + (8192 >>> 22)); 
} 


if (16384 >>> 22 !== 0) { 
  testFailed('#719: 16384 >>> 22 === 0. Actual: ' + (16384 >>> 22)); 
} 


if (32768 >>> 22 !== 0) { 
  testFailed('#720: 32768 >>> 22 === 0. Actual: ' + (32768 >>> 22)); 
} 


if (65536 >>> 22 !== 0) { 
  testFailed('#721: 65536 >>> 22 === 0. Actual: ' + (65536 >>> 22)); 
} 


if (131072 >>> 22 !== 0) { 
  testFailed('#722: 131072 >>> 22 === 0. Actual: ' + (131072 >>> 22)); 
} 


if (262144 >>> 22 !== 0) { 
  testFailed('#723: 262144 >>> 22 === 0. Actual: ' + (262144 >>> 22)); 
} 


if (524288 >>> 22 !== 0) { 
  testFailed('#724: 524288 >>> 22 === 0. Actual: ' + (524288 >>> 22)); 
} 


if (1048576 >>> 22 !== 0) { 
  testFailed('#725: 1048576 >>> 22 === 0. Actual: ' + (1048576 >>> 22)); 
} 


if (2097152 >>> 22 !== 0) { 
  testFailed('#726: 2097152 >>> 22 === 0. Actual: ' + (2097152 >>> 22)); 
} 


if (4194304 >>> 22 !== 1) { 
  testFailed('#727: 4194304 >>> 22 === 1. Actual: ' + (4194304 >>> 22)); 
} 


if (8388608 >>> 22 !== 2) { 
  testFailed('#728: 8388608 >>> 22 === 2. Actual: ' + (8388608 >>> 22)); 
} 


if (16777216 >>> 22 !== 4) { 
  testFailed('#729: 16777216 >>> 22 === 4. Actual: ' + (16777216 >>> 22)); 
} 


if (33554432 >>> 22 !== 8) { 
  testFailed('#730: 33554432 >>> 22 === 8. Actual: ' + (33554432 >>> 22)); 
} 


if (67108864 >>> 22 !== 16) { 
  testFailed('#731: 67108864 >>> 22 === 16. Actual: ' + (67108864 >>> 22)); 
} 


if (134217728 >>> 22 !== 32) { 
  testFailed('#732: 134217728 >>> 22 === 32. Actual: ' + (134217728 >>> 22)); 
} 


if (268435456 >>> 22 !== 64) { 
  testFailed('#733: 268435456 >>> 22 === 64. Actual: ' + (268435456 >>> 22)); 
} 


if (536870912 >>> 22 !== 128) { 
  testFailed('#734: 536870912 >>> 22 === 128. Actual: ' + (536870912 >>> 22)); 
} 


if (1073741824 >>> 22 !== 256) { 
  testFailed('#735: 1073741824 >>> 22 === 256. Actual: ' + (1073741824 >>> 22)); 
} 


if (2147483648 >>> 22 !== 512) { 
  testFailed('#736: 2147483648 >>> 22 === 512. Actual: ' + (2147483648 >>> 22)); 
} 


if (1 >>> 23 !== 0) { 
  testFailed('#737: 1 >>> 23 === 0. Actual: ' + (1 >>> 23)); 
} 


if (2 >>> 23 !== 0) { 
  testFailed('#738: 2 >>> 23 === 0. Actual: ' + (2 >>> 23)); 
} 


if (4 >>> 23 !== 0) { 
  testFailed('#739: 4 >>> 23 === 0. Actual: ' + (4 >>> 23)); 
} 


if (8 >>> 23 !== 0) { 
  testFailed('#740: 8 >>> 23 === 0. Actual: ' + (8 >>> 23)); 
} 


if (16 >>> 23 !== 0) { 
  testFailed('#741: 16 >>> 23 === 0. Actual: ' + (16 >>> 23)); 
} 


if (32 >>> 23 !== 0) { 
  testFailed('#742: 32 >>> 23 === 0. Actual: ' + (32 >>> 23)); 
} 


if (64 >>> 23 !== 0) { 
  testFailed('#743: 64 >>> 23 === 0. Actual: ' + (64 >>> 23)); 
} 


if (128 >>> 23 !== 0) { 
  testFailed('#744: 128 >>> 23 === 0. Actual: ' + (128 >>> 23)); 
} 


if (256 >>> 23 !== 0) { 
  testFailed('#745: 256 >>> 23 === 0. Actual: ' + (256 >>> 23)); 
} 


if (512 >>> 23 !== 0) { 
  testFailed('#746: 512 >>> 23 === 0. Actual: ' + (512 >>> 23)); 
} 


if (1024 >>> 23 !== 0) { 
  testFailed('#747: 1024 >>> 23 === 0. Actual: ' + (1024 >>> 23)); 
} 


if (2048 >>> 23 !== 0) { 
  testFailed('#748: 2048 >>> 23 === 0. Actual: ' + (2048 >>> 23)); 
} 


if (4096 >>> 23 !== 0) { 
  testFailed('#749: 4096 >>> 23 === 0. Actual: ' + (4096 >>> 23)); 
} 


if (8192 >>> 23 !== 0) { 
  testFailed('#750: 8192 >>> 23 === 0. Actual: ' + (8192 >>> 23)); 
} 


if (16384 >>> 23 !== 0) { 
  testFailed('#751: 16384 >>> 23 === 0. Actual: ' + (16384 >>> 23)); 
} 


if (32768 >>> 23 !== 0) { 
  testFailed('#752: 32768 >>> 23 === 0. Actual: ' + (32768 >>> 23)); 
} 


if (65536 >>> 23 !== 0) { 
  testFailed('#753: 65536 >>> 23 === 0. Actual: ' + (65536 >>> 23)); 
} 


if (131072 >>> 23 !== 0) { 
  testFailed('#754: 131072 >>> 23 === 0. Actual: ' + (131072 >>> 23)); 
} 


if (262144 >>> 23 !== 0) { 
  testFailed('#755: 262144 >>> 23 === 0. Actual: ' + (262144 >>> 23)); 
} 


if (524288 >>> 23 !== 0) { 
  testFailed('#756: 524288 >>> 23 === 0. Actual: ' + (524288 >>> 23)); 
} 


if (1048576 >>> 23 !== 0) { 
  testFailed('#757: 1048576 >>> 23 === 0. Actual: ' + (1048576 >>> 23)); 
} 


if (2097152 >>> 23 !== 0) { 
  testFailed('#758: 2097152 >>> 23 === 0. Actual: ' + (2097152 >>> 23)); 
} 


if (4194304 >>> 23 !== 0) { 
  testFailed('#759: 4194304 >>> 23 === 0. Actual: ' + (4194304 >>> 23)); 
} 


if (8388608 >>> 23 !== 1) { 
  testFailed('#760: 8388608 >>> 23 === 1. Actual: ' + (8388608 >>> 23)); 
} 


if (16777216 >>> 23 !== 2) { 
  testFailed('#761: 16777216 >>> 23 === 2. Actual: ' + (16777216 >>> 23)); 
} 


if (33554432 >>> 23 !== 4) { 
  testFailed('#762: 33554432 >>> 23 === 4. Actual: ' + (33554432 >>> 23)); 
} 


if (67108864 >>> 23 !== 8) { 
  testFailed('#763: 67108864 >>> 23 === 8. Actual: ' + (67108864 >>> 23)); 
} 


if (134217728 >>> 23 !== 16) { 
  testFailed('#764: 134217728 >>> 23 === 16. Actual: ' + (134217728 >>> 23)); 
} 


if (268435456 >>> 23 !== 32) { 
  testFailed('#765: 268435456 >>> 23 === 32. Actual: ' + (268435456 >>> 23)); 
} 


if (536870912 >>> 23 !== 64) { 
  testFailed('#766: 536870912 >>> 23 === 64. Actual: ' + (536870912 >>> 23)); 
} 


if (1073741824 >>> 23 !== 128) { 
  testFailed('#767: 1073741824 >>> 23 === 128. Actual: ' + (1073741824 >>> 23)); 
} 


if (2147483648 >>> 23 !== 256) { 
  testFailed('#768: 2147483648 >>> 23 === 256. Actual: ' + (2147483648 >>> 23)); 
} 


if (1 >>> 24 !== 0) { 
  testFailed('#769: 1 >>> 24 === 0. Actual: ' + (1 >>> 24)); 
} 


if (2 >>> 24 !== 0) { 
  testFailed('#770: 2 >>> 24 === 0. Actual: ' + (2 >>> 24)); 
} 


if (4 >>> 24 !== 0) { 
  testFailed('#771: 4 >>> 24 === 0. Actual: ' + (4 >>> 24)); 
} 


if (8 >>> 24 !== 0) { 
  testFailed('#772: 8 >>> 24 === 0. Actual: ' + (8 >>> 24)); 
} 


if (16 >>> 24 !== 0) { 
  testFailed('#773: 16 >>> 24 === 0. Actual: ' + (16 >>> 24)); 
} 


if (32 >>> 24 !== 0) { 
  testFailed('#774: 32 >>> 24 === 0. Actual: ' + (32 >>> 24)); 
} 


if (64 >>> 24 !== 0) { 
  testFailed('#775: 64 >>> 24 === 0. Actual: ' + (64 >>> 24)); 
} 


if (128 >>> 24 !== 0) { 
  testFailed('#776: 128 >>> 24 === 0. Actual: ' + (128 >>> 24)); 
} 


if (256 >>> 24 !== 0) { 
  testFailed('#777: 256 >>> 24 === 0. Actual: ' + (256 >>> 24)); 
} 


if (512 >>> 24 !== 0) { 
  testFailed('#778: 512 >>> 24 === 0. Actual: ' + (512 >>> 24)); 
} 


if (1024 >>> 24 !== 0) { 
  testFailed('#779: 1024 >>> 24 === 0. Actual: ' + (1024 >>> 24)); 
} 


if (2048 >>> 24 !== 0) { 
  testFailed('#780: 2048 >>> 24 === 0. Actual: ' + (2048 >>> 24)); 
} 


if (4096 >>> 24 !== 0) { 
  testFailed('#781: 4096 >>> 24 === 0. Actual: ' + (4096 >>> 24)); 
} 


if (8192 >>> 24 !== 0) { 
  testFailed('#782: 8192 >>> 24 === 0. Actual: ' + (8192 >>> 24)); 
} 


if (16384 >>> 24 !== 0) { 
  testFailed('#783: 16384 >>> 24 === 0. Actual: ' + (16384 >>> 24)); 
} 


if (32768 >>> 24 !== 0) { 
  testFailed('#784: 32768 >>> 24 === 0. Actual: ' + (32768 >>> 24)); 
} 


if (65536 >>> 24 !== 0) { 
  testFailed('#785: 65536 >>> 24 === 0. Actual: ' + (65536 >>> 24)); 
} 


if (131072 >>> 24 !== 0) { 
  testFailed('#786: 131072 >>> 24 === 0. Actual: ' + (131072 >>> 24)); 
} 


if (262144 >>> 24 !== 0) { 
  testFailed('#787: 262144 >>> 24 === 0. Actual: ' + (262144 >>> 24)); 
} 


if (524288 >>> 24 !== 0) { 
  testFailed('#788: 524288 >>> 24 === 0. Actual: ' + (524288 >>> 24)); 
} 


if (1048576 >>> 24 !== 0) { 
  testFailed('#789: 1048576 >>> 24 === 0. Actual: ' + (1048576 >>> 24)); 
} 


if (2097152 >>> 24 !== 0) { 
  testFailed('#790: 2097152 >>> 24 === 0. Actual: ' + (2097152 >>> 24)); 
} 


if (4194304 >>> 24 !== 0) { 
  testFailed('#791: 4194304 >>> 24 === 0. Actual: ' + (4194304 >>> 24)); 
} 


if (8388608 >>> 24 !== 0) { 
  testFailed('#792: 8388608 >>> 24 === 0. Actual: ' + (8388608 >>> 24)); 
} 


if (16777216 >>> 24 !== 1) { 
  testFailed('#793: 16777216 >>> 24 === 1. Actual: ' + (16777216 >>> 24)); 
} 


if (33554432 >>> 24 !== 2) { 
  testFailed('#794: 33554432 >>> 24 === 2. Actual: ' + (33554432 >>> 24)); 
} 


if (67108864 >>> 24 !== 4) { 
  testFailed('#795: 67108864 >>> 24 === 4. Actual: ' + (67108864 >>> 24)); 
} 


if (134217728 >>> 24 !== 8) { 
  testFailed('#796: 134217728 >>> 24 === 8. Actual: ' + (134217728 >>> 24)); 
} 


if (268435456 >>> 24 !== 16) { 
  testFailed('#797: 268435456 >>> 24 === 16. Actual: ' + (268435456 >>> 24)); 
} 


if (536870912 >>> 24 !== 32) { 
  testFailed('#798: 536870912 >>> 24 === 32. Actual: ' + (536870912 >>> 24)); 
} 


if (1073741824 >>> 24 !== 64) { 
  testFailed('#799: 1073741824 >>> 24 === 64. Actual: ' + (1073741824 >>> 24)); 
} 


if (2147483648 >>> 24 !== 128) { 
  testFailed('#800: 2147483648 >>> 24 === 128. Actual: ' + (2147483648 >>> 24)); 
} 


if (1 >>> 25 !== 0) { 
  testFailed('#801: 1 >>> 25 === 0. Actual: ' + (1 >>> 25)); 
} 


if (2 >>> 25 !== 0) { 
  testFailed('#802: 2 >>> 25 === 0. Actual: ' + (2 >>> 25)); 
} 


if (4 >>> 25 !== 0) { 
  testFailed('#803: 4 >>> 25 === 0. Actual: ' + (4 >>> 25)); 
} 


if (8 >>> 25 !== 0) { 
  testFailed('#804: 8 >>> 25 === 0. Actual: ' + (8 >>> 25)); 
} 


if (16 >>> 25 !== 0) { 
  testFailed('#805: 16 >>> 25 === 0. Actual: ' + (16 >>> 25)); 
} 


if (32 >>> 25 !== 0) { 
  testFailed('#806: 32 >>> 25 === 0. Actual: ' + (32 >>> 25)); 
} 


if (64 >>> 25 !== 0) { 
  testFailed('#807: 64 >>> 25 === 0. Actual: ' + (64 >>> 25)); 
} 


if (128 >>> 25 !== 0) { 
  testFailed('#808: 128 >>> 25 === 0. Actual: ' + (128 >>> 25)); 
} 


if (256 >>> 25 !== 0) { 
  testFailed('#809: 256 >>> 25 === 0. Actual: ' + (256 >>> 25)); 
} 


if (512 >>> 25 !== 0) { 
  testFailed('#810: 512 >>> 25 === 0. Actual: ' + (512 >>> 25)); 
} 


if (1024 >>> 25 !== 0) { 
  testFailed('#811: 1024 >>> 25 === 0. Actual: ' + (1024 >>> 25)); 
} 


if (2048 >>> 25 !== 0) { 
  testFailed('#812: 2048 >>> 25 === 0. Actual: ' + (2048 >>> 25)); 
} 


if (4096 >>> 25 !== 0) { 
  testFailed('#813: 4096 >>> 25 === 0. Actual: ' + (4096 >>> 25)); 
} 


if (8192 >>> 25 !== 0) { 
  testFailed('#814: 8192 >>> 25 === 0. Actual: ' + (8192 >>> 25)); 
} 


if (16384 >>> 25 !== 0) { 
  testFailed('#815: 16384 >>> 25 === 0. Actual: ' + (16384 >>> 25)); 
} 


if (32768 >>> 25 !== 0) { 
  testFailed('#816: 32768 >>> 25 === 0. Actual: ' + (32768 >>> 25)); 
} 


if (65536 >>> 25 !== 0) { 
  testFailed('#817: 65536 >>> 25 === 0. Actual: ' + (65536 >>> 25)); 
} 


if (131072 >>> 25 !== 0) { 
  testFailed('#818: 131072 >>> 25 === 0. Actual: ' + (131072 >>> 25)); 
} 


if (262144 >>> 25 !== 0) { 
  testFailed('#819: 262144 >>> 25 === 0. Actual: ' + (262144 >>> 25)); 
} 


if (524288 >>> 25 !== 0) { 
  testFailed('#820: 524288 >>> 25 === 0. Actual: ' + (524288 >>> 25)); 
} 


if (1048576 >>> 25 !== 0) { 
  testFailed('#821: 1048576 >>> 25 === 0. Actual: ' + (1048576 >>> 25)); 
} 


if (2097152 >>> 25 !== 0) { 
  testFailed('#822: 2097152 >>> 25 === 0. Actual: ' + (2097152 >>> 25)); 
} 


if (4194304 >>> 25 !== 0) { 
  testFailed('#823: 4194304 >>> 25 === 0. Actual: ' + (4194304 >>> 25)); 
} 


if (8388608 >>> 25 !== 0) { 
  testFailed('#824: 8388608 >>> 25 === 0. Actual: ' + (8388608 >>> 25)); 
} 


if (16777216 >>> 25 !== 0) { 
  testFailed('#825: 16777216 >>> 25 === 0. Actual: ' + (16777216 >>> 25)); 
} 


if (33554432 >>> 25 !== 1) { 
  testFailed('#826: 33554432 >>> 25 === 1. Actual: ' + (33554432 >>> 25)); 
} 


if (67108864 >>> 25 !== 2) { 
  testFailed('#827: 67108864 >>> 25 === 2. Actual: ' + (67108864 >>> 25)); 
} 


if (134217728 >>> 25 !== 4) { 
  testFailed('#828: 134217728 >>> 25 === 4. Actual: ' + (134217728 >>> 25)); 
} 


if (268435456 >>> 25 !== 8) { 
  testFailed('#829: 268435456 >>> 25 === 8. Actual: ' + (268435456 >>> 25)); 
} 


if (536870912 >>> 25 !== 16) { 
  testFailed('#830: 536870912 >>> 25 === 16. Actual: ' + (536870912 >>> 25)); 
} 


if (1073741824 >>> 25 !== 32) { 
  testFailed('#831: 1073741824 >>> 25 === 32. Actual: ' + (1073741824 >>> 25)); 
} 


if (2147483648 >>> 25 !== 64) { 
  testFailed('#832: 2147483648 >>> 25 === 64. Actual: ' + (2147483648 >>> 25)); 
} 


if (1 >>> 26 !== 0) { 
  testFailed('#833: 1 >>> 26 === 0. Actual: ' + (1 >>> 26)); 
} 


if (2 >>> 26 !== 0) { 
  testFailed('#834: 2 >>> 26 === 0. Actual: ' + (2 >>> 26)); 
} 


if (4 >>> 26 !== 0) { 
  testFailed('#835: 4 >>> 26 === 0. Actual: ' + (4 >>> 26)); 
} 


if (8 >>> 26 !== 0) { 
  testFailed('#836: 8 >>> 26 === 0. Actual: ' + (8 >>> 26)); 
} 


if (16 >>> 26 !== 0) { 
  testFailed('#837: 16 >>> 26 === 0. Actual: ' + (16 >>> 26)); 
} 


if (32 >>> 26 !== 0) { 
  testFailed('#838: 32 >>> 26 === 0. Actual: ' + (32 >>> 26)); 
} 


if (64 >>> 26 !== 0) { 
  testFailed('#839: 64 >>> 26 === 0. Actual: ' + (64 >>> 26)); 
} 


if (128 >>> 26 !== 0) { 
  testFailed('#840: 128 >>> 26 === 0. Actual: ' + (128 >>> 26)); 
} 


if (256 >>> 26 !== 0) { 
  testFailed('#841: 256 >>> 26 === 0. Actual: ' + (256 >>> 26)); 
} 


if (512 >>> 26 !== 0) { 
  testFailed('#842: 512 >>> 26 === 0. Actual: ' + (512 >>> 26)); 
} 


if (1024 >>> 26 !== 0) { 
  testFailed('#843: 1024 >>> 26 === 0. Actual: ' + (1024 >>> 26)); 
} 


if (2048 >>> 26 !== 0) { 
  testFailed('#844: 2048 >>> 26 === 0. Actual: ' + (2048 >>> 26)); 
} 


if (4096 >>> 26 !== 0) { 
  testFailed('#845: 4096 >>> 26 === 0. Actual: ' + (4096 >>> 26)); 
} 


if (8192 >>> 26 !== 0) { 
  testFailed('#846: 8192 >>> 26 === 0. Actual: ' + (8192 >>> 26)); 
} 


if (16384 >>> 26 !== 0) { 
  testFailed('#847: 16384 >>> 26 === 0. Actual: ' + (16384 >>> 26)); 
} 


if (32768 >>> 26 !== 0) { 
  testFailed('#848: 32768 >>> 26 === 0. Actual: ' + (32768 >>> 26)); 
} 


if (65536 >>> 26 !== 0) { 
  testFailed('#849: 65536 >>> 26 === 0. Actual: ' + (65536 >>> 26)); 
} 


if (131072 >>> 26 !== 0) { 
  testFailed('#850: 131072 >>> 26 === 0. Actual: ' + (131072 >>> 26)); 
} 


if (262144 >>> 26 !== 0) { 
  testFailed('#851: 262144 >>> 26 === 0. Actual: ' + (262144 >>> 26)); 
} 


if (524288 >>> 26 !== 0) { 
  testFailed('#852: 524288 >>> 26 === 0. Actual: ' + (524288 >>> 26)); 
} 


if (1048576 >>> 26 !== 0) { 
  testFailed('#853: 1048576 >>> 26 === 0. Actual: ' + (1048576 >>> 26)); 
} 


if (2097152 >>> 26 !== 0) { 
  testFailed('#854: 2097152 >>> 26 === 0. Actual: ' + (2097152 >>> 26)); 
} 


if (4194304 >>> 26 !== 0) { 
  testFailed('#855: 4194304 >>> 26 === 0. Actual: ' + (4194304 >>> 26)); 
} 


if (8388608 >>> 26 !== 0) { 
  testFailed('#856: 8388608 >>> 26 === 0. Actual: ' + (8388608 >>> 26)); 
} 


if (16777216 >>> 26 !== 0) { 
  testFailed('#857: 16777216 >>> 26 === 0. Actual: ' + (16777216 >>> 26)); 
} 


if (33554432 >>> 26 !== 0) { 
  testFailed('#858: 33554432 >>> 26 === 0. Actual: ' + (33554432 >>> 26)); 
} 


if (67108864 >>> 26 !== 1) { 
  testFailed('#859: 67108864 >>> 26 === 1. Actual: ' + (67108864 >>> 26)); 
} 


if (134217728 >>> 26 !== 2) { 
  testFailed('#860: 134217728 >>> 26 === 2. Actual: ' + (134217728 >>> 26)); 
} 


if (268435456 >>> 26 !== 4) { 
  testFailed('#861: 268435456 >>> 26 === 4. Actual: ' + (268435456 >>> 26)); 
} 


if (536870912 >>> 26 !== 8) { 
  testFailed('#862: 536870912 >>> 26 === 8. Actual: ' + (536870912 >>> 26)); 
} 


if (1073741824 >>> 26 !== 16) { 
  testFailed('#863: 1073741824 >>> 26 === 16. Actual: ' + (1073741824 >>> 26)); 
} 


if (2147483648 >>> 26 !== 32) { 
  testFailed('#864: 2147483648 >>> 26 === 32. Actual: ' + (2147483648 >>> 26)); 
} 


if (1 >>> 27 !== 0) { 
  testFailed('#865: 1 >>> 27 === 0. Actual: ' + (1 >>> 27)); 
} 


if (2 >>> 27 !== 0) { 
  testFailed('#866: 2 >>> 27 === 0. Actual: ' + (2 >>> 27)); 
} 


if (4 >>> 27 !== 0) { 
  testFailed('#867: 4 >>> 27 === 0. Actual: ' + (4 >>> 27)); 
} 


if (8 >>> 27 !== 0) { 
  testFailed('#868: 8 >>> 27 === 0. Actual: ' + (8 >>> 27)); 
} 


if (16 >>> 27 !== 0) { 
  testFailed('#869: 16 >>> 27 === 0. Actual: ' + (16 >>> 27)); 
} 


if (32 >>> 27 !== 0) { 
  testFailed('#870: 32 >>> 27 === 0. Actual: ' + (32 >>> 27)); 
} 


if (64 >>> 27 !== 0) { 
  testFailed('#871: 64 >>> 27 === 0. Actual: ' + (64 >>> 27)); 
} 


if (128 >>> 27 !== 0) { 
  testFailed('#872: 128 >>> 27 === 0. Actual: ' + (128 >>> 27)); 
} 


if (256 >>> 27 !== 0) { 
  testFailed('#873: 256 >>> 27 === 0. Actual: ' + (256 >>> 27)); 
} 


if (512 >>> 27 !== 0) { 
  testFailed('#874: 512 >>> 27 === 0. Actual: ' + (512 >>> 27)); 
} 


if (1024 >>> 27 !== 0) { 
  testFailed('#875: 1024 >>> 27 === 0. Actual: ' + (1024 >>> 27)); 
} 


if (2048 >>> 27 !== 0) { 
  testFailed('#876: 2048 >>> 27 === 0. Actual: ' + (2048 >>> 27)); 
} 


if (4096 >>> 27 !== 0) { 
  testFailed('#877: 4096 >>> 27 === 0. Actual: ' + (4096 >>> 27)); 
} 


if (8192 >>> 27 !== 0) { 
  testFailed('#878: 8192 >>> 27 === 0. Actual: ' + (8192 >>> 27)); 
} 


if (16384 >>> 27 !== 0) { 
  testFailed('#879: 16384 >>> 27 === 0. Actual: ' + (16384 >>> 27)); 
} 


if (32768 >>> 27 !== 0) { 
  testFailed('#880: 32768 >>> 27 === 0. Actual: ' + (32768 >>> 27)); 
} 


if (65536 >>> 27 !== 0) { 
  testFailed('#881: 65536 >>> 27 === 0. Actual: ' + (65536 >>> 27)); 
} 


if (131072 >>> 27 !== 0) { 
  testFailed('#882: 131072 >>> 27 === 0. Actual: ' + (131072 >>> 27)); 
} 


if (262144 >>> 27 !== 0) { 
  testFailed('#883: 262144 >>> 27 === 0. Actual: ' + (262144 >>> 27)); 
} 


if (524288 >>> 27 !== 0) { 
  testFailed('#884: 524288 >>> 27 === 0. Actual: ' + (524288 >>> 27)); 
} 


if (1048576 >>> 27 !== 0) { 
  testFailed('#885: 1048576 >>> 27 === 0. Actual: ' + (1048576 >>> 27)); 
} 


if (2097152 >>> 27 !== 0) { 
  testFailed('#886: 2097152 >>> 27 === 0. Actual: ' + (2097152 >>> 27)); 
} 


if (4194304 >>> 27 !== 0) { 
  testFailed('#887: 4194304 >>> 27 === 0. Actual: ' + (4194304 >>> 27)); 
} 


if (8388608 >>> 27 !== 0) { 
  testFailed('#888: 8388608 >>> 27 === 0. Actual: ' + (8388608 >>> 27)); 
} 


if (16777216 >>> 27 !== 0) { 
  testFailed('#889: 16777216 >>> 27 === 0. Actual: ' + (16777216 >>> 27)); 
} 


if (33554432 >>> 27 !== 0) { 
  testFailed('#890: 33554432 >>> 27 === 0. Actual: ' + (33554432 >>> 27)); 
} 


if (67108864 >>> 27 !== 0) { 
  testFailed('#891: 67108864 >>> 27 === 0. Actual: ' + (67108864 >>> 27)); 
} 


if (134217728 >>> 27 !== 1) { 
  testFailed('#892: 134217728 >>> 27 === 1. Actual: ' + (134217728 >>> 27)); 
} 


if (268435456 >>> 27 !== 2) { 
  testFailed('#893: 268435456 >>> 27 === 2. Actual: ' + (268435456 >>> 27)); 
} 


if (536870912 >>> 27 !== 4) { 
  testFailed('#894: 536870912 >>> 27 === 4. Actual: ' + (536870912 >>> 27)); 
} 


if (1073741824 >>> 27 !== 8) { 
  testFailed('#895: 1073741824 >>> 27 === 8. Actual: ' + (1073741824 >>> 27)); 
} 


if (2147483648 >>> 27 !== 16) { 
  testFailed('#896: 2147483648 >>> 27 === 16. Actual: ' + (2147483648 >>> 27)); 
} 


if (1 >>> 28 !== 0) { 
  testFailed('#897: 1 >>> 28 === 0. Actual: ' + (1 >>> 28)); 
} 


if (2 >>> 28 !== 0) { 
  testFailed('#898: 2 >>> 28 === 0. Actual: ' + (2 >>> 28)); 
} 


if (4 >>> 28 !== 0) { 
  testFailed('#899: 4 >>> 28 === 0. Actual: ' + (4 >>> 28)); 
} 


if (8 >>> 28 !== 0) { 
  testFailed('#900: 8 >>> 28 === 0. Actual: ' + (8 >>> 28)); 
} 


if (16 >>> 28 !== 0) { 
  testFailed('#901: 16 >>> 28 === 0. Actual: ' + (16 >>> 28)); 
} 


if (32 >>> 28 !== 0) { 
  testFailed('#902: 32 >>> 28 === 0. Actual: ' + (32 >>> 28)); 
} 


if (64 >>> 28 !== 0) { 
  testFailed('#903: 64 >>> 28 === 0. Actual: ' + (64 >>> 28)); 
} 


if (128 >>> 28 !== 0) { 
  testFailed('#904: 128 >>> 28 === 0. Actual: ' + (128 >>> 28)); 
} 


if (256 >>> 28 !== 0) { 
  testFailed('#905: 256 >>> 28 === 0. Actual: ' + (256 >>> 28)); 
} 


if (512 >>> 28 !== 0) { 
  testFailed('#906: 512 >>> 28 === 0. Actual: ' + (512 >>> 28)); 
} 


if (1024 >>> 28 !== 0) { 
  testFailed('#907: 1024 >>> 28 === 0. Actual: ' + (1024 >>> 28)); 
} 


if (2048 >>> 28 !== 0) { 
  testFailed('#908: 2048 >>> 28 === 0. Actual: ' + (2048 >>> 28)); 
} 


if (4096 >>> 28 !== 0) { 
  testFailed('#909: 4096 >>> 28 === 0. Actual: ' + (4096 >>> 28)); 
} 


if (8192 >>> 28 !== 0) { 
  testFailed('#910: 8192 >>> 28 === 0. Actual: ' + (8192 >>> 28)); 
} 


if (16384 >>> 28 !== 0) { 
  testFailed('#911: 16384 >>> 28 === 0. Actual: ' + (16384 >>> 28)); 
} 


if (32768 >>> 28 !== 0) { 
  testFailed('#912: 32768 >>> 28 === 0. Actual: ' + (32768 >>> 28)); 
} 


if (65536 >>> 28 !== 0) { 
  testFailed('#913: 65536 >>> 28 === 0. Actual: ' + (65536 >>> 28)); 
} 


if (131072 >>> 28 !== 0) { 
  testFailed('#914: 131072 >>> 28 === 0. Actual: ' + (131072 >>> 28)); 
} 


if (262144 >>> 28 !== 0) { 
  testFailed('#915: 262144 >>> 28 === 0. Actual: ' + (262144 >>> 28)); 
} 


if (524288 >>> 28 !== 0) { 
  testFailed('#916: 524288 >>> 28 === 0. Actual: ' + (524288 >>> 28)); 
} 


if (1048576 >>> 28 !== 0) { 
  testFailed('#917: 1048576 >>> 28 === 0. Actual: ' + (1048576 >>> 28)); 
} 


if (2097152 >>> 28 !== 0) { 
  testFailed('#918: 2097152 >>> 28 === 0. Actual: ' + (2097152 >>> 28)); 
} 


if (4194304 >>> 28 !== 0) { 
  testFailed('#919: 4194304 >>> 28 === 0. Actual: ' + (4194304 >>> 28)); 
} 


if (8388608 >>> 28 !== 0) { 
  testFailed('#920: 8388608 >>> 28 === 0. Actual: ' + (8388608 >>> 28)); 
} 


if (16777216 >>> 28 !== 0) { 
  testFailed('#921: 16777216 >>> 28 === 0. Actual: ' + (16777216 >>> 28)); 
} 


if (33554432 >>> 28 !== 0) { 
  testFailed('#922: 33554432 >>> 28 === 0. Actual: ' + (33554432 >>> 28)); 
} 


if (67108864 >>> 28 !== 0) { 
  testFailed('#923: 67108864 >>> 28 === 0. Actual: ' + (67108864 >>> 28)); 
} 


if (134217728 >>> 28 !== 0) { 
  testFailed('#924: 134217728 >>> 28 === 0. Actual: ' + (134217728 >>> 28)); 
} 


if (268435456 >>> 28 !== 1) { 
  testFailed('#925: 268435456 >>> 28 === 1. Actual: ' + (268435456 >>> 28)); 
} 


if (536870912 >>> 28 !== 2) { 
  testFailed('#926: 536870912 >>> 28 === 2. Actual: ' + (536870912 >>> 28)); 
} 


if (1073741824 >>> 28 !== 4) { 
  testFailed('#927: 1073741824 >>> 28 === 4. Actual: ' + (1073741824 >>> 28)); 
} 


if (2147483648 >>> 28 !== 8) { 
  testFailed('#928: 2147483648 >>> 28 === 8. Actual: ' + (2147483648 >>> 28)); 
} 


if (1 >>> 29 !== 0) { 
  testFailed('#929: 1 >>> 29 === 0. Actual: ' + (1 >>> 29)); 
} 


if (2 >>> 29 !== 0) { 
  testFailed('#930: 2 >>> 29 === 0. Actual: ' + (2 >>> 29)); 
} 


if (4 >>> 29 !== 0) { 
  testFailed('#931: 4 >>> 29 === 0. Actual: ' + (4 >>> 29)); 
} 


if (8 >>> 29 !== 0) { 
  testFailed('#932: 8 >>> 29 === 0. Actual: ' + (8 >>> 29)); 
} 


if (16 >>> 29 !== 0) { 
  testFailed('#933: 16 >>> 29 === 0. Actual: ' + (16 >>> 29)); 
} 


if (32 >>> 29 !== 0) { 
  testFailed('#934: 32 >>> 29 === 0. Actual: ' + (32 >>> 29)); 
} 


if (64 >>> 29 !== 0) { 
  testFailed('#935: 64 >>> 29 === 0. Actual: ' + (64 >>> 29)); 
} 


if (128 >>> 29 !== 0) { 
  testFailed('#936: 128 >>> 29 === 0. Actual: ' + (128 >>> 29)); 
} 


if (256 >>> 29 !== 0) { 
  testFailed('#937: 256 >>> 29 === 0. Actual: ' + (256 >>> 29)); 
} 


if (512 >>> 29 !== 0) { 
  testFailed('#938: 512 >>> 29 === 0. Actual: ' + (512 >>> 29)); 
} 


if (1024 >>> 29 !== 0) { 
  testFailed('#939: 1024 >>> 29 === 0. Actual: ' + (1024 >>> 29)); 
} 


if (2048 >>> 29 !== 0) { 
  testFailed('#940: 2048 >>> 29 === 0. Actual: ' + (2048 >>> 29)); 
} 


if (4096 >>> 29 !== 0) { 
  testFailed('#941: 4096 >>> 29 === 0. Actual: ' + (4096 >>> 29)); 
} 


if (8192 >>> 29 !== 0) { 
  testFailed('#942: 8192 >>> 29 === 0. Actual: ' + (8192 >>> 29)); 
} 


if (16384 >>> 29 !== 0) { 
  testFailed('#943: 16384 >>> 29 === 0. Actual: ' + (16384 >>> 29)); 
} 


if (32768 >>> 29 !== 0) { 
  testFailed('#944: 32768 >>> 29 === 0. Actual: ' + (32768 >>> 29)); 
} 


if (65536 >>> 29 !== 0) { 
  testFailed('#945: 65536 >>> 29 === 0. Actual: ' + (65536 >>> 29)); 
} 


if (131072 >>> 29 !== 0) { 
  testFailed('#946: 131072 >>> 29 === 0. Actual: ' + (131072 >>> 29)); 
} 


if (262144 >>> 29 !== 0) { 
  testFailed('#947: 262144 >>> 29 === 0. Actual: ' + (262144 >>> 29)); 
} 


if (524288 >>> 29 !== 0) { 
  testFailed('#948: 524288 >>> 29 === 0. Actual: ' + (524288 >>> 29)); 
} 


if (1048576 >>> 29 !== 0) { 
  testFailed('#949: 1048576 >>> 29 === 0. Actual: ' + (1048576 >>> 29)); 
} 


if (2097152 >>> 29 !== 0) { 
  testFailed('#950: 2097152 >>> 29 === 0. Actual: ' + (2097152 >>> 29)); 
} 


if (4194304 >>> 29 !== 0) { 
  testFailed('#951: 4194304 >>> 29 === 0. Actual: ' + (4194304 >>> 29)); 
} 


if (8388608 >>> 29 !== 0) { 
  testFailed('#952: 8388608 >>> 29 === 0. Actual: ' + (8388608 >>> 29)); 
} 


if (16777216 >>> 29 !== 0) { 
  testFailed('#953: 16777216 >>> 29 === 0. Actual: ' + (16777216 >>> 29)); 
} 


if (33554432 >>> 29 !== 0) { 
  testFailed('#954: 33554432 >>> 29 === 0. Actual: ' + (33554432 >>> 29)); 
} 


if (67108864 >>> 29 !== 0) { 
  testFailed('#955: 67108864 >>> 29 === 0. Actual: ' + (67108864 >>> 29)); 
} 


if (134217728 >>> 29 !== 0) { 
  testFailed('#956: 134217728 >>> 29 === 0. Actual: ' + (134217728 >>> 29)); 
} 


if (268435456 >>> 29 !== 0) { 
  testFailed('#957: 268435456 >>> 29 === 0. Actual: ' + (268435456 >>> 29)); 
} 


if (536870912 >>> 29 !== 1) { 
  testFailed('#958: 536870912 >>> 29 === 1. Actual: ' + (536870912 >>> 29)); 
} 


if (1073741824 >>> 29 !== 2) { 
  testFailed('#959: 1073741824 >>> 29 === 2. Actual: ' + (1073741824 >>> 29)); 
} 


if (2147483648 >>> 29 !== 4) { 
  testFailed('#960: 2147483648 >>> 29 === 4. Actual: ' + (2147483648 >>> 29)); 
} 


if (1 >>> 30 !== 0) { 
  testFailed('#961: 1 >>> 30 === 0. Actual: ' + (1 >>> 30)); 
} 


if (2 >>> 30 !== 0) { 
  testFailed('#962: 2 >>> 30 === 0. Actual: ' + (2 >>> 30)); 
} 


if (4 >>> 30 !== 0) { 
  testFailed('#963: 4 >>> 30 === 0. Actual: ' + (4 >>> 30)); 
} 


if (8 >>> 30 !== 0) { 
  testFailed('#964: 8 >>> 30 === 0. Actual: ' + (8 >>> 30)); 
} 


if (16 >>> 30 !== 0) { 
  testFailed('#965: 16 >>> 30 === 0. Actual: ' + (16 >>> 30)); 
} 


if (32 >>> 30 !== 0) { 
  testFailed('#966: 32 >>> 30 === 0. Actual: ' + (32 >>> 30)); 
} 


if (64 >>> 30 !== 0) { 
  testFailed('#967: 64 >>> 30 === 0. Actual: ' + (64 >>> 30)); 
} 


if (128 >>> 30 !== 0) { 
  testFailed('#968: 128 >>> 30 === 0. Actual: ' + (128 >>> 30)); 
} 


if (256 >>> 30 !== 0) { 
  testFailed('#969: 256 >>> 30 === 0. Actual: ' + (256 >>> 30)); 
} 


if (512 >>> 30 !== 0) { 
  testFailed('#970: 512 >>> 30 === 0. Actual: ' + (512 >>> 30)); 
} 


if (1024 >>> 30 !== 0) { 
  testFailed('#971: 1024 >>> 30 === 0. Actual: ' + (1024 >>> 30)); 
} 


if (2048 >>> 30 !== 0) { 
  testFailed('#972: 2048 >>> 30 === 0. Actual: ' + (2048 >>> 30)); 
} 


if (4096 >>> 30 !== 0) { 
  testFailed('#973: 4096 >>> 30 === 0. Actual: ' + (4096 >>> 30)); 
} 


if (8192 >>> 30 !== 0) { 
  testFailed('#974: 8192 >>> 30 === 0. Actual: ' + (8192 >>> 30)); 
} 


if (16384 >>> 30 !== 0) { 
  testFailed('#975: 16384 >>> 30 === 0. Actual: ' + (16384 >>> 30)); 
} 


if (32768 >>> 30 !== 0) { 
  testFailed('#976: 32768 >>> 30 === 0. Actual: ' + (32768 >>> 30)); 
} 


if (65536 >>> 30 !== 0) { 
  testFailed('#977: 65536 >>> 30 === 0. Actual: ' + (65536 >>> 30)); 
} 


if (131072 >>> 30 !== 0) { 
  testFailed('#978: 131072 >>> 30 === 0. Actual: ' + (131072 >>> 30)); 
} 


if (262144 >>> 30 !== 0) { 
  testFailed('#979: 262144 >>> 30 === 0. Actual: ' + (262144 >>> 30)); 
} 


if (524288 >>> 30 !== 0) { 
  testFailed('#980: 524288 >>> 30 === 0. Actual: ' + (524288 >>> 30)); 
} 


if (1048576 >>> 30 !== 0) { 
  testFailed('#981: 1048576 >>> 30 === 0. Actual: ' + (1048576 >>> 30)); 
} 


if (2097152 >>> 30 !== 0) { 
  testFailed('#982: 2097152 >>> 30 === 0. Actual: ' + (2097152 >>> 30)); 
} 


if (4194304 >>> 30 !== 0) { 
  testFailed('#983: 4194304 >>> 30 === 0. Actual: ' + (4194304 >>> 30)); 
} 


if (8388608 >>> 30 !== 0) { 
  testFailed('#984: 8388608 >>> 30 === 0. Actual: ' + (8388608 >>> 30)); 
} 


if (16777216 >>> 30 !== 0) { 
  testFailed('#985: 16777216 >>> 30 === 0. Actual: ' + (16777216 >>> 30)); 
} 


if (33554432 >>> 30 !== 0) { 
  testFailed('#986: 33554432 >>> 30 === 0. Actual: ' + (33554432 >>> 30)); 
} 


if (67108864 >>> 30 !== 0) { 
  testFailed('#987: 67108864 >>> 30 === 0. Actual: ' + (67108864 >>> 30)); 
} 


if (134217728 >>> 30 !== 0) { 
  testFailed('#988: 134217728 >>> 30 === 0. Actual: ' + (134217728 >>> 30)); 
} 


if (268435456 >>> 30 !== 0) { 
  testFailed('#989: 268435456 >>> 30 === 0. Actual: ' + (268435456 >>> 30)); 
} 


if (536870912 >>> 30 !== 0) { 
  testFailed('#990: 536870912 >>> 30 === 0. Actual: ' + (536870912 >>> 30)); 
} 


if (1073741824 >>> 30 !== 1) { 
  testFailed('#991: 1073741824 >>> 30 === 1. Actual: ' + (1073741824 >>> 30)); 
} 


if (2147483648 >>> 30 !== 2) { 
  testFailed('#992: 2147483648 >>> 30 === 2. Actual: ' + (2147483648 >>> 30)); 
} 


if (1 >>> 31 !== 0) { 
  testFailed('#993: 1 >>> 31 === 0. Actual: ' + (1 >>> 31)); 
} 


if (2 >>> 31 !== 0) { 
  testFailed('#994: 2 >>> 31 === 0. Actual: ' + (2 >>> 31)); 
} 


if (4 >>> 31 !== 0) { 
  testFailed('#995: 4 >>> 31 === 0. Actual: ' + (4 >>> 31)); 
} 


if (8 >>> 31 !== 0) { 
  testFailed('#996: 8 >>> 31 === 0. Actual: ' + (8 >>> 31)); 
} 


if (16 >>> 31 !== 0) { 
  testFailed('#997: 16 >>> 31 === 0. Actual: ' + (16 >>> 31)); 
} 


if (32 >>> 31 !== 0) { 
  testFailed('#998: 32 >>> 31 === 0. Actual: ' + (32 >>> 31)); 
} 


if (64 >>> 31 !== 0) { 
  testFailed('#999: 64 >>> 31 === 0. Actual: ' + (64 >>> 31)); 
} 


if (128 >>> 31 !== 0) { 
  testFailed('#1000: 128 >>> 31 === 0. Actual: ' + (128 >>> 31)); 
} 


if (256 >>> 31 !== 0) { 
  testFailed('#1001: 256 >>> 31 === 0. Actual: ' + (256 >>> 31)); 
} 


if (512 >>> 31 !== 0) { 
  testFailed('#1002: 512 >>> 31 === 0. Actual: ' + (512 >>> 31)); 
} 


if (1024 >>> 31 !== 0) { 
  testFailed('#1003: 1024 >>> 31 === 0. Actual: ' + (1024 >>> 31)); 
} 


if (2048 >>> 31 !== 0) { 
  testFailed('#1004: 2048 >>> 31 === 0. Actual: ' + (2048 >>> 31)); 
} 


if (4096 >>> 31 !== 0) { 
  testFailed('#1005: 4096 >>> 31 === 0. Actual: ' + (4096 >>> 31)); 
} 


if (8192 >>> 31 !== 0) { 
  testFailed('#1006: 8192 >>> 31 === 0. Actual: ' + (8192 >>> 31)); 
} 


if (16384 >>> 31 !== 0) { 
  testFailed('#1007: 16384 >>> 31 === 0. Actual: ' + (16384 >>> 31)); 
} 


if (32768 >>> 31 !== 0) { 
  testFailed('#1008: 32768 >>> 31 === 0. Actual: ' + (32768 >>> 31)); 
} 


if (65536 >>> 31 !== 0) { 
  testFailed('#1009: 65536 >>> 31 === 0. Actual: ' + (65536 >>> 31)); 
} 


if (131072 >>> 31 !== 0) { 
  testFailed('#1010: 131072 >>> 31 === 0. Actual: ' + (131072 >>> 31)); 
} 


if (262144 >>> 31 !== 0) { 
  testFailed('#1011: 262144 >>> 31 === 0. Actual: ' + (262144 >>> 31)); 
} 


if (524288 >>> 31 !== 0) { 
  testFailed('#1012: 524288 >>> 31 === 0. Actual: ' + (524288 >>> 31)); 
} 


if (1048576 >>> 31 !== 0) { 
  testFailed('#1013: 1048576 >>> 31 === 0. Actual: ' + (1048576 >>> 31)); 
} 


if (2097152 >>> 31 !== 0) { 
  testFailed('#1014: 2097152 >>> 31 === 0. Actual: ' + (2097152 >>> 31)); 
} 


if (4194304 >>> 31 !== 0) { 
  testFailed('#1015: 4194304 >>> 31 === 0. Actual: ' + (4194304 >>> 31)); 
} 


if (8388608 >>> 31 !== 0) { 
  testFailed('#1016: 8388608 >>> 31 === 0. Actual: ' + (8388608 >>> 31)); 
} 


if (16777216 >>> 31 !== 0) { 
  testFailed('#1017: 16777216 >>> 31 === 0. Actual: ' + (16777216 >>> 31)); 
} 


if (33554432 >>> 31 !== 0) { 
  testFailed('#1018: 33554432 >>> 31 === 0. Actual: ' + (33554432 >>> 31)); 
} 


if (67108864 >>> 31 !== 0) { 
  testFailed('#1019: 67108864 >>> 31 === 0. Actual: ' + (67108864 >>> 31)); 
} 


if (134217728 >>> 31 !== 0) { 
  testFailed('#1020: 134217728 >>> 31 === 0. Actual: ' + (134217728 >>> 31)); 
} 


if (268435456 >>> 31 !== 0) { 
  testFailed('#1021: 268435456 >>> 31 === 0. Actual: ' + (268435456 >>> 31)); 
} 


if (536870912 >>> 31 !== 0) { 
  testFailed('#1022: 536870912 >>> 31 === 0. Actual: ' + (536870912 >>> 31)); 
} 


if (1073741824 >>> 31 !== 0) { 
  testFailed('#1023: 1073741824 >>> 31 === 0. Actual: ' + (1073741824 >>> 31)); 
} 


if (2147483648 >>> 31 !== 1) { 
  testFailed('#1024: 2147483648 >>> 31 === 1. Actual: ' + (2147483648 >>> 31)); 
}

} catch (ex) {
    sputnikException = ex;
}

var successfullyParsed = true;
</script>

<script>
if (!successfullyParsed)
    printTestFailed('successfullyParsed is not set');
else if (sputnikException)
    printTestFailed(sputnikException);
else
    printTestPassed("");
testPrint('<br /><span class="pass">TEST COMPLETE</span>');
</script>
</body>
</html>