// 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: -0xabfn,
  b: 0x6n,
  r: -0x407an
}, {
  a: -0x446n,
  b: 0xdn,
  r: -0x378en
}, {
  a: -0x65n,
  b: 0x28n,
  r: -0xfc8n
}, {
  a: 0xcd80n,
  b: 0n,
  r: 0n
}, {
  a: -0xc3n,
  b: 0xffn,
  r: -0xc23dn
}, {
  a: 0xan,
  b: 0x6f2n,
  r: 0x4574n
}, {
  a: 0xfn,
  b: 0x41bn,
  r: 0x3d95n
}, {
  a: 0x7an,
  b: 0x74n,
  r: 0x3748n
}, {
  a: -0xcn,
  b: 0x684n,
  r: -0x4e30n
}, {
  a: 0xc2n,
  b: -0xc5n,
  r: -0x954an
}, {
  a: -0x15n,
  b: 0x67n,
  r: -0x873n
}, {
  a: 0x1f3cn,
  b: 0n,
  r: 0n
}, {
  a: -0x8bn,
  b: 0x79n,
  r: -0x41b3n
}, {
  a: 0x3c4n,
  b: -0x3n,
  r: -0xb4cn
}, {
  a: 0xc7n,
  b: 0x38n,
  r: 0x2b88n
}, {
  a: -0xdn,
  b: 0x806n,
  r: -0x684en
}, {
  a: 0xaaan,
  b: -0x4n,
  r: -0x2aa8n
}, {
  a: -0xan,
  b: -0xaa2n,
  r: 0x6a54n
}, {
  a: -0x2fn,
  b: 0xcen,
  r: -0x25d2n
}, {
  a: 0x1ceen,
  b: 0n,
  r: 0n
}, {
  a: -0xf45n,
  b: -0xbn,
  r: 0xa7f7n
}, {
  a: -0xca03n,
  b: 0n,
  r: 0n
}, {
  a: -0x5e9n,
  b: 0x2n,
  r: -0xbd2n
}, {
  a: -0x8n,
  b: 0x334n,
  r: -0x19a0n
}, {
  a: 0x352n,
  b: -0x7n,
  r: -0x173en
}, {
  a: -0x2n,
  b: -0x290n,
  r: 0x520n
}, {
  a: -0x5cn,
  b: -0x3en,
  r: 0x1648n
}, {
  a: -0xa43n,
  b: -0x1n,
  r: 0xa43n
}, {
  a: -0xen,
  b: 0x791n,
  r: -0x69een
}, {
  a: 0x557n,
  b: -0x8n,
  r: -0x2ab8n
}, {
  a: 0xden,
  b: -0x8an,
  r: -0x77acn
}, {
  a: 0x7en,
  b: 0xedn,
  r: 0x74a6n
}, {
  a: 0x7n,
  b: -0x5b9n,
  r: -0x280fn
}, {
  a: 0xec2n,
  b: -0xfn,
  r: -0xdd5en
}, {
  a: 0x4n,
  b: -0x9a3n,
  r: -0x268cn
}, {
  a: -0x4n,
  b: -0xf72n,
  r: 0x3dc8n
}, {
  a: 0xc037n,
  b: 0n,
  r: 0n
}, {
  a: -0x3720n,
  b: 0n,
  r: 0n
}, {
  a: 0x5bn,
  b: -0x19n,
  r: -0x8e3n
}, {
  a: -0x210n,
  b: 0xdn,
  r: -0x1ad0n
}, {
  a: 0x4fn,
  b: 0x85n,
  r: 0x290bn
}, {
  a: -0x11a0n,
  b: 0n,
  r: 0n
}, {
  a: -0x1aen,
  b: 0x8n,
  r: -0xd70n
}, {
  a: 0x7d1n,
  b: -0x3n,
  r: -0x1773n
}, {
  a: -0xa4an,
  b: 0xdn,
  r: -0x85c2n
}, {
  a: -0x3n,
  b: -0x6fdn,
  r: 0x14f7n
}, {
  a: 0x924n,
  b: 0x3n,
  r: 0x1b6cn
}, {
  a: -0x8n,
  b: -0xad8n,
  r: 0x56c0n
}, {
  a: 0x3211n,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: 0xae1n,
  r: 0x4146n
}, {
  a: -0x2ef3n,
  b: 0n,
  r: 0n
}, {
  a: -0x1771n,
  b: 0n,
  r: 0n
}, {
  a: 0xc42n,
  b: 0x2n,
  r: 0x1884n
}, {
  a: -0xb921n,
  b: 0n,
  r: 0n
}, {
  a: -0x2n,
  b: 0xff7n,
  r: -0x1feen
}, {
  a: -0xd774n,
  b: 0n,
  r: 0n
}, {
  a: 0x643en,
  b: 0n,
  r: 0n
}, {
  a: 0x16n,
  b: 0x7dn,
  r: 0xaben
}, {
  a: 0x89n,
  b: -0xe9n,
  r: -0x7cb1n
}, {
  a: -0x1n,
  b: -0xd9dn,
  r: 0xd9dn
}, {
  a: -0xd3ffn,
  b: 0n,
  r: 0n
}, {
  a: 0x24n,
  b: 0x5an,
  r: 0xca8n
}, {
  a: 0x3238n,
  b: 0n,
  r: 0n
}, {
  a: 0x9en,
  b: 0x4an,
  r: 0x2dacn
}, {
  a: -0x84en,
  b: 0x9n,
  r: -0x4aben
}, {
  a: 0x2n,
  b: -0x1c0n,
  r: -0x380n
}, {
  a: 0x185n,
  b: -0xcn,
  r: -0x123cn
}, {
  a: 0xb4n,
  b: -0xe1n,
  r: -0x9e34n
}, {
  a: -0x8a6n,
  b: -0x6n,
  r: 0x33e4n
}, {
  a: 0x9en,
  b: 0xbfn,
  r: 0x75e2n
}, {
  a: -0x1e1n,
  b: 0x9n,
  r: -0x10e9n
}, {
  a: 0xa6cn,
  b: 0x4n,
  r: 0x29b0n
}, {
  a: -0x2fn,
  b: 0x22n,
  r: -0x63en
}, {
  a: -0x9148n,
  b: 0n,
  r: 0n
}, {
  a: -0x8bedn,
  b: 0n,
  r: 0n
}, {
  a: -0x38n,
  b: 0x98n,
  r: -0x2140n
}, {
  a: -0x4n,
  b: 0x265n,
  r: -0x994n
}, {
  a: 0xfn,
  b: -0x19cn,
  r: -0x1824n
}, {
  a: -0x839n,
  b: 0xan,
  r: -0x523an
}, {
  a: 0x790n,
  b: 0xbn,
  r: 0x5330n
}, {
  a: 0xa0n,
  b: -0xbcn,
  r: -0x7580n
}, {
  a: -0x72n,
  b: 0x33n,
  r: -0x16b6n
}, {
  a: -0xddbn,
  b: -0xan,
  r: 0x8a8en
}, {
  a: 0x9n,
  b: 0x810n,
  r: 0x4890n
}, {
  a: -0xa88n,
  b: 0xcn,
  r: -0x7e60n
}, {
  a: -0x3n,
  b: -0xc00n,
  r: 0x2400n
}, {
  a: -0xf6n,
  b: -0xd2n,
  r: 0xc9ccn
}, {
  a: 0xfeen,
  b: -0xbn,
  r: -0xaf3an
}, {
  a: 0xb6n,
  b: -0x80n,
  r: -0x5b00n
}, {
  a: -0xc6fn,
  b: -0xfn,
  r: 0xba81n
}, {
  a: -0xd9a1n,
  b: 0n,
  r: 0n
}, {
  a: 0x8fn,
  b: -0x4dn,
  r: -0x2b03n
}, {
  a: 0x425bn,
  b: 0n,
  r: 0n
}, {
  a: -0xf9ban,
  b: 0n,
  r: 0n
}, {
  a: 0x2bdn,
  b: -0x2n,
  r: -0x57an
}, {
  a: -0x151n,
  b: -0xen,
  r: 0x126en
}, {
  a: 0x28b9n,
  b: 0n,
  r: 0n
}, {
  a: -0xccn,
  b: -0x63n,
  r: 0x4ee4n
}, {
  a: 0x4fn,
  b: 0x2dn,
  r: 0xde3n
}, {
  a: -0x78n,
  b: 0x3bn,
  r: -0x1ba8n
}, {
  a: -0xan,
  b: 0x50en,
  r: -0x328cn
}, {
  a: 0xde0an,
  b: 0n,
  r: 0n
}, {
  a: -0x8ffdn,
  b: 0n,
  r: 0n
}, {
  a: -0x32b3n,
  b: 0n,
  r: 0n
}, {
  a: 0x40n,
  b: 0x89n,
  r: 0x2240n
}, {
  a: -0xan,
  b: 0xafen,
  r: -0x6decn
}, {
  a: 0xen,
  b: 0x8f5n,
  r: 0x7d66n
}, {
  a: 0x15ban,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: -0xbfdn,
  r: -0x47een
}, {
  a: -0x7n,
  b: -0xafen,
  r: 0x4cf2n
}, {
  a: -0xf4a5n,
  b: 0n,
  r: 0n
}, {
  a: 0xa2n,
  b: 0x5dn,
  r: 0x3adan
}, {
  a: 0x19n,
  b: -0xa5n,
  r: -0x101dn
}, {
  a: 0xe32n,
  b: 0x6n,
  r: 0x552cn
}, {
  a: 0xda4n,
  b: -0xan,
  r: -0x8868n
}, {
  a: -0x2fc2n,
  b: 0n,
  r: 0n
}, {
  a: -0xd4n,
  b: -0xban,
  r: 0x9a08n
}, {
  a: 0xf67n,
  b: 0xcn,
  r: 0xb8d4n
}, {
  a: -0x804n,
  b: -0x6n,
  r: 0x3018n
}, {
  a: 0x386n,
  b: 0xcn,
  r: 0x2a48n
}, {
  a: -0xa42n,
  b: -0x6n,
  r: 0x3d8cn
}, {
  a: 0xb1cn,
  b: -0x5n,
  r: -0x378cn
}, {
  a: -0x2n,
  b: 0x81cn,
  r: -0x1038n
}, {
  a: -0x9aen,
  b: -0x1n,
  r: 0x9aen
}, {
  a: -0x5acen,
  b: 0n,
  r: 0n
}, {
  a: 0x3n,
  b: -0xf2cn,
  r: -0x2d84n
}, {
  a: 0x6n,
  b: -0x6d6n,
  r: -0x2904n
}, {
  a: -0xe8n,
  b: 0x8dn,
  r: -0x7fc8n
}, {
  a: 0xbf1an,
  b: 0n,
  r: 0n
}, {
  a: 0x9n,
  b: 0x7f8n,
  r: 0x47b8n
}, {
  a: -0x958n,
  b: 0x2n,
  r: -0x12b0n
}, {
  a: -0x7dn,
  b: -0xecn,
  r: 0x733cn
}, {
  a: 0x4fn,
  b: 0x4an,
  r: 0x16d6n
}, {
  a: -0x218n,
  b: 0x9n,
  r: -0x12d8n
}, {
  a: -0xf172n,
  b: 0n,
  r: 0n
}, {
  a: -0xa0n,
  b: -0xe2n,
  r: 0x8d40n
}, {
  a: -0xfn,
  b: -0x4bfn,
  r: 0x4731n
}, {
  a: -0x3300n,
  b: 0n,
  r: 0n
}, {
  a: 0x40bbn,
  b: 0n,
  r: 0n
}, {
  a: -0x619n,
  b: 0x5n,
  r: -0x1e7dn
}, {
  a: 0x3n,
  b: -0x838n,
  r: -0x18a8n
}, {
  a: 0xdn,
  b: -0x79cn,
  r: -0x62ecn
}, {
  a: 0xecean,
  b: 0n,
  r: 0n
}, {
  a: -0x923n,
  b: -0xbn,
  r: 0x6481n
}, {
  a: -0x2n,
  b: -0x4e8n,
  r: 0x9d0n
}, {
  a: -0xddn,
  b: 0x7en,
  r: -0x6cc6n
}, {
  a: -0x58n,
  b: 0xddn,
  r: -0x4bf8n
}, {
  a: 0x7b4n,
  b: -0x7n,
  r: -0x35ecn
}, {
  a: -0x31een,
  b: 0n,
  r: 0n
}, {
  a: -0x326n,
  b: -0x2n,
  r: 0x64cn
}, {
  a: -0xfn,
  b: -0x183n,
  r: 0x16adn
}, {
  a: 0x4fc2n,
  b: 0n,
  r: 0n
}, {
  a: 0x30b3n,
  b: 0n,
  r: 0n
}, {
  a: -0xe58n,
  b: 0xan,
  r: -0x8f70n
}, {
  a: -0xdban,
  b: 0x1n,
  r: -0xdban
}, {
  a: 0x7n,
  b: -0x9f2n,
  r: -0x459en
}, {
  a: -0x9n,
  b: 0x488n,
  r: -0x28c8n
}, {
  a: 0x79a2n,
  b: 0n,
  r: 0n
}, {
  a: 0xf8bfn,
  b: 0n,
  r: 0n
}, {
  a: -0xebaen,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: 0xc74n,
  r: -0xbaccn
}, {
  a: -0xdan,
  b: 0x41n,
  r: -0x375an
}, {
  a: 0xb1n,
  b: -0x5dn,
  r: -0x404dn
}, {
  a: 0x308dn,
  b: 0n,
  r: 0n
}, {
  a: 0xd6cn,
  b: -0x4n,
  r: -0x35b0n
}, {
  a: -0xf72n,
  b: -0xbn,
  r: 0xa9e6n
}, {
  a: -0xf47n,
  b: -0x1n,
  r: 0xf47n
}, {
  a: -0xdn,
  b: -0x478n,
  r: 0x3a18n
}, {
  a: -0x6aen,
  b: 0x1n,
  r: -0x6aen
}, {
  a: -0x2bfen,
  b: 0n,
  r: 0n
}, {
  a: -0xe64n,
  b: 0x6n,
  r: -0x5658n
}, {
  a: -0x9b77n,
  b: 0n,
  r: 0n
}, {
  a: 0xc5e8n,
  b: 0n,
  r: 0n
}, {
  a: 0x4n,
  b: 0xd52n,
  r: 0x3548n
}, {
  a: 0x17n,
  b: 0x7an,
  r: 0xaf6n
}, {
  a: -0x9b9bn,
  b: 0n,
  r: 0n
}, {
  a: 0x13bn,
  b: -0x2n,
  r: -0x276n
}, {
  a: -0xdn,
  b: 0x92en,
  r: -0x7756n
}, {
  a: 0x151en,
  b: 0n,
  r: 0n
}, {
  a: -0x1a6n,
  b: 0xcn,
  r: -0x13c8n
}, {
  a: -0x60d2n,
  b: 0n,
  r: 0n
}, {
  a: -0xeeden,
  b: 0n,
  r: 0n
}, {
  a: -0x7fn,
  b: -0xcfn,
  r: 0x66b1n
}, {
  a: 0x16cn,
  b: 0x1n,
  r: 0x16cn
}, {
  a: 0xd03n,
  b: -0x5n,
  r: -0x410fn
}, {
  a: -0xad92n,
  b: 0n,
  r: 0n
}, {
  a: 0xdn,
  b: 0x170n,
  r: 0x12b0n
}, {
  a: 0x1n,
  b: 0xf70n,
  r: 0xf70n
}, {
  a: 0xdn,
  b: 0xec3n,
  r: 0xbfe7n
}, {
  a: -0x4n,
  b: 0xd99n,
  r: -0x3664n
}, {
  a: 0xf125n,
  b: 0n,
  r: 0n
}, {
  a: -0x8a1n,
  b: 0x2n,
  r: -0x1142n
}, {
  a: -0xbd2dn,
  b: 0n,
  r: 0n
}, {
  a: 0x9eb9n,
  b: 0n,
  r: 0n
}, {
  a: -0xcan,
  b: 0x14n,
  r: -0xfc8n
}, {
  a: -0xbc2n,
  b: 0x4n,
  r: -0x2f08n
}, {
  a: -0x232n,
  b: 0xdn,
  r: -0x1c8an
}, {
  a: -0x7a1bn,
  b: 0n,
  r: 0n
}, {
  a: -0xc158n,
  b: 0n,
  r: 0n
}, {
  a: -0x78en,
  b: 0x2n,
  r: -0xf1cn
}, {
  a: 0x52a2n,
  b: 0n,
  r: 0n
}, {
  a: -0x344n,
  b: -0xbn,
  r: 0x23ecn
}, {
  a: 0xfn,
  b: 0xbf8n,
  r: 0xb388n
}, {
  a: 0xe8n,
  b: 0xc2n,
  r: 0xafd0n
}, {
  a: 0x1n,
  b: -0x9fdn,
  r: -0x9fdn
}, {
  a: -0x4cen,
  b: 0x2n,
  r: -0x99cn
}, {
  a: -0x34dn,
  b: 0xan,
  r: -0x2102n
}, {
  a: 0xf1n,
  b: 0x2cn,
  r: 0x296cn
}, {
  a: 0xbdn,
  b: -0xfbn,
  r: -0xb94fn
}, {
  a: -0x6n,
  b: 0x483n,
  r: -0x1b12n
}, {
  a: 0xcc9n,
  b: -0x7n,
  r: -0x597fn
}, {
  a: 0x96n,
  b: -0x4cn,
  r: -0x2c88n
}, {
  a: 0x6n,
  b: 0xc49n,
  r: 0x49b6n
}, {
  a: -0xb5n,
  b: 0xdcn,
  r: -0x9b8cn
}, {
  a: -0x2n,
  b: 0xf1cn,
  r: -0x1e38n
}, {
  a: 0xan,
  b: 0xf3en,
  r: 0x986cn
}, {
  a: -0xc7an,
  b: -0x3n,
  r: 0x256en
}, {
  a: -0x6n,
  b: -0x203n,
  r: 0xc12n
}, {
  a: -0x83dn,
  b: -0x8n,
  r: 0x41e8n
}, {
  a: 0xe4n,
  b: 0x68n,
  r: 0x5ca0n
}, {
  a: -0xen,
  b: -0xffen,
  r: 0xdfe4n
}, {
  a: 0xd0den,
  b: 0n,
  r: 0n
}, {
  a: -0x21c7n,
  b: 0n,
  r: 0n
}, {
  a: 0x313n,
  b: -0x5n,
  r: -0xf5fn
}, {
  a: 0x9n,
  b: 0x6c9n,
  r: 0x3d11n
}, {
  a: 0x3d2n,
  b: 0x8n,
  r: 0x1e90n
}, {
  a: 0x6n,
  b: -0xf92n,
  r: -0x5d6cn
}, {
  a: 0x5n,
  b: 0xe60n,
  r: 0x47e0n
}, {
  a: 0xc70n,
  b: -0xdn,
  r: -0xa1b0n
}, {
  a: -0xf37en,
  b: 0n,
  r: 0n
}, {
  a: 0x9e17n,
  b: 0n,
  r: 0n
}, {
  a: -0x9b85n,
  b: 0n,
  r: 0n
}, {
  a: -0xf2n,
  b: 0x9cn,
  r: -0x9378n
}, {
  a: -0x7d49n,
  b: 0n,
  r: 0n
}, {
  a: -0x8n,
  b: -0xcb2n,
  r: 0x6590n
}, {
  a: 0x7f3n,
  b: 0x2n,
  r: 0xfe6n
}, {
  a: -0xdn,
  b: 0xf99n,
  r: -0xcac5n
}, {
  a: -0xee3bn,
  b: 0n,
  r: 0n
}, {
  a: 0xdean,
  b: 0xan,
  r: 0x8b24n
}, {
  a: -0x2n,
  b: -0x197n,
  r: 0x32en
}, {
  a: -0xae9n,
  b: -0x5n,
  r: 0x368dn
}, {
  a: 0x72en,
  b: -0x6n,
  r: -0x2b14n
}, {
  a: -0x82ban,
  b: 0n,
  r: 0n
}, {
  a: -0x16n,
  b: -0x57n,
  r: 0x77an
}, {
  a: -0x385n,
  b: -0xen,
  r: 0x3146n
}, {
  a: 0x4c48n,
  b: 0n,
  r: 0n
}, {
  a: 0xcdn,
  b: -0x95n,
  r: -0x7751n
}, {
  a: 0xfn,
  b: -0xa04n,
  r: -0x963cn
}, {
  a: 0xdad4n,
  b: 0n,
  r: 0n
}, {
  a: -0xc6an,
  b: 0xan,
  r: -0x7c24n
}, {
  a: -0x9n,
  b: -0xe21n,
  r: 0x7f29n
}, {
  a: -0x971n,
  b: 0x5n,
  r: -0x2f35n
}, {
  a: 0x1ed2n,
  b: 0n,
  r: 0n
}, {
  a: 0x8n,
  b: 0x7een,
  r: 0x3f70n
}, {
  a: 0xb0cn,
  b: 0xan,
  r: 0x6e78n
}, {
  a: -0x499n,
  b: -0x3n,
  r: 0xdcbn
}, {
  a: -0x5b4n,
  b: -0x2n,
  r: 0xb68n
}, {
  a: -0x2en,
  b: -0xc4n,
  r: 0x2338n
}, {
  a: 0xc86n,
  b: -0x7n,
  r: -0x57aan
}, {
  a: 0xfd1n,
  b: -0x1n,
  r: -0xfd1n
}, {
  a: -0x475n,
  b: -0xbn,
  r: 0x3107n
}, {
  a: -0xb3n,
  b: 0x38n,
  r: -0x2728n
}, {
  a: -0x2d4n,
  b: -0x2n,
  r: 0x5a8n
}, {
  a: -0xdn,
  b: -0x1ebn,
  r: 0x18efn
}, {
  a: 0xb481n,
  b: 0n,
  r: 0n
}, {
  a: 0x3edn,
  b: -0x6n,
  r: -0x178en
}, {
  a: 0xdn,
  b: 0x217n,
  r: 0x1b2bn
}, {
  a: -0x4eb1n,
  b: 0n,
  r: 0n
}, {
  a: 0x45a0n,
  b: 0n,
  r: 0n
}, {
  a: -0x1n,
  b: -0xfc5n,
  r: 0xfc5n
}, {
  a: 0xccf2n,
  b: 0n,
  r: 0n
}, {
  a: -0x9n,
  b: -0x1c2n,
  r: 0xfd2n
}, {
  a: 0xdfn,
  b: 0xd4n,
  r: 0xb8acn
}, {
  a: 0xdan,
  b: 0xd7n,
  r: 0xb716n
}, {
  a: -0xfn,
  b: 0x7f2n,
  r: -0x772en
}, {
  a: -0x51n,
  b: 0xe1n,
  r: -0x4731n
}, {
  a: 0xbedn,
  b: 0xcn,
  r: 0x8f1cn
}, {
  a: -0xe4n,
  b: -0xc9n,
  r: 0xb304n
}, {
  a: -0xf559n,
  b: 0n,
  r: 0n
}, {
  a: -0xe5b1n,
  b: 0n,
  r: 0n
}, {
  a: 0x2ben,
  b: -0x9n,
  r: -0x18aen
}, {
  a: -0x851n,
  b: -0xcn,
  r: 0x63ccn
}, {
  a: -0xf1n,
  b: -0xc1n,
  r: 0xb5b1n
}, {
  a: -0x64n,
  b: 0x24n,
  r: -0xe10n
}, {
  a: 0xec3dn,
  b: 0n,
  r: 0n
}, {
  a: 0x94n,
  b: -0xd2n,
  r: -0x7968n
}, {
  a: -0xcn,
  b: 0x977n,
  r: -0x7194n
}, {
  a: 0xf6n,
  b: -0xb5n,
  r: -0xadeen
}, {
  a: -0xc3an,
  b: 0x4n,
  r: -0x30e8n
}, {
  a: -0xcn,
  b: -0xac0n,
  r: 0x8100n
}, {
  a: -0xdn,
  b: 0x8c5n,
  r: -0x7201n
}, {
  a: -0x2n,
  b: 0xecbn,
  r: -0x1d96n
}, {
  a: -0xf2n,
  b: 0xc3n,
  r: -0xb856n
}, {
  a: 0xbe3dn,
  b: 0n,
  r: 0n
}, {
  a: 0x49n,
  b: -0x71n,
  r: -0x2039n
}, {
  a: 0x9n,
  b: 0x5fan,
  r: 0x35can
}, {
  a: -0x4n,
  b: 0xe8fn,
  r: -0x3a3cn
}, {
  a: -0xc34en,
  b: 0n,
  r: 0n
}, {
  a: -0x9n,
  b: 0x80en,
  r: -0x487en
}, {
  a: -0xad03n,
  b: 0n,
  r: 0n
}, {
  a: 0x5c0fn,
  b: 0n,
  r: 0n
}, {
  a: 0x2en,
  b: -0xa4n,
  r: -0x1d78n
}, {
  a: 0x6f20n,
  b: 0n,
  r: 0n
}, {
  a: 0xe5n,
  b: -0x1fn,
  r: -0x1bbbn
}, {
  a: 0xe08n,
  b: 0xbn,
  r: 0x9a58n
}, {
  a: 0x3b5cn,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: -0x72an,
  r: 0x5d22n
}, {
  a: -0xf4n,
  b: -0x44n,
  r: 0x40d0n
}, {
  a: -0xe50n,
  b: -0x6n,
  r: 0x55e0n
}, {
  a: 0xc5n,
  b: -0x8fn,
  r: -0x6e0bn
}, {
  a: 0xd788n,
  b: 0n,
  r: 0n
}, {
  a: 0x890n,
  b: -0x8n,
  r: -0x4480n
}, {
  a: -0x9n,
  b: 0xad3n,
  r: -0x616bn
}, {
  a: -0xd73n,
  b: 0xen,
  r: -0xbc4an
}, {
  a: 0x33n,
  b: -0xbdn,
  r: -0x25a7n
}, {
  a: 0x7can,
  b: -0x9n,
  r: -0x461an
}, {
  a: -0x44d6n,
  b: 0n,
  r: 0n
}, {
  a: 0xb482n,
  b: 0n,
  r: 0n
}, {
  a: -0xef44n,
  b: 0n,
  r: 0n
}, {
  a: 0x5n,
  b: -0x8ebn,
  r: -0x2c97n
}, {
  a: -0xen,
  b: -0x76en,
  r: 0x6804n
}, {
  a: 0xen,
  b: 0xf0fn,
  r: 0xd2d2n
}, {
  a: -0x481n,
  b: 0x6n,
  r: -0x1b06n
}, {
  a: -0x2n,
  b: -0x991n,
  r: 0x1322n
}, {
  a: 0x43n,
  b: 0x3dn,
  r: 0xff7n
}, {
  a: 0x6n,
  b: 0x6e6n,
  r: 0x2964n
}, {
  a: 0x602n,
  b: 0xcn,
  r: 0x4818n
}, {
  a: 0x77n,
  b: 0x78n,
  r: 0x37c8n
}, {
  a: -0x9n,
  b: -0xe58n,
  r: 0x8118n
}, {
  a: 0xcn,
  b: 0xa1cn,
  r: 0x7950n
}, {
  a: -0xc13n,
  b: 0xcn,
  r: -0x90e4n
}, {
  a: 0xf640n,
  b: 0n,
  r: 0n
}, {
  a: -0x5564n,
  b: 0n,
  r: 0n
}, {
  a: 0xe8n,
  b: 0xc9n,
  r: 0xb628n
}, {
  a: -0x5525n,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: -0x5b9n,
  r: 0x2256n
}, {
  a: 0xen,
  b: 0x25an,
  r: 0x20ecn
}, {
  a: -0x9b2dn,
  b: 0n,
  r: 0n
}, {
  a: -0xecn,
  b: -0xcdn,
  r: 0xbcfcn
}, {
  a: 0x2796n,
  b: 0n,
  r: 0n
}, {
  a: -0x1e48n,
  b: 0n,
  r: 0n
}, {
  a: -0xd6e1n,
  b: 0n,
  r: 0n
}, {
  a: 0x9b0an,
  b: 0n,
  r: 0n
}, {
  a: -0x3n,
  b: 0x83dn,
  r: -0x18b7n
}, {
  a: -0x1n,
  b: -0x991n,
  r: 0x991n
}, {
  a: -0xcn,
  b: 0xfc6n,
  r: -0xbd48n
}, {
  a: 0xd5a3n,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: -0x3a7n,
  r: -0x282dn
}, {
  a: -0xan,
  b: 0x55dn,
  r: -0x35a2n
}, {
  a: 0x5cf3n,
  b: 0n,
  r: 0n
}, {
  a: 0x1n,
  b: 0x4f7n,
  r: 0x4f7n
}, {
  a: 0xbe5n,
  b: -0x4n,
  r: -0x2f94n
}, {
  a: -0x80n,
  b: -0x9cn,
  r: 0x4e00n
}, {
  a: 0x4824n,
  b: 0n,
  r: 0n
}, {
  a: 0x9a8n,
  b: 0x2n,
  r: 0x1350n
}, {
  a: 0x101n,
  b: -0xdn,
  r: -0xd0dn
}, {
  a: -0xddn,
  b: 0xc4n,
  r: -0xa934n
}, {
  a: 0x6dan,
  b: -0x5n,
  r: -0x2242n
}, {
  a: -0x570n,
  b: -0xcn,
  r: 0x4140n
}, {
  a: -0xf5c8n,
  b: 0n,
  r: 0n
}, {
  a: -0xa875n,
  b: 0n,
  r: 0n
}, {
  a: -0x5e2n,
  b: 0xfn,
  r: -0x583en
}, {
  a: 0x4bn,
  b: 0x21n,
  r: 0x9abn
}, {
  a: 0xddn,
  b: -0x57n,
  r: -0x4b1bn
}, {
  a: 0x776n,
  b: -0xfn,
  r: -0x6fean
}, {
  a: 0x2262n,
  b: 0n,
  r: 0n
}, {
  a: -0x2b67n,
  b: 0n,
  r: 0n
}, {
  a: 0x1n,
  b: -0xff8n,
  r: -0xff8n
}, {
  a: -0x74n,
  b: 0x15n,
  r: -0x984n
}, {
  a: 0xan,
  b: 0xb4an,
  r: 0x70e4n
}, {
  a: 0x1n,
  b: -0xebdn,
  r: -0xebdn
}, {
  a: 0x1n,
  b: 0xe24n,
  r: 0xe24n
}, {
  a: 0x17an,
  b: -0x8n,
  r: -0xbd0n
}, {
  a: -0x4n,
  b: -0xe04n,
  r: 0x3810n
}, {
  a: -0xan,
  b: 0xb0en,
  r: -0x6e8cn
}, {
  a: -0x6a91n,
  b: 0n,
  r: 0n
}, {
  a: 0xa702n,
  b: 0n,
  r: 0n
}, {
  a: -0xeba8n,
  b: 0n,
  r: 0n
}, {
  a: -0xc3an,
  b: 0xcn,
  r: -0x92b8n
}, {
  a: 0xb2n,
  b: -0x27n,
  r: -0x1b1en
}, {
  a: 0x1dcdn,
  b: 0n,
  r: 0n
}, {
  a: -0x4001n,
  b: 0n,
  r: 0n
}, {
  a: -0x96n,
  b: 0x27n,
  r: -0x16dan
}, {
  a: 0x1bn,
  b: -0x17n,
  r: -0x26dn
}, {
  a: 0xf3n,
  b: 0xf0n,
  r: 0xe3d0n
}, {
  a: 0x2aan,
  b: -0x6n,
  r: -0xffcn
}, {
  a: -0x9n,
  b: 0xac5n,
  r: -0x60edn
}, {
  a: -0xdn,
  b: 0xa5en,
  r: -0x86c6n
}, {
  a: 0x59n,
  b: -0xfcn,
  r: -0x579cn
}, {
  a: -0xa362n,
  b: 0n,
  r: 0n
}, {
  a: -0x4b1n,
  b: -0xan,
  r: 0x2eean
}, {
  a: 0x7n,
  b: -0x90cn,
  r: -0x3f54n
}, {
  a: -0x6n,
  b: 0xe86n,
  r: -0x5724n
}, {
  a: -0xe879n,
  b: 0n,
  r: 0n
}, {
  a: 0x3db6n,
  b: 0n,
  r: 0n
}, {
  a: -0xe1n,
  b: 0xc5n,
  r: -0xad25n
}, {
  a: 0x2n,
  b: 0xc8dn,
  r: 0x191an
}, {
  a: -0x67an,
  b: -0xen,
  r: 0x5aacn
}, {
  a: 0x620n,
  b: 0x3n,
  r: 0x1260n
}, {
  a: 0x36n,
  b: 0xb6n,
  r: 0x2664n
}, {
  a: 0x4n,
  b: -0x39an,
  r: -0xe68n
}, {
  a: 0x90n,
  b: -0x21n,
  r: -0x1290n
}, {
  a: -0xc9e3n,
  b: 0n,
  r: 0n
}, {
  a: -0xan,
  b: -0x480n,
  r: 0x2d00n
}, {
  a: 0xbn,
  b: 0x828n,
  r: 0x59b8n
}, {
  a: 0xan,
  b: 0x407n,
  r: 0x2846n
}, {
  a: 0x8a2n,
  b: 0xbn,
  r: 0x5ef6n
}, {
  a: -0xan,
  b: 0x789n,
  r: -0x4b5an
}, {
  a: -0xbf07n,
  b: 0n,
  r: 0n
}, {
  a: -0xe7n,
  b: -0x3cn,
  r: 0x3624n
}, {
  a: -0x712n,
  b: -0x5n,
  r: 0x235an
}, {
  a: 0x8n,
  b: -0xfeen,
  r: -0x7f70n
}, {
  a: -0x8cn,
  b: -0x86n,
  r: 0x4948n
}, {
  a: 0xe3b0n,
  b: 0n,
  r: 0n
}, {
  a: -0xd8en,
  b: -0x8n,
  r: 0x6c70n
}, {
  a: 0x55n,
  b: 0xcen,
  r: 0x4466n
}, {
  a: -0xfeen,
  b: -0xcn,
  r: 0xbf28n
}, {
  a: -0xa722n,
  b: 0n,
  r: 0n
}, {
  a: -0x29n,
  b: -0x94n,
  r: 0x17b4n
}, {
  a: 0x921en,
  b: 0n,
  r: 0n
}, {
  a: -0x3n,
  b: 0x254n,
  r: -0x6fcn
}, {
  a: -0xf1en,
  b: -0x8n,
  r: 0x78f0n
}, {
  a: 0xa6bfn,
  b: 0n,
  r: 0n
}, {
  a: 0xc6fn,
  b: -0xcn,
  r: -0x9534n
}, {
  a: -0x2n,
  b: -0xbcan,
  r: 0x1794n
}, {
  a: 0xf40n,
  b: -0xdn,
  r: -0xc640n
}, {
  a: 0x1n,
  b: 0x369n,
  r: 0x369n
}, {
  a: 0x6f7n,
  b: -0x8n,
  r: -0x37b8n
}, {
  a: 0xbeb4n,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: -0xf0bn,
  r: 0xe1a5n
}, {
  a: -0xfdn,
  b: 0x75n,
  r: -0x73a1n
}, {
  a: 0xf8n,
  b: -0x38n,
  r: -0x3640n
}, {
  a: 0xca0fn,
  b: 0n,
  r: 0n
}, {
  a: 0x587n,
  b: 0xan,
  r: 0x3746n
}, {
  a: 0x36n,
  b: -0x9cn,
  r: -0x20e8n
}, {
  a: -0x90acn,
  b: 0n,
  r: 0n
}, {
  a: 0xef5n,
  b: 0xan,
  r: 0x9592n
}, {
  a: 0x76n,
  b: -0xe9n,
  r: -0x6b66n
}, {
  a: 0xen,
  b: -0xa94n,
  r: -0x9418n
}, {
  a: 0x4bn,
  b: 0xb9n,
  r: 0x3633n
}, {
  a: 0xe252n,
  b: 0n,
  r: 0n
}, {
  a: 0xen,
  b: -0x797n,
  r: -0x6a42n
}, {
  a: -0x13fn,
  b: -0xbn,
  r: 0xdb5n
}, {
  a: 0x19n,
  b: -0x81n,
  r: -0xc99n
}, {
  a: 0x3698n,
  b: 0n,
  r: 0n
}, {
  a: -0x9n,
  b: -0x372n,
  r: 0x1f02n
}, {
  a: -0x9n,
  b: -0x9dcn,
  r: 0x58bcn
}, {
  a: -0x399n,
  b: 0x6n,
  r: -0x1596n
}, {
  a: 0xc9b7n,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: 0xc95n,
  r: 0x4b7en
}, {
  a: -0xe8n,
  b: -0xb9n,
  r: 0xa7a8n
}, {
  a: 0x820n,
  b: -0xen,
  r: -0x71c0n
}, {
  a: 0xb697n,
  b: 0n,
  r: 0n
}, {
  a: 0x236n,
  b: 0xan,
  r: 0x161cn
}, {
  a: 0xd59n,
  b: -0x8n,
  r: -0x6ac8n
}, {
  a: 0xd461n,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: -0x4f3n,
  r: 0x1db2n
}, {
  a: -0xdn,
  b: 0xf02n,
  r: -0xc31an
}, {
  a: 0xfabn,
  b: -0xbn,
  r: -0xac59n
}, {
  a: 0x7n,
  b: 0x80dn,
  r: 0x385bn
}, {
  a: 0xfd3n,
  b: 0x9n,
  r: 0x8e6bn
}, {
  a: 0xf98n,
  b: 0x5n,
  r: 0x4df8n
}, {
  a: 0x2bean,
  b: 0n,
  r: 0n
}, {
  a: -0xbaen,
  b: -0xfn,
  r: 0xaf32n
}, {
  a: -0xf19an,
  b: 0n,
  r: 0n
}, {
  a: -0x4n,
  b: -0x272n,
  r: 0x9c8n
}, {
  a: -0x31fn,
  b: -0x5n,
  r: 0xf9bn
}, {
  a: 0x6n,
  b: 0xbc0n,
  r: 0x4680n
}, {
  a: -0x81c0n,
  b: 0n,
  r: 0n
}, {
  a: 0xbfn,
  b: 0xe5n,
  r: 0xaadbn
}, {
  a: 0xd642n,
  b: 0n,
  r: 0n
}, {
  a: -0x2444n,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: -0x21cn,
  r: -0x1734n
}, {
  a: 0x2a60n,
  b: 0n,
  r: 0n
}, {
  a: 0x8n,
  b: -0xc58n,
  r: -0x62c0n
}, {
  a: -0x102n,
  b: -0xdn,
  r: 0xd1an
}, {
  a: -0xe16dn,
  b: 0n,
  r: 0n
}, {
  a: 0x23fn,
  b: -0xfn,
  r: -0x21b1n
}, {
  a: -0x49n,
  b: -0x3bn,
  r: 0x10d3n
}, {
  a: 0x30ddn,
  b: 0n,
  r: 0n
}, {
  a: -0xan,
  b: -0xa5dn,
  r: 0x67a2n
}, {
  a: -0xdbbn,
  b: -0x1n,
  r: 0xdbbn
}, {
  a: -0xfan,
  b: 0xabn,
  r: -0xa6fen
}, {
  a: -0xbn,
  b: -0xf8cn,
  r: 0xab04n
}, {
  a: -0x2acn,
  b: 0x7n,
  r: -0x12b4n
}, {
  a: -0xa8n,
  b: 0xcen,
  r: -0x8730n
}, {
  a: 0x930dn,
  b: 0n,
  r: 0n
}, {
  a: 0x7fc1n,
  b: 0n,
  r: 0n
}, {
  a: 0x8f32n,
  b: 0n,
  r: 0n
}, {
  a: 0xbcn,
  b: -0x87n,
  r: -0x6324n
}, {
  a: -0x7n,
  b: -0xb09n,
  r: 0x4d3fn
}, {
  a: -0x9n,
  b: 0x1c5n,
  r: -0xfedn
}, {
  a: -0xb87an,
  b: 0n,
  r: 0n
}, {
  a: -0xeab3n,
  b: 0n,
  r: 0n
}, {
  a: 0xen,
  b: 0x87fn,
  r: 0x76f2n
}, {
  a: -0x6a4n,
  b: 0x8n,
  r: -0x3520n
}, {
  a: 0x32aan,
  b: 0n,
  r: 0n
}, {
  a: 0x3n,
  b: 0xd53n,
  r: 0x27f9n
}, {
  a: -0x6en,
  b: -0x9en,
  r: 0x43e4n
}, {
  a: -0x45n,
  b: 0xc3n,
  r: -0x348fn
}, {
  a: 0xen,
  b: -0x798n,
  r: -0x6a50n
}, {
  a: 0x2bn,
  b: 0x1en,
  r: 0x50an
}, {
  a: -0xa77n,
  b: 0x5n,
  r: -0x3453n
}, {
  a: -0xa85n,
  b: 0xcn,
  r: -0x7e3cn
}, {
  a: -0x7992n,
  b: 0n,
  r: 0n
}, {
  a: 0x9n,
  b: 0x827n,
  r: 0x495fn
}, {
  a: 0x9fbn,
  b: 0x2n,
  r: 0x13f6n
}, {
  a: -0x55n,
  b: 0x42n,
  r: -0x15ean
}, {
  a: 0x2n,
  b: -0x7c5n,
  r: -0xf8an
}, {
  a: 0x64an,
  b: 0xan,
  r: 0x3ee4n
}, {
  a: 0x2n,
  b: -0xe21n,
  r: -0x1c42n
}, {
  a: -0x588bn,
  b: 0n,
  r: 0n
}, {
  a: 0x25n,
  b: 0xebn,
  r: 0x21f7n
}, {
  a: 0x2322n,
  b: 0n,
  r: 0n
}, {
  a: 0xb960n,
  b: 0n,
  r: 0n
}, {
  a: -0x2n,
  b: 0x75en,
  r: -0xebcn
}, {
  a: -0x617en,
  b: 0n,
  r: 0n
}, {
  a: -0x7c8n,
  b: -0x2n,
  r: 0xf90n
}, {
  a: 0x859n,
  b: -0xan,
  r: -0x537an
}, {
  a: -0xdn,
  b: 0x8d0n,
  r: -0x7290n
}, {
  a: -0xea2n,
  b: 0x3n,
  r: -0x2be6n
}, {
  a: 0xen,
  b: 0xe4dn,
  r: 0xc836n
}, {
  a: 0x33an,
  b: 0xcn,
  r: 0x26b8n
}, {
  a: 0xcn,
  b: 0x211n,
  r: 0x18ccn
}, {
  a: -0xbdn,
  b: 0xb6n,
  r: -0x865en
}, {
  a: -0x3n,
  b: -0xef0n,
  r: 0x2cd0n
}, {
  a: 0xa5n,
  b: -0x96n,
  r: -0x60aen
}, {
  a: 0x9212n,
  b: 0n,
  r: 0n
}, {
  a: -0x2an,
  b: 0x78n,
  r: -0x13b0n
}, {
  a: -0x8n,
  b: -0x12en,
  r: 0x970n
}, {
  a: -0x68cn,
  b: 0x6n,
  r: -0x2748n
}, {
  a: -0x2f2n,
  b: 0x3n,
  r: -0x8d6n
}, {
  a: 0x78n,
  b: 0x91n,
  r: 0x43f8n
}, {
  a: 0x4n,
  b: 0x51fn,
  r: 0x147cn
}, {
  a: -0x1cbn,
  b: -0x3n,
  r: 0x561n
}, {
  a: -0x2ebn,
  b: 0x9n,
  r: -0x1a43n
}, {
  a: 0x5ce3n,
  b: 0n,
  r: 0n
}, {
  a: 0x89cn,
  b: -0xan,
  r: -0x5618n
}, {
  a: -0x302n,
  b: 0x2n,
  r: -0x604n
}, {
  a: -0x4n,
  b: -0x80bn,
  r: 0x202cn
}, {
  a: -0xfn,
  b: -0xa8an,
  r: 0x9e16n
}, {
  a: -0x44efn,
  b: 0n,
  r: 0n
}, {
  a: 0x40n,
  b: -0x63n,
  r: -0x18c0n
}, {
  a: 0x1n,
  b: -0xf19n,
  r: -0xf19n
}, {
  a: 0x2586n,
  b: 0n,
  r: 0n
}, {
  a: -0x1452n,
  b: 0n,
  r: 0n
}, {
  a: -0xbfden,
  b: 0n,
  r: 0n
}, {
  a: -0x6d3n,
  b: -0xcn,
  r: 0x51e4n
}, {
  a: -0x3e1n,
  b: -0xbn,
  r: 0x2aabn
}, {
  a: -0xbc63n,
  b: 0n,
  r: 0n
}, {
  a: 0x3n,
  b: -0xa00n,
  r: -0x1e00n
}, {
  a: -0x60n,
  b: -0xd4n,
  r: 0x4f80n
}, {
  a: 0x4702n,
  b: 0n,
  r: 0n
}, {
  a: 0xc5en,
  b: 0x1n,
  r: 0xc5en
}, {
  a: -0x15n,
  b: -0x3dn,
  r: 0x501n
}, {
  a: -0x3d6n,
  b: -0x7n,
  r: 0x1adan
}, {
  a: -0x47n,
  b: -0x34n,
  r: 0xe6cn
}, {
  a: 0x1n,
  b: -0x114n,
  r: -0x114n
}, {
  a: -0x8337n,
  b: 0n,
  r: 0n
}, {
  a: 0x8c81n,
  b: 0n,
  r: 0n
}, {
  a: 0xd9n,
  b: -0x4an,
  r: -0x3eban
}, {
  a: 0x67an,
  b: 0xen,
  r: 0x5aacn
}, {
  a: 0xae03n,
  b: 0n,
  r: 0n
}, {
  a: -0xd74n,
  b: -0xcn,
  r: 0xa170n
}, {
  a: -0x7en,
  b: -0x91n,
  r: 0x475en
}, {
  a: 0x65n,
  b: 0xe1n,
  r: 0x58c5n
}, {
  a: 0xcc4n,
  b: -0x6n,
  r: -0x4c98n
}, {
  a: -0x38d4n,
  b: 0n,
  r: 0n
}, {
  a: 0x4dn,
  b: 0x33n,
  r: 0xf57n
}, {
  a: -0x383fn,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: 0x191n,
  r: -0x966n
}, {
  a: 0xfn,
  b: -0xd78n,
  r: -0xca08n
}, {
  a: -0x5n,
  b: 0xb76n,
  r: -0x394en
}, {
  a: 0xcfa2n,
  b: 0n,
  r: 0n
}, {
  a: 0xb957n,
  b: 0n,
  r: 0n
}, {
  a: -0x2n,
  b: -0x228n,
  r: 0x450n
}, {
  a: 0xb95bn,
  b: 0n,
  r: 0n
}, {
  a: -0x46n,
  b: 0x93n,
  r: -0x2832n
}, {
  a: 0xcn,
  b: 0x6e4n,
  r: 0x52b0n
}, {
  a: 0x310n,
  b: -0x9n,
  r: -0x1b90n
}, {
  a: -0xc405n,
  b: 0n,
  r: 0n
}, {
  a: 0xc73n,
  b: -0x7n,
  r: -0x5725n
}, {
  a: -0x1b14n,
  b: 0n,
  r: 0n
}, {
  a: -0x42en,
  b: 0x4n,
  r: -0x10b8n
}, {
  a: -0x6n,
  b: -0x86bn,
  r: 0x3282n
}, {
  a: -0x8f1n,
  b: -0xfn,
  r: 0x861fn
}, {
  a: -0x82n,
  b: -0xeen,
  r: 0x78dcn
}, {
  a: 0x58d2n,
  b: 0n,
  r: 0n
}, {
  a: 0x16bcn,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: 0x9d0n,
  r: 0x3ae0n
}, {
  a: -0x21n,
  b: 0x76n,
  r: -0xf36n
}, {
  a: -0xfn,
  b: 0x471n,
  r: -0x429fn
}, {
  a: -0x65n,
  b: 0x55n,
  r: -0x2189n
}, {
  a: -0x89n,
  b: -0xe7n,
  r: 0x7b9fn
}, {
  a: -0x3n,
  b: 0x894n,
  r: -0x19bcn
}, {
  a: 0xa41n,
  b: 0x3n,
  r: 0x1ec3n
}, {
  a: -0x3n,
  b: -0xfd6n,
  r: 0x2f82n
}, {
  a: -0x823n,
  b: -0xen,
  r: 0x71ean
}, {
  a: 0x7n,
  b: -0x3d2n,
  r: -0x1aben
}, {
  a: 0xfb04n,
  b: 0n,
  r: 0n
}, {
  a: 0x413n,
  b: 0x2n,
  r: 0x826n
}, {
  a: -0xbe6n,
  b: 0xdn,
  r: -0x9aaen
}, {
  a: -0xbf0fn,
  b: 0n,
  r: 0n
}, {
  a: -0xan,
  b: 0x9fdn,
  r: -0x63e2n
}, {
  a: -0x87n,
  b: -0x66n,
  r: 0x35can
}, {
  a: 0xfa24n,
  b: 0n,
  r: 0n
}, {
  a: 0x3n,
  b: 0xb35n,
  r: 0x219fn
}, {
  a: -0x4af6n,
  b: 0n,
  r: 0n
}, {
  a: -0x7fadn,
  b: 0n,
  r: 0n
}, {
  a: 0xb8n,
  b: -0x6bn,
  r: -0x4ce8n
}, {
  a: -0xedbn,
  b: 0x2n,
  r: -0x1db6n
}, {
  a: -0xcn,
  b: 0x235n,
  r: -0x1a7cn
}, {
  a: -0x2n,
  b: 0x6d2n,
  r: -0xda4n
}, {
  a: 0x6n,
  b: 0x6c7n,
  r: 0x28aan
}, {
  a: -0x8n,
  b: -0x1c2n,
  r: 0xe10n
}, {
  a: 0xadn,
  b: 0xdfn,
  r: 0x96b3n
}, {
  a: -0x7d2en,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: 0x9d4n,
  r: -0x3af8n
}, {
  a: -0xde96n,
  b: 0n,
  r: 0n
}, {
  a: 0x3f0cn,
  b: 0n,
  r: 0n
}, {
  a: -0xba0n,
  b: -0x8n,
  r: 0x5d00n
}, {
  a: -0xc60n,
  b: -0x5n,
  r: 0x3de0n
}, {
  a: -0x481n,
  b: 0xcn,
  r: -0x360cn
}, {
  a: 0xddb6n,
  b: 0n,
  r: 0n
}, {
  a: 0xfaen,
  b: 0x3n,
  r: 0x2f0an
}, {
  a: -0x33bn,
  b: -0x3n,
  r: 0x9b1n
}, {
  a: 0x119n,
  b: -0x7n,
  r: -0x7afn
}, {
  a: 0xb6an,
  b: -0x1n,
  r: -0xb6an
}, {
  a: 0x4493n,
  b: 0n,
  r: 0n
}, {
  a: 0xc409n,
  b: 0n,
  r: 0n
}, {
  a: -0x54n,
  b: -0x9an,
  r: 0x3288n
}, {
  a: 0x6a5fn,
  b: 0n,
  r: 0n
}, {
  a: -0xa288n,
  b: 0n,
  r: 0n
}, {
  a: -0x2n,
  b: 0xf1cn,
  r: -0x1e38n
}, {
  a: -0x991n,
  b: 0xcn,
  r: -0x72ccn
}, {
  a: 0xbcn,
  b: 0xffn,
  r: 0xbb44n
}, {
  a: -0x3dn,
  b: -0x2fn,
  r: 0xb33n
}, {
  a: 0x359n,
  b: 0x6n,
  r: 0x1416n
}, {
  a: -0x4n,
  b: 0x85dn,
  r: -0x2174n
}, {
  a: -0xc383n,
  b: 0n,
  r: 0n
}, {
  a: 0x8fean,
  b: 0n,
  r: 0n
}, {
  a: -0xc2n,
  b: -0x4fn,
  r: 0x3bden
}, {
  a: -0xa651n,
  b: 0n,
  r: 0n
}, {
  a: 0xb65n,
  b: -0xen,
  r: -0x9f86n
}, {
  a: 0x4n,
  b: 0xe44n,
  r: 0x3910n
}, {
  a: 0x77n,
  b: 0x35n,
  r: 0x18a3n
}, {
  a: 0x6n,
  b: -0x28fn,
  r: -0xf5an
}, {
  a: 0x8a0n,
  b: 0xan,
  r: 0x5640n
}, {
  a: -0x7dan,
  b: -0x9n,
  r: 0x46aan
}, {
  a: 0x2n,
  b: 0xf6bn,
  r: 0x1ed6n
}, {
  a: -0xe6n,
  b: 0x81n,
  r: -0x73e6n
}, {
  a: 0xe9fn,
  b: 0x7n,
  r: 0x6659n
}, {
  a: 0x6916n,
  b: 0n,
  r: 0n
}, {
  a: -0x2ccn,
  b: -0xdn,
  r: 0x245cn
}, {
  a: 0x73n,
  b: 0x24n,
  r: 0x102cn
}, {
  a: 0xb77n,
  b: 0x5n,
  r: 0x3953n
}, {
  a: 0x3n,
  b: -0x9c1n,
  r: -0x1d43n
}, {
  a: -0x1n,
  b: 0x5c7n,
  r: -0x5c7n
}, {
  a: 0x53dn,
  b: -0x4n,
  r: -0x14f4n
}, {
  a: -0x22b6n,
  b: 0n,
  r: 0n
}, {
  a: 0x51n,
  b: 0xe5n,
  r: 0x4875n
}, {
  a: -0x250dn,
  b: 0n,
  r: 0n
}, {
  a: 0x570n,
  b: -0x5n,
  r: -0x1b30n
}, {
  a: -0x8n,
  b: 0x93an,
  r: -0x49d0n
}, {
  a: -0xfn,
  b: 0x4cdn,
  r: -0x4803n
}, {
  a: -0x79bn,
  b: -0x5n,
  r: 0x2607n
}, {
  a: 0x79n,
  b: 0x4bn,
  r: 0x2373n
}, {
  a: -0xcb38n,
  b: 0n,
  r: 0n
}, {
  a: 0x22n,
  b: -0x73n,
  r: -0xf46n
}, {
  a: 0xfn,
  b: 0x2a5n,
  r: 0x27abn
}, {
  a: -0x7n,
  b: -0x629n,
  r: 0x2b1fn
}, {
  a: -0x5b6n,
  b: -0x7n,
  r: 0x27fan
}, {
  a: -0xd6n,
  b: -0x1en,
  r: 0x1914n
}, {
  a: 0xe5b4n,
  b: 0n,
  r: 0n
}, {
  a: 0x1ae3n,
  b: 0n,
  r: 0n
}, {
  a: -0x86n,
  b: 0x3en,
  r: -0x2074n
}, {
  a: -0x20n,
  b: 0x92n,
  r: -0x1240n
}, {
  a: -0xcbn,
  b: 0x22n,
  r: -0x1af6n
}, {
  a: 0xbn,
  b: -0x3een,
  r: -0x2b3an
}, {
  a: -0x5c9bn,
  b: 0n,
  r: 0n
}, {
  a: -0x148n,
  b: -0xbn,
  r: 0xe18n
}, {
  a: 0x75n,
  b: -0x4fn,
  r: -0x241bn
}, {
  a: 0x3n,
  b: -0xb66n,
  r: -0x2232n
}, {
  a: 0xddn,
  b: 0xfdn,
  r: 0xda69n
}, {
  a: 0x8n,
  b: 0xf43n,
  r: 0x7a18n
}, {
  a: 0x92bn,
  b: 0xfn,
  r: 0x8985n
}, {
  a: 0x4n,
  b: -0x14bn,
  r: -0x52cn
}, {
  a: 0x90an,
  b: 0x6n,
  r: 0x363cn
}, {
  a: 0xadn,
  b: -0x25n,
  r: -0x1901n
}, {
  a: 0xan,
  b: 0xabcn,
  r: 0x6b58n
}, {
  a: 0x186n,
  b: 0x1n,
  r: 0x186n
}, {
  a: 0xcfa3n,
  b: 0n,
  r: 0n
}, {
  a: -0xen,
  b: -0x4a8n,
  r: 0x4130n
}, {
  a: -0x8n,
  b: 0x5aen,
  r: -0x2d70n
}, {
  a: -0xfcn,
  b: -0x45n,
  r: 0x43ecn
}, {
  a: -0xcn,
  b: 0x159n,
  r: -0x102cn
}, {
  a: -0x892n,
  b: -0x1n,
  r: 0x892n
}, {
  a: 0xd9n,
  b: 0x28n,
  r: 0x21e8n
}, {
  a: -0x72n,
  b: -0x57n,
  r: 0x26ben
}, {
  a: 0x9n,
  b: 0x45fn,
  r: 0x2757n
}, {
  a: -0x8n,
  b: 0x692n,
  r: -0x3490n
}, {
  a: -0x8n,
  b: -0xf3dn,
  r: 0x79e8n
}, {
  a: 0x98n,
  b: -0xc7n,
  r: -0x7628n
}, {
  a: 0xeb8n,
  b: -0x9n,
  r: -0x8478n
}, {
  a: 0x4n,
  b: 0xf8en,
  r: 0x3e38n
}, {
  a: 0xbn,
  b: -0xa65n,
  r: -0x7257n
}, {
  a: 0xef2n,
  b: 0x1n,
  r: 0xef2n
}, {
  a: 0xbbn,
  b: -0x6cn,
  r: -0x4ee4n
}, {
  a: 0x48n,
  b: -0xabn,
  r: -0x3018n
}, {
  a: -0x52an,
  b: 0xdn,
  r: -0x4322n
}, {
  a: 0xe34dn,
  b: 0n,
  r: 0n
}, {
  a: 0x2n,
  b: 0x335n,
  r: 0x66an
}, {
  a: -0x9n,
  b: 0x6fdn,
  r: -0x3ee5n
}, {
  a: 0x2f91n,
  b: 0n,
  r: 0n
}, {
  a: -0xf9fn,
  b: -0x2n,
  r: 0x1f3en
}, {
  a: 0xefn,
  b: 0xf7n,
  r: 0xe699n
}, {
  a: 0x1a6n,
  b: -0x7n,
  r: -0xb8an
}, {
  a: 0xa5c3n,
  b: 0n,
  r: 0n
}, {
  a: 0x4efn,
  b: 0x6n,
  r: 0x1d9an
}, {
  a: -0xeafbn,
  b: 0n,
  r: 0n
}, {
  a: 0xa3n,
  b: -0x7fn,
  r: -0x50ddn
}, {
  a: -0xe5n,
  b: 0xf5n,
  r: -0xdb29n
}, {
  a: 0xen,
  b: 0x1b9n,
  r: 0x181en
}, {
  a: -0xc15n,
  b: -0xfn,
  r: 0xb53bn
}, {
  a: -0x9c8n,
  b: 0xan,
  r: -0x61d0n
}, {
  a: -0xe3n,
  b: -0xc4n,
  r: 0xadccn
}, {
  a: -0xffen,
  b: 0xcn,
  r: -0xbfe8n
}, {
  a: -0xd0cdn,
  b: 0n,
  r: 0n
}, {
  a: -0x2b77n,
  b: 0n,
  r: 0n
}, {
  a: -0xc26n,
  b: 0xen,
  r: -0xaa14n
}, {
  a: 0x6n,
  b: 0x175n,
  r: 0x8ben
}, {
  a: 0x4c55n,
  b: 0n,
  r: 0n
}, {
  a: 0xe092n,
  b: 0n,
  r: 0n
}, {
  a: 0xf75n,
  b: 0xbn,
  r: 0xaa07n
}, {
  a: -0x619n,
  b: -0x2n,
  r: 0xc32n
}, {
  a: -0xf0adn,
  b: 0n,
  r: 0n
}, {
  a: 0x97fn,
  b: -0x8n,
  r: -0x4bf8n
}, {
  a: 0x60n,
  b: -0x97n,
  r: -0x38a0n
}, {
  a: 0xefn,
  b: 0x96n,
  r: 0x8c0an
}, {
  a: -0x6n,
  b: 0x5e4n,
  r: -0x2358n
}, {
  a: 0xebn,
  b: -0x2dn,
  r: -0x294fn
}, {
  a: -0x7200n,
  b: 0n,
  r: 0n
}, {
  a: 0xfn,
  b: 0xcd3n,
  r: 0xc05dn
}, {
  a: 0x3n,
  b: 0xbe0n,
  r: 0x23a0n
}, {
  a: -0xbn,
  b: -0xaa0n,
  r: 0x74e0n
}, {
  a: -0x50n,
  b: -0xd8n,
  r: 0x4380n
}, {
  a: 0x1a7n,
  b: 0xfn,
  r: 0x18c9n
}, {
  a: -0xen,
  b: -0x1e2n,
  r: 0x1a5cn
}, {
  a: 0x776n,
  b: 0x8n,
  r: 0x3bb0n
}, {
  a: 0xbf57n,
  b: 0n,
  r: 0n
}, {
  a: -0xc39n,
  b: 0x5n,
  r: -0x3d1dn
}, {
  a: -0xd9n,
  b: 0x71n,
  r: -0x5fc9n
}, {
  a: 0x2025n,
  b: 0n,
  r: 0n
}, {
  a: -0xfean,
  b: 0xdn,
  r: -0xcee2n
}, {
  a: -0x36n,
  b: -0x47n,
  r: 0xefan
}, {
  a: 0xfn,
  b: 0xe85n,
  r: 0xd9cbn
}, {
  a: 0xb84n,
  b: -0xan,
  r: -0x7328n
}, {
  a: -0xc8n,
  b: 0xfbn,
  r: -0xc418n
}, {
  a: 0xe67n,
  b: 0x3n,
  r: 0x2b35n
}, {
  a: -0x49fn,
  b: -0x3n,
  r: 0xdddn
}, {
  a: -0xdfn,
  b: 0x98n,
  r: -0x8468n
}, {
  a: 0x684n,
  b: -0xan,
  r: -0x4128n
}, {
  a: 0x13n,
  b: 0xf3n,
  r: 0x1209n
}, {
  a: 0x9n,
  b: -0x8e3n,
  r: -0x4ffbn
}, {
  a: -0x67n,
  b: -0x64n,
  r: 0x283cn
}, {
  a: -0xda7n,
  b: 0x6n,
  r: -0x51ean
}, {
  a: -0xce28n,
  b: 0n,
  r: 0n
}, {
  a: 0x7ac1n,
  b: 0n,
  r: 0n
}, {
  a: -0xa0n,
  b: 0xdan,
  r: -0x8840n
}, {
  a: 0x753n,
  b: 0xcn,
  r: 0x57e4n
}, {
  a: -0x68c0n,
  b: 0n,
  r: 0n
}, {
  a: -0xfdn,
  b: -0xb7n,
  r: 0xb4dbn
}, {
  a: 0xbn,
  b: -0x196n,
  r: -0x1172n
}, {
  a: 0xbn,
  b: 0x967n,
  r: 0x676dn
}, {
  a: -0x6n,
  b: 0xa0dn,
  r: -0x3c4en
}, {
  a: -0x74bn,
  b: -0x3n,
  r: 0x15e1n
}, {
  a: -0xb55n,
  b: 0xcn,
  r: -0x87fcn
}, {
  a: 0xen,
  b: -0x55dn,
  r: -0x4b16n
}, {
  a: 0xd8cn,
  b: 0x8n,
  r: 0x6c60n
}, {
  a: 0x3n,
  b: -0xa60n,
  r: -0x1f20n
}, {
  a: 0xec1n,
  b: 0x3n,
  r: 0x2c43n
}, {
  a: 0x9n,
  b: -0x77an,
  r: -0x434an
}, {
  a: -0xcn,
  b: 0xc78n,
  r: -0x95a0n
}, {
  a: 0x88dn,
  b: 0x4n,
  r: 0x2234n
}, {
  a: 0x89fn,
  b: -0xbn,
  r: -0x5ed5n
}, {
  a: -0xaabfn,
  b: 0n,
  r: 0n
}, {
  a: 0x9n,
  b: 0x5cbn,
  r: 0x3423n
}, {
  a: -0x1255n,
  b: 0n,
  r: 0n
}, {
  a: -0x887n,
  b: 0xcn,
  r: -0x6654n
}, {
  a: 0xdn,
  b: 0xabbn,
  r: 0x8b7fn
}, {
  a: 0xdb2n,
  b: 0x7n,
  r: 0x5fden
}, {
  a: 0x3fb3n,
  b: 0n,
  r: 0n
}, {
  a: 0xa0n,
  b: -0xdfn,
  r: -0x8b60n
}, {
  a: -0x349cn,
  b: 0n,
  r: 0n
}, {
  a: 0x9n,
  b: 0x760n,
  r: 0x4260n
}, {
  a: -0x1n,
  b: -0xab1n,
  r: 0xab1n
}, {
  a: 0xbn,
  b: 0xcben,
  r: 0x8c2an
}, {
  a: 0x76n,
  b: -0x37n,
  r: -0x195an
}, {
  a: -0xa38n,
  b: 0x1n,
  r: -0xa38n
}, {
  a: 0xb4n,
  b: 0x6en,
  r: 0x4d58n
}, {
  a: 0xdc5en,
  b: 0n,
  r: 0n
}, {
  a: -0xbf5fn,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: -0xf7cn,
  r: 0xe844n
}, {
  a: 0xe66n,
  b: 0x1n,
  r: 0xe66n
}, {
  a: 0x80bn,
  b: -0x6n,
  r: -0x3042n
}, {
  a: 0x96n,
  b: -0x7dn,
  r: -0x493en
}, {
  a: -0x3abn,
  b: 0x9n,
  r: -0x2103n
}, {
  a: -0xe1fcn,
  b: 0n,
  r: 0n
}, {
  a: 0xbd5n,
  b: -0xdn,
  r: -0x99d1n
}, {
  a: 0x91n,
  b: -0x48n,
  r: -0x28c8n
}, {
  a: -0x9ecn,
  b: 0x3n,
  r: -0x1dc4n
}, {
  a: -0x7n,
  b: -0x8f2n,
  r: 0x3e9en
}, {
  a: -0xadn,
  b: -0xbbn,
  r: 0x7e5fn
}, {
  a: -0x7788n,
  b: 0n,
  r: 0n
}, {
  a: -0x90ebn,
  b: 0n,
  r: 0n
}, {
  a: 0x232n,
  b: -0x1n,
  r: -0x232n
}, {
  a: -0x310dn,
  b: 0n,
  r: 0n
}, {
  a: -0xe5dn,
  b: 0x9n,
  r: -0x8145n
}, {
  a: -0x8n,
  b: 0xa84n,
  r: -0x5420n
}, {
  a: 0xdn,
  b: -0xbbfn,
  r: -0x98b3n
}, {
  a: 0x9adan,
  b: 0n,
  r: 0n
}, {
  a: -0x373n,
  b: -0xcn,
  r: 0x2964n
}, {
  a: 0x252n,
  b: 0x4n,
  r: 0x948n
}, {
  a: -0xe1bfn,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: 0x6c6n,
  r: 0x4a82n
}, {
  a: 0xcn,
  b: -0x37dn,
  r: -0x29dcn
}, {
  a: 0x6aan,
  b: -0x1n,
  r: -0x6aan
}, {
  a: 0xbn,
  b: -0x202n,
  r: -0x1616n
}, {
  a: 0xab7n,
  b: -0x3n,
  r: -0x2025n
}, {
  a: -0x174n,
  b: -0xcn,
  r: 0x1170n
}, {
  a: -0xe85an,
  b: 0n,
  r: 0n
}, {
  a: 0x23c6n,
  b: 0n,
  r: 0n
}, {
  a: -0x7dn,
  b: 0x61n,
  r: -0x2f5dn
}, {
  a: -0xc1bn,
  b: 0x1n,
  r: -0xc1bn
}, {
  a: -0xdcn,
  b: 0xedn,
  r: -0xcbacn
}, {
  a: -0x984n,
  b: 0x8n,
  r: -0x4c20n
}, {
  a: -0x61fn,
  b: -0xdn,
  r: 0x4f93n
}, {
  a: 0xe5an,
  b: -0xcn,
  r: -0xac38n
}, {
  a: -0x94n,
  b: -0xben,
  r: 0x6dd8n
}, {
  a: 0x61en,
  b: 0x7n,
  r: 0x2ad2n
}, {
  a: 0x5n,
  b: 0x530n,
  r: 0x19f0n
}, {
  a: -0xc60n,
  b: -0x3n,
  r: 0x2520n
}, {
  a: -0x380cn,
  b: 0n,
  r: 0n
}, {
  a: 0xcc3n,
  b: 0x2n,
  r: 0x1986n
}, {
  a: 0x1n,
  b: -0x11dn,
  r: -0x11dn
}, {
  a: -0x62n,
  b: -0x56n,
  r: 0x20ecn
}, {
  a: -0x744n,
  b: 0x5n,
  r: -0x2454n
}, {
  a: -0x1n,
  b: 0x38fn,
  r: -0x38fn
}, {
  a: -0xb08n,
  b: -0xbn,
  r: 0x7958n
}, {
  a: 0x64een,
  b: 0n,
  r: 0n
}, {
  a: 0x898n,
  b: -0xdn,
  r: -0x6fb8n
}, {
  a: 0x7n,
  b: 0x5dbn,
  r: 0x28fdn
}, {
  a: -0x2n,
  b: -0x88en,
  r: 0x111cn
}, {
  a: 0xcn,
  b: -0x500n,
  r: -0x3c00n
}, {
  a: -0xb8en,
  b: -0xcn,
  r: 0x8aa8n
}, {
  a: 0x13n,
  b: -0xcdn,
  r: -0xf37n
}, {
  a: -0xcn,
  b: 0x1fbn,
  r: -0x17c4n
}, {
  a: 0x2bb3n,
  b: 0n,
  r: 0n
}, {
  a: 0x1acdn,
  b: 0n,
  r: 0n
}, {
  a: -0xbn,
  b: -0xc6cn,
  r: 0x88a4n
}, {
  a: -0x147n,
  b: -0xfn,
  r: 0x1329n
}, {
  a: -0xfn,
  b: 0xb81n,
  r: -0xac8fn
}, {
  a: 0xb75cn,
  b: 0n,
  r: 0n
}, {
  a: -0x7n,
  b: 0x30dn,
  r: -0x155bn
}, {
  a: 0x3fn,
  b: -0xe1n,
  r: -0x375fn
}, {
  a: -0x6c8n,
  b: -0x1n,
  r: 0x6c8n
}, {
  a: 0x4208n,
  b: 0n,
  r: 0n
}, {
  a: -0x4n,
  b: -0xebdn,
  r: 0x3af4n
}, {
  a: 0x3f65n,
  b: 0n,
  r: 0n
}, {
  a: -0x535n,
  b: 0xdn,
  r: -0x43b1n
}, {
  a: -0x266an,
  b: 0n,
  r: 0n
}, {
  a: 0xb9n,
  b: -0x72n,
  r: -0x5262n
}, {
  a: 0xb95n,
  b: -0xan,
  r: -0x73d2n
}, {
  a: -0x22f4n,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: -0xad7n,
  r: 0x410an
}, {
  a: -0xd03n,
  b: 0xdn,
  r: -0xa927n
}, {
  a: 0xen,
  b: -0x4b5n,
  r: -0x41e6n
}, {
  a: 0x5cc1n,
  b: 0n,
  r: 0n
}, {
  a: -0x1n,
  b: -0x56bn,
  r: 0x56bn
}, {
  a: -0x4n,
  b: -0x552n,
  r: 0x1548n
}, {
  a: -0x20n,
  b: -0xfen,
  r: 0x1fc0n
}, {
  a: -0x4a90n,
  b: 0n,
  r: 0n
}, {
  a: -0x5477n,
  b: 0n,
  r: 0n
}, {
  a: 0x5n,
  b: 0xeddn,
  r: 0x4a51n
}, {
  a: -0xf9cn,
  b: 0x9n,
  r: -0x8c7cn
}, {
  a: -0xec22n,
  b: 0n,
  r: 0n
}, {
  a: -0xc3n,
  b: 0x5en,
  r: -0x479an
}, {
  a: 0x6fn,
  b: -0x9bn,
  r: -0x4335n
}, {
  a: 0x69fn,
  b: -0x9n,
  r: -0x3b97n
}, {
  a: -0x90n,
  b: -0xb6n,
  r: 0x6660n
}, {
  a: 0x932n,
  b: -0x7n,
  r: -0x405en
}, {
  a: 0x57n,
  b: 0xb4n,
  r: 0x3d2cn
}, {
  a: -0x2ebn,
  b: 0x5n,
  r: -0xe97n
}, {
  a: 0xddn,
  b: 0xc3n,
  r: 0xa857n
}, {
  a: -0xbdan,
  b: -0x6n,
  r: 0x471cn
}, {
  a: 0x8ed2n,
  b: 0n,
  r: 0n
}, {
  a: -0x2400n,
  b: 0n,
  r: 0n
}, {
  a: 0x9e4n,
  b: -0xbn,
  r: -0x6cccn
}, {
  a: 0xc07an,
  b: 0n,
  r: 0n
}, {
  a: -0x6en,
  b: 0x55n,
  r: -0x2486n
}, {
  a: -0x54cn,
  b: -0x5n,
  r: 0x1a7cn
}, {
  a: -0xf7bn,
  b: -0x1n,
  r: 0xf7bn
}, {
  a: 0xbn,
  b: 0xf0fn,
  r: 0xa5a5n
}, {
  a: 0x733n,
  b: -0xan,
  r: -0x47fen
}, {
  a: -0xen,
  b: -0x78an,
  r: 0x698cn
}, {
  a: 0x4an,
  b: -0x32n,
  r: -0xe74n
}, {
  a: 0x532n,
  b: -0x1n,
  r: -0x532n
}, {
  a: -0xbefn,
  b: -0x5n,
  r: 0x3babn
}, {
  a: -0x30c6n,
  b: 0n,
  r: 0n
}, {
  a: 0x99n,
  b: -0x68n,
  r: -0x3e28n
}, {
  a: 0x7d7n,
  b: 0x1n,
  r: 0x7d7n
}, {
  a: -0x4n,
  b: -0x59bn,
  r: 0x166cn
}, {
  a: -0xeed7n,
  b: 0n,
  r: 0n
}, {
  a: -0xen,
  b: 0x5abn,
  r: -0x4f5an
}, {
  a: -0xfn,
  b: 0xc86n,
  r: -0xbbdan
}, {
  a: -0xaan,
  b: -0x9en,
  r: 0x68ecn
}, {
  a: 0xc51n,
  b: 0xfn,
  r: 0xb8bfn
}, {
  a: -0x56n,
  b: 0x64n,
  r: -0x2198n
}, {
  a: 0x3an,
  b: -0x11n,
  r: -0x3dan
}, {
  a: -0x3e1an,
  b: 0n,
  r: 0n
}, {
  a: -0xcn,
  b: 0xf30n,
  r: -0xb640n
}, {
  a: 0x492n,
  b: 0xen,
  r: 0x3ffcn
}, {
  a: -0xdfn,
  b: 0xd9n,
  r: -0xbd07n
}, {
  a: -0x6a76n,
  b: 0n,
  r: 0n
}, {
  a: -0x4b8fn,
  b: 0n,
  r: 0n
}, {
  a: -0xe9n,
  b: -0x13n,
  r: 0x114bn
}, {
  a: -0xa24an,
  b: 0n,
  r: 0n
}, {
  a: 0x13d4n,
  b: 0n,
  r: 0n
}, {
  a: -0x9b4n,
  b: 0x3n,
  r: -0x1d1cn
}, {
  a: 0x9n,
  b: -0x72en,
  r: -0x409en
}, {
  a: 0x4n,
  b: 0xc2dn,
  r: 0x30b4n
}, {
  a: 0x1b8fn,
  b: 0n,
  r: 0n
}, {
  a: 0xb2n,
  b: 0xb5n,
  r: 0x7ddan
}, {
  a: -0x264n,
  b: 0x4n,
  r: -0x990n
}, {
  a: -0x1cn,
  b: -0x21n,
  r: 0x39cn
}, {
  a: 0x87f3n,
  b: 0n,
  r: 0n
}, {
  a: 0x2n,
  b: 0x9dbn,
  r: 0x13b6n
}, {
  a: -0x1e9n,
  b: 0xen,
  r: -0x1aben
}, {
  a: 0x64en,
  b: 0xcn,
  r: 0x4ba8n
}, {
  a: 0x898bn,
  b: 0n,
  r: 0n
}, {
  a: -0xc8an,
  b: 0x7n,
  r: -0x57c6n
}, {
  a: 0xfn,
  b: 0x717n,
  r: 0x6a59n
}, {
  a: -0xan,
  b: -0xa2an,
  r: 0x65a4n
}, {
  a: -0x7b1n,
  b: -0x9n,
  r: 0x4539n
}, {
  a: 0x3de9n,
  b: 0n,
  r: 0n
}, {
  a: -0xc75dn,
  b: 0n,
  r: 0n
}, {
  a: 0xfdn,
  b: 0xdfn,
  r: 0xdc63n
}, {
  a: -0xcbn,
  b: 0xc2n,
  r: -0x99d6n
}, {
  a: -0xce8n,
  b: 0x9n,
  r: -0x7428n
}, {
  a: -0x78bn,
  b: -0x6n,
  r: 0x2d42n
}, {
  a: -0x2630n,
  b: 0n,
  r: 0n
}, {
  a: 0x9a0n,
  b: 0x4n,
  r: 0x2680n
}, {
  a: 0xb385n,
  b: 0n,
  r: 0n
}, {
  a: 0x10n,
  b: -0x47n,
  r: -0x470n
}, {
  a: 0x867n,
  b: 0x3n,
  r: 0x1935n
}, {
  a: 0x3n,
  b: -0xf8dn,
  r: -0x2ea7n
}, {
  a: -0xen,
  b: 0x418n,
  r: -0x3950n
}, {
  a: -0x6c8n,
  b: 0x2n,
  r: -0xd90n
}, {
  a: 0xb8n,
  b: 0xbbn,
  r: 0x8668n
}, {
  a: -0xan,
  b: -0x92dn,
  r: 0x5bc2n
}, {
  a: 0xd56n,
  b: 0xcn,
  r: 0xa008n
}, {
  a: 0xf47n,
  b: 0x6n,
  r: 0x5baan
}, {
  a: 0x469n,
  b: 0xen,
  r: 0x3dben
}, {
  a: -0x334n,
  b: 0xen,
  r: -0x2cd8n
}, {
  a: 0xf1fn,
  b: 0xen,
  r: 0xd3b2n
}, {
  a: -0x342an,
  b: 0n,
  r: 0n
}, {
  a: -0xaef3n,
  b: 0n,
  r: 0n
}, {
  a: 0x196cn,
  b: 0n,
  r: 0n
}, {
  a: -0x99e9n,
  b: 0n,
  r: 0n
}, {
  a: 0xf5n,
  b: 0xb9n,
  r: 0xb10dn
}, {
  a: -0x126n,
  b: 0xcn,
  r: -0xdc8n
}, {
  a: -0xc4fcn,
  b: 0n,
  r: 0n
}, {
  a: 0xen,
  b: -0x2dbn,
  r: -0x27fan
}, {
  a: -0xb4n,
  b: -0x98n,
  r: 0x6ae0n
}, {
  a: 0x5af8n,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: -0x8e0n,
  r: -0x3540n
}, {
  a: 0x6bn,
  b: 0x63n,
  r: 0x2961n
}, {
  a: -0x6c3n,
  b: -0xfn,
  r: 0x656dn
}, {
  a: 0x73n,
  b: 0x13n,
  r: 0x889n
}, {
  a: 0xad7n,
  b: 0xcn,
  r: 0x8214n
}, {
  a: 0xd67n,
  b: 0x4n,
  r: 0x359cn
}, {
  a: -0x30n,
  b: -0xfcn,
  r: 0x2f40n
}, {
  a: 0xa1an,
  b: -0xdn,
  r: -0x8352n
}, {
  a: 0x7db6n,
  b: 0n,
  r: 0n
}, {
  a: 0xdan,
  b: -0xe5n,
  r: -0xc302n
}, {
  a: -0x2n,
  b: 0x5e8n,
  r: -0xbd0n
}, {
  a: -0xf44n,
  b: 0x3n,
  r: -0x2dccn
}, {
  a: -0xan,
  b: 0xe93n,
  r: -0x91ben
}, {
  a: 0x9d4bn,
  b: 0n,
  r: 0n
}, {
  a: -0x4n,
  b: -0xdbdn,
  r: 0x36f4n
}, {
  a: 0x21b4n,
  b: 0n,
  r: 0n
}, {
  a: -0xc4cn,
  b: -0xfn,
  r: 0xb874n
}, {
  a: 0x8n,
  b: -0x652n,
  r: -0x3290n
}, {
  a: 0x165n,
  b: -0x3n,
  r: -0x42fn
}, {
  a: 0x14n,
  b: -0xa1n,
  r: -0xc94n
}, {
  a: 0x63en,
  b: 0xcn,
  r: 0x4ae8n
}, {
  a: -0x8ben,
  b: -0x8n,
  r: 0x45f0n
}, {
  a: -0x7n,
  b: -0x358n,
  r: 0x1768n
}, {
  a: 0xe8n,
  b: -0x61n,
  r: -0x57e8n
}, {
  a: 0x528bn,
  b: 0n,
  r: 0n
}];

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