// Copyright 2017, 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.

// Generated by tools/bigint-tester.py.

var data = [{
  a: 0xd1n,
  r: -0xd2n
}, {
  a: 0x6330n,
  r: -0x6331n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: 0x1a7n,
  r: -0x1a8n
}, {
  a: -0x5054n,
  r: 0x5053n
}, {
  a: -0x817bn,
  r: 0x817an
}, {
  a: -0x7e04n,
  r: 0x7e03n
}, {
  a: 0xan,
  r: -0xbn
}, {
  a: -0xf30cn,
  r: 0xf30bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x96dn,
  r: -0x96en
}, {
  a: 0x2724n,
  r: -0x2725n
}, {
  a: 0x1a50n,
  r: -0x1a51n
}, {
  a: -0x31n,
  r: 0x30n
}, {
  a: -0xde0n,
  r: 0xddfn
}, {
  a: 0x19en,
  r: -0x19fn
}, {
  a: 0x3d98n,
  r: -0x3d99n
}, {
  a: 0x7de8n,
  r: -0x7de9n
}, {
  a: 0xan,
  r: -0xbn
}, {
  a: 0x5fen,
  r: -0x5ffn
}, {
  a: 0x1n,
  r: -0x2n
}, {
  a: 0x234n,
  r: -0x235n
}, {
  a: -0xd9f1n,
  r: 0xd9f0n
}, {
  a: 0x7dcn,
  r: -0x7ddn
}, {
  a: 0x6an,
  r: -0x6bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xf6n,
  r: -0xf7n
}, {
  a: 0xb29n,
  r: -0xb2an
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xb6n,
  r: -0xb7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x6dan,
  r: -0x6dbn
}, {
  a: -0x2n,
  r: 0x1n
}, {
  a: 0x9n,
  r: -0xan
}, {
  a: -0xcefcn,
  r: 0xcefbn
}, {
  a: 0xdn,
  r: -0xen
}, {
  a: -0x1bn,
  r: 0x1an
}, {
  a: 0xb1n,
  r: -0xb2n
}, {
  a: -0xd6n,
  r: 0xd5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x344n,
  r: -0x345n
}, {
  a: 0x4fb8n,
  r: -0x4fb9n
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: 0xan,
  r: -0xbn
}, {
  a: 0x3dfn,
  r: -0x3e0n
}, {
  a: -0x9n,
  r: 0x8n
}, {
  a: -0x83fn,
  r: 0x83en
}, {
  a: 0xfbadn,
  r: -0xfbaen
}, {
  a: -0xaan,
  r: 0xa9n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: -0x6ae4n,
  r: 0x6ae3n
}, {
  a: 0x90abn,
  r: -0x90acn
}, {
  a: -0x8fn,
  r: 0x8en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbef8n,
  r: 0xbef7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8a8n,
  r: -0x8a9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x14n,
  r: 0x13n
}, {
  a: -0x2f7n,
  r: 0x2f6n
}, {
  a: -0x43n,
  r: 0x42n
}, {
  a: 0xb00n,
  r: -0xb01n
}, {
  a: 0xd9n,
  r: -0xdan
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbe6cn,
  r: 0xbe6bn
}, {
  a: -0xffn,
  r: 0xfen
}, {
  a: 0x1n,
  r: -0x2n
}, {
  a: -0x2d9n,
  r: 0x2d8n
}, {
  a: -0x321n,
  r: 0x320n
}, {
  a: -0xfa4fn,
  r: 0xfa4en
}, {
  a: -0x4bn,
  r: 0x4an
}, {
  a: -0xd73n,
  r: 0xd72n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcc9n,
  r: -0xccan
}, {
  a: -0x74n,
  r: 0x73n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x1n,
  r: -0x2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xc3n,
  r: 0xc2n
}, {
  a: -0xb6n,
  r: 0xb5n
}, {
  a: -0x28n,
  r: 0x27n
}, {
  a: 0xden,
  r: -0xdfn
}, {
  a: 0x6711n,
  r: -0x6712n
}, {
  a: 0xcn,
  r: -0xdn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xafn,
  r: 0xaen
}, {
  a: -0x28n,
  r: 0x27n
}, {
  a: -0xb1c0n,
  r: 0xb1bfn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1a0an,
  r: 0x1a09n
}, {
  a: 0x4n,
  r: -0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcn,
  r: -0xdn
}, {
  a: -0xc737n,
  r: 0xc736n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x44n,
  r: 0x43n
}, {
  a: 0x6ec6n,
  r: -0x6ec7n
}, {
  a: 0x4n,
  r: -0x5n
}, {
  a: -0xbbfn,
  r: 0xbben
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: 0x4e2fn,
  r: -0x4e30n
}, {
  a: 0x37n,
  r: -0x38n
}, {
  a: -0x8f8n,
  r: 0x8f7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8082n,
  r: -0x8083n
}, {
  a: 0x1n,
  r: -0x2n
}, {
  a: 0x97d1n,
  r: -0x97d2n
}, {
  a: 0xdb0bn,
  r: -0xdb0cn
}, {
  a: -0x1b80n,
  r: 0x1b7fn
}, {
  a: 0x9dn,
  r: -0x9en
}, {
  a: -0xfn,
  r: 0xen
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x15n,
  r: -0x16n
}, {
  a: 0x56n,
  r: -0x57n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2n,
  r: 0x1n
}, {
  a: 0xd97fn,
  r: -0xd980n
}, {
  a: 0xf8n,
  r: -0xf9n
}, {
  a: 0xba3n,
  r: -0xba4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xba1n,
  r: -0xba2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x74fn,
  r: 0x74en
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: 0x5fn,
  r: -0x60n
}, {
  a: 0x53dn,
  r: -0x53en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1n,
  r: 0n
}, {
  a: 0x1b01n,
  r: -0x1b02n
}, {
  a: 0x906n,
  r: -0x907n
}, {
  a: 0x5e9n,
  r: -0x5ean
}, {
  a: 0x956en,
  r: -0x956fn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x171n,
  r: -0x172n
}, {
  a: -0x7bn,
  r: 0x7an
}, {
  a: 0xbb7n,
  r: -0xbb8n
}, {
  a: -0xf90fn,
  r: 0xf90en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x712cn,
  r: 0x712bn
}, {
  a: -0x9n,
  r: 0x8n
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: 0x6fbn,
  r: -0x6fcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xban,
  r: 0xb9n
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: 0x5e8n,
  r: -0x5e9n
}, {
  a: 0x5bn,
  r: -0x5cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x26n,
  r: 0x25n
}, {
  a: 0xa57n,
  r: -0xa58n
}, {
  a: 0x76dn,
  r: -0x76en
}, {
  a: 0xe336n,
  r: -0xe337n
}, {
  a: 0x4n,
  r: -0x5n
}, {
  a: 0x9c42n,
  r: -0x9c43n
}, {
  a: 0x95aen,
  r: -0x95afn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x82n,
  r: 0x81n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x888n,
  r: -0x889n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: -0x9cf8n,
  r: 0x9cf7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x91fcn,
  r: 0x91fbn
}, {
  a: 0x2bn,
  r: -0x2cn
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xbn,
  r: -0xcn
}, {
  a: -0x40c7n,
  r: 0x40c6n
}, {
  a: -0x3754n,
  r: 0x3753n
}, {
  a: -0x49n,
  r: 0x48n
}, {
  a: 0xd8n,
  r: -0xd9n
}, {
  a: -0xec7n,
  r: 0xec6n
}, {
  a: -0xc7fn,
  r: 0xc7en
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: 0x22bn,
  r: -0x22cn
}, {
  a: 0xfe3n,
  r: -0xfe4n
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: 0xd83n,
  r: -0xd84n
}, {
  a: -0x436n,
  r: 0x435n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x723fn,
  r: 0x723en
}, {
  a: 0x91n,
  r: -0x92n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x707n,
  r: 0x706n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1c7n,
  r: 0x1c6n
}, {
  a: -0xd08n,
  r: 0xd07n
}, {
  a: 0x521n,
  r: -0x522n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x73can,
  r: 0x73c9n
}, {
  a: -0x72n,
  r: 0x71n
}, {
  a: 0x9n,
  r: -0xan
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x32dcn,
  r: 0x32dbn
}, {
  a: -0x835n,
  r: 0x834n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x6n,
  r: 0x5n
}, {
  a: -0x2cn,
  r: 0x2bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xf3n,
  r: 0xf2n
}, {
  a: -0x7315n,
  r: 0x7314n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xdn,
  r: 0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcn,
  r: -0xdn
}, {
  a: -0x47n,
  r: 0x46n
}, {
  a: -0x8bn,
  r: 0x8an
}, {
  a: 0x86n,
  r: -0x87n
}, {
  a: -0xe8d0n,
  r: 0xe8cfn
}, {
  a: -0x3an,
  r: 0x39n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x55e2n,
  r: -0x55e3n
}, {
  a: -0x6n,
  r: 0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: -0xb9n,
  r: 0xb8n
}, {
  a: 0xc7n,
  r: -0xc8n
}, {
  a: -0xcf5n,
  r: 0xcf4n
}, {
  a: 0x5cedn,
  r: -0x5ceen
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: -0x6n,
  r: 0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xen,
  r: -0xfn
}, {
  a: -0x9edn,
  r: 0x9ecn
}, {
  a: 0xfn,
  r: -0x10n
}, {
  a: 0xaebn,
  r: -0xaecn
}, {
  a: -0xen,
  r: 0xdn
}, {
  a: -0xe9n,
  r: 0xe8n
}, {
  a: 0x8d6an,
  r: -0x8d6bn
}, {
  a: 0x1b10n,
  r: -0x1b11n
}, {
  a: -0xb3n,
  r: 0xb2n
}, {
  a: 0xbcan,
  r: -0xbcbn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcc19n,
  r: -0xcc1an
}, {
  a: -0x223bn,
  r: 0x223an
}, {
  a: 0x5840n,
  r: -0x5841n
}, {
  a: -0x8ccn,
  r: 0x8cbn
}, {
  a: -0x605n,
  r: 0x604n
}, {
  a: 0xe12n,
  r: -0xe13n
}, {
  a: 0x41n,
  r: -0x42n
}, {
  a: 0x4625n,
  r: -0x4626n
}, {
  a: -0xf051n,
  r: 0xf050n
}, {
  a: 0xe2n,
  r: -0xe3n
}, {
  a: -0xdcn,
  r: 0xdbn
}, {
  a: 0xf47an,
  r: -0xf47bn
}, {
  a: -0x9fn,
  r: 0x9en
}, {
  a: 0xfb0n,
  r: -0xfb1n
}, {
  a: -0x591n,
  r: 0x590n
}, {
  a: -0x2c4n,
  r: 0x2c3n
}, {
  a: 0x9dn,
  r: -0x9en
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: -0x23n,
  r: 0x22n
}, {
  a: 0x9n,
  r: -0xan
}, {
  a: -0x79n,
  r: 0x78n
}, {
  a: 0xf7n,
  r: -0xf8n
}, {
  a: 0xd4n,
  r: -0xd5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xc2n,
  r: 0xc1n
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xen,
  r: 0xdn
}, {
  a: 0x5n,
  r: -0x6n
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: 0x9319n,
  r: -0x931an
}, {
  a: 0x592n,
  r: -0x593n
}, {
  a: 0x75n,
  r: -0x76n
}, {
  a: -0x9ce9n,
  r: 0x9ce8n
}, {
  a: 0xcn,
  r: -0xdn
}, {
  a: -0x37cn,
  r: 0x37bn
}, {
  a: 0xa4n,
  r: -0xa5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xa2bcn,
  r: -0xa2bdn
}, {
  a: -0xf0n,
  r: 0xefn
}, {
  a: 0xb0a0n,
  r: -0xb0a1n
}, {
  a: -0x1n,
  r: 0n
}, {
  a: 0x18n,
  r: -0x19n
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: -0xen,
  r: 0xdn
}, {
  a: 0x1d67n,
  r: -0x1d68n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xde62n,
  r: -0xde63n
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: 0xdn,
  r: -0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x665n,
  r: 0x664n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xc96dn,
  r: 0xc96cn
}, {
  a: 0xaaen,
  r: -0xaafn
}, {
  a: -0x7a4n,
  r: 0x7a3n
}, {
  a: -0x63n,
  r: 0x62n
}, {
  a: -0x518n,
  r: 0x517n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x892dn,
  r: 0x892cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd4n,
  r: 0xd3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xaen,
  r: -0xafn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x5cn,
  r: 0x5bn
}, {
  a: -0x6b5n,
  r: 0x6b4n
}, {
  a: -0x53dfn,
  r: 0x53den
}, {
  a: 0xb003n,
  r: -0xb004n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd542n,
  r: 0xd541n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x6n,
  r: 0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xa244n,
  r: -0xa245n
}, {
  a: -0x195n,
  r: 0x194n
}, {
  a: 0xeen,
  r: -0xefn
}, {
  a: -0xban,
  r: 0xb9n
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: -0x9c70n,
  r: 0x9c6fn
}, {
  a: 0xc3n,
  r: -0xc4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd4n,
  r: 0xd3n
}, {
  a: 0x3a06n,
  r: -0x3a07n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x5en,
  r: 0x5dn
}, {
  a: -0xacb0n,
  r: 0xacafn
}, {
  a: 0x57an,
  r: -0x57bn
}, {
  a: 0x1n,
  r: -0x2n
}, {
  a: 0x9349n,
  r: -0x934an
}, {
  a: -0xdfan,
  r: 0xdf9n
}, {
  a: 0x138dn,
  r: -0x138en
}, {
  a: -0xdcn,
  r: 0xdbn
}, {
  a: -0x8dn,
  r: 0x8cn
}, {
  a: 0xen,
  r: -0xfn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7616n,
  r: -0x7617n
}, {
  a: -0x5c1n,
  r: 0x5c0n
}, {
  a: -0xbcn,
  r: 0xbbn
}, {
  a: 0x36en,
  r: -0x36fn
}, {
  a: -0xce75n,
  r: 0xce74n
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: -0xaen,
  r: 0xadn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd19n,
  r: 0xd18n
}, {
  a: 0xeb5n,
  r: -0xeb6n
}, {
  a: -0xa2n,
  r: 0xa1n
}, {
  a: 0xcc4n,
  r: -0xcc5n
}, {
  a: 0xb71n,
  r: -0xb72n
}, {
  a: -0xafn,
  r: 0xaen
}, {
  a: -0xa58n,
  r: 0xa57n
}, {
  a: -0x6n,
  r: 0x5n
}, {
  a: -0x3n,
  r: 0x2n
}, {
  a: -0x8an,
  r: 0x89n
}, {
  a: 0xf7an,
  r: -0xf7bn
}, {
  a: 0x49n,
  r: -0x4an
}, {
  a: -0x33cn,
  r: 0x33bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1an,
  r: 0x19n
}, {
  a: 0x208n,
  r: -0x209n
}, {
  a: 0x5bfn,
  r: -0x5c0n
}, {
  a: 0x53cn,
  r: -0x53dn
}, {
  a: -0xec4n,
  r: 0xec3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x98n,
  r: -0x99n
}, {
  a: -0x2fbbn,
  r: 0x2fban
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0xfn,
  r: -0x10n
}, {
  a: 0x4n,
  r: -0x5n
}, {
  a: 0x1945n,
  r: -0x1946n
}, {
  a: 0x54n,
  r: -0x55n
}, {
  a: -0xfn,
  r: 0xen
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: -0xd26n,
  r: 0xd25n
}, {
  a: -0x53d4n,
  r: 0x53d3n
}, {
  a: -0xcan,
  r: 0xc9n
}, {
  a: -0xa78n,
  r: 0xa77n
}, {
  a: -0x24n,
  r: 0x23n
}, {
  a: -0xecdn,
  r: 0xeccn
}, {
  a: 0x1e5n,
  r: -0x1e6n
}, {
  a: 0x4cn,
  r: -0x4dn
}, {
  a: -0xdan,
  r: 0xd9n
}, {
  a: -0xecn,
  r: 0xebn
}, {
  a: -0x15adn,
  r: 0x15acn
}, {
  a: 0x7n,
  r: -0x8n
}, {
  a: -0x3c6n,
  r: 0x3c5n
}, {
  a: 0xfn,
  r: -0x10n
}, {
  a: 0xen,
  r: -0xfn
}, {
  a: -0xd2n,
  r: 0xd1n
}, {
  a: 0x127n,
  r: -0x128n
}, {
  a: -0x628en,
  r: 0x628dn
}, {
  a: 0x5fdn,
  r: -0x5fen
}, {
  a: 0x536n,
  r: -0x537n
}, {
  a: -0xae7n,
  r: 0xae6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xdn,
  r: -0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x9c9n,
  r: 0x9c8n
}, {
  a: 0x9a14n,
  r: -0x9a15n
}, {
  a: -0x2n,
  r: 0x1n
}, {
  a: -0xafn,
  r: 0xaen
}, {
  a: -0x72bn,
  r: 0x72an
}, {
  a: 0x8n,
  r: -0x9n
}, {
  a: 0xan,
  r: -0xbn
}, {
  a: 0xcb2fn,
  r: -0xcb30n
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: 0xf65fn,
  r: -0xf660n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x81n,
  r: 0x80n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x25cn,
  r: -0x25dn
}, {
  a: 0x4en,
  r: -0x4fn
}, {
  a: -0xa84n,
  r: 0xa83n
}, {
  a: 0xb9n,
  r: -0xban
}, {
  a: -0x1afn,
  r: 0x1aen
}, {
  a: -0x30n,
  r: 0x2fn
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: -0xfn,
  r: 0xen
}, {
  a: 0x307n,
  r: -0x308n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xe4n,
  r: -0xe5n
}, {
  a: 0xdccn,
  r: -0xdcdn
}, {
  a: -0x4f1n,
  r: 0x4f0n
}, {
  a: -0x7en,
  r: 0x7dn
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: -0xd82n,
  r: 0xd81n
}, {
  a: -0x9584n,
  r: 0x9583n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xd5a7n,
  r: -0xd5a8n
}, {
  a: -0xea8n,
  r: 0xea7n
}, {
  a: 0x4f5an,
  r: -0x4f5bn
}, {
  a: 0xf94n,
  r: -0xf95n
}, {
  a: 0x4ed6n,
  r: -0x4ed7n
}, {
  a: 0xa36fn,
  r: -0xa370n
}, {
  a: 0xb06n,
  r: -0xb07n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xe6an,
  r: 0xe69n
}, {
  a: 0x9c64n,
  r: -0x9c65n
}, {
  a: -0xb1n,
  r: 0xb0n
}, {
  a: 0x8edn,
  r: -0x8een
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8n,
  r: -0x9n
}, {
  a: -0x898n,
  r: 0x897n
}, {
  a: 0x357bn,
  r: -0x357cn
}, {
  a: -0xaen,
  r: 0xadn
}, {
  a: -0xa6n,
  r: 0xa5n
}, {
  a: -0xecn,
  r: 0xebn
}, {
  a: -0xf56fn,
  r: 0xf56en
}, {
  a: -0x8dn,
  r: 0x8cn
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: -0x4be7n,
  r: 0x4be6n
}, {
  a: 0x267n,
  r: -0x268n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xe4n,
  r: -0xe5n
}, {
  a: 0x73bfn,
  r: -0x73c0n
}, {
  a: 0x2n,
  r: -0x3n
}, {
  a: -0x34bfn,
  r: 0x34ben
}, {
  a: -0x6den,
  r: 0x6ddn
}, {
  a: 0x5n,
  r: -0x6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x3n,
  r: 0x2n
}, {
  a: 0x8dn,
  r: -0x8en
}, {
  a: 0x7e7n,
  r: -0x7e8n
}, {
  a: -0x2bn,
  r: 0x2an
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7c15n,
  r: -0x7c16n
}, {
  a: 0x64n,
  r: -0x65n
}, {
  a: 0x9ebfn,
  r: -0x9ec0n
}, {
  a: -0xd5n,
  r: 0xd4n
}, {
  a: 0x1b47n,
  r: -0x1b48n
}, {
  a: -0x5fn,
  r: 0x5en
}, {
  a: 0x64en,
  r: -0x64fn
}, {
  a: 0xfaf1n,
  r: -0xfaf2n
}, {
  a: -0xa3n,
  r: 0xa2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: 0x1102n,
  r: -0x1103n
}, {
  a: 0x41cen,
  r: -0x41cfn
}, {
  a: 0xdn,
  r: -0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7e88n,
  r: -0x7e89n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x9ee1n,
  r: 0x9ee0n
}, {
  a: -0xedn,
  r: 0xecn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xan,
  r: -0xbn
}, {
  a: 0xca17n,
  r: -0xca18n
}, {
  a: -0x2f42n,
  r: 0x2f41n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: -0x4da7n,
  r: 0x4da6n
}, {
  a: -0x452n,
  r: 0x451n
}, {
  a: 0x165n,
  r: -0x166n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5292n,
  r: -0x5293n
}, {
  a: 0x5n,
  r: -0x6n
}, {
  a: -0x1n,
  r: 0n
}, {
  a: -0x9cn,
  r: 0x9bn
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x38n,
  r: -0x39n
}, {
  a: 0xa2n,
  r: -0xa3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: 0x16n,
  r: -0x17n
}, {
  a: -0x22n,
  r: 0x21n
}, {
  a: -0xa75dn,
  r: 0xa75cn
}, {
  a: 0x43n,
  r: -0x44n
}, {
  a: -0x26n,
  r: 0x25n
}, {
  a: -0x527n,
  r: 0x526n
}, {
  a: 0xbn,
  r: -0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7e2bn,
  r: -0x7e2cn
}, {
  a: 0x7n,
  r: -0x8n
}, {
  a: 0x10n,
  r: -0x11n
}, {
  a: 0x77n,
  r: -0x78n
}, {
  a: -0x1bd6n,
  r: 0x1bd5n
}, {
  a: 0x57c4n,
  r: -0x57c5n
}, {
  a: -0xfn,
  r: 0xen
}, {
  a: 0xfa5n,
  r: -0xfa6n
}, {
  a: 0x23bn,
  r: -0x23cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: 0x9n,
  r: -0xan
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x851en,
  r: 0x851dn
}, {
  a: -0x926n,
  r: 0x925n
}, {
  a: 0x8b04n,
  r: -0x8b05n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x926n,
  r: -0x927n
}, {
  a: 0x9n,
  r: -0xan
}, {
  a: -0xf211n,
  r: 0xf210n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1056n,
  r: 0x1055n
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xdn,
  r: -0xen
}, {
  a: 0x580n,
  r: -0x581n
}, {
  a: 0xc5a1n,
  r: -0xc5a2n
}, {
  a: 0xen,
  r: -0xfn
}, {
  a: -0x721fn,
  r: 0x721en
}, {
  a: 0x8f1n,
  r: -0x8f2n
}, {
  a: -0x229n,
  r: 0x228n
}, {
  a: -0x17d5n,
  r: 0x17d4n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xf6c5n,
  r: -0xf6c6n
}, {
  a: 0x157n,
  r: -0x158n
}, {
  a: -0xdden,
  r: 0xdddn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5n,
  r: -0x6n
}, {
  a: 0xc86n,
  r: -0xc87n
}, {
  a: 0xfaacn,
  r: -0xfaadn
}, {
  a: 0x339fn,
  r: -0x33a0n
}, {
  a: -0xffn,
  r: 0xfen
}, {
  a: 0xba0n,
  r: -0xba1n
}, {
  a: 0x3e7n,
  r: -0x3e8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xbc2n,
  r: -0xbc3n
}, {
  a: 0xacn,
  r: -0xadn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x58cn,
  r: 0x58bn
}, {
  a: 0xd1n,
  r: -0xd2n
}, {
  a: 0x536cn,
  r: -0x536dn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcn,
  r: -0xdn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xe49n,
  r: 0xe48n
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: -0x2n,
  r: 0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x907n,
  r: -0x908n
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: -0x48a2n,
  r: 0x48a1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x9n,
  r: 0x8n
}, {
  a: 0xa720n,
  r: -0xa721n
}, {
  a: -0xc8n,
  r: 0xc7n
}, {
  a: -0xff89n,
  r: 0xff88n
}, {
  a: -0x21n,
  r: 0x20n
}, {
  a: 0xe51bn,
  r: -0xe51cn
}, {
  a: 0x55bbn,
  r: -0x55bcn
}, {
  a: -0xe5n,
  r: 0xe4n
}, {
  a: -0x3466n,
  r: 0x3465n
}, {
  a: -0xebn,
  r: 0xean
}, {
  a: 0x26can,
  r: -0x26cbn
}, {
  a: -0x9cn,
  r: 0x9bn
}, {
  a: -0xa14an,
  r: 0xa149n
}, {
  a: 0x6n,
  r: -0x7n
}, {
  a: 0x4bn,
  r: -0x4cn
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: 0xd0c7n,
  r: -0xd0c8n
}, {
  a: -0xfn,
  r: 0xen
}, {
  a: -0xban,
  r: 0xb9n
}, {
  a: 0x4cn,
  r: -0x4dn
}, {
  a: 0x4n,
  r: -0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x80fn,
  r: -0x810n
}, {
  a: 0xben,
  r: -0xbfn
}, {
  a: -0xdn,
  r: 0xcn
}, {
  a: 0x55f7n,
  r: -0x55f8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: 0x6fdn,
  r: -0x6fen
}, {
  a: -0xbd7n,
  r: 0xbd6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0x8c5n,
  r: -0x8c6n
}, {
  a: -0x5f8fn,
  r: 0x5f8en
}, {
  a: 0x71e9n,
  r: -0x71ean
}, {
  a: 0x9fn,
  r: -0xa0n
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x48n,
  r: -0x49n
}, {
  a: -0x9n,
  r: 0x8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x212n,
  r: -0x213n
}, {
  a: 0x36d3n,
  r: -0x36d4n
}, {
  a: 0xe7n,
  r: -0xe8n
}, {
  a: -0x34an,
  r: 0x349n
}, {
  a: -0x7e0n,
  r: 0x7dfn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x15a8n,
  r: -0x15a9n
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: -0xa3an,
  r: 0xa39n
}, {
  a: 0x1n,
  r: -0x2n
}, {
  a: -0xdn,
  r: 0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xdcn,
  r: -0xddn
}, {
  a: 0x9en,
  r: -0x9fn
}, {
  a: -0xdfn,
  r: 0xden
}, {
  a: 0x333cn,
  r: -0x333dn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8a33n,
  r: 0x8a32n
}, {
  a: -0xan,
  r: 0x9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xafan,
  r: 0xaf9n
}, {
  a: -0x5n,
  r: 0x4n
}, {
  a: 0x91cn,
  r: -0x91dn
}, {
  a: -0x3n,
  r: 0x2n
}, {
  a: -0x58n,
  r: 0x57n
}, {
  a: 0x83n,
  r: -0x84n
}, {
  a: -0x1n,
  r: 0n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7n,
  r: -0x8n
}, {
  a: 0x4c4n,
  r: -0x4c5n
}, {
  a: 0xban,
  r: -0xbbn
}, {
  a: -0x4f16n,
  r: 0x4f15n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xf74n,
  r: -0xf75n
}, {
  a: 0x4fb7n,
  r: -0x4fb8n
}, {
  a: -0xb1cn,
  r: 0xb1bn
}, {
  a: 0x4een,
  r: -0x4efn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x50n,
  r: 0x4fn
}, {
  a: 0x9n,
  r: -0xan
}, {
  a: 0x6dc9n,
  r: -0x6dcan
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0xea22n,
  r: -0xea23n
}, {
  a: 0x8b23n,
  r: -0x8b24n
}, {
  a: 0x3a26n,
  r: -0x3a27n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x9db5n,
  r: -0x9db6n
}, {
  a: 0x7n,
  r: -0x8n
}, {
  a: -0xan,
  r: 0x9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xde2n,
  r: 0xde1n
}, {
  a: -0x8bn,
  r: 0x8an
}, {
  a: -0xcfn,
  r: 0xcen
}, {
  a: -0x1ff7n,
  r: 0x1ff6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xccn,
  r: 0xcbn
}, {
  a: -0xef7n,
  r: 0xef6n
}, {
  a: 0x241n,
  r: -0x242n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2n,
  r: 0x1n
}, {
  a: 0xccn,
  r: -0xcdn
}, {
  a: 0x9e80n,
  r: -0x9e81n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7fn,
  r: -0x80n
}, {
  a: 0xca7n,
  r: -0xca8n
}, {
  a: -0xe5en,
  r: 0xe5dn
}, {
  a: -0x7dbn,
  r: 0x7dan
}, {
  a: 0xda7n,
  r: -0xda8n
}, {
  a: 0x29cn,
  r: -0x29dn
}, {
  a: 0xd78n,
  r: -0xd79n
}, {
  a: 0x6n,
  r: -0x7n
}, {
  a: -0xc23n,
  r: 0xc22n
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: -0x38n,
  r: 0x37n
}, {
  a: -0xfc0bn,
  r: 0xfc0an
}, {
  a: 0x8aan,
  r: -0x8abn
}, {
  a: 0xc165n,
  r: -0xc166n
}, {
  a: 0xd6n,
  r: -0xd7n
}, {
  a: 0x193n,
  r: -0x194n
}, {
  a: 0x3bd3n,
  r: -0x3bd4n
}, {
  a: 0xed4an,
  r: -0xed4bn
}, {
  a: -0x6a32n,
  r: 0x6a31n
}, {
  a: 0x38n,
  r: -0x39n
}, {
  a: 0x24can,
  r: -0x24cbn
}, {
  a: 0xf0n,
  r: -0xf1n
}, {
  a: 0x4c6n,
  r: -0x4c7n
}, {
  a: 0x5dn,
  r: -0x5en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xb98n,
  r: 0xb97n
}, {
  a: -0x29n,
  r: 0x28n
}, {
  a: -0x8bn,
  r: 0x8an
}, {
  a: 0xd416n,
  r: -0xd417n
}, {
  a: 0x6b65n,
  r: -0x6b66n
}, {
  a: 0x4c5n,
  r: -0x4c6n
}, {
  a: -0x2f1n,
  r: 0x2f0n
}, {
  a: -0x81n,
  r: 0x80n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x61n,
  r: -0x62n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xe852n,
  r: -0xe853n
}, {
  a: 0x2829n,
  r: -0x282an
}, {
  a: -0x7dbdn,
  r: 0x7dbcn
}, {
  a: -0xe0n,
  r: 0xdfn
}, {
  a: 0x1een,
  r: -0x1efn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xedn,
  r: -0xeen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x71n,
  r: -0x72n
}, {
  a: -0xa0d1n,
  r: 0xa0d0n
}, {
  a: -0xdc4n,
  r: 0xdc3n
}, {
  a: 0x6n,
  r: -0x7n
}, {
  a: -0xfdn,
  r: 0xfcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x3n,
  r: 0x2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xdn,
  r: 0xcn
}, {
  a: 0x3an,
  r: -0x3bn
}, {
  a: 0xd4fcn,
  r: -0xd4fdn
}, {
  a: -0xb3n,
  r: 0xb2n
}, {
  a: -0x4aen,
  r: 0x4adn
}, {
  a: -0x6n,
  r: 0x5n
}, {
  a: -0xea0n,
  r: 0xe9fn
}, {
  a: -0xa11n,
  r: 0xa10n
}, {
  a: 0xfn,
  r: -0x10n
}, {
  a: 0x6n,
  r: -0x7n
}, {
  a: -0xa7n,
  r: 0xa6n
}, {
  a: -0xaa8n,
  r: 0xaa7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3d8en,
  r: -0x3d8fn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x34n,
  r: 0x33n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8b17n,
  r: -0x8b18n
}, {
  a: 0x85n,
  r: -0x86n
}, {
  a: -0x932n,
  r: 0x931n
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0x8n,
  r: -0x9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x44n,
  r: 0x43n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2d7n,
  r: 0x2d6n
}, {
  a: 0x504n,
  r: -0x505n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcn,
  r: -0xdn
}, {
  a: 0xbf14n,
  r: -0xbf15n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8an,
  r: 0x89n
}, {
  a: 0x16n,
  r: -0x17n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: -0x2455n,
  r: 0x2454n
}, {
  a: -0xdn,
  r: 0xcn
}, {
  a: -0x1e4fn,
  r: 0x1e4en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xdn,
  r: 0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xddan,
  r: 0xdd9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xdn,
  r: -0xen
}, {
  a: 0xc7fn,
  r: -0xc80n
}, {
  a: 0xd77n,
  r: -0xd78n
}, {
  a: -0x25n,
  r: 0x24n
}, {
  a: 0x9cn,
  r: -0x9dn
}, {
  a: 0x72n,
  r: -0x73n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5fn,
  r: -0x60n
}, {
  a: -0xan,
  r: 0x9n
}, {
  a: -0x7ce6n,
  r: 0x7ce5n
}, {
  a: -0x61n,
  r: 0x60n
}, {
  a: 0xc81n,
  r: -0xc82n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5n,
  r: -0x6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8n,
  r: -0x9n
}, {
  a: 0x825an,
  r: -0x825bn
}, {
  a: 0x3cn,
  r: -0x3dn
}, {
  a: -0xen,
  r: 0xdn
}, {
  a: -0xec2dn,
  r: 0xec2cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xa5n,
  r: 0xa4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xcn,
  r: 0xbn
}, {
  a: -0x2n,
  r: 0x1n
}, {
  a: 0x15n,
  r: -0x16n
}, {
  a: 0x3b1n,
  r: -0x3b2n
}, {
  a: 0xfa0n,
  r: -0xfa1n
}, {
  a: 0x6dacn,
  r: -0x6dadn
}, {
  a: 0x1645n,
  r: -0x1646n
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: 0x8bn,
  r: -0x8cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x61n,
  r: -0x62n
}, {
  a: 0x89fn,
  r: -0x8a0n
}, {
  a: -0x64an,
  r: 0x649n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xbn,
  r: -0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xef29n,
  r: -0xef2an
}, {
  a: -0x9n,
  r: 0x8n
}, {
  a: 0x9c6n,
  r: -0x9c7n
}, {
  a: -0xb5n,
  r: 0xb4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x80fn,
  r: -0x810n
}, {
  a: -0xae5n,
  r: 0xae4n
}, {
  a: -0x3n,
  r: 0x2n
}, {
  a: -0x8n,
  r: 0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd42n,
  r: 0xd41n
}, {
  a: -0xdn,
  r: 0xcn
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: 0xe7can,
  r: -0xe7cbn
}, {
  a: -0xaan,
  r: 0xa9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x49n,
  r: -0x4an
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x523n,
  r: 0x522n
}, {
  a: 0x68n,
  r: -0x69n
}, {
  a: -0xbn,
  r: 0xan
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xfcdn,
  r: 0xfccn
}, {
  a: -0xfn,
  r: 0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xb83n,
  r: -0xb84n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x906n,
  r: 0x905n
}, {
  a: 0x1d7an,
  r: -0x1d7bn
}, {
  a: 0x28n,
  r: -0x29n
}, {
  a: -0x48dn,
  r: 0x48cn
}, {
  a: 0x5n,
  r: -0x6n
}, {
  a: 0xcd2n,
  r: -0xcd3n
}, {
  a: 0x981n,
  r: -0x982n
}, {
  a: 0x3e1n,
  r: -0x3e2n
}, {
  a: -0x46n,
  r: 0x45n
}, {
  a: -0x7en,
  r: 0x7dn
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x4n,
  r: -0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xfc55n,
  r: -0xfc56n
}, {
  a: 0xa6n,
  r: -0xa7n
}, {
  a: -0xefen,
  r: 0xefdn
}, {
  a: 0xan,
  r: -0xbn
}, {
  a: -0xden,
  r: 0xddn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x6c0n,
  r: 0x6bfn
}, {
  a: 0xf15n,
  r: -0xf16n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xc3n,
  r: -0xc4n
}, {
  a: -0xc3bn,
  r: 0xc3an
}, {
  a: -0x96n,
  r: 0x95n
}, {
  a: -0xfn,
  r: 0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xfn,
  r: -0x10n
}, {
  a: -0xb7en,
  r: 0xb7dn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xe7n,
  r: 0xe6n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x6cn,
  r: -0x6dn
}, {
  a: 0xebn,
  r: -0xecn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xd83n,
  r: -0xd84n
}, {
  a: 0x52n,
  r: -0x53n
}, {
  a: -0x50n,
  r: 0x4fn
}, {
  a: 0x2an,
  r: -0x2bn
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: 0x3f6n,
  r: -0x3f7n
}, {
  a: -0x2fn,
  r: 0x2en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x6n,
  r: -0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcn,
  r: -0xdn
}, {
  a: -0x391n,
  r: 0x390n
}, {
  a: -0x16n,
  r: 0x15n
}, {
  a: -0x4934n,
  r: 0x4933n
}, {
  a: 0xa348n,
  r: -0xa349n
}, {
  a: 0x3ad4n,
  r: -0x3ad5n
}, {
  a: -0xbabcn,
  r: 0xbabbn
}, {
  a: -0x9ff5n,
  r: 0x9ff4n
}, {
  a: -0x7n,
  r: 0x6n
}, {
  a: -0xbc90n,
  r: 0xbc8fn
}, {
  a: -0xabfdn,
  r: 0xabfcn
}, {
  a: 0x7n,
  r: -0x8n
}, {
  a: -0x4n,
  r: 0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x6c6n,
  r: -0x6c7n
}, {
  a: -0xb8n,
  r: 0xb7n
}, {
  a: 0x3an,
  r: -0x3bn
}, {
  a: -0xa47cn,
  r: 0xa47bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x916n,
  r: -0x917n
}, {
  a: 0x31n,
  r: -0x32n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2n,
  r: 0x1n
}, {
  a: 0x33n,
  r: -0x34n
}, {
  a: 0xa530n,
  r: -0xa531n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x757n,
  r: -0x758n
}, {
  a: -0x729dn,
  r: 0x729cn
}, {
  a: 0xfn,
  r: -0x10n
}, {
  a: 0x1e3n,
  r: -0x1e4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xf9n,
  r: 0xf8n
}, {
  a: 0x109n,
  r: -0x10an
}, {
  a: 0x8c74n,
  r: -0x8c75n
}, {
  a: 0x3n,
  r: -0x4n
}, {
  a: -0x39n,
  r: 0x38n
}, {
  a: 0x43n,
  r: -0x44n
}, {
  a: 0xe6en,
  r: -0xe6fn
}, {
  a: 0xa8n,
  r: -0xa9n
}, {
  a: 0x78n,
  r: -0x79n
}, {
  a: 0x7n,
  r: -0x8n
}, {
  a: -0xa48n,
  r: 0xa47n
}, {
  a: 0x766n,
  r: -0x767n
}, {
  a: 0xe16n,
  r: -0xe17n
}, {
  a: -0x19n,
  r: 0x18n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x552n,
  r: -0x553n
}, {
  a: -0x577n,
  r: 0x576n
}, {
  a: 0xd95n,
  r: -0xd96n
}, {
  a: 0x29n,
  r: -0x2an
}, {
  a: -0xb95n,
  r: 0xb94n
}, {
  a: -0x5f5n,
  r: 0x5f4n
}, {
  a: -0x89ban,
  r: 0x89b9n
}, {
  a: 0x2fn,
  r: -0x30n
}, {
  a: 0x99n,
  r: -0x9an
}, {
  a: 0x8n,
  r: -0x9n
}, {
  a: -0xaan,
  r: 0xa9n
}, {
  a: 0xbfn,
  r: -0xc0n
}];

function main() {
  var error_count = 0;
  for (var i = 0; i < data.length; i++) {
    var d = data[i];
    var a = d.a;
  var r = ~a;
  if (d.r !== r) {
    print("Input:    " + a.toString(16));
    print("Result:   " + r.toString(16));
    print("Expected: " + d.r.toString(16));
    error_count++;
  }
  }
  if (error_count !== 0)
    throw new Error("Finished with " + error_count + " errors.")
}
for (var i = 0; i < 1000; ++i)
  main();