// 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: 0xa88n,
  b: 0x1bn,
  r: 0x17n
}, {
  a: -0xf1dn,
  b: 0x21n,
  r: -0x8n
}, {
  a: -0x1cc3n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x56n,
  b: 0x62n,
  r: 0x56n
}, {
  a: -0x7e8dn,
  b: 0x56n,
  r: -0x3dn
}, {
  a: 0xeedan,
  b: 0x39n,
  r: 0x2an
}, {
  a: -0x5afdn,
  b: -0xf4n,
  r: -0x71n
}, {
  a: -0x42cn,
  b: -0x20n,
  r: -0xcn
}, {
  a: -0x1d2n,
  b: 0x3n,
  r: -0x1n
}, {
  a: -0x55bn,
  b: -0xfn,
  r: -0x6n
}, {
  a: -0x8dn,
  b: -0x8n,
  r: -0x5n
}, {
  a: -0xaan,
  b: -0xbcn,
  r: -0xaan
}, {
  a: -0x87n,
  b: -0x2n,
  r: -0x1n
}, {
  a: 0x868n,
  b: 0x1n,
  r: 0n
}, {
  a: 0x3dbdn,
  b: -0x13n,
  r: 0x10n
}, {
  a: 0xfan,
  b: 0x41n,
  r: 0x37n
}, {
  a: 0xfdn,
  b: 0x56n,
  r: 0x51n
}, {
  a: 0xb7n,
  b: 0x6n,
  r: 0x3n
}, {
  a: 0xda5n,
  b: -0x7n,
  r: 0n
}, {
  a: 0x7ecn,
  b: -0xcen,
  r: 0xaen
}, {
  a: -0x4cn,
  b: -0x7n,
  r: -0x6n
}, {
  a: -0x1e5n,
  b: 0xen,
  r: -0x9n
}, {
  a: -0x967cn,
  b: -0xcn,
  r: -0x4n
}, {
  a: 0x2992n,
  b: -0x3n,
  r: 0x1n
}, {
  a: -0x99n,
  b: -0x3n,
  r: 0n
}, {
  a: -0x6bn,
  b: 0x49n,
  r: -0x22n
}, {
  a: 0xd12en,
  b: -0x64n,
  r: 0x32n
}, {
  a: -0xd50n,
  b: 0xcbn,
  r: -0xa0n
}, {
  a: -0x5en,
  b: 0xdn,
  r: -0x3n
}, {
  a: 0xa1n,
  b: 0xecn,
  r: 0xa1n
}, {
  a: 0xba0dn,
  b: -0x6n,
  r: 0x1n
}, {
  a: -0x6845n,
  b: 0x25n,
  r: -0x10n
}, {
  a: 0xdf9n,
  b: 0x83n,
  r: 0x28n
}, {
  a: -0xb354n,
  b: -0x70n,
  r: -0x64n
}, {
  a: 0xd418n,
  b: -0xbn,
  r: 0n
}, {
  a: -0x50en,
  b: -0x7n,
  r: -0x6n
}, {
  a: -0x72n,
  b: 0x48n,
  r: -0x2an
}, {
  a: 0x9ef6n,
  b: 0xbn,
  r: 0x5n
}, {
  a: -0xbfn,
  b: 0xan,
  r: -0x1n
}, {
  a: -0x1811n,
  b: -0x95n,
  r: -0x34n
}, {
  a: 0x725fn,
  b: -0xan,
  r: 0x9n
}, {
  a: 0x221n,
  b: 0xccn,
  r: 0x89n
}, {
  a: 0x351fn,
  b: 0x38n,
  r: 0x2fn
}, {
  a: -0xb73n,
  b: -0x1cn,
  r: -0x13n
}, {
  a: 0x16n,
  b: 0x9n,
  r: 0x4n
}, {
  a: -0x51n,
  b: 0xen,
  r: -0xbn
}, {
  a: 0x1an,
  b: -0xfn,
  r: 0xbn
}, {
  a: -0xd7dn,
  b: -0xan,
  r: -0x3n
}, {
  a: -0xacan,
  b: 0x3n,
  r: -0x2n
}, {
  a: 0xf2dn,
  b: 0x5n,
  r: 0n
}, {
  a: 0xc1n,
  b: 0x5fn,
  r: 0x3n
}, {
  a: 0x891n,
  b: 0xen,
  r: 0x9n
}, {
  a: -0x6fcn,
  b: 0xf6n,
  r: -0x42n
}, {
  a: -0xden,
  b: -0x2n,
  r: 0n
}, {
  a: 0x881n,
  b: 0x2dn,
  r: 0x11n
}, {
  a: 0x8f4n,
  b: 0x22n,
  r: 0xen
}, {
  a: -0xf0n,
  b: -0x17n,
  r: -0xan
}, {
  a: 0x69a3n,
  b: 0x9en,
  r: 0x19n
}, {
  a: -0xabn,
  b: 0x5n,
  r: -0x1n
}, {
  a: -0x9d9n,
  b: 0x59n,
  r: -0x1dn
}, {
  a: -0x10cn,
  b: -0xan,
  r: -0x8n
}, {
  a: -0xabn,
  b: 0x6n,
  r: -0x3n
}, {
  a: 0x51ccn,
  b: -0xfn,
  r: 0n
}, {
  a: 0xef4n,
  b: 0xe2n,
  r: 0xd4n
}, {
  a: 0x7443n,
  b: -0x4en,
  r: 0x2dn
}, {
  a: -0x5e12n,
  b: -0x49n,
  r: -0x41n
}, {
  a: 0xd721n,
  b: 0xbn,
  r: 0x7n
}, {
  a: 0xe7n,
  b: -0x5n,
  r: 0x1n
}, {
  a: -0x75n,
  b: -0xan,
  r: -0x7n
}, {
  a: -0x586bn,
  b: 0xbn,
  r: -0x8n
}, {
  a: 0x371n,
  b: -0x2n,
  r: 0x1n
}, {
  a: -0xa7cn,
  b: 0x39n,
  r: -0x5n
}, {
  a: -0x37n,
  b: -0xdn,
  r: -0x3n
}, {
  a: -0x578fn,
  b: -0xen,
  r: -0x1n
}, {
  a: -0xban,
  b: 0x1en,
  r: -0x6n
}, {
  a: 0xd7n,
  b: 0xdn,
  r: 0x7n
}, {
  a: 0xe664n,
  b: -0x23n,
  r: 0x5n
}, {
  a: 0xf944n,
  b: 0x8n,
  r: 0x4n
}, {
  a: -0x423n,
  b: -0xean,
  r: -0x7bn
}, {
  a: 0xaan,
  b: -0x7dn,
  r: 0x2dn
}, {
  a: -0x9c6n,
  b: 0x9n,
  r: 0n
}, {
  a: 0x6bn,
  b: -0x7n,
  r: 0x2n
}, {
  a: 0x7c5n,
  b: 0xc6n,
  r: 0x9n
}, {
  a: -0xe28en,
  b: -0x9an,
  r: -0x5en
}, {
  a: -0x61n,
  b: -0xfn,
  r: -0x7n
}, {
  a: 0xc3dn,
  b: -0xfn,
  r: 0xdn
}, {
  a: 0x8fn,
  b: -0xbbn,
  r: 0x8fn
}, {
  a: 0xb80n,
  b: -0x3n,
  r: 0x1n
}, {
  a: -0x714n,
  b: 0xan,
  r: -0x2n
}, {
  a: 0xb5dn,
  b: 0xd8n,
  r: 0x65n
}, {
  a: -0x9f4n,
  b: -0xa4n,
  r: -0x58n
}, {
  a: 0x31n,
  b: -0xf0n,
  r: 0x31n
}, {
  a: 0x18n,
  b: 0x6n,
  r: 0n
}, {
  a: 0x2158n,
  b: -0xbdn,
  r: 0x1fn
}, {
  a: -0xf1dn,
  b: -0x6n,
  r: -0x5n
}, {
  a: -0x1en,
  b: -0xdn,
  r: -0x4n
}, {
  a: 0xa3en,
  b: 0x3n,
  r: 0n
}, {
  a: 0x61n,
  b: 0xc1n,
  r: 0x61n
}, {
  a: -0x51n,
  b: 0x8en,
  r: -0x51n
}, {
  a: 0x4eecn,
  b: -0x9n,
  r: 0x8n
}, {
  a: 0x4051n,
  b: -0xan,
  r: 0x5n
}, {
  a: 0xcf15n,
  b: 0x80n,
  r: 0x15n
}, {
  a: 0xdd2n,
  b: -0x96n,
  r: 0x58n
}, {
  a: 0xa91n,
  b: -0xfn,
  r: 0x5n
}, {
  a: 0x12n,
  b: -0x5n,
  r: 0x3n
}, {
  a: 0x48n,
  b: 0xcn,
  r: 0n
}, {
  a: 0x6dden,
  b: 0xdn,
  r: 0x7n
}, {
  a: 0xa3n,
  b: 0xcan,
  r: 0xa3n
}, {
  a: 0x36fn,
  b: -0x8fn,
  r: 0x15n
}, {
  a: 0x7fn,
  b: -0x6n,
  r: 0x1n
}, {
  a: -0x301n,
  b: 0x82n,
  r: -0x77n
}, {
  a: -0x106n,
  b: 0x5n,
  r: -0x2n
}, {
  a: -0x29n,
  b: 0xean,
  r: -0x29n
}, {
  a: -0x6f6n,
  b: 0xc1n,
  r: -0x2dn
}, {
  a: -0xc6dn,
  b: 0x9n,
  r: -0x4n
}, {
  a: 0xefbn,
  b: 0x17n,
  r: 0x11n
}, {
  a: -0xa7f9n,
  b: -0x4n,
  r: -0x1n
}, {
  a: -0xd19en,
  b: 0x8n,
  r: -0x6n
}, {
  a: 0x8d3n,
  b: -0x8bn,
  r: 0x23n
}, {
  a: 0x434n,
  b: -0xbn,
  r: 0x9n
}, {
  a: -0x48en,
  b: -0xb9n,
  r: -0x38n
}, {
  a: -0x9f2n,
  b: 0x9cn,
  r: -0x32n
}, {
  a: -0xc3e3n,
  b: 0x79n,
  r: -0x35n
}, {
  a: -0x869n,
  b: -0x78n,
  r: -0x71n
}, {
  a: -0x73n,
  b: -0x4en,
  r: -0x25n
}, {
  a: -0x17n,
  b: -0x58n,
  r: -0x17n
}, {
  a: 0xd3n,
  b: -0x7n,
  r: 0x1n
}, {
  a: -0x42fn,
  b: -0x8en,
  r: -0x4dn
}, {
  a: -0x8an,
  b: -0xcn,
  r: -0x6n
}, {
  a: 0xeb6n,
  b: -0xf5n,
  r: 0x5bn
}, {
  a: 0x6fen,
  b: -0xen,
  r: 0xcn
}, {
  a: 0xbf7n,
  b: -0xbn,
  r: 0x5n
}, {
  a: -0x1dfn,
  b: -0xen,
  r: -0x3n
}, {
  a: -0xb5b4n,
  b: -0xdn,
  r: -0x2n
}, {
  a: -0xd5n,
  b: 0xbn,
  r: -0x4n
}, {
  a: 0x420n,
  b: -0x11n,
  r: 0x2n
}, {
  a: -0x4bn,
  b: -0xdn,
  r: -0xan
}, {
  a: -0x449n,
  b: -0x50n,
  r: -0x39n
}, {
  a: -0x28fn,
  b: -0x14n,
  r: -0xfn
}, {
  a: 0xecn,
  b: -0x9n,
  r: 0x2n
}, {
  a: 0xf99n,
  b: 0x7n,
  r: 0x3n
}, {
  a: 0xccefn,
  b: 0x5n,
  r: 0x3n
}, {
  a: 0xb1n,
  b: 0x1n,
  r: 0n
}, {
  a: 0x66ecn,
  b: 0x5en,
  r: 0x1cn
}, {
  a: 0xe1a7n,
  b: -0x7bn,
  r: 0x50n
}, {
  a: 0xccd6n,
  b: 0x23n,
  r: 0x8n
}, {
  a: 0x42ben,
  b: -0xcan,
  r: 0x76n
}, {
  a: 0xf229n,
  b: -0x51n,
  r: 0x1cn
}, {
  a: 0xdd4n,
  b: 0xfen,
  r: 0xeen
}, {
  a: 0x52n,
  b: -0x3n,
  r: 0x1n
}, {
  a: -0x6en,
  b: -0xcn,
  r: -0x2n
}, {
  a: -0x9c03n,
  b: -0x1n,
  r: 0n
}, {
  a: -0xc9bn,
  b: 0x2n,
  r: -0x1n
}, {
  a: -0xfc5bn,
  b: 0x83n,
  r: -0x14n
}, {
  a: -0xdcen,
  b: 0x4n,
  r: -0x2n
}, {
  a: 0x3b2n,
  b: -0x4n,
  r: 0x2n
}, {
  a: 0x9bn,
  b: 0xf1n,
  r: 0x9bn
}, {
  a: 0x645n,
  b: -0x4n,
  r: 0x1n
}, {
  a: 0x4f8n,
  b: -0x3cn,
  r: 0xcn
}, {
  a: 0x8a4dn,
  b: -0xbn,
  r: 0x7n
}, {
  a: -0x7091n,
  b: 0xd1n,
  r: -0xb8n
}, {
  a: 0x9bn,
  b: -0xan,
  r: 0x5n
}, {
  a: -0xa57n,
  b: 0xen,
  r: -0x1n
}, {
  a: 0x7can,
  b: 0x24n,
  r: 0xen
}, {
  a: 0x98en,
  b: 0x77n,
  r: 0x42n
}, {
  a: -0xd03n,
  b: -0x5n,
  r: -0x1n
}, {
  a: -0x6abn,
  b: 0x9en,
  r: -0x7fn
}, {
  a: -0x3a5n,
  b: -0x13n,
  r: -0x2n
}, {
  a: -0x6cn,
  b: -0x4n,
  r: 0n
}, {
  a: 0xe8fn,
  b: -0x77n,
  r: 0x26n
}, {
  a: 0xd8n,
  b: 0x9bn,
  r: 0x3dn
}, {
  a: -0x1cbn,
  b: 0x5n,
  r: -0x4n
}, {
  a: 0xfe7n,
  b: -0x96n,
  r: 0x15n
}, {
  a: 0x7844n,
  b: -0x1n,
  r: 0n
}, {
  a: -0xb8b6n,
  b: -0x9n,
  r: 0n
}, {
  a: 0x678n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x875n,
  b: 0xdn,
  r: 0x7n
}, {
  a: -0xf35n,
  b: -0x8n,
  r: -0x5n
}, {
  a: 0xf6n,
  b: 0x8n,
  r: 0x6n
}, {
  a: 0x32n,
  b: -0x8n,
  r: 0x2n
}, {
  a: -0xac5n,
  b: 0x67n,
  r: -0x4fn
}, {
  a: -0xfan,
  b: 0x4n,
  r: -0x2n
}, {
  a: -0x53f8n,
  b: 0xdn,
  r: -0x7n
}, {
  a: 0xden,
  b: 0x9n,
  r: 0x6n
}, {
  a: 0x2a9en,
  b: -0x2n,
  r: 0n
}, {
  a: -0xc5n,
  b: 0x8cn,
  r: -0x39n
}, {
  a: 0xb2cn,
  b: -0x7n,
  r: 0x4n
}, {
  a: 0x187n,
  b: -0x1n,
  r: 0n
}, {
  a: -0xe62n,
  b: -0xan,
  r: -0x2n
}, {
  a: 0xf6n,
  b: -0xen,
  r: 0x8n
}, {
  a: -0xded8n,
  b: -0xb3n,
  r: -0x7en
}, {
  a: -0xc02n,
  b: 0x1n,
  r: 0n
}, {
  a: -0x15f0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x42n,
  b: 0x58n,
  r: -0x42n
}, {
  a: 0xfed6n,
  b: -0xcn,
  r: 0x6n
}, {
  a: 0x667n,
  b: 0xcn,
  r: 0x7n
}, {
  a: 0x49dn,
  b: -0x33n,
  r: 0x8n
}, {
  a: 0x275n,
  b: -0xdn,
  r: 0x5n
}, {
  a: 0x7918n,
  b: 0xe7n,
  r: 0x2en
}, {
  a: -0xa459n,
  b: 0x2fn,
  r: -0x8n
}, {
  a: -0xde8en,
  b: -0xc0n,
  r: -0x8en
}, {
  a: -0xca9fn,
  b: -0x8n,
  r: -0x7n
}, {
  a: -0x8c0n,
  b: 0xe7n,
  r: -0xa1n
}, {
  a: 0x16n,
  b: -0x70n,
  r: 0x16n
}, {
  a: -0x88n,
  b: -0xan,
  r: -0x6n
}, {
  a: -0x20n,
  b: -0x1n,
  r: 0n
}, {
  a: -0x38f0n,
  b: 0xfn,
  r: -0xbn
}, {
  a: -0xf5e1n,
  b: 0x7n,
  r: -0x1n
}, {
  a: -0x636n,
  b: 0x36n,
  r: -0x18n
}, {
  a: -0xa675n,
  b: 0xan,
  r: -0x3n
}, {
  a: 0x1be2n,
  b: 0x71n,
  r: 0x13n
}, {
  a: -0x980n,
  b: -0xf2n,
  r: -0xcn
}, {
  a: -0x90n,
  b: -0xd1n,
  r: -0x90n
}, {
  a: 0x60n,
  b: 0x2fn,
  r: 0x2n
}, {
  a: -0x576n,
  b: 0x2dn,
  r: -0x3n
}, {
  a: -0xf2n,
  b: 0x8n,
  r: -0x2n
}, {
  a: -0xe5an,
  b: 0x5n,
  r: -0x4n
}, {
  a: 0xfcn,
  b: 0x8cn,
  r: 0x70n
}, {
  a: -0x6bn,
  b: -0xden,
  r: -0x6bn
}, {
  a: 0xcc6en,
  b: 0xfn,
  r: 0xen
}, {
  a: 0x6e90n,
  b: 0x29n,
  r: 0xen
}, {
  a: 0x60n,
  b: 0xbn,
  r: 0x8n
}, {
  a: -0xa508n,
  b: 0x48n,
  r: -0x38n
}, {
  a: 0x9e5n,
  b: -0xdn,
  r: 0xbn
}, {
  a: -0x18n,
  b: 0x5n,
  r: -0x4n
}, {
  a: -0xa2n,
  b: -0x4n,
  r: -0x2n
}, {
  a: 0xc43n,
  b: -0xbn,
  r: 0x4n
}, {
  a: 0x29n,
  b: -0xfn,
  r: 0xbn
}, {
  a: -0xd6a5n,
  b: 0x8n,
  r: -0x5n
}, {
  a: 0x22d2n,
  b: 0xdn,
  r: 0x9n
}, {
  a: 0x73en,
  b: 0x28n,
  r: 0xen
}, {
  a: -0x9fn,
  b: 0xabn,
  r: -0x9fn
}, {
  a: 0xa0n,
  b: -0x75n,
  r: 0x2bn
}, {
  a: -0x233n,
  b: -0x94n,
  r: -0x77n
}, {
  a: 0xa6n,
  b: 0x42n,
  r: 0x22n
}, {
  a: -0x340n,
  b: -0x2bn,
  r: -0xfn
}, {
  a: 0x70n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x642fn,
  b: 0x67n,
  r: 0n
}, {
  a: -0xe7n,
  b: -0xaan,
  r: -0x3dn
}, {
  a: -0xf9an,
  b: -0xcn,
  r: -0xan
}, {
  a: 0x8a0bn,
  b: -0x4n,
  r: 0x3n
}, {
  a: 0x881n,
  b: -0xc0n,
  r: 0x41n
}, {
  a: -0xd4cn,
  b: -0x3n,
  r: -0x2n
}, {
  a: 0x85cn,
  b: -0x39n,
  r: 0x1fn
}, {
  a: 0xdbn,
  b: 0x8n,
  r: 0x3n
}, {
  a: -0x8b6n,
  b: 0xan,
  r: 0n
}, {
  a: -0x21n,
  b: -0x48n,
  r: -0x21n
}, {
  a: -0x744n,
  b: -0x48n,
  r: -0x3cn
}, {
  a: -0x3an,
  b: -0x2an,
  r: -0x10n
}, {
  a: 0x5cn,
  b: -0x1fn,
  r: 0x1en
}, {
  a: 0xcen,
  b: -0xcdn,
  r: 0x1n
}, {
  a: 0x20cn,
  b: -0xfn,
  r: 0xen
}, {
  a: -0x39b5n,
  b: 0xcn,
  r: -0x1n
}, {
  a: -0x835an,
  b: 0x7an,
  r: -0x4cn
}, {
  a: 0xfen,
  b: 0x1fn,
  r: 0x6n
}, {
  a: 0xe0n,
  b: 0xean,
  r: 0xe0n
}, {
  a: 0xacn,
  b: -0x4n,
  r: 0n
}, {
  a: 0x6bn,
  b: 0x3dn,
  r: 0x2en
}, {
  a: -0x707n,
  b: 0xc0n,
  r: -0x47n
}, {
  a: 0x50een,
  b: -0x7n,
  r: 0x5n
}, {
  a: 0x7bacn,
  b: 0xcn,
  r: 0x4n
}, {
  a: -0xd0b3n,
  b: -0x5n,
  r: -0x2n
}, {
  a: -0x3en,
  b: -0xdn,
  r: -0xan
}, {
  a: 0xa1n,
  b: -0x70n,
  r: 0x31n
}, {
  a: -0xf21n,
  b: -0xdn,
  r: -0xcn
}, {
  a: -0x6b8dn,
  b: 0x5n,
  r: -0x3n
}, {
  a: -0x48n,
  b: 0xdn,
  r: -0x7n
}, {
  a: -0xe5bn,
  b: -0x3en,
  r: -0x11n
}, {
  a: -0x11cdn,
  b: -0xa1n,
  r: -0x31n
}, {
  a: 0xd06n,
  b: -0x12n,
  r: 0x4n
}, {
  a: -0x31n,
  b: -0x2n,
  r: -0x1n
}, {
  a: -0x7e24n,
  b: 0x67n,
  r: -0x35n
}, {
  a: 0x78n,
  b: 0x7n,
  r: 0x1n
}, {
  a: 0xdfn,
  b: 0x2n,
  r: 0x1n
}, {
  a: 0xb56n,
  b: -0x7n,
  r: 0x4n
}, {
  a: -0x5804n,
  b: 0xdbn,
  r: -0xc2n
}, {
  a: 0x81bn,
  b: -0x57n,
  r: 0x4an
}, {
  a: -0xec3n,
  b: 0x99n,
  r: -0x6bn
}, {
  a: -0xb08n,
  b: 0x4an,
  r: -0xcn
}, {
  a: 0x343n,
  b: -0x7n,
  r: 0x2n
}, {
  a: -0x25d7n,
  b: 0xcn,
  r: -0x3n
}, {
  a: -0x66fn,
  b: -0x5n,
  r: -0x2n
}, {
  a: 0x2afn,
  b: -0xffn,
  r: 0xb1n
}, {
  a: 0xee0n,
  b: -0xben,
  r: 0x8n
}, {
  a: -0xfdn,
  b: 0xaen,
  r: -0x4fn
}, {
  a: 0x92bn,
  b: -0x7n,
  r: 0x2n
}, {
  a: -0xb0cn,
  b: -0x24n,
  r: -0x14n
}, {
  a: 0x5fn,
  b: -0x80n,
  r: 0x5fn
}, {
  a: -0xc5n,
  b: 0x8n,
  r: -0x5n
}, {
  a: -0xb309n,
  b: 0x1n,
  r: 0n
}, {
  a: -0xa95fn,
  b: 0xc9n,
  r: -0x90n
}, {
  a: 0x1dfn,
  b: -0xcn,
  r: 0xbn
}, {
  a: 0xb0n,
  b: -0xf3n,
  r: 0xb0n
}, {
  a: 0xaa52n,
  b: 0x3fn,
  r: 0x6n
}, {
  a: -0x537n,
  b: 0x9n,
  r: -0x3n
}, {
  a: -0x635n,
  b: 0xcn,
  r: -0x5n
}, {
  a: 0x2bf5n,
  b: 0x11n,
  r: 0x10n
}, {
  a: 0x134fn,
  b: -0x2n,
  r: 0x1n
}, {
  a: -0x4f7n,
  b: 0xbbn,
  r: -0x95n
}, {
  a: -0xa483n,
  b: -0x13n,
  r: -0xbn
}, {
  a: 0x6e61n,
  b: 0x1en,
  r: 0x1bn
}, {
  a: 0xe0ebn,
  b: -0x5n,
  r: 0x4n
}, {
  a: 0x375n,
  b: -0xbn,
  r: 0x5n
}, {
  a: 0xafen,
  b: -0xcen,
  r: 0x88n
}, {
  a: 0x8ffn,
  b: 0xean,
  r: 0xc5n
}, {
  a: -0x2an,
  b: -0x4n,
  r: -0x2n
}, {
  a: 0xc42n,
  b: 0x6cn,
  r: 0x6n
}, {
  a: 0x5b8cn,
  b: -0x95n,
  r: 0x2bn
}, {
  a: 0xc8bn,
  b: 0x7en,
  r: 0x3dn
}, {
  a: -0xd08n,
  b: 0x5n,
  r: -0x1n
}, {
  a: 0x29fn,
  b: 0xdn,
  r: 0x8n
}, {
  a: 0x8bn,
  b: 0x1n,
  r: 0n
}, {
  a: -0x91n,
  b: 0xan,
  r: -0x5n
}, {
  a: 0x60n,
  b: -0xedn,
  r: 0x60n
}, {
  a: 0x45n,
  b: 0xb3n,
  r: 0x45n
}, {
  a: 0x87cn,
  b: -0xf9n,
  r: 0xb4n
}, {
  a: -0xa460n,
  b: 0x4bn,
  r: -0x5n
}, {
  a: 0xa1n,
  b: -0xd7n,
  r: 0xa1n
}, {
  a: 0xaden,
  b: -0xfn,
  r: 0x7n
}, {
  a: -0x52c8n,
  b: 0xfn,
  r: -0xcn
}, {
  a: -0x955n,
  b: -0xfn,
  r: -0x4n
}, {
  a: -0x51cn,
  b: 0x1n,
  r: 0n
}, {
  a: -0x948dn,
  b: -0x4n,
  r: -0x1n
}, {
  a: 0x5adn,
  b: -0x58n,
  r: 0x2dn
}, {
  a: 0x1bdn,
  b: -0x9n,
  r: 0x4n
}, {
  a: 0xe98n,
  b: -0xcn,
  r: 0x4n
}, {
  a: 0x12n,
  b: 0xedn,
  r: 0x12n
}, {
  a: -0x73n,
  b: 0x3n,
  r: -0x1n
}, {
  a: 0xdf6n,
  b: 0xb5n,
  r: 0x87n
}, {
  a: -0x7d6n,
  b: -0x5n,
  r: -0x1n
}, {
  a: -0xc66n,
  b: -0xbn,
  r: -0x6n
}, {
  a: -0xf436n,
  b: 0xd3n,
  r: -0x3en
}, {
  a: 0xde3n,
  b: -0xcn,
  r: 0x3n
}, {
  a: -0x2bc8n,
  b: -0x95n,
  r: -0x21n
}, {
  a: -0x3ccn,
  b: 0x46n,
  r: -0x3en
}, {
  a: -0x1c61n,
  b: -0xdn,
  r: -0xbn
}, {
  a: -0x69n,
  b: -0x46n,
  r: -0x23n
}, {
  a: 0x52n,
  b: -0x99n,
  r: 0x52n
}, {
  a: -0xa26n,
  b: 0x40n,
  r: -0x26n
}, {
  a: 0xb12n,
  b: -0xdn,
  r: 0n
}, {
  a: -0x1dn,
  b: 0x5en,
  r: -0x1dn
}, {
  a: -0x39n,
  b: -0x14n,
  r: -0x11n
}, {
  a: -0xe6e7n,
  b: 0xcn,
  r: -0xbn
}, {
  a: 0x10n,
  b: 0x57n,
  r: 0x10n
}, {
  a: 0xcd0n,
  b: -0x1n,
  r: 0n
}, {
  a: -0xb6n,
  b: 0xen,
  r: 0n
}, {
  a: -0xff8n,
  b: 0x12n,
  r: -0x2n
}, {
  a: 0x6e9n,
  b: 0xe1n,
  r: 0xc2n
}, {
  a: 0x3cn,
  b: -0x6n,
  r: 0n
}, {
  a: -0xc6abn,
  b: 0x3fn,
  r: -0x12n
}, {
  a: 0xe6en,
  b: 0x1n,
  r: 0n
}, {
  a: 0x32en,
  b: 0x9n,
  r: 0x4n
}, {
  a: -0x5d4n,
  b: 0x1bn,
  r: -0x7n
}, {
  a: -0x210n,
  b: -0x10n,
  r: 0n
}, {
  a: -0x16en,
  b: -0x9n,
  r: -0x6n
}, {
  a: 0x30n,
  b: 0x8dn,
  r: 0x30n
}, {
  a: 0x72d9n,
  b: 0xc2n,
  r: 0x6bn
}, {
  a: 0xecn,
  b: 0x95n,
  r: 0x57n
}, {
  a: -0xd6n,
  b: -0x58n,
  r: -0x26n
}, {
  a: 0xd3n,
  b: -0xen,
  r: 0x1n
}, {
  a: -0xedn,
  b: 0x5an,
  r: -0x39n
}, {
  a: 0x1a5n,
  b: -0x3fn,
  r: 0x2bn
}, {
  a: 0x8fdn,
  b: -0xden,
  r: 0x51n
}, {
  a: -0x58n,
  b: 0xcdn,
  r: -0x58n
}, {
  a: -0xb652n,
  b: 0x5n,
  r: -0x4n
}, {
  a: -0xcfn,
  b: -0x4n,
  r: -0x3n
}, {
  a: 0x75n,
  b: 0x1n,
  r: 0n
}, {
  a: 0xben,
  b: 0x6cn,
  r: 0x52n
}, {
  a: 0x75e8n,
  b: -0xdn,
  r: 0xbn
}, {
  a: 0x8dn,
  b: -0x41n,
  r: 0xbn
}, {
  a: 0x204n,
  b: -0x50n,
  r: 0x24n
}, {
  a: -0x8d58n,
  b: 0x8n,
  r: 0n
}, {
  a: 0x840n,
  b: 0x5en,
  r: 0x2cn
}, {
  a: 0x623an,
  b: -0x58n,
  r: 0x42n
}, {
  a: -0x1b9n,
  b: 0xb8n,
  r: -0x49n
}, {
  a: 0x681fn,
  b: -0x53n,
  r: 0xcn
}, {
  a: 0x82dn,
  b: 0x6n,
  r: 0x5n
}, {
  a: 0xb78en,
  b: 0x7n,
  r: 0x6n
}, {
  a: -0x2bn,
  b: 0x3n,
  r: -0x1n
}, {
  a: -0xe428n,
  b: -0x1an,
  r: -0xcn
}, {
  a: -0xden,
  b: -0x1n,
  r: 0n
}, {
  a: -0x3d2n,
  b: 0x32n,
  r: -0x1cn
}, {
  a: 0x6158n,
  b: -0xfn,
  r: 0x5n
}, {
  a: 0xbe0n,
  b: -0xb6n,
  r: 0x80n
}, {
  a: 0xc2n,
  b: -0xbn,
  r: 0x7n
}, {
  a: -0x8c7cn,
  b: 0x2bn,
  r: -0x10n
}, {
  a: -0xe458n,
  b: 0xen,
  r: -0x6n
}, {
  a: 0x57fn,
  b: 0x71n,
  r: 0x33n
}, {
  a: 0xca5fn,
  b: -0x9an,
  r: 0x3fn
}, {
  a: -0x693n,
  b: -0xdcn,
  r: -0x8fn
}, {
  a: 0x62n,
  b: 0xe4n,
  r: 0x62n
}, {
  a: 0xadn,
  b: 0xb0n,
  r: 0xadn
}, {
  a: -0x99an,
  b: -0x9n,
  r: -0x1n
}, {
  a: -0x6dn,
  b: -0x2dn,
  r: -0x13n
}, {
  a: 0x72dn,
  b: -0x8n,
  r: 0x5n
}, {
  a: -0xa849n,
  b: 0xdn,
  r: -0xcn
}, {
  a: -0x8dc8n,
  b: 0x7n,
  r: -0x1n
}, {
  a: -0x32n,
  b: 0x6n,
  r: -0x2n
}, {
  a: 0x62c8n,
  b: 0xe7n,
  r: 0x6dn
}, {
  a: 0xden,
  b: -0xa7n,
  r: 0x37n
}, {
  a: 0x6fn,
  b: 0xcn,
  r: 0x3n
}, {
  a: 0xab4n,
  b: -0x85n,
  r: 0x50n
}, {
  a: -0xb7bn,
  b: -0x12n,
  r: -0x5n
}, {
  a: 0xc30n,
  b: 0xc2n,
  r: 0x10n
}, {
  a: 0x9ecdn,
  b: 0x5fn,
  r: 0x58n
}, {
  a: 0x49bn,
  b: 0x2n,
  r: 0x1n
}, {
  a: 0xa12n,
  b: 0x6dn,
  r: 0x47n
}, {
  a: -0x2509n,
  b: 0x8n,
  r: -0x1n
}, {
  a: -0x88n,
  b: -0x9n,
  r: -0x1n
}, {
  a: 0x317n,
  b: 0x73n,
  r: 0x65n
}, {
  a: 0x31n,
  b: 0xen,
  r: 0x7n
}, {
  a: -0xd7n,
  b: -0x3dn,
  r: -0x20n
}, {
  a: 0x7en,
  b: 0xb1n,
  r: 0x7en
}, {
  a: -0x7cadn,
  b: -0xf3n,
  r: -0x54n
}, {
  a: -0x8528n,
  b: 0xb1n,
  r: -0x68n
}, {
  a: 0x716n,
  b: 0xf5n,
  r: 0x63n
}, {
  a: -0x415n,
  b: 0x1fn,
  r: -0x16n
}, {
  a: -0x1en,
  b: 0x44n,
  r: -0x1en
}, {
  a: -0x665n,
  b: -0xdn,
  r: -0xcn
}, {
  a: -0x9c8n,
  b: -0xdcn,
  r: -0x54n
}, {
  a: 0x75n,
  b: 0x36n,
  r: 0x9n
}, {
  a: -0x35n,
  b: 0xdn,
  r: -0x1n
}, {
  a: 0xdfn,
  b: 0xan,
  r: 0x3n
}, {
  a: -0xe7n,
  b: 0xd1n,
  r: -0x16n
}, {
  a: -0xef5n,
  b: 0x2n,
  r: -0x1n
}, {
  a: 0x8a5n,
  b: 0x2n,
  r: 0x1n
}, {
  a: 0x5127n,
  b: -0x3n,
  r: 0n
}, {
  a: -0x3cdn,
  b: 0xan,
  r: -0x3n
}, {
  a: 0xd0b6n,
  b: -0x5n,
  r: 0n
}, {
  a: -0x32n,
  b: -0x3n,
  r: -0x2n
}, {
  a: 0xd91n,
  b: -0x8an,
  r: 0x17n
}, {
  a: -0x65c4n,
  b: -0x4n,
  r: 0n
}, {
  a: 0x9acfn,
  b: -0xcn,
  r: 0x7n
}, {
  a: -0xa29bn,
  b: -0x7n,
  r: -0x5n
}, {
  a: -0xf60n,
  b: -0xbn,
  r: -0x9n
}, {
  a: 0xf11n,
  b: 0x8n,
  r: 0x1n
}, {
  a: 0xac8n,
  b: -0xfn,
  r: 0n
}, {
  a: -0xb6n,
  b: 0xcn,
  r: -0x2n
}, {
  a: 0xe1dn,
  b: 0x82n,
  r: 0x67n
}, {
  a: 0x6bn,
  b: -0xd0n,
  r: 0x6bn
}, {
  a: -0x648an,
  b: 0x27n,
  r: -0x25n
}, {
  a: 0xean,
  b: 0x9n,
  r: 0n
}, {
  a: -0x57n,
  b: 0xd5n,
  r: -0x57n
}, {
  a: 0x6en,
  b: 0x3cn,
  r: 0x32n
}, {
  a: 0x651an,
  b: 0xan,
  r: 0x2n
}, {
  a: 0xa6dn,
  b: 0xe7n,
  r: 0x80n
}, {
  a: 0x1b6n,
  b: 0xen,
  r: 0x4n
}, {
  a: 0x3263n,
  b: -0x4dn,
  r: 0x28n
}, {
  a: -0xc48fn,
  b: -0x4n,
  r: -0x3n
}, {
  a: -0x109n,
  b: -0x9n,
  r: -0x4n
}, {
  a: 0xc5a6n,
  b: -0xe9n,
  r: 0x25n
}, {
  a: 0xfabn,
  b: 0x20n,
  r: 0xbn
}, {
  a: 0x84n,
  b: -0xe1n,
  r: 0x84n
}, {
  a: -0x7f23n,
  b: 0x7n,
  r: -0x4n
}, {
  a: 0x4e2n,
  b: 0x43n,
  r: 0x2cn
}, {
  a: 0xb3n,
  b: 0x71n,
  r: 0x42n
}, {
  a: -0x4b7n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x73n,
  b: -0xfn,
  r: 0xan
}, {
  a: 0x59n,
  b: 0xf3n,
  r: 0x59n
}, {
  a: -0x277n,
  b: 0x6dn,
  r: -0x56n
}, {
  a: -0x21d6n,
  b: -0xcn,
  r: -0xan
}, {
  a: -0xfb1n,
  b: -0x48n,
  r: -0x39n
}, {
  a: -0x7d26n,
  b: 0x7n,
  r: -0x6n
}, {
  a: 0x933fn,
  b: -0x2n,
  r: 0x1n
}, {
  a: 0x8409n,
  b: -0x3n,
  r: 0n
}, {
  a: 0x3135n,
  b: 0x7n,
  r: 0x4n
}, {
  a: -0x492n,
  b: -0xebn,
  r: -0xe6n
}, {
  a: -0xa16fn,
  b: 0xa3n,
  r: -0x58n
}, {
  a: -0x37n,
  b: -0xe4n,
  r: -0x37n
}, {
  a: -0x657bn,
  b: -0x58n,
  r: -0x13n
}, {
  a: -0x7can,
  b: -0x4n,
  r: -0x2n
}, {
  a: -0x47n,
  b: -0x62n,
  r: -0x47n
}, {
  a: 0x5dn,
  b: 0xb4n,
  r: 0x5dn
}, {
  a: -0x94n,
  b: 0x82n,
  r: -0x12n
}, {
  a: -0x9cfn,
  b: 0x8n,
  r: -0x7n
}, {
  a: 0x28n,
  b: 0x6bn,
  r: 0x28n
}, {
  a: 0xfdn,
  b: 0x8n,
  r: 0x5n
}, {
  a: 0x9200n,
  b: -0xc8n,
  r: 0xb0n
}, {
  a: 0xdfn,
  b: -0xcn,
  r: 0x7n
}, {
  a: 0x8871n,
  b: 0xan,
  r: 0x9n
}, {
  a: -0xfen,
  b: -0x6n,
  r: -0x2n
}, {
  a: -0x6f3n,
  b: -0x9n,
  r: -0x6n
}, {
  a: -0x11b4n,
  b: 0xc5n,
  r: -0x1n
}, {
  a: -0x925n,
  b: -0x11n,
  r: -0xcn
}, {
  a: 0x67n,
  b: 0x74n,
  r: 0x67n
}, {
  a: 0xe2n,
  b: -0xen,
  r: 0x2n
}, {
  a: 0x8908n,
  b: 0x5an,
  r: 0x46n
}, {
  a: -0x51n,
  b: 0xf7n,
  r: -0x51n
}, {
  a: -0x67f1n,
  b: 0x1bn,
  r: -0xen
}, {
  a: 0x9fn,
  b: 0x5bn,
  r: 0x44n
}, {
  a: 0x71n,
  b: -0x3n,
  r: 0x2n
}, {
  a: 0x27dn,
  b: 0xfn,
  r: 0x7n
}, {
  a: -0xec8dn,
  b: 0x9n,
  r: -0x5n
}, {
  a: -0x66fen,
  b: 0x93n,
  r: -0x35n
}, {
  a: -0xe5dbn,
  b: -0x94n,
  r: -0x57n
}, {
  a: -0x4c3n,
  b: 0x2en,
  r: -0x17n
}, {
  a: 0xd40cn,
  b: -0x7en,
  r: 0x68n
}, {
  a: 0x34n,
  b: 0x7cn,
  r: 0x34n
}, {
  a: -0x2d8an,
  b: 0x95n,
  r: -0x24n
}, {
  a: -0x4ee6n,
  b: 0xcn,
  r: -0x2n
}, {
  a: 0x6f3n,
  b: 0x9n,
  r: 0x6n
}, {
  a: -0xe4n,
  b: 0xa8n,
  r: -0x3cn
}, {
  a: -0x731n,
  b: 0xe3n,
  r: -0x19n
}, {
  a: 0xc1can,
  b: -0xdbn,
  r: 0x74n
}, {
  a: -0xf1d4n,
  b: -0x81n,
  r: -0x75n
}, {
  a: -0x59dn,
  b: -0x54n,
  r: -0x9n
}, {
  a: -0x29n,
  b: 0x48n,
  r: -0x29n
}, {
  a: -0xdan,
  b: -0xdn,
  r: -0xan
}, {
  a: 0x89e0n,
  b: 0x92n,
  r: 0x6en
}, {
  a: 0x13fdn,
  b: 0xcn,
  r: 0x5n
}, {
  a: 0x3e5en,
  b: -0xa9n,
  r: 0x50n
}, {
  a: 0xe2n,
  b: 0xecn,
  r: 0xe2n
}, {
  a: -0x76n,
  b: -0x5dn,
  r: -0x19n
}, {
  a: -0x832n,
  b: 0xden,
  r: -0x64n
}, {
  a: -0xa3n,
  b: 0x4n,
  r: -0x3n
}, {
  a: -0x76f8n,
  b: 0xe4n,
  r: -0x84n
}, {
  a: -0x4en,
  b: -0xden,
  r: -0x4en
}, {
  a: -0x189n,
  b: 0x46n,
  r: -0x2bn
}, {
  a: -0x92bn,
  b: 0x35n,
  r: -0xfn
}, {
  a: 0x22n,
  b: -0x42n,
  r: 0x22n
}, {
  a: 0xa86n,
  b: -0x4n,
  r: 0x2n
}, {
  a: -0x165n,
  b: 0xd5n,
  r: -0x90n
}, {
  a: -0xac2n,
  b: -0xben,
  r: -0x5en
}, {
  a: 0x26n,
  b: -0x36n,
  r: 0x26n
}, {
  a: 0x44n,
  b: -0x5an,
  r: 0x44n
}, {
  a: -0xdabn,
  b: 0xa0n,
  r: -0x8bn
}, {
  a: 0xa63an,
  b: -0x41n,
  r: 0x2cn
}, {
  a: 0x20n,
  b: -0xfn,
  r: 0x2n
}, {
  a: 0xc83n,
  b: -0x1n,
  r: 0n
}, {
  a: -0x977n,
  b: 0x88n,
  r: -0x6fn
}, {
  a: 0x657n,
  b: 0x25n,
  r: 0x20n
}, {
  a: -0x951n,
  b: -0x4n,
  r: -0x1n
}, {
  a: -0x79n,
  b: -0xfn,
  r: -0x1n
}, {
  a: -0x41n,
  b: 0xbfn,
  r: -0x41n
}, {
  a: -0x3fan,
  b: -0xcn,
  r: -0xan
}, {
  a: -0x906n,
  b: 0x14n,
  r: -0xan
}, {
  a: -0x57n,
  b: -0x22n,
  r: -0x13n
}, {
  a: 0x3d17n,
  b: -0xcbn,
  r: 0x8n
}, {
  a: 0x835n,
  b: 0x27n,
  r: 0x22n
}, {
  a: 0x840n,
  b: 0xf8n,
  r: 0x80n
}, {
  a: 0x55n,
  b: -0x33n,
  r: 0x22n
}, {
  a: 0x68dn,
  b: -0x68n,
  r: 0xdn
}, {
  a: -0x97n,
  b: -0xdn,
  r: -0x8n
}, {
  a: 0x4543n,
  b: -0xen,
  r: 0x7n
}, {
  a: 0xb781n,
  b: 0xbn,
  r: 0x7n
}, {
  a: 0xb86n,
  b: -0x57n,
  r: 0x4fn
}, {
  a: 0x54ean,
  b: 0xebn,
  r: 0x76n
}, {
  a: 0x51bn,
  b: -0x3n,
  r: 0x2n
}, {
  a: 0xa9n,
  b: 0x97n,
  r: 0x12n
}, {
  a: -0x264n,
  b: 0xf4n,
  r: -0x7cn
}, {
  a: -0x46n,
  b: 0x5n,
  r: 0n
}, {
  a: 0x260cn,
  b: -0x9n,
  r: 0x2n
}, {
  a: -0x85fcn,
  b: -0x25n,
  r: -0x1n
}, {
  a: -0x8fn,
  b: -0x7n,
  r: -0x3n
}, {
  a: 0xf659n,
  b: 0x46n,
  r: 0x41n
}, {
  a: -0x25n,
  b: 0xa2n,
  r: -0x25n
}, {
  a: -0xe9d3n,
  b: -0xdn,
  r: -0x7n
}, {
  a: -0x95bn,
  b: -0xb5n,
  r: -0x2an
}, {
  a: -0x23en,
  b: 0x74n,
  r: -0x6en
}, {
  a: -0xb2n,
  b: 0x8n,
  r: -0x2n
}, {
  a: 0xdb2fn,
  b: 0xadn,
  r: 0x3bn
}, {
  a: 0xab8n,
  b: -0x36n,
  r: 0x2cn
}, {
  a: 0x7528n,
  b: -0xd7n,
  r: 0x6bn
}, {
  a: -0x70n,
  b: -0xebn,
  r: -0x70n
}, {
  a: 0x5b0cn,
  b: 0x6n,
  r: 0x4n
}, {
  a: 0x34a8n,
  b: -0x85n,
  r: 0x2fn
}, {
  a: -0xf3n,
  b: 0xcfn,
  r: -0x24n
}, {
  a: -0xb2n,
  b: -0x4n,
  r: -0x2n
}, {
  a: -0xa5n,
  b: 0xfn,
  r: 0n
}, {
  a: -0x22n,
  b: -0x9n,
  r: -0x7n
}, {
  a: 0x4637n,
  b: -0x94n,
  r: 0x43n
}, {
  a: -0x72c4n,
  b: 0x7n,
  r: -0x1n
}, {
  a: 0xe68n,
  b: -0x4n,
  r: 0n
}, {
  a: -0x9bdn,
  b: -0x3bn,
  r: -0xfn
}, {
  a: 0x509cn,
  b: -0x31n,
  r: 0x7n
}, {
  a: -0xee3n,
  b: 0xdfn,
  r: -0x14n
}, {
  a: 0x8d14n,
  b: 0x47n,
  r: 0x30n
}, {
  a: -0x6009n,
  b: 0x7n,
  r: -0x1n
}, {
  a: -0x5ad4n,
  b: 0x66n,
  r: -0x62n
}, {
  a: -0x58an,
  b: -0xfn,
  r: -0x8n
}, {
  a: -0x8cn,
  b: -0x79n,
  r: -0x13n
}, {
  a: 0xf0n,
  b: 0xafn,
  r: 0x41n
}, {
  a: -0xacn,
  b: 0x54n,
  r: -0x4n
}, {
  a: 0xbb5en,
  b: -0xdn,
  r: 0x9n
}, {
  a: -0x3b1n,
  b: 0x8n,
  r: -0x1n
}, {
  a: -0xebn,
  b: -0xa6n,
  r: -0x45n
}, {
  a: -0x141n,
  b: 0xe2n,
  r: -0x5fn
}, {
  a: 0xc12n,
  b: 0xc1n,
  r: 0x2n
}, {
  a: 0x7ben,
  b: 0xen,
  r: 0x8n
}, {
  a: 0xd9n,
  b: -0x35n,
  r: 0x5n
}, {
  a: -0x2cn,
  b: -0x6en,
  r: -0x2cn
}, {
  a: -0x3fcn,
  b: 0xfdn,
  r: -0x8n
}, {
  a: -0x123n,
  b: 0xc4n,
  r: -0x5fn
}, {
  a: 0x2874n,
  b: -0xebn,
  r: 0x10n
}, {
  a: 0x9dn,
  b: 0xbn,
  r: 0x3n
}, {
  a: -0xban,
  b: -0xccn,
  r: -0xban
}, {
  a: 0x6f34n,
  b: -0x5n,
  r: 0x3n
}, {
  a: -0x41den,
  b: -0xdn,
  r: -0x1n
}, {
  a: -0x3a6n,
  b: -0x20n,
  r: -0x6n
}, {
  a: 0xden,
  b: -0xdn,
  r: 0x1n
}, {
  a: 0xea0n,
  b: 0xan,
  r: 0x4n
}, {
  a: -0xf62n,
  b: -0x23n,
  r: -0x12n
}, {
  a: 0xfd5fn,
  b: -0xan,
  r: 0x3n
}, {
  a: -0x3af6n,
  b: 0xdn,
  r: -0x1n
}, {
  a: 0x79n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x809n,
  b: -0x42n,
  r: 0xbn
}, {
  a: -0x8fcbn,
  b: 0xaan,
  r: -0x5bn
}, {
  a: -0x2b3n,
  b: -0xe5n,
  r: -0x4n
}, {
  a: -0xfd1n,
  b: 0xc5n,
  r: -0x6dn
}, {
  a: 0x1221n,
  b: -0xan,
  r: 0x1n
}, {
  a: -0x6c6an,
  b: -0x72n,
  r: -0x34n
}, {
  a: -0x87n,
  b: 0xan,
  r: -0x5n
}, {
  a: -0xcd2en,
  b: -0x3n,
  r: -0x2n
}, {
  a: -0x93a4n,
  b: -0x36n,
  r: -0x32n
}, {
  a: -0x359n,
  b: -0x9n,
  r: -0x2n
}, {
  a: -0xb9n,
  b: 0xan,
  r: -0x5n
}, {
  a: -0xdfn,
  b: 0x9n,
  r: -0x7n
}, {
  a: 0xb8n,
  b: 0x8n,
  r: 0n
}, {
  a: 0x8fn,
  b: 0x30n,
  r: 0x2fn
}, {
  a: 0x15n,
  b: 0x54n,
  r: 0x15n
}, {
  a: -0x1fn,
  b: 0x3n,
  r: -0x1n
}, {
  a: 0xc4an,
  b: -0x8n,
  r: 0x2n
}, {
  a: -0x76n,
  b: 0xf3n,
  r: -0x76n
}, {
  a: 0xa2n,
  b: 0x1n,
  r: 0n
}, {
  a: 0x2cd0n,
  b: -0x8n,
  r: 0n
}, {
  a: 0xf2n,
  b: -0x91n,
  r: 0x61n
}, {
  a: -0x87n,
  b: -0x4n,
  r: -0x3n
}, {
  a: -0x1bn,
  b: -0xfn,
  r: -0xcn
}, {
  a: 0x492n,
  b: 0x28n,
  r: 0xan
}, {
  a: -0x8114n,
  b: 0xen,
  r: -0x4n
}, {
  a: -0xe164n,
  b: 0x9dn,
  r: -0x51n
}, {
  a: 0x37n,
  b: 0x28n,
  r: 0xfn
}, {
  a: -0x4db9n,
  b: -0x4n,
  r: -0x1n
}, {
  a: -0x87n,
  b: 0xcn,
  r: -0x3n
}, {
  a: 0x2dn,
  b: 0xbn,
  r: 0x1n
}, {
  a: 0x57f4n,
  b: -0xd4n,
  r: 0x2cn
}, {
  a: 0x645n,
  b: -0xen,
  r: 0x9n
}, {
  a: -0x85n,
  b: -0x9n,
  r: -0x7n
}, {
  a: -0x402en,
  b: -0x8n,
  r: -0x6n
}, {
  a: -0xf4n,
  b: 0x42n,
  r: -0x2en
}, {
  a: -0x7d3n,
  b: -0x7n,
  r: -0x1n
}, {
  a: -0xbdn,
  b: 0x93n,
  r: -0x2an
}, {
  a: 0x38bn,
  b: 0x2en,
  r: 0x21n
}, {
  a: -0x2cf3n,
  b: -0x7n,
  r: -0x6n
}, {
  a: -0x6b8en,
  b: 0x11n,
  r: -0xbn
}, {
  a: -0xcabcn,
  b: 0x7n,
  r: -0x2n
}, {
  a: 0x7c8n,
  b: -0xc4n,
  r: 0x20n
}, {
  a: 0x5f0n,
  b: 0xfn,
  r: 0x5n
}, {
  a: -0xa25cn,
  b: 0x24n,
  r: -0x14n
}, {
  a: -0x4afn,
  b: -0x8n,
  r: -0x7n
}, {
  a: 0x5bn,
  b: 0x3n,
  r: 0x1n
}, {
  a: 0xddn,
  b: -0x2n,
  r: 0x1n
}, {
  a: -0xe11n,
  b: 0xfn,
  r: -0x1n
}, {
  a: -0xad5cn,
  b: -0x10n,
  r: -0xcn
}, {
  a: -0xfafn,
  b: 0x5n,
  r: 0n
}, {
  a: -0x456n,
  b: 0xfn,
  r: 0n
}, {
  a: -0x6e4n,
  b: 0xcn,
  r: 0n
}, {
  a: 0xcbn,
  b: -0xcbn,
  r: 0n
}, {
  a: -0x56n,
  b: 0x1an,
  r: -0x8n
}, {
  a: -0xf1n,
  b: 0xen,
  r: -0x3n
}, {
  a: 0x487bn,
  b: -0xd5n,
  r: 0x18n
}, {
  a: 0x6efbn,
  b: -0xbn,
  r: 0x9n
}, {
  a: -0x41n,
  b: -0x14n,
  r: -0x5n
}, {
  a: 0x90n,
  b: -0xbn,
  r: 0x1n
}, {
  a: -0xc5ean,
  b: -0xcn,
  r: -0x2n
}, {
  a: -0xbc19n,
  b: 0x63n,
  r: -0x27n
}, {
  a: -0x8f9bn,
  b: -0xdn,
  r: -0xcn
}, {
  a: -0xa303n,
  b: 0x34n,
  r: -0x1bn
}, {
  a: 0xdbcn,
  b: -0x44n,
  r: 0x30n
}, {
  a: -0x5738n,
  b: -0x55n,
  r: -0x3an
}, {
  a: 0xa62fn,
  b: 0x2n,
  r: 0x1n
}, {
  a: 0x75dn,
  b: -0xe1n,
  r: 0x55n
}, {
  a: 0xeacfn,
  b: 0x3n,
  r: 0n
}, {
  a: -0xf5n,
  b: 0x4n,
  r: -0x1n
}, {
  a: -0x48en,
  b: 0xdn,
  r: -0x9n
}, {
  a: -0x589n,
  b: 0x2n,
  r: -0x1n
}, {
  a: 0xden,
  b: -0x26n,
  r: 0x20n
}, {
  a: 0xf7n,
  b: 0x80n,
  r: 0x77n
}, {
  a: -0xa1n,
  b: 0x59n,
  r: -0x48n
}, {
  a: 0xa202n,
  b: 0xben,
  r: 0x36n
}, {
  a: -0xa57n,
  b: -0xccn,
  r: -0xc7n
}, {
  a: -0x7an,
  b: 0x25n,
  r: -0xbn
}, {
  a: 0xdfn,
  b: 0x7bn,
  r: 0x64n
}, {
  a: 0xb0n,
  b: -0x4an,
  r: 0x1cn
}, {
  a: 0x92n,
  b: 0x1n,
  r: 0n
}, {
  a: 0xc7n,
  b: 0xen,
  r: 0x3n
}, {
  a: -0x58dn,
  b: 0x47n,
  r: -0x1n
}, {
  a: 0xd7n,
  b: 0x5n,
  r: 0n
}, {
  a: 0x93a6n,
  b: -0xbn,
  r: 0x2n
}, {
  a: -0x8b2en,
  b: -0x2n,
  r: 0n
}, {
  a: 0xa6n,
  b: 0x6cn,
  r: 0x3an
}, {
  a: 0xfben,
  b: -0xbn,
  r: 0x4n
}, {
  a: -0xb1dn,
  b: -0x8n,
  r: -0x5n
}, {
  a: -0x8cn,
  b: 0x25n,
  r: -0x1dn
}, {
  a: -0xc00n,
  b: -0x8en,
  r: -0x5an
}, {
  a: -0x4abn,
  b: -0x3dn,
  r: -0x24n
}, {
  a: 0x89n,
  b: -0x3n,
  r: 0x2n
}, {
  a: -0xcd0n,
  b: -0xacn,
  r: -0xcn
}, {
  a: -0xfa8n,
  b: 0x8en,
  r: -0x20n
}, {
  a: 0x76n,
  b: -0x49n,
  r: 0x2dn
}, {
  a: -0xe3b2n,
  b: 0x27n,
  r: -0x18n
}, {
  a: -0x61a3n,
  b: 0xf7n,
  r: -0x30n
}, {
  a: -0x8en,
  b: -0xbn,
  r: -0xan
}, {
  a: -0x479n,
  b: 0x80n,
  r: -0x79n
}, {
  a: 0xf1n,
  b: -0x45n,
  r: 0x22n
}, {
  a: 0x47n,
  b: -0x35n,
  r: 0x12n
}, {
  a: 0xa9n,
  b: 0xaen,
  r: 0xa9n
}, {
  a: 0x8a3fn,
  b: 0x2an,
  r: 0x1bn
}, {
  a: 0xc7n,
  b: -0x2n,
  r: 0x1n
}, {
  a: -0xd30n,
  b: -0x51n,
  r: -0x37n
}, {
  a: -0xc245n,
  b: 0x4dn,
  r: -0x44n
}, {
  a: -0x315n,
  b: 0x4an,
  r: -0x31n
}, {
  a: 0xe9d9n,
  b: -0x1n,
  r: 0n
}, {
  a: -0x9dbn,
  b: -0x8fn,
  r: -0x5cn
}, {
  a: 0x454n,
  b: -0xabn,
  r: 0x52n
}, {
  a: 0x17n,
  b: -0x9n,
  r: 0x5n
}, {
  a: -0xbbf2n,
  b: -0x7n,
  r: -0x3n
}, {
  a: 0x39fn,
  b: -0xen,
  r: 0x3n
}, {
  a: 0xd09cn,
  b: 0x9n,
  r: 0x7n
}, {
  a: 0x4011n,
  b: -0xe8n,
  r: 0xa1n
}, {
  a: 0x72n,
  b: -0x45n,
  r: 0x2dn
}, {
  a: 0x1dan,
  b: -0xafn,
  r: 0x7cn
}, {
  a: -0xb83n,
  b: -0xcdn,
  r: -0x4dn
}, {
  a: -0xab9n,
  b: -0xbn,
  r: -0x6n
}, {
  a: 0xb6n,
  b: -0x2cn,
  r: 0x6n
}, {
  a: -0x67bn,
  b: -0x97n,
  r: -0x95n
}, {
  a: -0xbcfn,
  b: 0x13n,
  r: -0x2n
}, {
  a: -0x13bn,
  b: 0x9n,
  r: 0n
}, {
  a: -0xc58n,
  b: 0x99n,
  r: -0x64n
}, {
  a: -0x94a2n,
  b: -0x3cn,
  r: -0xan
}, {
  a: 0x7dn,
  b: 0xdn,
  r: 0x8n
}, {
  a: 0xce6n,
  b: 0x22n,
  r: 0x4n
}, {
  a: 0xc31n,
  b: -0xan,
  r: 0x1n
}, {
  a: 0x1bc0n,
  b: -0xfcn,
  r: 0x30n
}, {
  a: -0x422bn,
  b: 0xd0n,
  r: -0x5bn
}, {
  a: -0x1a3n,
  b: 0xen,
  r: -0xdn
}, {
  a: -0x37edn,
  b: 0xbn,
  r: -0x6n
}, {
  a: -0x5f4n,
  b: -0x15n,
  r: -0xcn
}, {
  a: -0x29n,
  b: 0xden,
  r: -0x29n
}, {
  a: 0x3604n,
  b: -0xeen,
  r: 0x18n
}, {
  a: -0x21n,
  b: -0xfn,
  r: -0x3n
}, {
  a: -0xd9b9n,
  b: -0xcn,
  r: -0x9n
}, {
  a: 0x6eb4n,
  b: 0x3fn,
  r: 0x35n
}, {
  a: -0x93n,
  b: -0xd2n,
  r: -0x93n
}, {
  a: 0x311n,
  b: -0xedn,
  r: 0x4an
}, {
  a: 0x26n,
  b: 0x7n,
  r: 0x3n
}, {
  a: 0xfbdn,
  b: 0xdn,
  r: 0xcn
}, {
  a: 0x71n,
  b: 0x8n,
  r: 0x1n
}, {
  a: 0x49n,
  b: -0xen,
  r: 0x3n
}, {
  a: 0xe3n,
  b: 0x3n,
  r: 0x2n
}, {
  a: -0xce2n,
  b: 0xbn,
  r: -0x9n
}, {
  a: -0x2c82n,
  b: -0x9en,
  r: -0x12n
}, {
  a: 0xfan,
  b: 0x7n,
  r: 0x5n
}, {
  a: -0x5c5dn,
  b: -0x84n,
  r: -0x11n
}, {
  a: 0xc9c5n,
  b: -0x9n,
  r: 0x2n
}, {
  a: 0x1fn,
  b: 0xan,
  r: 0x1n
}, {
  a: 0x9d9n,
  b: 0x4n,
  r: 0x1n
}, {
  a: -0xd897n,
  b: 0x3n,
  r: -0x1n
}, {
  a: 0xe06n,
  b: -0x50n,
  r: 0x46n
}, {
  a: 0xe664n,
  b: 0x9n,
  r: 0x3n
}, {
  a: -0x848an,
  b: 0x37n,
  r: -0x32n
}, {
  a: 0x663bn,
  b: -0x1n,
  r: 0n
}, {
  a: -0x8b4en,
  b: -0x6n,
  r: -0x4n
}, {
  a: -0xc868n,
  b: 0x9bn,
  r: -0x9an
}, {
  a: 0x4a74n,
  b: -0x5n,
  r: 0n
}, {
  a: 0xbcn,
  b: 0xden,
  r: 0xbcn
}, {
  a: -0x421fn,
  b: -0x36n,
  r: -0x19n
}, {
  a: 0x9an,
  b: -0x19n,
  r: 0x4n
}, {
  a: -0x3d98n,
  b: -0xfn,
  r: -0x3n
}, {
  a: -0x23n,
  b: 0xdn,
  r: -0x9n
}, {
  a: -0x6an,
  b: 0x6n,
  r: -0x4n
}, {
  a: 0xffn,
  b: 0x95n,
  r: 0x6an
}, {
  a: -0x43n,
  b: 0xc3n,
  r: -0x43n
}, {
  a: 0xc1n,
  b: -0xa8n,
  r: 0x19n
}, {
  a: 0x7cn,
  b: -0xd8n,
  r: 0x7cn
}, {
  a: -0xafn,
  b: 0x93n,
  r: -0x1cn
}, {
  a: -0x810n,
  b: 0xa2n,
  r: -0x78n
}, {
  a: 0x1d7n,
  b: 0xdn,
  r: 0x3n
}, {
  a: 0x504n,
  b: -0xa6n,
  r: 0x7an
}, {
  a: -0x7ecn,
  b: 0x6n,
  r: 0n
}, {
  a: -0x3en,
  b: 0xbdn,
  r: -0x3en
}, {
  a: 0xedn,
  b: -0x6fn,
  r: 0xfn
}, {
  a: 0x3ff3n,
  b: 0xfen,
  r: 0x73n
}, {
  a: 0x7d65n,
  b: 0x6n,
  r: 0x1n
}, {
  a: 0x6000n,
  b: 0x1n,
  r: 0n
}, {
  a: -0x690n,
  b: 0xbn,
  r: -0x8n
}, {
  a: 0x73b0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0xdd69n,
  b: -0x3n,
  r: -0x2n
}, {
  a: -0x1bfdn,
  b: -0x7en,
  r: -0x6dn
}, {
  a: 0x10n,
  b: -0x30n,
  r: 0x10n
}, {
  a: 0x84n,
  b: -0x7n,
  r: 0x6n
}, {
  a: -0x88en,
  b: 0x64n,
  r: -0x5an
}, {
  a: 0x8814n,
  b: -0x4dn,
  r: 0x20n
}, {
  a: -0x2f8en,
  b: -0x5n,
  r: -0x4n
}, {
  a: -0x694an,
  b: 0x84n,
  r: -0x1an
}, {
  a: 0x6866n,
  b: -0x8an,
  r: 0x5cn
}, {
  a: -0x208an,
  b: 0x95n,
  r: -0x87n
}, {
  a: 0x8dn,
  b: -0x1n,
  r: 0n
}, {
  a: -0x33n,
  b: -0x86n,
  r: -0x33n
}, {
  a: 0x28n,
  b: -0x31n,
  r: 0x28n
}, {
  a: -0x9cdn,
  b: 0x40n,
  r: -0xdn
}, {
  a: -0x674n,
  b: -0x66n,
  r: -0x14n
}, {
  a: -0x61n,
  b: 0xe7n,
  r: -0x61n
}, {
  a: -0x87n,
  b: 0xe6n,
  r: -0x87n
}, {
  a: -0x9dean,
  b: 0xfn,
  r: -0x1n
}, {
  a: -0xc8n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x93ben,
  b: 0xe9n,
  r: 0x4cn
}, {
  a: -0xbffn,
  b: -0xen,
  r: -0x5n
}, {
  a: 0xd80n,
  b: 0xben,
  r: 0x24n
}, {
  a: -0xed6n,
  b: -0xfn,
  r: -0x3n
}, {
  a: -0x3b33n,
  b: 0x3an,
  r: -0x11n
}, {
  a: -0xf2an,
  b: 0xcan,
  r: -0x2cn
}, {
  a: 0xden,
  b: -0x8n,
  r: 0x6n
}, {
  a: -0x5ed2n,
  b: -0xfn,
  r: -0x4n
}, {
  a: -0x8en,
  b: -0xfan,
  r: -0x8en
}, {
  a: -0x5ddn,
  b: -0x94n,
  r: -0x15n
}, {
  a: 0xb9n,
  b: -0xdn,
  r: 0x3n
}, {
  a: 0xabn,
  b: 0xaen,
  r: 0xabn
}, {
  a: 0x64d7n,
  b: -0x6n,
  r: 0x3n
}, {
  a: 0x9b11n,
  b: 0x5n,
  r: 0x2n
}, {
  a: 0xd38n,
  b: 0xbn,
  r: 0x7n
}, {
  a: -0xc94n,
  b: -0x36n,
  r: -0x22n
}, {
  a: -0x640en,
  b: -0xfn,
  r: -0x9n
}, {
  a: 0xedn,
  b: -0x85n,
  r: 0x68n
}, {
  a: 0xaee9n,
  b: 0xcfn,
  r: 0x41n
}, {
  a: 0xcda2n,
  b: -0xan,
  r: 0x2n
}, {
  a: -0xbe7n,
  b: -0x9n,
  r: -0x5n
}, {
  a: 0x27n,
  b: 0xa3n,
  r: 0x27n
}, {
  a: 0x8a0n,
  b: 0xen,
  r: 0xan
}, {
  a: -0x39dn,
  b: 0xf6n,
  r: -0xbbn
}, {
  a: -0xfd4en,
  b: 0x2en,
  r: -0x20n
}, {
  a: -0xfc8fn,
  b: 0xe5n,
  r: -0x4dn
}, {
  a: 0xbaeen,
  b: -0x8n,
  r: 0x6n
}, {
  a: -0x1e44n,
  b: 0xbn,
  r: -0x4n
}, {
  a: 0x226n,
  b: -0x93n,
  r: 0x6dn
}, {
  a: 0x2dn,
  b: 0x6n,
  r: 0x3n
}, {
  a: 0x2dcn,
  b: 0x9n,
  r: 0x3n
}, {
  a: -0xa21bn,
  b: -0x7n,
  r: -0x3n
}, {
  a: -0x47fcn,
  b: 0xf4n,
  r: -0x80n
}, {
  a: -0x6f1n,
  b: 0x2n,
  r: -0x1n
}, {
  a: 0xa237n,
  b: -0x9n,
  r: 0x1n
}, {
  a: -0x88dn,
  b: -0x7n,
  r: -0x5n
}, {
  a: 0x964fn,
  b: -0x28n,
  r: 0x27n
}, {
  a: 0x72n,
  b: -0x4n,
  r: 0x2n
}, {
  a: 0xe83n,
  b: 0x5n,
  r: 0n
}, {
  a: -0xb8an,
  b: 0x71n,
  r: -0x10n
}, {
  a: -0xe18an,
  b: 0x8cn,
  r: -0x3an
}, {
  a: -0xf844n,
  b: -0xcn,
  r: -0x4n
}, {
  a: 0xfban,
  b: -0x9n,
  r: 0x3n
}, {
  a: 0x4da2n,
  b: 0x3n,
  r: 0x2n
}, {
  a: 0x96n,
  b: -0x1n,
  r: 0n
}, {
  a: 0x48n,
  b: 0xen,
  r: 0x2n
}, {
  a: -0x4d3n,
  b: -0x9n,
  r: -0x2n
}, {
  a: -0xad1n,
  b: -0xd4n,
  r: -0xdn
}, {
  a: -0xdd6fn,
  b: 0x8n,
  r: -0x7n
}, {
  a: 0x4bn,
  b: -0xb4n,
  r: 0x4bn
}, {
  a: -0xbcf8n,
  b: -0x19n,
  r: -0x1n
}, {
  a: -0x9bf2n,
  b: -0x4n,
  r: -0x2n
}, {
  a: -0xf51n,
  b: 0x64n,
  r: -0x15n
}, {
  a: 0xd70n,
  b: -0xan,
  r: 0n
}, {
  a: -0x3fbn,
  b: -0xb1n,
  r: -0x86n
}, {
  a: -0x4a45n,
  b: -0x27n,
  r: -0x14n
}, {
  a: -0x45n,
  b: -0x17n,
  r: 0n
}, {
  a: 0x115cn,
  b: -0x6n,
  r: 0x4n
}, {
  a: -0x48n,
  b: -0x5n,
  r: -0x2n
}, {
  a: -0x81c6n,
  b: -0x74n,
  r: -0x2en
}, {
  a: -0xdb5n,
  b: 0xfn,
  r: -0xen
}, {
  a: 0xcd2n,
  b: -0xcn,
  r: 0x6n
}, {
  a: 0x4ccn,
  b: 0x4bn,
  r: 0x1cn
}, {
  a: 0x3en,
  b: 0x64n,
  r: 0x3en
}, {
  a: -0x90bn,
  b: -0x9n,
  r: -0x2n
}, {
  a: 0x1dn,
  b: -0x17n,
  r: 0x6n
}, {
  a: 0xac8n,
  b: -0x1en,
  r: 0n
}, {
  a: 0x4bfn,
  b: 0x1n,
  r: 0n
}, {
  a: 0x9e62n,
  b: 0x1dn,
  r: 0x4n
}, {
  a: -0x9affn,
  b: -0xan,
  r: -0x9n
}, {
  a: -0xb643n,
  b: 0xa0n,
  r: -0x63n
}, {
  a: 0x724n,
  b: -0x49n,
  r: 0x3n
}, {
  a: -0x199n,
  b: 0xdn,
  r: -0x6n
}, {
  a: -0x6139n,
  b: -0x1n,
  r: 0n
}, {
  a: -0x34b7n,
  b: 0x3n,
  r: -0x1n
}, {
  a: -0x54n,
  b: 0xdn,
  r: -0x6n
}, {
  a: -0x9b50n,
  b: 0x52n,
  r: -0x48n
}, {
  a: -0x8d4n,
  b: 0x6fn,
  r: -0x28n
}, {
  a: -0x7bcn,
  b: 0xefn,
  r: -0x44n
}, {
  a: 0x105cn,
  b: -0x50n,
  r: 0x1cn
}, {
  a: -0x8ddn,
  b: -0x4cn,
  r: -0x41n
}, {
  a: -0x7bden,
  b: -0xf3n,
  r: -0x78n
}, {
  a: 0x843n,
  b: -0xc2n,
  r: 0xafn
}, {
  a: 0xb4fn,
  b: -0x4n,
  r: 0x3n
}, {
  a: -0xef0n,
  b: -0x69n,
  r: -0x2cn
}, {
  a: -0xean,
  b: -0x26n,
  r: -0x6n
}, {
  a: -0x9den,
  b: -0x7n,
  r: -0x6n
}, {
  a: -0xbcn,
  b: 0x54n,
  r: -0x14n
}, {
  a: -0x18n,
  b: -0xb9n,
  r: -0x18n
}, {
  a: -0x6775n,
  b: 0x7n,
  r: -0x4n
}, {
  a: -0x6b8dn,
  b: 0x47n,
  r: -0x38n
}, {
  a: -0x53dn,
  b: -0x9n,
  r: 0n
}, {
  a: 0x34dn,
  b: -0x6en,
  r: 0x4bn
}, {
  a: -0x82n,
  b: 0x3n,
  r: -0x1n
}, {
  a: -0x8an,
  b: 0xfn,
  r: -0x3n
}, {
  a: 0xa04n,
  b: 0x64n,
  r: 0x40n
}, {
  a: 0x30n,
  b: 0x3n,
  r: 0n
}, {
  a: -0xaf06n,
  b: 0x97n,
  r: -0x6en
}, {
  a: -0x7715n,
  b: -0x8n,
  r: -0x5n
}, {
  a: 0x6aan,
  b: 0x55n,
  r: 0x6n
}, {
  a: -0x216n,
  b: -0x38n,
  r: -0x1en
}, {
  a: 0xf1n,
  b: -0x97n,
  r: 0x5an
}, {
  a: 0xffn,
  b: -0xen,
  r: 0x3n
}, {
  a: -0x6792n,
  b: -0xen,
  r: -0xcn
}, {
  a: -0x3885n,
  b: 0x63n,
  r: -0xfn
}, {
  a: 0xdcfbn,
  b: 0x6n,
  r: 0x3n
}, {
  a: 0x39n,
  b: 0x6bn,
  r: 0x39n
}, {
  a: -0x277n,
  b: -0x6n,
  r: -0x1n
}, {
  a: 0xacf8n,
  b: 0xb8n,
  r: 0x78n
}, {
  a: 0x7655n,
  b: 0x7n,
  r: 0x4n
}, {
  a: 0x5b6bn,
  b: 0x3n,
  r: 0n
}, {
  a: -0xf6n,
  b: -0x9n,
  r: -0x3n
}, {
  a: 0xd4n,
  b: -0x8n,
  r: 0x4n
}, {
  a: -0x14n,
  b: -0x81n,
  r: -0x14n
}, {
  a: -0xa5n,
  b: 0xedn,
  r: -0xa5n
}, {
  a: 0x37n,
  b: 0xen,
  r: 0xdn
}, {
  a: 0x4bn,
  b: -0xcn,
  r: 0x3n
}, {
  a: -0xf7fn,
  b: -0x27n,
  r: -0x1cn
}, {
  a: -0x6c59n,
  b: -0x9an,
  r: -0x11n
}, {
  a: 0x5a3n,
  b: 0xbbn,
  r: 0x86n
}, {
  a: 0x664n,
  b: 0x2n,
  r: 0n
}, {
  a: 0x5cbn,
  b: -0xbn,
  r: 0x9n
}, {
  a: -0x5f51n,
  b: 0x62n,
  r: -0x61n
}, {
  a: -0xfe5n,
  b: -0x7n,
  r: -0x2n
}, {
  a: 0x4bn,
  b: -0x1n,
  r: 0n
}, {
  a: -0xe8an,
  b: -0x6n,
  r: -0x2n
}, {
  a: 0xb0n,
  b: -0xdn,
  r: 0x7n
}, {
  a: -0xad75n,
  b: 0x88n,
  r: -0x45n
}, {
  a: -0x872dn,
  b: 0xcn,
  r: -0x9n
}, {
  a: -0xb72cn,
  b: 0x6n,
  r: -0x2n
}, {
  a: -0x5bn,
  b: 0xe7n,
  r: -0x5bn
}, {
  a: 0x31n,
  b: 0xen,
  r: 0x7n
}, {
  a: -0xaban,
  b: 0xcn,
  r: -0xan
}, {
  a: -0x55d7n,
  b: 0x11n,
  r: -0xbn
}, {
  a: -0x5ffn,
  b: 0x6fn,
  r: -0x5cn
}, {
  a: 0xa8n,
  b: 0x5n,
  r: 0x3n
}, {
  a: 0x89n,
  b: -0x3n,
  r: 0x2n
}, {
  a: 0x732n,
  b: -0xan,
  r: 0x2n
}, {
  a: -0x6dd3n,
  b: -0x5fn,
  r: -0x5an
}, {
  a: 0xe5n,
  b: -0x30n,
  r: 0x25n
}, {
  a: 0x99n,
  b: -0xedn,
  r: 0x99n
}, {
  a: 0x917n,
  b: -0xfn,
  r: 0x2n
}, {
  a: -0xff4an,
  b: 0x4n,
  r: -0x2n
}, {
  a: -0xbdn,
  b: -0x3n,
  r: 0n
}, {
  a: -0x8bn,
  b: 0x9n,
  r: -0x4n
}, {
  a: 0xf13n,
  b: 0xen,
  r: 0x9n
}, {
  a: 0xce31n,
  b: 0x7n,
  r: 0x5n
}, {
  a: 0xfba9n,
  b: -0x45n,
  r: 0x30n
}, {
  a: -0x8c1n,
  b: -0xbn,
  r: -0x8n
}, {
  a: 0x36dn,
  b: 0xdn,
  r: 0x6n
}, {
  a: 0x24fn,
  b: 0x13n,
  r: 0x2n
}, {
  a: -0x64an,
  b: -0x7n,
  r: 0n
}, {
  a: -0x68bn,
  b: -0x7n,
  r: -0x2n
}, {
  a: -0xe269n,
  b: -0xf0n,
  r: -0x79n
}, {
  a: 0x26fcn,
  b: 0x6n,
  r: 0x2n
}, {
  a: -0xdf64n,
  b: 0x74n,
  r: 0n
}, {
  a: 0x29n,
  b: 0xfn,
  r: 0xbn
}, {
  a: 0x2910n,
  b: 0x3n,
  r: 0n
}, {
  a: -0xad8n,
  b: -0x5n,
  r: -0x1n
}, {
  a: 0x2c7n,
  b: -0x7fn,
  r: 0x4cn
}, {
  a: -0xdfn,
  b: 0x4fn,
  r: -0x41n
}, {
  a: 0xa99n,
  b: 0x7n,
  r: 0x4n
}, {
  a: 0x181n,
  b: -0x9an,
  r: 0x4dn
}, {
  a: -0xc6n,
  b: 0x6cn,
  r: -0x5an
}, {
  a: -0xe6n,
  b: 0x1n,
  r: 0n
}, {
  a: -0xdbn,
  b: -0x4n,
  r: -0x3n
}, {
  a: -0xa8bn,
  b: -0xbn,
  r: -0x4n
}, {
  a: -0xe592n,
  b: 0x5n,
  r: 0n
}, {
  a: -0xae5n,
  b: -0x5n,
  r: -0x4n
}, {
  a: 0x4an,
  b: -0xd5n,
  r: 0x4an
}, {
  a: -0x2cn,
  b: 0x9n,
  r: -0x8n
}, {
  a: 0x3a32n,
  b: 0x4en,
  r: 0n
}, {
  a: -0xab8n,
  b: 0xen,
  r: 0n
}, {
  a: -0xe19n,
  b: -0x59n,
  r: -0x31n
}, {
  a: -0x7289n,
  b: 0x7n,
  r: -0x5n
}, {
  a: 0x3fn,
  b: -0x4n,
  r: 0x3n
}, {
  a: -0xe0n,
  b: 0x6n,
  r: -0x2n
}, {
  a: 0xbbn,
  b: -0x9n,
  r: 0x7n
}, {
  a: -0x5e81n,
  b: -0x8n,
  r: -0x1n
}, {
  a: 0xe84n,
  b: -0xa3n,
  r: 0x82n
}, {
  a: -0xe0n,
  b: 0x38n,
  r: 0n
}, {
  a: -0xb3d7n,
  b: -0xa6n,
  r: -0x39n
}, {
  a: 0x73n,
  b: -0x3n,
  r: 0x1n
}, {
  a: -0x517n,
  b: -0x97n,
  r: -0x5fn
}, {
  a: -0x1ccn,
  b: 0xfcn,
  r: -0xd0n
}, {
  a: 0x19n,
  b: -0xcbn,
  r: 0x19n
}, {
  a: 0x190n,
  b: 0x9n,
  r: 0x4n
}, {
  a: -0xcc62n,
  b: 0x16n,
  r: -0x6n
}, {
  a: -0xb819n,
  b: 0xcbn,
  r: -0x21n
}, {
  a: 0xaef6n,
  b: 0x5cn,
  r: 0x4en
}, {
  a: -0x8c9n,
  b: 0xd6n,
  r: -0x6dn
}, {
  a: -0x87n,
  b: 0x6n,
  r: -0x3n
}, {
  a: 0xa751n,
  b: 0x76n,
  r: 0x75n
}, {
  a: -0x7282n,
  b: -0xan,
  r: -0x4n
}];

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