// 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: 0x4n,
  b: 0xbn,
  r: -0x7n
}, {
  a: 0n,
  b: -0x81n,
  r: 0x81n
}, {
  a: 0xfen,
  b: -0x5n,
  r: 0x103n
}, {
  a: 0n,
  b: 0x554n,
  r: -0x554n
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: 0n,
  b: 0x51n,
  r: -0x51n
}, {
  a: 0x3d5n,
  b: -0xan,
  r: 0x3dfn
}, {
  a: -0xf78n,
  b: -0x724n,
  r: -0x854n
}, {
  a: -0x9bfdn,
  b: 0xen,
  r: -0x9c0bn
}, {
  a: -0x4b1fn,
  b: 0xan,
  r: -0x4b29n
}, {
  a: -0x3bn,
  b: -0x5343n,
  r: 0x5308n
}, {
  a: -0x76n,
  b: 0xbfn,
  r: -0x135n
}, {
  a: 0xb42n,
  b: -0x131n,
  r: 0xc73n
}, {
  a: -0xc568n,
  b: 0n,
  r: -0xc568n
}, {
  a: -0x2e7n,
  b: -0x880n,
  r: 0x599n
}, {
  a: 0x3a1n,
  b: 0n,
  r: 0x3a1n
}, {
  a: 0n,
  b: 0xc6f4n,
  r: -0xc6f4n
}, {
  a: 0x9n,
  b: 0x9798n,
  r: -0x978fn
}, {
  a: -0x5n,
  b: -0x7an,
  r: 0x75n
}, {
  a: 0n,
  b: -0xff4bn,
  r: 0xff4bn
}, {
  a: 0x2dn,
  b: 0n,
  r: 0x2dn
}, {
  a: -0xan,
  b: -0x5n,
  r: -0x5n
}, {
  a: 0x2c8an,
  b: 0x5bn,
  r: 0x2c2fn
}, {
  a: -0x63en,
  b: 0x2n,
  r: -0x640n
}, {
  a: -0xe91n,
  b: 0xa9n,
  r: -0xf3an
}, {
  a: 0x5dbn,
  b: 0n,
  r: 0x5dbn
}, {
  a: 0n,
  b: 0xde3n,
  r: -0xde3n
}, {
  a: -0xb036n,
  b: -0x84den,
  r: -0x2b58n
}, {
  a: 0x3f0n,
  b: 0x8c1en,
  r: -0x882en
}, {
  a: 0n,
  b: 0x5n,
  r: -0x5n
}, {
  a: 0x97n,
  b: -0xd9n,
  r: 0x170n
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: -0xd002n,
  b: 0x8n,
  r: -0xd00an
}, {
  a: -0xbc5n,
  b: 0x6e0an,
  r: -0x79cfn
}, {
  a: 0x71n,
  b: -0x8n,
  r: 0x79n
}, {
  a: -0xfen,
  b: 0xbcn,
  r: -0x1ban
}, {
  a: 0xa91n,
  b: 0xf7n,
  r: 0x99an
}, {
  a: 0n,
  b: -0x212n,
  r: 0x212n
}, {
  a: -0xen,
  b: -0xf4c1n,
  r: 0xf4b3n
}, {
  a: -0xbn,
  b: 0xcn,
  r: -0x17n
}, {
  a: 0xdn,
  b: -0xed4an,
  r: 0xed57n
}, {
  a: 0n,
  b: 0xfa6n,
  r: -0xfa6n
}, {
  a: 0x22n,
  b: 0x4n,
  r: 0x1en
}, {
  a: -0xa3bn,
  b: -0xd92n,
  r: 0x357n
}, {
  a: -0xdcn,
  b: 0xb1n,
  r: -0x18dn
}, {
  a: -0x3fe5n,
  b: 0x4n,
  r: -0x3fe9n
}, {
  a: 0n,
  b: 0xf506n,
  r: -0xf506n
}, {
  a: 0x1acn,
  b: 0xfa6n,
  r: -0xdfan
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: -0x1d60n,
  b: -0x1n,
  r: -0x1d5fn
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0x96an,
  b: -0x2ea7n,
  r: 0x253dn
}, {
  a: 0x65n,
  b: 0x2b3n,
  r: -0x24en
}, {
  a: 0x26cn,
  b: 0x568dn,
  r: -0x5421n
}, {
  a: 0xfn,
  b: 0x8081n,
  r: -0x8072n
}, {
  a: -0xb1n,
  b: -0x8n,
  r: -0xa9n
}, {
  a: -0xb1bn,
  b: 0n,
  r: -0xb1bn
}, {
  a: 0xd1bn,
  b: -0x1n,
  r: 0xd1cn
}, {
  a: 0x3n,
  b: 0n,
  r: 0x3n
}, {
  a: -0xda0n,
  b: -0x4a2n,
  r: -0x8fen
}, {
  a: 0x68en,
  b: -0x212n,
  r: 0x8a0n
}, {
  a: -0x1n,
  b: 0n,
  r: -0x1n
}, {
  a: -0x34n,
  b: 0x3056n,
  r: -0x308an
}, {
  a: 0xf4n,
  b: -0x59n,
  r: 0x14dn
}, {
  a: 0x105n,
  b: 0xa2c0n,
  r: -0xa1bbn
}, {
  a: 0x7c89n,
  b: 0n,
  r: 0x7c89n
}, {
  a: 0xc7n,
  b: 0n,
  r: 0xc7n
}, {
  a: 0n,
  b: 0x3n,
  r: -0x3n
}, {
  a: 0xdd28n,
  b: -0xdn,
  r: 0xdd35n
}, {
  a: 0n,
  b: -0x5n,
  r: 0x5n
}, {
  a: 0n,
  b: -0x2cn,
  r: 0x2cn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xae7n,
  b: 0x3de8n,
  r: -0x48cfn
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0xdedn,
  b: 0x7n,
  r: -0xdf4n
}, {
  a: 0x2n,
  b: -0x6n,
  r: 0x8n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xb2n,
  b: -0xcen,
  r: 0x180n
}, {
  a: -0x410n,
  b: -0xb7n,
  r: -0x359n
}, {
  a: 0x40n,
  b: -0x37n,
  r: 0x77n
}, {
  a: 0n,
  b: -0xbn,
  r: 0xbn
}, {
  a: -0x4838n,
  b: 0x1n,
  r: -0x4839n
}, {
  a: 0x2851n,
  b: -0xdbbn,
  r: 0x360cn
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: -0x9309n,
  b: -0xaen,
  r: -0x925bn
}, {
  a: -0x263en,
  b: -0x2ccn,
  r: -0x2372n
}, {
  a: 0x48n,
  b: 0xfn,
  r: 0x39n
}, {
  a: -0xd7n,
  b: -0x3n,
  r: -0xd4n
}, {
  a: 0xde8n,
  b: 0n,
  r: 0xde8n
}, {
  a: -0xcn,
  b: 0xa062n,
  r: -0xa06en
}, {
  a: 0xen,
  b: -0x9944n,
  r: 0x9952n
}, {
  a: 0x6e33n,
  b: -0xdn,
  r: 0x6e40n
}, {
  a: -0xb5n,
  b: 0x864bn,
  r: -0x8700n
}, {
  a: -0xen,
  b: 0x56en,
  r: -0x57cn
}, {
  a: 0n,
  b: -0x9n,
  r: 0x9n
}, {
  a: 0xan,
  b: -0xcn,
  r: 0x16n
}, {
  a: 0n,
  b: 0xb5n,
  r: -0xb5n
}, {
  a: -0x9f0n,
  b: 0n,
  r: -0x9f0n
}, {
  a: -0xfn,
  b: 0x7e81n,
  r: -0x7e90n
}, {
  a: -0x3en,
  b: -0xfe26n,
  r: 0xfde8n
}, {
  a: 0n,
  b: 0xb9n,
  r: -0xb9n
}, {
  a: 0x3adn,
  b: 0xada8n,
  r: -0xa9fbn
}, {
  a: 0xbd6n,
  b: -0x2n,
  r: 0xbd8n
}, {
  a: -0x9n,
  b: -0xfn,
  r: 0x6n
}, {
  a: 0n,
  b: 0x6d1n,
  r: -0x6d1n
}, {
  a: -0xedbn,
  b: -0x9bn,
  r: -0xe40n
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: -0x52n,
  b: 0x19n,
  r: -0x6bn
}, {
  a: -0xan,
  b: 0x9n,
  r: -0x13n
}, {
  a: 0x12n,
  b: -0x728n,
  r: 0x73an
}, {
  a: 0x12n,
  b: -0x69fn,
  r: 0x6b1n
}, {
  a: 0x16n,
  b: -0x5ean,
  r: 0x600n
}, {
  a: 0n,
  b: 0x7a6fn,
  r: -0x7a6fn
}, {
  a: -0xede4n,
  b: 0x9b77n,
  r: -0x1895bn
}, {
  a: -0xen,
  b: 0x6dn,
  r: -0x7bn
}, {
  a: -0x3b0fn,
  b: 0n,
  r: -0x3b0fn
}, {
  a: -0x2d7an,
  b: 0x26n,
  r: -0x2da0n
}, {
  a: 0x7a7n,
  b: -0x38n,
  r: 0x7dfn
}, {
  a: -0x742n,
  b: 0x4dn,
  r: -0x78fn
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: 0x51n,
  b: -0x1cd4n,
  r: 0x1d25n
}, {
  a: 0x98n,
  b: 0n,
  r: 0x98n
}, {
  a: -0x815an,
  b: 0xcfn,
  r: -0x8229n
}, {
  a: 0xbn,
  b: -0x9c7n,
  r: 0x9d2n
}, {
  a: -0x2dan,
  b: -0x4n,
  r: -0x2d6n
}, {
  a: -0xccdn,
  b: 0x2118n,
  r: -0x2de5n
}, {
  a: -0xf7n,
  b: -0x1181n,
  r: 0x108an
}, {
  a: 0n,
  b: 0x9n,
  r: -0x9n
}, {
  a: 0x9e0n,
  b: 0xcn,
  r: 0x9d4n
}, {
  a: 0x5can,
  b: -0x4db2n,
  r: 0x537cn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x6c8n,
  b: -0xa4f7n,
  r: 0x9e2fn
}, {
  a: 0xd155n,
  b: 0x19b7n,
  r: 0xb79en
}, {
  a: 0n,
  b: -0x5f49n,
  r: 0x5f49n
}, {
  a: -0x8cn,
  b: -0xeeen,
  r: 0xe62n
}, {
  a: 0xcdn,
  b: 0x1en,
  r: 0xafn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x8196n,
  b: -0x6aan,
  r: 0x8840n
}, {
  a: -0x116n,
  b: 0x4en,
  r: -0x164n
}, {
  a: 0x4n,
  b: -0xa9n,
  r: 0xadn
}, {
  a: 0n,
  b: 0xan,
  r: -0xan
}, {
  a: -0xaabn,
  b: -0x8ad0n,
  r: 0x8025n
}, {
  a: 0n,
  b: 0x907en,
  r: -0x907en
}, {
  a: 0x23en,
  b: 0n,
  r: 0x23en
}, {
  a: 0x76fn,
  b: 0xa5dn,
  r: -0x2een
}, {
  a: 0x7fcn,
  b: -0x724bn,
  r: 0x7a47n
}, {
  a: 0x51dn,
  b: 0n,
  r: 0x51dn
}, {
  a: 0x6n,
  b: -0x9en,
  r: 0xa4n
}, {
  a: 0xcen,
  b: 0n,
  r: 0xcen
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x72an,
  r: -0x72an
}, {
  a: -0xdfcn,
  b: 0xed6en,
  r: -0xfb6an
}, {
  a: -0x7efn,
  b: 0x7fe3n,
  r: -0x87d2n
}, {
  a: 0x6ce1n,
  b: -0xdn,
  r: 0x6ceen
}, {
  a: 0n,
  b: -0xb84n,
  r: 0xb84n
}, {
  a: 0xb4n,
  b: 0xb91n,
  r: -0xaddn
}, {
  a: -0x2ed1n,
  b: 0x1n,
  r: -0x2ed2n
}, {
  a: 0x313n,
  b: 0n,
  r: 0x313n
}, {
  a: 0n,
  b: 0xa39n,
  r: -0xa39n
}, {
  a: 0x6e5fn,
  b: 0xba8n,
  r: 0x62b7n
}, {
  a: -0x8n,
  b: -0x5e21n,
  r: 0x5e19n
}, {
  a: -0x1d86n,
  b: 0xdn,
  r: -0x1d93n
}, {
  a: -0x5acen,
  b: 0x28bdn,
  r: -0x838bn
}, {
  a: 0x456n,
  b: 0n,
  r: 0x456n
}, {
  a: -0xbccbn,
  b: -0x8n,
  r: -0xbcc3n
}, {
  a: -0xbfc0n,
  b: 0xde0n,
  r: -0xcda0n
}, {
  a: 0xa5n,
  b: -0xbn,
  r: 0xb0n
}, {
  a: 0xf2n,
  b: -0xcd03n,
  r: 0xcdf5n
}, {
  a: 0x87afn,
  b: -0x41n,
  r: 0x87f0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x54n,
  b: 0x6fn,
  r: -0xc3n
}, {
  a: -0xf02n,
  b: 0xcn,
  r: -0xf0en
}, {
  a: -0xcfn,
  b: -0x3n,
  r: -0xccn
}, {
  a: -0x4e7n,
  b: -0x373n,
  r: -0x174n
}, {
  a: 0x2fdcn,
  b: -0xadn,
  r: 0x3089n
}, {
  a: -0x95n,
  b: -0xe7n,
  r: 0x52n
}, {
  a: -0xfac6n,
  b: 0n,
  r: -0xfac6n
}, {
  a: 0xa32n,
  b: 0xdcn,
  r: 0x956n
}, {
  a: 0n,
  b: -0x55n,
  r: 0x55n
}, {
  a: 0xa93bn,
  b: 0xf243n,
  r: -0x4908n
}, {
  a: 0n,
  b: 0x10c7n,
  r: -0x10c7n
}, {
  a: 0n,
  b: 0x45e7n,
  r: -0x45e7n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xbn,
  r: -0xbn
}, {
  a: 0n,
  b: -0xen,
  r: 0xen
}, {
  a: -0x5n,
  b: -0x94n,
  r: 0x8fn
}, {
  a: 0xeb50n,
  b: -0x46n,
  r: 0xeb96n
}, {
  a: -0x92c9n,
  b: -0xcd1dn,
  r: 0x3a54n
}, {
  a: 0x368n,
  b: 0n,
  r: 0x368n
}, {
  a: 0xab38n,
  b: 0xe7n,
  r: 0xaa51n
}, {
  a: 0xe14n,
  b: 0n,
  r: 0xe14n
}, {
  a: -0xd84n,
  b: 0n,
  r: -0xd84n
}, {
  a: 0xe3n,
  b: -0xcn,
  r: 0xefn
}, {
  a: 0n,
  b: -0xb6fn,
  r: 0xb6fn
}, {
  a: 0xan,
  b: -0x8n,
  r: 0x12n
}, {
  a: -0xf6n,
  b: -0x2836n,
  r: 0x2740n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x17n,
  r: 0x17n
}, {
  a: 0x933n,
  b: -0x47n,
  r: 0x97an
}, {
  a: 0n,
  b: -0x7n,
  r: 0x7n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xb36n,
  b: 0x37n,
  r: -0xb6dn
}, {
  a: -0x934n,
  b: 0xbn,
  r: -0x93fn
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: -0x8n,
  b: -0x172n,
  r: 0x16an
}, {
  a: 0xd6bn,
  b: 0n,
  r: 0xd6bn
}, {
  a: 0xdn,
  b: -0xa27n,
  r: 0xa34n
}, {
  a: -0x3acn,
  b: 0x8dn,
  r: -0x439n
}, {
  a: 0x1ad2n,
  b: 0xa79n,
  r: 0x1059n
}, {
  a: -0xbn,
  b: -0x78bn,
  r: 0x780n
}, {
  a: -0x5cn,
  b: -0xcn,
  r: -0x50n
}, {
  a: 0n,
  b: 0x63n,
  r: -0x63n
}, {
  a: 0n,
  b: 0x1ecn,
  r: -0x1ecn
}, {
  a: -0x126n,
  b: -0xefn,
  r: -0x37n
}, {
  a: 0x874an,
  b: -0xdn,
  r: 0x8757n
}, {
  a: 0n,
  b: -0xden,
  r: 0xden
}, {
  a: -0x8n,
  b: 0x74fn,
  r: -0x757n
}, {
  a: -0xen,
  b: 0x18n,
  r: -0x26n
}, {
  a: 0n,
  b: -0x97n,
  r: 0x97n
}, {
  a: 0xfan,
  b: 0x8n,
  r: 0xf2n
}, {
  a: -0x6n,
  b: 0x6n,
  r: -0xcn
}, {
  a: 0x3n,
  b: 0x7n,
  r: -0x4n
}, {
  a: -0x9c7bn,
  b: 0xc44an,
  r: -0x160c5n
}, {
  a: -0x9ban,
  b: 0x907n,
  r: -0x12c1n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0n,
  b: -0x441en,
  r: 0x441en
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x8ae9n,
  b: -0x2355n,
  r: -0x6794n
}, {
  a: 0xf6fn,
  b: 0xa46n,
  r: 0x529n
}, {
  a: -0x9n,
  b: 0x9n,
  r: -0x12n
}, {
  a: -0x8n,
  b: -0x6n,
  r: -0x2n
}, {
  a: -0xfecn,
  b: 0xe40n,
  r: -0x1e2cn
}, {
  a: 0n,
  b: -0x9n,
  r: 0x9n
}, {
  a: -0xe1n,
  b: -0xebn,
  r: 0xan
}, {
  a: 0n,
  b: -0x52a5n,
  r: 0x52a5n
}, {
  a: 0xf53en,
  b: 0n,
  r: 0xf53en
}, {
  a: -0x82n,
  b: 0n,
  r: -0x82n
}, {
  a: 0xfdd8n,
  b: 0x2n,
  r: 0xfdd6n
}, {
  a: 0x9n,
  b: 0xbfn,
  r: -0xb6n
}, {
  a: 0x1fn,
  b: 0xe36n,
  r: -0xe17n
}, {
  a: 0xd98n,
  b: 0x8n,
  r: 0xd90n
}, {
  a: 0n,
  b: -0x670n,
  r: 0x670n
}, {
  a: 0xcd7cn,
  b: 0xec85n,
  r: -0x1f09n
}, {
  a: -0xf1an,
  b: -0x1bn,
  r: -0xeffn
}, {
  a: 0x2n,
  b: 0x4an,
  r: -0x48n
}, {
  a: 0x14n,
  b: -0xf8fn,
  r: 0xfa3n
}, {
  a: 0x7976n,
  b: -0xe025n,
  r: 0x1599bn
}, {
  a: 0x3dn,
  b: 0n,
  r: 0x3dn
}, {
  a: -0x6n,
  b: 0x5d2n,
  r: -0x5d8n
}, {
  a: -0x59n,
  b: 0xa3n,
  r: -0xfcn
}, {
  a: 0x74en,
  b: -0x908n,
  r: 0x1056n
}, {
  a: 0xf8c1n,
  b: -0xan,
  r: 0xf8cbn
}, {
  a: -0x5cn,
  b: 0n,
  r: -0x5cn
}, {
  a: -0x9682n,
  b: 0xbn,
  r: -0x968dn
}, {
  a: -0x5cn,
  b: -0xd7n,
  r: 0x7bn
}, {
  a: 0n,
  b: 0xf1n,
  r: -0xf1n
}, {
  a: -0xdbn,
  b: -0x1bn,
  r: -0xc0n
}, {
  a: -0xabn,
  b: -0xen,
  r: -0x9dn
}, {
  a: -0x6an,
  b: -0xd9c4n,
  r: 0xd95an
}, {
  a: 0xan,
  b: -0xc08n,
  r: 0xc12n
}, {
  a: -0x3f99n,
  b: -0x7996n,
  r: 0x39fdn
}, {
  a: -0x94n,
  b: 0n,
  r: -0x94n
}, {
  a: -0x87dn,
  b: 0x5bn,
  r: -0x8d8n
}, {
  a: 0xcn,
  b: 0xb474n,
  r: -0xb468n
}, {
  a: -0x762en,
  b: 0xcn,
  r: -0x763an
}, {
  a: 0x5c8n,
  b: 0x3423n,
  r: -0x2e5bn
}, {
  a: 0x3dd9n,
  b: 0xbn,
  r: 0x3dcen
}, {
  a: 0n,
  b: -0x5f8cn,
  r: 0x5f8cn
}, {
  a: -0x857cn,
  b: 0x51n,
  r: -0x85cdn
}, {
  a: 0x3an,
  b: -0x7n,
  r: 0x41n
}, {
  a: -0x3an,
  b: 0x4de8n,
  r: -0x4e22n
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: -0xen,
  b: 0x574n,
  r: -0x582n
}, {
  a: 0xc13n,
  b: -0x4n,
  r: 0xc17n
}, {
  a: 0xdn,
  b: 0x6n,
  r: 0x7n
}, {
  a: 0n,
  b: -0x308n,
  r: 0x308n
}, {
  a: -0x993n,
  b: 0xan,
  r: -0x99dn
}, {
  a: -0x799n,
  b: 0n,
  r: -0x799n
}, {
  a: -0x67n,
  b: 0x9891n,
  r: -0x98f8n
}, {
  a: -0xa90fn,
  b: -0x4cbfn,
  r: -0x5c50n
}, {
  a: 0n,
  b: 0x1an,
  r: -0x1an
}, {
  a: 0x3aen,
  b: -0xcc91n,
  r: 0xd03fn
}, {
  a: 0x2e0bn,
  b: -0xa5n,
  r: 0x2eb0n
}, {
  a: 0x41en,
  b: -0xe92cn,
  r: 0xed4an
}, {
  a: 0x67n,
  b: 0x474n,
  r: -0x40dn
}, {
  a: 0n,
  b: 0x79n,
  r: -0x79n
}, {
  a: -0x124fn,
  b: 0x955cn,
  r: -0xa7abn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x878n,
  b: 0x637n,
  r: 0x241n
}, {
  a: -0xe4n,
  b: -0x337n,
  r: 0x253n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x3n,
  r: -0x3n
}, {
  a: 0x7eden,
  b: -0xc12n,
  r: 0x8af0n
}, {
  a: 0x531n,
  b: 0n,
  r: 0x531n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x2n,
  b: -0xf65n,
  r: 0xf67n
}, {
  a: 0x5n,
  b: -0x670fn,
  r: 0x6714n
}, {
  a: -0xen,
  b: -0x7ad2n,
  r: 0x7ac4n
}, {
  a: 0x19n,
  b: 0n,
  r: 0x19n
}, {
  a: 0xdba9n,
  b: -0x2n,
  r: 0xdbabn
}, {
  a: -0x896n,
  b: 0x2en,
  r: -0x8c4n
}, {
  a: -0xbn,
  b: -0xa045n,
  r: 0xa03an
}, {
  a: -0x16n,
  b: -0x344n,
  r: 0x32en
}, {
  a: 0x2ben,
  b: 0n,
  r: 0x2ben
}, {
  a: -0xb3n,
  b: -0xc491n,
  r: 0xc3den
}, {
  a: -0x553n,
  b: 0x94bfn,
  r: -0x9a12n
}, {
  a: 0x8ea5n,
  b: 0xa6c8n,
  r: -0x1823n
}, {
  a: 0n,
  b: -0x7n,
  r: 0x7n
}, {
  a: -0x2n,
  b: -0x8fn,
  r: 0x8dn
}, {
  a: -0xd26en,
  b: -0x6dn,
  r: -0xd201n
}, {
  a: -0xen,
  b: 0x1cn,
  r: -0x2an
}, {
  a: -0x3n,
  b: 0xeen,
  r: -0xf1n
}, {
  a: 0xd2n,
  b: 0x335n,
  r: -0x263n
}, {
  a: -0xfn,
  b: 0xc1n,
  r: -0xd0n
}, {
  a: -0x6d7n,
  b: 0x3b4n,
  r: -0xa8bn
}, {
  a: 0xbcen,
  b: 0x40n,
  r: 0xb8en
}, {
  a: 0xeae6n,
  b: -0x1b27n,
  r: 0x1060dn
}, {
  a: -0xbn,
  b: 0x994an,
  r: -0x9955n
}, {
  a: 0x7d63n,
  b: -0x5n,
  r: 0x7d68n
}, {
  a: 0x9en,
  b: 0xbn,
  r: 0x93n
}, {
  a: -0xb85cn,
  b: 0x91n,
  r: -0xb8edn
}, {
  a: 0n,
  b: 0x5n,
  r: -0x5n
}, {
  a: -0xebn,
  b: 0x22cn,
  r: -0x317n
}, {
  a: -0x4ae0n,
  b: 0n,
  r: -0x4ae0n
}, {
  a: 0n,
  b: -0xdn,
  r: 0xdn
}, {
  a: -0xdb07n,
  b: 0x46fn,
  r: -0xdf76n
}, {
  a: -0xafn,
  b: 0n,
  r: -0xafn
}, {
  a: -0xbdn,
  b: -0x65n,
  r: -0x58n
}, {
  a: -0xc169n,
  b: -0x9aen,
  r: -0xb7bbn
}, {
  a: 0n,
  b: -0x1n,
  r: 0x1n
}, {
  a: -0x41n,
  b: -0xc33dn,
  r: 0xc2fcn
}, {
  a: 0n,
  b: 0x4n,
  r: -0x4n
}, {
  a: 0x57an,
  b: -0xbn,
  r: 0x585n
}, {
  a: 0n,
  b: 0x5n,
  r: -0x5n
}, {
  a: -0xc250n,
  b: -0x5e45n,
  r: -0x640bn
}, {
  a: -0x5983n,
  b: -0x60n,
  r: -0x5923n
}, {
  a: -0x58bn,
  b: 0x9n,
  r: -0x594n
}, {
  a: 0x2661n,
  b: 0n,
  r: 0x2661n
}, {
  a: 0n,
  b: -0x943n,
  r: 0x943n
}, {
  a: 0x22bfn,
  b: 0x6n,
  r: 0x22b9n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xa2fbn,
  b: 0n,
  r: -0xa2fbn
}, {
  a: -0xeaa3n,
  b: 0n,
  r: -0xeaa3n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x32n,
  b: 0n,
  r: 0x32n
}, {
  a: -0x17n,
  b: -0x5bn,
  r: 0x44n
}, {
  a: 0x728n,
  b: 0n,
  r: 0x728n
}, {
  a: -0xfn,
  b: -0xa87n,
  r: 0xa78n
}, {
  a: -0x511n,
  b: 0n,
  r: -0x511n
}, {
  a: 0xe9n,
  b: 0x8291n,
  r: -0x81a8n
}, {
  a: -0x5n,
  b: -0xbn,
  r: 0x6n
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: -0xa5bfn,
  b: -0xb5can,
  r: 0x100bn
}, {
  a: 0n,
  b: -0xen,
  r: 0xen
}, {
  a: -0xen,
  b: 0xbn,
  r: -0x19n
}, {
  a: 0n,
  b: -0xan,
  r: 0xan
}, {
  a: -0xf4n,
  b: -0xbde4n,
  r: 0xbcf0n
}, {
  a: -0x3c0n,
  b: 0n,
  r: -0x3c0n
}, {
  a: 0n,
  b: 0x497fn,
  r: -0x497fn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x6290n,
  b: -0xd2n,
  r: 0x6362n
}, {
  a: 0xb48dn,
  b: 0xen,
  r: 0xb47fn
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: 0xbe20n,
  b: -0x7d24n,
  r: 0x13b44n
}, {
  a: 0x7cn,
  b: -0xa22an,
  r: 0xa2a6n
}, {
  a: -0xcn,
  b: 0xc7n,
  r: -0xd3n
}, {
  a: 0xaan,
  b: 0x2n,
  r: 0xa8n
}, {
  a: -0x1n,
  b: 0xb005n,
  r: -0xb006n
}, {
  a: -0xf5n,
  b: 0x35en,
  r: -0x453n
}, {
  a: -0x777fn,
  b: -0x2n,
  r: -0x777dn
}, {
  a: 0x495en,
  b: 0x1n,
  r: 0x495dn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x39n,
  r: 0x39n
}, {
  a: 0x294fn,
  b: 0x598dn,
  r: -0x303en
}, {
  a: -0xf1f0n,
  b: 0n,
  r: -0xf1f0n
}, {
  a: 0n,
  b: 0xe0n,
  r: -0xe0n
}, {
  a: 0xcen,
  b: 0x786an,
  r: -0x779cn
}, {
  a: -0xe7n,
  b: 0x6d5n,
  r: -0x7bcn
}, {
  a: -0x8567n,
  b: 0xce9cn,
  r: -0x15403n
}, {
  a: 0xe7n,
  b: 0x4cn,
  r: 0x9bn
}, {
  a: -0x6n,
  b: 0xcn,
  r: -0x12n
}, {
  a: 0n,
  b: 0xdfa0n,
  r: -0xdfa0n
}, {
  a: -0x9a7n,
  b: 0x6f3cn,
  r: -0x78e3n
}, {
  a: 0x235n,
  b: 0x1n,
  r: 0x234n
}, {
  a: 0n,
  b: -0xca55n,
  r: 0xca55n
}, {
  a: 0x81n,
  b: 0n,
  r: 0x81n
}, {
  a: 0x6e9n,
  b: 0xc9n,
  r: 0x620n
}, {
  a: 0n,
  b: 0xcb0n,
  r: -0xcb0n
}, {
  a: 0x2n,
  b: 0xb4bn,
  r: -0xb49n
}, {
  a: 0n,
  b: 0xfn,
  r: -0xfn
}, {
  a: 0x74n,
  b: 0xfdb3n,
  r: -0xfd3fn
}, {
  a: 0x416n,
  b: 0xeb18n,
  r: -0xe702n
}, {
  a: 0x9ecn,
  b: 0x4d4fn,
  r: -0x4363n
}, {
  a: 0n,
  b: -0x3n,
  r: 0x3n
}, {
  a: 0x7730n,
  b: 0n,
  r: 0x7730n
}, {
  a: -0x31cn,
  b: 0n,
  r: -0x31cn
}, {
  a: 0n,
  b: -0xbn,
  r: 0xbn
}, {
  a: 0xf24en,
  b: 0xab90n,
  r: 0x46ben
}, {
  a: -0x4n,
  b: 0x291n,
  r: -0x295n
}, {
  a: 0x65dn,
  b: -0x8787n,
  r: 0x8de4n
}, {
  a: 0x9n,
  b: 0xbn,
  r: -0x2n
}, {
  a: -0xd06n,
  b: 0x86e9n,
  r: -0x93efn
}, {
  a: -0x5n,
  b: -0x7d40n,
  r: 0x7d3bn
}, {
  a: -0x9b80n,
  b: -0x6n,
  r: -0x9b7an
}, {
  a: -0x5cfbn,
  b: 0x1n,
  r: -0x5cfcn
}, {
  a: 0x2n,
  b: 0xfn,
  r: -0xdn
}, {
  a: 0x9n,
  b: 0xcn,
  r: -0x3n
}, {
  a: -0x5n,
  b: -0x68n,
  r: 0x63n
}, {
  a: 0xfn,
  b: 0n,
  r: 0xfn
}, {
  a: 0n,
  b: 0x6e4n,
  r: -0x6e4n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xf50n,
  b: 0x51n,
  r: -0xfa1n
}, {
  a: 0xa69n,
  b: 0xf2n,
  r: 0x977n
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: 0x1n,
  b: -0xden,
  r: 0xdfn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: 0xden,
  b: -0x62n,
  r: 0x140n
}, {
  a: -0xdn,
  b: -0x74e1n,
  r: 0x74d4n
}, {
  a: 0x54bn,
  b: 0xb304n,
  r: -0xadb9n
}, {
  a: 0x92n,
  b: -0xdn,
  r: 0x9fn
}, {
  a: 0xdn,
  b: 0n,
  r: 0xdn
}, {
  a: -0x4470n,
  b: 0xadan,
  r: -0x4f4an
}, {
  a: 0xc84n,
  b: 0xe8n,
  r: 0xb9cn
}, {
  a: -0x3n,
  b: 0x3e4n,
  r: -0x3e7n
}, {
  a: -0x244n,
  b: -0x8n,
  r: -0x23cn
}, {
  a: 0xe5cn,
  b: 0n,
  r: 0xe5cn
}, {
  a: 0xba2fn,
  b: 0xb589n,
  r: 0x4a6n
}, {
  a: -0x1f9cn,
  b: -0xacan,
  r: -0x14d2n
}, {
  a: 0x2bn,
  b: 0x1f7fn,
  r: -0x1f54n
}, {
  a: -0x27n,
  b: 0x9n,
  r: -0x30n
}, {
  a: 0x58b3n,
  b: -0xe75n,
  r: 0x6728n
}, {
  a: -0x8c9n,
  b: 0n,
  r: -0x8c9n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x38den,
  b: 0x247n,
  r: -0x3b25n
}, {
  a: -0xe3can,
  b: -0x3dn,
  r: -0xe38dn
}, {
  a: 0n,
  b: 0x424n,
  r: -0x424n
}, {
  a: -0x5n,
  b: -0x6a4n,
  r: 0x69fn
}, {
  a: 0xdn,
  b: -0xbbn,
  r: 0xc8n
}, {
  a: 0xf541n,
  b: 0n,
  r: 0xf541n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x9n,
  b: 0x1n,
  r: 0x8n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x9a1n,
  b: 0x70n,
  r: 0x931n
}, {
  a: -0x6f63n,
  b: -0x73n,
  r: -0x6ef0n
}, {
  a: 0x70n,
  b: 0xd5an,
  r: -0xcean
}, {
  a: 0x7165n,
  b: 0x704n,
  r: 0x6a61n
}, {
  a: 0n,
  b: 0x59n,
  r: -0x59n
}, {
  a: 0x1cdn,
  b: -0x99dn,
  r: 0xb6an
}, {
  a: -0xc27n,
  b: -0x75n,
  r: -0xbb2n
}, {
  a: 0x9n,
  b: -0x260n,
  r: 0x269n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: 0x8an,
  r: -0x90n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: 0n,
  b: -0xfcn,
  r: 0xfcn
}, {
  a: -0x4fan,
  b: 0x97n,
  r: -0x591n
}, {
  a: 0n,
  b: -0xdc8n,
  r: 0xdc8n
}, {
  a: 0x6dan,
  b: -0x5721n,
  r: 0x5dfbn
}, {
  a: -0xe58n,
  b: 0x51e0n,
  r: -0x6038n
}, {
  a: -0x844an,
  b: -0xc0n,
  r: -0x838an
}, {
  a: -0xe5d7n,
  b: -0x5cb1n,
  r: -0x8926n
}, {
  a: -0x402n,
  b: 0xf8cn,
  r: -0x138en
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x6a6n,
  b: 0x32n,
  r: -0x6d8n
}, {
  a: -0xen,
  b: -0x579n,
  r: 0x56bn
}, {
  a: 0n,
  b: -0x6n,
  r: 0x6n
}, {
  a: 0x7c0n,
  b: -0x8en,
  r: 0x84en
}, {
  a: 0n,
  b: 0x8c6n,
  r: -0x8c6n
}, {
  a: -0x66n,
  b: 0n,
  r: -0x66n
}, {
  a: -0xbn,
  b: 0n,
  r: -0xbn
}, {
  a: -0xe7n,
  b: -0xbd5bn,
  r: 0xbc74n
}, {
  a: 0xf0c2n,
  b: 0n,
  r: 0xf0c2n
}, {
  a: 0xbn,
  b: 0x83cn,
  r: -0x831n
}, {
  a: -0x45en,
  b: 0x68n,
  r: -0x4c6n
}, {
  a: 0n,
  b: 0x2fn,
  r: -0x2fn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x6ccn,
  b: -0x635cn,
  r: 0x6a28n
}, {
  a: -0xbcn,
  b: -0x9b9n,
  r: 0x8fdn
}, {
  a: 0xdc5n,
  b: 0n,
  r: 0xdc5n
}, {
  a: -0x4n,
  b: 0x3n,
  r: -0x7n
}, {
  a: -0xad2n,
  b: 0n,
  r: -0xad2n
}, {
  a: 0n,
  b: 0x2n,
  r: -0x2n
}, {
  a: 0x5607n,
  b: 0x7a9n,
  r: 0x4e5en
}, {
  a: 0x6eefn,
  b: 0xb5en,
  r: 0x6391n
}, {
  a: -0x289fn,
  b: 0n,
  r: -0x289fn
}, {
  a: 0x6n,
  b: 0x56n,
  r: -0x50n
}, {
  a: 0n,
  b: -0xd69n,
  r: 0xd69n
}, {
  a: -0x8n,
  b: -0x5n,
  r: -0x3n
}, {
  a: 0x2n,
  b: 0x46n,
  r: -0x44n
}, {
  a: -0x806n,
  b: 0xa0n,
  r: -0x8a6n
}, {
  a: 0xa502n,
  b: 0xa67n,
  r: 0x9a9bn
}, {
  a: -0x30c4n,
  b: -0x6c8n,
  r: -0x29fcn
}, {
  a: -0xf7en,
  b: 0x5b9n,
  r: -0x1537n
}, {
  a: 0x8c96n,
  b: 0n,
  r: 0x8c96n
}, {
  a: -0x3181n,
  b: -0xdbbn,
  r: -0x23c6n
}, {
  a: 0x55n,
  b: -0x27n,
  r: 0x7cn
}, {
  a: 0n,
  b: 0x33e4n,
  r: -0x33e4n
}, {
  a: 0n,
  b: 0x292n,
  r: -0x292n
}, {
  a: 0n,
  b: 0xcn,
  r: -0xcn
}, {
  a: -0xf35n,
  b: -0x4fn,
  r: -0xee6n
}, {
  a: -0x76fn,
  b: -0xc9fn,
  r: 0x530n
}, {
  a: 0x5256n,
  b: -0xan,
  r: 0x5260n
}, {
  a: 0n,
  b: -0xfc5n,
  r: 0xfc5n
}, {
  a: -0xcfd8n,
  b: 0x3n,
  r: -0xcfdbn
}, {
  a: 0xfen,
  b: -0x9424n,
  r: 0x9522n
}, {
  a: -0x685n,
  b: 0n,
  r: -0x685n
}, {
  a: 0n,
  b: -0x38en,
  r: 0x38en
}, {
  a: -0xeef9n,
  b: 0x1bn,
  r: -0xef14n
}, {
  a: 0n,
  b: -0xc1fn,
  r: 0xc1fn
}, {
  a: 0xc50n,
  b: 0xdce4n,
  r: -0xd094n
}, {
  a: 0xen,
  b: 0x1en,
  r: -0x10n
}, {
  a: -0x832n,
  b: 0x2en,
  r: -0x860n
}, {
  a: 0n,
  b: -0xa39n,
  r: 0xa39n
}, {
  a: 0x6an,
  b: -0x1en,
  r: 0x88n
}, {
  a: 0x9a4dn,
  b: -0x7n,
  r: 0x9a54n
}, {
  a: 0n,
  b: -0x4n,
  r: 0x4n
}, {
  a: 0xecen,
  b: 0xd98n,
  r: 0x136n
}, {
  a: -0xee03n,
  b: -0x57n,
  r: -0xedacn
}, {
  a: -0x627cn,
  b: -0x866an,
  r: 0x23een
}, {
  a: 0x1affn,
  b: -0xfdfn,
  r: 0x2aden
}, {
  a: 0n,
  b: -0x47n,
  r: 0x47n
}, {
  a: 0n,
  b: 0xe12n,
  r: -0xe12n
}, {
  a: -0xb356n,
  b: -0x935n,
  r: -0xaa21n
}, {
  a: 0n,
  b: -0xd800n,
  r: 0xd800n
}, {
  a: -0xa393n,
  b: 0x3n,
  r: -0xa396n
}, {
  a: 0xdan,
  b: -0xfn,
  r: 0xe9n
}, {
  a: -0x2d5fn,
  b: 0n,
  r: -0x2d5fn
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: -0xe5n,
  b: -0xc1an,
  r: 0xb35n
}, {
  a: -0x2d2n,
  b: 0x68n,
  r: -0x33an
}, {
  a: 0n,
  b: -0x6cn,
  r: 0x6cn
}, {
  a: 0x577n,
  b: -0x8f97n,
  r: 0x950en
}, {
  a: 0n,
  b: -0xfn,
  r: 0xfn
}, {
  a: 0x9n,
  b: 0xf05n,
  r: -0xefcn
}, {
  a: -0x5a8n,
  b: -0x91dn,
  r: 0x375n
}, {
  a: -0x359cn,
  b: -0x7d88n,
  r: 0x47ecn
}, {
  a: 0xc45n,
  b: 0n,
  r: 0xc45n
}, {
  a: 0n,
  b: 0x4n,
  r: -0x4n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: -0xa6n,
  b: 0x7n,
  r: -0xadn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: 0n,
  b: 0xefd0n,
  r: -0xefd0n
}, {
  a: 0xff08n,
  b: 0n,
  r: 0xff08n
}, {
  a: -0x5n,
  b: 0x7n,
  r: -0xcn
}, {
  a: -0x8c9en,
  b: -0x8fn,
  r: -0x8c0fn
}, {
  a: -0xdbfn,
  b: -0xef1n,
  r: 0x132n
}, {
  a: 0xcdn,
  b: 0n,
  r: 0xcdn
}, {
  a: 0x2034n,
  b: 0n,
  r: 0x2034n
}, {
  a: -0x39n,
  b: 0x4en,
  r: -0x87n
}, {
  a: 0x5a18n,
  b: -0xcn,
  r: 0x5a24n
}, {
  a: -0x547en,
  b: -0x8n,
  r: -0x5476n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: -0x60n,
  r: 0x66n
}, {
  a: 0x9n,
  b: 0x1n,
  r: 0x8n
}, {
  a: 0x38n,
  b: 0x2e3n,
  r: -0x2abn
}, {
  a: 0x3dfn,
  b: 0x3n,
  r: 0x3dcn
}, {
  a: 0n,
  b: 0xb442n,
  r: -0xb442n
}, {
  a: 0xan,
  b: 0x7n,
  r: 0x3n
}, {
  a: 0n,
  b: 0xff6n,
  r: -0xff6n
}, {
  a: 0xe7n,
  b: -0x53n,
  r: 0x13an
}, {
  a: 0xe0n,
  b: 0n,
  r: 0xe0n
}, {
  a: 0x3a7dn,
  b: 0x26c4n,
  r: 0x13b9n
}, {
  a: -0x1bn,
  b: 0x286n,
  r: -0x2a1n
}, {
  a: 0x7bn,
  b: -0x1an,
  r: 0x95n
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: 0n,
  b: 0x370n,
  r: -0x370n
}, {
  a: -0x3n,
  b: -0xe83cn,
  r: 0xe839n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x3c48n,
  b: 0n,
  r: -0x3c48n
}, {
  a: 0x28bn,
  b: -0x36c6n,
  r: 0x3951n
}, {
  a: -0xce61n,
  b: 0x8n,
  r: -0xce69n
}, {
  a: 0xbdn,
  b: 0x1dn,
  r: 0xa0n
}, {
  a: 0x4918n,
  b: -0xb25an,
  r: 0xfb72n
}, {
  a: 0x2002n,
  b: 0n,
  r: 0x2002n
}, {
  a: 0n,
  b: 0xan,
  r: -0xan
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: -0xa25n,
  r: 0xa2fn
}, {
  a: 0x6n,
  b: -0x72f6n,
  r: 0x72fcn
}, {
  a: 0n,
  b: -0x4dn,
  r: 0x4dn
}, {
  a: 0x7n,
  b: 0n,
  r: 0x7n
}, {
  a: 0xdn,
  b: 0n,
  r: 0xdn
}, {
  a: 0x9n,
  b: -0xc57bn,
  r: 0xc584n
}, {
  a: 0n,
  b: -0x67f2n,
  r: 0x67f2n
}, {
  a: -0x734n,
  b: -0xen,
  r: -0x726n
}, {
  a: 0xf91n,
  b: 0n,
  r: 0xf91n
}, {
  a: 0xbn,
  b: 0xbbn,
  r: -0xb0n
}, {
  a: -0xbdn,
  b: -0x4n,
  r: -0xb9n
}, {
  a: -0xb7n,
  b: 0x44n,
  r: -0xfbn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xe4cbn,
  b: 0n,
  r: -0xe4cbn
}, {
  a: 0xec2n,
  b: 0xacdn,
  r: 0x3f5n
}, {
  a: 0x8cn,
  b: 0x5n,
  r: 0x87n
}, {
  a: -0x8bn,
  b: -0x8135n,
  r: 0x80aan
}, {
  a: 0xb57dn,
  b: 0x514cn,
  r: 0x6431n
}, {
  a: 0x74n,
  b: 0xa11n,
  r: -0x99dn
}, {
  a: 0n,
  b: -0xen,
  r: 0xen
}, {
  a: -0x8en,
  b: -0x608bn,
  r: 0x5ffdn
}, {
  a: 0n,
  b: 0x10bn,
  r: -0x10bn
}, {
  a: 0x71en,
  b: 0xae94n,
  r: -0xa776n
}, {
  a: -0x1n,
  b: 0n,
  r: -0x1n
}, {
  a: 0n,
  b: -0xe06cn,
  r: 0xe06cn
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: 0n,
  b: 0x1fn,
  r: -0x1fn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x30n,
  b: 0xe2n,
  r: -0x112n
}, {
  a: 0n,
  b: 0x5bn,
  r: -0x5bn
}, {
  a: 0x841n,
  b: 0n,
  r: 0x841n
}, {
  a: 0xf97n,
  b: 0x6n,
  r: 0xf91n
}, {
  a: 0x8fn,
  b: -0xdn,
  r: 0x9cn
}, {
  a: 0n,
  b: -0x7fbn,
  r: 0x7fbn
}, {
  a: 0x2e0n,
  b: 0x39n,
  r: 0x2a7n
}, {
  a: -0xb19n,
  b: 0x6n,
  r: -0xb1fn
}, {
  a: -0xdbcn,
  b: -0x72n,
  r: -0xd4an
}, {
  a: -0xdn,
  b: -0x5n,
  r: -0x8n
}, {
  a: -0x97an,
  b: -0x6n,
  r: -0x974n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x73n,
  b: -0x10n,
  r: 0x83n
}, {
  a: 0x64n,
  b: 0n,
  r: 0x64n
}, {
  a: -0xb1b1n,
  b: 0x9d3n,
  r: -0xbb84n
}, {
  a: 0x905n,
  b: -0xe74n,
  r: 0x1779n
}, {
  a: -0x7adn,
  b: 0xcn,
  r: -0x7b9n
}, {
  a: -0xb34n,
  b: -0x9584n,
  r: 0x8a50n
}, {
  a: -0x86en,
  b: 0x21c4n,
  r: -0x2a32n
}, {
  a: 0xf46n,
  b: 0x31n,
  r: 0xf15n
}, {
  a: -0x1e66n,
  b: 0n,
  r: -0x1e66n
}, {
  a: 0xfen,
  b: 0x2dn,
  r: 0xd1n
}, {
  a: -0x5287n,
  b: 0n,
  r: -0x5287n
}, {
  a: 0xcn,
  b: -0x9bn,
  r: 0xa7n
}, {
  a: 0x1n,
  b: 0x7951n,
  r: -0x7950n
}, {
  a: 0xfn,
  b: 0x50cn,
  r: -0x4fdn
}, {
  a: 0xa11n,
  b: -0x66n,
  r: 0xa77n
}, {
  a: 0x93n,
  b: -0xbcf2n,
  r: 0xbd85n
}, {
  a: 0x4b4n,
  b: -0x9n,
  r: 0x4bdn
}, {
  a: 0x10cen,
  b: 0n,
  r: 0x10cen
}, {
  a: -0xd882n,
  b: -0x32en,
  r: -0xd554n
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: -0xf2dn,
  b: 0n,
  r: -0xf2dn
}, {
  a: 0n,
  b: -0x22bdn,
  r: 0x22bdn
}, {
  a: 0n,
  b: 0xbf6n,
  r: -0xbf6n
}, {
  a: 0n,
  b: -0x55n,
  r: 0x55n
}, {
  a: 0x20cn,
  b: 0xden,
  r: 0x12en
}, {
  a: -0xe04n,
  b: 0xa1n,
  r: -0xea5n
}, {
  a: -0xbn,
  b: -0xb0n,
  r: 0xa5n
}, {
  a: -0xa5fn,
  b: 0x3f6n,
  r: -0xe55n
}, {
  a: 0x67n,
  b: -0x92an,
  r: 0x991n
}, {
  a: -0xd8cbn,
  b: 0xdcn,
  r: -0xd9a7n
}, {
  a: 0xen,
  b: 0n,
  r: 0xen
}, {
  a: -0x4n,
  b: -0x5n,
  r: 0x1n
}, {
  a: -0x4en,
  b: 0xafn,
  r: -0xfdn
}, {
  a: -0x91cn,
  b: 0n,
  r: -0x91cn
}, {
  a: 0n,
  b: -0xa87bn,
  r: 0xa87bn
}, {
  a: -0x17e4n,
  b: -0x58n,
  r: -0x178cn
}, {
  a: -0x4n,
  b: -0xfc3n,
  r: 0xfbfn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x8n,
  r: -0x8n
}, {
  a: -0xb81n,
  b: 0x3n,
  r: -0xb84n
}, {
  a: 0n,
  b: -0x8cc5n,
  r: 0x8cc5n
}, {
  a: 0xen,
  b: -0x7e2n,
  r: 0x7f0n
}, {
  a: -0x7n,
  b: 0xfe30n,
  r: -0xfe37n
}, {
  a: 0xa5an,
  b: -0x9994n,
  r: 0xa3een
}, {
  a: -0x7dn,
  b: 0n,
  r: -0x7dn
}, {
  a: 0xb22n,
  b: -0x4n,
  r: 0xb26n
}, {
  a: 0n,
  b: 0x92n,
  r: -0x92n
}, {
  a: 0xb0a4n,
  b: -0x2an,
  r: 0xb0cen
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x3c9dn,
  r: -0x3c9dn
}, {
  a: -0x5n,
  b: -0x105cn,
  r: 0x1057n
}, {
  a: -0xadfn,
  b: -0xf77n,
  r: 0x498n
}, {
  a: -0xc1n,
  b: -0x9n,
  r: -0xb8n
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: 0x540n,
  b: 0xc03n,
  r: -0x6c3n
}, {
  a: 0x15cn,
  b: -0xc3n,
  r: 0x21fn
}, {
  a: 0n,
  b: -0x1n,
  r: 0x1n
}, {
  a: 0x8a1n,
  b: 0x955bn,
  r: -0x8cban
}, {
  a: 0n,
  b: 0xcn,
  r: -0xcn
}, {
  a: 0xa3fn,
  b: -0x71n,
  r: 0xab0n
}, {
  a: -0xc6fn,
  b: 0n,
  r: -0xc6fn
}, {
  a: -0x36n,
  b: 0x8n,
  r: -0x3en
}, {
  a: -0xdd7n,
  b: -0x8e3n,
  r: -0x4f4n
}, {
  a: 0n,
  b: 0x8n,
  r: -0x8n
}, {
  a: 0n,
  b: -0x4022n,
  r: 0x4022n
}, {
  a: -0x859bn,
  b: -0xd22fn,
  r: 0x4c94n
}, {
  a: -0xf52n,
  b: 0xan,
  r: -0xf5cn
}, {
  a: 0xban,
  b: -0xb2n,
  r: 0x16cn
}, {
  a: 0xan,
  b: -0xafn,
  r: 0xb9n
}, {
  a: -0x2a0dn,
  b: 0x9b7n,
  r: -0x33c4n
}, {
  a: 0x9dn,
  b: 0n,
  r: 0x9dn
}, {
  a: 0xedcn,
  b: 0n,
  r: 0xedcn
}, {
  a: 0xbdn,
  b: -0x33efn,
  r: 0x34acn
}, {
  a: 0x3n,
  b: 0x8n,
  r: -0x5n
}, {
  a: -0x50bn,
  b: -0xbn,
  r: -0x500n
}, {
  a: 0xddf4n,
  b: 0x4d18n,
  r: 0x90dcn
}, {
  a: -0xbn,
  b: -0xfn,
  r: 0x4n
}, {
  a: -0x6300n,
  b: 0n,
  r: -0x6300n
}, {
  a: 0n,
  b: -0xab3n,
  r: 0xab3n
}, {
  a: 0n,
  b: -0xbn,
  r: 0xbn
}, {
  a: -0x27n,
  b: 0x9n,
  r: -0x30n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x3n,
  b: -0xc3n,
  r: 0xc6n
}, {
  a: 0x7an,
  b: -0xa79n,
  r: 0xaf3n
}, {
  a: -0x64en,
  b: -0x623n,
  r: -0x2bn
}, {
  a: 0xe6f9n,
  b: -0x4aean,
  r: 0x131e3n
}, {
  a: -0x2n,
  b: 0x1ddn,
  r: -0x1dfn
}, {
  a: 0xffn,
  b: 0x81n,
  r: 0x7en
}, {
  a: 0x82n,
  b: -0x7dn,
  r: 0xffn
}, {
  a: 0xa84an,
  b: 0n,
  r: 0xa84an
}, {
  a: -0x437n,
  b: 0xdn,
  r: -0x444n
}, {
  a: 0n,
  b: -0x23b2n,
  r: 0x23b2n
}, {
  a: 0xa2n,
  b: -0xf1dn,
  r: 0xfbfn
}, {
  a: -0x89n,
  b: 0x4n,
  r: -0x8dn
}, {
  a: -0x5e35n,
  b: 0xec5n,
  r: -0x6cfan
}, {
  a: 0x96n,
  b: 0x87n,
  r: 0xfn
}, {
  a: 0xen,
  b: -0x8n,
  r: 0x16n
}, {
  a: 0n,
  b: -0x6n,
  r: 0x6n
}, {
  a: 0n,
  b: -0x5n,
  r: 0x5n
}, {
  a: 0x4c9n,
  b: 0x8n,
  r: 0x4c1n
}, {
  a: -0x1n,
  b: 0n,
  r: -0x1n
}, {
  a: -0xddn,
  b: 0x1fn,
  r: -0xfcn
}, {
  a: -0xf7n,
  b: 0x7df5n,
  r: -0x7eecn
}, {
  a: 0xdab9n,
  b: 0n,
  r: 0xdab9n
}, {
  a: 0x59n,
  b: -0x7n,
  r: 0x60n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xcn,
  b: -0x8987n,
  r: 0x8993n
}, {
  a: 0n,
  b: 0x804n,
  r: -0x804n
}, {
  a: -0xc569n,
  b: -0xf66n,
  r: -0xb603n
}, {
  a: -0xdfdn,
  b: -0x9n,
  r: -0xdf4n
}, {
  a: -0x46n,
  b: -0x77n,
  r: 0x31n
}, {
  a: -0xcc01n,
  b: -0xbn,
  r: -0xcbf6n
}, {
  a: 0x9n,
  b: 0xe0n,
  r: -0xd7n
}, {
  a: 0x4be5n,
  b: -0xd2n,
  r: 0x4cb7n
}, {
  a: 0n,
  b: 0x37n,
  r: -0x37n
}, {
  a: 0x2n,
  b: 0xan,
  r: -0x8n
}, {
  a: 0xd1en,
  b: -0x35a5n,
  r: 0x42c3n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x31n,
  b: 0n,
  r: -0x31n
}, {
  a: 0x896en,
  b: -0x1a22n,
  r: 0xa390n
}, {
  a: -0xb8n,
  b: 0n,
  r: -0xb8n
}, {
  a: 0xbdbn,
  b: 0x7cc7n,
  r: -0x70ecn
}, {
  a: 0n,
  b: -0x5n,
  r: 0x5n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x5b0n,
  b: -0xfeefn,
  r: 0xf93fn
}, {
  a: 0xbb1n,
  b: -0x7an,
  r: 0xc2bn
}, {
  a: 0xc1e4n,
  b: 0x86n,
  r: 0xc15en
}, {
  a: 0n,
  b: -0xc7b5n,
  r: 0xc7b5n
}, {
  a: -0xf08n,
  b: 0x4n,
  r: -0xf0cn
}, {
  a: -0xe7n,
  b: -0x657n,
  r: 0x570n
}, {
  a: -0xf8en,
  b: 0n,
  r: -0xf8en
}, {
  a: 0x4e70n,
  b: 0x27en,
  r: 0x4bf2n
}, {
  a: 0x80n,
  b: -0x8en,
  r: 0x10en
}, {
  a: 0n,
  b: -0xff2n,
  r: 0xff2n
}, {
  a: -0x29cn,
  b: 0n,
  r: -0x29cn
}, {
  a: -0x1ccn,
  b: -0xd3b9n,
  r: 0xd1edn
}, {
  a: -0xcn,
  b: 0x8n,
  r: -0x14n
}, {
  a: 0x68n,
  b: 0xdn,
  r: 0x5bn
}, {
  a: 0x7n,
  b: 0xdd38n,
  r: -0xdd31n
}, {
  a: 0x97e6n,
  b: 0x82dn,
  r: 0x8fb9n
}, {
  a: 0xaa78n,
  b: 0n,
  r: 0xaa78n
}, {
  a: 0x3n,
  b: -0x44n,
  r: 0x47n
}, {
  a: 0x4n,
  b: -0x560n,
  r: 0x564n
}, {
  a: -0xcdbfn,
  b: 0n,
  r: -0xcdbfn
}, {
  a: -0xdn,
  b: -0x21n,
  r: 0x14n
}, {
  a: 0x6c7n,
  b: 0x89cn,
  r: -0x1d5n
}, {
  a: -0xf65n,
  b: -0x52n,
  r: -0xf13n
}, {
  a: -0xae9n,
  b: 0x84n,
  r: -0xb6dn
}, {
  a: -0x829n,
  b: -0xen,
  r: -0x81bn
}, {
  a: -0x751n,
  b: 0xbfn,
  r: -0x810n
}, {
  a: 0x3b5n,
  b: 0x53b4n,
  r: -0x4fffn
}, {
  a: -0xa7n,
  b: -0x60n,
  r: -0x47n
}, {
  a: 0x26n,
  b: 0xc9n,
  r: -0xa3n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x87n,
  b: -0x5060n,
  r: 0x50e7n
}, {
  a: 0n,
  b: -0xdn,
  r: 0xdn
}, {
  a: 0x758dn,
  b: 0x1b8n,
  r: 0x73d5n
}, {
  a: 0x91en,
  b: 0xd464n,
  r: -0xcb46n
}, {
  a: 0x6n,
  b: 0x2a07n,
  r: -0x2a01n
}, {
  a: 0xcc3n,
  b: -0x5ba0n,
  r: 0x6863n
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: 0xdn,
  b: -0x8359n,
  r: 0x8366n
}, {
  a: 0xf7fn,
  b: -0x8n,
  r: 0xf87n
}, {
  a: 0xc3n,
  b: 0x611n,
  r: -0x54en
}, {
  a: 0x2e8n,
  b: -0x8n,
  r: 0x2f0n
}, {
  a: 0xf81n,
  b: -0xfn,
  r: 0xf90n
}, {
  a: 0x4n,
  b: -0x23n,
  r: 0x27n
}, {
  a: -0xf1n,
  b: 0n,
  r: -0xf1n
}, {
  a: 0x13c7n,
  b: 0n,
  r: 0x13c7n
}, {
  a: -0x728cn,
  b: 0x931n,
  r: -0x7bbdn
}, {
  a: 0xda6n,
  b: 0x4n,
  r: 0xda2n
}, {
  a: 0x60n,
  b: 0xan,
  r: 0x56n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x36n,
  b: -0x7bn,
  r: 0x45n
}, {
  a: -0x55fn,
  b: 0n,
  r: -0x55fn
}, {
  a: 0n,
  b: -0x111n,
  r: 0x111n
}, {
  a: 0n,
  b: 0x8een,
  r: -0x8een
}, {
  a: 0xc1adn,
  b: 0xdcn,
  r: 0xc0d1n
}, {
  a: 0xd778n,
  b: 0x6cn,
  r: 0xd70cn
}, {
  a: 0n,
  b: -0x55dn,
  r: 0x55dn
}, {
  a: 0x96a6n,
  b: -0x1n,
  r: 0x96a7n
}, {
  a: 0x69n,
  b: 0x80f1n,
  r: -0x8088n
}, {
  a: -0x9n,
  b: -0x17n,
  r: 0xen
}, {
  a: 0x9n,
  b: -0xee7n,
  r: 0xef0n
}, {
  a: 0n,
  b: 0x4n,
  r: -0x4n
}, {
  a: 0x9587n,
  b: -0xb06n,
  r: 0xa08dn
}, {
  a: -0x83n,
  b: -0x528n,
  r: 0x4a5n
}, {
  a: -0x1c50n,
  b: 0x221n,
  r: -0x1e71n
}, {
  a: 0n,
  b: -0x6an,
  r: 0x6an
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xf39n,
  b: -0x7511n,
  r: 0x65d8n
}, {
  a: 0xfn,
  b: -0x8n,
  r: 0x17n
}, {
  a: -0x1n,
  b: 0n,
  r: -0x1n
}, {
  a: -0x999cn,
  b: 0x4n,
  r: -0x99a0n
}, {
  a: -0xbn,
  b: -0xbf5n,
  r: 0xbean
}, {
  a: 0x8n,
  b: -0xcf6n,
  r: 0xcfen
}, {
  a: -0xeen,
  b: 0n,
  r: -0xeen
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x462fn,
  b: 0xd522n,
  r: -0x8ef3n
}, {
  a: 0x5fn,
  b: -0x1c7n,
  r: 0x226n
}, {
  a: 0n,
  b: 0xa508n,
  r: -0xa508n
}, {
  a: -0x809n,
  b: -0x3b5n,
  r: -0x454n
}, {
  a: -0x2e2n,
  b: 0n,
  r: -0x2e2n
}, {
  a: 0n,
  b: -0x6n,
  r: 0x6n
}, {
  a: 0x9an,
  b: 0n,
  r: 0x9an
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: 0xdn,
  b: -0xbn,
  r: 0x18n
}, {
  a: 0x9n,
  b: -0x9n,
  r: 0x12n
}, {
  a: 0x1f6en,
  b: -0x6n,
  r: 0x1f74n
}, {
  a: 0xc862n,
  b: -0x3e3cn,
  r: 0x1069en
}, {
  a: 0n,
  b: 0x3bn,
  r: -0x3bn
}, {
  a: -0xa4n,
  b: 0xdcn,
  r: -0x180n
}, {
  a: 0x6n,
  b: 0xdn,
  r: -0x7n
}, {
  a: -0x9a6dn,
  b: -0x121n,
  r: -0x994cn
}, {
  a: 0x8c5n,
  b: 0n,
  r: 0x8c5n
}, {
  a: -0x9e89n,
  b: -0xan,
  r: -0x9e7fn
}, {
  a: -0x5an,
  b: -0xbn,
  r: -0x4fn
}, {
  a: -0x72n,
  b: -0x7en,
  r: 0xcn
}, {
  a: 0xcf9n,
  b: -0x7n,
  r: 0xd00n
}, {
  a: 0x71bn,
  b: -0x7bn,
  r: 0x796n
}, {
  a: -0xan,
  b: 0x8en,
  r: -0x98n
}, {
  a: 0n,
  b: 0x52c9n,
  r: -0x52c9n
}, {
  a: -0x55n,
  b: 0n,
  r: -0x55n
}, {
  a: 0n,
  b: -0xd5bn,
  r: 0xd5bn
}, {
  a: -0x454fn,
  b: -0x6n,
  r: -0x4549n
}, {
  a: 0xdn,
  b: -0xecn,
  r: 0xf9n
}, {
  a: 0x22n,
  b: 0x5931n,
  r: -0x590fn
}, {
  a: -0x8ddn,
  b: 0x7214n,
  r: -0x7af1n
}, {
  a: 0x17n,
  b: 0n,
  r: 0x17n
}, {
  a: 0xadfn,
  b: -0x3n,
  r: 0xae2n
}, {
  a: 0n,
  b: 0x403en,
  r: -0x403en
}, {
  a: 0n,
  b: 0x33d2n,
  r: -0x33d2n
}, {
  a: 0n,
  b: 0x30n,
  r: -0x30n
}, {
  a: 0xcn,
  b: -0xen,
  r: 0x1an
}, {
  a: 0n,
  b: 0xe4d9n,
  r: -0xe4d9n
}, {
  a: 0x1an,
  b: -0xa6n,
  r: 0xc0n
}, {
  a: 0x74an,
  b: -0x1n,
  r: 0x74bn
}, {
  a: 0x79c7n,
  b: 0n,
  r: 0x79c7n
}, {
  a: 0x56n,
  b: 0x87adn,
  r: -0x8757n
}, {
  a: -0x61cn,
  b: 0x5a8n,
  r: -0xbc4n
}, {
  a: 0xfn,
  b: -0x37f1n,
  r: 0x3800n
}, {
  a: -0x3c4n,
  b: -0x4n,
  r: -0x3c0n
}, {
  a: 0x9c6n,
  b: -0x87n,
  r: 0xa4dn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xan,
  r: 0xan
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x7fcdn,
  b: 0xc1fn,
  r: 0x73aen
}, {
  a: -0xen,
  b: 0x187n,
  r: -0x195n
}, {
  a: 0xc3an,
  b: -0xen,
  r: 0xc48n
}, {
  a: 0xf1d2n,
  b: -0x960n,
  r: 0xfb32n
}, {
  a: 0x3da3n,
  b: 0n,
  r: 0x3da3n
}, {
  a: 0x5n,
  b: 0x94cn,
  r: -0x947n
}, {
  a: -0x21n,
  b: 0n,
  r: -0x21n
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: 0xfbn,
  b: 0x8150n,
  r: -0x8055n
}, {
  a: -0xen,
  b: 0x13n,
  r: -0x21n
}, {
  a: -0xba7cn,
  b: -0x920n,
  r: -0xb15cn
}, {
  a: 0x3dd8n,
  b: 0xcn,
  r: 0x3dccn
}, {
  a: -0xf6dn,
  b: 0x9f80n,
  r: -0xaeedn
}, {
  a: 0x6e9n,
  b: -0x9n,
  r: 0x6f2n
}, {
  a: 0xd4an,
  b: -0xfn,
  r: 0xd59n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0n,
  b: -0xbbn,
  r: 0xbbn
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: 0x5315n,
  b: 0xe7dn,
  r: 0x4498n
}, {
  a: -0x4d1en,
  b: -0x60n,
  r: -0x4cben
}, {
  a: 0x92an,
  b: 0xc841n,
  r: -0xbf17n
}, {
  a: -0x36c7n,
  b: 0n,
  r: -0x36c7n
}, {
  a: 0n,
  b: -0x407n,
  r: 0x407n
}, {
  a: 0x6d6n,
  b: 0xd69n,
  r: -0x693n
}, {
  a: -0xbd93n,
  b: 0n,
  r: -0xbd93n
}, {
  a: 0n,
  b: 0x1d8n,
  r: -0x1d8n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0x9dbn,
  b: 0x40ben,
  r: -0x36e3n
}, {
  a: -0x83n,
  b: -0xad49n,
  r: 0xacc6n
}, {
  a: 0n,
  b: -0x92en,
  r: 0x92en
}, {
  a: -0x2dn,
  b: 0n,
  r: -0x2dn
}, {
  a: 0x51n,
  b: 0x6d3bn,
  r: -0x6cean
}, {
  a: -0x3c6n,
  b: -0x5cn,
  r: -0x36an
}, {
  a: -0xan,
  b: -0x16n,
  r: 0xcn
}, {
  a: 0x819dn,
  b: -0x2b6dn,
  r: 0xad0an
}, {
  a: -0x9n,
  b: 0x927n,
  r: -0x930n
}, {
  a: 0xd872n,
  b: 0xb61n,
  r: 0xcd11n
}, {
  a: 0x6f25n,
  b: -0x8d9n,
  r: 0x77fen
}, {
  a: -0x31fn,
  b: 0x3n,
  r: -0x322n
}, {
  a: 0xfn,
  b: -0x81n,
  r: 0x90n
}, {
  a: -0xe3f7n,
  b: 0xe424n,
  r: -0x1c81bn
}, {
  a: 0x1n,
  b: -0x333n,
  r: 0x334n
}, {
  a: 0x8f95n,
  b: 0n,
  r: 0x8f95n
}, {
  a: -0xc60n,
  b: 0n,
  r: -0xc60n
}, {
  a: 0xfn,
  b: 0xb102n,
  r: -0xb0f3n
}, {
  a: -0x7fn,
  b: 0x350n,
  r: -0x3cfn
}, {
  a: 0x99n,
  b: -0xfn,
  r: 0xa8n
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: 0xbbn,
  b: 0n,
  r: 0xbbn
}, {
  a: -0xf15n,
  b: 0xbd0fn,
  r: -0xcc24n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xdb1fn,
  b: 0n,
  r: 0xdb1fn
}, {
  a: 0x29n,
  b: 0x5c9n,
  r: -0x5a0n
}, {
  a: -0x1n,
  b: 0n,
  r: -0x1n
}, {
  a: 0x2n,
  b: 0x8a15n,
  r: -0x8a13n
}, {
  a: 0xa99n,
  b: 0n,
  r: 0xa99n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xa150n,
  b: -0xa2n,
  r: -0xa0aen
}, {
  a: -0xe16n,
  b: -0xcfa4n,
  r: 0xc18en
}, {
  a: -0xfb6n,
  b: 0xdean,
  r: -0x1da0n
}, {
  a: 0x69n,
  b: 0xb3c1n,
  r: -0xb358n
}, {
  a: -0x371n,
  b: 0x1n,
  r: -0x372n
}, {
  a: -0x9n,
  b: 0n,
  r: -0x9n
}, {
  a: 0n,
  b: -0xf7n,
  r: 0xf7n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x9baen,
  b: 0x6n,
  r: -0x9bb4n
}, {
  a: 0x4cn,
  b: 0x40n,
  r: 0xcn
}, {
  a: -0x3an,
  b: -0x4d5n,
  r: 0x49bn
}, {
  a: -0x6acn,
  b: 0xc0n,
  r: -0x76cn
}, {
  a: -0xb80n,
  b: 0xd939n,
  r: -0xe4b9n
}, {
  a: -0x5n,
  b: -0x2a08n,
  r: 0x2a03n
}, {
  a: -0xccn,
  b: 0xb2adn,
  r: -0xb379n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xe417n,
  r: -0xe417n
}, {
  a: 0xf73cn,
  b: 0n,
  r: 0xf73cn
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: -0x900n,
  b: -0x1dn,
  r: -0x8e3n
}, {
  a: 0xdcc9n,
  b: 0x82n,
  r: 0xdc47n
}, {
  a: 0n,
  b: 0xbn,
  r: -0xbn
}, {
  a: 0xa88n,
  b: 0n,
  r: 0xa88n
}, {
  a: 0n,
  b: 0x5898n,
  r: -0x5898n
}, {
  a: -0xbn,
  b: 0x7d45n,
  r: -0x7d50n
}, {
  a: 0x2db5n,
  b: 0x5n,
  r: 0x2db0n
}, {
  a: -0xbe4n,
  b: -0xa718n,
  r: 0x9b34n
}, {
  a: 0n,
  b: 0x34e0n,
  r: -0x34e0n
}, {
  a: 0x2n,
  b: 0n,
  r: 0x2n
}, {
  a: -0x1dn,
  b: 0n,
  r: -0x1dn
}, {
  a: -0x9cn,
  b: -0xf41n,
  r: 0xea5n
}, {
  a: -0x117n,
  b: 0xen,
  r: -0x125n
}, {
  a: -0x95b1n,
  b: -0x2n,
  r: -0x95afn
}, {
  a: 0n,
  b: 0x2becn,
  r: -0x2becn
}, {
  a: 0x949en,
  b: 0xa5f0n,
  r: -0x1152n
}, {
  a: 0xc0n,
  b: -0x869n,
  r: 0x929n
}, {
  a: 0xbb1n,
  b: -0x8n,
  r: 0xbb9n
}, {
  a: 0n,
  b: 0x462en,
  r: -0x462en
}, {
  a: -0x41an,
  b: -0xa870n,
  r: 0xa456n
}, {
  a: 0n,
  b: 0x3b27n,
  r: -0x3b27n
}, {
  a: 0x50dn,
  b: 0n,
  r: 0x50dn
}, {
  a: 0xac73n,
  b: 0xcn,
  r: 0xac67n
}, {
  a: 0n,
  b: 0xe9b5n,
  r: -0xe9b5n
}, {
  a: 0xa39an,
  b: -0x6n,
  r: 0xa3a0n
}, {
  a: -0x3n,
  b: -0x5n,
  r: 0x2n
}, {
  a: 0xbn,
  b: -0x522an,
  r: 0x5235n
}, {
  a: -0xd6n,
  b: 0n,
  r: -0xd6n
}, {
  a: 0x8n,
  b: -0xf76n,
  r: 0xf7en
}, {
  a: -0x7fd4n,
  b: 0n,
  r: -0x7fd4n
}, {
  a: -0xbd4n,
  b: -0x22n,
  r: -0xbb2n
}, {
  a: 0x7d5n,
  b: 0xbcn,
  r: 0x719n
}, {
  a: 0xeben,
  b: 0x77d4n,
  r: -0x6916n
}, {
  a: -0xan,
  b: 0x8dan,
  r: -0x8e4n
}, {
  a: -0xcdacn,
  b: -0x9aa1n,
  r: -0x330bn
}, {
  a: 0n,
  b: -0xf3n,
  r: 0xf3n
}, {
  a: 0xd7n,
  b: -0x40fn,
  r: 0x4e6n
}, {
  a: -0x39n,
  b: 0n,
  r: -0x39n
}, {
  a: 0xdc2n,
  b: 0xan,
  r: 0xdb8n
}, {
  a: -0xan,
  b: 0x636n,
  r: -0x640n
}, {
  a: 0xd3f8n,
  b: -0x4n,
  r: 0xd3fcn
}, {
  a: -0xc21n,
  b: 0xbb33n,
  r: -0xc754n
}, {
  a: 0n,
  b: -0xaan,
  r: 0xaan
}, {
  a: -0x46n,
  b: 0n,
  r: -0x46n
}, {
  a: 0n,
  b: 0x94n,
  r: -0x94n
}, {
  a: 0x96n,
  b: 0n,
  r: 0x96n
}, {
  a: 0n,
  b: -0xf4n,
  r: 0xf4n
}, {
  a: 0n,
  b: -0xa94fn,
  r: 0xa94fn
}, {
  a: 0n,
  b: 0x1480n,
  r: -0x1480n
}, {
  a: -0x6fn,
  b: -0xd2n,
  r: 0x63n
}, {
  a: 0n,
  b: -0xbd5n,
  r: 0xbd5n
}, {
  a: -0x9an,
  b: -0x6030n,
  r: 0x5f96n
}, {
  a: -0xcceen,
  b: -0x9cn,
  r: -0xcc52n
}, {
  a: -0x80d0n,
  b: -0x7n,
  r: -0x80c9n
}, {
  a: 0x628n,
  b: 0xd8n,
  r: 0x550n
}, {
  a: -0xfn,
  b: 0n,
  r: -0xfn
}, {
  a: 0n,
  b: 0x6cen,
  r: -0x6cen
}, {
  a: 0x5an,
  b: 0x7cn,
  r: -0x22n
}, {
  a: -0x947en,
  b: -0xf9n,
  r: -0x9385n
}];

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