// 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: -0xbn,
  b: -0xen,
  r: -0x9n
}, {
  a: 0n,
  b: 0xb1n,
  r: 0xb1n
}, {
  a: 0x879n,
  b: -0x27n,
  r: -0x7n
}, {
  a: 0x4bn,
  b: 0n,
  r: 0x4bn
}, {
  a: -0x9n,
  b: 0x6n,
  r: -0x9n
}, {
  a: -0xf4n,
  b: -0x37n,
  r: -0x33n
}, {
  a: -0x40n,
  b: 0x82fn,
  r: -0x11n
}, {
  a: 0xcen,
  b: -0xd67n,
  r: -0xd21n
}, {
  a: 0x9ac4n,
  b: -0x20n,
  r: -0x1cn
}, {
  a: 0x5bn,
  b: 0n,
  r: 0x5bn
}, {
  a: 0xefcn,
  b: -0xdba8n,
  r: -0xd104n
}, {
  a: -0xdn,
  b: -0x47aan,
  r: -0x9n
}, {
  a: 0n,
  b: 0x15c1n,
  r: 0x15c1n
}, {
  a: -0x8n,
  b: -0xbn,
  r: -0x3n
}, {
  a: -0x848n,
  b: -0xdn,
  r: -0x5n
}, {
  a: -0x760n,
  b: 0n,
  r: -0x760n
}, {
  a: 0xb98n,
  b: 0n,
  r: 0xb98n
}, {
  a: 0xdan,
  b: -0x2e1n,
  r: -0x221n
}, {
  a: -0xa80n,
  b: -0x74n,
  r: -0x74n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: 0n,
  b: 0xdn,
  r: 0xdn
}, {
  a: -0xfn,
  b: 0xabf7n,
  r: -0x9n
}, {
  a: 0x5n,
  b: -0xe36cn,
  r: -0xe36bn
}, {
  a: 0xf0en,
  b: 0x26fdn,
  r: 0x2fffn
}, {
  a: 0xdn,
  b: 0x9ae7n,
  r: 0x9aefn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x7n,
  b: -0x762dn,
  r: -0x5n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0xan,
  b: 0xf4n,
  r: -0xan
}, {
  a: 0n,
  b: 0xf7d3n,
  r: 0xf7d3n
}, {
  a: 0xebn,
  b: -0x20n,
  r: -0x15n
}, {
  a: 0n,
  b: -0x5de2n,
  r: -0x5de2n
}, {
  a: 0n,
  b: -0x6c0bn,
  r: -0x6c0bn
}, {
  a: 0x57n,
  b: -0xa9n,
  r: -0xa9n
}, {
  a: 0x845bn,
  b: -0xbn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x5871n,
  r: -0x5871n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x7f2fn,
  b: 0n,
  r: 0x7f2fn
}, {
  a: 0xb3dn,
  b: -0x8n,
  r: -0x3n
}, {
  a: -0xbn,
  b: 0xc6bdn,
  r: -0x3n
}, {
  a: 0n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0x56n,
  b: -0xe4n,
  r: -0x42n
}, {
  a: -0x244bn,
  b: -0xe8n,
  r: -0x43n
}, {
  a: 0n,
  b: -0x9a33n,
  r: -0x9a33n
}, {
  a: 0xdb1n,
  b: 0n,
  r: 0xdb1n
}, {
  a: 0x3n,
  b: -0x71n,
  r: -0x71n
}, {
  a: -0x5163n,
  b: -0xd4c0n,
  r: -0x5023n
}, {
  a: -0x719n,
  b: -0x35n,
  r: -0x11n
}, {
  a: 0x6b9n,
  b: 0x9e7fn,
  r: 0x9effn
}, {
  a: -0xfn,
  b: -0x8n,
  r: -0x7n
}, {
  a: -0xbn,
  b: -0x4c9bn,
  r: -0xbn
}, {
  a: 0n,
  b: -0xce55n,
  r: -0xce55n
}, {
  a: 0x4n,
  b: 0xecn,
  r: 0xecn
}, {
  a: 0n,
  b: 0xba19n,
  r: 0xba19n
}, {
  a: 0x6a3n,
  b: -0x1fn,
  r: -0x1dn
}, {
  a: -0x4aen,
  b: 0n,
  r: -0x4aen
}, {
  a: -0xb6n,
  b: 0xfn,
  r: -0xb1n
}, {
  a: -0xan,
  b: 0x5c6n,
  r: -0xan
}, {
  a: 0xcc11n,
  b: 0xfb03n,
  r: 0xff13n
}, {
  a: -0xf84n,
  b: 0x958n,
  r: -0x684n
}, {
  a: 0xc80n,
  b: 0n,
  r: 0xc80n
}, {
  a: 0xccn,
  b: 0x118n,
  r: 0x1dcn
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: 0x9e3en,
  b: -0xfd0n,
  r: -0x1c2n
}, {
  a: -0xaf70n,
  b: 0x7an,
  r: -0xaf06n
}, {
  a: 0x8cn,
  b: -0xb93n,
  r: -0xb13n
}, {
  a: 0x52n,
  b: -0xe24n,
  r: -0xe22n
}, {
  a: 0xc3n,
  b: 0n,
  r: 0xc3n
}, {
  a: -0xf75n,
  b: 0n,
  r: -0xf75n
}, {
  a: 0n,
  b: 0x5n,
  r: 0x5n
}, {
  a: -0x2cn,
  b: 0n,
  r: -0x2cn
}, {
  a: -0x9b2fn,
  b: 0n,
  r: -0x9b2fn
}, {
  a: 0xdben,
  b: 0n,
  r: 0xdben
}, {
  a: -0xcbn,
  b: 0x1dn,
  r: -0xc3n
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: 0xcda9n,
  b: -0xdn,
  r: -0x5n
}, {
  a: 0x7bn,
  b: 0n,
  r: 0x7bn
}, {
  a: 0xd652n,
  b: 0n,
  r: 0xd652n
}, {
  a: 0x5abn,
  b: 0n,
  r: 0x5abn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x316n,
  b: -0xd6c0n,
  r: -0x216n
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: -0x8n,
  b: 0x93n,
  r: -0x5n
}, {
  a: -0x41an,
  b: -0x99n,
  r: -0x19n
}, {
  a: 0xf41n,
  b: -0x1n,
  r: -0x1n
}, {
  a: 0x45d0n,
  b: 0x9bffn,
  r: 0xdfffn
}, {
  a: 0n,
  b: -0xe0en,
  r: -0xe0en
}, {
  a: -0x22cn,
  b: -0xb2n,
  r: -0x22n
}, {
  a: 0xa357n,
  b: 0xcn,
  r: 0xa35fn
}, {
  a: -0x26n,
  b: 0x6n,
  r: -0x22n
}, {
  a: -0x9b4n,
  b: -0x3en,
  r: -0x32n
}, {
  a: -0x1405n,
  b: -0x57n,
  r: -0x5n
}, {
  a: 0xb2en,
  b: -0xb8n,
  r: -0x92n
}, {
  a: -0x7e37n,
  b: -0xan,
  r: -0x1n
}, {
  a: -0x502n,
  b: 0x44n,
  r: -0x502n
}, {
  a: -0x7531n,
  b: -0x872n,
  r: -0x31n
}, {
  a: 0xdn,
  b: -0xf7en,
  r: -0xf71n
}, {
  a: 0xc72n,
  b: 0n,
  r: 0xc72n
}, {
  a: -0xbeen,
  b: -0x18n,
  r: -0x6n
}, {
  a: -0xd1n,
  b: -0xf8b7n,
  r: -0x91n
}, {
  a: 0n,
  b: 0x59n,
  r: 0x59n
}, {
  a: -0x39n,
  b: 0xccn,
  r: -0x31n
}, {
  a: 0xfffn,
  b: -0x15f5n,
  r: -0x1001n
}, {
  a: -0xfee2n,
  b: 0x2ecn,
  r: -0xfc02n
}, {
  a: 0x79n,
  b: 0x17cdn,
  r: 0x17fdn
}, {
  a: -0x4f30n,
  b: 0x850dn,
  r: -0x4a23n
}, {
  a: 0x859n,
  b: 0n,
  r: 0x859n
}, {
  a: 0xbe0n,
  b: 0xcn,
  r: 0xbecn
}, {
  a: 0xaf80n,
  b: 0n,
  r: 0xaf80n
}, {
  a: -0x718n,
  b: -0x5n,
  r: -0x5n
}, {
  a: 0xcfb8n,
  b: -0xe6aen,
  r: -0x2006n
}, {
  a: -0x46n,
  b: 0xcn,
  r: -0x42n
}, {
  a: -0xec4dn,
  b: -0x4n,
  r: -0x1n
}, {
  a: -0x9fden,
  b: 0x435n,
  r: -0x9bc9n
}, {
  a: 0n,
  b: -0x31n,
  r: -0x31n
}, {
  a: 0xc2en,
  b: -0xen,
  r: -0x2n
}, {
  a: 0x9295n,
  b: 0x3e9dn,
  r: 0xbe9dn
}, {
  a: 0x88n,
  b: -0x2n,
  r: -0x2n
}, {
  a: 0xefe0n,
  b: -0xf3n,
  r: -0x13n
}, {
  a: 0x85n,
  b: 0xan,
  r: 0x8fn
}, {
  a: -0xf76n,
  b: 0x39n,
  r: -0xf45n
}, {
  a: 0n,
  b: -0xe12n,
  r: -0xe12n
}, {
  a: -0x7c2bn,
  b: 0xb7e4n,
  r: -0x480bn
}, {
  a: 0xen,
  b: 0xcn,
  r: 0xen
}, {
  a: 0n,
  b: -0xc72n,
  r: -0xc72n
}, {
  a: 0x27fcn,
  b: -0x9821n,
  r: -0x9801n
}, {
  a: 0xb74n,
  b: 0x301fn,
  r: 0x3b7fn
}, {
  a: 0xen,
  b: -0xaa6fn,
  r: -0xaa61n
}, {
  a: -0x4cn,
  b: 0n,
  r: -0x4cn
}, {
  a: 0x9n,
  b: -0x14n,
  r: -0x13n
}, {
  a: -0x1e9n,
  b: -0x6n,
  r: -0x1n
}, {
  a: -0xe321n,
  b: -0x4bn,
  r: -0x1n
}, {
  a: 0x7aan,
  b: 0xedn,
  r: 0x7efn
}, {
  a: 0x51n,
  b: 0n,
  r: 0x51n
}, {
  a: 0x47dn,
  b: -0xfdn,
  r: -0x81n
}, {
  a: -0xf90n,
  b: 0x5en,
  r: -0xf82n
}, {
  a: -0x9c2fn,
  b: -0xbc3an,
  r: -0x9c29n
}, {
  a: 0n,
  b: -0x96n,
  r: -0x96n
}, {
  a: 0n,
  b: 0xa2n,
  r: 0xa2n
}, {
  a: 0x5667n,
  b: 0n,
  r: 0x5667n
}, {
  a: 0n,
  b: -0xec6n,
  r: -0xec6n
}, {
  a: -0x5dn,
  b: 0x2b3n,
  r: -0x4dn
}, {
  a: 0x6e0n,
  b: -0x9dn,
  r: -0x1dn
}, {
  a: 0x3ben,
  b: -0xc7n,
  r: -0x41n
}, {
  a: 0x910n,
  b: -0xf78n,
  r: -0x668n
}, {
  a: 0xa0n,
  b: -0x54n,
  r: -0x54n
}, {
  a: 0xen,
  b: -0xcn,
  r: -0x2n
}, {
  a: -0x48c2n,
  b: 0xcn,
  r: -0x48c2n
}, {
  a: -0x56n,
  b: 0x15an,
  r: -0x6n
}, {
  a: 0n,
  b: -0x3a5n,
  r: -0x3a5n
}, {
  a: 0xen,
  b: 0x59e9n,
  r: 0x59efn
}, {
  a: 0x8ec3n,
  b: 0x6081n,
  r: 0xeec3n
}, {
  a: 0x2an,
  b: 0n,
  r: 0x2an
}, {
  a: -0xdcen,
  b: 0xdf94n,
  r: -0x4an
}, {
  a: -0x3fn,
  b: -0x4n,
  r: -0x3n
}, {
  a: -0xacdn,
  b: -0xen,
  r: -0xdn
}, {
  a: -0xf606n,
  b: -0x42an,
  r: -0x402n
}, {
  a: 0x8n,
  b: -0x777n,
  r: -0x777n
}, {
  a: -0x5a4n,
  b: -0x7n,
  r: -0x3n
}, {
  a: 0n,
  b: 0x2798n,
  r: 0x2798n
}, {
  a: -0x3734n,
  b: -0xa18n,
  r: -0x214n
}, {
  a: 0x173n,
  b: -0xc7fn,
  r: -0xc0dn
}, {
  a: -0x9fn,
  b: 0x82fn,
  r: -0x91n
}, {
  a: 0x6f2n,
  b: 0x8n,
  r: 0x6fan
}, {
  a: -0x2bdn,
  b: 0xb83fn,
  r: -0x281n
}, {
  a: -0x9an,
  b: -0x61n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x58n,
  r: -0x58n
}, {
  a: 0n,
  b: -0x4d68n,
  r: -0x4d68n
}, {
  a: 0x97n,
  b: 0xdecn,
  r: 0xdffn
}, {
  a: -0x83e1n,
  b: 0x31dan,
  r: -0x8221n
}, {
  a: -0x1acn,
  b: -0x69n,
  r: -0x29n
}, {
  a: 0n,
  b: -0x2919n,
  r: -0x2919n
}, {
  a: 0x5can,
  b: -0xen,
  r: -0x6n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x9cabn,
  r: 0x9cabn
}, {
  a: 0n,
  b: 0x5d3n,
  r: 0x5d3n
}, {
  a: -0x9en,
  b: -0x1cn,
  r: -0x1an
}, {
  a: -0x6098n,
  b: -0x592n,
  r: -0x92n
}, {
  a: 0xfbffn,
  b: 0n,
  r: 0xfbffn
}, {
  a: 0x8c0n,
  b: -0xd253n,
  r: -0xd213n
}, {
  a: -0xabd3n,
  b: 0n,
  r: -0xabd3n
}, {
  a: 0x53n,
  b: -0x37n,
  r: -0x25n
}, {
  a: -0xc09fn,
  b: 0x5fn,
  r: -0xc081n
}, {
  a: -0xf7an,
  b: 0n,
  r: -0xf7an
}, {
  a: 0n,
  b: -0x33n,
  r: -0x33n
}, {
  a: 0n,
  b: 0x8en,
  r: 0x8en
}, {
  a: 0xdn,
  b: 0xe0n,
  r: 0xedn
}, {
  a: -0x4901n,
  b: 0n,
  r: -0x4901n
}, {
  a: -0x82n,
  b: -0xa6en,
  r: -0x2n
}, {
  a: -0x62n,
  b: 0xb0e6n,
  r: -0x2n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x5eefn,
  b: -0x9n,
  r: -0x9n
}, {
  a: 0xbn,
  b: -0x3n,
  r: -0x1n
}, {
  a: -0x780fn,
  b: 0x79n,
  r: -0x7807n
}, {
  a: 0xe51n,
  b: -0x47en,
  r: -0x2dn
}, {
  a: -0x211n,
  b: -0x91bn,
  r: -0x11n
}, {
  a: -0x1n,
  b: -0x7b71n,
  r: -0x1n
}, {
  a: -0x5df4n,
  b: 0x5n,
  r: -0x5df3n
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: 0x65dn,
  b: 0n,
  r: 0x65dn
}, {
  a: 0x991an,
  b: -0x4n,
  r: -0x2n
}, {
  a: 0xcn,
  b: -0x4den,
  r: -0x4d2n
}, {
  a: 0x43n,
  b: 0xe123n,
  r: 0xe163n
}, {
  a: -0xe7n,
  b: 0n,
  r: -0xe7n
}, {
  a: 0xen,
  b: 0n,
  r: 0xen
}, {
  a: -0x4en,
  b: 0x9n,
  r: -0x45n
}, {
  a: 0x26n,
  b: -0xc14n,
  r: -0xc12n
}, {
  a: 0x82n,
  b: 0n,
  r: 0x82n
}, {
  a: -0xccf3n,
  b: -0x9d3cn,
  r: -0x8c33n
}, {
  a: 0x75n,
  b: -0x8af0n,
  r: -0x8a8bn
}, {
  a: -0xab6n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0xd0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0x6n,
  b: -0xb7n,
  r: -0xb1n
}, {
  a: 0xe30n,
  b: 0x54a7n,
  r: 0x5eb7n
}, {
  a: -0xe1e4n,
  b: 0x2fcan,
  r: -0xc022n
}, {
  a: 0xcn,
  b: 0xfb0cn,
  r: 0xfb0cn
}, {
  a: 0xab55n,
  b: 0xb929n,
  r: 0xbb7dn
}, {
  a: -0x5d7an,
  b: -0xa2an,
  r: -0x82an
}, {
  a: 0xa299n,
  b: 0x5b82n,
  r: 0xfb9bn
}, {
  a: 0n,
  b: 0xb74n,
  r: 0xb74n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xafn,
  b: 0n,
  r: -0xafn
}, {
  a: 0n,
  b: -0xc740n,
  r: -0xc740n
}, {
  a: 0n,
  b: -0x84n,
  r: -0x84n
}, {
  a: 0x7en,
  b: 0x8n,
  r: 0x7en
}, {
  a: -0xb81n,
  b: -0x2n,
  r: -0x1n
}, {
  a: 0x1n,
  b: 0x2n,
  r: 0x3n
}, {
  a: -0xf5n,
  b: -0xa1en,
  r: -0x15n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0x8fn,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0x39n,
  b: 0x4n,
  r: 0x3dn
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: 0xd57n,
  b: -0x2n,
  r: -0x1n
}, {
  a: -0x223n,
  b: 0x2n,
  r: -0x221n
}, {
  a: 0x17n,
  b: 0x218n,
  r: 0x21fn
}, {
  a: 0x239bn,
  b: 0xa28n,
  r: 0x2bbbn
}, {
  a: -0x70n,
  b: 0xen,
  r: -0x62n
}, {
  a: 0x2d5n,
  b: 0xdn,
  r: 0x2ddn
}, {
  a: -0xcfn,
  b: 0xa1n,
  r: -0x4fn
}, {
  a: 0xe8n,
  b: 0x2a38n,
  r: 0x2af8n
}, {
  a: 0x8584n,
  b: 0xen,
  r: 0x858en
}, {
  a: 0x1514n,
  b: 0x9e69n,
  r: 0x9f7dn
}, {
  a: 0x66a8n,
  b: 0x6496n,
  r: 0x66ben
}, {
  a: 0x9n,
  b: 0n,
  r: 0x9n
}, {
  a: 0x821n,
  b: 0n,
  r: 0x821n
}, {
  a: -0xd234n,
  b: -0xan,
  r: -0x2n
}, {
  a: -0x99b9n,
  b: -0x548bn,
  r: -0x1089n
}, {
  a: 0x1c3n,
  b: 0x29n,
  r: 0x1ebn
}, {
  a: -0x6cd5n,
  b: 0x9n,
  r: -0x6cd5n
}, {
  a: 0x1n,
  b: 0x6n,
  r: 0x7n
}, {
  a: 0n,
  b: -0x7n,
  r: -0x7n
}, {
  a: 0x1cbn,
  b: 0x3c91n,
  r: 0x3ddbn
}, {
  a: 0n,
  b: 0x8n,
  r: 0x8n
}, {
  a: -0x77fn,
  b: 0xc2n,
  r: -0x73dn
}, {
  a: 0xfebn,
  b: -0xe827n,
  r: -0xe005n
}, {
  a: 0n,
  b: 0x753n,
  r: 0x753n
}, {
  a: -0xbf6n,
  b: 0x4c2n,
  r: -0xb36n
}, {
  a: -0xeba4n,
  b: 0xan,
  r: -0xeba2n
}, {
  a: 0n,
  b: -0xbcan,
  r: -0xbcan
}, {
  a: -0x5c7n,
  b: 0n,
  r: -0x5c7n
}, {
  a: 0x5n,
  b: -0xf9en,
  r: -0xf99n
}, {
  a: -0x15n,
  b: 0xa02n,
  r: -0x15n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xdcn,
  b: 0n,
  r: 0xdcn
}, {
  a: -0xfn,
  b: -0xfd9bn,
  r: -0xbn
}, {
  a: -0x424n,
  b: 0n,
  r: -0x424n
}, {
  a: -0x69aan,
  b: -0x6n,
  r: -0x2n
}, {
  a: 0x6n,
  b: -0x86en,
  r: -0x86an
}, {
  a: 0xf6ben,
  b: 0x5fn,
  r: 0xf6ffn
}, {
  a: -0xc2n,
  b: 0x9a42n,
  r: -0x82n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x67n,
  b: -0x9a40n,
  r: -0x27n
}, {
  a: 0n,
  b: -0x28fn,
  r: -0x28fn
}, {
  a: -0x3169n,
  b: 0xeaeen,
  r: -0x1101n
}, {
  a: 0x2d8dn,
  b: -0x7a3n,
  r: -0x223n
}, {
  a: -0x9dn,
  b: -0xf4n,
  r: -0x91n
}, {
  a: 0n,
  b: 0xd419n,
  r: 0xd419n
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0n,
  b: -0xe26n,
  r: -0xe26n
}, {
  a: 0x7n,
  b: 0n,
  r: 0x7n
}, {
  a: -0xeb02n,
  b: 0x95n,
  r: -0xeb01n
}, {
  a: 0x6n,
  b: 0x82n,
  r: 0x86n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x1b1n,
  b: -0x1fn,
  r: -0xfn
}, {
  a: -0xcf34n,
  b: 0x5n,
  r: -0xcf33n
}, {
  a: -0x9e20n,
  b: 0x28n,
  r: -0x9e18n
}, {
  a: -0x912n,
  b: 0n,
  r: -0x912n
}, {
  a: 0x53f7n,
  b: 0xbn,
  r: 0x53ffn
}, {
  a: 0n,
  b: -0x641n,
  r: -0x641n
}, {
  a: 0n,
  b: 0xea45n,
  r: 0xea45n
}, {
  a: -0x63cn,
  b: 0x110en,
  r: -0x632n
}, {
  a: -0x53f8n,
  b: 0n,
  r: -0x53f8n
}, {
  a: -0x27n,
  b: -0x4482n,
  r: -0x1n
}, {
  a: -0x6can,
  b: 0xe83n,
  r: -0x49n
}, {
  a: 0n,
  b: 0xdn,
  r: 0xdn
}, {
  a: 0n,
  b: -0x519bn,
  r: -0x519bn
}, {
  a: 0n,
  b: 0x98an,
  r: 0x98an
}, {
  a: 0xd8n,
  b: 0xdf9n,
  r: 0xdf9n
}, {
  a: 0x77dan,
  b: 0x96fn,
  r: 0x7fffn
}, {
  a: 0x51n,
  b: 0xa5n,
  r: 0xf5n
}, {
  a: -0xc55n,
  b: -0xccn,
  r: -0x41n
}, {
  a: 0xa5an,
  b: 0x84f4n,
  r: 0x8efen
}, {
  a: -0x5fn,
  b: 0x9can,
  r: -0x15n
}, {
  a: -0x1013n,
  b: 0n,
  r: -0x1013n
}, {
  a: -0xen,
  b: -0xc2n,
  r: -0x2n
}, {
  a: -0x2n,
  b: -0x36n,
  r: -0x2n
}, {
  a: 0x76dan,
  b: -0xc93n,
  r: -0x801n
}, {
  a: 0x48a4n,
  b: 0x73n,
  r: 0x48f7n
}, {
  a: 0n,
  b: 0xfn,
  r: 0xfn
}, {
  a: 0xdn,
  b: -0x5074n,
  r: -0x5073n
}, {
  a: 0x1n,
  b: 0n,
  r: 0x1n
}, {
  a: 0n,
  b: 0xcbn,
  r: 0xcbn
}, {
  a: -0x3n,
  b: -0x27a9n,
  r: -0x1n
}, {
  a: 0xd91n,
  b: -0x9n,
  r: -0x9n
}, {
  a: 0x550n,
  b: 0xd3fn,
  r: 0xd7fn
}, {
  a: 0x5c1n,
  b: -0x354bn,
  r: -0x300bn
}, {
  a: 0n,
  b: -0x60cn,
  r: -0x60cn
}, {
  a: 0xa8n,
  b: 0x6n,
  r: 0xaen
}, {
  a: -0xb9n,
  b: -0x3n,
  r: -0x1n
}, {
  a: -0x97n,
  b: -0x341n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xf3fbn,
  r: 0xf3fbn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x42e3n,
  r: -0x42e3n
}, {
  a: -0x4dcn,
  b: 0x43en,
  r: -0xc2n
}, {
  a: 0x39n,
  b: 0n,
  r: 0x39n
}, {
  a: -0x2a1n,
  b: 0xbn,
  r: -0x2a1n
}, {
  a: 0n,
  b: -0x2n,
  r: -0x2n
}, {
  a: 0n,
  b: 0x9f4n,
  r: 0x9f4n
}, {
  a: 0x4cen,
  b: -0x724bn,
  r: -0x7201n
}, {
  a: 0x7dn,
  b: 0xcbn,
  r: 0xffn
}, {
  a: 0x696n,
  b: -0x74n,
  r: -0x62n
}, {
  a: 0n,
  b: 0x8n,
  r: 0x8n
}, {
  a: -0xa0en,
  b: 0xf3n,
  r: -0xa0dn
}, {
  a: -0xan,
  b: 0n,
  r: -0xan
}, {
  a: -0x86fn,
  b: -0x5n,
  r: -0x5n
}, {
  a: 0n,
  b: 0x6fdn,
  r: 0x6fdn
}, {
  a: 0x9n,
  b: -0x9ffan,
  r: -0x9ff1n
}, {
  a: -0xb8a1n,
  b: 0x1fn,
  r: -0xb8a1n
}, {
  a: 0x74c3n,
  b: 0xacan,
  r: 0x7ecbn
}, {
  a: -0x6dcn,
  b: 0xda7n,
  r: -0x259n
}, {
  a: 0n,
  b: 0xbn,
  r: 0xbn
}, {
  a: 0n,
  b: 0x6en,
  r: 0x6en
}, {
  a: 0n,
  b: -0x721n,
  r: -0x721n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: 0n,
  b: 0x196cn,
  r: 0x196cn
}, {
  a: 0xe7bn,
  b: 0xe1en,
  r: 0xe7fn
}, {
  a: 0xfn,
  b: 0xdbn,
  r: 0xdfn
}, {
  a: 0xcn,
  b: 0x88n,
  r: 0x8cn
}, {
  a: -0x719n,
  b: 0n,
  r: -0x719n
}, {
  a: 0xa4n,
  b: -0x7901n,
  r: -0x7901n
}, {
  a: -0x7n,
  b: -0x3cn,
  r: -0x3n
}, {
  a: -0x12fn,
  b: -0x17n,
  r: -0x7n
}, {
  a: -0xacn,
  b: 0x33n,
  r: -0x89n
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: -0x6001n,
  b: -0x9n,
  r: -0x1n
}, {
  a: -0x4n,
  b: 0xb12n,
  r: -0x2n
}, {
  a: 0x9ffn,
  b: 0n,
  r: 0x9ffn
}, {
  a: 0x71bdn,
  b: 0xe401n,
  r: 0xf5bdn
}, {
  a: 0n,
  b: 0x24dn,
  r: 0x24dn
}, {
  a: -0x6ban,
  b: -0x46n,
  r: -0x2n
}, {
  a: -0x579dn,
  b: 0x5an,
  r: -0x5785n
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: -0x6cn,
  b: 0x7bd1n,
  r: -0x2bn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x5fn,
  b: 0n,
  r: 0x5fn
}, {
  a: -0xf3n,
  b: -0xc33n,
  r: -0x33n
}, {
  a: 0n,
  b: 0xe2n,
  r: 0xe2n
}, {
  a: 0x66efn,
  b: 0n,
  r: 0x66efn
}, {
  a: 0xa8n,
  b: -0x6n,
  r: -0x6n
}, {
  a: -0xf71bn,
  b: 0n,
  r: -0xf71bn
}, {
  a: -0x80n,
  b: 0x8dn,
  r: -0x73n
}, {
  a: 0n,
  b: 0x9n,
  r: 0x9n
}, {
  a: 0x724n,
  b: -0xecn,
  r: -0xccn
}, {
  a: 0x9n,
  b: 0x2f03n,
  r: 0x2f0bn
}, {
  a: 0x30n,
  b: 0n,
  r: 0x30n
}, {
  a: -0xf15n,
  b: 0n,
  r: -0xf15n
}, {
  a: -0x363bn,
  b: 0n,
  r: -0x363bn
}, {
  a: -0x3999n,
  b: 0xcn,
  r: -0x3991n
}, {
  a: 0x484n,
  b: -0xc175n,
  r: -0xc171n
}, {
  a: -0xbn,
  b: 0xd57n,
  r: -0x9n
}, {
  a: 0x8n,
  b: -0x43n,
  r: -0x43n
}, {
  a: -0x6n,
  b: 0x3ban,
  r: -0x6n
}, {
  a: 0x6577n,
  b: 0n,
  r: 0x6577n
}, {
  a: -0xf63n,
  b: -0x6e0n,
  r: -0x643n
}, {
  a: -0xen,
  b: -0x3d9n,
  r: -0x9n
}, {
  a: 0n,
  b: -0xebn,
  r: -0xebn
}, {
  a: 0n,
  b: -0xcn,
  r: -0xcn
}, {
  a: 0xe9n,
  b: 0n,
  r: 0xe9n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x5n,
  b: -0x8an,
  r: -0x1n
}, {
  a: 0x5d5an,
  b: -0x90n,
  r: -0x86n
}, {
  a: -0x1an,
  b: -0x9n,
  r: -0x9n
}, {
  a: 0xd3n,
  b: -0xb77n,
  r: -0xb25n
}, {
  a: -0xean,
  b: 0x7en,
  r: -0x82n
}, {
  a: -0x6n,
  b: -0xa6n,
  r: -0x6n
}, {
  a: 0n,
  b: -0x88n,
  r: -0x88n
}, {
  a: 0n,
  b: -0xden,
  r: -0xden
}, {
  a: -0xbdn,
  b: 0n,
  r: -0xbdn
}, {
  a: -0xb3n,
  b: 0x792n,
  r: -0x21n
}, {
  a: -0x8n,
  b: -0x2f6n,
  r: -0x6n
}, {
  a: 0x6926n,
  b: 0xd1n,
  r: 0x69f7n
}, {
  a: -0x37dn,
  b: 0xe3an,
  r: -0x145n
}, {
  a: -0xan,
  b: 0x47en,
  r: -0x2n
}, {
  a: 0x4bn,
  b: -0x819fn,
  r: -0x8195n
}, {
  a: 0xcc8n,
  b: 0x4n,
  r: 0xcccn
}, {
  a: -0xe806n,
  b: -0xfn,
  r: -0x5n
}, {
  a: 0x5n,
  b: 0xd7cn,
  r: 0xd7dn
}, {
  a: 0n,
  b: -0x7d91n,
  r: -0x7d91n
}, {
  a: -0xda1n,
  b: -0xa31n,
  r: -0x821n
}, {
  a: 0x846n,
  b: 0n,
  r: 0x846n
}, {
  a: -0xb8a0n,
  b: 0x3fn,
  r: -0xb881n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: 0x2an,
  r: -0x5n
}, {
  a: 0x811n,
  b: 0x249n,
  r: 0xa59n
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: -0x2dfn,
  b: 0n,
  r: -0x2dfn
}, {
  a: -0x79dn,
  b: -0x4n,
  r: -0x1n
}, {
  a: -0x5c4an,
  b: 0n,
  r: -0x5c4an
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: 0x18cn,
  b: -0x86n,
  r: -0x2n
}, {
  a: -0x630n,
  b: 0n,
  r: -0x630n
}, {
  a: -0x12n,
  b: -0xfn,
  r: -0x1n
}, {
  a: -0x2dn,
  b: 0x25dn,
  r: -0x21n
}, {
  a: -0xbcn,
  b: 0x6n,
  r: -0xban
}, {
  a: 0xc4an,
  b: 0n,
  r: 0xc4an
}, {
  a: -0xd1an,
  b: -0x7n,
  r: -0x1n
}, {
  a: 0x18n,
  b: -0x55dn,
  r: -0x545n
}, {
  a: -0x22n,
  b: -0xec5n,
  r: -0x1n
}, {
  a: 0x96n,
  b: 0n,
  r: 0x96n
}, {
  a: 0x1n,
  b: 0x1n,
  r: 0x1n
}, {
  a: 0x2n,
  b: 0xa52n,
  r: 0xa52n
}, {
  a: 0n,
  b: -0x9608n,
  r: -0x9608n
}, {
  a: -0xbb0n,
  b: -0xf8n,
  r: -0xa8n
}, {
  a: -0x8765n,
  b: 0n,
  r: -0x8765n
}, {
  a: -0x282n,
  b: -0xdn,
  r: -0x1n
}, {
  a: 0x76bbn,
  b: -0x434n,
  r: -0x1n
}, {
  a: 0x84n,
  b: -0x2f2n,
  r: -0x272n
}, {
  a: 0xb86n,
  b: 0x7n,
  r: 0xb87n
}, {
  a: 0xfn,
  b: 0x34n,
  r: 0x3fn
}, {
  a: -0x116an,
  b: -0x72n,
  r: -0x62n
}, {
  a: -0xan,
  b: -0x2n,
  r: -0x2n
}, {
  a: 0n,
  b: -0xd9fn,
  r: -0xd9fn
}, {
  a: -0x1en,
  b: 0n,
  r: -0x1en
}, {
  a: 0xd88n,
  b: -0x8n,
  r: -0x8n
}, {
  a: -0x9n,
  b: 0x45n,
  r: -0x9n
}, {
  a: 0x4an,
  b: 0n,
  r: 0x4an
}, {
  a: 0x44n,
  b: 0n,
  r: 0x44n
}, {
  a: 0xen,
  b: -0xf90dn,
  r: -0xf901n
}, {
  a: 0xc4cn,
  b: 0xbn,
  r: 0xc4fn
}, {
  a: 0x3n,
  b: 0x55n,
  r: 0x57n
}, {
  a: 0x54e1n,
  b: 0x851n,
  r: 0x5cf1n
}, {
  a: 0n,
  b: 0x1n,
  r: 0x1n
}, {
  a: 0xdn,
  b: 0x13an,
  r: 0x13fn
}, {
  a: 0n,
  b: -0xb7cn,
  r: -0xb7cn
}, {
  a: 0xf3f6n,
  b: 0n,
  r: 0xf3f6n
}, {
  a: 0x779n,
  b: 0n,
  r: 0x779n
}, {
  a: 0x1fa9n,
  b: 0x5be1n,
  r: 0x5fe9n
}, {
  a: -0x5can,
  b: 0x7n,
  r: -0x5c9n
}, {
  a: -0x5en,
  b: -0x4n,
  r: -0x2n
}, {
  a: -0xc47n,
  b: 0x3n,
  r: -0xc45n
}, {
  a: -0x6ddn,
  b: 0x299n,
  r: -0x445n
}, {
  a: 0n,
  b: -0x5353n,
  r: -0x5353n
}, {
  a: -0x9n,
  b: -0x4an,
  r: -0x9n
}, {
  a: -0xaean,
  b: -0x8b37n,
  r: -0xa21n
}, {
  a: -0xda1n,
  b: -0x999n,
  r: -0x981n
}, {
  a: -0x3dn,
  b: -0xfn,
  r: -0xdn
}, {
  a: -0x59n,
  b: -0x26n,
  r: -0x1n
}, {
  a: -0x4ee8n,
  b: -0x248n,
  r: -0x248n
}, {
  a: 0n,
  b: -0x67n,
  r: -0x67n
}, {
  a: 0n,
  b: 0xdn,
  r: 0xdn
}, {
  a: 0x8c02n,
  b: 0n,
  r: 0x8c02n
}, {
  a: -0x34dfn,
  b: 0x11n,
  r: -0x34cfn
}, {
  a: 0xbn,
  b: 0n,
  r: 0xbn
}, {
  a: -0xed0n,
  b: 0n,
  r: -0xed0n
}, {
  a: 0xcff7n,
  b: 0x3n,
  r: 0xcff7n
}, {
  a: -0xe5n,
  b: -0x1cn,
  r: -0x1n
}, {
  a: 0x85en,
  b: 0n,
  r: 0x85en
}, {
  a: 0xafan,
  b: 0x9cn,
  r: 0xafen
}, {
  a: 0xfn,
  b: 0x329n,
  r: 0x32fn
}, {
  a: -0x630n,
  b: -0x29bdn,
  r: -0x2dn
}, {
  a: -0xfn,
  b: -0x86n,
  r: -0x5n
}, {
  a: 0n,
  b: -0xf3n,
  r: -0xf3n
}, {
  a: 0xa936n,
  b: 0n,
  r: 0xa936n
}, {
  a: 0x24n,
  b: -0xdcbn,
  r: -0xdcbn
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0xcbdn,
  b: 0xf2n,
  r: 0xcffn
}, {
  a: -0x440dn,
  b: -0xed4n,
  r: -0x401n
}, {
  a: 0x9n,
  b: -0x9ab5n,
  r: -0x9ab5n
}, {
  a: -0x999n,
  b: 0n,
  r: -0x999n
}, {
  a: 0n,
  b: 0xan,
  r: 0xan
}, {
  a: 0n,
  b: -0x36n,
  r: -0x36n
}, {
  a: -0xb1n,
  b: 0x8bn,
  r: -0x31n
}, {
  a: -0x9an,
  b: -0xc06n,
  r: -0x2n
}, {
  a: -0xban,
  b: -0x19n,
  r: -0x19n
}, {
  a: -0x9fn,
  b: 0xbe9dn,
  r: -0x3n
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: 0x4f18n,
  b: 0x5dn,
  r: 0x4f5dn
}, {
  a: -0x169n,
  b: -0x3fd4n,
  r: -0x141n
}, {
  a: 0xdffn,
  b: 0n,
  r: 0xdffn
}, {
  a: -0x3cc6n,
  b: -0x5n,
  r: -0x5n
}, {
  a: 0xbdn,
  b: 0x2n,
  r: 0xbfn
}, {
  a: -0x2n,
  b: 0xeadn,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: -0x5n,
  r: -0x5n
}, {
  a: 0x1e01n,
  b: -0x8b2n,
  r: -0xb1n
}, {
  a: -0x3n,
  b: 0x5bn,
  r: -0x1n
}, {
  a: 0x100n,
  b: 0x6e5n,
  r: 0x7e5n
}, {
  a: -0x7c2dn,
  b: 0xc9den,
  r: -0x3421n
}, {
  a: -0x3n,
  b: 0x1n,
  r: -0x3n
}, {
  a: -0x886n,
  b: -0xe4n,
  r: -0x82n
}, {
  a: -0xefen,
  b: -0x1n,
  r: -0x1n
}, {
  a: 0x384an,
  b: -0x620n,
  r: -0x616n
}, {
  a: -0x6an,
  b: 0n,
  r: -0x6an
}, {
  a: 0x8n,
  b: 0x98n,
  r: 0x98n
}, {
  a: 0xfcfn,
  b: 0x4n,
  r: 0xfcfn
}, {
  a: 0x8n,
  b: 0xdn,
  r: 0xdn
}, {
  a: 0x47n,
  b: -0x73n,
  r: -0x31n
}, {
  a: -0x5702n,
  b: -0xc65n,
  r: -0x401n
}, {
  a: -0xebn,
  b: 0x684cn,
  r: -0xa3n
}, {
  a: -0x40n,
  b: -0x6e8n,
  r: -0x28n
}, {
  a: 0x34n,
  b: 0x95n,
  r: 0xb5n
}, {
  a: 0xc1n,
  b: -0xccn,
  r: -0xbn
}, {
  a: -0xac3n,
  b: -0x6dbn,
  r: -0x2c3n
}, {
  a: -0x5d0an,
  b: 0xf97n,
  r: -0x5009n
}, {
  a: 0xbc3bn,
  b: 0x65n,
  r: 0xbc7fn
}, {
  a: 0n,
  b: -0x81dbn,
  r: -0x81dbn
}, {
  a: 0x51n,
  b: 0x940n,
  r: 0x951n
}, {
  a: -0xa748n,
  b: 0xa4f2n,
  r: -0x306n
}, {
  a: 0x26en,
  b: 0x1951n,
  r: 0x1b7fn
}, {
  a: 0x5ad5n,
  b: 0xc787n,
  r: 0xdfd7n
}, {
  a: -0x80n,
  b: 0n,
  r: -0x80n
}, {
  a: 0xf13cn,
  b: 0n,
  r: 0xf13cn
}, {
  a: 0xd42n,
  b: 0n,
  r: 0xd42n
}, {
  a: 0n,
  b: 0x5030n,
  r: 0x5030n
}, {
  a: 0x5dn,
  b: 0x5n,
  r: 0x5dn
}, {
  a: 0x67n,
  b: 0x72n,
  r: 0x77n
}, {
  a: 0xfn,
  b: 0x4f7n,
  r: 0x4ffn
}, {
  a: -0x2306n,
  b: 0x2n,
  r: -0x2306n
}, {
  a: -0x1n,
  b: -0xf45n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x97n,
  b: 0x9e3n,
  r: 0x9f7n
}, {
  a: 0n,
  b: 0x697n,
  r: 0x697n
}, {
  a: 0x4n,
  b: -0xa32n,
  r: -0xa32n
}, {
  a: -0x9n,
  b: -0xd8n,
  r: -0x1n
}, {
  a: 0x5dn,
  b: -0xan,
  r: -0x1n
}, {
  a: 0n,
  b: -0x253n,
  r: -0x253n
}, {
  a: -0x3n,
  b: -0xdn,
  r: -0x1n
}, {
  a: -0xd26n,
  b: 0x89ebn,
  r: -0x405n
}, {
  a: -0x41n,
  b: 0n,
  r: -0x41n
}, {
  a: 0x743n,
  b: -0xedn,
  r: -0xadn
}, {
  a: 0n,
  b: 0x15e7n,
  r: 0x15e7n
}, {
  a: -0x2c21n,
  b: -0x8n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x8c1n,
  r: 0x8c1n
}, {
  a: 0x7590n,
  b: -0xfn,
  r: -0xfn
}, {
  a: 0xbaan,
  b: 0x2n,
  r: 0xbaan
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: -0x9n,
  r: -0x9n
}, {
  a: -0x1628n,
  b: 0x22b4n,
  r: -0x1404n
}, {
  a: 0x955an,
  b: 0x8an,
  r: 0x95dan
}, {
  a: -0xbbn,
  b: 0n,
  r: -0xbbn
}, {
  a: 0xen,
  b: 0n,
  r: 0xen
}, {
  a: 0x7n,
  b: 0n,
  r: 0x7n
}, {
  a: 0x52n,
  b: 0x7e2dn,
  r: 0x7e7fn
}, {
  a: 0xfan,
  b: 0x3dn,
  r: 0xffn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x9a5n,
  b: 0xae9n,
  r: 0xbedn
}, {
  a: -0x93n,
  b: 0n,
  r: -0x93n
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: -0x96n,
  b: 0x135n,
  r: -0x81n
}, {
  a: -0x98a6n,
  b: 0x978n,
  r: -0x9086n
}, {
  a: -0xfbcn,
  b: -0x3c39n,
  r: -0xc39n
}, {
  a: 0n,
  b: -0x1d89n,
  r: -0x1d89n
}, {
  a: -0x7fn,
  b: 0n,
  r: -0x7fn
}, {
  a: -0xa201n,
  b: -0x8bn,
  r: -0x1n
}, {
  a: 0x9n,
  b: 0xefa1n,
  r: 0xefa9n
}, {
  a: 0n,
  b: 0x20n,
  r: 0x20n
}, {
  a: -0xbean,
  b: 0n,
  r: -0xbean
}, {
  a: 0n,
  b: -0x471n,
  r: -0x471n
}, {
  a: 0x906n,
  b: 0x26n,
  r: 0x926n
}, {
  a: 0xea3n,
  b: -0xde8n,
  r: -0x145n
}, {
  a: -0x511n,
  b: -0xd6an,
  r: -0x501n
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0xf72n,
  b: 0n,
  r: 0xf72n
}, {
  a: 0n,
  b: 0x65n,
  r: 0x65n
}, {
  a: -0xcn,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0n,
  b: 0x1een,
  r: 0x1een
}, {
  a: -0xe7ddn,
  b: 0x1bn,
  r: -0xe7c5n
}, {
  a: -0xbn,
  b: 0x27n,
  r: -0x9n
}, {
  a: -0x3n,
  b: -0xen,
  r: -0x1n
}, {
  a: 0n,
  b: 0x27n,
  r: 0x27n
}, {
  a: 0xb0n,
  b: 0xd409n,
  r: 0xd4b9n
}, {
  a: 0n,
  b: -0x8n,
  r: -0x8n
}, {
  a: 0n,
  b: -0x9cn,
  r: -0x9cn
}, {
  a: 0n,
  b: -0x4cn,
  r: -0x4cn
}, {
  a: 0xabadn,
  b: 0x388n,
  r: 0xabadn
}, {
  a: -0x944n,
  b: -0xbn,
  r: -0x3n
}, {
  a: -0x281an,
  b: -0xbc36n,
  r: -0x2812n
}, {
  a: 0x889an,
  b: 0n,
  r: 0x889an
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: 0x14f4n,
  b: 0n,
  r: 0x14f4n
}, {
  a: 0x5fn,
  b: -0x4103n,
  r: -0x4101n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x4n,
  b: -0x186dn,
  r: -0x1n
}, {
  a: -0xben,
  b: -0x1a55n,
  r: -0x15n
}, {
  a: -0x8177n,
  b: 0x8dbbn,
  r: -0x45n
}, {
  a: 0x38an,
  b: 0xc667n,
  r: 0xc7efn
}, {
  a: 0x510n,
  b: 0xcan,
  r: 0x5dan
}, {
  a: 0xd357n,
  b: 0n,
  r: 0xd357n
}, {
  a: 0x31n,
  b: -0xb77n,
  r: -0xb47n
}, {
  a: 0xdn,
  b: 0xfe4fn,
  r: 0xfe4fn
}, {
  a: 0x8en,
  b: 0n,
  r: 0x8en
}, {
  a: 0x63a3n,
  b: -0x5e2n,
  r: -0x441n
}, {
  a: -0xbn,
  b: -0xb83n,
  r: -0x3n
}, {
  a: 0x6bb5n,
  b: -0x8ban,
  r: -0x9n
}, {
  a: 0xe538n,
  b: -0x9n,
  r: -0x1n
}, {
  a: -0x1n,
  b: 0xbda2n,
  r: -0x1n
}, {
  a: -0xf5n,
  b: 0xfn,
  r: -0xf1n
}, {
  a: 0xbn,
  b: 0xa7an,
  r: 0xa7bn
}, {
  a: -0x8n,
  b: -0x5724n,
  r: -0x4n
}, {
  a: 0x7bn,
  b: -0xe8n,
  r: -0x85n
}, {
  a: -0x19n,
  b: 0n,
  r: -0x19n
}, {
  a: -0xa8en,
  b: 0xdc7n,
  r: -0x209n
}, {
  a: 0x1n,
  b: 0n,
  r: 0x1n
}, {
  a: -0xb7n,
  b: 0x2n,
  r: -0xb5n
}, {
  a: 0xe4fn,
  b: -0x3n,
  r: -0x1n
}, {
  a: 0x5n,
  b: 0x89n,
  r: 0x8dn
}, {
  a: 0x524n,
  b: 0xan,
  r: 0x52en
}, {
  a: 0xd3bn,
  b: 0x3n,
  r: 0xd3bn
}, {
  a: -0x5bn,
  b: 0xd0n,
  r: -0xbn
}, {
  a: 0xfdn,
  b: -0x7bden,
  r: -0x7b01n
}, {
  a: 0xccn,
  b: 0xen,
  r: 0xcen
}, {
  a: -0xb0e9n,
  b: -0x8n,
  r: -0x1n
}, {
  a: -0x2f0n,
  b: 0n,
  r: -0x2f0n
}, {
  a: -0x51en,
  b: 0n,
  r: -0x51en
}, {
  a: -0xdn,
  b: -0xbfb7n,
  r: -0x5n
}, {
  a: 0xb3n,
  b: 0xa254n,
  r: 0xa2f7n
}, {
  a: 0xed9n,
  b: 0n,
  r: 0xed9n
}, {
  a: 0x5en,
  b: 0xfn,
  r: 0x5fn
}, {
  a: 0xae7n,
  b: 0x6cn,
  r: 0xaefn
}, {
  a: -0x8n,
  b: 0xc1n,
  r: -0x7n
}, {
  a: 0n,
  b: -0x98c0n,
  r: -0x98c0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x43n,
  b: -0xb48en,
  r: -0xb48dn
}, {
  a: 0x7e99n,
  b: -0x54ebn,
  r: -0x63n
}, {
  a: -0x291n,
  b: 0xda9n,
  r: -0x211n
}, {
  a: 0x6ed9n,
  b: 0n,
  r: 0x6ed9n
}, {
  a: 0x304an,
  b: 0n,
  r: 0x304an
}, {
  a: 0n,
  b: 0xen,
  r: 0xen
}, {
  a: -0x7n,
  b: -0xadf1n,
  r: -0x1n
}, {
  a: 0x8896n,
  b: -0xaen,
  r: -0x2an
}, {
  a: -0x125n,
  b: 0x48n,
  r: -0x125n
}, {
  a: -0xaecn,
  b: -0xen,
  r: -0xan
}, {
  a: 0x8n,
  b: -0x1d6n,
  r: -0x1d6n
}, {
  a: 0xbn,
  b: -0x8n,
  r: -0x5n
}, {
  a: 0n,
  b: 0x854n,
  r: 0x854n
}, {
  a: -0xc0fn,
  b: 0x4en,
  r: -0xc01n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xfn,
  b: 0x967n,
  r: 0x96fn
}, {
  a: 0x8dn,
  b: 0n,
  r: 0x8dn
}, {
  a: -0xbn,
  b: -0x8bn,
  r: -0xbn
}, {
  a: -0x6n,
  b: 0x92n,
  r: -0x6n
}, {
  a: 0xb0n,
  b: -0x687n,
  r: -0x607n
}, {
  a: 0x9n,
  b: 0x280n,
  r: 0x289n
}, {
  a: -0xd0e6n,
  b: 0x3863n,
  r: -0xc085n
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0xdea6n,
  b: 0xfn,
  r: 0xdeafn
}, {
  a: -0x8dn,
  b: 0x3n,
  r: -0x8dn
}, {
  a: -0x49n,
  b: -0xa64n,
  r: -0x41n
}, {
  a: 0x2f9n,
  b: 0x19n,
  r: 0x2f9n
}, {
  a: -0xdd5fn,
  b: -0x55n,
  r: -0x55n
}, {
  a: -0x8n,
  b: -0xb181n,
  r: -0x1n
}, {
  a: -0xe2bn,
  b: -0xdan,
  r: -0x9n
}, {
  a: 0n,
  b: 0x6n,
  r: 0x6n
}, {
  a: 0x39n,
  b: 0x3918n,
  r: 0x3939n
}, {
  a: 0x7fdn,
  b: 0xb48n,
  r: 0xffdn
}, {
  a: 0x63n,
  b: -0x8333n,
  r: -0x8311n
}, {
  a: 0xb4an,
  b: -0x8088n,
  r: -0x8086n
}, {
  a: -0xan,
  b: 0xfn,
  r: -0x1n
}, {
  a: -0x69n,
  b: 0x7n,
  r: -0x69n
}, {
  a: 0x82n,
  b: 0xa13en,
  r: 0xa1ben
}, {
  a: 0xd95n,
  b: 0x9dn,
  r: 0xd9dn
}, {
  a: 0xebdn,
  b: -0x5n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x5en,
  r: -0x5en
}, {
  a: 0x1097n,
  b: -0xd43n,
  r: -0xd41n
}, {
  a: 0x4110n,
  b: 0xbn,
  r: 0x411bn
}, {
  a: 0n,
  b: -0x65n,
  r: -0x65n
}, {
  a: -0x16n,
  b: -0xaf78n,
  r: -0x16n
}, {
  a: 0xan,
  b: 0xbbdn,
  r: 0xbbfn
}, {
  a: 0n,
  b: -0xe4en,
  r: -0xe4en
}, {
  a: 0xea9cn,
  b: -0x7n,
  r: -0x3n
}, {
  a: -0xa27n,
  b: -0xac3n,
  r: -0xa03n
}, {
  a: 0x58n,
  b: 0xen,
  r: 0x5en
}, {
  a: -0x2e7an,
  b: 0x5n,
  r: -0x2e79n
}, {
  a: 0n,
  b: 0x9n,
  r: 0x9n
}, {
  a: 0n,
  b: 0x295n,
  r: 0x295n
}, {
  a: 0xcecn,
  b: -0xff3n,
  r: -0x313n
}, {
  a: 0x5300n,
  b: -0x6n,
  r: -0x6n
}, {
  a: 0x433n,
  b: 0n,
  r: 0x433n
}, {
  a: 0x8n,
  b: 0xaefn,
  r: 0xaefn
}, {
  a: 0xen,
  b: 0n,
  r: 0xen
}, {
  a: 0x327bn,
  b: 0x86aan,
  r: 0xb6fbn
}, {
  a: -0x750en,
  b: 0xd856n,
  r: -0x250an
}, {
  a: -0x9n,
  b: -0xe117n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x6n,
  r: 0x6n
}, {
  a: 0x51n,
  b: 0xa01n,
  r: 0xa51n
}, {
  a: 0x2n,
  b: 0x403n,
  r: 0x403n
}, {
  a: -0x4dn,
  b: 0xd4n,
  r: -0x9n
}, {
  a: 0xbcfn,
  b: 0xfn,
  r: 0xbcfn
}, {
  a: -0xfddn,
  b: 0xb8een,
  r: -0x711n
}, {
  a: 0x7n,
  b: -0x2fan,
  r: -0x2f9n
}, {
  a: 0x62n,
  b: 0n,
  r: 0x62n
}, {
  a: -0xf8cn,
  b: 0n,
  r: -0xf8cn
}, {
  a: 0x1c9n,
  b: -0xabdn,
  r: -0xa35n
}, {
  a: 0x42n,
  b: -0xb3n,
  r: -0xb1n
}, {
  a: 0xeean,
  b: -0xafn,
  r: -0x5n
}, {
  a: 0n,
  b: 0xan,
  r: 0xan
}, {
  a: 0n,
  b: 0xa31n,
  r: 0xa31n
}, {
  a: 0n,
  b: -0x41n,
  r: -0x41n
}, {
  a: -0xda92n,
  b: 0n,
  r: -0xda92n
}, {
  a: -0x8dn,
  b: 0n,
  r: -0x8dn
}, {
  a: -0x8fdn,
  b: -0xd84n,
  r: -0x881n
}, {
  a: -0x9c9n,
  b: 0x5n,
  r: -0x9c9n
}, {
  a: 0n,
  b: 0x145n,
  r: 0x145n
}, {
  a: -0x2a26n,
  b: -0x51an,
  r: -0x2n
}, {
  a: 0x783n,
  b: 0xe30n,
  r: 0xfb3n
}, {
  a: -0x9n,
  b: 0x325dn,
  r: -0x1n
}, {
  a: -0xa300n,
  b: 0x7a16n,
  r: -0x80ean
}, {
  a: 0x55n,
  b: 0n,
  r: 0x55n
}, {
  a: 0x990n,
  b: -0xccn,
  r: -0x4cn
}, {
  a: -0x3a5n,
  b: -0x91n,
  r: -0x81n
}, {
  a: 0n,
  b: 0x71n,
  r: 0x71n
}, {
  a: -0x1n,
  b: 0xd335n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x7dn,
  r: -0x7dn
}, {
  a: 0n,
  b: -0x116bn,
  r: -0x116bn
}, {
  a: 0xe7f6n,
  b: 0xb10n,
  r: 0xeff6n
}, {
  a: -0xdn,
  b: -0xa8an,
  r: -0x9n
}, {
  a: 0n,
  b: 0xa6n,
  r: 0xa6n
}, {
  a: -0x71c4n,
  b: -0x13n,
  r: -0x3n
}, {
  a: -0x6n,
  b: 0x8an,
  r: -0x6n
}, {
  a: -0xfbn,
  b: -0xcbn,
  r: -0xcbn
}, {
  a: 0x4n,
  b: 0x8191n,
  r: 0x8195n
}, {
  a: -0xben,
  b: 0n,
  r: -0xben
}, {
  a: 0n,
  b: 0x11dn,
  r: 0x11dn
}, {
  a: 0x117dn,
  b: -0x9n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x558cn,
  r: 0x558cn
}, {
  a: 0xe150n,
  b: -0x6n,
  r: -0x6n
}, {
  a: 0n,
  b: 0xcn,
  r: 0xcn
}, {
  a: 0n,
  b: 0x5n,
  r: 0x5n
}, {
  a: -0x22n,
  b: 0x94n,
  r: -0x22n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: 0n,
  b: -0x62c1n,
  r: -0x62c1n
}, {
  a: -0xa15en,
  b: -0xefn,
  r: -0x4dn
}, {
  a: 0x676bn,
  b: -0xc63en,
  r: -0x8015n
}, {
  a: -0xc8n,
  b: -0x6c6n,
  r: -0xc6n
}, {
  a: -0xen,
  b: 0x5affn,
  r: -0x1n
}, {
  a: 0n,
  b: 0x109n,
  r: 0x109n
}, {
  a: -0xd4n,
  b: 0x9872n,
  r: -0x82n
}, {
  a: 0xen,
  b: -0xcn,
  r: -0x2n
}, {
  a: 0x7n,
  b: -0xc9cn,
  r: -0xc99n
}, {
  a: -0xe785n,
  b: 0n,
  r: -0xe785n
}, {
  a: -0x4n,
  b: 0x4ca1n,
  r: -0x3n
}, {
  a: -0xb51n,
  b: -0x50n,
  r: -0x41n
}, {
  a: 0x3250n,
  b: 0n,
  r: 0x3250n
}, {
  a: 0x6a1an,
  b: 0n,
  r: 0x6a1an
}, {
  a: -0x71n,
  b: 0x2n,
  r: -0x71n
}, {
  a: 0x4n,
  b: -0xddan,
  r: -0xddan
}, {
  a: -0xf058n,
  b: 0xa8d7n,
  r: -0x5001n
}, {
  a: 0x42d2n,
  b: 0x613n,
  r: 0x46d3n
}, {
  a: 0xa464n,
  b: -0x309bn,
  r: -0x109bn
}, {
  a: -0x43an,
  b: 0xcn,
  r: -0x432n
}, {
  a: 0xaan,
  b: 0x5n,
  r: 0xafn
}, {
  a: 0xdn,
  b: -0xbbn,
  r: -0xb3n
}, {
  a: 0xdcan,
  b: -0x88n,
  r: -0x6n
}, {
  a: 0n,
  b: 0x8c6an,
  r: 0x8c6an
}, {
  a: 0n,
  b: 0xaaedn,
  r: 0xaaedn
}, {
  a: 0x1754n,
  b: 0n,
  r: 0x1754n
}, {
  a: -0xde9n,
  b: 0n,
  r: -0xde9n
}, {
  a: 0n,
  b: -0xa59fn,
  r: -0xa59fn
}, {
  a: 0xf8n,
  b: -0x81b8n,
  r: -0x8108n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xb68n,
  b: -0x832n,
  r: -0x12n
}, {
  a: -0xc0n,
  b: 0n,
  r: -0xc0n
}, {
  a: 0n,
  b: 0x6n,
  r: 0x6n
}, {
  a: 0n,
  b: -0x4031n,
  r: -0x4031n
}, {
  a: 0xa87n,
  b: 0n,
  r: 0xa87n
}, {
  a: 0n,
  b: -0xbc9n,
  r: -0xbc9n
}, {
  a: 0xe228n,
  b: -0x5n,
  r: -0x5n
}, {
  a: -0xe0fn,
  b: 0n,
  r: -0xe0fn
}, {
  a: 0xe9n,
  b: 0x2428n,
  r: 0x24e9n
}, {
  a: 0n,
  b: 0xb1ban,
  r: 0xb1ban
}, {
  a: -0x6en,
  b: -0x18n,
  r: -0x6n
}, {
  a: -0xd1n,
  b: -0x31n,
  r: -0x11n
}, {
  a: -0x2dcan,
  b: 0n,
  r: -0x2dcan
}, {
  a: -0xd2n,
  b: 0xf6n,
  r: -0x2n
}, {
  a: 0x2fn,
  b: 0n,
  r: 0x2fn
}, {
  a: 0n,
  b: -0x69c5n,
  r: -0x69c5n
}, {
  a: 0x4n,
  b: 0x762n,
  r: 0x766n
}, {
  a: 0n,
  b: 0x91n,
  r: 0x91n
}, {
  a: 0xc5n,
  b: 0n,
  r: 0xc5n
}, {
  a: 0x187n,
  b: 0n,
  r: 0x187n
}, {
  a: 0xb4n,
  b: -0xen,
  r: -0xan
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xa662n,
  b: 0n,
  r: 0xa662n
}, {
  a: -0xbn,
  b: 0x189dn,
  r: -0x3n
}, {
  a: 0n,
  b: -0xac2n,
  r: -0xac2n
}, {
  a: -0xcn,
  b: 0x7n,
  r: -0x9n
}, {
  a: -0xfa0n,
  b: 0n,
  r: -0xfa0n
}, {
  a: 0xfn,
  b: 0n,
  r: 0xfn
}, {
  a: 0x542n,
  b: -0x53n,
  r: -0x11n
}, {
  a: 0x99f2n,
  b: 0x9n,
  r: 0x99fbn
}, {
  a: 0x779fn,
  b: 0x48n,
  r: 0x77dfn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xan,
  r: -0xan
}, {
  a: 0xd6a0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: 0x8n,
  b: -0x6ecn,
  r: -0x6e4n
}, {
  a: 0x5bn,
  b: 0x35an,
  r: 0x35bn
}, {
  a: -0x6aan,
  b: 0x8d0n,
  r: -0x62an
}, {
  a: -0x837n,
  b: -0x455dn,
  r: -0x15n
}, {
  a: 0x3fcn,
  b: -0x29a7n,
  r: -0x2803n
}, {
  a: 0x43en,
  b: 0n,
  r: 0x43en
}, {
  a: 0n,
  b: -0xd8n,
  r: -0xd8n
}, {
  a: 0x7n,
  b: -0x3ce5n,
  r: -0x3ce1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: 0n,
  b: -0x2703n,
  r: -0x2703n
}, {
  a: -0xcn,
  b: -0x810n,
  r: -0xcn
}, {
  a: 0x8240n,
  b: 0x4a53n,
  r: 0xca53n
}, {
  a: 0x5d56n,
  b: 0x270n,
  r: 0x5f76n
}, {
  a: -0x4b0an,
  b: -0x1f81n,
  r: -0xb01n
}, {
  a: -0xba97n,
  b: -0xbcn,
  r: -0x93n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xfn,
  r: 0xfn
}, {
  a: 0xen,
  b: 0x99bdn,
  r: 0x99bfn
}, {
  a: -0xbn,
  b: 0x63bn,
  r: -0x1n
}, {
  a: 0n,
  b: 0xbda2n,
  r: 0xbda2n
}, {
  a: 0n,
  b: -0xc5en,
  r: -0xc5en
}, {
  a: 0n,
  b: 0x103fn,
  r: 0x103fn
}, {
  a: 0xdn,
  b: -0x4158n,
  r: -0x4153n
}, {
  a: -0x55n,
  b: -0x532n,
  r: -0x11n
}, {
  a: 0n,
  b: -0x4c00n,
  r: -0x4c00n
}, {
  a: 0x16d2n,
  b: -0xde6n,
  r: -0x926n
}, {
  a: 0x9n,
  b: 0n,
  r: 0x9n
}, {
  a: -0x8cbn,
  b: 0x8en,
  r: -0x841n
}, {
  a: 0x984n,
  b: 0x67dfn,
  r: 0x6fdfn
}, {
  a: -0x954n,
  b: 0x7n,
  r: -0x951n
}, {
  a: -0x31n,
  b: 0n,
  r: -0x31n
}, {
  a: -0xae6n,
  b: 0n,
  r: -0xae6n
}, {
  a: 0xdn,
  b: 0n,
  r: 0xdn
}, {
  a: 0xd8n,
  b: 0n,
  r: 0xd8n
}, {
  a: 0n,
  b: -0x74an,
  r: -0x74an
}, {
  a: 0x2fdn,
  b: 0xdn,
  r: 0x2fdn
}, {
  a: 0n,
  b: -0xc6n,
  r: -0xc6n
}, {
  a: -0x81c7n,
  b: 0x532n,
  r: -0x80c5n
}, {
  a: 0x9n,
  b: 0n,
  r: 0x9n
}, {
  a: -0xfn,
  b: 0x4ebbn,
  r: -0x5n
}, {
  a: 0x4n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0x4cd2n,
  b: -0x8n,
  r: -0x2n
}, {
  a: 0n,
  b: 0x4752n,
  r: 0x4752n
}, {
  a: 0n,
  b: -0x74d9n,
  r: -0x74d9n
}, {
  a: 0xfn,
  b: -0x498n,
  r: -0x491n
}, {
  a: 0n,
  b: 0xen,
  r: 0xen
}, {
  a: 0x3n,
  b: -0xbn,
  r: -0x9n
}, {
  a: 0x327n,
  b: -0x5n,
  r: -0x1n
}, {
  a: 0xa0bn,
  b: 0x8n,
  r: 0xa0bn
}, {
  a: 0n,
  b: -0x647n,
  r: -0x647n
}, {
  a: -0xa7n,
  b: 0xb4a4n,
  r: -0x3n
}, {
  a: 0xbddn,
  b: -0x5n,
  r: -0x1n
}, {
  a: 0x282cn,
  b: 0n,
  r: 0x282cn
}, {
  a: -0xf7cn,
  b: -0xab0n,
  r: -0xa2cn
}, {
  a: 0x5fdn,
  b: -0x5en,
  r: -0x1n
}, {
  a: -0x80n,
  b: 0n,
  r: -0x80n
}, {
  a: 0n,
  b: 0x667n,
  r: 0x667n
}, {
  a: 0xd4n,
  b: -0x13n,
  r: -0x3n
}, {
  a: -0xfd7bn,
  b: 0n,
  r: -0xfd7bn
}, {
  a: -0xf06n,
  b: -0xddn,
  r: -0x5n
}, {
  a: 0x6f1dn,
  b: 0x7fn,
  r: 0x6f7fn
}, {
  a: 0xdn,
  b: -0x3n,
  r: -0x3n
}, {
  a: 0n,
  b: 0xd2n,
  r: 0xd2n
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: -0xd42n,
  b: -0x76n,
  r: -0x42n
}, {
  a: 0xan,
  b: 0xb6n,
  r: 0xben
}, {
  a: -0x992n,
  b: 0x1an,
  r: -0x982n
}, {
  a: -0x10f5n,
  b: 0xan,
  r: -0x10f5n
}, {
  a: 0xdn,
  b: 0x5176n,
  r: 0x517fn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x8f6n,
  r: -0x8f6n
}, {
  a: 0x72en,
  b: -0xa199n,
  r: -0xa091n
}, {
  a: 0n,
  b: -0x713n,
  r: -0x713n
}, {
  a: 0n,
  b: -0xccdn,
  r: -0xccdn
}, {
  a: 0x2fdn,
  b: -0xac5n,
  r: -0x801n
}, {
  a: 0n,
  b: -0x1664n,
  r: -0x1664n
}, {
  a: 0xe9n,
  b: -0x1fn,
  r: -0x17n
}, {
  a: 0x9aan,
  b: 0n,
  r: 0x9aan
}, {
  a: 0x9e86n,
  b: -0x6n,
  r: -0x2n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x5862n,
  b: 0x629n,
  r: -0x5841n
}, {
  a: 0xe9n,
  b: -0x43abn,
  r: -0x4303n
}, {
  a: 0n,
  b: -0x997n,
  r: -0x997n
}, {
  a: -0xben,
  b: 0n,
  r: -0xben
}, {
  a: -0x4n,
  b: -0x4n,
  r: -0x4n
}, {
  a: -0xe78en,
  b: -0xaef9n,
  r: -0xa689n
}, {
  a: -0x41e7n,
  b: -0x71b9n,
  r: -0x41a1n
}, {
  a: -0xf311n,
  b: 0xa0c1n,
  r: -0x5311n
}, {
  a: -0x4694n,
  b: -0x4ccn,
  r: -0x484n
}, {
  a: 0x25n,
  b: -0x854an,
  r: -0x8549n
}, {
  a: -0xf0n,
  b: 0n,
  r: -0xf0n
}, {
  a: -0xan,
  b: 0x73c8n,
  r: -0x2n
}, {
  a: 0xae9an,
  b: 0n,
  r: 0xae9an
}, {
  a: 0n,
  b: 0x2b9dn,
  r: 0x2b9dn
}, {
  a: -0x49n,
  b: -0x9dn,
  r: -0x9n
}, {
  a: -0xfaf3n,
  b: 0n,
  r: -0xfaf3n
}, {
  a: 0x165n,
  b: 0x59n,
  r: 0x17dn
}, {
  a: 0x5edn,
  b: 0xc6e7n,
  r: 0xc7efn
}, {
  a: 0xf746n,
  b: 0x1f1en,
  r: 0xff5en
}, {
  a: -0xen,
  b: 0xedcn,
  r: -0x2n
}, {
  a: 0n,
  b: -0x4b8dn,
  r: -0x4b8dn
}, {
  a: 0n,
  b: -0xcn,
  r: -0xcn
}, {
  a: 0n,
  b: -0x6n,
  r: -0x6n
}, {
  a: -0x16fcn,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0xc4n,
  b: -0x8an,
  r: -0x82n
}, {
  a: 0xf7cbn,
  b: 0x5cc1n,
  r: 0xffcbn
}, {
  a: 0xdn,
  b: 0x2n,
  r: 0xfn
}, {
  a: -0x47n,
  b: -0x1c3n,
  r: -0x43n
}, {
  a: -0x2n,
  b: 0x1afn,
  r: -0x1n
}, {
  a: -0xd5n,
  b: -0xac5n,
  r: -0xc5n
}, {
  a: -0x8fn,
  b: -0x466n,
  r: -0x5n
}, {
  a: -0x3edn,
  b: -0xa5n,
  r: -0xa5n
}, {
  a: 0n,
  b: 0xebb7n,
  r: 0xebb7n
}, {
  a: 0xfan,
  b: -0xd73n,
  r: -0xd01n
}, {
  a: 0x7417n,
  b: 0n,
  r: 0x7417n
}, {
  a: -0x6dbn,
  b: 0x9n,
  r: -0x6d3n
}, {
  a: -0x8260n,
  b: 0n,
  r: -0x8260n
}, {
  a: 0x2c4n,
  b: 0xaacn,
  r: 0xaecn
}, {
  a: -0x4426n,
  b: 0x85n,
  r: -0x4421n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: -0x3n,
  b: -0xea7n,
  r: -0x3n
}, {
  a: 0x745n,
  b: 0n,
  r: 0x745n
}, {
  a: 0n,
  b: 0xfcn,
  r: 0xfcn
}, {
  a: -0xbbbn,
  b: 0x9fdn,
  r: -0x203n
}, {
  a: -0xb2b5n,
  b: 0xe8an,
  r: -0xb035n
}, {
  a: 0n,
  b: 0x9a5n,
  r: 0x9a5n
}, {
  a: 0x86n,
  b: 0n,
  r: 0x86n
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: -0x6ef0n,
  b: 0n,
  r: -0x6ef0n
}, {
  a: -0x33n,
  b: 0n,
  r: -0x33n
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: -0xd7fn,
  b: 0n,
  r: -0xd7fn
}, {
  a: -0x396n,
  b: 0xadn,
  r: -0x311n
}, {
  a: -0xfa4n,
  b: 0x50cn,
  r: -0xaa4n
}, {
  a: -0x22n,
  b: 0xen,
  r: -0x22n
}, {
  a: 0x15n,
  b: -0x8n,
  r: -0x3n
}, {
  a: 0x7n,
  b: 0xen,
  r: 0xfn
}, {
  a: -0x6c4n,
  b: 0x7e01n,
  r: -0xc3n
}, {
  a: 0xdn,
  b: 0x358en,
  r: 0x358fn
}, {
  a: 0xcfn,
  b: -0x1n,
  r: -0x1n
}, {
  a: 0xan,
  b: 0x2an,
  r: 0x2an
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: -0xc0n,
  b: -0x4867n,
  r: -0x27n
}, {
  a: 0n,
  b: -0xdd80n,
  r: -0xdd80n
}, {
  a: 0n,
  b: 0xc0n,
  r: 0xc0n
}, {
  a: -0xe14n,
  b: -0x6n,
  r: -0x2n
}, {
  a: 0x6bbn,
  b: 0n,
  r: 0x6bbn
}, {
  a: 0xfn,
  b: -0x1n,
  r: -0x1n
}, {
  a: -0x71n,
  b: 0n,
  r: -0x71n
}, {
  a: -0xen,
  b: 0x2n,
  r: -0xen
}, {
  a: 0n,
  b: 0xccn,
  r: 0xccn
}, {
  a: 0x8n,
  b: 0xbdfn,
  r: 0xbdfn
}, {
  a: -0x509an,
  b: 0x1n,
  r: -0x5099n
}, {
  a: -0xf5n,
  b: -0xcd6n,
  r: -0xd5n
}, {
  a: -0x8ed7n,
  b: 0n,
  r: -0x8ed7n
}, {
  a: -0x1ce8n,
  b: 0xf1f3n,
  r: -0xc05n
}, {
  a: 0n,
  b: 0xdeen,
  r: 0xdeen
}, {
  a: 0x3n,
  b: -0x856dn,
  r: -0x856dn
}, {
  a: 0n,
  b: -0x44n,
  r: -0x44n
}, {
  a: 0x880n,
  b: 0n,
  r: 0x880n
}, {
  a: -0x5cfn,
  b: -0x5n,
  r: -0x5n
}, {
  a: -0x6b7dn,
  b: -0x8417n,
  r: -0x15n
}, {
  a: 0x617n,
  b: -0xabn,
  r: -0xa9n
}, {
  a: -0xa1f2n,
  b: -0x404n,
  r: -0x2n
}, {
  a: 0n,
  b: 0x87n,
  r: 0x87n
}, {
  a: 0x5den,
  b: -0x9644n,
  r: -0x9202n
}, {
  a: -0x5bf3n,
  b: -0x254n,
  r: -0x253n
}, {
  a: 0x3ddn,
  b: 0xfn,
  r: 0x3dfn
}, {
  a: 0n,
  b: 0x6cn,
  r: 0x6cn
}, {
  a: 0xcan,
  b: 0n,
  r: 0xcan
}, {
  a: 0x42d6n,
  b: 0x50n,
  r: 0x42d6n
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: -0xbn,
  b: -0x32n,
  r: -0x1n
}, {
  a: 0x32ecn,
  b: 0xd49n,
  r: 0x3fedn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x8n,
  b: 0x4n,
  r: 0xcn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x5a97n,
  b: 0x7e4n,
  r: -0x5813n
}];

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