// Copyright 2017, the V8 project authors. All rights reserved.
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are
// met:
//
//     * Redistributions of source code must retain the above copyright
//       notice, this list of conditions and the following disclaimer.
//     * Redistributions in binary form must reproduce the above
//       copyright notice, this list of conditions and the following
//       disclaimer in the documentation and/or other materials provided
//       with the distribution.
//     * Neither the name of Google Inc. nor the names of its
//       contributors may be used to endorse or promote products derived
//       from this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

// Generated by tools/bigint-tester.py.

var data = [{
  a: 0n,
  b: 0xefn,
  r: 0xefn
}, {
  a: 0n,
  b: -0x4n,
  r: -0x4n
}, {
  a: 0x2f1fn,
  b: 0x4fn,
  r: 0x2f6en
}, {
  a: 0x5n,
  b: 0x8ddn,
  r: 0x8e2n
}, {
  a: -0x274n,
  b: -0xdn,
  r: -0x281n
}, {
  a: 0xcn,
  b: 0xd34n,
  r: 0xd40n
}, {
  a: 0n,
  b: -0x93n,
  r: -0x93n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: -0x4cn,
  b: -0xc58n,
  r: -0xca4n
}, {
  a: -0x78an,
  b: 0x99ecn,
  r: 0x9262n
}, {
  a: 0xbbn,
  b: 0xfc4n,
  r: 0x107fn
}, {
  a: 0n,
  b: 0x25n,
  r: 0x25n
}, {
  a: 0n,
  b: 0x2dn,
  r: 0x2dn
}, {
  a: 0x6d43n,
  b: 0xacn,
  r: 0x6defn
}, {
  a: 0x5cdn,
  b: 0n,
  r: 0x5cdn
}, {
  a: -0x2f98n,
  b: 0x19bn,
  r: -0x2dfdn
}, {
  a: 0xa66an,
  b: -0x7fe5n,
  r: 0x2685n
}, {
  a: 0x489n,
  b: -0xen,
  r: 0x47bn
}, {
  a: -0xbf34n,
  b: -0xcn,
  r: -0xbf40n
}, {
  a: 0n,
  b: 0xan,
  r: 0xan
}, {
  a: 0xe7d1n,
  b: 0n,
  r: 0xe7d1n
}, {
  a: 0x38n,
  b: -0xb7n,
  r: -0x7fn
}, {
  a: 0xf97n,
  b: 0xan,
  r: 0xfa1n
}, {
  a: -0x321n,
  b: 0n,
  r: -0x321n
}, {
  a: -0x9f85n,
  b: 0xdn,
  r: -0x9f78n
}, {
  a: 0x9a59n,
  b: 0xbfn,
  r: 0x9b18n
}, {
  a: -0xfn,
  b: 0x1433n,
  r: 0x1424n
}, {
  a: -0xen,
  b: -0xcf8n,
  r: -0xd06n
}, {
  a: 0xe5n,
  b: 0xab0n,
  r: 0xb95n
}, {
  a: 0xe7n,
  b: -0x14b1n,
  r: -0x13can
}, {
  a: -0x31n,
  b: 0x9dn,
  r: 0x6cn
}, {
  a: 0x6f37n,
  b: -0xf69bn,
  r: -0x8764n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: -0x17can,
  b: 0n,
  r: -0x17can
}, {
  a: -0xdan,
  b: -0x234cn,
  r: -0x2426n
}, {
  a: 0xe2an,
  b: 0x6771n,
  r: 0x759bn
}, {
  a: 0xen,
  b: 0x36f0n,
  r: 0x36fen
}, {
  a: 0xen,
  b: 0n,
  r: 0xen
}, {
  a: 0n,
  b: 0x74bn,
  r: 0x74bn
}, {
  a: 0xddan,
  b: -0xdc7n,
  r: 0x13n
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: 0n,
  b: 0xfn,
  r: 0xfn
}, {
  a: -0xan,
  b: -0x4n,
  r: -0xen
}, {
  a: -0xbdn,
  b: -0x9797n,
  r: -0x9854n
}, {
  a: 0n,
  b: -0x9fn,
  r: -0x9fn
}, {
  a: 0xe4an,
  b: -0xen,
  r: 0xe3cn
}, {
  a: 0n,
  b: -0xef8n,
  r: -0xef8n
}, {
  a: 0n,
  b: -0xan,
  r: -0xan
}, {
  a: -0x4b9dn,
  b: 0xadf5n,
  r: 0x6258n
}, {
  a: -0x13n,
  b: 0x5n,
  r: -0xen
}, {
  a: 0n,
  b: -0x1a30n,
  r: -0x1a30n
}, {
  a: 0n,
  b: 0xfdn,
  r: 0xfdn
}, {
  a: 0xcn,
  b: 0x7n,
  r: 0x13n
}, {
  a: -0x6den,
  b: 0x2n,
  r: -0x6dcn
}, {
  a: -0x7n,
  b: -0xc67n,
  r: -0xc6en
}, {
  a: -0xcn,
  b: 0x2226n,
  r: 0x221an
}, {
  a: 0x731fn,
  b: 0xfee4n,
  r: 0x17203n
}, {
  a: -0x34een,
  b: 0n,
  r: -0x34een
}, {
  a: 0n,
  b: -0x7e6cn,
  r: -0x7e6cn
}, {
  a: 0xa180n,
  b: 0xc1n,
  r: 0xa241n
}, {
  a: 0n,
  b: -0xeben,
  r: -0xeben
}, {
  a: 0n,
  b: -0xc7c0n,
  r: -0xc7c0n
}, {
  a: 0x9n,
  b: 0n,
  r: 0x9n
}, {
  a: 0n,
  b: -0x7e67n,
  r: -0x7e67n
}, {
  a: -0x8c12n,
  b: 0x4d4en,
  r: -0x3ec4n
}, {
  a: -0x526n,
  b: -0x522cn,
  r: -0x5752n
}, {
  a: 0xbbd9n,
  b: 0xfe25n,
  r: 0x1b9fen
}, {
  a: 0x3aan,
  b: 0x3n,
  r: 0x3adn
}, {
  a: -0x1n,
  b: -0x31n,
  r: -0x32n
}, {
  a: 0x33n,
  b: -0x58aan,
  r: -0x5877n
}, {
  a: 0x797an,
  b: 0x5edn,
  r: 0x7f67n
}, {
  a: 0n,
  b: 0xdbn,
  r: 0xdbn
}, {
  a: 0xa9efn,
  b: -0x36en,
  r: 0xa681n
}, {
  a: -0xb2n,
  b: 0x9n,
  r: -0xa9n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: 0x24c0n,
  r: 0x24c6n
}, {
  a: -0x2n,
  b: -0xdbd4n,
  r: -0xdbd6n
}, {
  a: 0n,
  b: -0x7n,
  r: -0x7n
}, {
  a: -0x6cb5n,
  b: -0x5n,
  r: -0x6cban
}, {
  a: 0x4ben,
  b: -0xc1an,
  r: -0x75cn
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: 0x1cn,
  b: 0n,
  r: 0x1cn
}, {
  a: 0x482n,
  b: 0x2an,
  r: 0x4acn
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0xcen,
  b: 0x717n,
  r: 0x7e5n
}, {
  a: -0xen,
  b: -0x6n,
  r: -0x14n
}, {
  a: 0x70dn,
  b: 0x8668n,
  r: 0x8d75n
}, {
  a: 0n,
  b: 0xa95n,
  r: 0xa95n
}, {
  a: -0xc2efn,
  b: 0x1b2n,
  r: -0xc13dn
}, {
  a: 0xdf60n,
  b: -0xdn,
  r: 0xdf53n
}, {
  a: -0x9n,
  b: -0x6d1n,
  r: -0x6dan
}, {
  a: -0xfcd3n,
  b: 0x13n,
  r: -0xfcc0n
}, {
  a: 0x19en,
  b: 0x3643n,
  r: 0x37e1n
}, {
  a: 0n,
  b: 0x9dn,
  r: 0x9dn
}, {
  a: 0n,
  b: -0xf3fbn,
  r: -0xf3fbn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x9ben,
  b: 0xd43n,
  r: 0x1701n
}, {
  a: -0x8n,
  b: -0xan,
  r: -0x12n
}, {
  a: 0xbfan,
  b: 0n,
  r: 0xbfan
}, {
  a: -0x58a4n,
  b: -0xcn,
  r: -0x58b0n
}, {
  a: -0xb8d3n,
  b: 0n,
  r: -0xb8d3n
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: 0xf74n,
  b: 0n,
  r: 0xf74n
}, {
  a: 0x22d9n,
  b: 0xfb97n,
  r: 0x11e70n
}, {
  a: 0n,
  b: 0x169n,
  r: 0x169n
}, {
  a: -0x84n,
  b: 0xan,
  r: -0x7an
}, {
  a: -0x6629n,
  b: -0x375en,
  r: -0x9d87n
}, {
  a: -0xaan,
  b: 0x3n,
  r: -0xa7n
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0x91n,
  b: -0xb37n,
  r: -0xaa6n
}, {
  a: 0xb36n,
  b: 0x612bn,
  r: 0x6c61n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xb1cn,
  b: 0x61n,
  r: 0xb7dn
}, {
  a: -0xdn,
  b: 0x8n,
  r: -0x5n
}, {
  a: 0n,
  b: -0xb9n,
  r: -0xb9n
}, {
  a: 0xfn,
  b: 0xaan,
  r: 0xb9n
}, {
  a: 0xec4n,
  b: -0x6105n,
  r: -0x5241n
}, {
  a: -0x6n,
  b: -0x7d3n,
  r: -0x7d9n
}, {
  a: -0x972en,
  b: 0n,
  r: -0x972en
}, {
  a: 0x1n,
  b: -0x39n,
  r: -0x38n
}, {
  a: 0n,
  b: 0x19n,
  r: 0x19n
}, {
  a: 0x48adn,
  b: -0x1dn,
  r: 0x4890n
}, {
  a: -0x3a11n,
  b: -0xbn,
  r: -0x3a1cn
}, {
  a: 0n,
  b: 0xf2n,
  r: 0xf2n
}, {
  a: -0x6n,
  b: -0x3n,
  r: -0x9n
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: -0xfn,
  b: 0x6n,
  r: -0x9n
}, {
  a: 0x50n,
  b: 0n,
  r: 0x50n
}, {
  a: -0xccn,
  b: 0n,
  r: -0xccn
}, {
  a: -0x96a9n,
  b: -0x8n,
  r: -0x96b1n
}, {
  a: -0x709n,
  b: 0n,
  r: -0x709n
}, {
  a: -0xea3n,
  b: 0xb3fn,
  r: -0x364n
}, {
  a: -0xe36n,
  b: -0x6n,
  r: -0xe3cn
}, {
  a: -0x43n,
  b: 0n,
  r: -0x43n
}, {
  a: 0x5cn,
  b: -0xdn,
  r: 0x4fn
}, {
  a: -0xcan,
  b: -0x458fn,
  r: -0x4659n
}, {
  a: 0xb39n,
  b: -0x85n,
  r: 0xab4n
}, {
  a: 0x63n,
  b: 0n,
  r: 0x63n
}, {
  a: -0xbadn,
  b: -0x702n,
  r: -0x12afn
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0n,
  b: 0x6n,
  r: 0x6n
}, {
  a: -0xf277n,
  b: -0xf2dbn,
  r: -0x1e552n
}, {
  a: 0x59dn,
  b: 0x9aen,
  r: 0xf4bn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x48n,
  b: -0x25b0n,
  r: -0x2568n
}, {
  a: -0x4n,
  b: 0x72fn,
  r: 0x72bn
}, {
  a: -0xc71n,
  b: 0xc08n,
  r: -0x69n
}, {
  a: -0xbn,
  b: -0xa5dn,
  r: -0xa68n
}, {
  a: 0n,
  b: -0x54cn,
  r: -0x54cn
}, {
  a: -0x57n,
  b: 0n,
  r: -0x57n
}, {
  a: 0xbdn,
  b: -0x5033n,
  r: -0x4f76n
}, {
  a: 0x9c4n,
  b: 0x5d76n,
  r: 0x673an
}, {
  a: 0x224an,
  b: 0x3afn,
  r: 0x25f9n
}, {
  a: -0xdn,
  b: -0x89n,
  r: -0x96n
}, {
  a: 0x97a1n,
  b: 0x2n,
  r: 0x97a3n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x630n,
  b: -0x55n,
  r: -0x685n
}, {
  a: 0x11n,
  b: -0x5dn,
  r: -0x4cn
}, {
  a: -0xccn,
  b: 0x6cn,
  r: -0x60n
}, {
  a: 0n,
  b: 0x4b0dn,
  r: 0x4b0dn
}, {
  a: 0xcf0n,
  b: 0x1an,
  r: 0xd0an
}, {
  a: 0x9e78n,
  b: -0xefcn,
  r: 0x8f7cn
}, {
  a: 0x329n,
  b: 0n,
  r: 0x329n
}, {
  a: 0n,
  b: -0xe4n,
  r: -0xe4n
}, {
  a: 0x193n,
  b: 0n,
  r: 0x193n
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: -0x1bn,
  b: 0xb6n,
  r: 0x9bn
}, {
  a: 0x6ean,
  b: -0x69n,
  r: 0x681n
}, {
  a: 0n,
  b: -0xe15n,
  r: -0xe15n
}, {
  a: 0n,
  b: -0xfaa8n,
  r: -0xfaa8n
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0n,
  b: 0xe02n,
  r: 0xe02n
}, {
  a: -0x4n,
  b: -0x4n,
  r: -0x8n
}, {
  a: 0xdn,
  b: 0x85d7n,
  r: 0x85e4n
}, {
  a: -0xbcn,
  b: -0x58f3n,
  r: -0x59afn
}, {
  a: -0x5an,
  b: 0n,
  r: -0x5an
}, {
  a: -0x7n,
  b: -0x17bn,
  r: -0x182n
}, {
  a: -0x933n,
  b: 0xbn,
  r: -0x928n
}, {
  a: 0xdn,
  b: 0x3n,
  r: 0x10n
}, {
  a: 0n,
  b: 0x2n,
  r: 0x2n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: 0x88n,
  b: 0n,
  r: 0x88n
}, {
  a: -0xfn,
  b: -0x71n,
  r: -0x80n
}, {
  a: 0xab07n,
  b: -0x6n,
  r: 0xab01n
}, {
  a: 0xbn,
  b: 0x6n,
  r: 0x11n
}, {
  a: -0xa82n,
  b: 0xf582n,
  r: 0xeb00n
}, {
  a: 0x43an,
  b: -0x5n,
  r: 0x435n
}, {
  a: 0n,
  b: 0x4n,
  r: 0x4n
}, {
  a: 0n,
  b: -0xc1f3n,
  r: -0xc1f3n
}, {
  a: -0x390en,
  b: 0xc036n,
  r: 0x8728n
}, {
  a: -0x54e8n,
  b: 0n,
  r: -0x54e8n
}, {
  a: -0x685n,
  b: 0x9186n,
  r: 0x8b01n
}, {
  a: 0x53n,
  b: 0xdcan,
  r: 0xe1dn
}, {
  a: -0xaa92n,
  b: 0n,
  r: -0xaa92n
}, {
  a: -0x13a7n,
  b: 0xf8fn,
  r: -0x418n
}, {
  a: 0xd27n,
  b: -0xbn,
  r: 0xd1cn
}, {
  a: -0x4ean,
  b: 0xdbn,
  r: -0x40fn
}, {
  a: -0x5d2n,
  b: 0x7fn,
  r: -0x553n
}, {
  a: -0xen,
  b: 0x8ba3n,
  r: 0x8b95n
}, {
  a: -0x2an,
  b: 0xf4dn,
  r: 0xf23n
}, {
  a: 0x9n,
  b: -0xf20n,
  r: -0xf17n
}, {
  a: -0x31n,
  b: -0x1n,
  r: -0x32n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x53n,
  b: -0xbbn,
  r: -0x10en
}, {
  a: 0n,
  b: 0x1n,
  r: 0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x218n,
  b: 0n,
  r: -0x218n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x3b7n,
  b: -0x17n,
  r: -0x3cen
}, {
  a: 0x1n,
  b: 0x883n,
  r: 0x884n
}, {
  a: -0xdb0n,
  b: 0x6n,
  r: -0xdaan
}, {
  a: -0x74bcn,
  b: -0x400n,
  r: -0x78bcn
}, {
  a: -0xfb6an,
  b: 0xe5en,
  r: -0xed0cn
}, {
  a: 0x1a66n,
  b: 0xben,
  r: 0x1b24n
}, {
  a: 0x1bn,
  b: -0xe6bn,
  r: -0xe50n
}, {
  a: -0x8229n,
  b: 0n,
  r: -0x8229n
}, {
  a: -0x7bn,
  b: 0xb2bn,
  r: 0xab0n
}, {
  a: -0xan,
  b: 0n,
  r: -0xan
}, {
  a: -0xbn,
  b: 0n,
  r: -0xbn
}, {
  a: 0xd1n,
  b: -0x465n,
  r: -0x394n
}, {
  a: 0x9d27n,
  b: -0x4edan,
  r: 0x4e4dn
}, {
  a: 0xdbefn,
  b: -0x47n,
  r: 0xdba8n
}, {
  a: 0x2n,
  b: 0x3n,
  r: 0x5n
}, {
  a: 0x3676n,
  b: 0n,
  r: 0x3676n
}, {
  a: 0n,
  b: 0x9a14n,
  r: 0x9a14n
}, {
  a: -0x44n,
  b: 0n,
  r: -0x44n
}, {
  a: -0x466dn,
  b: -0x15n,
  r: -0x4682n
}, {
  a: 0n,
  b: 0x51n,
  r: 0x51n
}, {
  a: -0xa4dn,
  b: 0x8n,
  r: -0xa45n
}, {
  a: -0x6an,
  b: -0xd73n,
  r: -0xdddn
}, {
  a: 0x44n,
  b: -0x684n,
  r: -0x640n
}, {
  a: 0x9337n,
  b: 0n,
  r: 0x9337n
}, {
  a: -0xan,
  b: 0x94n,
  r: 0x8an
}, {
  a: 0xccn,
  b: -0x4a9n,
  r: -0x3ddn
}, {
  a: 0xbdd0n,
  b: 0xbn,
  r: 0xbddbn
}, {
  a: 0x3bcen,
  b: 0x59n,
  r: 0x3c27n
}, {
  a: -0xe491n,
  b: 0x1n,
  r: -0xe490n
}, {
  a: -0x3f3dn,
  b: -0x1e8n,
  r: -0x4125n
}, {
  a: 0x5dd7n,
  b: -0xcn,
  r: 0x5dcbn
}, {
  a: -0x11n,
  b: -0x4n,
  r: -0x15n
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: -0x5d5n,
  b: 0x2n,
  r: -0x5d3n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: 0xd3fn,
  b: 0xb2n,
  r: 0xdf1n
}, {
  a: 0x9n,
  b: -0x4n,
  r: 0x5n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: 0xfn,
  r: 0n
}, {
  a: -0x3ee9n,
  b: 0xa062n,
  r: 0x6179n
}, {
  a: 0x832n,
  b: 0xe3n,
  r: 0x915n
}, {
  a: 0xe4n,
  b: -0xf0dn,
  r: -0xe29n
}, {
  a: 0x742n,
  b: 0x5dn,
  r: 0x79fn
}, {
  a: 0n,
  b: 0x445n,
  r: 0x445n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x97b3n,
  b: 0n,
  r: 0x97b3n
}, {
  a: -0x5b10n,
  b: -0x1c0n,
  r: -0x5cd0n
}, {
  a: 0xac0n,
  b: 0xc62n,
  r: 0x1722n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x77n,
  b: -0xe2n,
  r: -0x6bn
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: -0xccn,
  b: 0xee9n,
  r: 0xe1dn
}, {
  a: 0xb6n,
  b: 0n,
  r: 0xb6n
}, {
  a: -0x1an,
  b: 0n,
  r: -0x1an
}, {
  a: -0x82ccn,
  b: 0x4d9n,
  r: -0x7df3n
}, {
  a: 0xacn,
  b: 0x3a6n,
  r: 0x452n
}, {
  a: -0xb6n,
  b: 0x9dn,
  r: -0x19n
}, {
  a: -0x81dan,
  b: -0xf9a9n,
  r: -0x17b83n
}, {
  a: -0x12n,
  b: 0n,
  r: -0x12n
}, {
  a: 0x5208n,
  b: -0xbcdn,
  r: 0x463bn
}, {
  a: 0x9n,
  b: -0x23en,
  r: -0x235n
}, {
  a: 0xea6n,
  b: 0x6911n,
  r: 0x77b7n
}, {
  a: -0xbe6n,
  b: -0x1dn,
  r: -0xc03n
}, {
  a: -0x2ea1n,
  b: 0xcca0n,
  r: 0x9dffn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x2dn,
  b: -0x2n,
  r: -0x2fn
}, {
  a: -0xan,
  b: 0xa66n,
  r: 0xa5cn
}, {
  a: 0x291en,
  b: -0x746dn,
  r: -0x4b4fn
}, {
  a: -0x87n,
  b: -0xd6fn,
  r: -0xdf6n
}, {
  a: 0x5155n,
  b: 0n,
  r: 0x5155n
}, {
  a: -0x921n,
  b: -0x175n,
  r: -0xa96n
}, {
  a: 0x6dcn,
  b: 0n,
  r: 0x6dcn
}, {
  a: 0n,
  b: -0xd347n,
  r: -0xd347n
}, {
  a: 0xen,
  b: 0xf94n,
  r: 0xfa2n
}, {
  a: 0x646n,
  b: 0xbn,
  r: 0x651n
}, {
  a: -0xa24n,
  b: -0x274n,
  r: -0xc98n
}, {
  a: 0xe8n,
  b: -0x7n,
  r: 0xe1n
}, {
  a: -0x33n,
  b: 0xb71n,
  r: 0xb3en
}, {
  a: -0x192n,
  b: 0n,
  r: -0x192n
}, {
  a: 0n,
  b: -0x7n,
  r: -0x7n
}, {
  a: 0n,
  b: -0xb8n,
  r: -0xb8n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xen,
  b: 0xccn,
  r: 0xdan
}, {
  a: -0x6a92n,
  b: 0x31n,
  r: -0x6a61n
}, {
  a: -0xbb69n,
  b: 0xen,
  r: -0xbb5bn
}, {
  a: 0x6540n,
  b: -0xda1n,
  r: 0x579fn
}, {
  a: 0xe4n,
  b: -0xdan,
  r: 0xan
}, {
  a: 0xcdn,
  b: 0n,
  r: 0xcdn
}, {
  a: -0x8n,
  b: 0x9n,
  r: 0x1n
}, {
  a: -0xbcban,
  b: 0n,
  r: -0xbcban
}, {
  a: 0xan,
  b: 0xa22dn,
  r: 0xa237n
}, {
  a: -0x7an,
  b: 0n,
  r: -0x7an
}, {
  a: -0x4n,
  b: -0xd8n,
  r: -0xdcn
}, {
  a: 0n,
  b: 0x362cn,
  r: 0x362cn
}, {
  a: 0x619an,
  b: 0n,
  r: 0x619an
}, {
  a: 0xfbn,
  b: -0x2n,
  r: 0xf9n
}, {
  a: 0n,
  b: -0x32n,
  r: -0x32n
}, {
  a: -0x1d4fn,
  b: 0x29bn,
  r: -0x1ab4n
}, {
  a: 0x8790n,
  b: 0xbn,
  r: 0x879bn
}, {
  a: 0xf10n,
  b: -0x8422n,
  r: -0x7512n
}, {
  a: 0x6063n,
  b: -0x2b45n,
  r: 0x351en
}, {
  a: 0x4n,
  b: 0x8n,
  r: 0xcn
}, {
  a: -0x90fn,
  b: 0x6n,
  r: -0x909n
}, {
  a: 0x9dn,
  b: 0x87n,
  r: 0x124n
}, {
  a: -0x2n,
  b: -0xa70n,
  r: -0xa72n
}, {
  a: 0x1002n,
  b: 0n,
  r: 0x1002n
}, {
  a: -0x72n,
  b: 0xe6n,
  r: 0x74n
}, {
  a: 0xb6n,
  b: 0xffcn,
  r: 0x10b2n
}, {
  a: 0n,
  b: -0x73n,
  r: -0x73n
}, {
  a: -0xe0n,
  b: 0x7fn,
  r: -0x61n
}, {
  a: 0x58fn,
  b: 0n,
  r: 0x58fn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xcden,
  b: 0n,
  r: 0xcden
}, {
  a: -0x40dcn,
  b: -0xen,
  r: -0x40ean
}, {
  a: -0x481dn,
  b: 0x41n,
  r: -0x47dcn
}, {
  a: -0x5d45n,
  b: -0x66fn,
  r: -0x63b4n
}, {
  a: 0xd453n,
  b: 0n,
  r: 0xd453n
}, {
  a: -0x5b8n,
  b: 0n,
  r: -0x5b8n
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: 0n,
  b: -0x4868n,
  r: -0x4868n
}, {
  a: 0x39n,
  b: -0xaf8en,
  r: -0xaf55n
}, {
  a: 0xe879n,
  b: 0xeb4n,
  r: 0xf72dn
}, {
  a: -0xaa0n,
  b: -0xb5dn,
  r: -0x15fdn
}, {
  a: 0n,
  b: -0x5n,
  r: -0x5n
}, {
  a: -0xa6adn,
  b: 0x83c7n,
  r: -0x22e6n
}, {
  a: -0x23n,
  b: 0x6d14n,
  r: 0x6cf1n
}, {
  a: 0x6341n,
  b: 0xbn,
  r: 0x634cn
}, {
  a: -0x70bn,
  b: 0x1an,
  r: -0x6f1n
}, {
  a: -0xfb3n,
  b: -0x1n,
  r: -0xfb4n
}, {
  a: 0x608n,
  b: 0xc654n,
  r: 0xcc5cn
}, {
  a: -0x9n,
  b: 0xfn,
  r: 0x6n
}, {
  a: 0n,
  b: 0xa8e2n,
  r: 0xa8e2n
}, {
  a: 0x1e9n,
  b: -0x6een,
  r: -0x505n
}, {
  a: 0n,
  b: -0xaa6an,
  r: -0xaa6an
}, {
  a: -0x74n,
  b: -0x7fcn,
  r: -0x870n
}, {
  a: 0xc8fdn,
  b: -0x827cn,
  r: 0x4681n
}, {
  a: 0x8n,
  b: 0xa9fn,
  r: 0xaa7n
}, {
  a: -0x92bn,
  b: 0n,
  r: -0x92bn
}, {
  a: 0xd6n,
  b: 0x9c1n,
  r: 0xa97n
}, {
  a: 0n,
  b: -0x5n,
  r: -0x5n
}, {
  a: -0xd53n,
  b: -0xcbn,
  r: -0xe1en
}, {
  a: 0x1b92n,
  b: 0xbb9n,
  r: 0x274bn
}, {
  a: 0x4a6n,
  b: -0x93c8n,
  r: -0x8f22n
}, {
  a: 0x7d12n,
  b: -0x27ffn,
  r: 0x5513n
}, {
  a: -0x4454n,
  b: 0xc43n,
  r: -0x3811n
}, {
  a: -0x206n,
  b: -0xdn,
  r: -0x213n
}, {
  a: -0x5n,
  b: 0xfn,
  r: 0xan
}, {
  a: -0xan,
  b: -0xd39n,
  r: -0xd43n
}, {
  a: 0x177n,
  b: -0xf8edn,
  r: -0xf776n
}, {
  a: -0x1a7an,
  b: -0x5n,
  r: -0x1a7fn
}, {
  a: -0xbdcn,
  b: -0xe002n,
  r: -0xebden
}, {
  a: 0x83n,
  b: 0x8n,
  r: 0x8bn
}, {
  a: 0x258dn,
  b: -0x6d26n,
  r: -0x4799n
}, {
  a: -0x65n,
  b: 0xa44n,
  r: 0x9dfn
}, {
  a: 0x927n,
  b: 0n,
  r: 0x927n
}, {
  a: -0x59bn,
  b: -0xdcan,
  r: -0x1365n
}, {
  a: 0n,
  b: -0x9b56n,
  r: -0x9b56n
}, {
  a: -0x2d5cn,
  b: 0x3cn,
  r: -0x2d20n
}, {
  a: 0x6n,
  b: -0xcbn,
  r: -0xc5n
}, {
  a: 0x687bn,
  b: 0x9an,
  r: 0x6915n
}, {
  a: -0x68ben,
  b: 0n,
  r: -0x68ben
}, {
  a: 0x42fn,
  b: 0n,
  r: 0x42fn
}, {
  a: -0xcn,
  b: -0x607cn,
  r: -0x6088n
}, {
  a: 0xebn,
  b: -0xf4cn,
  r: -0xe61n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0x3719n,
  b: 0x639cn,
  r: 0x2c83n
}, {
  a: -0x58n,
  b: -0x2361n,
  r: -0x23b9n
}, {
  a: -0x624n,
  b: 0n,
  r: -0x624n
}, {
  a: 0x5235n,
  b: 0n,
  r: 0x5235n
}, {
  a: 0x237cn,
  b: 0x965n,
  r: 0x2ce1n
}, {
  a: -0xe0n,
  b: 0n,
  r: -0xe0n
}, {
  a: -0x24n,
  b: -0x9n,
  r: -0x2dn
}, {
  a: 0xaan,
  b: 0x96n,
  r: 0x140n
}, {
  a: -0x24e4n,
  b: 0x6fden,
  r: 0x4afan
}, {
  a: -0xf2n,
  b: 0x5n,
  r: -0xedn
}, {
  a: -0x40edn,
  b: 0n,
  r: -0x40edn
}, {
  a: 0n,
  b: -0xfc33n,
  r: -0xfc33n
}, {
  a: 0x96n,
  b: 0xbfn,
  r: 0x155n
}, {
  a: -0x7an,
  b: -0xdn,
  r: -0x87n
}, {
  a: -0xae3n,
  b: 0x2n,
  r: -0xae1n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: 0x53fn,
  b: 0x8d7n,
  r: 0xe16n
}, {
  a: 0n,
  b: 0x820n,
  r: 0x820n
}, {
  a: -0x1en,
  b: 0xbn,
  r: -0x13n
}, {
  a: 0xfdd0n,
  b: 0xdfcn,
  r: 0x10bccn
}, {
  a: -0x1n,
  b: -0xb5bn,
  r: -0xb5cn
}, {
  a: 0n,
  b: -0x9n,
  r: -0x9n
}, {
  a: -0x825bn,
  b: 0xf99n,
  r: -0x72c2n
}, {
  a: 0n,
  b: -0x1ee0n,
  r: -0x1ee0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x8256n,
  b: -0x467cn,
  r: -0xc8d2n
}, {
  a: 0n,
  b: 0x8n,
  r: 0x8n
}, {
  a: 0x28an,
  b: -0xbfan,
  r: -0x970n
}, {
  a: -0xbn,
  b: -0xf3n,
  r: -0xfen
}, {
  a: -0x1becn,
  b: 0x70dan,
  r: 0x54een
}, {
  a: -0x6n,
  b: -0x9bd8n,
  r: -0x9bden
}, {
  a: 0x465cn,
  b: -0x8n,
  r: 0x4654n
}, {
  a: 0x46en,
  b: -0xc4n,
  r: 0x3aan
}, {
  a: 0x562n,
  b: 0x2b7en,
  r: 0x30e0n
}, {
  a: 0xcn,
  b: 0x5n,
  r: 0x11n
}, {
  a: -0xb3n,
  b: 0xcn,
  r: -0xa7n
}, {
  a: -0xec2n,
  b: -0x5n,
  r: -0xec7n
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: -0xd70n,
  b: 0x7n,
  r: -0xd69n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x3edn,
  b: -0x1a98n,
  r: -0x16abn
}, {
  a: 0x4cn,
  b: -0x7fn,
  r: -0x33n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x4871n,
  r: 0x4871n
}, {
  a: 0xbefn,
  b: -0x3n,
  r: 0xbecn
}, {
  a: 0x9acen,
  b: -0xc64n,
  r: 0x8e6an
}, {
  a: 0n,
  b: -0x11e3n,
  r: -0x11e3n
}, {
  a: 0n,
  b: 0x90en,
  r: 0x90en
}, {
  a: 0xf157n,
  b: 0n,
  r: 0xf157n
}, {
  a: 0x7n,
  b: -0x867n,
  r: -0x860n
}, {
  a: -0xen,
  b: 0x2n,
  r: -0xcn
}, {
  a: -0x4n,
  b: 0x1fd0n,
  r: 0x1fccn
}, {
  a: 0n,
  b: 0x9n,
  r: 0x9n
}, {
  a: 0xf3n,
  b: -0xbe7fn,
  r: -0xbd8cn
}, {
  a: -0x2en,
  b: 0n,
  r: -0x2en
}, {
  a: -0x42n,
  b: 0x7ean,
  r: 0x7a8n
}, {
  a: 0x8844n,
  b: -0x6d88n,
  r: 0x1abcn
}, {
  a: -0x24n,
  b: -0xdn,
  r: -0x31n
}, {
  a: -0xbn,
  b: -0xeen,
  r: -0xf9n
}, {
  a: 0n,
  b: -0xabn,
  r: -0xabn
}, {
  a: 0x5bd4n,
  b: -0x73n,
  r: 0x5b61n
}, {
  a: -0x76n,
  b: 0n,
  r: -0x76n
}, {
  a: -0x21n,
  b: 0x3n,
  r: -0x1en
}, {
  a: 0n,
  b: 0x9bn,
  r: 0x9bn
}, {
  a: -0x36c8n,
  b: -0xbn,
  r: -0x36d3n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xden,
  b: 0n,
  r: -0xden
}, {
  a: -0x4961n,
  b: 0x48n,
  r: -0x4919n
}, {
  a: 0x3n,
  b: -0x8b2cn,
  r: -0x8b29n
}, {
  a: -0x88f1n,
  b: 0xe2n,
  r: -0x880fn
}, {
  a: -0x4n,
  b: -0xa95an,
  r: -0xa95en
}, {
  a: -0xebn,
  b: 0x1n,
  r: -0xean
}, {
  a: -0x2n,
  b: 0x1n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xb40n,
  r: 0xb40n
}, {
  a: 0x39n,
  b: -0x874n,
  r: -0x83bn
}, {
  a: -0xc2n,
  b: 0xd29n,
  r: 0xc67n
}, {
  a: 0x43n,
  b: 0x36an,
  r: 0x3adn
}, {
  a: -0x441n,
  b: 0xc278n,
  r: 0xbe37n
}, {
  a: 0x50n,
  b: -0xa5n,
  r: -0x55n
}, {
  a: 0xb6cn,
  b: 0x9d6n,
  r: 0x1542n
}, {
  a: 0xcn,
  b: -0xa8an,
  r: -0xa7en
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: 0n,
  b: -0x6n,
  r: -0x6n
}, {
  a: 0n,
  b: 0x765n,
  r: 0x765n
}, {
  a: -0xbn,
  b: 0x6n,
  r: -0x5n
}, {
  a: -0x86aen,
  b: 0xf44cn,
  r: 0x6d9en
}, {
  a: -0xc98n,
  b: -0xf0fan,
  r: -0xfd92n
}, {
  a: 0x68n,
  b: 0n,
  r: 0x68n
}, {
  a: -0x95n,
  b: -0x1n,
  r: -0x96n
}, {
  a: 0xa2dcn,
  b: 0x2492n,
  r: 0xc76en
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x3bdn,
  b: 0x2d62n,
  r: 0x29a5n
}, {
  a: -0xa944n,
  b: -0xeen,
  r: -0xaa32n
}, {
  a: 0xd5n,
  b: -0xfn,
  r: 0xc6n
}, {
  a: 0x316n,
  b: 0x33n,
  r: 0x349n
}, {
  a: -0x8n,
  b: -0xan,
  r: -0x12n
}, {
  a: -0xa59n,
  b: -0x9n,
  r: -0xa62n
}, {
  a: 0n,
  b: -0xen,
  r: -0xen
}, {
  a: -0xfn,
  b: -0x732n,
  r: -0x741n
}, {
  a: 0n,
  b: 0xeacn,
  r: 0xeacn
}, {
  a: -0x1en,
  b: 0n,
  r: -0x1en
}, {
  a: 0xfb5n,
  b: 0xf4n,
  r: 0x10a9n
}, {
  a: 0xfn,
  b: -0x5n,
  r: 0xan
}, {
  a: 0x98n,
  b: 0x7an,
  r: 0x112n
}, {
  a: 0n,
  b: 0x6an,
  r: 0x6an
}, {
  a: 0xe7en,
  b: -0xfn,
  r: 0xe6fn
}, {
  a: 0x2n,
  b: -0x99n,
  r: -0x97n
}, {
  a: 0x60n,
  b: -0xa3a9n,
  r: -0xa349n
}, {
  a: 0x3bn,
  b: 0x7n,
  r: 0x42n
}, {
  a: 0n,
  b: 0x920n,
  r: 0x920n
}, {
  a: 0x5en,
  b: 0n,
  r: 0x5en
}, {
  a: -0x3b2n,
  b: -0x5ffn,
  r: -0x9b1n
}, {
  a: -0x98n,
  b: 0xen,
  r: -0x8an
}, {
  a: -0x5f1n,
  b: 0n,
  r: -0x5f1n
}, {
  a: -0x51n,
  b: 0n,
  r: -0x51n
}, {
  a: -0x9n,
  b: -0xa4bn,
  r: -0xa54n
}, {
  a: 0xfd7dn,
  b: -0x3cn,
  r: 0xfd41n
}, {
  a: 0n,
  b: -0x61edn,
  r: -0x61edn
}, {
  a: 0xceean,
  b: 0x5n,
  r: 0xceefn
}, {
  a: -0xb0n,
  b: -0xd667n,
  r: -0xd717n
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0n,
  b: 0xbd9n,
  r: 0xbd9n
}, {
  a: -0xf1n,
  b: 0x554cn,
  r: 0x545bn
}, {
  a: 0n,
  b: 0xcn,
  r: 0xcn
}, {
  a: -0xb5afn,
  b: -0x6n,
  r: -0xb5b5n
}, {
  a: -0xcn,
  b: 0x9bn,
  r: 0x8fn
}, {
  a: -0x696n,
  b: -0xen,
  r: -0x6a4n
}, {
  a: -0xad3an,
  b: -0xb94n,
  r: -0xb8cen
}, {
  a: 0x2c4n,
  b: -0x5en,
  r: 0x266n
}, {
  a: 0xc963n,
  b: -0x3480n,
  r: 0x94e3n
}, {
  a: 0x8e6cn,
  b: 0n,
  r: 0x8e6cn
}, {
  a: -0xbn,
  b: 0x1n,
  r: -0xan
}, {
  a: 0xe9dan,
  b: 0x675fn,
  r: 0x15139n
}, {
  a: -0xe8n,
  b: 0x984n,
  r: 0x89cn
}, {
  a: 0x2n,
  b: -0x9a8n,
  r: -0x9a6n
}, {
  a: 0x5n,
  b: 0x9dn,
  r: 0xa2n
}, {
  a: 0xd7n,
  b: -0x2n,
  r: 0xd5n
}, {
  a: 0xa34n,
  b: -0xf9b6n,
  r: -0xef82n
}, {
  a: -0x9n,
  b: -0x386n,
  r: -0x38fn
}, {
  a: -0x8n,
  b: 0x4n,
  r: -0x4n
}, {
  a: 0n,
  b: -0xaccn,
  r: -0xaccn
}, {
  a: 0xa0b1n,
  b: -0x9n,
  r: 0xa0a8n
}, {
  a: -0xe6n,
  b: 0n,
  r: -0xe6n
}, {
  a: -0xbe2bn,
  b: 0x6n,
  r: -0xbe25n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: 0xe0n,
  b: -0x96bn,
  r: -0x88bn
}, {
  a: -0x447n,
  b: 0xb60n,
  r: 0x719n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x7n,
  b: 0n,
  r: 0x7n
}, {
  a: 0xae3n,
  b: 0x88een,
  r: 0x93d1n
}, {
  a: -0x8f9n,
  b: 0x4559n,
  r: 0x3c60n
}, {
  a: -0xc04n,
  b: 0n,
  r: -0xc04n
}, {
  a: 0n,
  b: -0x113n,
  r: -0x113n
}, {
  a: 0n,
  b: -0xe966n,
  r: -0xe966n
}, {
  a: 0n,
  b: -0xdf8n,
  r: -0xdf8n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x16n,
  b: -0x28n,
  r: -0x3en
}, {
  a: 0n,
  b: -0x494n,
  r: -0x494n
}, {
  a: 0x4n,
  b: -0xbn,
  r: -0x7n
}, {
  a: -0x55fan,
  b: -0x74dn,
  r: -0x5d47n
}, {
  a: 0xe79n,
  b: 0n,
  r: 0xe79n
}, {
  a: 0xe5n,
  b: 0n,
  r: 0xe5n
}, {
  a: 0n,
  b: 0x4188n,
  r: 0x4188n
}, {
  a: -0x8en,
  b: -0x7f0n,
  r: -0x87en
}, {
  a: 0x12an,
  b: 0n,
  r: 0x12an
}, {
  a: 0xan,
  b: -0xffn,
  r: -0xf5n
}, {
  a: -0xf4n,
  b: -0x5n,
  r: -0xf9n
}, {
  a: -0x9209n,
  b: -0xa49n,
  r: -0x9c52n
}, {
  a: -0xdn,
  b: 0xbn,
  r: -0x2n
}, {
  a: 0x7n,
  b: 0x4n,
  r: 0xbn
}, {
  a: 0x41a3n,
  b: -0xd83cn,
  r: -0x9699n
}, {
  a: 0x6dn,
  b: -0x5589n,
  r: -0x551cn
}, {
  a: 0n,
  b: -0x4n,
  r: -0x4n
}, {
  a: 0n,
  b: -0xaf52n,
  r: -0xaf52n
}, {
  a: -0xe84en,
  b: 0xe04n,
  r: -0xda4an
}, {
  a: -0xe2n,
  b: 0x2416n,
  r: 0x2334n
}, {
  a: -0xd0an,
  b: 0n,
  r: -0xd0an
}, {
  a: -0x71n,
  b: -0x7n,
  r: -0x78n
}, {
  a: 0x4n,
  b: -0x94bn,
  r: -0x947n
}, {
  a: 0xacn,
  b: 0n,
  r: 0xacn
}, {
  a: 0n,
  b: 0xan,
  r: 0xan
}, {
  a: 0x788en,
  b: 0x573n,
  r: 0x7e01n
}, {
  a: -0xe8n,
  b: -0x472bn,
  r: -0x4813n
}, {
  a: -0x6aan,
  b: -0x201n,
  r: -0x8abn
}, {
  a: 0n,
  b: -0xcn,
  r: -0xcn
}, {
  a: -0x51en,
  b: -0x8dn,
  r: -0x5abn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x9n,
  b: 0xd68n,
  r: 0xd5fn
}, {
  a: -0x2n,
  b: 0x23a9n,
  r: 0x23a7n
}, {
  a: 0n,
  b: 0x4n,
  r: 0x4n
}, {
  a: 0xf64n,
  b: 0n,
  r: 0xf64n
}, {
  a: -0xcn,
  b: 0xadn,
  r: 0xa1n
}, {
  a: -0xf890n,
  b: 0n,
  r: -0xf890n
}, {
  a: -0xd0e9n,
  b: 0x99n,
  r: -0xd050n
}, {
  a: -0x31n,
  b: 0xbn,
  r: -0x26n
}, {
  a: 0n,
  b: -0xfn,
  r: -0xfn
}, {
  a: -0x1e98n,
  b: 0n,
  r: -0x1e98n
}, {
  a: -0x8n,
  b: 0xf8n,
  r: 0xf0n
}, {
  a: 0n,
  b: 0xcb0n,
  r: 0xcb0n
}, {
  a: -0x20n,
  b: 0x2bn,
  r: 0xbn
}, {
  a: 0x4n,
  b: 0x5n,
  r: 0x9n
}, {
  a: 0n,
  b: 0xan,
  r: 0xan
}, {
  a: -0xdd4n,
  b: -0xda6n,
  r: -0x1b7an
}, {
  a: 0x7a0bn,
  b: -0x1d5n,
  r: 0x7836n
}, {
  a: -0xefn,
  b: 0n,
  r: -0xefn
}, {
  a: 0x700an,
  b: 0n,
  r: 0x700an
}, {
  a: -0x711n,
  b: 0x37an,
  r: -0x397n
}, {
  a: 0xen,
  b: 0n,
  r: 0xen
}, {
  a: 0x244n,
  b: -0x475n,
  r: -0x231n
}, {
  a: 0x834n,
  b: 0xf7n,
  r: 0x92bn
}, {
  a: -0x46cbn,
  b: 0x35a3n,
  r: -0x1128n
}, {
  a: 0x971n,
  b: -0xe5n,
  r: 0x88cn
}, {
  a: -0x31dn,
  b: 0n,
  r: -0x31dn
}, {
  a: 0x1373n,
  b: -0xben,
  r: 0x12b5n
}, {
  a: 0xd6n,
  b: -0x50n,
  r: 0x86n
}, {
  a: 0xen,
  b: 0x2an,
  r: 0x38n
}, {
  a: 0xf4n,
  b: 0xfn,
  r: 0x103n
}, {
  a: 0x639n,
  b: 0xf9n,
  r: 0x732n
}, {
  a: -0x6fn,
  b: 0n,
  r: -0x6fn
}, {
  a: 0xan,
  b: -0x2cn,
  r: -0x22n
}, {
  a: -0x653n,
  b: -0x3n,
  r: -0x656n
}, {
  a: -0x6fn,
  b: -0xban,
  r: -0x129n
}, {
  a: -0x9b55n,
  b: 0n,
  r: -0x9b55n
}, {
  a: 0xfn,
  b: -0xf42n,
  r: -0xf33n
}, {
  a: 0n,
  b: 0x6c7n,
  r: 0x6c7n
}, {
  a: 0x8708n,
  b: 0n,
  r: 0x8708n
}, {
  a: 0xa5fcn,
  b: 0x207n,
  r: 0xa803n
}, {
  a: 0xc83n,
  b: 0n,
  r: 0xc83n
}, {
  a: 0n,
  b: -0x75n,
  r: -0x75n
}, {
  a: 0x70n,
  b: 0n,
  r: 0x70n
}, {
  a: 0x33n,
  b: 0x84n,
  r: 0xb7n
}, {
  a: -0xbe1n,
  b: 0xf26dn,
  r: 0xe68cn
}, {
  a: 0x9d93n,
  b: -0xd0n,
  r: 0x9cc3n
}, {
  a: -0x5n,
  b: -0xfcc3n,
  r: -0xfcc8n
}, {
  a: 0xcan,
  b: 0x12n,
  r: 0xdcn
}, {
  a: 0xb47n,
  b: -0x9a4bn,
  r: -0x8f04n
}, {
  a: -0xb03n,
  b: 0xa23n,
  r: -0xe0n
}, {
  a: 0x922n,
  b: -0x1a2n,
  r: 0x780n
}, {
  a: 0x8n,
  b: -0x1den,
  r: -0x1d6n
}, {
  a: 0n,
  b: -0xen,
  r: -0xen
}, {
  a: -0xa0n,
  b: 0x781n,
  r: 0x6e1n
}, {
  a: 0xbn,
  b: -0x655n,
  r: -0x64an
}, {
  a: -0x5n,
  b: -0x5n,
  r: -0xan
}, {
  a: 0xc6dn,
  b: -0x2109n,
  r: -0x149cn
}, {
  a: 0xen,
  b: 0xaf59n,
  r: 0xaf67n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x73cn,
  b: 0x21en,
  r: 0x95an
}, {
  a: 0xacn,
  b: -0x2bn,
  r: 0x81n
}, {
  a: 0n,
  b: 0x82n,
  r: 0x82n
}, {
  a: -0xdn,
  b: 0x9n,
  r: -0x4n
}, {
  a: 0x5fn,
  b: 0n,
  r: 0x5fn
}, {
  a: 0xf4n,
  b: 0xfafcn,
  r: 0xfbf0n
}, {
  a: 0n,
  b: -0x8207n,
  r: -0x8207n
}, {
  a: 0n,
  b: 0xdn,
  r: 0xdn
}, {
  a: 0xc97fn,
  b: 0n,
  r: 0xc97fn
}, {
  a: -0x9cn,
  b: -0x7ddn,
  r: -0x879n
}, {
  a: 0xb685n,
  b: -0xf613n,
  r: -0x3f8en
}, {
  a: 0xfn,
  b: 0x9en,
  r: 0xadn
}, {
  a: 0n,
  b: -0x3n,
  r: -0x3n
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0x6f02n,
  b: 0x9f3n,
  r: 0x78f5n
}, {
  a: -0xa638n,
  b: 0xc4n,
  r: -0xa574n
}, {
  a: -0x5n,
  b: 0x4n,
  r: -0x1n
}, {
  a: 0x2d9bn,
  b: 0n,
  r: 0x2d9bn
}, {
  a: 0xeen,
  b: 0xe4b1n,
  r: 0xe59fn
}, {
  a: 0n,
  b: 0xe0n,
  r: 0xe0n
}, {
  a: 0n,
  b: -0xf31en,
  r: -0xf31en
}, {
  a: -0x3bn,
  b: 0x4n,
  r: -0x37n
}, {
  a: 0x5n,
  b: 0xddn,
  r: 0xe2n
}, {
  a: -0x7cn,
  b: -0xca2n,
  r: -0xd1en
}, {
  a: 0n,
  b: 0x6n,
  r: 0x6n
}, {
  a: 0n,
  b: 0xdn,
  r: 0xdn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x5e0n,
  b: 0n,
  r: -0x5e0n
}, {
  a: -0x42cn,
  b: 0xb09n,
  r: 0x6ddn
}, {
  a: 0x2n,
  b: 0x597n,
  r: 0x599n
}, {
  a: 0n,
  b: -0x1n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x9n,
  r: 0x9n
}, {
  a: 0x24n,
  b: 0x3ea9n,
  r: 0x3ecdn
}, {
  a: 0n,
  b: -0x1796n,
  r: -0x1796n
}, {
  a: -0xbn,
  b: 0x5bn,
  r: 0x50n
}, {
  a: 0x8n,
  b: -0x555n,
  r: -0x54dn
}, {
  a: 0x5b70n,
  b: -0x572an,
  r: 0x446n
}, {
  a: 0x8c46n,
  b: -0xbn,
  r: 0x8c3bn
}, {
  a: 0n,
  b: 0x9an,
  r: 0x9an
}, {
  a: -0x34n,
  b: 0n,
  r: -0x34n
}, {
  a: 0x310n,
  b: -0xan,
  r: 0x306n
}, {
  a: -0x9e4n,
  b: -0x2b2n,
  r: -0xc96n
}, {
  a: -0xd002n,
  b: -0xa8n,
  r: -0xd0aan
}, {
  a: -0x843n,
  b: -0x8n,
  r: -0x84bn
}, {
  a: 0x97n,
  b: 0x1n,
  r: 0x98n
}, {
  a: -0x9bn,
  b: -0x6n,
  r: -0xa1n
}, {
  a: 0x2a51n,
  b: 0xd55n,
  r: 0x37a6n
}, {
  a: -0xfa7n,
  b: -0x77n,
  r: -0x101en
}, {
  a: 0x76dn,
  b: -0x8n,
  r: 0x765n
}, {
  a: 0xbbn,
  b: -0x38dn,
  r: -0x2d2n
}, {
  a: 0n,
  b: -0x5bn,
  r: -0x5bn
}, {
  a: -0xa9n,
  b: 0x3n,
  r: -0xa6n
}, {
  a: 0x8cn,
  b: -0x98cen,
  r: -0x9842n
}, {
  a: -0xcn,
  b: -0xf5n,
  r: -0x101n
}, {
  a: 0xb8fn,
  b: 0x450n,
  r: 0xfdfn
}, {
  a: 0x6n,
  b: 0xadf4n,
  r: 0xadfan
}, {
  a: -0x8bn,
  b: 0xan,
  r: -0x81n
}, {
  a: 0n,
  b: -0x9468n,
  r: -0x9468n
}, {
  a: -0xeb49n,
  b: 0x32n,
  r: -0xeb17n
}, {
  a: 0x84n,
  b: 0n,
  r: 0x84n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xcef4n,
  b: 0n,
  r: -0xcef4n
}, {
  a: -0x8404n,
  b: 0n,
  r: -0x8404n
}, {
  a: -0xdbe8n,
  b: 0n,
  r: -0xdbe8n
}, {
  a: 0x266n,
  b: 0xa76cn,
  r: 0xa9d2n
}, {
  a: -0x5n,
  b: -0x2n,
  r: -0x7n
}, {
  a: 0n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0xe3n,
  b: -0x628n,
  r: -0x70bn
}, {
  a: 0x4n,
  b: 0x578an,
  r: 0x578en
}, {
  a: 0xdn,
  b: -0xe2n,
  r: -0xd5n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: 0n,
  b: 0x8641n,
  r: 0x8641n
}, {
  a: 0x922n,
  b: -0x27n,
  r: 0x8fbn
}, {
  a: -0x12n,
  b: -0x2an,
  r: -0x3cn
}, {
  a: -0x382n,
  b: -0xdcdn,
  r: -0x114fn
}, {
  a: 0x2ef1n,
  b: 0xe221n,
  r: 0x11112n
}, {
  a: 0x174cn,
  b: -0x2e85n,
  r: -0x1739n
}, {
  a: 0n,
  b: 0xc71n,
  r: 0xc71n
}, {
  a: 0n,
  b: 0xa2n,
  r: 0xa2n
}, {
  a: 0x8d29n,
  b: 0xc477n,
  r: 0x151a0n
}, {
  a: 0xan,
  b: 0xfc6n,
  r: 0xfd0n
}, {
  a: 0x280fn,
  b: 0n,
  r: 0x280fn
}, {
  a: -0x197n,
  b: 0x952n,
  r: 0x7bbn
}, {
  a: -0x5b4an,
  b: 0xcc2n,
  r: -0x4e88n
}, {
  a: -0xb4n,
  b: 0n,
  r: -0xb4n
}, {
  a: 0xfcn,
  b: 0xf747n,
  r: 0xf843n
}, {
  a: 0x88dn,
  b: -0x4n,
  r: 0x889n
}, {
  a: 0xd64dn,
  b: 0xfn,
  r: 0xd65cn
}, {
  a: 0n,
  b: 0x6fan,
  r: 0x6fan
}, {
  a: 0xdn,
  b: 0n,
  r: 0xdn
}, {
  a: 0xbda4n,
  b: 0x3n,
  r: 0xbda7n
}, {
  a: -0x65n,
  b: 0n,
  r: -0x65n
}, {
  a: 0n,
  b: 0xdn,
  r: 0xdn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x2d8n,
  b: 0x5cn,
  r: 0x334n
}, {
  a: -0xcfe7n,
  b: -0x1n,
  r: -0xcfe8n
}, {
  a: 0n,
  b: 0x4d9fn,
  r: 0x4d9fn
}, {
  a: 0x21n,
  b: 0x3n,
  r: 0x24n
}, {
  a: 0x43n,
  b: 0n,
  r: 0x43n
}, {
  a: 0x9n,
  b: -0x9n,
  r: 0n
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0n,
  b: 0xa0d6n,
  r: 0xa0d6n
}, {
  a: 0x28n,
  b: -0xcbn,
  r: -0xa3n
}, {
  a: 0x8n,
  b: 0x8n,
  r: 0x10n
}, {
  a: 0xfa5cn,
  b: 0x178n,
  r: 0xfbd4n
}, {
  a: -0x9dn,
  b: 0xbn,
  r: -0x92n
}, {
  a: 0xc2b9n,
  b: 0x8f55n,
  r: 0x1520en
}, {
  a: -0x8ec1n,
  b: 0x97n,
  r: -0x8e2an
}, {
  a: 0x17n,
  b: -0xbfn,
  r: -0xa8n
}, {
  a: -0xd2n,
  b: 0n,
  r: -0xd2n
}, {
  a: 0xd65n,
  b: -0x6c6fn,
  r: -0x5f0an
}, {
  a: 0n,
  b: 0xc9n,
  r: 0xc9n
}, {
  a: 0x1eaan,
  b: -0xbcbdn,
  r: -0x9e13n
}, {
  a: 0x831n,
  b: 0x3n,
  r: 0x834n
}, {
  a: 0xen,
  b: -0x63en,
  r: -0x630n
}, {
  a: -0xdcn,
  b: -0xbc5n,
  r: -0xca1n
}, {
  a: -0x6an,
  b: 0n,
  r: -0x6an
}, {
  a: 0n,
  b: -0xff01n,
  r: -0xff01n
}, {
  a: -0xd36n,
  b: -0x285n,
  r: -0xfbbn
}, {
  a: 0n,
  b: 0xedbn,
  r: 0xedbn
}, {
  a: -0x8edn,
  b: 0n,
  r: -0x8edn
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0x3n,
  b: 0xff9n,
  r: 0xff6n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xadbn,
  b: 0x86n,
  r: 0xb61n
}, {
  a: -0xcbn,
  b: 0xf3e2n,
  r: 0xf317n
}, {
  a: 0xc204n,
  b: -0x2936n,
  r: 0x98cen
}, {
  a: -0x3ed4n,
  b: -0x111n,
  r: -0x3fe5n
}, {
  a: 0x44n,
  b: 0xe38n,
  r: 0xe7cn
}, {
  a: -0x6n,
  b: 0x4n,
  r: -0x2n
}, {
  a: -0xf5adn,
  b: 0n,
  r: -0xf5adn
}, {
  a: 0xc6adn,
  b: 0x3n,
  r: 0xc6b0n
}, {
  a: -0x23bn,
  b: -0xb7n,
  r: -0x2f2n
}, {
  a: 0x31cen,
  b: 0n,
  r: 0x31cen
}, {
  a: 0xcn,
  b: 0x509n,
  r: 0x515n
}, {
  a: -0xfaa6n,
  b: 0xe6n,
  r: -0xf9c0n
}, {
  a: 0xa9n,
  b: 0x1bn,
  r: 0xc4n
}, {
  a: -0x6n,
  b: -0xf82n,
  r: -0xf88n
}, {
  a: -0x21n,
  b: 0xc9e8n,
  r: 0xc9c7n
}, {
  a: 0n,
  b: -0x88n,
  r: -0x88n
}, {
  a: -0xa32n,
  b: 0x59n,
  r: -0x9d9n
}, {
  a: 0x112n,
  b: 0n,
  r: 0x112n
}, {
  a: 0xaacfn,
  b: 0n,
  r: 0xaacfn
}, {
  a: 0xb9an,
  b: 0xen,
  r: 0xba8n
}, {
  a: -0x9bfn,
  b: -0x4bc2n,
  r: -0x5581n
}, {
  a: 0xben,
  b: 0x323n,
  r: 0x3e1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x462n,
  b: -0xan,
  r: 0x458n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x4cn,
  b: 0xcdn,
  r: 0x81n
}, {
  a: 0x28dn,
  b: -0xf6cn,
  r: -0xcdfn
}, {
  a: 0n,
  b: 0xf4n,
  r: 0xf4n
}, {
  a: 0n,
  b: -0xe3f6n,
  r: -0xe3f6n
}, {
  a: 0xb37n,
  b: -0x3an,
  r: 0xafdn
}, {
  a: 0xdadn,
  b: -0x8n,
  r: 0xda5n
}, {
  a: 0xca5n,
  b: -0x7en,
  r: 0xc27n
}, {
  a: 0xc4a6n,
  b: -0xc413n,
  r: 0x93n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x3cn,
  b: 0xec1n,
  r: 0xefdn
}, {
  a: -0x4n,
  b: 0x3bn,
  r: 0x37n
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: 0xde1n,
  b: 0n,
  r: 0xde1n
}, {
  a: 0x1n,
  b: 0xa34n,
  r: 0xa35n
}, {
  a: -0x502cn,
  b: 0x4d50n,
  r: -0x2dcn
}, {
  a: 0xdfn,
  b: 0x5n,
  r: 0xe4n
}, {
  a: 0xbcan,
  b: 0n,
  r: 0xbcan
}, {
  a: 0n,
  b: -0x9n,
  r: -0x9n
}, {
  a: 0x3n,
  b: 0xefn,
  r: 0xf2n
}, {
  a: -0x445n,
  b: -0x8fe5n,
  r: -0x942an
}, {
  a: 0x8n,
  b: 0x5n,
  r: 0xdn
}, {
  a: 0xbn,
  b: -0x117n,
  r: -0x10cn
}, {
  a: -0x7eb1n,
  b: 0n,
  r: -0x7eb1n
}, {
  a: -0xe05n,
  b: 0xceb5n,
  r: 0xc0b0n
}, {
  a: -0x7n,
  b: -0x5n,
  r: -0xcn
}, {
  a: 0n,
  b: -0x31n,
  r: -0x31n
}, {
  a: 0n,
  b: 0xb2n,
  r: 0xb2n
}, {
  a: 0n,
  b: 0x35en,
  r: 0x35en
}, {
  a: -0x1db4n,
  b: -0xd6bn,
  r: -0x2b1fn
}, {
  a: -0x5768n,
  b: -0x5b9n,
  r: -0x5d21n
}, {
  a: 0x3bcen,
  b: -0x297n,
  r: 0x3937n
}, {
  a: -0xan,
  b: 0xbn,
  r: 0x1n
}, {
  a: 0n,
  b: -0x61f3n,
  r: -0x61f3n
}, {
  a: -0x2cn,
  b: 0xd47n,
  r: 0xd1bn
}, {
  a: -0x21n,
  b: 0x6an,
  r: 0x49n
}, {
  a: -0xfn,
  b: -0x70n,
  r: -0x7fn
}, {
  a: 0x8n,
  b: 0xfn,
  r: 0x17n
}, {
  a: 0xadn,
  b: -0x2dcn,
  r: -0x22fn
}, {
  a: 0xd78n,
  b: 0x2n,
  r: 0xd7an
}, {
  a: 0xan,
  b: -0xdn,
  r: -0x3n
}, {
  a: 0n,
  b: 0x15a9n,
  r: 0x15a9n
}, {
  a: 0xb349n,
  b: -0xf4n,
  r: 0xb255n
}, {
  a: 0n,
  b: -0x8d2n,
  r: -0x8d2n
}, {
  a: -0x6n,
  b: -0x5917n,
  r: -0x591dn
}, {
  a: 0x745an,
  b: 0x9dn,
  r: 0x74f7n
}, {
  a: 0xbn,
  b: 0n,
  r: 0xbn
}, {
  a: -0x710dn,
  b: 0x28n,
  r: -0x70e5n
}, {
  a: 0xb3n,
  b: 0x6ean,
  r: 0x79dn
}, {
  a: 0xb93n,
  b: -0x2c88n,
  r: -0x20f5n
}, {
  a: -0xen,
  b: -0x44en,
  r: -0x45cn
}, {
  a: 0xb7n,
  b: -0x89n,
  r: 0x2en
}, {
  a: 0x3n,
  b: -0x9b66n,
  r: -0x9b63n
}, {
  a: 0n,
  b: 0x410n,
  r: 0x410n
}, {
  a: 0x9n,
  b: 0xd5n,
  r: 0xden
}, {
  a: 0n,
  b: 0x1bn,
  r: 0x1bn
}, {
  a: 0n,
  b: -0x9fn,
  r: -0x9fn
}, {
  a: 0x19d1n,
  b: 0n,
  r: 0x19d1n
}, {
  a: 0xa4ffn,
  b: -0x883n,
  r: 0x9c7cn
}, {
  a: -0x6ccn,
  b: -0xa1dn,
  r: -0x10e9n
}, {
  a: 0xd0n,
  b: 0xcdn,
  r: 0x19dn
}, {
  a: 0xcc4n,
  b: 0n,
  r: 0xcc4n
}, {
  a: -0x27n,
  b: 0x853n,
  r: 0x82cn
}, {
  a: 0xeen,
  b: 0x3a2n,
  r: 0x490n
}, {
  a: -0xan,
  b: 0x584n,
  r: 0x57an
}, {
  a: -0xcb7an,
  b: -0x92an,
  r: -0xd4a4n
}, {
  a: 0x6n,
  b: -0x7dafn,
  r: -0x7da9n
}, {
  a: 0n,
  b: -0x3cn,
  r: -0x3cn
}, {
  a: 0n,
  b: -0x757n,
  r: -0x757n
}, {
  a: 0n,
  b: -0xbcan,
  r: -0xbcan
}, {
  a: 0xcen,
  b: -0xc845n,
  r: -0xc777n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x7d78n,
  b: 0x3n,
  r: 0x7d7bn
}, {
  a: -0xan,
  b: 0n,
  r: -0xan
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: 0n,
  b: 0xc6bn,
  r: 0xc6bn
}, {
  a: -0xd86n,
  b: 0xbfn,
  r: -0xcc7n
}, {
  a: 0x5f22n,
  b: 0xd4fbn,
  r: 0x1341dn
}, {
  a: 0x2be5n,
  b: 0x5d1en,
  r: 0x8903n
}, {
  a: 0x6527n,
  b: 0x1n,
  r: 0x6528n
}, {
  a: 0x91n,
  b: 0n,
  r: 0x91n
}, {
  a: 0xe518n,
  b: 0x34b4n,
  r: 0x119ccn
}, {
  a: -0x6bn,
  b: -0x2be2n,
  r: -0x2c4dn
}, {
  a: -0x95fn,
  b: 0xfn,
  r: -0x950n
}, {
  a: -0x28ccn,
  b: -0x8dfn,
  r: -0x31abn
}, {
  a: 0xd7b5n,
  b: -0x18dn,
  r: 0xd628n
}, {
  a: -0x15n,
  b: 0n,
  r: -0x15n
}, {
  a: 0x13dn,
  b: -0xan,
  r: 0x133n
}, {
  a: 0n,
  b: -0x8n,
  r: -0x8n
}, {
  a: -0x12c7n,
  b: 0x5n,
  r: -0x12c2n
}, {
  a: 0n,
  b: -0xa98dn,
  r: -0xa98dn
}, {
  a: 0xc7n,
  b: 0x9n,
  r: 0xd0n
}, {
  a: 0x279n,
  b: -0xff3n,
  r: -0xd7an
}, {
  a: 0n,
  b: -0x897n,
  r: -0x897n
}, {
  a: -0xefan,
  b: 0x97n,
  r: -0xe63n
}, {
  a: 0x619cn,
  b: -0xe50n,
  r: 0x534cn
}, {
  a: 0x6n,
  b: -0x80n,
  r: -0x7an
}, {
  a: 0xd6n,
  b: 0xb57n,
  r: 0xc2dn
}, {
  a: -0x73n,
  b: 0x4n,
  r: -0x6fn
}, {
  a: 0xe8n,
  b: 0x6cfn,
  r: 0x7b7n
}, {
  a: -0xf25n,
  b: -0x2dn,
  r: -0xf52n
}, {
  a: -0x96cn,
  b: 0x1d9n,
  r: -0x793n
}, {
  a: 0x168dn,
  b: -0x8n,
  r: 0x1685n
}, {
  a: 0xa6n,
  b: 0xf3n,
  r: 0x199n
}, {
  a: 0x91n,
  b: 0x39ben,
  r: 0x3a4fn
}, {
  a: 0xb706n,
  b: 0n,
  r: 0xb706n
}, {
  a: -0x3533n,
  b: 0n,
  r: -0x3533n
}, {
  a: -0x60n,
  b: -0x44dn,
  r: -0x4adn
}, {
  a: 0n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0x96n,
  b: 0x1n,
  r: -0x95n
}, {
  a: -0x9n,
  b: -0x6cbn,
  r: -0x6d4n
}, {
  a: -0x594n,
  b: -0xa0n,
  r: -0x634n
}, {
  a: -0xa83n,
  b: -0xa5bn,
  r: -0x14den
}, {
  a: 0n,
  b: -0x7n,
  r: -0x7n
}, {
  a: 0x73n,
  b: -0xc2n,
  r: -0x4fn
}, {
  a: 0x394n,
  b: 0x9n,
  r: 0x39dn
}, {
  a: 0xdn,
  b: 0n,
  r: 0xdn
}, {
  a: 0xa6d4n,
  b: 0n,
  r: 0xa6d4n
}, {
  a: 0n,
  b: -0x4cn,
  r: -0x4cn
}, {
  a: -0xfb5en,
  b: 0n,
  r: -0xfb5en
}, {
  a: -0x2n,
  b: 0xb4een,
  r: 0xb4ecn
}, {
  a: -0xb3n,
  b: -0x8n,
  r: -0xbbn
}, {
  a: 0n,
  b: -0xen,
  r: -0xen
}, {
  a: -0x3e10n,
  b: -0x58n,
  r: -0x3e68n
}, {
  a: -0xcn,
  b: -0x37n,
  r: -0x43n
}, {
  a: 0x5n,
  b: 0xf2n,
  r: 0xf7n
}, {
  a: 0n,
  b: -0x6ce6n,
  r: -0x6ce6n
}, {
  a: 0x4170n,
  b: 0n,
  r: 0x4170n
}, {
  a: -0x644n,
  b: 0x88n,
  r: -0x5bcn
}, {
  a: 0x40n,
  b: -0x76abn,
  r: -0x766bn
}, {
  a: -0xf08n,
  b: -0xb5n,
  r: -0xfbdn
}, {
  a: 0n,
  b: -0x1n,
  r: -0x1n
}, {
  a: -0x2cn,
  b: -0x1dn,
  r: -0x49n
}, {
  a: 0x70n,
  b: 0n,
  r: 0x70n
}, {
  a: 0n,
  b: -0x559n,
  r: -0x559n
}, {
  a: -0x24an,
  b: -0xf9n,
  r: -0x343n
}, {
  a: 0x60dn,
  b: 0x414n,
  r: 0xa21n
}, {
  a: 0x4f47n,
  b: 0n,
  r: 0x4f47n
}, {
  a: -0xf7n,
  b: -0xce4n,
  r: -0xddbn
}, {
  a: -0xeen,
  b: 0x7b13n,
  r: 0x7a25n
}, {
  a: 0n,
  b: -0x4dn,
  r: -0x4dn
}, {
  a: 0xf8b2n,
  b: 0xfdn,
  r: 0xf9afn
}, {
  a: 0x635n,
  b: -0xcn,
  r: 0x629n
}, {
  a: 0n,
  b: 0xan,
  r: 0xan
}, {
  a: 0x449n,
  b: 0n,
  r: 0x449n
}, {
  a: 0n,
  b: 0x7376n,
  r: 0x7376n
}, {
  a: 0x5422n,
  b: -0xffn,
  r: 0x5323n
}, {
  a: 0n,
  b: 0xd43n,
  r: 0xd43n
}, {
  a: -0xa1an,
  b: -0x8n,
  r: -0xa22n
}, {
  a: 0n,
  b: -0xc6e3n,
  r: -0xc6e3n
}, {
  a: 0xf808n,
  b: 0x67n,
  r: 0xf86fn
}, {
  a: -0x1149n,
  b: 0xf5dn,
  r: -0x1ecn
}, {
  a: -0xfcan,
  b: -0x5a0n,
  r: -0x156an
}, {
  a: 0xf07n,
  b: 0n,
  r: 0xf07n
}, {
  a: -0x7an,
  b: 0n,
  r: -0x7an
}, {
  a: -0xecfn,
  b: -0x2bn,
  r: -0xefan
}, {
  a: 0xcf3an,
  b: -0x79e6n,
  r: 0x5554n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: -0xf1n,
  b: -0xcfn,
  r: -0x1c0n
}, {
  a: 0x744n,
  b: -0x9b0n,
  r: -0x26cn
}, {
  a: 0x9n,
  b: 0n,
  r: 0x9n
}, {
  a: 0x36d8n,
  b: 0n,
  r: 0x36d8n
}, {
  a: 0xc809n,
  b: 0xa5n,
  r: 0xc8aen
}, {
  a: 0xf3bn,
  b: 0n,
  r: 0xf3bn
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: 0x827cn,
  b: 0n,
  r: 0x827cn
}, {
  a: 0n,
  b: -0xcn,
  r: -0xcn
}, {
  a: 0n,
  b: 0x6cdn,
  r: 0x6cdn
}, {
  a: 0n,
  b: -0xe0n,
  r: -0xe0n
}, {
  a: -0xa55dn,
  b: -0xfn,
  r: -0xa56cn
}, {
  a: 0x8dn,
  b: 0x858n,
  r: 0x8e5n
}, {
  a: 0x1aaan,
  b: 0xabcn,
  r: 0x2566n
}, {
  a: -0xe4an,
  b: -0x98b8n,
  r: -0xa702n
}, {
  a: 0x904n,
  b: 0x89en,
  r: 0x11a2n
}, {
  a: 0x3n,
  b: -0x3deen,
  r: -0x3debn
}, {
  a: -0x58aen,
  b: 0x5en,
  r: -0x5850n
}, {
  a: 0xen,
  b: -0x1n,
  r: 0xdn
}, {
  a: 0xddn,
  b: 0x5dn,
  r: 0x13an
}, {
  a: 0n,
  b: 0x8fn,
  r: 0x8fn
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0n,
  b: 0x92fen,
  r: 0x92fen
}, {
  a: -0x97bn,
  b: -0xbn,
  r: -0x986n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x8n,
  b: -0x579dn,
  r: -0x5795n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xe9en,
  b: -0x3n,
  r: -0xea1n
}, {
  a: 0xfn,
  b: 0xf17n,
  r: 0xf26n
}, {
  a: -0x897n,
  b: -0xc6a6n,
  r: -0xcf3dn
}, {
  a: -0x4en,
  b: 0x2b3n,
  r: 0x265n
}, {
  a: -0x6n,
  b: -0x38n,
  r: -0x3en
}, {
  a: -0xc698n,
  b: 0xca21n,
  r: 0x389n
}, {
  a: 0x7n,
  b: 0n,
  r: 0x7n
}, {
  a: 0x91n,
  b: 0x3n,
  r: 0x94n
}, {
  a: 0xfc8n,
  b: -0xan,
  r: 0xfben
}, {
  a: -0x1en,
  b: 0n,
  r: -0x1en
}, {
  a: 0xcbn,
  b: -0x12an,
  r: -0x5fn
}, {
  a: 0n,
  b: 0x16n,
  r: 0x16n
}, {
  a: -0xf8n,
  b: 0x5057n,
  r: 0x4f5fn
}, {
  a: -0xce68n,
  b: 0xben,
  r: -0xcdaan
}, {
  a: -0xbbdn,
  b: 0n,
  r: -0xbbdn
}, {
  a: 0x58n,
  b: 0n,
  r: 0x58n
}, {
  a: -0xd3n,
  b: -0xean,
  r: -0x1bdn
}, {
  a: -0xab96n,
  b: 0xa5n,
  r: -0xaaf1n
}, {
  a: 0x2b4n,
  b: 0n,
  r: 0x2b4n
}, {
  a: -0xd73n,
  b: 0x47c2n,
  r: 0x3a4fn
}, {
  a: 0n,
  b: 0x72edn,
  r: 0x72edn
}, {
  a: -0x4en,
  b: -0x54cbn,
  r: -0x5519n
}, {
  a: -0x22n,
  b: 0x74n,
  r: 0x52n
}, {
  a: 0xdn,
  b: -0x8f3n,
  r: -0x8e6n
}, {
  a: 0xf52n,
  b: 0x388fn,
  r: 0x47e1n
}, {
  a: 0x9n,
  b: -0xc6n,
  r: -0xbdn
}, {
  a: 0x8n,
  b: -0x9ef0n,
  r: -0x9ee8n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xb18bn,
  b: -0x6n,
  r: -0xb191n
}, {
  a: 0x8n,
  b: 0xc83n,
  r: 0xc8bn
}, {
  a: 0n,
  b: 0x9c5n,
  r: 0x9c5n
}, {
  a: -0xc02n,
  b: 0n,
  r: -0xc02n
}, {
  a: 0x1fn,
  b: 0n,
  r: 0x1fn
}, {
  a: 0x9a2n,
  b: -0xban,
  r: 0x8e8n
}, {
  a: -0xa1bn,
  b: -0x7n,
  r: -0xa22n
}, {
  a: 0x3n,
  b: 0xfabn,
  r: 0xfaen
}, {
  a: 0xbn,
  b: -0xfdn,
  r: -0xf2n
}, {
  a: -0x3n,
  b: 0x9cb8n,
  r: 0x9cb5n
}, {
  a: -0x9n,
  b: -0x253dn,
  r: -0x2546n
}, {
  a: 0n,
  b: 0xe6n,
  r: 0xe6n
}, {
  a: -0x7503n,
  b: -0x1b45n,
  r: -0x9048n
}, {
  a: -0x5n,
  b: 0x8c8bn,
  r: 0x8c86n
}, {
  a: 0n,
  b: -0xcn,
  r: -0xcn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x7755n,
  b: -0xbfdn,
  r: 0x6b58n
}];

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