// 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: -0x6n,
  b: -0xan,
  r: -0x1800n
}, {
  a: 0xc2n,
  b: -0xbn,
  r: 0x61000n
}, {
  a: -0x1n,
  b: -0x5n,
  r: -0x20n
}, {
  a: 0x9n,
  b: -0xcn,
  r: 0x9000n
}, {
  a: 0n,
  b: 0x63n,
  r: 0n
}, {
  a: -0x1dn,
  b: 0x8cn,
  r: -0x1n
}, {
  a: 0x8n,
  b: 0x9n,
  r: 0n
}, {
  a: -0xffn,
  b: 0x32n,
  r: -0x1n
}, {
  a: -0x7n,
  b: -0x5n,
  r: -0xe0n
}, {
  a: 0xd0n,
  b: -0x1n,
  r: 0x1a0n
}, {
  a: -0x46n,
  b: -0xdn,
  r: -0x8c000n
}, {
  a: 0x50n,
  b: -0x3n,
  r: 0x280n
}, {
  a: 0xdd7n,
  b: -0x8n,
  r: 0xdd700n
}, {
  a: 0x3dn,
  b: 0n,
  r: 0x3dn
}, {
  a: -0x182n,
  b: 0n,
  r: -0x182n
}, {
  a: -0xf0dn,
  b: 0x35n,
  r: -0x1n
}, {
  a: -0xen,
  b: 0x39n,
  r: -0x1n
}, {
  a: 0x9en,
  b: -0x9n,
  r: 0x13c00n
}, {
  a: -0xb8bn,
  b: -0x8n,
  r: -0xb8b00n
}, {
  a: 0xeaan,
  b: -0x1n,
  r: 0x1d54n
}, {
  a: 0x15n,
  b: 0x8n,
  r: 0n
}, {
  a: 0x243n,
  b: -0x6n,
  r: 0x90c0n
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: 0x50fn,
  b: 0n,
  r: 0x50fn
}, {
  a: -0xean,
  b: 0x2cn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0xfn,
  b: -0xbn,
  r: 0x7800n
}, {
  a: 0x57bn,
  b: -0xen,
  r: 0x15ec000n
}, {
  a: 0x17n,
  b: -0x7n,
  r: 0xb80n
}, {
  a: -0x47bn,
  b: 0xff9n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xc91n,
  r: 0n
}, {
  a: 0xd7n,
  b: -0xdn,
  r: 0x1ae000n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: -0x9cn,
  b: 0xfe2n,
  r: -0x1n
}, {
  a: 0n,
  b: -0xen,
  r: 0n
}, {
  a: -0x6c2n,
  b: 0x48n,
  r: -0x1n
}, {
  a: -0x48n,
  b: -0x5n,
  r: -0x900n
}, {
  a: -0xa30n,
  b: -0x6n,
  r: -0x28c00n
}, {
  a: 0x2n,
  b: 0xan,
  r: 0n
}, {
  a: 0x40n,
  b: -0xan,
  r: 0x10000n
}, {
  a: 0x9cn,
  b: 0x7n,
  r: 0x1n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: 0x9bn,
  b: -0x4n,
  r: 0x9b0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x8n,
  b: 0x108n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x5bdn,
  b: -0x4n,
  r: 0x5bd0n
}, {
  a: 0n,
  b: 0x805n,
  r: 0n
}, {
  a: 0xfn,
  b: -0xan,
  r: 0x3c00n
}, {
  a: 0x2dn,
  b: 0x55n,
  r: 0n
}, {
  a: -0xbc1n,
  b: -0xen,
  r: -0x2f04000n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: -0xe7n,
  b: 0x6n,
  r: -0x4n
}, {
  a: -0x2n,
  b: -0x1n,
  r: -0x4n
}, {
  a: 0x52n,
  b: 0xf9dn,
  r: 0n
}, {
  a: -0xcn,
  b: 0n,
  r: -0xcn
}, {
  a: -0xan,
  b: 0xfn,
  r: -0x1n
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: -0x9n,
  b: -0x3n,
  r: -0x48n
}, {
  a: -0x81n,
  b: 0xdn,
  r: -0x1n
}, {
  a: -0x1n,
  b: -0x5n,
  r: -0x20n
}, {
  a: -0x691n,
  b: 0xf80n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: -0xfn,
  b: -0x7n,
  r: -0x780n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: 0xdn,
  b: 0n,
  r: 0xdn
}, {
  a: -0x86n,
  b: -0x7n,
  r: -0x4300n
}, {
  a: -0x7d9n,
  b: -0x9n,
  r: -0xfb200n
}, {
  a: -0x586n,
  b: -0x2n,
  r: -0x1618n
}, {
  a: 0n,
  b: 0x17n,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: -0x8b3n,
  b: 0n,
  r: -0x8b3n
}, {
  a: 0x6fbn,
  b: -0xdn,
  r: 0xdf6000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x38n,
  r: 0n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: 0x7n,
  b: -0x3n,
  r: 0x38n
}, {
  a: -0x5n,
  b: -0xan,
  r: -0x1400n
}, {
  a: 0x9n,
  b: -0xfn,
  r: 0x48000n
}, {
  a: 0x5bn,
  b: -0x6n,
  r: 0x16c0n
}, {
  a: 0xaan,
  b: 0x20n,
  r: 0n
}, {
  a: 0x14n,
  b: 0x77n,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0xf10n,
  b: -0x9n,
  r: 0x1e2000n
}, {
  a: -0x5abn,
  b: -0xen,
  r: -0x16ac000n
}, {
  a: -0xdn,
  b: -0x6n,
  r: -0x340n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: 0xa8n,
  b: 0xbn,
  r: 0n
}, {
  a: -0xb9fn,
  b: -0xcn,
  r: -0xb9f000n
}, {
  a: -0x5dn,
  b: 0n,
  r: -0x5dn
}, {
  a: 0xb0n,
  b: -0x2n,
  r: 0x2c0n
}, {
  a: 0x116n,
  b: 0n,
  r: 0x116n
}, {
  a: -0x382n,
  b: 0xf2en,
  r: -0x1n
}, {
  a: -0xc9n,
  b: -0x6n,
  r: -0x3240n
}, {
  a: -0x80fn,
  b: 0x8fn,
  r: -0x1n
}, {
  a: 0x739n,
  b: -0x5n,
  r: 0xe720n
}, {
  a: -0x37n,
  b: 0x528n,
  r: -0x1n
}, {
  a: 0xddn,
  b: 0n,
  r: 0xddn
}, {
  a: -0xc26n,
  b: 0n,
  r: -0xc26n
}, {
  a: -0xdn,
  b: 0x7bdn,
  r: -0x1n
}, {
  a: 0xcn,
  b: -0x6n,
  r: 0x300n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0x23n,
  b: 0x553n,
  r: 0n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: 0x11n,
  b: -0x5n,
  r: 0x220n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xea0n,
  b: -0xbn,
  r: 0x750000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x5fdn,
  b: -0x5n,
  r: 0xbfa0n
}, {
  a: 0n,
  b: 0x3bn,
  r: 0n
}, {
  a: 0xd8n,
  b: -0x5n,
  r: 0x1b00n
}, {
  a: -0xf1en,
  b: -0xan,
  r: -0x3c7800n
}, {
  a: -0x46n,
  b: 0xc2n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0xfbdn,
  b: -0x5n,
  r: -0x1f7a0n
}, {
  a: 0x6n,
  b: 0x2n,
  r: 0x1n
}, {
  a: 0xb68n,
  b: -0xcn,
  r: 0xb68000n
}, {
  a: -0x50n,
  b: -0x3n,
  r: -0x280n
}, {
  a: -0xf45n,
  b: 0x887n,
  r: -0x1n
}, {
  a: -0x60n,
  b: 0xcfcn,
  r: -0x1n
}, {
  a: 0x8f5n,
  b: 0x2n,
  r: 0x23dn
}, {
  a: -0x8cfn,
  b: 0x92n,
  r: -0x1n
}, {
  a: 0xb94n,
  b: -0x9n,
  r: 0x172800n
}, {
  a: 0xfn,
  b: 0n,
  r: 0xfn
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: 0xc97n,
  b: 0x5d5n,
  r: 0n
}, {
  a: -0xeen,
  b: -0xen,
  r: -0x3b8000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: -0xen,
  b: 0xdfn,
  r: -0x1n
}, {
  a: 0x15n,
  b: -0xan,
  r: 0x5400n
}, {
  a: 0n,
  b: 0x3dn,
  r: 0n
}, {
  a: -0xa88n,
  b: -0xbn,
  r: -0x544000n
}, {
  a: 0x6dn,
  b: 0xen,
  r: 0n
}, {
  a: 0n,
  b: 0x56an,
  r: 0n
}, {
  a: -0x3an,
  b: -0x3n,
  r: -0x1d0n
}, {
  a: -0x1cn,
  b: 0n,
  r: -0x1cn
}, {
  a: -0x8dn,
  b: -0x7n,
  r: -0x4680n
}, {
  a: -0x6n,
  b: 0xbn,
  r: -0x1n
}, {
  a: 0xbe7n,
  b: -0xan,
  r: 0x2f9c00n
}, {
  a: 0n,
  b: 0x97n,
  r: 0n
}, {
  a: -0xbn,
  b: -0x4n,
  r: -0xb0n
}, {
  a: 0n,
  b: 0x4efn,
  r: 0n
}, {
  a: -0x6f1n,
  b: -0x1n,
  r: -0xde2n
}, {
  a: 0xcbn,
  b: -0xen,
  r: 0x32c000n
}, {
  a: -0x5dn,
  b: 0x21n,
  r: -0x1n
}, {
  a: -0x661n,
  b: 0xecn,
  r: -0x1n
}, {
  a: 0xen,
  b: -0xdn,
  r: 0x1c000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x8n,
  b: -0xen,
  r: -0x20000n
}, {
  a: -0xen,
  b: 0xbn,
  r: -0x1n
}, {
  a: 0x4ban,
  b: 0x4b7n,
  r: 0n
}, {
  a: 0x8n,
  b: 0xd2cn,
  r: 0n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: -0xdb6n,
  b: 0xa7n,
  r: -0x1n
}, {
  a: -0xdn,
  b: -0x9n,
  r: -0x1a00n
}, {
  a: 0n,
  b: 0xab8n,
  r: 0n
}, {
  a: 0x4n,
  b: -0x9n,
  r: 0x800n
}, {
  a: -0x3b7n,
  b: 0x2cn,
  r: -0x1n
}, {
  a: 0x1n,
  b: -0x6n,
  r: 0x40n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: -0x132n,
  b: -0x3n,
  r: -0x990n
}, {
  a: -0x6n,
  b: 0x40n,
  r: -0x1n
}, {
  a: 0x5d8n,
  b: 0x8n,
  r: 0x5n
}, {
  a: 0n,
  b: 0x94en,
  r: 0n
}, {
  a: -0x479n,
  b: 0xen,
  r: -0x1n
}, {
  a: -0x1n,
  b: -0x3n,
  r: -0x8n
}, {
  a: -0xb86n,
  b: 0xb14n,
  r: -0x1n
}, {
  a: -0x2ecn,
  b: -0xen,
  r: -0xbb0000n
}, {
  a: 0x8n,
  b: -0xcn,
  r: 0x8000n
}, {
  a: 0x7n,
  b: -0x6n,
  r: 0x1c0n
}, {
  a: 0x3b7n,
  b: -0x4n,
  r: 0x3b70n
}, {
  a: 0xan,
  b: 0xa5n,
  r: 0n
}, {
  a: 0xebn,
  b: 0xaben,
  r: 0n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0x98bn,
  b: -0xdn,
  r: 0x1316000n
}, {
  a: 0n,
  b: 0xf11n,
  r: 0n
}, {
  a: 0xc9dn,
  b: 0x2cn,
  r: 0n
}, {
  a: -0xbbn,
  b: 0xbbn,
  r: -0x1n
}, {
  a: -0x79n,
  b: -0xbn,
  r: -0x3c800n
}, {
  a: 0x4en,
  b: -0x7n,
  r: 0x2700n
}, {
  a: -0xbn,
  b: -0x8n,
  r: -0xb00n
}, {
  a: 0n,
  b: 0xf23n,
  r: 0n
}, {
  a: -0x94cn,
  b: 0x5n,
  r: -0x4bn
}, {
  a: -0xb9n,
  b: -0x2n,
  r: -0x2e4n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: 0n,
  b: 0xc2cn,
  r: 0n
}, {
  a: -0x81dn,
  b: 0xdn,
  r: -0x1n
}, {
  a: -0xa5n,
  b: 0x6n,
  r: -0x3n
}, {
  a: -0x9n,
  b: 0x45dn,
  r: -0x1n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: -0x61n,
  b: -0x8n,
  r: -0x6100n
}, {
  a: -0x1fbn,
  b: 0x468n,
  r: -0x1n
}, {
  a: 0x3fen,
  b: 0x3n,
  r: 0x7fn
}, {
  a: 0x8n,
  b: -0x4n,
  r: 0x80n
}, {
  a: 0xd8bn,
  b: -0x7n,
  r: 0x6c580n
}, {
  a: 0x1n,
  b: 0n,
  r: 0x1n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0xac5n,
  b: -0x5n,
  r: -0x158a0n
}, {
  a: 0xa4en,
  b: 0n,
  r: 0xa4en
}, {
  a: 0x61an,
  b: 0xf2n,
  r: 0n
}, {
  a: -0xcn,
  b: -0xen,
  r: -0x30000n
}, {
  a: 0xb0n,
  b: -0xcn,
  r: 0xb0000n
}, {
  a: 0xan,
  b: -0xcn,
  r: 0xa000n
}, {
  a: 0n,
  b: 0x299n,
  r: 0n
}, {
  a: 0x84n,
  b: 0x1bn,
  r: 0n
}, {
  a: 0x986n,
  b: 0x83cn,
  r: 0n
}, {
  a: -0xefn,
  b: 0x3n,
  r: -0x1en
}, {
  a: 0x41n,
  b: 0xcn,
  r: 0n
}, {
  a: -0xfn,
  b: 0x9n,
  r: -0x1n
}, {
  a: -0x1cn,
  b: -0x3n,
  r: -0xe0n
}, {
  a: 0xe2n,
  b: 0x65n,
  r: 0n
}, {
  a: 0n,
  b: 0x2fn,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x8n,
  b: -0xen,
  r: -0x20000n
}, {
  a: -0xcn,
  b: 0n,
  r: -0xcn
}, {
  a: 0x11en,
  b: -0x3n,
  r: 0x8f0n
}, {
  a: -0x39n,
  b: 0x5fan,
  r: -0x1n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: 0x15n,
  b: -0x5n,
  r: 0x2a0n
}, {
  a: 0x79n,
  b: 0x5n,
  r: 0x3n
}, {
  a: 0x5efn,
  b: 0xan,
  r: 0x1n
}, {
  a: 0xcen,
  b: -0x2n,
  r: 0x338n
}, {
  a: -0x8n,
  b: -0x1n,
  r: -0x10n
}, {
  a: -0x28n,
  b: -0xen,
  r: -0xa0000n
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: 0x7c0n,
  b: 0x4n,
  r: 0x7cn
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: -0x4n,
  b: 0x9n,
  r: -0x1n
}, {
  a: -0x853n,
  b: -0xen,
  r: -0x214c000n
}, {
  a: -0x8an,
  b: 0xen,
  r: -0x1n
}, {
  a: -0x1n,
  b: 0x8cn,
  r: -0x1n
}, {
  a: 0xbn,
  b: 0xed2n,
  r: 0n
}, {
  a: 0x5n,
  b: -0x3n,
  r: 0x28n
}, {
  a: -0xd2n,
  b: 0xaa2n,
  r: -0x1n
}, {
  a: 0xa5dn,
  b: 0x78n,
  r: 0n
}, {
  a: -0xan,
  b: 0x6c6n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x2n,
  b: 0x8f7n,
  r: 0n
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0xbn,
  b: -0xan,
  r: -0x2c00n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0x93cn,
  b: 0n,
  r: 0x93cn
}, {
  a: 0x729n,
  b: 0xfn,
  r: 0n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: -0x8b4n,
  b: 0xb8cn,
  r: -0x1n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0x32n,
  b: -0x2n,
  r: 0xc8n
}, {
  a: 0n,
  b: 0x6bn,
  r: 0n
}, {
  a: -0x893n,
  b: -0xen,
  r: -0x224c000n
}, {
  a: 0x7n,
  b: 0x4n,
  r: 0n
}, {
  a: 0x861n,
  b: 0n,
  r: 0x861n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: 0xd1n,
  b: 0n,
  r: 0xd1n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0xe7n,
  b: -0xbn,
  r: 0x73800n
}, {
  a: 0xbn,
  b: 0x17n,
  r: 0n
}, {
  a: -0x8n,
  b: -0x4n,
  r: -0x80n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: -0xb55n,
  b: -0x9n,
  r: -0x16aa00n
}, {
  a: -0xbb7n,
  b: 0xd4n,
  r: -0x1n
}, {
  a: -0xan,
  b: 0n,
  r: -0xan
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: -0x4c9n,
  b: 0n,
  r: -0x4c9n
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: 0xcn,
  b: -0xdn,
  r: 0x18000n
}, {
  a: -0xf18n,
  b: -0x3n,
  r: -0x78c0n
}, {
  a: -0x1n,
  b: -0xbn,
  r: -0x800n
}, {
  a: -0xfb5n,
  b: 0x2n,
  r: -0x3een
}, {
  a: 0n,
  b: 0x4f2n,
  r: 0n
}, {
  a: 0x47bn,
  b: 0xe8cn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x2f0n,
  b: -0x2n,
  r: -0xbc0n
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: -0xbdn,
  b: -0x2n,
  r: -0x2f4n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0x7dfn,
  b: -0xbn,
  r: -0x3ef800n
}, {
  a: -0xen,
  b: 0x67en,
  r: -0x1n
}, {
  a: -0x5f7n,
  b: 0xf59n,
  r: -0x1n
}, {
  a: 0x5d0n,
  b: 0xdeen,
  r: 0n
}, {
  a: 0xdfn,
  b: 0n,
  r: 0xdfn
}, {
  a: -0xf8bn,
  b: 0n,
  r: -0xf8bn
}, {
  a: 0xan,
  b: 0xdan,
  r: 0n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: -0x224n,
  b: 0xen,
  r: -0x1n
}, {
  a: 0x511n,
  b: -0x5n,
  r: 0xa220n
}, {
  a: -0x9dn,
  b: -0x4n,
  r: -0x9d0n
}, {
  a: 0n,
  b: 0x58n,
  r: 0n
}, {
  a: -0x2n,
  b: 0x49n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x8fn,
  b: 0n,
  r: -0x8fn
}, {
  a: -0x71n,
  b: 0n,
  r: -0x71n
}, {
  a: -0xb9n,
  b: -0xen,
  r: -0x2e4000n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: -0x3n,
  b: -0x7n,
  r: -0x180n
}, {
  a: 0x51n,
  b: 0xda7n,
  r: 0n
}, {
  a: 0xf2n,
  b: -0x7n,
  r: 0x7900n
}, {
  a: 0x7ban,
  b: 0x7n,
  r: 0xfn
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: -0x633n,
  b: -0x9n,
  r: -0xc6600n
}, {
  a: 0x267n,
  b: 0xab0n,
  r: 0n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x9an,
  b: -0x8n,
  r: -0x9a00n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0xc8bn,
  b: -0xcn,
  r: 0xc8b000n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: -0xen,
  b: -0xbn,
  r: -0x7000n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0xc10n,
  b: 0x460n,
  r: 0n
}, {
  a: -0x98n,
  b: -0xan,
  r: -0x26000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x68n,
  b: 0x5an,
  r: 0n
}, {
  a: 0n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x79n,
  b: 0x77n,
  r: 0n
}, {
  a: 0x9cn,
  b: 0x8n,
  r: 0n
}, {
  a: 0x89n,
  b: -0xcn,
  r: 0x89000n
}, {
  a: 0xdb6n,
  b: 0xefn,
  r: 0n
}, {
  a: 0x7n,
  b: -0xdn,
  r: 0xe000n
}, {
  a: 0x9n,
  b: -0x1n,
  r: 0x12n
}, {
  a: 0x4dbn,
  b: -0x1n,
  r: 0x9b6n
}, {
  a: -0x7c5n,
  b: -0x8n,
  r: -0x7c500n
}, {
  a: -0x34n,
  b: 0x4n,
  r: -0x4n
}, {
  a: 0xc1n,
  b: -0x3n,
  r: 0x608n
}, {
  a: -0x9n,
  b: -0x6n,
  r: -0x240n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0xe46n,
  b: -0xdn,
  r: 0x1c8c000n
}, {
  a: 0x9bcn,
  b: 0xd64n,
  r: 0n
}, {
  a: 0xcn,
  b: 0xffn,
  r: 0n
}, {
  a: -0xf96n,
  b: -0x4n,
  r: -0xf960n
}, {
  a: 0n,
  b: 0x9an,
  r: 0n
}, {
  a: 0x8n,
  b: 0xeadn,
  r: 0n
}, {
  a: -0xcn,
  b: -0x9n,
  r: -0x1800n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: -0xce7n,
  b: -0x6n,
  r: -0x339c0n
}, {
  a: 0n,
  b: 0xb8n,
  r: 0n
}, {
  a: 0x13n,
  b: -0xan,
  r: 0x4c00n
}, {
  a: -0xfd5n,
  b: 0xf1n,
  r: -0x1n
}, {
  a: 0x5n,
  b: 0xa4en,
  r: 0n
}, {
  a: -0xb8an,
  b: 0x4n,
  r: -0xb9n
}, {
  a: -0xen,
  b: 0x51n,
  r: -0x1n
}, {
  a: 0xcn,
  b: 0x3dn,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: -0x430n,
  b: 0xacen,
  r: -0x1n
}, {
  a: 0xb5n,
  b: -0x2n,
  r: 0x2d4n
}, {
  a: 0x99n,
  b: 0x3an,
  r: 0n
}, {
  a: 0xa7n,
  b: 0x92n,
  r: 0n
}, {
  a: 0x64n,
  b: 0x585n,
  r: 0n
}, {
  a: -0x85cn,
  b: -0xfn,
  r: -0x42e0000n
}, {
  a: 0xa6n,
  b: -0x6n,
  r: 0x2980n
}, {
  a: 0x33n,
  b: 0x2n,
  r: 0xcn
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: 0x3edn,
  b: -0x9n,
  r: 0x7da00n
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: 0xan,
  b: -0x6n,
  r: 0x280n
}, {
  a: 0n,
  b: 0xffn,
  r: 0n
}, {
  a: -0x2n,
  b: 0xcn,
  r: -0x1n
}, {
  a: 0x99n,
  b: 0xcn,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0xa1bn,
  b: 0x110n,
  r: -0x1n
}, {
  a: 0xc3n,
  b: -0x1n,
  r: 0x186n
}, {
  a: 0xe1bn,
  b: 0n,
  r: 0xe1bn
}, {
  a: 0n,
  b: -0xen,
  r: 0n
}, {
  a: 0x7n,
  b: -0x1n,
  r: 0xen
}, {
  a: 0x91n,
  b: -0x6n,
  r: 0x2440n
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: -0x2n,
  b: -0xcn,
  r: -0x2000n
}, {
  a: 0x2dn,
  b: 0x38n,
  r: 0n
}, {
  a: -0x68n,
  b: -0x6n,
  r: -0x1a00n
}, {
  a: 0x538n,
  b: 0xan,
  r: 0x1n
}, {
  a: -0xaan,
  b: -0xbn,
  r: -0x55000n
}, {
  a: 0x394n,
  b: 0x8en,
  r: 0n
}, {
  a: -0xd16n,
  b: 0xfn,
  r: -0x1n
}, {
  a: 0x6n,
  b: -0x6n,
  r: 0x180n
}, {
  a: 0n,
  b: 0xcen,
  r: 0n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: 0n,
  b: 0xden,
  r: 0n
}, {
  a: 0xc97n,
  b: 0xen,
  r: 0n
}, {
  a: -0xen,
  b: 0xd2n,
  r: -0x1n
}, {
  a: 0xdn,
  b: 0x6e7n,
  r: 0n
}, {
  a: -0x3ban,
  b: 0x45bn,
  r: -0x1n
}, {
  a: -0xcn,
  b: 0x7bn,
  r: -0x1n
}, {
  a: -0x64en,
  b: 0xbn,
  r: -0x1n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: -0xc0n,
  b: -0xfn,
  r: -0x600000n
}, {
  a: -0xban,
  b: -0x1n,
  r: -0x174n
}, {
  a: 0xadbn,
  b: -0x9n,
  r: 0x15b600n
}, {
  a: 0x55dn,
  b: 0xb7fn,
  r: 0n
}, {
  a: 0x5cn,
  b: -0x5n,
  r: 0xb80n
}, {
  a: 0xddn,
  b: -0xcn,
  r: 0xdd000n
}, {
  a: 0x7n,
  b: -0x1n,
  r: 0xen
}, {
  a: 0xf9dn,
  b: 0n,
  r: 0xf9dn
}, {
  a: -0x9n,
  b: 0xcn,
  r: -0x1n
}, {
  a: -0xbn,
  b: 0x4f7n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xd10n,
  b: -0x2n,
  r: 0x3440n
}, {
  a: 0xacdn,
  b: -0xen,
  r: 0x2b34000n
}, {
  a: -0x6b6n,
  b: -0x1n,
  r: -0xd6cn
}, {
  a: -0x7n,
  b: -0x5n,
  r: -0xe0n
}, {
  a: 0x8e6n,
  b: -0x5n,
  r: 0x11cc0n
}, {
  a: 0x9fn,
  b: -0x4n,
  r: 0x9f0n
}, {
  a: -0xae2n,
  b: -0x2n,
  r: -0x2b88n
}, {
  a: -0xbn,
  b: -0xcn,
  r: -0xb000n
}, {
  a: -0xf9n,
  b: -0xfn,
  r: -0x7c8000n
}, {
  a: 0xbn,
  b: -0x7n,
  r: 0x580n
}, {
  a: 0xc3n,
  b: 0xcn,
  r: 0n
}, {
  a: -0x11n,
  b: -0x4n,
  r: -0x110n
}, {
  a: -0x8n,
  b: -0xfn,
  r: -0x40000n
}, {
  a: 0n,
  b: 0xab4n,
  r: 0n
}, {
  a: -0xefn,
  b: -0x3n,
  r: -0x778n
}, {
  a: 0x8an,
  b: -0xbn,
  r: 0x45000n
}, {
  a: -0xd2n,
  b: -0x9n,
  r: -0x1a400n
}, {
  a: 0x25n,
  b: 0x9n,
  r: 0n
}, {
  a: -0xcafn,
  b: 0x505n,
  r: -0x1n
}, {
  a: 0x44n,
  b: -0x4n,
  r: 0x440n
}, {
  a: 0x3n,
  b: 0xfn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xf3n,
  b: 0x1n,
  r: -0x7an
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: -0x27n,
  b: 0n,
  r: -0x27n
}, {
  a: -0x1n,
  b: -0x8n,
  r: -0x100n
}, {
  a: 0xan,
  b: -0x7n,
  r: 0x500n
}, {
  a: -0x9n,
  b: 0x172n,
  r: -0x1n
}, {
  a: -0x6e4n,
  b: 0x5aan,
  r: -0x1n
}, {
  a: 0x58n,
  b: -0xan,
  r: 0x16000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x622n,
  b: -0xan,
  r: -0x188800n
}, {
  a: 0x1fn,
  b: 0x9n,
  r: 0n
}, {
  a: -0x9n,
  b: -0x5n,
  r: -0x120n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x5d6n,
  b: 0x9n,
  r: 0x2n
}, {
  a: 0n,
  b: 0xcen,
  r: 0n
}, {
  a: 0x79n,
  b: 0x6n,
  r: 0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0x65en,
  b: 0x2n,
  r: -0x198n
}, {
  a: -0x95n,
  b: 0n,
  r: -0x95n
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: -0x7n,
  b: 0xcn,
  r: -0x1n
}, {
  a: -0x85dn,
  b: -0x8n,
  r: -0x85d00n
}, {
  a: 0x46n,
  b: -0x2n,
  r: 0x118n
}, {
  a: -0xa8n,
  b: -0x8n,
  r: -0xa800n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x589n,
  b: 0x2n,
  r: 0x162n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0x44n,
  b: -0x2n,
  r: -0x110n
}, {
  a: 0x2an,
  b: 0n,
  r: 0x2an
}, {
  a: 0x2dfn,
  b: -0x2n,
  r: 0xb7cn
}, {
  a: 0x6aan,
  b: -0x7n,
  r: 0x35500n
}, {
  a: -0xd45n,
  b: -0x9n,
  r: -0x1a8a00n
}, {
  a: -0x2n,
  b: 0x3dn,
  r: -0x1n
}, {
  a: -0x46en,
  b: -0x9n,
  r: -0x8dc00n
}, {
  a: -0x2cn,
  b: -0xen,
  r: -0xb0000n
}, {
  a: 0x105n,
  b: 0xe2n,
  r: 0n
}, {
  a: 0xbbn,
  b: -0xen,
  r: 0x2ec000n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: 0xfn,
  b: -0xen,
  r: 0x3c000n
}, {
  a: -0x4c3n,
  b: -0x6n,
  r: -0x130c0n
}, {
  a: 0x7n,
  b: 0x8a9n,
  r: 0n
}, {
  a: -0x2n,
  b: -0x4n,
  r: -0x20n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x34n,
  b: 0x57n,
  r: 0n
}, {
  a: 0xf6fn,
  b: 0x9d1n,
  r: 0n
}, {
  a: 0xdb2n,
  b: 0x2b8n,
  r: 0n
}, {
  a: 0n,
  b: 0x550n,
  r: 0n
}, {
  a: -0x706n,
  b: -0xan,
  r: -0x1c1800n
}, {
  a: 0x9f3n,
  b: 0n,
  r: 0x9f3n
}, {
  a: -0xfd0n,
  b: -0xdn,
  r: -0x1fa0000n
}, {
  a: -0x3dn,
  b: 0n,
  r: -0x3dn
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0xfdn,
  b: 0n,
  r: 0xfdn
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0x69n,
  b: -0xan,
  r: -0x1a400n
}, {
  a: -0x2n,
  b: 0x53an,
  r: -0x1n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0xbn,
  b: 0x1cn,
  r: 0n
}, {
  a: -0xca1n,
  b: -0x6n,
  r: -0x32840n
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x9a2n,
  r: 0n
}, {
  a: 0n,
  b: 0x7cn,
  r: 0n
}, {
  a: 0xffn,
  b: 0x3en,
  r: 0n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: 0n,
  b: 0x5an,
  r: 0n
}, {
  a: -0x79n,
  b: -0x8n,
  r: -0x7900n
}, {
  a: 0xf5an,
  b: -0x3n,
  r: 0x7ad0n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: -0x9dn,
  b: -0x6n,
  r: -0x2740n
}, {
  a: -0x98n,
  b: 0xdn,
  r: -0x1n
}, {
  a: 0x33n,
  b: -0x5n,
  r: 0x660n
}, {
  a: -0xacn,
  b: 0x5c3n,
  r: -0x1n
}, {
  a: 0xbn,
  b: -0x3n,
  r: 0x58n
}, {
  a: -0x36n,
  b: 0n,
  r: -0x36n
}, {
  a: -0x3en,
  b: -0x8n,
  r: -0x3e00n
}, {
  a: -0x32n,
  b: -0x4n,
  r: -0x320n
}, {
  a: 0x10en,
  b: -0x9n,
  r: 0x21c00n
}, {
  a: 0x51n,
  b: 0x14n,
  r: 0n
}, {
  a: -0xb77n,
  b: 0xd5n,
  r: -0x1n
}, {
  a: -0xbd7n,
  b: -0xcn,
  r: -0xbd7000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: -0xan,
  r: 0x1800n
}, {
  a: 0n,
  b: 0x4n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: 0x11an,
  r: 0n
}, {
  a: 0xd4n,
  b: 0xa72n,
  r: 0n
}, {
  a: -0xen,
  b: 0x240n,
  r: -0x1n
}, {
  a: 0xfn,
  b: 0n,
  r: 0xfn
}, {
  a: 0xen,
  b: 0x7a9n,
  r: 0n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: 0xf59n,
  b: -0x8n,
  r: 0xf5900n
}, {
  a: 0x898n,
  b: 0n,
  r: 0x898n
}, {
  a: 0x9dn,
  b: -0xcn,
  r: 0x9d000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x2f0n,
  b: -0xfn,
  r: -0x1780000n
}, {
  a: -0xa4n,
  b: 0x56n,
  r: -0x1n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: -0x4an,
  b: 0xe6n,
  r: -0x1n
}, {
  a: -0x4en,
  b: 0xan,
  r: -0x1n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: 0xebfn,
  b: 0xd5bn,
  r: 0n
}, {
  a: -0x112n,
  b: 0xe6fn,
  r: -0x1n
}, {
  a: -0x314n,
  b: -0x1n,
  r: -0x628n
}, {
  a: 0n,
  b: 0xbdcn,
  r: 0n
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: -0x8n,
  b: 0xefn,
  r: -0x1n
}, {
  a: 0x4n,
  b: -0x4n,
  r: 0x40n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0xa4n,
  b: 0xf2en,
  r: -0x1n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: -0x8n,
  b: 0x86n,
  r: -0x1n
}, {
  a: -0x34n,
  b: 0xf9n,
  r: -0x1n
}, {
  a: 0xdn,
  b: -0x9n,
  r: 0x1a00n
}, {
  a: 0x674n,
  b: -0x9n,
  r: 0xce800n
}, {
  a: 0xcfn,
  b: 0x8n,
  r: 0n
}, {
  a: 0xan,
  b: -0x1n,
  r: 0x14n
}, {
  a: 0x52fn,
  b: 0n,
  r: 0x52fn
}, {
  a: 0x8dn,
  b: -0x4n,
  r: 0x8d0n
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: -0x2n,
  b: 0xc9n,
  r: -0x1n
}, {
  a: 0x48n,
  b: -0x4n,
  r: 0x480n
}, {
  a: -0x56n,
  b: -0xan,
  r: -0x15800n
}, {
  a: 0xaf0n,
  b: -0x3n,
  r: 0x5780n
}, {
  a: -0x25n,
  b: 0x93n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x4n,
  b: -0x3n,
  r: -0x20n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: 0n,
  b: 0x6fn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: -0xdn,
  r: -0x1e000n
}, {
  a: 0x3n,
  b: 0xen,
  r: 0n
}, {
  a: -0xcn,
  b: -0xen,
  r: -0x30000n
}, {
  a: -0x6n,
  b: -0xfn,
  r: -0x30000n
}, {
  a: 0x3n,
  b: -0x8n,
  r: 0x300n
}, {
  a: 0x791n,
  b: -0x8n,
  r: 0x79100n
}, {
  a: -0x2n,
  b: 0x9n,
  r: -0x1n
}, {
  a: -0x7an,
  b: 0x9c3n,
  r: -0x1n
}, {
  a: -0x3n,
  b: -0xdn,
  r: -0x6000n
}, {
  a: 0n,
  b: -0xen,
  r: 0n
}, {
  a: -0x12n,
  b: 0x3n,
  r: -0x3n
}, {
  a: -0x8n,
  b: -0x7n,
  r: -0x400n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x9cn,
  b: 0x765n,
  r: -0x1n
}, {
  a: -0x9n,
  b: -0xen,
  r: -0x24000n
}, {
  a: 0xc0n,
  b: 0x3n,
  r: 0x18n
}, {
  a: 0x8een,
  b: -0xcn,
  r: 0x8ee000n
}, {
  a: -0x7cn,
  b: 0xe4n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xd6n,
  r: 0n
}, {
  a: -0x961n,
  b: -0x3n,
  r: -0x4b08n
}, {
  a: 0x13n,
  b: -0x3n,
  r: 0x98n
}, {
  a: -0x68n,
  b: 0x8an,
  r: -0x1n
}, {
  a: 0xc37n,
  b: -0xan,
  r: 0x30dc00n
}, {
  a: 0x50n,
  b: 0x934n,
  r: 0n
}, {
  a: 0xcbn,
  b: 0n,
  r: 0xcbn
}, {
  a: -0x91n,
  b: 0xe8bn,
  r: -0x1n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0x162n,
  r: 0n
}, {
  a: 0x3n,
  b: 0xb0n,
  r: 0n
}, {
  a: 0x68an,
  b: 0n,
  r: 0x68an
}, {
  a: -0x6n,
  b: -0x6n,
  r: -0x180n
}, {
  a: 0n,
  b: 0xbb7n,
  r: 0n
}, {
  a: 0xb43n,
  b: 0n,
  r: 0xb43n
}, {
  a: 0n,
  b: 0xa2n,
  r: 0n
}, {
  a: -0xc1n,
  b: 0n,
  r: -0xc1n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0x10bn,
  b: 0n,
  r: 0x10bn
}, {
  a: 0x3fn,
  b: -0x1n,
  r: 0x7en
}, {
  a: 0xbdn,
  b: -0x2n,
  r: 0x2f4n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0xcen,
  b: 0x238n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0n,
  b: 0x357n,
  r: 0n
}, {
  a: 0x54cn,
  b: -0x2n,
  r: 0x1530n
}, {
  a: 0x9n,
  b: -0xfn,
  r: 0x48000n
}, {
  a: 0xden,
  b: -0x8n,
  r: 0xde00n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0x7e5n,
  b: 0n,
  r: 0x7e5n
}, {
  a: 0x29fn,
  b: 0xa76n,
  r: 0n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: 0x162n,
  b: -0x4n,
  r: 0x1620n
}, {
  a: 0xaf5n,
  b: 0n,
  r: 0xaf5n
}, {
  a: -0x63n,
  b: -0x7n,
  r: -0x3180n
}, {
  a: 0x19en,
  b: 0xf0n,
  r: 0n
}, {
  a: -0x58n,
  b: 0x21bn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x95n,
  r: 0n
}, {
  a: 0x2fbn,
  b: -0x2n,
  r: 0xbecn
}, {
  a: 0xe1n,
  b: -0x1n,
  r: 0x1c2n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x2n,
  b: 0x2ben,
  r: 0n
}, {
  a: 0x958n,
  b: -0x2n,
  r: 0x2560n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: -0x35n,
  b: 0x1n,
  r: -0x1bn
}, {
  a: -0xc0n,
  b: -0xen,
  r: -0x300000n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: 0n,
  b: 0xbn,
  r: 0n
}, {
  a: 0n,
  b: 0x1an,
  r: 0n
}, {
  a: -0x9n,
  b: -0xcn,
  r: -0x9000n
}, {
  a: -0xa9cn,
  b: -0xdn,
  r: -0x1538000n
}, {
  a: -0x8n,
  b: -0xbn,
  r: -0x4000n
}, {
  a: 0n,
  b: 0xe0cn,
  r: 0n
}, {
  a: 0xen,
  b: 0x5an,
  r: 0n
}, {
  a: 0xbn,
  b: 0x244n,
  r: 0n
}, {
  a: -0xben,
  b: -0x4n,
  r: -0xbe0n
}, {
  a: 0x196n,
  b: 0xb1n,
  r: 0n
}, {
  a: 0x4n,
  b: -0xcn,
  r: 0x4000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xc15n,
  b: -0xcn,
  r: -0xc15000n
}, {
  a: -0xd64n,
  b: -0xdn,
  r: -0x1ac8000n
}, {
  a: 0n,
  b: 0xefn,
  r: 0n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0xcdn,
  b: 0x4dn,
  r: 0n
}, {
  a: 0xf0n,
  b: 0x3n,
  r: 0x1en
}, {
  a: 0x7cn,
  b: -0x2n,
  r: 0x1f0n
}, {
  a: 0n,
  b: 0xefn,
  r: 0n
}, {
  a: 0x2n,
  b: -0xen,
  r: 0x8000n
}, {
  a: 0n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x9n,
  b: 0xa84n,
  r: 0n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0x75n,
  b: -0x9n,
  r: 0xea00n
}, {
  a: 0n,
  b: 0x1e3n,
  r: 0n
}, {
  a: 0x6c4n,
  b: -0xan,
  r: 0x1b1000n
}, {
  a: 0xden,
  b: 0xd1n,
  r: 0n
}, {
  a: -0x2n,
  b: -0xan,
  r: -0x800n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: -0xe6n,
  b: -0x2n,
  r: -0x398n
}, {
  a: 0x9n,
  b: 0x7n,
  r: 0n
}, {
  a: 0x1n,
  b: 0x4dn,
  r: 0n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: 0xf2n,
  b: -0xan,
  r: 0x3c800n
}, {
  a: -0x60n,
  b: 0x77n,
  r: -0x1n
}, {
  a: -0x20n,
  b: -0xfn,
  r: -0x100000n
}, {
  a: 0n,
  b: -0xen,
  r: 0n
}, {
  a: 0xa8cn,
  b: 0x72bn,
  r: 0n
}, {
  a: 0x8n,
  b: 0xan,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x9dfn,
  r: 0n
}, {
  a: 0x60n,
  b: -0x2n,
  r: 0x180n
}, {
  a: 0x7e5n,
  b: -0x6n,
  r: 0x1f940n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0n,
  b: 0x1f0n,
  r: 0n
}, {
  a: 0x44cn,
  b: 0x2dn,
  r: 0n
}, {
  a: 0n,
  b: 0xa79n,
  r: 0n
}, {
  a: 0xd4n,
  b: -0x6n,
  r: 0x3500n
}, {
  a: -0x52n,
  b: 0xd7n,
  r: -0x1n
}, {
  a: -0xdn,
  b: 0xd87n,
  r: -0x1n
}, {
  a: 0x7n,
  b: 0x9n,
  r: 0n
}, {
  a: -0x18en,
  b: -0x6n,
  r: -0x6380n
}, {
  a: 0xe1n,
  b: 0n,
  r: 0xe1n
}, {
  a: -0xa90n,
  b: 0n,
  r: -0xa90n
}, {
  a: -0x21n,
  b: 0x6f9n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x99n,
  r: 0n
}, {
  a: 0xa22n,
  b: 0x163n,
  r: 0n
}, {
  a: -0xa0n,
  b: -0x2n,
  r: -0x280n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0xan,
  b: -0x2n,
  r: 0x28n
}, {
  a: -0xben,
  b: -0x9n,
  r: -0x17c00n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x50en,
  b: 0xca6n,
  r: -0x1n
}, {
  a: -0xden,
  b: 0n,
  r: -0xden
}, {
  a: -0x63an,
  b: 0xan,
  r: -0x2n
}, {
  a: 0xc34n,
  b: -0x7n,
  r: 0x61a00n
}, {
  a: -0xc96n,
  b: 0x1d8n,
  r: -0x1n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: 0xbn,
  b: -0xfn,
  r: 0x58000n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0x3n,
  b: -0xen,
  r: 0xc000n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: -0xcen,
  b: -0x3n,
  r: -0x670n
}, {
  a: -0xcfn,
  b: -0x8n,
  r: -0xcf00n
}, {
  a: -0x3en,
  b: -0x9n,
  r: -0x7c00n
}, {
  a: 0n,
  b: 0x44n,
  r: 0n
}, {
  a: -0xf7n,
  b: -0x2n,
  r: -0x3dcn
}, {
  a: 0xcn,
  b: 0x30n,
  r: 0n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: 0xf10n,
  b: -0xcn,
  r: 0xf10000n
}, {
  a: -0x455n,
  b: 0x24fn,
  r: -0x1n
}, {
  a: -0x4n,
  b: -0x7n,
  r: -0x200n
}, {
  a: 0x92n,
  b: 0xc9n,
  r: 0n
}, {
  a: 0x7e5n,
  b: 0x1n,
  r: 0x3f2n
}, {
  a: 0x10n,
  b: -0x8n,
  r: 0x1000n
}, {
  a: 0x1bn,
  b: -0xen,
  r: 0x6c000n
}, {
  a: -0x9d7n,
  b: -0x8n,
  r: -0x9d700n
}, {
  a: -0x982n,
  b: 0x6n,
  r: -0x27n
}, {
  a: -0x3bn,
  b: 0xbn,
  r: -0x1n
}, {
  a: 0x46bn,
  b: -0x2n,
  r: 0x11acn
}, {
  a: 0xd5n,
  b: -0x5n,
  r: 0x1aa0n
}, {
  a: -0x71bn,
  b: -0x3n,
  r: -0x38d8n
}, {
  a: 0x34n,
  b: 0xen,
  r: 0n
}, {
  a: 0xf30n,
  b: -0xbn,
  r: 0x798000n
}, {
  a: 0x2n,
  b: -0x1n,
  r: 0x4n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: 0xeen,
  b: 0n,
  r: 0xeen
}, {
  a: 0x1n,
  b: 0x397n,
  r: 0n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: -0x7n,
  b: -0x2n,
  r: -0x1cn
}, {
  a: 0x1n,
  b: -0x1n,
  r: 0x2n
}, {
  a: 0x6n,
  b: -0x6n,
  r: 0x180n
}, {
  a: -0x2n,
  b: 0x1n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x378n,
  b: -0x8n,
  r: -0x37800n
}, {
  a: -0xdn,
  b: -0x6n,
  r: -0x340n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0xd6n,
  b: 0x4bbn,
  r: 0n
}, {
  a: 0x3n,
  b: -0x7n,
  r: 0x180n
}, {
  a: 0xd0n,
  b: -0x1n,
  r: 0x1a0n
}, {
  a: -0xcccn,
  b: 0xbn,
  r: -0x2n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0x77n,
  b: 0x13dn,
  r: 0n
}, {
  a: 0xcn,
  b: 0xan,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0x81n,
  b: -0x5n,
  r: 0x1020n
}, {
  a: -0xafn,
  b: -0x7n,
  r: -0x5780n
}, {
  a: -0xdcn,
  b: 0x7ecn,
  r: -0x1n
}, {
  a: 0x2cn,
  b: 0xcn,
  r: 0n
}, {
  a: -0xdbn,
  b: -0x7n,
  r: -0x6d80n
}, {
  a: -0x1n,
  b: 0x7dn,
  r: -0x1n
}, {
  a: 0n,
  b: 0xe36n,
  r: 0n
}, {
  a: 0xdcn,
  b: -0x2n,
  r: 0x370n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x74n,
  b: 0x77n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: 0xcan,
  b: -0x9n,
  r: 0x19400n
}, {
  a: -0xdd0n,
  b: 0xan,
  r: -0x4n
}, {
  a: -0x49n,
  b: 0n,
  r: -0x49n
}, {
  a: -0x7ebn,
  b: -0x4n,
  r: -0x7eb0n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0xcc9n,
  b: 0xdn,
  r: -0x1n
}, {
  a: -0xf2en,
  b: -0xbn,
  r: -0x797000n
}, {
  a: -0x95n,
  b: -0x3n,
  r: -0x4a8n
}, {
  a: 0xbddn,
  b: -0x5n,
  r: 0x17ba0n
}, {
  a: 0n,
  b: 0x93an,
  r: 0n
}, {
  a: 0x4n,
  b: 0xe61n,
  r: 0n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0x9n,
  b: -0x5n,
  r: 0x120n
}, {
  a: -0x5a6n,
  b: -0xbn,
  r: -0x2d3000n
}, {
  a: 0xdn,
  b: 0xf3n,
  r: 0n
}, {
  a: -0x6n,
  b: 0x2n,
  r: -0x2n
}, {
  a: -0x170n,
  b: 0xe0n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: -0x297n,
  b: -0xan,
  r: -0xa5c00n
}, {
  a: -0xfe5n,
  b: 0n,
  r: -0xfe5n
}, {
  a: -0xbn,
  b: 0x57n,
  r: -0x1n
}, {
  a: -0xdn,
  b: 0x6n,
  r: -0x1n
}, {
  a: -0xdn,
  b: -0x8n,
  r: -0xd00n
}, {
  a: -0xa1n,
  b: 0n,
  r: -0xa1n
}, {
  a: -0xdn,
  b: 0xfn,
  r: -0x1n
}, {
  a: 0xfn,
  b: 0xaa2n,
  r: 0n
}, {
  a: 0x5cn,
  b: 0x53n,
  r: 0n
}, {
  a: -0x2n,
  b: 0x602n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: -0xf5n,
  b: 0xa0n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: -0x1n,
  b: -0xan,
  r: -0x400n
}, {
  a: 0x40n,
  b: 0n,
  r: 0x40n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x11bn,
  b: 0x98n,
  r: 0n
}, {
  a: -0xfn,
  b: 0xc9an,
  r: -0x1n
}, {
  a: -0xf3n,
  b: 0x4n,
  r: -0x10n
}, {
  a: -0x54n,
  b: -0x8n,
  r: -0x5400n
}, {
  a: -0x73n,
  b: -0x4n,
  r: -0x730n
}, {
  a: -0x5n,
  b: 0xa3cn,
  r: -0x1n
}, {
  a: 0x6an,
  b: -0x4n,
  r: 0x6a0n
}, {
  a: 0x463n,
  b: -0xcn,
  r: 0x463000n
}, {
  a: -0x248n,
  b: 0xcfbn,
  r: -0x1n
}, {
  a: -0xfd9n,
  b: 0x441n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0x8an,
  b: -0xen,
  r: 0x228000n
}, {
  a: 0x87cn,
  b: -0x7n,
  r: 0x43e00n
}, {
  a: -0x27bn,
  b: -0x8n,
  r: -0x27b00n
}, {
  a: -0x76n,
  b: -0xcn,
  r: -0x76000n
}, {
  a: 0xb0n,
  b: 0xa4fn,
  r: 0n
}, {
  a: -0x27n,
  b: -0xdn,
  r: -0x4e000n
}, {
  a: -0x6n,
  b: -0x1n,
  r: -0xcn
}, {
  a: -0xabn,
  b: 0xb0an,
  r: -0x1n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x925n,
  b: -0x8n,
  r: -0x92500n
}, {
  a: 0x8n,
  b: -0x8n,
  r: 0x800n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0x3ffn,
  b: 0x61fn,
  r: 0n
}, {
  a: 0n,
  b: 0xdb5n,
  r: 0n
}, {
  a: 0n,
  b: 0x355n,
  r: 0n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0x6n,
  b: 0x6n,
  r: 0n
}, {
  a: -0xan,
  b: -0x5n,
  r: -0x140n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: 0x54n,
  b: 0x8n,
  r: 0n
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: 0x877n,
  b: -0x9n,
  r: 0x10ee00n
}, {
  a: 0x77bn,
  b: -0xcn,
  r: 0x77b000n
}, {
  a: -0x81n,
  b: 0x947n,
  r: -0x1n
}, {
  a: 0x578n,
  b: 0xc79n,
  r: 0n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: 0n,
  b: 0x749n,
  r: 0n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: -0xf5n,
  b: -0x1n,
  r: -0x1ean
}, {
  a: -0x2fn,
  b: 0x85n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xe48n,
  r: 0n
}, {
  a: -0x3n,
  b: -0xdn,
  r: -0x6000n
}, {
  a: -0x9cn,
  b: -0x9n,
  r: -0x13800n
}, {
  a: -0xa2n,
  b: 0x7acn,
  r: -0x1n
}, {
  a: 0xd7n,
  b: -0xdn,
  r: 0x1ae000n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0x3n,
  b: 0n,
  r: 0x3n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0x7b9n,
  b: -0xan,
  r: 0x1ee400n
}, {
  a: 0xaabn,
  b: 0xan,
  r: 0x2n
}, {
  a: -0x264n,
  b: -0x6n,
  r: -0x9900n
}, {
  a: -0x8n,
  b: 0xbn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x931n,
  r: 0n
}, {
  a: 0n,
  b: 0xf0fn,
  r: 0n
}, {
  a: -0x3bn,
  b: -0xan,
  r: -0xec00n
}, {
  a: 0xb09n,
  b: 0xc9cn,
  r: 0n
}, {
  a: -0x6n,
  b: 0xc33n,
  r: -0x1n
}, {
  a: 0xc4n,
  b: -0x3n,
  r: 0x620n
}, {
  a: -0x854n,
  b: 0xf11n,
  r: -0x1n
}, {
  a: 0xba1n,
  b: -0xfn,
  r: 0x5d08000n
}, {
  a: -0x75en,
  b: -0x2n,
  r: -0x1d78n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: 0xa20n,
  b: -0x3n,
  r: 0x5100n
}, {
  a: 0x65n,
  b: 0xb73n,
  r: 0n
}, {
  a: -0xa6fn,
  b: -0x7n,
  r: -0x53780n
}, {
  a: 0x89n,
  b: 0x7bn,
  r: 0n
}, {
  a: -0xen,
  b: 0x3n,
  r: -0x2n
}, {
  a: -0xedcn,
  b: -0x7n,
  r: -0x76e00n
}, {
  a: 0xa06n,
  b: 0n,
  r: 0xa06n
}, {
  a: 0x1n,
  b: -0xbn,
  r: 0x800n
}, {
  a: -0x18dn,
  b: 0xbn,
  r: -0x1n
}, {
  a: -0x82an,
  b: -0x5n,
  r: -0x10540n
}, {
  a: 0xf5n,
  b: 0xcn,
  r: 0n
}, {
  a: -0xbn,
  b: 0xcn,
  r: -0x1n
}, {
  a: 0x4n,
  b: -0xen,
  r: 0x10000n
}, {
  a: -0x1n,
  b: -0x1n,
  r: -0x2n
}, {
  a: -0x54n,
  b: 0xff6n,
  r: -0x1n
}, {
  a: -0x3n,
  b: -0x9n,
  r: -0x600n
}, {
  a: 0xcn,
  b: -0xen,
  r: 0x30000n
}, {
  a: -0xbn,
  b: -0xdn,
  r: -0x16000n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x9c5n,
  b: 0x2n,
  r: 0x271n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x3n,
  b: -0x7n,
  r: -0x180n
}, {
  a: -0x43bn,
  b: -0xfn,
  r: -0x21d8000n
}, {
  a: -0x37dn,
  b: -0xfn,
  r: -0x1be8000n
}, {
  a: 0n,
  b: 0x7c6n,
  r: 0n
}, {
  a: 0xd8dn,
  b: 0x2n,
  r: 0x363n
}, {
  a: 0x48n,
  b: -0x9n,
  r: 0x9000n
}, {
  a: 0x24n,
  b: -0x9n,
  r: 0x4800n
}, {
  a: 0x9bn,
  b: -0x6n,
  r: 0x26c0n
}, {
  a: -0x905n,
  b: -0x5n,
  r: -0x120a0n
}, {
  a: 0x36bn,
  b: 0n,
  r: 0x36bn
}, {
  a: -0x50fn,
  b: 0x9bn,
  r: -0x1n
}, {
  a: 0x423n,
  b: -0xcn,
  r: 0x423000n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: -0xadn,
  b: -0xen,
  r: -0x2b4000n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: -0x1c7n,
  b: 0n,
  r: -0x1c7n
}, {
  a: 0n,
  b: -0xdn,
  r: 0n
}, {
  a: 0xd60n,
  b: -0xfn,
  r: 0x6b00000n
}, {
  a: 0x2n,
  b: -0x2n,
  r: 0x8n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: -0x3n,
  b: -0x7n,
  r: -0x180n
}, {
  a: 0x451n,
  b: 0n,
  r: 0x451n
}, {
  a: 0x5fn,
  b: -0x3n,
  r: 0x2f8n
}, {
  a: 0xf0cn,
  b: 0n,
  r: 0xf0cn
}, {
  a: 0n,
  b: 0x1en,
  r: 0n
}, {
  a: -0xfan,
  b: -0x6n,
  r: -0x3e80n
}, {
  a: 0x8dn,
  b: 0x1n,
  r: 0x46n
}, {
  a: 0x46n,
  b: -0xan,
  r: 0x11800n
}, {
  a: 0xf14n,
  b: -0x6n,
  r: 0x3c500n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0x58n,
  b: 0xbn,
  r: 0n
}, {
  a: 0xd5n,
  b: -0x5n,
  r: 0x1aa0n
}, {
  a: 0x6n,
  b: -0x3n,
  r: 0x30n
}, {
  a: 0n,
  b: 0x43n,
  r: 0n
}, {
  a: -0xa3n,
  b: 0x1n,
  r: -0x52n
}, {
  a: -0x5dn,
  b: -0x1n,
  r: -0xban
}, {
  a: 0n,
  b: 0x75n,
  r: 0n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: -0xf6n,
  b: 0n,
  r: -0xf6n
}, {
  a: 0n,
  b: 0xd8n,
  r: 0n
}, {
  a: 0n,
  b: -0x1n,
  r: 0n
}, {
  a: 0xcn,
  b: -0x7n,
  r: 0x600n
}, {
  a: -0x40cn,
  b: -0xfn,
  r: -0x2060000n
}, {
  a: -0x7n,
  b: -0x7n,
  r: -0x380n
}, {
  a: 0x1an,
  b: -0xan,
  r: 0x6800n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0n,
  b: -0x1n,
  r: 0n
}, {
  a: 0xan,
  b: 0xe15n,
  r: 0n
}, {
  a: 0n,
  b: 0xean,
  r: 0n
}, {
  a: -0x5an,
  b: 0x6n,
  r: -0x2n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: -0xfd9n,
  b: -0x2n,
  r: -0x3f64n
}, {
  a: 0x690n,
  b: -0x2n,
  r: 0x1a40n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x16n,
  r: 0n
}, {
  a: -0x393n,
  b: -0xbn,
  r: -0x1c9800n
}, {
  a: 0x5n,
  b: -0xdn,
  r: 0xa000n
}, {
  a: 0xdn,
  b: 0x918n,
  r: 0n
}, {
  a: -0x404n,
  b: -0xfn,
  r: -0x2020000n
}, {
  a: 0x7en,
  b: -0xcn,
  r: 0x7e000n
}, {
  a: 0n,
  b: 0x80an,
  r: 0n
}, {
  a: 0x742n,
  b: 0x507n,
  r: 0n
}, {
  a: -0x29n,
  b: 0x8b0n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0xd67n,
  b: -0xcn,
  r: 0xd67000n
}, {
  a: 0x1n,
  b: 0n,
  r: 0x1n
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: 0x7n,
  b: 0x6a0n,
  r: 0n
}, {
  a: 0xa46n,
  b: 0x428n,
  r: 0n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: -0x1en,
  b: 0n,
  r: -0x1en
}, {
  a: -0x7n,
  b: -0xcn,
  r: -0x7000n
}, {
  a: 0xbdn,
  b: -0x1n,
  r: 0x17an
}, {
  a: -0xcn,
  b: -0x2n,
  r: -0x30n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: 0x17en,
  b: -0xfn,
  r: 0xbf0000n
}, {
  a: -0x1a0n,
  b: -0x2n,
  r: -0x680n
}, {
  a: -0x1fan,
  b: 0xdc5n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0x6n,
  b: 0x982n,
  r: 0n
}, {
  a: 0x7n,
  b: 0x7n,
  r: 0n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: -0x19n,
  b: -0x2n,
  r: -0x64n
}, {
  a: -0xcen,
  b: 0xan,
  r: -0x1n
}, {
  a: 0n,
  b: 0x2fn,
  r: 0n
}, {
  a: -0x53cn,
  b: 0n,
  r: -0x53cn
}, {
  a: 0x5n,
  b: -0xcn,
  r: 0x5000n
}, {
  a: 0xbn,
  b: -0x3n,
  r: 0x58n
}, {
  a: 0x63n,
  b: -0x9n,
  r: 0xc600n
}, {
  a: 0x7a6n,
  b: 0xc8bn,
  r: 0n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: -0xab8n,
  b: 0xaffn,
  r: -0x1n
}, {
  a: -0x5cbn,
  b: -0x2n,
  r: -0x172cn
}, {
  a: 0x84n,
  b: -0xan,
  r: 0x21000n
}, {
  a: 0xb2an,
  b: 0x9aan,
  r: 0n
}, {
  a: -0xbn,
  b: 0n,
  r: -0xbn
}, {
  a: -0x2n,
  b: -0x4n,
  r: -0x20n
}, {
  a: -0xa6n,
  b: -0x3n,
  r: -0x530n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0x30n,
  b: 0x6b4n,
  r: 0n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0x678n,
  b: 0x59en,
  r: 0n
}, {
  a: -0x6n,
  b: 0x4n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdfn,
  b: -0x2n,
  r: -0x37cn
}, {
  a: 0x1n,
  b: -0x2n,
  r: 0x4n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}];

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