// 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: -0xacan,
  b: -0xe2n,
  r: 0xcn
}, {
  a: 0x6b53n,
  b: 0x89n,
  r: 0xc8n
}, {
  a: 0xea8an,
  b: -0x9n,
  r: -0x1a0fn
}, {
  a: -0xb7a1n,
  b: -0xfn,
  r: 0xc3dn
}, {
  a: 0x949n,
  b: 0xb0n,
  r: 0xdn
}, {
  a: -0xb1aan,
  b: 0x47n,
  r: -0x280n
}, {
  a: 0xa548n,
  b: 0xcn,
  r: 0xdc6n
}, {
  a: -0x2a9en,
  b: -0x7n,
  r: 0x616n
}, {
  a: 0x84en,
  b: 0x3n,
  r: 0x2c4n
}, {
  a: -0xbd10n,
  b: 0xbn,
  r: -0x1130n
}, {
  a: 0x11f5n,
  b: -0x4n,
  r: -0x47dn
}, {
  a: 0xadcn,
  b: 0xcn,
  r: 0xe7n
}, {
  a: 0xdecn,
  b: 0x21n,
  r: 0x6cn
}, {
  a: 0x3961n,
  b: 0xdbn,
  r: 0x43n
}, {
  a: -0x13ebn,
  b: 0xcn,
  r: -0x1a8n
}, {
  a: -0x9016n,
  b: 0x90n,
  r: -0x100n
}, {
  a: 0x455n,
  b: -0xbn,
  r: -0x64n
}, {
  a: 0x473fn,
  b: 0x4n,
  r: 0x11cfn
}, {
  a: -0xb1fen,
  b: 0xfn,
  r: -0xbddn
}, {
  a: 0x55fn,
  b: 0x6n,
  r: 0xe5n
}, {
  a: -0xfd8n,
  b: 0xe0n,
  r: -0x12n
}, {
  a: 0x5dn,
  b: 0x3n,
  r: 0x1fn
}, {
  a: -0x22n,
  b: -0xan,
  r: 0x3n
}, {
  a: 0x81n,
  b: -0x52n,
  r: -0x1n
}, {
  a: -0x7an,
  b: -0x9cn,
  r: 0n
}, {
  a: 0x6dn,
  b: -0xb3n,
  r: 0n
}, {
  a: -0xe4b7n,
  b: 0x32n,
  r: -0x493n
}, {
  a: -0x61c4n,
  b: 0x3n,
  r: -0x2096n
}, {
  a: -0x17n,
  b: 0xcan,
  r: 0n
}, {
  a: -0x16n,
  b: -0x1n,
  r: 0x16n
}, {
  a: -0x3fdn,
  b: -0xdcn,
  r: 0x4n
}, {
  a: -0x3317n,
  b: 0x7n,
  r: -0x74cn
}, {
  a: 0x96n,
  b: 0xe2n,
  r: 0n
}, {
  a: 0x5b3n,
  b: 0x65n,
  r: 0xen
}, {
  a: -0x19n,
  b: 0x81n,
  r: 0n
}, {
  a: -0xd7an,
  b: 0xcn,
  r: -0x11fn
}, {
  a: -0xcccn,
  b: -0xa4n,
  r: 0x13n
}, {
  a: -0x85n,
  b: 0x64n,
  r: -0x1n
}, {
  a: -0xb88n,
  b: 0x2n,
  r: -0x5c4n
}, {
  a: 0xb2n,
  b: -0x9n,
  r: -0x13n
}, {
  a: 0x21n,
  b: 0x67n,
  r: 0n
}, {
  a: -0x842en,
  b: 0x81n,
  r: -0x106n
}, {
  a: -0x71d1n,
  b: -0x2n,
  r: 0x38e8n
}, {
  a: -0xb3fn,
  b: 0xen,
  r: -0xcdn
}, {
  a: 0xf6fn,
  b: 0x71n,
  r: 0x22n
}, {
  a: -0x49n,
  b: -0xbn,
  r: 0x6n
}, {
  a: 0x64n,
  b: -0x85n,
  r: 0n
}, {
  a: 0xe7n,
  b: -0xf0n,
  r: 0n
}, {
  a: -0x7abn,
  b: 0xebn,
  r: -0x8n
}, {
  a: 0x1an,
  b: -0x2fn,
  r: 0n
}, {
  a: -0x31c0n,
  b: -0x5cn,
  r: 0x8an
}, {
  a: 0xe698n,
  b: -0x61n,
  r: -0x260n
}, {
  a: -0x73afn,
  b: 0xan,
  r: -0xb91n
}, {
  a: -0xc110n,
  b: 0x3n,
  r: -0x405an
}, {
  a: 0x619n,
  b: 0xen,
  r: 0x6fn
}, {
  a: 0xaen,
  b: 0x5n,
  r: 0x22n
}, {
  a: 0xb5n,
  b: -0x37n,
  r: -0x3n
}, {
  a: 0xed8n,
  b: 0x26n,
  r: 0x64n
}, {
  a: -0xb5n,
  b: -0x9n,
  r: 0x14n
}, {
  a: -0xefn,
  b: 0xfn,
  r: -0xfn
}, {
  a: -0xc0n,
  b: 0x6n,
  r: -0x20n
}, {
  a: 0x9f3dn,
  b: -0x92n,
  r: -0x117n
}, {
  a: 0x9cn,
  b: 0xan,
  r: 0xfn
}, {
  a: -0x53n,
  b: -0xbn,
  r: 0x7n
}, {
  a: -0xf2a1n,
  b: -0xb2n,
  r: 0x15cn
}, {
  a: -0xed2n,
  b: -0xen,
  r: 0x10fn
}, {
  a: -0xa8n,
  b: 0x9n,
  r: -0x12n
}, {
  a: -0x3cd7n,
  b: -0xen,
  r: 0x458n
}, {
  a: -0x1f11n,
  b: -0x7cn,
  r: 0x40n
}, {
  a: -0x4370n,
  b: 0x5n,
  r: -0xd7cn
}, {
  a: 0x4c29n,
  b: 0xdn,
  r: 0x5dbn
}, {
  a: 0x6a78n,
  b: 0xe8n,
  r: 0x75n
}, {
  a: -0x429bn,
  b: 0xf5n,
  r: -0x45n
}, {
  a: -0xb7an,
  b: 0x2n,
  r: -0x5bdn
}, {
  a: 0x6een,
  b: -0xe1n,
  r: -0x7n
}, {
  a: -0x25n,
  b: 0xen,
  r: -0x2n
}, {
  a: 0xa51n,
  b: -0x9n,
  r: -0x125n
}, {
  a: -0x30n,
  b: -0x1fn,
  r: 0x1n
}, {
  a: -0x57n,
  b: -0x6n,
  r: 0xen
}, {
  a: -0xd4n,
  b: 0x5n,
  r: -0x2an
}, {
  a: 0x318n,
  b: -0x36n,
  r: -0xen
}, {
  a: 0x8411n,
  b: 0xc5n,
  r: 0xabn
}, {
  a: 0x50an,
  b: -0xan,
  r: -0x81n
}, {
  a: -0xab14n,
  b: -0xc6n,
  r: 0xddn
}, {
  a: 0x158n,
  b: -0x4an,
  r: -0x4n
}, {
  a: -0x61n,
  b: -0x9bn,
  r: 0n
}, {
  a: -0xe6dn,
  b: -0x5dn,
  r: 0x27n
}, {
  a: 0x8695n,
  b: -0x91n,
  r: -0xedn
}, {
  a: -0x60f1n,
  b: 0x8n,
  r: -0xc1en
}, {
  a: 0x83f2n,
  b: -0xa5n,
  r: -0xccn
}, {
  a: 0x678n,
  b: -0xfn,
  r: -0x6en
}, {
  a: 0x1e8n,
  b: 0xan,
  r: 0x30n
}, {
  a: 0x8319n,
  b: -0x9bn,
  r: -0xd8n
}, {
  a: -0xcdn,
  b: -0xan,
  r: 0x14n
}, {
  a: 0x47n,
  b: 0x7n,
  r: 0xan
}, {
  a: 0x54fn,
  b: -0xdcn,
  r: -0x6n
}, {
  a: -0x22n,
  b: 0xd3n,
  r: 0n
}, {
  a: 0xb2n,
  b: 0x18n,
  r: 0x7n
}, {
  a: 0xcecn,
  b: 0xfbn,
  r: 0xdn
}, {
  a: 0xc9ben,
  b: 0x5dn,
  r: 0x22bn
}, {
  a: 0xc76n,
  b: 0xb0n,
  r: 0x12n
}, {
  a: 0xdbn,
  b: -0x6n,
  r: -0x24n
}, {
  a: 0x4fbdn,
  b: 0x72n,
  r: 0xb3n
}, {
  a: -0xb26cn,
  b: -0x5dn,
  r: 0x1ebn
}, {
  a: -0xacn,
  b: -0xdfn,
  r: 0n
}, {
  a: 0xa1c8n,
  b: -0xbn,
  r: -0xeb5n
}, {
  a: -0xbfan,
  b: -0xan,
  r: 0x132n
}, {
  a: 0x35n,
  b: -0x4n,
  r: -0xdn
}, {
  a: 0x9a6n,
  b: -0x61n,
  r: -0x19n
}, {
  a: 0x83n,
  b: -0xa4n,
  r: 0n
}, {
  a: -0x90cn,
  b: -0xcn,
  r: 0xc1n
}, {
  a: -0xe23n,
  b: -0x3n,
  r: 0x4b6n
}, {
  a: -0x86n,
  b: 0xd6n,
  r: 0n
}, {
  a: -0x5b34n,
  b: 0x6n,
  r: -0xf33n
}, {
  a: -0xccn,
  b: -0xa1n,
  r: 0x1n
}, {
  a: 0x302n,
  b: 0xd2n,
  r: 0x3n
}, {
  a: -0xbcdn,
  b: 0x5n,
  r: -0x25cn
}, {
  a: -0x7620n,
  b: 0x9n,
  r: -0xd20n
}, {
  a: 0xb76n,
  b: 0xb0n,
  r: 0x10n
}, {
  a: 0x11dn,
  b: 0xen,
  r: 0x14n
}, {
  a: 0x4dn,
  b: 0xen,
  r: 0x5n
}, {
  a: -0xcan,
  b: 0x5dn,
  r: -0x2n
}, {
  a: -0x4bn,
  b: 0x3n,
  r: -0x19n
}, {
  a: 0xaeden,
  b: -0xfn,
  r: -0xba8n
}, {
  a: -0x1988n,
  b: -0xan,
  r: 0x28dn
}, {
  a: 0x3c85n,
  b: -0xe8n,
  r: -0x42n
}, {
  a: -0xa2n,
  b: -0x3n,
  r: 0x36n
}, {
  a: 0x76cn,
  b: 0x18n,
  r: 0x4fn
}, {
  a: -0x2fn,
  b: -0xc3n,
  r: 0n
}, {
  a: -0xcedn,
  b: -0x73n,
  r: 0x1cn
}, {
  a: -0xcfn,
  b: -0xen,
  r: 0xen
}, {
  a: 0xa63n,
  b: 0x9n,
  r: 0x127n
}, {
  a: -0x3d2n,
  b: 0xdn,
  r: -0x4bn
}, {
  a: -0x87dcn,
  b: 0x9cn,
  r: -0xden
}, {
  a: -0x791n,
  b: 0x5bn,
  r: -0x15n
}, {
  a: 0x3en,
  b: 0x2n,
  r: 0x1fn
}, {
  a: 0xd4n,
  b: 0x7n,
  r: 0x1en
}, {
  a: 0x56n,
  b: -0x65n,
  r: 0n
}, {
  a: 0xfc7n,
  b: 0xeen,
  r: 0x10n
}, {
  a: -0xad0fn,
  b: 0xen,
  r: -0xc5cn
}, {
  a: 0x35fn,
  b: -0xden,
  r: -0x3n
}, {
  a: 0xb2en,
  b: 0x8n,
  r: 0x165n
}, {
  a: -0x1552n,
  b: 0x36n,
  r: -0x65n
}, {
  a: -0x52n,
  b: -0x8n,
  r: 0xan
}, {
  a: 0xcbn,
  b: -0xffn,
  r: 0n
}, {
  a: -0xe0d8n,
  b: 0x3dn,
  r: -0x3afn
}, {
  a: 0x221n,
  b: 0xacn,
  r: 0x3n
}, {
  a: -0xbfn,
  b: 0xen,
  r: -0xdn
}, {
  a: -0x8ce7n,
  b: -0x97n,
  r: 0xeen
}, {
  a: 0x58b8n,
  b: 0x8fn,
  r: 0x9en
}, {
  a: 0x2728n,
  b: 0xcbn,
  r: 0x31n
}, {
  a: -0xe5n,
  b: -0xbfn,
  r: 0x1n
}, {
  a: 0x319n,
  b: -0xan,
  r: -0x4fn
}, {
  a: 0xeen,
  b: 0xdn,
  r: 0x12n
}, {
  a: 0xa579n,
  b: 0x4an,
  r: 0x23cn
}, {
  a: -0xc04n,
  b: 0xf3n,
  r: -0xcn
}, {
  a: -0x62abn,
  b: -0x55n,
  r: 0x129n
}, {
  a: 0x4f2en,
  b: -0x3n,
  r: -0x1a64n
}, {
  a: 0xbf18n,
  b: -0x2n,
  r: -0x5f8cn
}, {
  a: 0x379n,
  b: 0xd2n,
  r: 0x4n
}, {
  a: -0x1129n,
  b: -0xe1n,
  r: 0x13n
}, {
  a: 0x7b8n,
  b: -0xf7n,
  r: -0x8n
}, {
  a: 0x4adn,
  b: 0x1n,
  r: 0x4adn
}, {
  a: -0x2e46n,
  b: -0x94n,
  r: 0x50n
}, {
  a: -0x90cen,
  b: 0x8dn,
  r: -0x106n
}, {
  a: -0x85n,
  b: 0xcn,
  r: -0xbn
}, {
  a: -0xdf75n,
  b: 0x9an,
  r: -0x173n
}, {
  a: 0x36e8n,
  b: -0xd9n,
  r: -0x40n
}, {
  a: -0x412n,
  b: -0x7n,
  r: 0x94n
}, {
  a: -0xc469n,
  b: -0x8dn,
  r: 0x164n
}, {
  a: 0x7b43n,
  b: 0xdn,
  r: 0x97bn
}, {
  a: -0x509n,
  b: -0xan,
  r: 0x80n
}, {
  a: -0x632n,
  b: -0x3n,
  r: 0x210n
}, {
  a: 0xc3dn,
  b: -0xen,
  r: -0xdfn
}, {
  a: -0x9d7dn,
  b: 0x14n,
  r: -0x7dfn
}, {
  a: 0x1c8n,
  b: -0x1en,
  r: -0xfn
}, {
  a: 0x9a9n,
  b: -0x9n,
  r: -0x112n
}, {
  a: -0xd3n,
  b: -0xbn,
  r: 0x13n
}, {
  a: -0xe40n,
  b: 0xb9n,
  r: -0x13n
}, {
  a: 0xe410n,
  b: -0x5n,
  r: -0x2d9cn
}, {
  a: -0xadn,
  b: 0xe3n,
  r: 0n
}, {
  a: -0x286dn,
  b: 0xccn,
  r: -0x32n
}, {
  a: -0x270fn,
  b: -0x4dn,
  r: 0x81n
}, {
  a: 0xcefan,
  b: -0x71n,
  r: -0x1d4n
}, {
  a: 0xc8ebn,
  b: 0x8n,
  r: 0x191dn
}, {
  a: 0xf34n,
  b: -0x7dn,
  r: -0x1fn
}, {
  a: -0x58n,
  b: 0x15n,
  r: -0x4n
}, {
  a: -0x6cffn,
  b: -0x1cn,
  r: 0x3e4n
}, {
  a: 0x14f0n,
  b: 0x9n,
  r: 0x253n
}, {
  a: 0x1391n,
  b: 0xcn,
  r: 0x1a1n
}, {
  a: -0xe09dn,
  b: 0x7dn,
  r: -0x1ccn
}, {
  a: -0x63ecn,
  b: -0x4n,
  r: 0x18fbn
}, {
  a: -0xf608n,
  b: -0x2n,
  r: 0x7b04n
}, {
  a: -0xc97n,
  b: 0x7fn,
  r: -0x19n
}, {
  a: 0x80dn,
  b: 0x2n,
  r: 0x406n
}, {
  a: -0xe6bn,
  b: 0xfen,
  r: -0xen
}, {
  a: -0x714n,
  b: 0x34n,
  r: -0x22n
}, {
  a: -0xe051n,
  b: 0x5n,
  r: -0x2cddn
}, {
  a: 0xc06n,
  b: -0x3n,
  r: -0x402n
}, {
  a: 0xe8n,
  b: -0x3n,
  r: -0x4dn
}, {
  a: 0xde7n,
  b: -0xe4n,
  r: -0xfn
}, {
  a: 0x7cn,
  b: 0xf9n,
  r: 0n
}, {
  a: 0x68dn,
  b: 0xdfn,
  r: 0x7n
}, {
  a: -0xb0n,
  b: 0x4n,
  r: -0x2cn
}, {
  a: -0xc13n,
  b: 0xen,
  r: -0xdcn
}, {
  a: 0xf76n,
  b: -0xdn,
  r: -0x130n
}, {
  a: -0x142n,
  b: -0xen,
  r: 0x17n
}, {
  a: -0xca5fn,
  b: 0x1en,
  r: -0x6ben
}, {
  a: 0xd2n,
  b: 0xf2n,
  r: 0n
}, {
  a: -0xd8n,
  b: 0xfn,
  r: -0xen
}, {
  a: -0xecb5n,
  b: -0xf9n,
  r: 0xf3n
}, {
  a: -0x28bbn,
  b: -0x92n,
  r: 0x47n
}, {
  a: 0x7acn,
  b: 0x8en,
  r: 0xdn
}, {
  a: 0x17n,
  b: 0xdn,
  r: 0x1n
}, {
  a: -0x33n,
  b: 0x7n,
  r: -0x7n
}, {
  a: -0x74cn,
  b: 0x6n,
  r: -0x137n
}, {
  a: -0x676n,
  b: -0x24n,
  r: 0x2dn
}, {
  a: -0xb1n,
  b: 0x85n,
  r: -0x1n
}, {
  a: 0xc19dn,
  b: 0xcen,
  r: 0xf0n
}, {
  a: 0xc47n,
  b: 0xfn,
  r: 0xd1n
}, {
  a: -0x2063n,
  b: -0x50n,
  r: 0x67n
}, {
  a: 0xd70n,
  b: 0xen,
  r: 0xf5n
}, {
  a: -0xedcn,
  b: 0x5an,
  r: -0x2an
}, {
  a: 0x5f26n,
  b: -0xcn,
  r: -0x7edn
}, {
  a: 0xac28n,
  b: -0xen,
  r: -0xc4cn
}, {
  a: 0x593dn,
  b: 0x3en,
  r: 0x170n
}, {
  a: -0xd0n,
  b: 0xcn,
  r: -0x11n
}, {
  a: 0x99n,
  b: 0x5n,
  r: 0x1en
}, {
  a: -0xfan,
  b: 0x8n,
  r: -0x1fn
}, {
  a: -0x421bn,
  b: -0x51n,
  r: 0xd0n
}, {
  a: 0xce9cn,
  b: 0x9n,
  r: 0x16f4n
}, {
  a: -0x6dn,
  b: -0x3n,
  r: 0x24n
}, {
  a: 0xf6n,
  b: -0xan,
  r: -0x18n
}, {
  a: 0x412n,
  b: -0xan,
  r: -0x68n
}, {
  a: -0xc5b7n,
  b: -0x8n,
  r: 0x18b6n
}, {
  a: -0xbcn,
  b: 0xe0n,
  r: 0n
}, {
  a: 0x760cn,
  b: 0xe1n,
  r: 0x86n
}, {
  a: -0x5cn,
  b: -0xfn,
  r: 0x6n
}, {
  a: 0xab8n,
  b: -0x6n,
  r: -0x1c9n
}, {
  a: -0x57n,
  b: 0x5n,
  r: -0x11n
}, {
  a: -0x71a9n,
  b: -0xbn,
  r: 0xa55n
}, {
  a: -0xd23n,
  b: 0xfn,
  r: -0xe0n
}, {
  a: 0x6f47n,
  b: -0x43n,
  r: -0x1a9n
}, {
  a: 0xe617n,
  b: -0xc8n,
  r: -0x126n
}, {
  a: 0xfb02n,
  b: 0x3n,
  r: 0x53abn
}, {
  a: 0xb73n,
  b: 0xcn,
  r: 0xf4n
}, {
  a: -0xc29n,
  b: 0xf5n,
  r: -0xcn
}, {
  a: 0xd34n,
  b: -0x3n,
  r: -0x466n
}, {
  a: 0xd16n,
  b: 0xdn,
  r: 0x101n
}, {
  a: -0xebn,
  b: 0xb8n,
  r: -0x1n
}, {
  a: -0xbfn,
  b: 0xf1n,
  r: 0n
}, {
  a: -0xa0d8n,
  b: -0x4n,
  r: 0x2836n
}, {
  a: -0x71n,
  b: 0xb2n,
  r: 0n
}, {
  a: 0x4d38n,
  b: 0xe5n,
  r: 0x56n
}, {
  a: 0xadn,
  b: -0xfn,
  r: -0xbn
}, {
  a: -0xde3n,
  b: -0x77n,
  r: 0x1dn
}, {
  a: 0x2c4n,
  b: -0x48n,
  r: -0x9n
}, {
  a: 0xf2n,
  b: -0xa8n,
  r: -0x1n
}, {
  a: -0xe3n,
  b: 0x70n,
  r: -0x2n
}, {
  a: -0xd1n,
  b: 0xd7n,
  r: 0n
}, {
  a: 0x71n,
  b: -0x59n,
  r: -0x1n
}, {
  a: -0x7f0n,
  b: -0xbn,
  r: 0xb8n
}, {
  a: -0xb4e3n,
  b: 0x45n,
  r: -0x29fn
}, {
  a: 0x5d82n,
  b: -0xen,
  r: -0x6adn
}, {
  a: 0xc33bn,
  b: 0x5bn,
  r: 0x225n
}, {
  a: -0x63n,
  b: -0xdbn,
  r: 0n
}, {
  a: 0x89n,
  b: 0x4n,
  r: 0x22n
}, {
  a: -0xc295n,
  b: -0xfn,
  r: 0xcf8n
}, {
  a: -0x49c0n,
  b: 0x11n,
  r: -0x456n
}, {
  a: 0xaban,
  b: -0x6an,
  r: -0x19n
}, {
  a: 0xfbn,
  b: -0x13n,
  r: -0xdn
}, {
  a: 0x6fn,
  b: 0xd3n,
  r: 0n
}, {
  a: -0x6c7n,
  b: -0x38n,
  r: 0x1en
}, {
  a: 0xb2n,
  b: -0x98n,
  r: -0x1n
}, {
  a: -0xc1n,
  b: 0xbn,
  r: -0x11n
}, {
  a: -0xe3en,
  b: 0x90n,
  r: -0x19n
}, {
  a: 0x6f5n,
  b: -0xbn,
  r: -0xa1n
}, {
  a: -0x600cn,
  b: 0xcn,
  r: -0x801n
}, {
  a: 0xf06n,
  b: 0x8n,
  r: 0x1e0n
}, {
  a: -0x3be2n,
  b: -0x61n,
  r: 0x9en
}, {
  a: 0x6fn,
  b: 0x1n,
  r: 0x6fn
}, {
  a: -0x4cbcn,
  b: -0x1n,
  r: 0x4cbcn
}, {
  a: -0x755n,
  b: -0xb0n,
  r: 0xan
}, {
  a: -0x16n,
  b: 0xen,
  r: -0x1n
}, {
  a: 0x4d32n,
  b: -0xdn,
  r: -0x5f0n
}, {
  a: 0x38n,
  b: 0x9n,
  r: 0x6n
}, {
  a: 0x6c2n,
  b: 0xen,
  r: 0x7bn
}, {
  a: 0x8d3bn,
  b: -0x24n,
  r: -0x3ecn
}, {
  a: -0x78b3n,
  b: 0xan,
  r: -0xc11n
}, {
  a: 0xe6abn,
  b: -0x3n,
  r: -0x4ce3n
}, {
  a: -0xa4n,
  b: 0xcn,
  r: -0xdn
}, {
  a: -0xba8n,
  b: -0x25n,
  r: 0x50n
}, {
  a: -0x1dn,
  b: 0xdn,
  r: -0x2n
}, {
  a: 0xcfn,
  b: -0x73n,
  r: -0x1n
}, {
  a: 0x12en,
  b: 0x88n,
  r: 0x2n
}, {
  a: -0x748n,
  b: -0x2n,
  r: 0x3a4n
}, {
  a: -0x88n,
  b: 0x8n,
  r: -0x11n
}, {
  a: 0x1bn,
  b: -0xd3n,
  r: 0n
}, {
  a: 0xfcan,
  b: -0x1en,
  r: -0x86n
}, {
  a: -0x243n,
  b: 0xb0n,
  r: -0x3n
}, {
  a: -0x39n,
  b: 0x8n,
  r: -0x7n
}, {
  a: 0x57n,
  b: -0x5n,
  r: -0x11n
}, {
  a: -0xbaen,
  b: 0xddn,
  r: -0xdn
}, {
  a: 0x95e4n,
  b: 0xbn,
  r: 0xda0n
}, {
  a: -0xb19n,
  b: 0xb0n,
  r: -0x10n
}, {
  a: -0xcd7n,
  b: -0x4n,
  r: 0x335n
}, {
  a: -0x74n,
  b: -0x1n,
  r: 0x74n
}, {
  a: -0x1afn,
  b: 0x7n,
  r: -0x3dn
}, {
  a: 0x7ed9n,
  b: 0xb7n,
  r: 0xb1n
}, {
  a: -0x3895n,
  b: -0xd4n,
  r: 0x44n
}, {
  a: 0x869n,
  b: -0x8bn,
  r: -0xfn
}, {
  a: 0xce2n,
  b: 0x5dn,
  r: 0x23n
}, {
  a: -0xd0fn,
  b: -0xfn,
  r: 0xden
}, {
  a: 0x411n,
  b: -0xe4n,
  r: -0x4n
}, {
  a: -0x59n,
  b: -0x6n,
  r: 0xen
}, {
  a: -0xaf5fn,
  b: 0xcan,
  r: -0xden
}, {
  a: 0xfec5n,
  b: -0xbn,
  r: -0x1729n
}, {
  a: -0xeeen,
  b: -0xcn,
  r: 0x13en
}, {
  a: -0xf25n,
  b: 0xa2n,
  r: -0x17n
}, {
  a: 0xa4c6n,
  b: -0xabn,
  r: -0xf6n
}, {
  a: 0x5eadn,
  b: -0x76n,
  r: -0xcdn
}, {
  a: 0x255n,
  b: 0x6n,
  r: 0x63n
}, {
  a: 0x9efbn,
  b: -0x4fn,
  r: -0x203n
}, {
  a: 0x355n,
  b: 0x4n,
  r: 0xd5n
}, {
  a: -0xf50n,
  b: -0xen,
  r: 0x118n
}, {
  a: 0x8db1n,
  b: 0xe4n,
  r: 0x9fn
}, {
  a: 0x7ff3n,
  b: 0x4cn,
  r: 0x1aen
}, {
  a: 0xf3n,
  b: -0x16n,
  r: -0xbn
}, {
  a: -0x688n,
  b: -0x2n,
  r: 0x344n
}, {
  a: 0xcf18n,
  b: -0x7n,
  r: -0x1d95n
}, {
  a: 0xf3n,
  b: 0x4fn,
  r: 0x3n
}, {
  a: 0xf4f2n,
  b: 0x1n,
  r: 0xf4f2n
}, {
  a: -0xd8cn,
  b: -0xd1n,
  r: 0x10n
}, {
  a: -0x2c36n,
  b: -0xcn,
  r: 0x3afn
}, {
  a: 0xa5n,
  b: 0x42n,
  r: 0x2n
}, {
  a: -0x93e7n,
  b: 0x9cn,
  r: -0xf2n
}, {
  a: 0x25n,
  b: -0x2n,
  r: -0x12n
}, {
  a: -0x95n,
  b: 0xa3n,
  r: 0n
}, {
  a: -0x2an,
  b: -0x4n,
  r: 0xan
}, {
  a: -0xb5n,
  b: 0xfn,
  r: -0xcn
}, {
  a: -0x4a8n,
  b: -0x4en,
  r: 0xfn
}, {
  a: 0x9e11n,
  b: -0xan,
  r: -0xfcen
}, {
  a: 0xfb2n,
  b: -0x9n,
  r: -0x1ben
}, {
  a: 0xda90n,
  b: 0xfn,
  r: 0xe92n
}, {
  a: 0xc85n,
  b: -0xc9n,
  r: -0xfn
}, {
  a: 0xd3an,
  b: -0x5fn,
  r: -0x23n
}, {
  a: 0x3ebn,
  b: 0xd1n,
  r: 0x4n
}, {
  a: -0xad56n,
  b: 0xf1n,
  r: -0xb8n
}, {
  a: -0x31c6n,
  b: 0xfn,
  r: -0x351n
}, {
  a: 0xfd11n,
  b: -0x37n,
  r: -0x499n
}, {
  a: 0xf96n,
  b: 0x2n,
  r: 0x7cbn
}, {
  a: 0x977n,
  b: 0xfn,
  r: 0xa1n
}, {
  a: -0xfd1n,
  b: 0x8n,
  r: -0x1fan
}, {
  a: 0xf417n,
  b: 0x2n,
  r: 0x7a0bn
}, {
  a: -0x4an,
  b: -0x6bn,
  r: 0n
}, {
  a: -0x1dn,
  b: -0xd7n,
  r: 0n
}, {
  a: -0x488an,
  b: -0xb1n,
  r: 0x68n
}, {
  a: 0x3b0n,
  b: -0x5cn,
  r: -0xan
}, {
  a: 0x8f15n,
  b: 0xcn,
  r: 0xbecn
}, {
  a: -0x833n,
  b: 0xf4n,
  r: -0x8n
}, {
  a: 0x9dn,
  b: -0x8n,
  r: -0x13n
}, {
  a: 0x97n,
  b: 0xa2n,
  r: 0n
}, {
  a: -0x82efn,
  b: 0x76n,
  r: -0x11cn
}, {
  a: -0x87n,
  b: -0xdn,
  r: 0xan
}, {
  a: 0xba38n,
  b: 0xf8n,
  r: 0xc0n
}, {
  a: -0xa25n,
  b: 0x3n,
  r: -0x361n
}, {
  a: -0x3936n,
  b: -0x7n,
  r: 0x82cn
}, {
  a: 0x61n,
  b: 0xb6n,
  r: 0n
}, {
  a: 0x850n,
  b: -0xen,
  r: -0x98n
}, {
  a: 0xa412n,
  b: -0x7n,
  r: -0x1770n
}, {
  a: -0xf08n,
  b: 0x7n,
  r: -0x225n
}, {
  a: -0xf8e9n,
  b: -0xbn,
  r: 0x16a0n
}, {
  a: -0xa04n,
  b: -0xfn,
  r: 0xaan
}, {
  a: -0x818n,
  b: -0x63n,
  r: 0x14n
}, {
  a: -0x45n,
  b: -0x9n,
  r: 0x7n
}, {
  a: 0xe8n,
  b: -0xd0n,
  r: -0x1n
}, {
  a: -0xa8n,
  b: -0xfn,
  r: 0xbn
}, {
  a: -0x94n,
  b: -0xe7n,
  r: 0n
}, {
  a: 0x744n,
  b: -0x1n,
  r: -0x744n
}, {
  a: 0xb0n,
  b: -0x7n,
  r: -0x19n
}, {
  a: 0x624n,
  b: -0x85n,
  r: -0xbn
}, {
  a: 0x8434n,
  b: 0x9n,
  r: 0xeb0n
}, {
  a: -0x2accn,
  b: 0x2n,
  r: -0x1566n
}, {
  a: 0xf518n,
  b: -0x6n,
  r: -0x28d9n
}, {
  a: -0x21n,
  b: 0x6n,
  r: -0x5n
}, {
  a: -0x792n,
  b: -0xan,
  r: 0xc1n
}, {
  a: 0xe091n,
  b: 0x6n,
  r: 0x256dn
}, {
  a: -0x2c8dn,
  b: 0xcn,
  r: -0x3b6n
}, {
  a: 0x7fn,
  b: 0x1n,
  r: 0x7fn
}, {
  a: -0x313n,
  b: -0x59n,
  r: 0x8n
}, {
  a: 0x2503n,
  b: 0x8n,
  r: 0x4a0n
}, {
  a: -0xe4dn,
  b: -0x8bn,
  r: 0x1an
}, {
  a: -0xbfd4n,
  b: 0xfn,
  r: -0xcc9n
}, {
  a: -0xe1n,
  b: -0xe6n,
  r: 0n
}, {
  a: 0x1e4n,
  b: -0x65n,
  r: -0x4n
}, {
  a: -0xf31n,
  b: -0x2n,
  r: 0x798n
}, {
  a: -0xb92n,
  b: -0x63n,
  r: 0x1dn
}, {
  a: 0x9e3n,
  b: 0xc2n,
  r: 0xdn
}, {
  a: -0x89n,
  b: -0x4dn,
  r: 0x1n
}, {
  a: -0xf4n,
  b: -0xf4n,
  r: 0x1n
}, {
  a: -0x72n,
  b: -0xf2n,
  r: 0n
}, {
  a: 0x460n,
  b: -0x96n,
  r: -0x7n
}, {
  a: 0x2a4n,
  b: -0x94n,
  r: -0x4n
}, {
  a: 0xbd70n,
  b: -0x9dn,
  r: -0x134n
}, {
  a: -0xb031n,
  b: 0xbn,
  r: -0x1004n
}, {
  a: -0xc6en,
  b: 0xdn,
  r: -0xf4n
}, {
  a: -0x2efn,
  b: 0x89n,
  r: -0x5n
}, {
  a: 0x7c9n,
  b: -0x5dn,
  r: -0x15n
}, {
  a: 0x7289n,
  b: 0x9n,
  r: 0xcb9n
}, {
  a: -0xdf3n,
  b: 0x1dn,
  r: -0x7bn
}, {
  a: -0x5cn,
  b: -0x4n,
  r: 0x17n
}, {
  a: -0xffd7n,
  b: -0xc0n,
  r: 0x155n
}, {
  a: 0xdbdn,
  b: 0x7n,
  r: 0x1f6n
}, {
  a: -0xf8n,
  b: 0xan,
  r: -0x18n
}, {
  a: -0xb1n,
  b: -0x6n,
  r: 0x1dn
}, {
  a: 0x80cn,
  b: 0xf6n,
  r: 0x8n
}, {
  a: -0x1d17n,
  b: 0x15n,
  r: -0x162n
}, {
  a: 0x9807n,
  b: -0x83n,
  r: -0x129n
}, {
  a: 0x15n,
  b: -0x4n,
  r: -0x5n
}, {
  a: -0x36en,
  b: -0xbn,
  r: 0x4fn
}, {
  a: 0x4dn,
  b: 0x7n,
  r: 0xbn
}, {
  a: 0x26e2n,
  b: 0x4n,
  r: 0x9b8n
}, {
  a: -0xbab3n,
  b: 0x5en,
  r: -0x1fcn
}, {
  a: 0x73n,
  b: 0x6n,
  r: 0x13n
}, {
  a: 0xcan,
  b: 0xc0n,
  r: 0x1n
}, {
  a: -0xc5n,
  b: -0x8n,
  r: 0x18n
}, {
  a: -0xa1en,
  b: 0x28n,
  r: -0x40n
}, {
  a: 0x8bn,
  b: 0xbn,
  r: 0xcn
}, {
  a: -0x75en,
  b: 0xbn,
  r: -0xabn
}, {
  a: -0x20n,
  b: -0xc8n,
  r: 0n
}, {
  a: 0x2d4n,
  b: 0x99n,
  r: 0x4n
}, {
  a: -0x9aen,
  b: 0xfn,
  r: -0xa5n
}, {
  a: -0x705n,
  b: -0x1n,
  r: 0x705n
}, {
  a: 0x68n,
  b: 0x16n,
  r: 0x4n
}, {
  a: 0x943bn,
  b: -0xfn,
  r: -0x9e1n
}, {
  a: 0xe2dn,
  b: -0x1an,
  r: -0x8bn
}, {
  a: 0xdbb1n,
  b: 0x7en,
  r: 0x1ben
}, {
  a: -0xd7b3n,
  b: 0x4n,
  r: -0x35ecn
}, {
  a: 0x6e49n,
  b: 0x1n,
  r: 0x6e49n
}, {
  a: 0x2254n,
  b: 0xcn,
  r: 0x2dcn
}, {
  a: -0x6023n,
  b: -0x1dn,
  r: 0x350n
}, {
  a: 0xcc00n,
  b: -0x6n,
  r: -0x2200n
}, {
  a: 0xdeen,
  b: 0x6cn,
  r: 0x21n
}, {
  a: 0x82n,
  b: 0x2fn,
  r: 0x2n
}, {
  a: 0x16dn,
  b: -0x1n,
  r: -0x16dn
}, {
  a: 0x76ccn,
  b: -0xen,
  r: -0x87cn
}, {
  a: -0xben,
  b: -0x5n,
  r: 0x26n
}, {
  a: 0x8082n,
  b: 0x37n,
  r: 0x256n
}, {
  a: 0x65n,
  b: -0xdn,
  r: -0x7n
}, {
  a: -0xae53n,
  b: 0x53n,
  r: -0x219n
}, {
  a: -0x8en,
  b: -0xbcn,
  r: 0n
}, {
  a: -0x7cn,
  b: -0x17n,
  r: 0x5n
}, {
  a: 0xeefn,
  b: -0x33n,
  r: -0x4an
}, {
  a: 0x2ban,
  b: -0x13n,
  r: -0x24n
}, {
  a: -0xb7dn,
  b: 0x1n,
  r: -0xb7dn
}, {
  a: -0xc87cn,
  b: -0x1n,
  r: 0xc87cn
}, {
  a: -0xa49n,
  b: -0x5n,
  r: 0x20en
}, {
  a: 0xb711n,
  b: -0xfn,
  r: -0xc34n
}, {
  a: 0x564n,
  b: 0x8n,
  r: 0xacn
}, {
  a: 0x5a64n,
  b: 0x9n,
  r: 0xa0bn
}, {
  a: 0xb9en,
  b: 0xadn,
  r: 0x11n
}, {
  a: 0xe8n,
  b: -0x3n,
  r: -0x4dn
}, {
  a: 0x1cn,
  b: -0x55n,
  r: 0n
}, {
  a: -0x53dn,
  b: 0x7n,
  r: -0xbfn
}, {
  a: 0x44c9n,
  b: 0x91n,
  r: 0x79n
}, {
  a: -0x9b0n,
  b: 0x5n,
  r: -0x1f0n
}, {
  a: 0x553n,
  b: 0x5n,
  r: 0x110n
}, {
  a: 0x35fn,
  b: 0xfn,
  r: 0x39n
}, {
  a: 0xc9b4n,
  b: -0x99n,
  r: -0x151n
}, {
  a: 0x29dn,
  b: -0x59n,
  r: -0x7n
}, {
  a: -0xd97an,
  b: 0x20n,
  r: -0x6cbn
}, {
  a: 0xc2f2n,
  b: 0xdn,
  r: 0xefen
}, {
  a: 0x28n,
  b: -0x5n,
  r: -0x8n
}, {
  a: 0x4e93n,
  b: 0x1n,
  r: 0x4e93n
}, {
  a: -0x3cn,
  b: -0xdn,
  r: 0x4n
}, {
  a: -0xfen,
  b: 0x1fn,
  r: -0x8n
}, {
  a: -0xc2fn,
  b: -0xcan,
  r: 0xfn
}, {
  a: 0x48n,
  b: -0x9an,
  r: 0n
}, {
  a: -0xa36n,
  b: 0x5n,
  r: -0x20an
}, {
  a: 0x749dn,
  b: 0x9n,
  r: 0xcf5n
}, {
  a: 0x535cn,
  b: -0x1n,
  r: -0x535cn
}, {
  a: 0x61n,
  b: 0x92n,
  r: 0n
}, {
  a: 0x287n,
  b: 0xcbn,
  r: 0x3n
}, {
  a: 0xe50dn,
  b: -0x1n,
  r: -0xe50dn
}, {
  a: 0xcbn,
  b: 0xbn,
  r: 0x12n
}, {
  a: 0x37n,
  b: 0x5n,
  r: 0xbn
}, {
  a: -0x988fn,
  b: -0xan,
  r: 0xf41n
}, {
  a: 0x8b0n,
  b: -0x18n,
  r: -0x5cn
}, {
  a: 0x812bn,
  b: -0x33n,
  r: -0x288n
}, {
  a: 0xddn,
  b: 0x6n,
  r: 0x24n
}, {
  a: 0xd66n,
  b: 0xcn,
  r: 0x11dn
}, {
  a: -0xfdfn,
  b: -0x46n,
  r: 0x3an
}, {
  a: -0x82n,
  b: 0xa9n,
  r: 0n
}, {
  a: 0x5dn,
  b: -0x1an,
  r: -0x3n
}, {
  a: -0x518n,
  b: -0x3n,
  r: 0x1b2n
}, {
  a: 0x96efn,
  b: 0x2n,
  r: 0x4b77n
}, {
  a: -0x942n,
  b: -0xen,
  r: 0xa9n
}, {
  a: -0xd81n,
  b: 0x56n,
  r: -0x28n
}, {
  a: 0xeen,
  b: 0x7n,
  r: 0x22n
}, {
  a: 0xbedn,
  b: -0xd1n,
  r: -0xen
}, {
  a: 0xf1fn,
  b: -0x4n,
  r: -0x3c7n
}, {
  a: -0x1db7n,
  b: -0x2n,
  r: 0xedbn
}, {
  a: 0x68n,
  b: -0x82n,
  r: 0n
}, {
  a: 0x3e9n,
  b: -0xc6n,
  r: -0x5n
}, {
  a: 0xe65n,
  b: -0xccn,
  r: -0x12n
}, {
  a: 0xcd6an,
  b: -0x72n,
  r: -0x1cdn
}, {
  a: 0xe6bcn,
  b: -0xbbn,
  r: -0x13bn
}, {
  a: -0x5d5n,
  b: -0x9n,
  r: 0xa5n
}, {
  a: -0xcd99n,
  b: 0xf4n,
  r: -0xd7n
}, {
  a: 0x62n,
  b: 0x21n,
  r: 0x2n
}, {
  a: 0xdbn,
  b: 0x8an,
  r: 0x1n
}, {
  a: 0x4bn,
  b: -0x99n,
  r: 0n
}, {
  a: 0x51fcn,
  b: -0x4n,
  r: -0x147fn
}, {
  a: -0x6c6n,
  b: -0xdn,
  r: 0x85n
}, {
  a: 0xbdn,
  b: 0x5en,
  r: 0x2n
}, {
  a: 0x2666n,
  b: -0x57n,
  r: -0x70n
}, {
  a: 0xd9n,
  b: -0xfn,
  r: -0xen
}, {
  a: 0xdfn,
  b: 0x9n,
  r: 0x18n
}, {
  a: 0xb0n,
  b: -0x30n,
  r: -0x3n
}, {
  a: -0x7360n,
  b: -0xb1n,
  r: 0xa6n
}, {
  a: -0xa4fn,
  b: 0x1n,
  r: -0xa4fn
}, {
  a: 0x87e2n,
  b: 0x74n,
  r: 0x12bn
}, {
  a: 0xafn,
  b: -0x9fn,
  r: -0x1n
}, {
  a: 0x2683n,
  b: 0x43n,
  r: 0x93n
}, {
  a: 0x94n,
  b: -0xbn,
  r: -0xdn
}, {
  a: 0xdcf8n,
  b: 0x2bn,
  r: 0x523n
}, {
  a: 0x8b2n,
  b: 0xdn,
  r: 0xabn
}, {
  a: -0x9ae1n,
  b: -0x6n,
  r: 0x19d0n
}, {
  a: 0xfa9n,
  b: -0xan,
  r: -0x190n
}, {
  a: -0x1f79n,
  b: 0xdan,
  r: -0x24n
}, {
  a: -0x367n,
  b: -0xbn,
  r: 0x4fn
}, {
  a: 0xce79n,
  b: 0xc1n,
  r: 0x111n
}, {
  a: -0xe9n,
  b: 0x4n,
  r: -0x3an
}, {
  a: -0x532n,
  b: -0xc4n,
  r: 0x6n
}, {
  a: -0xe3n,
  b: 0x9n,
  r: -0x19n
}, {
  a: -0xd697n,
  b: -0xbn,
  r: 0x1382n
}, {
  a: -0x3b7dn,
  b: -0x1n,
  r: 0x3b7dn
}, {
  a: -0x695n,
  b: 0xen,
  r: -0x78n
}, {
  a: -0x3245n,
  b: 0x8n,
  r: -0x648n
}, {
  a: 0xf9n,
  b: 0x5n,
  r: 0x31n
}, {
  a: 0xben,
  b: -0xb8n,
  r: -0x1n
}, {
  a: 0x1an,
  b: 0xan,
  r: 0x2n
}, {
  a: 0xc4n,
  b: 0x9n,
  r: 0x15n
}, {
  a: -0x40n,
  b: 0xbn,
  r: -0x5n
}, {
  a: 0x23n,
  b: 0xdn,
  r: 0x2n
}, {
  a: -0x1an,
  b: 0x3n,
  r: -0x8n
}, {
  a: 0xb0e2n,
  b: -0xden,
  r: -0xcbn
}, {
  a: 0xf5een,
  b: 0x72n,
  r: 0x228n
}, {
  a: 0x18dn,
  b: 0x34n,
  r: 0x7n
}, {
  a: 0x54n,
  b: -0x7an,
  r: 0n
}, {
  a: -0xe6bn,
  b: 0x70n,
  r: -0x20n
}, {
  a: 0x3bn,
  b: -0x8n,
  r: -0x7n
}, {
  a: 0xe95n,
  b: 0x6n,
  r: 0x26en
}, {
  a: -0x77n,
  b: -0xc6n,
  r: 0n
}, {
  a: 0x37a3n,
  b: -0x60n,
  r: -0x94n
}, {
  a: -0x9ca9n,
  b: -0x2cn,
  r: 0x38fn
}, {
  a: 0x9an,
  b: 0x10n,
  r: 0x9n
}, {
  a: -0x15adn,
  b: -0xen,
  r: 0x18cn
}, {
  a: -0xc4bn,
  b: -0x9n,
  r: 0x15dn
}, {
  a: -0x992n,
  b: -0x59n,
  r: 0x1bn
}, {
  a: -0x2c5n,
  b: -0x9n,
  r: 0x4en
}, {
  a: -0x4c2dn,
  b: -0x5n,
  r: 0xf3cn
}, {
  a: -0xe6n,
  b: 0xc0n,
  r: -0x1n
}, {
  a: 0xe93n,
  b: 0xfn,
  r: 0xf8n
}, {
  a: -0xebfn,
  b: -0x34n,
  r: 0x48n
}, {
  a: 0xddn,
  b: 0xfn,
  r: 0xen
}, {
  a: 0x56b9n,
  b: 0x9n,
  r: 0x9a2n
}, {
  a: 0xe506n,
  b: 0xen,
  r: 0x105bn
}, {
  a: 0xe3b5n,
  b: -0x1n,
  r: -0xe3b5n
}, {
  a: -0x3d7n,
  b: -0xbn,
  r: 0x59n
}, {
  a: -0x65n,
  b: 0x16n,
  r: -0x4n
}, {
  a: -0xb07fn,
  b: -0x96n,
  r: 0x12dn
}, {
  a: 0x4129n,
  b: 0x6n,
  r: 0xadcn
}, {
  a: -0x5a25n,
  b: 0x2n,
  r: -0x2d12n
}, {
  a: 0xae1n,
  b: -0x9n,
  r: -0x135n
}, {
  a: -0xc15n,
  b: -0xe6n,
  r: 0xdn
}, {
  a: 0xc2n,
  b: 0xb0n,
  r: 0x1n
}, {
  a: 0xc7a4n,
  b: -0x37n,
  r: -0x3a1n
}, {
  a: 0x632n,
  b: 0xcn,
  r: 0x84n
}, {
  a: -0x1cc4n,
  b: 0x69n,
  r: -0x46n
}, {
  a: 0xea8n,
  b: -0xfn,
  r: -0xfan
}, {
  a: 0x88a0n,
  b: 0x4n,
  r: 0x2228n
}, {
  a: -0x6an,
  b: 0xan,
  r: -0xan
}, {
  a: -0xd03n,
  b: -0x6n,
  r: 0x22bn
}, {
  a: 0x8815n,
  b: 0x4n,
  r: 0x2205n
}, {
  a: -0xcbn,
  b: 0x9n,
  r: -0x16n
}, {
  a: 0x98n,
  b: -0x9bn,
  r: 0n
}, {
  a: 0x8cn,
  b: 0x5fn,
  r: 0x1n
}, {
  a: -0x139n,
  b: 0xfcn,
  r: -0x1n
}, {
  a: 0x8cn,
  b: -0x6fn,
  r: -0x1n
}, {
  a: -0x9en,
  b: -0x3n,
  r: 0x34n
}, {
  a: -0x82n,
  b: -0x3n,
  r: 0x2bn
}, {
  a: 0x7c6n,
  b: 0xe6n,
  r: 0x8n
}, {
  a: -0x65n,
  b: 0xden,
  r: 0n
}, {
  a: 0x5an,
  b: -0xf2n,
  r: 0n
}, {
  a: 0xe716n,
  b: 0x9n,
  r: 0x19adn
}, {
  a: -0xf2n,
  b: 0x8cn,
  r: -0x1n
}, {
  a: 0x1a1bn,
  b: -0x3n,
  r: -0x8b3n
}, {
  a: -0xa864n,
  b: 0x1n,
  r: -0xa864n
}, {
  a: 0x9en,
  b: 0x8n,
  r: 0x13n
}, {
  a: 0xaen,
  b: -0xfn,
  r: -0xbn
}, {
  a: -0x6e3n,
  b: 0x34n,
  r: -0x21n
}, {
  a: 0xbcn,
  b: 0xc4n,
  r: 0n
}, {
  a: 0x97a2n,
  b: 0x7dn,
  r: 0x136n
}, {
  a: 0xecdn,
  b: -0xdfn,
  r: -0x10n
}, {
  a: -0x9an,
  b: 0x1fn,
  r: -0x4n
}, {
  a: -0x2dn,
  b: 0xf2n,
  r: 0n
}, {
  a: -0x354n,
  b: 0xd5n,
  r: -0x4n
}, {
  a: 0x9524n,
  b: -0x7en,
  r: -0x12fn
}, {
  a: 0xf9n,
  b: 0x8en,
  r: 0x1n
}, {
  a: 0x346n,
  b: 0xcan,
  r: 0x4n
}, {
  a: -0xad06n,
  b: 0x8en,
  r: -0x137n
}, {
  a: -0xe895n,
  b: -0xen,
  r: 0x109cn
}, {
  a: -0x2154n,
  b: 0xfn,
  r: -0x238n
}, {
  a: -0xb7fn,
  b: -0x42n,
  r: 0x2cn
}, {
  a: -0xf3fbn,
  b: -0x2n,
  r: 0x79fdn
}, {
  a: 0x57een,
  b: 0xen,
  r: 0x647n
}, {
  a: -0x263n,
  b: 0x6n,
  r: -0x65n
}, {
  a: -0x844an,
  b: 0x2n,
  r: -0x4225n
}, {
  a: -0xa329n,
  b: 0x6n,
  r: -0x1b31n
}, {
  a: -0x3cn,
  b: -0x34n,
  r: 0x1n
}, {
  a: -0xce4n,
  b: 0xdn,
  r: -0xfdn
}, {
  a: 0x4an,
  b: 0x7n,
  r: 0xan
}, {
  a: -0x51n,
  b: 0xan,
  r: -0x8n
}, {
  a: 0x6748n,
  b: -0xan,
  r: -0xa54n
}, {
  a: 0xc84n,
  b: 0x3n,
  r: 0x42cn
}, {
  a: -0xe14n,
  b: -0xfn,
  r: 0xf0n
}, {
  a: 0x768n,
  b: -0xbn,
  r: -0xacn
}, {
  a: 0x6c7n,
  b: 0xc8n,
  r: 0x8n
}, {
  a: 0x84an,
  b: -0xb2n,
  r: -0xbn
}, {
  a: 0x53n,
  b: -0xffn,
  r: 0n
}, {
  a: 0xb9n,
  b: -0xan,
  r: -0x12n
}, {
  a: 0x25n,
  b: 0x72n,
  r: 0n
}, {
  a: 0x90fn,
  b: 0xc1n,
  r: 0xcn
}, {
  a: -0x1fn,
  b: -0xfn,
  r: 0x2n
}, {
  a: -0xe65an,
  b: -0x3n,
  r: 0x4cc8n
}, {
  a: 0xa9f9n,
  b: -0xdan,
  r: -0xc7n
}, {
  a: -0x55en,
  b: -0x4n,
  r: 0x157n
}, {
  a: 0xf707n,
  b: -0xan,
  r: -0x18b3n
}, {
  a: -0x7cd0n,
  b: -0xdn,
  r: 0x999n
}, {
  a: -0x19n,
  b: -0x9en,
  r: 0n
}, {
  a: -0x9cn,
  b: 0xbn,
  r: -0xen
}, {
  a: 0x6en,
  b: 0x6n,
  r: 0x12n
}, {
  a: 0x3a07n,
  b: 0x43n,
  r: 0xddn
}, {
  a: 0x986n,
  b: 0xdfn,
  r: 0xan
}, {
  a: 0x3bn,
  b: -0xc0n,
  r: 0n
}, {
  a: -0xd6n,
  b: -0x29n,
  r: 0x5n
}, {
  a: -0x5dn,
  b: 0xe9n,
  r: 0n
}, {
  a: -0x7dn,
  b: 0xbn,
  r: -0xbn
}, {
  a: 0xdc9n,
  b: 0xen,
  r: 0xfcn
}, {
  a: 0x3c85n,
  b: 0xan,
  r: 0x60dn
}, {
  a: 0xda94n,
  b: 0x3n,
  r: 0x48dcn
}, {
  a: 0xf03en,
  b: -0x6n,
  r: -0x280an
}, {
  a: 0xeaean,
  b: 0xcbn,
  r: 0x128n
}, {
  a: 0x673n,
  b: 0x7n,
  r: 0xebn
}, {
  a: -0x58n,
  b: -0x28n,
  r: 0x2n
}, {
  a: -0x75en,
  b: -0x26n,
  r: 0x31n
}, {
  a: -0x6b92n,
  b: -0x7n,
  r: 0xf5en
}, {
  a: 0x55c5n,
  b: 0x9n,
  r: 0x987n
}, {
  a: 0x40bn,
  b: 0x8n,
  r: 0x81n
}, {
  a: 0x3dn,
  b: 0x4cn,
  r: 0n
}, {
  a: -0x31n,
  b: 0xen,
  r: -0x3n
}, {
  a: -0x94an,
  b: -0x1n,
  r: 0x94an
}, {
  a: -0xbe36n,
  b: 0xf9n,
  r: -0xc3n
}, {
  a: -0xfan,
  b: 0x2n,
  r: -0x7dn
}, {
  a: -0x8bn,
  b: 0xfn,
  r: -0x9n
}, {
  a: 0x7094n,
  b: -0xfn,
  r: -0x781n
}, {
  a: 0x5en,
  b: 0xen,
  r: 0x6n
}, {
  a: -0x4ff8n,
  b: -0x4n,
  r: 0x13fen
}, {
  a: -0x9264n,
  b: -0x8n,
  r: 0x124cn
}, {
  a: -0x3dacn,
  b: 0x2en,
  r: -0x157n
}, {
  a: 0x8f2n,
  b: -0x67n,
  r: -0x16n
}, {
  a: -0x8b69n,
  b: -0xcn,
  r: 0xb9en
}, {
  a: 0x45n,
  b: -0x7n,
  r: -0x9n
}, {
  a: 0xb37n,
  b: -0x6n,
  r: -0x1den
}, {
  a: -0x9c4fn,
  b: -0xbn,
  r: 0xe35n
}, {
  a: -0xd1n,
  b: 0xa4n,
  r: -0x1n
}, {
  a: -0xe9n,
  b: 0x97n,
  r: -0x1n
}, {
  a: 0xcfn,
  b: 0x9cn,
  r: 0x1n
}, {
  a: 0x7853n,
  b: -0xcn,
  r: -0xa06n
}, {
  a: 0xb5n,
  b: -0xf3n,
  r: 0n
}, {
  a: 0xa2dan,
  b: -0xfn,
  r: -0xadbn
}, {
  a: 0xden,
  b: -0xen,
  r: -0xfn
}, {
  a: 0xdaean,
  b: -0xfn,
  r: -0xe98n
}, {
  a: -0xe6e9n,
  b: -0x5fn,
  r: 0x26en
}, {
  a: 0x975en,
  b: -0x4an,
  r: -0x20bn
}, {
  a: 0x4aadn,
  b: 0xan,
  r: 0x777n
}, {
  a: -0x23cn,
  b: -0x4an,
  r: 0x7n
}, {
  a: -0x5en,
  b: -0x8dn,
  r: 0n
}, {
  a: 0xb9abn,
  b: 0x7n,
  r: 0x1a86n
}, {
  a: -0x6400n,
  b: -0x7n,
  r: 0xe49n
}, {
  a: -0x615n,
  b: 0xen,
  r: -0x6fn
}, {
  a: -0xe43n,
  b: 0x4n,
  r: -0x390n
}, {
  a: 0x3f4cn,
  b: 0x8an,
  r: 0x75n
}, {
  a: 0x91n,
  b: 0xan,
  r: 0xen
}, {
  a: 0x3b7n,
  b: -0x64n,
  r: -0x9n
}, {
  a: -0xd09n,
  b: -0x82n,
  r: 0x19n
}, {
  a: -0x89en,
  b: 0xen,
  r: -0x9dn
}, {
  a: -0xe6n,
  b: -0x1n,
  r: 0xe6n
}, {
  a: -0x6c8n,
  b: 0xean,
  r: -0x7n
}, {
  a: -0x6381n,
  b: -0x9n,
  r: 0xb0en
}, {
  a: 0x7fn,
  b: -0x58n,
  r: -0x1n
}, {
  a: 0x57dn,
  b: -0xbn,
  r: -0x7fn
}, {
  a: -0x4b4n,
  b: -0x6n,
  r: 0xc8n
}, {
  a: -0xaf4en,
  b: -0x16n,
  r: 0x7f7n
}, {
  a: -0x4efcn,
  b: -0xfn,
  r: 0x544n
}, {
  a: -0xcen,
  b: -0x36n,
  r: 0x3n
}, {
  a: 0x3901n,
  b: -0x6an,
  r: -0x89n
}, {
  a: 0xdb5n,
  b: 0x66n,
  r: 0x22n
}, {
  a: -0x7bf0n,
  b: 0x3n,
  r: -0x2950n
}, {
  a: 0xb279n,
  b: 0xen,
  r: 0xcbfn
}, {
  a: 0x68n,
  b: -0xd1n,
  r: 0n
}, {
  a: 0x962n,
  b: 0x7bn,
  r: 0x13n
}, {
  a: 0x18n,
  b: 0x7dn,
  r: 0n
}, {
  a: 0xc85n,
  b: -0xccn,
  r: -0xfn
}, {
  a: 0xa00n,
  b: -0x8n,
  r: -0x140n
}, {
  a: -0xf56n,
  b: -0x4dn,
  r: 0x32n
}, {
  a: 0xden,
  b: -0xfen,
  r: 0n
}, {
  a: 0x8ee7n,
  b: 0x3n,
  r: 0x2fa2n
}, {
  a: 0xa3n,
  b: 0x9n,
  r: 0x12n
}, {
  a: 0xfafn,
  b: 0x7n,
  r: 0x23dn
}, {
  a: 0x9adfn,
  b: 0x4n,
  r: 0x26b7n
}, {
  a: 0x924n,
  b: 0xddn,
  r: 0xan
}, {
  a: -0xcfan,
  b: 0x25n,
  r: -0x59n
}, {
  a: 0x596n,
  b: -0xfen,
  r: -0x5n
}, {
  a: -0x87n,
  b: -0xbn,
  r: 0xcn
}, {
  a: 0x5821n,
  b: -0xdn,
  r: -0x6c7n
}, {
  a: 0x26n,
  b: 0x74n,
  r: 0n
}, {
  a: -0xeb2n,
  b: 0x12n,
  r: -0xd1n
}, {
  a: 0x40n,
  b: -0xdn,
  r: -0x4n
}, {
  a: 0xc0n,
  b: -0xfbn,
  r: 0n
}, {
  a: 0x5736n,
  b: 0x3n,
  r: 0x1d12n
}, {
  a: -0x76n,
  b: 0xan,
  r: -0xbn
}, {
  a: -0xdedn,
  b: 0x5n,
  r: -0x2c9n
}, {
  a: -0xf2n,
  b: -0x9n,
  r: 0x1an
}, {
  a: 0x247n,
  b: 0xen,
  r: 0x29n
}, {
  a: -0xacn,
  b: -0xcn,
  r: 0xen
}, {
  a: -0xcan,
  b: 0x4dn,
  r: -0x2n
}, {
  a: -0x2a96n,
  b: 0xan,
  r: -0x442n
}, {
  a: 0xd575n,
  b: -0x3an,
  r: -0x3aen
}, {
  a: -0xb9b0n,
  b: -0xdn,
  r: 0xe48n
}, {
  a: 0x8cn,
  b: 0x5n,
  r: 0x1cn
}, {
  a: -0x15c9n,
  b: 0xen,
  r: -0x18en
}, {
  a: 0xdb8fn,
  b: -0xd3n,
  r: -0x10an
}, {
  a: 0xa3n,
  b: 0x55n,
  r: 0x1n
}, {
  a: 0x9e2n,
  b: 0x90n,
  r: 0x11n
}, {
  a: -0xf090n,
  b: 0x5dn,
  r: -0x296n
}, {
  a: -0x4906n,
  b: -0xbn,
  r: 0x6a3n
}, {
  a: -0x6f4n,
  b: 0xefn,
  r: -0x7n
}, {
  a: -0x9fn,
  b: -0x79n,
  r: 0x1n
}, {
  a: -0x9fn,
  b: -0x28n,
  r: 0x3n
}, {
  a: 0xd49n,
  b: 0x2dn,
  r: 0x4bn
}, {
  a: 0x7a6n,
  b: -0xe4n,
  r: -0x8n
}, {
  a: -0x1dbn,
  b: 0x3dn,
  r: -0x7n
}, {
  a: -0x672n,
  b: -0xadn,
  r: 0x9n
}, {
  a: -0x93a1n,
  b: 0x89n,
  r: -0x113n
}, {
  a: -0x40n,
  b: 0x4n,
  r: -0x10n
}, {
  a: -0x7bn,
  b: 0x25n,
  r: -0x3n
}, {
  a: -0xfd7cn,
  b: -0xc3n,
  r: 0x14cn
}, {
  a: -0x3can,
  b: -0xdn,
  r: 0x4an
}, {
  a: 0x606bn,
  b: 0xdn,
  r: 0x76an
}, {
  a: 0x5cn,
  b: -0xfbn,
  r: 0n
}, {
  a: -0x3dc5n,
  b: 0x8n,
  r: -0x7b8n
}, {
  a: 0x79b7n,
  b: 0xe3n,
  r: 0x89n
}, {
  a: 0xab4n,
  b: 0x8n,
  r: 0x156n
}, {
  a: -0x7fn,
  b: -0xf6n,
  r: 0n
}, {
  a: -0x4ffn,
  b: 0x2dn,
  r: -0x1cn
}, {
  a: -0xf69fn,
  b: -0x2n,
  r: 0x7b4fn
}, {
  a: 0xd20n,
  b: 0x10n,
  r: 0xd2n
}, {
  a: -0xd53n,
  b: 0x96n,
  r: -0x16n
}, {
  a: 0xe72cn,
  b: -0x4n,
  r: -0x39cbn
}, {
  a: 0x49n,
  b: 0x60n,
  r: 0n
}, {
  a: 0xcdn,
  b: -0xa7n,
  r: -0x1n
}, {
  a: 0x849n,
  b: 0xdn,
  r: 0xa3n
}, {
  a: -0x7fen,
  b: 0xfen,
  r: -0x8n
}, {
  a: 0x9ccen,
  b: -0x9en,
  r: -0xfen
}, {
  a: -0xc9n,
  b: -0x3n,
  r: 0x43n
}, {
  a: 0x54n,
  b: -0x9n,
  r: -0x9n
}, {
  a: -0x24ffn,
  b: 0x12n,
  r: -0x20en
}, {
  a: 0x1568n,
  b: 0x40n,
  r: 0x55n
}, {
  a: -0x9fa6n,
  b: -0xf2n,
  r: 0xa8n
}, {
  a: 0x106n,
  b: 0xdn,
  r: 0x14n
}, {
  a: -0xe895n,
  b: -0xcn,
  r: 0x1361n
}, {
  a: 0x78fn,
  b: -0x4an,
  r: -0x1an
}, {
  a: 0x415bn,
  b: 0x74n,
  r: 0x90n
}, {
  a: 0x9c2n,
  b: -0xb5n,
  r: -0xdn
}, {
  a: 0x168n,
  b: -0x3n,
  r: -0x78n
}, {
  a: 0x2fan,
  b: -0xa1n,
  r: -0x4n
}, {
  a: 0x6d91n,
  b: -0xd1n,
  r: -0x86n
}, {
  a: 0xcen,
  b: -0x1n,
  r: -0xcen
}, {
  a: 0x30bfn,
  b: 0x4n,
  r: 0xc2fn
}, {
  a: 0x82n,
  b: 0xen,
  r: 0x9n
}, {
  a: 0xa8n,
  b: -0x99n,
  r: -0x1n
}, {
  a: -0x26n,
  b: 0xan,
  r: -0x3n
}, {
  a: -0xe133n,
  b: -0x8n,
  r: 0x1c26n
}, {
  a: -0x926n,
  b: 0xen,
  r: -0xa7n
}, {
  a: -0xfc87n,
  b: -0xd2n,
  r: 0x133n
}, {
  a: -0x960en,
  b: -0x7cn,
  r: 0x135n
}, {
  a: 0x8640n,
  b: -0x6en,
  r: -0x138n
}, {
  a: -0x5c34n,
  b: 0x57n,
  r: -0x10fn
}, {
  a: -0x8a2n,
  b: 0xcen,
  r: -0xan
}, {
  a: 0xd1n,
  b: -0xan,
  r: -0x14n
}, {
  a: 0x2340n,
  b: -0x35n,
  r: -0xaan
}, {
  a: 0x4afn,
  b: -0x26n,
  r: -0x1fn
}, {
  a: 0xdc1cn,
  b: -0xeen,
  r: -0xecn
}, {
  a: -0xf7n,
  b: 0x8bn,
  r: -0x1n
}, {
  a: 0x8647n,
  b: 0x9cn,
  r: 0xdcn
}, {
  a: -0x47en,
  b: -0x4n,
  r: 0x11fn
}, {
  a: 0x3fn,
  b: 0x62n,
  r: 0n
}, {
  a: -0x40n,
  b: -0xb0n,
  r: 0n
}, {
  a: -0x96n,
  b: -0xfbn,
  r: 0n
}, {
  a: -0x597n,
  b: 0x1n,
  r: -0x597n
}, {
  a: -0x60n,
  b: -0xb6n,
  r: 0n
}, {
  a: -0x9en,
  b: 0x4n,
  r: -0x27n
}, {
  a: -0x634n,
  b: 0xb3n,
  r: -0x8n
}, {
  a: 0x2en,
  b: 0xban,
  r: 0n
}, {
  a: 0xb4an,
  b: -0x30n,
  r: -0x3cn
}, {
  a: 0x6912n,
  b: 0xa5n,
  r: 0xa3n
}, {
  a: 0xa48n,
  b: 0xdn,
  r: 0xcan
}, {
  a: 0x4f4cn,
  b: 0xedn,
  r: 0x55n
}, {
  a: 0xefbn,
  b: -0x7n,
  r: -0x223n
}, {
  a: 0xf938n,
  b: -0x71n,
  r: -0x234n
}, {
  a: -0x484n,
  b: 0x91n,
  r: -0x7n
}, {
  a: 0x1926n,
  b: 0x4n,
  r: 0x649n
}, {
  a: -0xd4n,
  b: 0xc9n,
  r: -0x1n
}, {
  a: 0xfen,
  b: -0xbn,
  r: -0x17n
}, {
  a: 0xaen,
  b: -0x7n,
  r: -0x18n
}, {
  a: 0x3a74n,
  b: -0xfn,
  r: -0x3e5n
}, {
  a: 0x5d0n,
  b: -0x13n,
  r: -0x4en
}, {
  a: 0x744dn,
  b: -0x6n,
  r: -0x1362n
}, {
  a: 0x44n,
  b: 0xf9n,
  r: 0n
}, {
  a: -0xafen,
  b: -0x3n,
  r: 0x3aan
}, {
  a: 0xbb3an,
  b: -0xbn,
  r: -0x1105n
}, {
  a: -0x73n,
  b: 0x6bn,
  r: -0x1n
}, {
  a: -0xb2dn,
  b: -0xbn,
  r: 0x104n
}, {
  a: 0xc263n,
  b: 0x1n,
  r: 0xc263n
}, {
  a: -0x7d7n,
  b: -0x5n,
  r: 0x191n
}, {
  a: 0x82c0n,
  b: 0x3n,
  r: 0x2b95n
}, {
  a: 0xe298n,
  b: 0xeen,
  r: 0xf3n
}, {
  a: -0xec3n,
  b: 0x60n,
  r: -0x27n
}, {
  a: 0xfan,
  b: 0xb1n,
  r: 0x1n
}, {
  a: 0x2809n,
  b: 0xc2n,
  r: 0x34n
}, {
  a: -0x8ab1n,
  b: -0x5cn,
  r: 0x181n
}, {
  a: 0x5742n,
  b: -0x6n,
  r: -0xe8bn
}, {
  a: 0xd7n,
  b: 0x7dn,
  r: 0x1n
}, {
  a: 0xben,
  b: -0x4n,
  r: -0x2fn
}, {
  a: -0xde94n,
  b: -0x2n,
  r: 0x6f4an
}, {
  a: -0x832n,
  b: -0xan,
  r: 0xd1n
}, {
  a: -0xc4c4n,
  b: 0x5n,
  r: -0x275an
}, {
  a: 0xcbc7n,
  b: -0x1an,
  r: -0x7d6n
}, {
  a: 0xb3n,
  b: 0xa5n,
  r: 0x1n
}, {
  a: 0xb4n,
  b: -0xen,
  r: -0xcn
}, {
  a: 0xbd72n,
  b: -0x43n,
  r: -0x2d3n
}, {
  a: -0x53a3n,
  b: 0xe3n,
  r: -0x5en
}, {
  a: 0x58n,
  b: 0x52n,
  r: 0x1n
}, {
  a: -0x8ecn,
  b: -0x1fn,
  r: 0x49n
}, {
  a: 0x220n,
  b: -0x5n,
  r: -0x6cn
}, {
  a: 0x4ban,
  b: 0x7n,
  r: 0xacn
}, {
  a: 0xdd3n,
  b: -0xd7n,
  r: -0x10n
}, {
  a: 0x210n,
  b: -0xan,
  r: -0x34n
}, {
  a: -0x511en,
  b: -0x75n,
  r: 0xb1n
}, {
  a: 0xaa02n,
  b: 0x2dn,
  r: 0x3c7n
}, {
  a: -0x91n,
  b: -0x1n,
  r: 0x91n
}, {
  a: -0xd1an,
  b: -0xfn,
  r: 0xdfn
}, {
  a: 0x6en,
  b: 0xcfn,
  r: 0n
}, {
  a: 0x472n,
  b: -0x4n,
  r: -0x11cn
}, {
  a: -0xb327n,
  b: 0x90n,
  r: -0x13en
}, {
  a: 0xf283n,
  b: -0x4fn,
  r: -0x311n
}, {
  a: -0x84e7n,
  b: -0xdn,
  r: 0xa39n
}, {
  a: -0x2e4n,
  b: 0x2n,
  r: -0x172n
}, {
  a: 0x42n,
  b: 0x2n,
  r: 0x21n
}, {
  a: -0x522dn,
  b: -0x2n,
  r: 0x2916n
}, {
  a: -0x70f9n,
  b: -0xbn,
  r: 0xa45n
}, {
  a: 0xf2n,
  b: 0x6bn,
  r: 0x2n
}, {
  a: -0x667n,
  b: 0xb3n,
  r: -0x9n
}, {
  a: -0xb138n,
  b: -0xen,
  r: 0xca8n
}, {
  a: -0x94an,
  b: 0xbn,
  r: -0xd8n
}, {
  a: 0x2206n,
  b: 0xe0n,
  r: 0x26n
}, {
  a: -0xdb8n,
  b: 0x5n,
  r: -0x2ben
}, {
  a: -0xe4cn,
  b: 0x96n,
  r: -0x18n
}, {
  a: 0x68n,
  b: 0x15n,
  r: 0x4n
}, {
  a: -0xd7an,
  b: -0xbn,
  r: 0x139n
}, {
  a: -0x52f2n,
  b: 0xan,
  r: -0x84bn
}, {
  a: 0xa324n,
  b: -0x6n,
  r: -0x1b30n
}, {
  a: 0x996cn,
  b: 0xen,
  r: 0xaf5n
}, {
  a: 0xc1n,
  b: -0xcfn,
  r: 0n
}, {
  a: 0x14an,
  b: 0x68n,
  r: 0x3n
}, {
  a: 0xa90en,
  b: 0x1fn,
  r: 0x574n
}, {
  a: -0x8adn,
  b: 0xcn,
  r: -0xb9n
}, {
  a: 0x206n,
  b: -0xc0n,
  r: -0x2n
}, {
  a: 0x173n,
  b: -0xan,
  r: -0x25n
}, {
  a: -0x35b1n,
  b: -0x76n,
  r: 0x74n
}, {
  a: -0x614n,
  b: -0x77n,
  r: 0xdn
}, {
  a: 0xaf9n,
  b: -0xbcn,
  r: -0xen
}, {
  a: 0xab0n,
  b: -0xd0n,
  r: -0xdn
}, {
  a: 0x1en,
  b: 0xe1n,
  r: 0n
}, {
  a: -0xa539n,
  b: -0xfn,
  r: 0xb03n
}, {
  a: 0x2f70n,
  b: 0x9bn,
  r: 0x4en
}, {
  a: -0x3cn,
  b: -0x2n,
  r: 0x1en
}, {
  a: 0xaab2n,
  b: -0xen,
  r: -0xc31n
}, {
  a: -0xffn,
  b: 0x7n,
  r: -0x24n
}, {
  a: -0x860n,
  b: 0x8n,
  r: -0x10cn
}, {
  a: -0xe1n,
  b: -0xen,
  r: 0x10n
}, {
  a: -0x9dcn,
  b: 0x83n,
  r: -0x13n
}, {
  a: 0x44n,
  b: -0x6fn,
  r: 0n
}, {
  a: 0x5430n,
  b: -0x2n,
  r: -0x2a18n
}, {
  a: 0x4f5an,
  b: -0xbn,
  r: -0x736n
}, {
  a: 0xc68en,
  b: 0x60n,
  r: 0x211n
}, {
  a: 0xb5cn,
  b: 0xa9n,
  r: 0x11n
}, {
  a: -0xd191n,
  b: 0xc8n,
  r: -0x10cn
}, {
  a: 0xeedn,
  b: 0x38n,
  r: 0x44n
}, {
  a: 0xe9n,
  b: -0x3en,
  r: -0x3n
}, {
  a: 0x4an,
  b: -0xcn,
  r: -0x6n
}, {
  a: -0xf513n,
  b: -0xbfn,
  r: 0x148n
}, {
  a: -0x576n,
  b: -0xb8n,
  r: 0x7n
}, {
  a: -0x1bfdn,
  b: 0x5n,
  r: -0x599n
}, {
  a: 0xc3n,
  b: -0xfn,
  r: -0xdn
}, {
  a: 0xd08n,
  b: 0x7an,
  r: 0x1bn
}, {
  a: -0xb0n,
  b: -0x6n,
  r: 0x1dn
}, {
  a: 0xe7n,
  b: -0x4dn,
  r: -0x3n
}, {
  a: -0x6b70n,
  b: 0x65n,
  r: -0x110n
}, {
  a: -0x2e0n,
  b: 0xcn,
  r: -0x3dn
}, {
  a: -0x5ddn,
  b: -0x7n,
  r: 0xd6n
}, {
  a: 0xc6n,
  b: -0x4n,
  r: -0x31n
}, {
  a: -0x3bbn,
  b: 0xcdn,
  r: -0x4n
}, {
  a: 0x4b3n,
  b: 0x3n,
  r: 0x191n
}, {
  a: 0xb3een,
  b: 0x9an,
  r: 0x12bn
}, {
  a: 0x302n,
  b: -0xc1n,
  r: -0x3n
}, {
  a: -0x5dfn,
  b: -0xe1n,
  r: 0x6n
}, {
  a: 0x18n,
  b: -0x98n,
  r: 0n
}, {
  a: 0x74n,
  b: -0x8n,
  r: -0xen
}, {
  a: -0xd98n,
  b: 0x65n,
  r: -0x22n
}, {
  a: -0x3819n,
  b: 0xbdn,
  r: -0x4bn
}, {
  a: -0xb6n,
  b: 0xan,
  r: -0x12n
}, {
  a: -0x60an,
  b: 0x8n,
  r: -0xc1n
}, {
  a: 0x9831n,
  b: -0x7n,
  r: -0x15bdn
}, {
  a: -0x27aan,
  b: -0xccn,
  r: 0x31n
}, {
  a: -0x5cn,
  b: 0xen,
  r: -0x6n
}, {
  a: 0xee4n,
  b: 0x7n,
  r: 0x220n
}, {
  a: 0xf7n,
  b: -0xffn,
  r: 0n
}, {
  a: 0x88n,
  b: -0xf0n,
  r: 0n
}, {
  a: -0x77f7n,
  b: 0x2cn,
  r: -0x2b9n
}, {
  a: -0x553fn,
  b: 0x54n,
  r: -0x103n
}, {
  a: -0xbdaen,
  b: 0x3n,
  r: -0x3f3an
}, {
  a: -0x911fn,
  b: 0xfn,
  r: -0x9acn
}, {
  a: -0x978fn,
  b: 0xen,
  r: -0xad3n
}, {
  a: -0x4702n,
  b: 0x36n,
  r: -0x150n
}, {
  a: -0x9bn,
  b: -0xa7n,
  r: 0n
}, {
  a: -0x73bbn,
  b: -0xf9n,
  r: 0x76n
}, {
  a: -0xe64n,
  b: 0xbn,
  r: -0x14en
}, {
  a: 0xd9n,
  b: -0x8n,
  r: -0x1bn
}, {
  a: 0xc3n,
  b: -0x6n,
  r: -0x20n
}, {
  a: -0x7260n,
  b: -0x7n,
  r: 0x1056n
}, {
  a: 0xc357n,
  b: 0xe6n,
  r: 0xd9n
}, {
  a: 0x4dn,
  b: -0x2bn,
  r: -0x1n
}, {
  a: 0x9b14n,
  b: -0x3n,
  r: -0x33b1n
}, {
  a: 0x53n,
  b: -0xcan,
  r: 0n
}, {
  a: -0x9eb4n,
  b: 0xa0n,
  r: -0xfdn
}, {
  a: -0x7714n,
  b: -0x3n,
  r: 0x27b1n
}, {
  a: -0x13an,
  b: 0x81n,
  r: -0x2n
}, {
  a: 0x3215n,
  b: -0x3n,
  r: -0x10b1n
}, {
  a: 0x18n,
  b: -0xd7n,
  r: 0n
}, {
  a: 0xc76n,
  b: -0xa2n,
  r: -0x13n
}, {
  a: -0xacacn,
  b: -0xan,
  r: 0x1144n
}, {
  a: 0x37n,
  b: -0xedn,
  r: 0n
}, {
  a: -0xe0n,
  b: 0xc3n,
  r: -0x1n
}, {
  a: 0x52a8n,
  b: 0x5n,
  r: 0x1088n
}, {
  a: 0xa5n,
  b: 0x20n,
  r: 0x5n
}, {
  a: 0x80c3n,
  b: 0x1n,
  r: 0x80c3n
}, {
  a: -0xc4n,
  b: -0xcn,
  r: 0x10n
}, {
  a: 0x2c9n,
  b: 0x3n,
  r: 0xedn
}, {
  a: 0x9408n,
  b: 0xfn,
  r: 0x9den
}, {
  a: -0x14an,
  b: 0xe2n,
  r: -0x1n
}, {
  a: 0x9an,
  b: 0x69n,
  r: 0x1n
}, {
  a: -0xe4n,
  b: 0xcn,
  r: -0x13n
}, {
  a: -0xd2n,
  b: 0x7n,
  r: -0x1en
}, {
  a: 0x1dn,
  b: 0xan,
  r: 0x2n
}, {
  a: 0x74n,
  b: 0x7n,
  r: 0x10n
}, {
  a: 0x6076n,
  b: -0xen,
  r: -0x6e3n
}, {
  a: -0x9fn,
  b: 0xen,
  r: -0xbn
}, {
  a: 0x8df5n,
  b: 0x3n,
  r: 0x2f51n
}, {
  a: 0x2bafn,
  b: -0xe1n,
  r: -0x31n
}, {
  a: -0x31fbn,
  b: -0xcan,
  r: 0x3fn
}, {
  a: 0xddn,
  b: 0x22n,
  r: 0x6n
}, {
  a: -0xf80en,
  b: -0x13n,
  r: 0xd0en
}, {
  a: 0x80en,
  b: -0x73n,
  r: -0x11n
}, {
  a: -0x826n,
  b: 0xbfn,
  r: -0xan
}, {
  a: 0x37a0n,
  b: 0x8an,
  r: 0x67n
}, {
  a: 0x71n,
  b: -0xa7n,
  r: 0n
}, {
  a: -0x546n,
  b: -0x1an,
  r: 0x33n
}, {
  a: -0x7efen,
  b: 0xbn,
  r: -0xb8bn
}, {
  a: 0xcen,
  b: -0xadn,
  r: -0x1n
}, {
  a: -0xacn,
  b: 0x7n,
  r: -0x18n
}, {
  a: 0xacn,
  b: 0xcn,
  r: 0xen
}, {
  a: 0x1311n,
  b: -0x7n,
  r: -0x2b9n
}, {
  a: 0xd1e4n,
  b: -0x9n,
  r: -0x1752n
}, {
  a: -0xfb9n,
  b: -0xan,
  r: 0x192n
}, {
  a: 0x9ba4n,
  b: 0x7dn,
  r: 0x13en
}, {
  a: 0x77dn,
  b: -0x29n,
  r: -0x2en
}, {
  a: 0x9bn,
  b: 0xcn,
  r: 0xcn
}];

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