// 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: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0x3c4n,
  b: 0n,
  r: 0x3c4n
}, {
  a: 0x45n,
  b: -0xa1n,
  r: 0n
}, {
  a: -0xc45n,
  b: -0xdn,
  r: -0x1n
}, {
  a: -0x3bn,
  b: 0xfn,
  r: -0x1d8000n
}, {
  a: -0xcbbn,
  b: 0n,
  r: -0xcbbn
}, {
  a: 0x2bn,
  b: -0xbn,
  r: 0n
}, {
  a: -0x529n,
  b: 0xen,
  r: -0x14a4000n
}, {
  a: 0x4n,
  b: 0xen,
  r: 0x10000n
}, {
  a: 0xb4an,
  b: 0x1n,
  r: 0x1694n
}, {
  a: 0x794n,
  b: 0x8n,
  r: 0x79400n
}, {
  a: 0x9c1n,
  b: -0x55fn,
  r: 0n
}, {
  a: 0x7n,
  b: 0xen,
  r: 0x1c000n
}, {
  a: 0x3n,
  b: 0x1n,
  r: 0x6n
}, {
  a: 0x57n,
  b: 0xbn,
  r: 0x2b800n
}, {
  a: 0xdn,
  b: 0x3n,
  r: 0x68n
}, {
  a: 0x5n,
  b: 0xfn,
  r: 0x28000n
}, {
  a: 0xc4n,
  b: 0x7n,
  r: 0x6200n
}, {
  a: -0x1en,
  b: 0n,
  r: -0x1en
}, {
  a: 0n,
  b: -0x27n,
  r: 0n
}, {
  a: 0x5bn,
  b: 0xan,
  r: 0x16c00n
}, {
  a: -0x1n,
  b: 0x8n,
  r: -0x100n
}, {
  a: 0x46n,
  b: -0x633n,
  r: 0n
}, {
  a: -0xbn,
  b: -0xfn,
  r: -0x1n
}, {
  a: 0x66n,
  b: 0x3n,
  r: 0x330n
}, {
  a: -0x6een,
  b: -0x51n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: -0xd6cn,
  b: 0x7n,
  r: -0x6b600n
}, {
  a: -0xf42n,
  b: 0x9n,
  r: -0x1e8400n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: 0x2n,
  b: -0x4en,
  r: 0n
}, {
  a: 0n,
  b: -0xecn,
  r: 0n
}, {
  a: 0x7n,
  b: 0x9n,
  r: 0xe00n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0x2fcn,
  b: -0xcn,
  r: -0x1n
}, {
  a: -0x549n,
  b: -0xd8dn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0xcen,
  b: 0x9n,
  r: 0x19c00n
}, {
  a: -0x2n,
  b: -0xen,
  r: -0x1n
}, {
  a: 0x864n,
  b: 0xan,
  r: 0x219000n
}, {
  a: 0x23an,
  b: -0x1n,
  r: 0x11dn
}, {
  a: 0x142n,
  b: -0x17n,
  r: 0n
}, {
  a: -0x9n,
  b: -0x1en,
  r: -0x1n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: -0x14an,
  b: -0x7dn,
  r: -0x1n
}, {
  a: 0xa0n,
  b: 0xen,
  r: 0x280000n
}, {
  a: 0x40n,
  b: 0x1n,
  r: 0x80n
}, {
  a: -0xd60n,
  b: -0xb4n,
  r: -0x1n
}, {
  a: -0xfn,
  b: -0x3f3n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: -0x5n,
  b: 0xen,
  r: -0x14000n
}, {
  a: -0x53n,
  b: 0xen,
  r: -0x14c000n
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: 0x7n,
  b: 0x8n,
  r: 0x700n
}, {
  a: -0x74n,
  b: 0xen,
  r: -0x1d0000n
}, {
  a: -0x8fn,
  b: 0x8n,
  r: -0x8f00n
}, {
  a: 0x94cn,
  b: 0x5n,
  r: 0x12980n
}, {
  a: -0x1a1n,
  b: 0xbn,
  r: -0xd0800n
}, {
  a: 0x6n,
  b: -0xef4n,
  r: 0n
}, {
  a: -0x7n,
  b: 0xbn,
  r: -0x3800n
}, {
  a: -0x4dn,
  b: 0n,
  r: -0x4dn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x7dan,
  b: -0x46n,
  r: 0n
}, {
  a: 0xf5fn,
  b: -0x6n,
  r: 0x3dn
}, {
  a: 0x92n,
  b: 0x4n,
  r: 0x920n
}, {
  a: 0x575n,
  b: 0n,
  r: 0x575n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: -0xfn,
  b: 0x2n,
  r: -0x3cn
}, {
  a: -0xbn,
  b: 0n,
  r: -0xbn
}, {
  a: -0x706n,
  b: -0xen,
  r: -0x1n
}, {
  a: -0x32n,
  b: 0xcn,
  r: -0x32000n
}, {
  a: 0x9n,
  b: 0xbn,
  r: 0x4800n
}, {
  a: -0xe1cn,
  b: 0n,
  r: -0xe1cn
}, {
  a: -0xen,
  b: -0xfn,
  r: -0x1n
}, {
  a: 0xe99n,
  b: 0n,
  r: 0xe99n
}, {
  a: -0xbn,
  b: -0x54an,
  r: -0x1n
}, {
  a: -0x52bn,
  b: 0x4n,
  r: -0x52b0n
}, {
  a: 0x3b2n,
  b: 0xen,
  r: 0xec8000n
}, {
  a: -0xen,
  b: 0xcn,
  r: -0xe000n
}, {
  a: -0xf55n,
  b: -0xdabn,
  r: -0x1n
}, {
  a: 0xfn,
  b: -0x1fn,
  r: 0n
}, {
  a: -0x77n,
  b: -0x60n,
  r: -0x1n
}, {
  a: -0x520n,
  b: 0x9n,
  r: -0xa4000n
}, {
  a: -0x9n,
  b: 0x6n,
  r: -0x240n
}, {
  a: 0x8a2n,
  b: 0x6n,
  r: 0x22880n
}, {
  a: -0x8n,
  b: 0xbn,
  r: -0x4000n
}, {
  a: -0x1an,
  b: -0xe42n,
  r: -0x1n
}, {
  a: 0x50n,
  b: 0xdn,
  r: 0xa0000n
}, {
  a: -0xfn,
  b: 0xbn,
  r: -0x7800n
}, {
  a: 0n,
  b: -0x37n,
  r: 0n
}, {
  a: 0x91en,
  b: -0x8n,
  r: 0x9n
}, {
  a: -0x6fn,
  b: 0x7n,
  r: -0x3780n
}, {
  a: -0x2d6n,
  b: -0x4n,
  r: -0x2en
}, {
  a: 0xd01n,
  b: -0xc7n,
  r: 0n
}, {
  a: -0x63n,
  b: 0x1n,
  r: -0xc6n
}, {
  a: -0x69n,
  b: -0xdn,
  r: -0x1n
}, {
  a: -0x6n,
  b: -0x86an,
  r: -0x1n
}, {
  a: -0xecfn,
  b: -0x2n,
  r: -0x3b4n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x6e3n,
  r: 0n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: -0xan,
  b: 0n,
  r: -0xan
}, {
  a: -0x5n,
  b: 0xbn,
  r: -0x2800n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: -0x7cn,
  b: -0x6n,
  r: -0x2n
}, {
  a: 0x1cn,
  b: 0x4n,
  r: 0x1c0n
}, {
  a: -0x4n,
  b: 0x8n,
  r: -0x400n
}, {
  a: 0n,
  b: -0xfen,
  r: 0n
}, {
  a: -0x69n,
  b: -0x5bn,
  r: -0x1n
}, {
  a: -0xf2n,
  b: 0xbn,
  r: -0x79000n
}, {
  a: -0x81n,
  b: 0x8n,
  r: -0x8100n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x16an,
  b: 0xbn,
  r: 0xb5000n
}, {
  a: 0xe15n,
  b: -0x3dn,
  r: 0n
}, {
  a: -0xbn,
  b: -0xaa2n,
  r: -0x1n
}, {
  a: -0x17n,
  b: -0xedn,
  r: -0x1n
}, {
  a: -0x2bn,
  b: 0n,
  r: -0x2bn
}, {
  a: 0x8bn,
  b: 0xen,
  r: 0x22c000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0x47n,
  b: 0n,
  r: 0x47n
}, {
  a: 0x7an,
  b: -0x6d7n,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xfan,
  b: -0xd5n,
  r: -0x1n
}, {
  a: -0x37n,
  b: -0x78n,
  r: -0x1n
}, {
  a: -0x4n,
  b: 0x9n,
  r: -0x800n
}, {
  a: 0xd0n,
  b: 0x2n,
  r: 0x340n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: -0x6n,
  b: 0x5n,
  r: -0xc0n
}, {
  a: -0x417n,
  b: -0xde7n,
  r: -0x1n
}, {
  a: -0xan,
  b: -0xf14n,
  r: -0x1n
}, {
  a: 0x69n,
  b: -0x1n,
  r: 0x34n
}, {
  a: 0n,
  b: -0xd9n,
  r: 0n
}, {
  a: -0xf1n,
  b: -0x889n,
  r: -0x1n
}, {
  a: -0x2dn,
  b: -0xe8n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x4dn,
  r: 0n
}, {
  a: -0x4fn,
  b: -0x5n,
  r: -0x3n
}, {
  a: 0xcc4n,
  b: 0x5n,
  r: 0x19880n
}, {
  a: 0xeen,
  b: 0xdn,
  r: 0x1dc000n
}, {
  a: 0xb5n,
  b: -0x4n,
  r: 0xbn
}, {
  a: 0x66cn,
  b: 0xbn,
  r: 0x336000n
}, {
  a: -0xan,
  b: 0x2n,
  r: -0x28n
}, {
  a: -0xen,
  b: -0xfan,
  r: -0x1n
}, {
  a: -0x45n,
  b: 0x5n,
  r: -0x8a0n
}, {
  a: 0xb8n,
  b: 0x5n,
  r: 0x1700n
}, {
  a: -0xa6n,
  b: -0x1n,
  r: -0x53n
}, {
  a: 0x3n,
  b: 0x4n,
  r: 0x30n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0x7fn,
  b: 0n,
  r: -0x7fn
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x9e2n,
  b: -0xfbn,
  r: -0x1n
}, {
  a: 0n,
  b: -0xd8bn,
  r: 0n
}, {
  a: -0x9acn,
  b: -0x7f0n,
  r: -0x1n
}, {
  a: 0x711n,
  b: 0xfn,
  r: 0x3888000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x38n,
  b: -0x3c0n,
  r: 0n
}, {
  a: 0n,
  b: -0xa4n,
  r: 0n
}, {
  a: -0x19n,
  b: 0xdn,
  r: -0x32000n
}, {
  a: 0xb37n,
  b: -0x77en,
  r: 0n
}, {
  a: -0x2d3n,
  b: 0n,
  r: -0x2d3n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0n,
  b: -0xedn,
  r: 0n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: 0xen,
  b: 0xan,
  r: 0x3800n
}, {
  a: 0x75an,
  b: -0xbdn,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0xf2n,
  b: 0x2n,
  r: -0x3c8n
}, {
  a: -0x107n,
  b: 0x8n,
  r: -0x10700n
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: -0xa95n,
  b: 0x3n,
  r: -0x54a8n
}, {
  a: -0xb85n,
  b: -0xd8dn,
  r: -0x1n
}, {
  a: 0xfn,
  b: -0x4n,
  r: 0n
}, {
  a: 0x20n,
  b: -0x8dn,
  r: 0n
}, {
  a: 0xen,
  b: -0x6n,
  r: 0n
}, {
  a: 0x85n,
  b: -0x7n,
  r: 0x1n
}, {
  a: 0xdn,
  b: -0x6n,
  r: 0n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: -0xdn,
  b: 0xfn,
  r: -0x68000n
}, {
  a: 0xcf6n,
  b: 0n,
  r: 0xcf6n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0n,
  b: -0x5ben,
  r: 0n
}, {
  a: 0xfn,
  b: 0x2n,
  r: 0x3cn
}, {
  a: -0x8b0n,
  b: 0xcn,
  r: -0x8b0000n
}, {
  a: -0x98n,
  b: 0n,
  r: -0x98n
}, {
  a: 0x7c0n,
  b: 0xbn,
  r: 0x3e0000n
}, {
  a: -0xfn,
  b: 0xcn,
  r: -0xf000n
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: 0n,
  b: -0x916n,
  r: 0n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: 0x7en,
  b: -0x9n,
  r: 0n
}, {
  a: -0xd6n,
  b: 0x7n,
  r: -0x6b00n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: 0n,
  b: -0x11n,
  r: 0n
}, {
  a: -0x653n,
  b: -0x1n,
  r: -0x32an
}, {
  a: 0xbn,
  b: 0n,
  r: 0xbn
}, {
  a: 0n,
  b: -0x1d4n,
  r: 0n
}, {
  a: 0xan,
  b: -0xcn,
  r: 0n
}, {
  a: 0xcbn,
  b: -0x3n,
  r: 0x19n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0xb60n,
  b: -0x77n,
  r: 0n
}, {
  a: 0xefn,
  b: -0xc9n,
  r: 0n
}, {
  a: 0x31n,
  b: 0xcn,
  r: 0x31000n
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: 0x5n,
  b: -0x4n,
  r: 0n
}, {
  a: -0xfn,
  b: -0x75fn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: -0x4dn,
  b: 0xbn,
  r: -0x26800n
}, {
  a: -0xc0n,
  b: 0n,
  r: -0xc0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xb8en,
  b: 0x5n,
  r: -0x171c0n
}, {
  a: 0x96bn,
  b: 0xbn,
  r: 0x4b5800n
}, {
  a: 0x7n,
  b: -0xacn,
  r: 0n
}, {
  a: -0x5n,
  b: 0x4n,
  r: -0x50n
}, {
  a: 0x2en,
  b: -0xcn,
  r: 0n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0n,
  b: -0xe2n,
  r: 0n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0x726n,
  b: -0x41n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: 0x14n,
  b: 0x6n,
  r: 0x500n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: -0x4n,
  b: 0x8n,
  r: -0x400n
}, {
  a: -0x2en,
  b: 0xdn,
  r: -0x5c000n
}, {
  a: -0xfn,
  b: 0x3n,
  r: -0x78n
}, {
  a: -0x21en,
  b: 0x9n,
  r: -0x43c00n
}, {
  a: -0x2cn,
  b: 0xen,
  r: -0xb0000n
}, {
  a: 0x8n,
  b: 0xdn,
  r: 0x10000n
}, {
  a: 0x86n,
  b: 0x9n,
  r: 0x10c00n
}, {
  a: 0x7n,
  b: -0x474n,
  r: 0n
}, {
  a: -0xfn,
  b: 0x7n,
  r: -0x780n
}, {
  a: -0xadn,
  b: 0xbn,
  r: -0x56800n
}, {
  a: -0xan,
  b: 0xan,
  r: -0x2800n
}, {
  a: -0x5n,
  b: -0x15n,
  r: -0x1n
}, {
  a: 0xbe7n,
  b: 0x4n,
  r: 0xbe70n
}, {
  a: -0xa1n,
  b: -0xe9dn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: -0x52bn,
  b: -0xacn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0x6b4n,
  b: -0x79n,
  r: -0x1n
}, {
  a: 0x2e2n,
  b: 0x3n,
  r: 0x1710n
}, {
  a: -0x4en,
  b: -0x5bn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: -0xan,
  b: 0x1n,
  r: -0x14n
}, {
  a: 0x110n,
  b: 0x3n,
  r: 0x880n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: -0xb2n,
  b: 0x9n,
  r: -0x16400n
}, {
  a: 0xcn,
  b: -0xfd4n,
  r: 0n
}, {
  a: -0xb3n,
  b: -0xdn,
  r: -0x1n
}, {
  a: 0x4bbn,
  b: -0xfbn,
  r: 0n
}, {
  a: 0x52n,
  b: 0xen,
  r: 0x148000n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0x8cn,
  b: 0x7n,
  r: 0x4600n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0xcen,
  b: -0x3bn,
  r: 0n
}, {
  a: 0xbcn,
  b: -0x78n,
  r: 0n
}, {
  a: -0x8n,
  b: 0xan,
  r: -0x2000n
}, {
  a: -0x640n,
  b: -0x944n,
  r: -0x1n
}, {
  a: 0x5n,
  b: -0x25n,
  r: 0n
}, {
  a: 0xedn,
  b: 0xan,
  r: 0x3b400n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0x6an,
  b: 0x1n,
  r: 0xd4n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0xen,
  b: 0xan,
  r: 0x3800n
}, {
  a: -0xad2n,
  b: 0x4n,
  r: -0xad20n
}, {
  a: 0x8afn,
  b: -0x87n,
  r: 0n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0xf1n,
  b: -0x40n,
  r: 0n
}, {
  a: -0x3dn,
  b: -0xc1n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: -0xbcdn,
  b: 0x7n,
  r: -0x5e680n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x8adn,
  b: -0xen,
  r: -0x1n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0x566n,
  b: -0xfecn,
  r: -0x1n
}, {
  a: 0xcn,
  b: 0x9n,
  r: 0x1800n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0xf3n,
  b: 0xan,
  r: -0x3cc00n
}, {
  a: 0x93fn,
  b: 0xcn,
  r: 0x93f000n
}, {
  a: -0x9n,
  b: 0x1n,
  r: -0x12n
}, {
  a: 0n,
  b: -0xa4an,
  r: 0n
}, {
  a: -0x8n,
  b: 0x4n,
  r: -0x80n
}, {
  a: 0x44n,
  b: -0x4ccn,
  r: 0n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0x1n,
  b: 0xcn,
  r: 0x1000n
}, {
  a: 0n,
  b: -0x9can,
  r: 0n
}, {
  a: 0x67n,
  b: 0n,
  r: 0x67n
}, {
  a: 0xecn,
  b: 0n,
  r: 0xecn
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0x54n,
  b: -0x31n,
  r: 0n
}, {
  a: -0xe4n,
  b: 0x1n,
  r: -0x1c8n
}, {
  a: 0xan,
  b: -0xcn,
  r: 0n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0x9dbn,
  b: 0xen,
  r: -0x276c000n
}, {
  a: 0x4dn,
  b: -0x24n,
  r: 0n
}, {
  a: 0x833n,
  b: 0n,
  r: 0x833n
}, {
  a: 0xban,
  b: -0xc5n,
  r: 0n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0n,
  b: -0x84n,
  r: 0n
}, {
  a: 0xf08n,
  b: 0n,
  r: 0xf08n
}, {
  a: 0xfan,
  b: 0xan,
  r: 0x3e800n
}, {
  a: -0x3n,
  b: -0x5n,
  r: -0x1n
}, {
  a: -0x547n,
  b: -0x5an,
  r: -0x1n
}, {
  a: 0xbd8n,
  b: 0n,
  r: 0xbd8n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0xb06n,
  b: 0n,
  r: 0xb06n
}, {
  a: 0xan,
  b: -0x19n,
  r: 0n
}, {
  a: -0xa5an,
  b: 0x5n,
  r: -0x14b40n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0x3n,
  b: 0n,
  r: 0x3n
}, {
  a: 0x6bn,
  b: -0xae2n,
  r: 0n
}, {
  a: 0xan,
  b: -0xd0n,
  r: 0n
}, {
  a: 0x629n,
  b: 0x4n,
  r: 0x6290n
}, {
  a: -0x5an,
  b: 0x3n,
  r: -0x2d0n
}, {
  a: 0xe7n,
  b: 0x9n,
  r: 0x1ce00n
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: -0x5aan,
  b: -0xan,
  r: -0x2n
}, {
  a: -0xfe3n,
  b: 0xdn,
  r: -0x1fc6000n
}, {
  a: -0x7d8n,
  b: -0xbebn,
  r: -0x1n
}, {
  a: -0xd59n,
  b: 0x7n,
  r: -0x6ac80n
}, {
  a: 0xen,
  b: -0x4f8n,
  r: 0n
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: -0xbn,
  b: 0xcn,
  r: -0xb000n
}, {
  a: 0x46an,
  b: -0x28fn,
  r: 0n
}, {
  a: -0xfen,
  b: 0xcn,
  r: -0xfe000n
}, {
  a: 0xe2n,
  b: 0n,
  r: 0xe2n
}, {
  a: -0xdcn,
  b: 0x5n,
  r: -0x1b80n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0xan,
  b: 0xdn,
  r: -0x14000n
}, {
  a: -0xffn,
  b: 0x1n,
  r: -0x1fen
}, {
  a: 0xfcn,
  b: 0x9n,
  r: 0x1f800n
}, {
  a: -0xcn,
  b: 0n,
  r: -0xcn
}, {
  a: -0x6d7n,
  b: 0n,
  r: -0x6d7n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: -0xc27n,
  b: 0n,
  r: -0xc27n
}, {
  a: -0x5n,
  b: 0xen,
  r: -0x14000n
}, {
  a: -0x30n,
  b: 0x7n,
  r: -0x1800n
}, {
  a: 0x50n,
  b: 0xfn,
  r: 0x280000n
}, {
  a: 0xcn,
  b: -0x27dn,
  r: 0n
}, {
  a: -0xc54n,
  b: 0x3n,
  r: -0x62a0n
}, {
  a: -0xebn,
  b: 0n,
  r: -0xebn
}, {
  a: -0x3n,
  b: 0xen,
  r: -0xc000n
}, {
  a: 0xdn,
  b: 0n,
  r: 0xdn
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: 0x3n,
  b: -0xb4en,
  r: 0n
}, {
  a: 0x8n,
  b: -0xfan,
  r: 0n
}, {
  a: -0x238n,
  b: 0xfn,
  r: -0x11c0000n
}, {
  a: 0x5n,
  b: 0x6n,
  r: 0x140n
}, {
  a: 0x768n,
  b: 0x7n,
  r: 0x3b400n
}, {
  a: -0xd4n,
  b: -0x53n,
  r: -0x1n
}, {
  a: -0xbn,
  b: -0x7n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x39n,
  r: 0n
}, {
  a: 0x9d1n,
  b: -0x17cn,
  r: 0n
}, {
  a: -0x1f5n,
  b: 0xdn,
  r: -0x3ea000n
}, {
  a: 0xd19n,
  b: 0x3n,
  r: 0x68c8n
}, {
  a: -0x3n,
  b: 0x4n,
  r: -0x30n
}, {
  a: -0xdfn,
  b: 0n,
  r: -0xdfn
}, {
  a: -0x2an,
  b: -0xan,
  r: -0x1n
}, {
  a: 0n,
  b: -0x84n,
  r: 0n
}, {
  a: 0x1a4n,
  b: -0xf97n,
  r: 0n
}, {
  a: 0xan,
  b: 0xdn,
  r: 0x14000n
}, {
  a: 0x42bn,
  b: 0n,
  r: 0x42bn
}, {
  a: 0x2n,
  b: 0x6n,
  r: 0x80n
}, {
  a: 0x1n,
  b: 0x5n,
  r: 0x20n
}, {
  a: 0x9n,
  b: 0xen,
  r: 0x24000n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0xac0n,
  b: -0xen,
  r: -0x1n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: 0xa23n,
  b: -0x175n,
  r: 0n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: 0x56n,
  b: -0x1n,
  r: 0x2bn
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: 0x70n,
  b: -0xb0n,
  r: 0n
}, {
  a: -0x3n,
  b: -0x10n,
  r: -0x1n
}, {
  a: 0x58n,
  b: -0x177n,
  r: 0n
}, {
  a: -0xbn,
  b: 0x9n,
  r: -0x1600n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: 0xaan,
  b: 0x2n,
  r: 0x2a8n
}, {
  a: 0n,
  b: -0x3acn,
  r: 0n
}, {
  a: 0x8n,
  b: -0xe88n,
  r: 0n
}, {
  a: 0xdbn,
  b: 0xfn,
  r: 0x6d8000n
}, {
  a: 0xa7fn,
  b: 0x9n,
  r: 0x14fe00n
}, {
  a: 0xan,
  b: -0x96en,
  r: 0n
}, {
  a: -0xb43n,
  b: -0xbc1n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: 0x4bn,
  b: -0x77n,
  r: 0n
}, {
  a: 0xd3en,
  b: 0x7n,
  r: 0x69f00n
}, {
  a: 0x940n,
  b: 0x5n,
  r: 0x12800n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: -0x3bn,
  r: -0x1n
}, {
  a: 0x7n,
  b: -0xcan,
  r: 0n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0x8n,
  b: 0x6n,
  r: 0x200n
}, {
  a: -0x9cen,
  b: -0x2cn,
  r: -0x1n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: 0x3n,
  b: -0x2d5n,
  r: 0n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: -0x5n,
  b: -0x1ecn,
  r: -0x1n
}, {
  a: 0xcn,
  b: -0xen,
  r: 0n
}, {
  a: 0x3ffn,
  b: 0x8n,
  r: 0x3ff00n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0x26n,
  b: -0xan,
  r: 0n
}, {
  a: 0xa0n,
  b: 0x6n,
  r: 0x2800n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdcn,
  b: 0n,
  r: -0xdcn
}, {
  a: -0xef0n,
  b: 0xbn,
  r: -0x778000n
}, {
  a: -0x124n,
  b: 0xan,
  r: -0x49000n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0xcn,
  b: -0x97n,
  r: 0n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0x12n,
  b: 0xan,
  r: -0x4800n
}, {
  a: 0xan,
  b: -0xbb3n,
  r: 0n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: -0x4n,
  b: -0x249n,
  r: -0x1n
}, {
  a: -0x448n,
  b: -0xb1n,
  r: -0x1n
}, {
  a: 0x8bbn,
  b: 0x5n,
  r: 0x11760n
}, {
  a: 0xfn,
  b: 0n,
  r: 0xfn
}, {
  a: -0xd0n,
  b: 0x1n,
  r: -0x1a0n
}, {
  a: -0xcan,
  b: -0xa9n,
  r: -0x1n
}, {
  a: 0x7n,
  b: 0x8n,
  r: 0x700n
}, {
  a: -0xen,
  b: 0x8n,
  r: -0xe00n
}, {
  a: -0xadn,
  b: -0x493n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xccdn,
  b: 0xfn,
  r: 0x6668000n
}, {
  a: -0x1n,
  b: 0xan,
  r: -0x400n
}, {
  a: 0xan,
  b: 0xfn,
  r: 0x50000n
}, {
  a: 0x276n,
  b: 0xen,
  r: 0x9d8000n
}, {
  a: -0x61n,
  b: 0x2n,
  r: -0x184n
}, {
  a: -0xefn,
  b: -0x1bn,
  r: -0x1n
}, {
  a: -0x289n,
  b: -0xc0n,
  r: -0x1n
}, {
  a: -0xe19n,
  b: -0x3n,
  r: -0x1c4n
}, {
  a: -0x13n,
  b: 0n,
  r: -0x13n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0x2adn,
  b: 0xan,
  r: 0xab400n
}, {
  a: 0xd8n,
  b: -0x369n,
  r: 0n
}, {
  a: 0x13n,
  b: -0xan,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x35n,
  b: 0x5n,
  r: 0x6a0n
}, {
  a: 0x4n,
  b: 0x8n,
  r: 0x400n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: 0x3d8n,
  b: 0n,
  r: 0x3d8n
}, {
  a: -0xafan,
  b: 0x3n,
  r: -0x57d0n
}, {
  a: -0xan,
  b: 0x3n,
  r: -0x50n
}, {
  a: 0x64bn,
  b: -0x43n,
  r: 0n
}, {
  a: -0xf3n,
  b: 0x5n,
  r: -0x1e60n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: 0xb65n,
  b: 0x1n,
  r: 0x16can
}, {
  a: 0x43n,
  b: -0x8e8n,
  r: 0n
}, {
  a: 0x8n,
  b: 0xen,
  r: 0x20000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xb8cn,
  b: 0xbn,
  r: 0x5c6000n
}, {
  a: 0n,
  b: -0x1fn,
  r: 0n
}, {
  a: -0x58en,
  b: 0n,
  r: -0x58en
}, {
  a: -0x7en,
  b: 0x6n,
  r: -0x1f80n
}, {
  a: -0x41dn,
  b: 0xan,
  r: -0x107400n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0x7aan,
  b: 0xbn,
  r: 0x3d5000n
}, {
  a: 0xan,
  b: 0x8n,
  r: 0xa00n
}, {
  a: 0x7n,
  b: 0n,
  r: 0x7n
}, {
  a: 0xfbn,
  b: 0x1n,
  r: 0x1f6n
}, {
  a: 0x45n,
  b: 0x4n,
  r: 0x450n
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: -0xfn,
  b: 0x3n,
  r: -0x78n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: 0x3n,
  b: 0xfn,
  r: 0x18000n
}, {
  a: 0x9e5n,
  b: 0xen,
  r: 0x2794000n
}, {
  a: -0x7cn,
  b: 0xbn,
  r: -0x3e000n
}, {
  a: 0x84n,
  b: 0x2n,
  r: 0x210n
}, {
  a: -0xbn,
  b: 0xan,
  r: -0x2c00n
}, {
  a: 0x3n,
  b: -0x21n,
  r: 0n
}, {
  a: 0xd8n,
  b: 0xdn,
  r: 0x1b0000n
}, {
  a: -0x570n,
  b: 0x1n,
  r: -0xae0n
}, {
  a: -0xdfn,
  b: 0x4n,
  r: -0xdf0n
}, {
  a: 0x410n,
  b: 0n,
  r: 0x410n
}, {
  a: 0x59n,
  b: 0x6n,
  r: 0x1640n
}, {
  a: -0xa0fn,
  b: 0x9n,
  r: -0x141e00n
}, {
  a: -0xf2n,
  b: 0xcn,
  r: -0xf2000n
}, {
  a: 0xc8n,
  b: 0n,
  r: 0xc8n
}, {
  a: 0x2n,
  b: 0x7n,
  r: 0x100n
}, {
  a: 0x3n,
  b: 0xen,
  r: 0xc000n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: -0x38n,
  b: -0x1cn,
  r: -0x1n
}, {
  a: -0x7n,
  b: -0xbdfn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: -0xb0n,
  b: -0xa0n,
  r: -0x1n
}, {
  a: 0xbn,
  b: 0x3n,
  r: 0x58n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: -0xc0cn,
  b: -0x9n,
  r: -0x7n
}, {
  a: 0x223n,
  b: 0x9n,
  r: 0x44600n
}, {
  a: 0x15n,
  b: 0n,
  r: 0x15n
}, {
  a: 0xbn,
  b: 0x3n,
  r: 0x58n
}, {
  a: -0xbn,
  b: -0x81n,
  r: -0x1n
}, {
  a: -0xff8n,
  b: -0xf1fn,
  r: -0x1n
}, {
  a: -0xaa6n,
  b: 0x7n,
  r: -0x55300n
}, {
  a: 0x10n,
  b: -0xee4n,
  r: 0n
}, {
  a: -0xe69n,
  b: -0x9n,
  r: -0x8n
}, {
  a: 0xdan,
  b: -0xcb2n,
  r: 0n
}, {
  a: 0x92cn,
  b: 0x6n,
  r: 0x24b00n
}, {
  a: 0x14n,
  b: 0xen,
  r: 0x50000n
}, {
  a: -0x70n,
  b: 0xdn,
  r: -0xe0000n
}, {
  a: 0x267n,
  b: -0x4dn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x9n,
  b: 0x7n,
  r: 0x480n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: -0xd50n,
  b: 0xfn,
  r: -0x6a80000n
}, {
  a: -0xed4n,
  b: -0x454n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0xccn,
  b: 0n,
  r: 0xccn
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0n,
  b: -0x20n,
  r: 0n
}, {
  a: -0x690n,
  b: 0xdn,
  r: -0xd20000n
}, {
  a: -0xc1n,
  b: 0xen,
  r: -0x304000n
}, {
  a: -0x2fn,
  b: -0x5n,
  r: -0x2n
}, {
  a: 0x2n,
  b: -0x8dn,
  r: 0n
}, {
  a: -0xbbfn,
  b: 0x2n,
  r: -0x2efcn
}, {
  a: 0x8n,
  b: 0xcn,
  r: 0x8000n
}, {
  a: -0xee0n,
  b: 0x7n,
  r: -0x77000n
}, {
  a: 0x98n,
  b: -0x89n,
  r: 0n
}, {
  a: 0x4an,
  b: -0x2n,
  r: 0x12n
}, {
  a: 0x2fn,
  b: 0n,
  r: 0x2fn
}, {
  a: -0x93n,
  b: -0x99en,
  r: -0x1n
}, {
  a: -0xf5dn,
  b: -0xc9n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x60n,
  r: 0n
}, {
  a: 0n,
  b: -0xdcn,
  r: 0n
}, {
  a: 0n,
  b: -0x99n,
  r: 0n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: -0x913n,
  b: 0x2n,
  r: -0x244cn
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: -0x4ebn,
  b: 0x8n,
  r: -0x4eb00n
}, {
  a: 0xdbn,
  b: 0x1n,
  r: 0x1b6n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: -0xfn,
  b: 0x7n,
  r: -0x780n
}, {
  a: -0x70en,
  b: -0xdn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0xd4n,
  b: 0xdn,
  r: 0x1a8000n
}, {
  a: -0xbn,
  b: 0x1n,
  r: -0x16n
}, {
  a: 0xb9n,
  b: -0xb84n,
  r: 0n
}, {
  a: -0xc47n,
  b: 0n,
  r: -0xc47n
}, {
  a: 0xen,
  b: 0xan,
  r: 0x3800n
}, {
  a: -0x767n,
  b: 0x6n,
  r: -0x1d9c0n
}, {
  a: 0n,
  b: -0x9dn,
  r: 0n
}, {
  a: -0xa47n,
  b: -0x6fn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: 0xecen,
  b: 0xcn,
  r: 0xece000n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: -0x29cn,
  b: 0x3n,
  r: -0x14e0n
}, {
  a: -0x28n,
  b: 0x8n,
  r: -0x2800n
}, {
  a: -0x4b0n,
  b: 0xcn,
  r: -0x4b0000n
}, {
  a: 0x7n,
  b: 0xen,
  r: 0x1c000n
}, {
  a: -0x210n,
  b: -0xcen,
  r: -0x1n
}, {
  a: 0x2n,
  b: -0x46n,
  r: 0n
}, {
  a: 0xen,
  b: -0x2n,
  r: 0x3n
}, {
  a: 0x118n,
  b: -0xd10n,
  r: 0n
}, {
  a: -0x2n,
  b: 0xan,
  r: -0x800n
}, {
  a: 0x2fn,
  b: -0xen,
  r: 0n
}, {
  a: -0xe18n,
  b: -0x601n,
  r: -0x1n
}, {
  a: 0xen,
  b: -0x87n,
  r: 0n
}, {
  a: 0x7n,
  b: 0x8n,
  r: 0x700n
}, {
  a: 0x540n,
  b: 0x5n,
  r: 0xa800n
}, {
  a: -0xbc1n,
  b: 0xbn,
  r: -0x5e0800n
}, {
  a: -0xebdn,
  b: -0xfn,
  r: -0x1n
}, {
  a: 0n,
  b: -0xd8dn,
  r: 0n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0x4n,
  b: -0x6bfn,
  r: 0n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: -0xa0n,
  b: 0x4n,
  r: -0xa00n
}, {
  a: -0xcbn,
  b: 0n,
  r: -0xcbn
}, {
  a: 0x4ffn,
  b: -0x9abn,
  r: 0n
}, {
  a: -0x7c7n,
  b: 0xfn,
  r: -0x3e38000n
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: 0xdn,
  b: 0xcn,
  r: 0xd000n
}, {
  a: -0xb17n,
  b: 0x8n,
  r: -0xb1700n
}, {
  a: -0x6n,
  b: 0xdn,
  r: -0xc000n
}, {
  a: -0x607n,
  b: 0x2n,
  r: -0x181cn
}, {
  a: 0x249n,
  b: 0x8n,
  r: 0x24900n
}, {
  a: 0x99fn,
  b: -0xfn,
  r: 0n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: -0x2n,
  b: -0x33fn,
  r: -0x1n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: 0xcaen,
  b: 0x8n,
  r: 0xcae00n
}, {
  a: -0x120n,
  b: 0x1n,
  r: -0x240n
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: -0x4en,
  b: 0x5n,
  r: -0x9c0n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: -0x102n,
  b: -0x1n,
  r: -0x81n
}, {
  a: -0x21fn,
  b: 0x5n,
  r: -0x43e0n
}, {
  a: -0x151n,
  b: 0n,
  r: -0x151n
}, {
  a: -0x9n,
  b: -0x9n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x6bn,
  r: 0n
}, {
  a: 0x1an,
  b: 0n,
  r: 0x1an
}, {
  a: 0x44n,
  b: 0x6n,
  r: 0x1100n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x9en,
  b: 0xfn,
  r: -0x4f0000n
}, {
  a: -0xbbn,
  b: -0xa6n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x33n,
  b: 0x4n,
  r: -0x330n
}, {
  a: 0xa4n,
  b: 0n,
  r: 0xa4n
}, {
  a: 0n,
  b: -0x6e4n,
  r: 0n
}, {
  a: 0x53bn,
  b: 0xfn,
  r: 0x29d8000n
}, {
  a: 0xcn,
  b: -0xfn,
  r: 0n
}, {
  a: -0x657n,
  b: 0x3n,
  r: -0x32b8n
}, {
  a: 0n,
  b: -0x997n,
  r: 0n
}, {
  a: -0xfn,
  b: -0x47cn,
  r: -0x1n
}, {
  a: -0x8fan,
  b: 0x9n,
  r: -0x11f400n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xban,
  b: 0x2n,
  r: -0x2e8n
}, {
  a: -0xd8n,
  b: 0x3n,
  r: -0x6c0n
}, {
  a: -0xcn,
  b: 0n,
  r: -0xcn
}, {
  a: 0xc8bn,
  b: 0x2n,
  r: 0x322cn
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: -0x2e4n,
  b: 0x6n,
  r: -0xb900n
}, {
  a: 0x988n,
  b: 0n,
  r: 0x988n
}, {
  a: 0xf6n,
  b: 0n,
  r: 0xf6n
}, {
  a: 0n,
  b: -0xa2fn,
  r: 0n
}, {
  a: 0x3cn,
  b: 0xfn,
  r: 0x1e0000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x13n,
  b: -0x184n,
  r: 0n
}, {
  a: 0xbn,
  b: 0xbn,
  r: 0x5800n
}, {
  a: 0x304n,
  b: 0x5n,
  r: 0x6080n
}, {
  a: 0xf6cn,
  b: 0xcn,
  r: 0xf6c000n
}, {
  a: 0xen,
  b: 0x5n,
  r: 0x1c0n
}, {
  a: -0x4n,
  b: 0x9n,
  r: -0x800n
}, {
  a: -0xb4bn,
  b: 0xen,
  r: -0x2d2c000n
}, {
  a: 0xen,
  b: 0x1n,
  r: 0x1cn
}, {
  a: -0xf5n,
  b: 0x8n,
  r: -0xf500n
}, {
  a: 0x3ebn,
  b: -0x53n,
  r: 0n
}, {
  a: -0xa7n,
  b: 0x7n,
  r: -0x5380n
}, {
  a: -0x2dn,
  b: -0xfan,
  r: -0x1n
}, {
  a: -0xbcn,
  b: 0x4n,
  r: -0xbc0n
}, {
  a: -0xb0n,
  b: 0x6n,
  r: -0x2c00n
}, {
  a: -0x9n,
  b: -0xeean,
  r: -0x1n
}, {
  a: 0x3bdn,
  b: 0x6n,
  r: 0xef40n
}, {
  a: -0x836n,
  b: -0x2n,
  r: -0x20en
}, {
  a: 0xb3n,
  b: -0xe00n,
  r: 0n
}, {
  a: 0x90n,
  b: 0xcn,
  r: 0x90000n
}, {
  a: -0x44fn,
  b: 0x9n,
  r: -0x89e00n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0xcn,
  b: 0x8n,
  r: 0xc00n
}, {
  a: -0xcn,
  b: 0x2n,
  r: -0x30n
}, {
  a: 0x8e3n,
  b: -0xb3dn,
  r: 0n
}, {
  a: -0xban,
  b: 0n,
  r: -0xban
}, {
  a: -0xc44n,
  b: 0n,
  r: -0xc44n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: -0x11n,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: -0x1ean,
  b: -0x444n,
  r: -0x1n
}, {
  a: -0xbbn,
  b: 0x1n,
  r: -0x176n
}, {
  a: 0x299n,
  b: -0x91en,
  r: 0n
}, {
  a: 0x7cn,
  b: 0x9n,
  r: 0xf800n
}, {
  a: -0x5e9n,
  b: 0xbn,
  r: -0x2f4800n
}, {
  a: -0xb9n,
  b: 0x9n,
  r: -0x17200n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: -0xdn,
  b: 0xbn,
  r: -0x6800n
}, {
  a: 0x31n,
  b: 0n,
  r: 0x31n
}, {
  a: -0xff8n,
  b: -0x9n,
  r: -0x8n
}, {
  a: 0x66n,
  b: 0n,
  r: 0x66n
}, {
  a: 0n,
  b: -0x651n,
  r: 0n
}, {
  a: 0x8n,
  b: 0x1n,
  r: 0x10n
}, {
  a: 0n,
  b: -0x2fn,
  r: 0n
}, {
  a: -0x8e9n,
  b: 0xan,
  r: -0x23a400n
}, {
  a: -0x14n,
  b: 0xdn,
  r: -0x28000n
}, {
  a: -0x4n,
  b: -0x7cn,
  r: -0x1n
}, {
  a: 0xa83n,
  b: -0x54n,
  r: 0n
}, {
  a: 0x78an,
  b: -0x7cdn,
  r: 0n
}, {
  a: 0xcan,
  b: 0xbn,
  r: 0x65000n
}, {
  a: -0xden,
  b: 0xbn,
  r: -0x6f000n
}, {
  a: 0x4n,
  b: -0x3c7n,
  r: 0n
}, {
  a: 0x9n,
  b: -0x9fn,
  r: 0n
}, {
  a: -0x757n,
  b: 0x3n,
  r: -0x3ab8n
}, {
  a: 0xb2n,
  b: 0n,
  r: 0xb2n
}, {
  a: 0x8bn,
  b: 0xen,
  r: 0x22c000n
}, {
  a: 0n,
  b: -0x80dn,
  r: 0n
}, {
  a: -0x2n,
  b: 0x8n,
  r: -0x200n
}, {
  a: 0xacan,
  b: -0x6n,
  r: 0x2bn
}, {
  a: 0x7an,
  b: 0x4n,
  r: 0x7a0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xe2cn,
  b: -0x6fn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x49n,
  b: -0x4n,
  r: 0x4n
}, {
  a: -0x9n,
  b: -0x649n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0x91cn,
  b: 0n,
  r: 0x91cn
}, {
  a: -0x5e5n,
  b: 0n,
  r: -0x5e5n
}, {
  a: -0x1ebn,
  b: -0xe8n,
  r: -0x1n
}, {
  a: -0xa95n,
  b: 0x8n,
  r: -0xa9500n
}, {
  a: 0x90en,
  b: 0xen,
  r: 0x2438000n
}, {
  a: -0x4n,
  b: 0x1n,
  r: -0x8n
}, {
  a: 0xa3cn,
  b: 0xfn,
  r: 0x51e0000n
}, {
  a: 0n,
  b: -0x7efn,
  r: 0n
}, {
  a: -0x20n,
  b: -0xa9an,
  r: -0x1n
}, {
  a: -0x2n,
  b: -0x19n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x3fdn,
  r: 0n
}, {
  a: 0n,
  b: -0x42n,
  r: 0n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: 0x7n,
  b: 0x6n,
  r: 0x1c0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xdn,
  b: -0x3n,
  r: 0x1n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: 0x91n,
  b: 0x3n,
  r: 0x488n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xf3n,
  b: 0n,
  r: 0xf3n
}, {
  a: 0x2an,
  b: 0x8n,
  r: 0x2a00n
}, {
  a: -0xdcen,
  b: 0xcn,
  r: -0xdce000n
}, {
  a: -0xcn,
  b: 0xbn,
  r: -0x6000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: 0xbn,
  b: 0x4n,
  r: 0xb0n
}, {
  a: -0x7b4n,
  b: -0xddbn,
  r: -0x1n
}, {
  a: 0n,
  b: -0xc5n,
  r: 0n
}, {
  a: 0n,
  b: -0x398n,
  r: 0n
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: -0x9n,
  b: 0xen,
  r: -0x24000n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: 0x6n,
  b: -0x343n,
  r: 0n
}, {
  a: 0n,
  b: -0x97n,
  r: 0n
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: 0xb7n,
  b: 0x3n,
  r: 0x5b8n
}, {
  a: 0x783n,
  b: 0x9n,
  r: 0xf0600n
}, {
  a: 0x5a8n,
  b: 0x9n,
  r: 0xb5000n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0x118n,
  b: 0n,
  r: 0x118n
}, {
  a: -0xc7n,
  b: 0x2n,
  r: -0x31cn
}, {
  a: 0n,
  b: -0xfe0n,
  r: 0n
}, {
  a: -0xdn,
  b: -0x1n,
  r: -0x7n
}, {
  a: 0x5n,
  b: 0x8n,
  r: 0x500n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: -0xf1n,
  b: -0x17n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0x6n,
  b: -0x94n,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0x9n,
  b: -0x5en,
  r: 0n
}, {
  a: 0n,
  b: -0x87bn,
  r: 0n
}, {
  a: -0xan,
  b: 0x4n,
  r: -0xa0n
}, {
  a: 0x1n,
  b: -0x5n,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: 0x1bn,
  b: -0x8n,
  r: 0n
}, {
  a: -0x3e7n,
  b: 0xan,
  r: -0xf9c00n
}, {
  a: 0xfn,
  b: 0n,
  r: 0xfn
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0xe5n,
  b: 0n,
  r: 0xe5n
}, {
  a: 0xf6dn,
  b: 0x5n,
  r: 0x1eda0n
}, {
  a: 0xd7n,
  b: -0xf0n,
  r: 0n
}, {
  a: 0xen,
  b: -0x693n,
  r: 0n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0xa7n,
  b: 0x5n,
  r: -0x14e0n
}, {
  a: 0xe39n,
  b: -0xfb9n,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0xdn,
  b: 0x6n,
  r: 0x340n
}, {
  a: -0x11n,
  b: 0x4n,
  r: -0x110n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: 0xd8n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x59n,
  b: 0x3n,
  r: -0x2c8n
}, {
  a: 0n,
  b: -0x3c5n,
  r: 0n
}, {
  a: -0x6fn,
  b: 0x3n,
  r: -0x378n
}, {
  a: 0xcn,
  b: -0x9n,
  r: 0n
}, {
  a: -0x55n,
  b: 0n,
  r: -0x55n
}, {
  a: 0xc7bn,
  b: 0n,
  r: 0xc7bn
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: 0xf9dn,
  b: 0n,
  r: 0xf9dn
}, {
  a: -0x315n,
  b: 0n,
  r: -0x315n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0xe6n,
  b: 0x3n,
  r: -0x730n
}, {
  a: 0x787n,
  b: 0x9n,
  r: 0xf0e00n
}, {
  a: -0xb81n,
  b: -0xa3bn,
  r: -0x1n
}, {
  a: 0xcn,
  b: 0x7n,
  r: 0x600n
}, {
  a: -0x56n,
  b: 0xbn,
  r: -0x2b000n
}, {
  a: -0x1e2n,
  b: 0n,
  r: -0x1e2n
}, {
  a: -0x1n,
  b: -0xbn,
  r: -0x1n
}, {
  a: -0x5fn,
  b: 0x9n,
  r: -0xbe00n
}, {
  a: 0x7n,
  b: 0xbn,
  r: 0x3800n
}, {
  a: 0n,
  b: -0xd5cn,
  r: 0n
}, {
  a: 0xb7n,
  b: 0xan,
  r: 0x2dc00n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: 0xacfn,
  b: 0xan,
  r: 0x2b3c00n
}, {
  a: -0xf13n,
  b: 0n,
  r: -0xf13n
}, {
  a: -0x91cn,
  b: 0x9n,
  r: -0x123800n
}, {
  a: 0n,
  b: -0x407n,
  r: 0n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: -0xa5n,
  b: 0x5n,
  r: -0x14a0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x805n,
  b: 0n,
  r: 0x805n
}, {
  a: 0x47n,
  b: -0x5n,
  r: 0x2n
}, {
  a: 0n,
  b: -0x16n,
  r: 0n
}, {
  a: -0xbc9n,
  b: 0x7n,
  r: -0x5e480n
}, {
  a: -0xedn,
  b: 0n,
  r: -0xedn
}, {
  a: 0n,
  b: -0x9fn,
  r: 0n
}, {
  a: 0x952n,
  b: 0x8n,
  r: 0x95200n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: 0x5n,
  b: -0xf7en,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x8n,
  b: -0x50n,
  r: -0x1n
}, {
  a: -0x755n,
  b: -0x2n,
  r: -0x1d6n
}, {
  a: 0x8c3n,
  b: 0x4n,
  r: 0x8c30n
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: 0n,
  b: -0x323n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x139n,
  b: 0xcn,
  r: -0x139000n
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: 0n,
  b: -0xfc1n,
  r: 0n
}, {
  a: 0xbfn,
  b: 0x1n,
  r: 0x17en
}, {
  a: -0x2an,
  b: 0x9n,
  r: -0x5400n
}, {
  a: 0n,
  b: -0x32n,
  r: 0n
}, {
  a: -0xd7cn,
  b: 0n,
  r: -0xd7cn
}, {
  a: 0xan,
  b: 0x4n,
  r: 0xa0n
}, {
  a: 0x106n,
  b: 0n,
  r: 0x106n
}, {
  a: 0x9n,
  b: -0xen,
  r: 0n
}, {
  a: 0x91n,
  b: -0x429n,
  r: 0n
}, {
  a: -0x7n,
  b: 0x8n,
  r: -0x700n
}, {
  a: 0x47n,
  b: 0xan,
  r: 0x11c00n
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: 0xe05n,
  b: -0xcen,
  r: 0n
}, {
  a: -0xc5n,
  b: 0x8n,
  r: -0xc500n
}, {
  a: -0xb0n,
  b: 0x7n,
  r: -0x5800n
}, {
  a: -0x83n,
  b: -0x81n,
  r: -0x1n
}, {
  a: -0x8fn,
  b: 0x3n,
  r: -0x478n
}, {
  a: 0x6f7n,
  b: 0n,
  r: 0x6f7n
}, {
  a: 0x47n,
  b: 0x9n,
  r: 0x8e00n
}, {
  a: -0x5n,
  b: -0xdn,
  r: -0x1n
}, {
  a: -0x7fdn,
  b: -0x73n,
  r: -0x1n
}, {
  a: 0n,
  b: -0xen,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x76fn,
  b: 0n,
  r: 0x76fn
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: 0n,
  b: -0x56n,
  r: 0n
}, {
  a: -0xa4n,
  b: 0n,
  r: -0xa4n
}, {
  a: 0xcn,
  b: 0x5n,
  r: 0x180n
}, {
  a: -0xccn,
  b: -0x7n,
  r: -0x2n
}, {
  a: -0x9n,
  b: 0x2n,
  r: -0x24n
}, {
  a: -0x34n,
  b: -0xcn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: 0x50n,
  b: 0x6n,
  r: 0x1400n
}, {
  a: 0x622n,
  b: 0x9n,
  r: 0xc4400n
}, {
  a: 0n,
  b: -0x58n,
  r: 0n
}, {
  a: -0x2dan,
  b: 0xan,
  r: -0xb6800n
}, {
  a: -0xd6bn,
  b: -0xdn,
  r: -0x1n
}, {
  a: 0xabn,
  b: 0xfn,
  r: 0x558000n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: -0x58dn,
  b: 0n,
  r: -0x58dn
}, {
  a: 0xfn,
  b: 0xbn,
  r: 0x7800n
}, {
  a: 0x13n,
  b: 0x1n,
  r: 0x26n
}, {
  a: -0x4n,
  b: 0x8n,
  r: -0x400n
}, {
  a: -0xa0n,
  b: -0xa5n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0xdn,
  b: -0x3n,
  r: -0x2n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0xfn,
  b: -0x7d4n,
  r: -0x1n
}, {
  a: 0xan,
  b: 0x4n,
  r: 0xa0n
}, {
  a: 0x2n,
  b: 0xfn,
  r: 0x10000n
}, {
  a: 0x9en,
  b: -0x3n,
  r: 0x13n
}, {
  a: -0x5f6n,
  b: -0x1cen,
  r: -0x1n
}, {
  a: 0xfcn,
  b: -0x88n,
  r: 0n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x87n,
  b: 0n,
  r: 0x87n
}, {
  a: -0x3fcn,
  b: -0x2fdn,
  r: -0x1n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: -0x207n,
  b: -0x7bn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x3cn,
  r: 0n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0xdn,
  b: 0xbn,
  r: 0x6800n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: 0x8n,
  b: 0x8n,
  r: 0x800n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: -0xcn,
  b: 0x8n,
  r: -0xc00n
}, {
  a: -0xfn,
  b: -0x3n,
  r: -0x2n
}, {
  a: -0xbfn,
  b: -0x4n,
  r: -0xcn
}, {
  a: -0x3n,
  b: 0x2n,
  r: -0xcn
}, {
  a: 0x5a9n,
  b: 0n,
  r: 0x5a9n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: 0x98n,
  b: 0x3n,
  r: 0x4c0n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0x6fn,
  b: 0x4n,
  r: 0x6f0n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: -0x99dn,
  b: -0xebn,
  r: -0x1n
}, {
  a: 0x8n,
  b: -0xd0n,
  r: 0n
}, {
  a: 0n,
  b: -0xc3bn,
  r: 0n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0xfden,
  b: -0x3dn,
  r: 0n
}, {
  a: 0x9adn,
  b: -0x8n,
  r: 0x9n
}, {
  a: 0x91n,
  b: 0x2n,
  r: 0x244n
}, {
  a: -0x4den,
  b: -0xen,
  r: -0x1n
}, {
  a: 0n,
  b: -0xa4an,
  r: 0n
}, {
  a: 0n,
  b: -0xa64n,
  r: 0n
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: 0x1cn,
  b: -0x9n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x21n,
  b: 0x7n,
  r: 0x1080n
}, {
  a: -0x24cn,
  b: -0xaa9n,
  r: -0x1n
}, {
  a: 0x4cen,
  b: 0x1n,
  r: 0x99cn
}, {
  a: 0n,
  b: -0xe67n,
  r: 0n
}, {
  a: 0x921n,
  b: 0n,
  r: 0x921n
}, {
  a: 0x705n,
  b: 0x8n,
  r: 0x70500n
}, {
  a: -0x8a5n,
  b: -0xbn,
  r: -0x2n
}, {
  a: 0x96n,
  b: 0n,
  r: 0x96n
}, {
  a: 0xaf8n,
  b: -0x3f3n,
  r: 0n
}, {
  a: -0x2n,
  b: -0xdan,
  r: -0x1n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: -0xa38n,
  b: -0x4n,
  r: -0xa4n
}, {
  a: 0x1n,
  b: 0x7n,
  r: 0x80n
}, {
  a: -0xa2n,
  b: 0x2n,
  r: -0x288n
}, {
  a: -0xfn,
  b: -0xedn,
  r: -0x1n
}, {
  a: 0n,
  b: -0xen,
  r: 0n
}, {
  a: -0xc20n,
  b: -0xcn,
  r: -0x1n
}, {
  a: -0xf7n,
  b: -0x96n,
  r: -0x1n
}, {
  a: 0xe7n,
  b: 0x9n,
  r: 0x1ce00n
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: -0xe34n,
  b: 0xdn,
  r: -0x1c68000n
}, {
  a: -0xen,
  b: 0x4n,
  r: -0xe0n
}, {
  a: -0xb00n,
  b: 0x5n,
  r: -0x16000n
}, {
  a: 0xe4n,
  b: 0x7n,
  r: 0x7200n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: 0x94n,
  b: -0xf04n,
  r: 0n
}, {
  a: -0x431n,
  b: -0x75n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x535n,
  r: 0n
}, {
  a: 0xdfn,
  b: 0n,
  r: 0xdfn
}, {
  a: 0xd3en,
  b: 0x2n,
  r: 0x34f8n
}, {
  a: 0xe8n,
  b: -0x9fn,
  r: 0n
}, {
  a: -0x83n,
  b: 0x4n,
  r: -0x830n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xcn,
  b: 0x8n,
  r: 0xc00n
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: 0x9bn,
  b: 0xen,
  r: 0x26c000n
}, {
  a: 0xfn,
  b: 0xen,
  r: 0x3c000n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: 0x49n,
  b: -0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x5d5n,
  b: -0xf5bn,
  r: 0n
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: -0xean,
  b: 0xbn,
  r: -0x75000n
}, {
  a: -0x541n,
  b: 0xcn,
  r: -0x541000n
}, {
  a: -0xb4n,
  b: 0xcn,
  r: -0xb4000n
}, {
  a: 0xa27n,
  b: 0xbn,
  r: 0x513800n
}, {
  a: -0x73n,
  b: -0xe2n,
  r: -0x1n
}, {
  a: -0xcn,
  b: 0x5n,
  r: -0x180n
}, {
  a: -0x2an,
  b: 0xdn,
  r: -0x54000n
}, {
  a: 0n,
  b: -0x4cn,
  r: 0n
}, {
  a: 0x293n,
  b: 0x5n,
  r: 0x5260n
}, {
  a: -0xc8n,
  b: -0x24n,
  r: -0x1n
}, {
  a: -0x78n,
  b: 0xfn,
  r: -0x3c0000n
}, {
  a: 0x94n,
  b: -0x9an,
  r: 0n
}, {
  a: 0n,
  b: -0x420n,
  r: 0n
}, {
  a: 0xbn,
  b: -0x4a6n,
  r: 0n
}, {
  a: 0x6n,
  b: 0x6n,
  r: 0x180n
}, {
  a: 0x5f5n,
  b: -0x2n,
  r: 0x17dn
}, {
  a: -0xc0n,
  b: 0x1n,
  r: -0x180n
}, {
  a: -0x67n,
  b: 0n,
  r: -0x67n
}, {
  a: -0x4n,
  b: -0x804n,
  r: -0x1n
}, {
  a: -0xe40n,
  b: 0n,
  r: -0xe40n
}, {
  a: -0xcen,
  b: 0x9n,
  r: -0x19c00n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: -0xb1n,
  b: -0x1n,
  r: -0x59n
}, {
  a: -0x657n,
  b: 0x8n,
  r: -0x65700n
}, {
  a: -0x1n,
  b: 0xfn,
  r: -0x8000n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: -0xe1an,
  b: -0x18an,
  r: -0x1n
}, {
  a: -0xa60n,
  b: -0x6en,
  r: -0x1n
}, {
  a: 0n,
  b: -0x180n,
  r: 0n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: -0xb42n,
  b: -0x1bn,
  r: -0x1n
}, {
  a: -0xdn,
  b: 0xan,
  r: -0x3400n
}, {
  a: 0x614n,
  b: 0x9n,
  r: 0xc2800n
}, {
  a: -0x39n,
  b: 0x1n,
  r: -0x72n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: 0xfen,
  b: 0x5n,
  r: 0x1fc0n
}, {
  a: -0x63n,
  b: 0n,
  r: -0x63n
}, {
  a: -0xd7n,
  b: 0x7n,
  r: -0x6b80n
}, {
  a: 0x14n,
  b: -0x4a6n,
  r: 0n
}, {
  a: 0x6n,
  b: -0xbfen,
  r: 0n
}, {
  a: -0xcan,
  b: 0x6n,
  r: -0x3280n
}, {
  a: 0x95n,
  b: 0xbn,
  r: 0x4a800n
}];

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