// 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: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: -0x7n,
  r: 0x9n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xen,
  b: -0xen,
  r: -0xen
}, {
  a: -0xen,
  b: -0x3fn,
  r: -0x40n
}, {
  a: 0x6360n,
  b: -0x9f8n,
  r: 0x6200n
}, {
  a: 0xe7f3n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x920n,
  r: 0n
}, {
  a: 0x95a9n,
  b: -0x61fn,
  r: 0x91a1n
}, {
  a: 0xfbn,
  b: 0x60n,
  r: 0x60n
}, {
  a: -0xadn,
  b: 0x8n,
  r: 0n
}, {
  a: -0x78n,
  b: 0x57fdn,
  r: 0x5788n
}, {
  a: 0n,
  b: -0xb398n,
  r: 0n
}, {
  a: 0x6bbn,
  b: 0n,
  r: 0n
}, {
  a: -0xcaf2n,
  b: 0n,
  r: 0n
}, {
  a: -0x6d50n,
  b: 0xd04n,
  r: 0n
}, {
  a: -0x6en,
  b: 0x775n,
  r: 0x710n
}, {
  a: -0xd4n,
  b: -0xb4n,
  r: -0xf4n
}, {
  a: 0n,
  b: -0x7d3n,
  r: 0n
}, {
  a: 0xe0n,
  b: -0xf5f3n,
  r: 0n
}, {
  a: 0n,
  b: -0xfdan,
  r: 0n
}, {
  a: 0xc980n,
  b: -0x8d77n,
  r: 0x4080n
}, {
  a: -0x961n,
  b: -0x8dn,
  r: -0x9edn
}, {
  a: 0x8bn,
  b: 0x44ffn,
  r: 0x8bn
}, {
  a: -0x39d3n,
  b: -0x9561n,
  r: -0xbdf3n
}, {
  a: 0n,
  b: -0xc0ecn,
  r: 0n
}, {
  a: 0x2n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x59b5n,
  r: 0n
}, {
  a: 0n,
  b: 0x7n,
  r: 0n
}, {
  a: 0xc6e5n,
  b: -0x2n,
  r: 0xc6e4n
}, {
  a: 0xdn,
  b: 0x9efn,
  r: 0xdn
}, {
  a: -0x19e8n,
  b: -0xfaan,
  r: -0x1ff0n
}, {
  a: -0xbbn,
  b: -0xb18n,
  r: -0xbc0n
}, {
  a: -0xfn,
  b: -0x43n,
  r: -0x4fn
}, {
  a: 0x4343n,
  b: 0xc0n,
  r: 0x40n
}, {
  a: -0x983dn,
  b: 0n,
  r: 0n
}, {
  a: 0xb4n,
  b: 0x28n,
  r: 0x20n
}, {
  a: -0x5fen,
  b: 0xc36cn,
  r: 0xc200n
}, {
  a: -0xce4n,
  b: 0x4n,
  r: 0x4n
}, {
  a: 0xaccn,
  b: 0x2n,
  r: 0n
}, {
  a: 0x4n,
  b: 0x44an,
  r: 0n
}, {
  a: 0x22n,
  b: -0x3f11n,
  r: 0x22n
}, {
  a: -0x46d2n,
  b: 0n,
  r: 0n
}, {
  a: 0x66n,
  b: 0n,
  r: 0n
}, {
  a: 0x69a7n,
  b: 0n,
  r: 0n
}, {
  a: -0x21n,
  b: 0x9n,
  r: 0x9n
}, {
  a: -0xe1an,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: -0xe6e4n,
  r: 0x8n
}, {
  a: -0xcb1n,
  b: 0n,
  r: 0n
}, {
  a: -0x14a2n,
  b: 0x7n,
  r: 0x6n
}, {
  a: -0xefbn,
  b: 0x8ba8n,
  r: 0x8100n
}, {
  a: -0x4n,
  b: -0xan,
  r: -0xcn
}, {
  a: 0n,
  b: 0x3eb3n,
  r: 0n
}, {
  a: 0x3c0n,
  b: -0xcn,
  r: 0x3c0n
}, {
  a: -0x8dn,
  b: 0x73n,
  r: 0x73n
}, {
  a: 0n,
  b: 0xb0fn,
  r: 0n
}, {
  a: 0x8064n,
  b: -0xed1n,
  r: 0x8024n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: -0xbn,
  b: 0n,
  r: 0n
}, {
  a: 0xdn,
  b: 0x34fn,
  r: 0xdn
}, {
  a: 0xen,
  b: 0xbf89n,
  r: 0x8n
}, {
  a: 0x7cn,
  b: -0x8a29n,
  r: 0x54n
}, {
  a: 0x6399n,
  b: 0xec4en,
  r: 0x6008n
}, {
  a: 0xb1bn,
  b: -0x99afn,
  r: 0x211n
}, {
  a: 0x228n,
  b: -0xcdan,
  r: 0x220n
}, {
  a: -0xc3an,
  b: -0x91n,
  r: -0xcban
}, {
  a: 0n,
  b: -0x46n,
  r: 0n
}, {
  a: 0xdn,
  b: 0x7n,
  r: 0x5n
}, {
  a: -0x27n,
  b: 0n,
  r: 0n
}, {
  a: 0xb4n,
  b: 0xaen,
  r: 0xa4n
}, {
  a: 0xden,
  b: -0xeefn,
  r: 0x10n
}, {
  a: -0x5544n,
  b: 0n,
  r: 0n
}, {
  a: -0xbec1n,
  b: -0x76d4n,
  r: -0xfed4n
}, {
  a: -0x5240n,
  b: -0x94n,
  r: -0x52c0n
}, {
  a: 0xc9cfn,
  b: 0x49n,
  r: 0x49n
}, {
  a: -0x3905n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x2c58n,
  r: 0n
}, {
  a: 0xan,
  b: -0xf9dn,
  r: 0x2n
}, {
  a: 0xd9n,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: 0x53bn,
  r: 0x2n
}, {
  a: -0x4en,
  b: 0xc48dn,
  r: 0xc480n
}, {
  a: 0xca99n,
  b: 0n,
  r: 0n
}, {
  a: -0xan,
  b: 0x1f8n,
  r: 0x1f0n
}, {
  a: 0x513cn,
  b: 0x1cn,
  r: 0x1cn
}, {
  a: 0n,
  b: 0x7an,
  r: 0n
}, {
  a: 0xd32cn,
  b: -0x35n,
  r: 0xd308n
}, {
  a: 0n,
  b: -0xe153n,
  r: 0n
}, {
  a: -0x4n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: 0x19dn,
  r: 0x191n
}, {
  a: 0x77n,
  b: 0x8438n,
  r: 0x30n
}, {
  a: 0n,
  b: 0xcb6n,
  r: 0n
}, {
  a: -0xc5cn,
  b: 0n,
  r: 0n
}, {
  a: 0xdan,
  b: -0x29cn,
  r: 0x40n
}, {
  a: 0n,
  b: 0x7b1fn,
  r: 0n
}, {
  a: -0x5n,
  b: 0x8a1n,
  r: 0x8a1n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x98n,
  b: 0x38n,
  r: 0x18n
}, {
  a: 0n,
  b: -0xe0b6n,
  r: 0n
}, {
  a: -0x3n,
  b: -0x7b7n,
  r: -0x7b7n
}, {
  a: 0xcf3n,
  b: -0x5cn,
  r: 0xca0n
}, {
  a: -0x490n,
  b: -0xdn,
  r: -0x490n
}, {
  a: -0x885dn,
  b: 0n,
  r: 0n
}, {
  a: 0xc716n,
  b: -0xfd83n,
  r: 0x214n
}, {
  a: 0x177en,
  b: 0x8b04n,
  r: 0x304n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xb1n,
  r: 0n
}, {
  a: 0x976n,
  b: -0xc5fn,
  r: 0x120n
}, {
  a: 0n,
  b: -0x63n,
  r: 0n
}, {
  a: -0x84cn,
  b: -0xb3n,
  r: -0x8fcn
}, {
  a: -0x6962n,
  b: 0x98n,
  r: 0x98n
}, {
  a: 0x79cn,
  b: -0x27n,
  r: 0x798n
}, {
  a: -0x59n,
  b: -0xf1n,
  r: -0xf9n
}, {
  a: -0xe66n,
  b: 0n,
  r: 0n
}, {
  a: 0x1bban,
  b: 0n,
  r: 0n
}, {
  a: 0x486n,
  b: 0n,
  r: 0n
}, {
  a: -0xen,
  b: 0xc04en,
  r: 0xc042n
}, {
  a: -0x6d5n,
  b: -0x97a6n,
  r: -0x97f6n
}, {
  a: 0n,
  b: 0xfdn,
  r: 0n
}, {
  a: -0x4n,
  b: -0xfn,
  r: -0x10n
}, {
  a: -0x898fn,
  b: -0x1n,
  r: -0x898fn
}, {
  a: 0x2fen,
  b: 0xcb3n,
  r: 0xb2n
}, {
  a: 0xfcn,
  b: 0x21n,
  r: 0x20n
}, {
  a: -0xben,
  b: 0xe6n,
  r: 0x42n
}, {
  a: -0x3an,
  b: 0n,
  r: 0n
}, {
  a: -0x2n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xf4n,
  r: 0n
}, {
  a: 0xbc96n,
  b: -0x39n,
  r: 0xbc86n
}, {
  a: -0x743en,
  b: 0x1n,
  r: 0n
}, {
  a: 0n,
  b: -0xe56fn,
  r: 0n
}, {
  a: -0x15b4n,
  b: 0xc0d0n,
  r: 0xc040n
}, {
  a: -0xe20n,
  b: 0xaf21n,
  r: 0xa120n
}, {
  a: 0n,
  b: 0xe06cn,
  r: 0n
}, {
  a: 0n,
  b: 0x54n,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: 0x369n,
  b: 0x578n,
  r: 0x168n
}, {
  a: 0xa0n,
  b: 0x11an,
  r: 0n
}, {
  a: -0xecbn,
  b: -0xfef6n,
  r: -0xff00n
}, {
  a: 0x7ben,
  b: 0n,
  r: 0n
}, {
  a: 0x63n,
  b: 0n,
  r: 0n
}, {
  a: -0xa03bn,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: -0xean,
  r: 0x6n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: 0xf87an,
  b: -0xafn,
  r: 0xf850n
}, {
  a: -0x9f7fn,
  b: 0x4b4n,
  r: 0x80n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: 0xd8n,
  b: -0x2cb2n,
  r: 0x48n
}, {
  a: 0n,
  b: 0xf9e9n,
  r: 0n
}, {
  a: 0x3n,
  b: 0n,
  r: 0n
}, {
  a: 0x61can,
  b: -0xf7n,
  r: 0x6108n
}, {
  a: 0x760n,
  b: -0xe02n,
  r: 0x160n
}, {
  a: 0x78acn,
  b: 0n,
  r: 0n
}, {
  a: 0xc5n,
  b: -0xben,
  r: 0x40n
}, {
  a: -0x175n,
  b: 0n,
  r: 0n
}, {
  a: 0xen,
  b: 0n,
  r: 0n
}, {
  a: 0x29n,
  b: -0xf0n,
  r: 0n
}, {
  a: 0n,
  b: 0x61n,
  r: 0n
}, {
  a: 0n,
  b: 0x47n,
  r: 0n
}, {
  a: 0x8n,
  b: -0x173bn,
  r: 0n
}, {
  a: 0n,
  b: 0xf5n,
  r: 0n
}, {
  a: -0xe9cn,
  b: -0x50cn,
  r: -0xf9cn
}, {
  a: 0x134n,
  b: -0x2dfcn,
  r: 0x4n
}, {
  a: 0n,
  b: -0x6n,
  r: 0n
}, {
  a: 0x1n,
  b: 0xab9n,
  r: 0x1n
}, {
  a: 0xe8c2n,
  b: 0x9914n,
  r: 0x8800n
}, {
  a: 0n,
  b: -0x7cn,
  r: 0n
}, {
  a: -0x6a11n,
  b: 0xb2n,
  r: 0xa2n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: -0x724en,
  b: 0x4n,
  r: 0n
}, {
  a: 0n,
  b: 0xd1cn,
  r: 0n
}, {
  a: 0x957an,
  b: 0x733n,
  r: 0x532n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x35b9n,
  b: 0xdn,
  r: 0x9n
}, {
  a: 0n,
  b: 0x6n,
  r: 0n
}, {
  a: -0x7n,
  b: -0xe64n,
  r: -0xe68n
}, {
  a: 0n,
  b: -0x6cfn,
  r: 0n
}, {
  a: -0x3fn,
  b: 0x5n,
  r: 0x1n
}, {
  a: 0x5090n,
  b: 0x27bn,
  r: 0x10n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: -0xan,
  b: -0x9n,
  r: -0xan
}, {
  a: 0x8n,
  b: 0xe8a2n,
  r: 0n
}, {
  a: -0xdn,
  b: 0xcn,
  r: 0n
}, {
  a: 0x51n,
  b: 0n,
  r: 0n
}, {
  a: -0x20a0n,
  b: 0n,
  r: 0n
}, {
  a: -0x8bn,
  b: 0n,
  r: 0n
}, {
  a: -0x46n,
  b: 0x32n,
  r: 0x32n
}, {
  a: -0xf3n,
  b: -0x3dan,
  r: -0x3fcn
}, {
  a: -0xdn,
  b: 0x7e3n,
  r: 0x7e3n
}, {
  a: -0x707n,
  b: 0xc3n,
  r: 0xc1n
}, {
  a: 0xb226n,
  b: -0x836n,
  r: 0xb202n
}, {
  a: 0xffn,
  b: -0x34cn,
  r: 0xb4n
}, {
  a: 0n,
  b: -0x9bdn,
  r: 0n
}, {
  a: 0x6abn,
  b: 0xde7n,
  r: 0x4a3n
}, {
  a: 0xe96n,
  b: 0n,
  r: 0n
}, {
  a: -0x72cn,
  b: 0x53adn,
  r: 0x5084n
}, {
  a: -0xf87n,
  b: 0xfan,
  r: 0x78n
}, {
  a: 0xe8f8n,
  b: -0x77cn,
  r: 0xe880n
}, {
  a: -0x8n,
  b: -0x17d5n,
  r: -0x17d8n
}, {
  a: 0xe1n,
  b: 0x51e2n,
  r: 0xe0n
}, {
  a: -0x631n,
  b: 0xcn,
  r: 0xcn
}, {
  a: -0x13dn,
  b: -0x812n,
  r: -0x93en
}, {
  a: -0x4en,
  b: 0n,
  r: 0n
}, {
  a: 0xe163n,
  b: 0x54n,
  r: 0x40n
}, {
  a: 0x47n,
  b: 0x2fn,
  r: 0x7n
}, {
  a: -0x92bn,
  b: -0xen,
  r: -0x930n
}, {
  a: 0x32n,
  b: -0xaan,
  r: 0x12n
}, {
  a: -0x24n,
  b: -0xdn,
  r: -0x30n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xcn,
  b: 0n,
  r: 0n
}, {
  a: 0x5een,
  b: -0xd333n,
  r: 0x4ccn
}, {
  a: -0xfn,
  b: 0x2f6bn,
  r: 0x2f61n
}, {
  a: -0x9n,
  b: 0x9n,
  r: 0x1n
}, {
  a: -0x1n,
  b: 0n,
  r: 0n
}, {
  a: -0x9bn,
  b: -0xc3an,
  r: -0xcbcn
}, {
  a: -0x15n,
  b: 0xfccn,
  r: 0xfc8n
}, {
  a: 0n,
  b: 0x43n,
  r: 0n
}, {
  a: 0x595n,
  b: -0xa04n,
  r: 0x594n
}, {
  a: -0xcn,
  b: -0x2n,
  r: -0xcn
}, {
  a: 0xed8n,
  b: 0x17e1n,
  r: 0x6c0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x2e28n,
  b: 0xccn,
  r: 0x8n
}, {
  a: 0xe1en,
  b: -0xd00dn,
  r: 0xe12n
}, {
  a: 0x2d8dn,
  b: 0x5an,
  r: 0x8n
}, {
  a: 0xdd7n,
  b: 0n,
  r: 0n
}, {
  a: -0xbe9n,
  b: 0n,
  r: 0n
}, {
  a: -0xa10n,
  b: 0n,
  r: 0n
}, {
  a: -0x3662n,
  b: 0x258n,
  r: 0x18n
}, {
  a: 0xcn,
  b: 0xfcebn,
  r: 0x8n
}, {
  a: 0xbn,
  b: 0xfn,
  r: 0xbn
}, {
  a: 0n,
  b: -0x6d6n,
  r: 0n
}, {
  a: 0xa3bn,
  b: 0n,
  r: 0n
}, {
  a: -0xc1fn,
  b: -0x7n,
  r: -0xc1fn
}, {
  a: -0xan,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: 0x7n,
  r: 0x2n
}, {
  a: 0xfn,
  b: 0n,
  r: 0n
}, {
  a: 0x6n,
  b: -0x4e2fn,
  r: 0n
}, {
  a: 0n,
  b: 0xbdn,
  r: 0n
}, {
  a: 0n,
  b: 0x58fn,
  r: 0n
}, {
  a: -0x5n,
  b: 0x18n,
  r: 0x18n
}, {
  a: -0x4fen,
  b: -0x4n,
  r: -0x500n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0x442n,
  b: 0x7n,
  r: 0x2n
}, {
  a: 0xb18cn,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x9fn,
  r: 0n
}, {
  a: -0xdn,
  b: -0x6e1n,
  r: -0x6edn
}, {
  a: 0xa5bfn,
  b: 0x5f3n,
  r: 0x5b3n
}, {
  a: 0x127n,
  b: 0xafn,
  r: 0x27n
}, {
  a: -0x3921n,
  b: -0x7n,
  r: -0x3927n
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: 0n,
  b: 0x71n,
  r: 0n
}, {
  a: -0x4dn,
  b: 0x4n,
  r: 0n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0n,
  b: 0x4a93n,
  r: 0n
}, {
  a: 0n,
  b: -0x664n,
  r: 0n
}, {
  a: -0xafn,
  b: 0x1n,
  r: 0x1n
}, {
  a: -0x40bn,
  b: 0n,
  r: 0n
}, {
  a: -0xe3n,
  b: -0xf12n,
  r: -0xff4n
}, {
  a: 0xad1n,
  b: -0x220n,
  r: 0x8c0n
}, {
  a: -0x2n,
  b: -0x8a8fn,
  r: -0x8a90n
}, {
  a: -0x2d87n,
  b: 0xfbn,
  r: 0x79n
}, {
  a: 0xddcn,
  b: 0x6a6n,
  r: 0x484n
}, {
  a: -0x4en,
  b: -0xe76n,
  r: -0xe7en
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x70an,
  b: 0x2bn,
  r: 0xan
}, {
  a: 0n,
  b: -0x2722n,
  r: 0n
}, {
  a: 0x2a7fn,
  b: -0xa01n,
  r: 0x207fn
}, {
  a: 0n,
  b: -0x269n,
  r: 0n
}, {
  a: 0x3a02n,
  b: -0xeca0n,
  r: 0x1200n
}, {
  a: 0n,
  b: 0x6ae2n,
  r: 0n
}, {
  a: 0xbd04n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0x7n,
  b: 0x975n,
  r: 0x971n
}, {
  a: 0x4n,
  b: 0x8n,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: -0xf6n,
  b: -0x5dn,
  r: -0xfen
}, {
  a: 0x84n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x416n,
  r: 0n
}, {
  a: 0n,
  b: -0x5n,
  r: 0n
}, {
  a: 0n,
  b: -0x350n,
  r: 0n
}, {
  a: -0x17n,
  b: 0n,
  r: 0n
}, {
  a: -0x2n,
  b: -0x5n,
  r: -0x6n
}, {
  a: -0x8345n,
  b: 0xacn,
  r: 0xa8n
}, {
  a: -0xda6n,
  b: 0x1n,
  r: 0n
}, {
  a: 0n,
  b: 0xdcn,
  r: 0n
}, {
  a: -0x88a8n,
  b: 0x29fn,
  r: 0x218n
}, {
  a: -0xbecn,
  b: -0x8n,
  r: -0xbf0n
}, {
  a: -0xce9n,
  b: 0n,
  r: 0n
}, {
  a: -0x5f65n,
  b: 0x54n,
  r: 0x10n
}, {
  a: 0x61n,
  b: -0xdfn,
  r: 0x21n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x699n,
  b: 0n,
  r: 0n
}, {
  a: 0x9e11n,
  b: 0n,
  r: 0n
}, {
  a: -0x1bn,
  b: 0n,
  r: 0n
}, {
  a: -0xc9n,
  b: 0x3n,
  r: 0x3n
}, {
  a: -0x8fn,
  b: 0xcab5n,
  r: 0xca31n
}, {
  a: -0x535n,
  b: 0x34n,
  r: 0n
}, {
  a: 0x74n,
  b: -0x9cn,
  r: 0x64n
}, {
  a: 0x1861n,
  b: 0x8a57n,
  r: 0x841n
}, {
  a: -0x4dn,
  b: -0x3dbn,
  r: -0x3dfn
}, {
  a: -0xfben,
  b: -0xcn,
  r: -0xfc0n
}, {
  a: 0n,
  b: -0x9n,
  r: 0n
}, {
  a: -0x57cn,
  b: 0xdn,
  r: 0x4n
}, {
  a: 0xan,
  b: -0xcb1n,
  r: 0xan
}, {
  a: 0xfn,
  b: 0xcn,
  r: 0xcn
}, {
  a: -0xdn,
  b: 0n,
  r: 0n
}, {
  a: -0x771n,
  b: 0x2n,
  r: 0x2n
}, {
  a: 0xfn,
  b: -0xf0n,
  r: 0n
}, {
  a: 0n,
  b: -0x85n,
  r: 0n
}, {
  a: -0xbn,
  b: 0x73n,
  r: 0x71n
}, {
  a: -0xe1b5n,
  b: 0n,
  r: 0n
}, {
  a: -0x7ba3n,
  b: 0x4n,
  r: 0x4n
}, {
  a: -0xafcbn,
  b: -0x9n,
  r: -0xafcbn
}, {
  a: 0xfe5n,
  b: -0x6aen,
  r: 0x940n
}, {
  a: -0xc8n,
  b: 0n,
  r: 0n
}, {
  a: -0x8n,
  b: -0x2n,
  r: -0x8n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: 0x9fn,
  b: -0xen,
  r: 0x92n
}, {
  a: 0x2635n,
  b: -0x3bn,
  r: 0x2605n
}, {
  a: -0x57n,
  b: -0xf661n,
  r: -0xf677n
}, {
  a: 0x3n,
  b: 0n,
  r: 0n
}, {
  a: 0xcn,
  b: -0x750en,
  r: 0n
}, {
  a: 0xbn,
  b: 0xac9bn,
  r: 0xbn
}, {
  a: 0n,
  b: -0x8bb3n,
  r: 0n
}, {
  a: -0x68e2n,
  b: -0x2n,
  r: -0x68e2n
}, {
  a: -0x3e5n,
  b: 0n,
  r: 0n
}, {
  a: -0x6an,
  b: -0xd11n,
  r: -0xd7an
}, {
  a: -0xfn,
  b: 0n,
  r: 0n
}, {
  a: 0x30c9n,
  b: 0x777n,
  r: 0x41n
}, {
  a: -0x496n,
  b: -0xdn,
  r: -0x49en
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xcdn,
  b: -0x55n,
  r: 0x89n
}, {
  a: -0xa7n,
  b: -0xee45n,
  r: -0xeee7n
}, {
  a: 0n,
  b: -0xfc4fn,
  r: 0n
}, {
  a: 0xbf4bn,
  b: -0xcen,
  r: 0xbf02n
}, {
  a: 0n,
  b: 0xb57n,
  r: 0n
}, {
  a: 0x33n,
  b: -0xan,
  r: 0x32n
}, {
  a: -0xb11n,
  b: 0x5504n,
  r: 0x5404n
}, {
  a: 0xab0n,
  b: 0n,
  r: 0n
}, {
  a: -0xcbn,
  b: 0x5dn,
  r: 0x15n
}, {
  a: 0n,
  b: -0xa952n,
  r: 0n
}, {
  a: 0x1n,
  b: 0n,
  r: 0n
}, {
  a: 0xc2n,
  b: 0xc7n,
  r: 0xc2n
}, {
  a: -0x482n,
  b: -0x60n,
  r: -0x4e0n
}, {
  a: 0xd77en,
  b: 0n,
  r: 0n
}, {
  a: -0x7n,
  b: -0x82n,
  r: -0x88n
}, {
  a: 0n,
  b: 0x58n,
  r: 0n
}, {
  a: 0xb3n,
  b: -0x9fa6n,
  r: 0x12n
}, {
  a: -0xfn,
  b: -0x15fn,
  r: -0x15fn
}, {
  a: 0n,
  b: 0x9316n,
  r: 0n
}, {
  a: 0n,
  b: -0xdefn,
  r: 0n
}, {
  a: 0x62dn,
  b: 0x3n,
  r: 0x1n
}, {
  a: 0xe2n,
  b: 0n,
  r: 0n
}, {
  a: 0x5783n,
  b: 0xd4en,
  r: 0x502n
}, {
  a: 0x85n,
  b: -0xcb13n,
  r: 0x85n
}, {
  a: -0x9n,
  b: -0x238n,
  r: -0x240n
}, {
  a: 0x54n,
  b: 0xff57n,
  r: 0x54n
}, {
  a: -0x39c6n,
  b: -0xf8n,
  r: -0x39f8n
}, {
  a: -0x4n,
  b: 0xf05n,
  r: 0xf04n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xd9n,
  b: -0x9n,
  r: 0xd1n
}, {
  a: 0n,
  b: -0x20fn,
  r: 0n
}, {
  a: -0xbn,
  b: -0x854n,
  r: -0x85cn
}, {
  a: 0x90n,
  b: -0x5cfdn,
  r: 0n
}, {
  a: 0x2608n,
  b: 0xd1n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: 0xb36en,
  r: 0xb36an
}, {
  a: 0x2e0n,
  b: 0x5bbn,
  r: 0xa0n
}, {
  a: 0x9n,
  b: 0x4n,
  r: 0n
}, {
  a: 0xc6n,
  b: 0n,
  r: 0n
}, {
  a: 0xf0n,
  b: -0x5n,
  r: 0xf0n
}, {
  a: 0x44n,
  b: 0xf0n,
  r: 0x40n
}, {
  a: 0n,
  b: -0x87n,
  r: 0n
}, {
  a: -0x8f7n,
  b: 0x6n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x3n,
  b: 0n,
  r: 0n
}, {
  a: -0x34cn,
  b: 0xe5bn,
  r: 0xc10n
}, {
  a: -0x6n,
  b: 0n,
  r: 0n
}, {
  a: -0x6334n,
  b: 0x1n,
  r: 0n
}, {
  a: -0xc256n,
  b: -0xfan,
  r: -0xc2fen
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xe9n,
  b: -0x198an,
  r: -0x19ean
}, {
  a: 0xc89n,
  b: 0x840n,
  r: 0x800n
}, {
  a: -0x44en,
  b: 0x8e0n,
  r: 0x8a0n
}, {
  a: 0x28dn,
  b: -0x4n,
  r: 0x28cn
}, {
  a: -0xbn,
  b: -0x5n,
  r: -0xfn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: -0x98n,
  r: 0x8n
}, {
  a: -0xd0n,
  b: 0x766n,
  r: 0x720n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x16n,
  r: 0n
}, {
  a: -0x6c3n,
  b: 0xb35n,
  r: 0x935n
}, {
  a: 0xd18n,
  b: -0x1b04n,
  r: 0x418n
}, {
  a: 0x5n,
  b: 0x73n,
  r: 0x1n
}, {
  a: 0n,
  b: -0xe1fbn,
  r: 0n
}, {
  a: 0n,
  b: 0xc9fan,
  r: 0n
}, {
  a: 0n,
  b: 0xeen,
  r: 0n
}, {
  a: 0n,
  b: 0x9n,
  r: 0n
}, {
  a: 0x25d5n,
  b: -0x5bccn,
  r: 0x2414n
}, {
  a: -0xc131n,
  b: -0x3en,
  r: -0xc13en
}, {
  a: -0x83n,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: -0x4n,
  r: 0x8n
}, {
  a: 0x3an,
  b: -0x44een,
  r: 0x12n
}, {
  a: 0xb0n,
  b: 0x21n,
  r: 0x20n
}, {
  a: 0x3n,
  b: 0x45n,
  r: 0x1n
}, {
  a: -0x9bn,
  b: 0x38fn,
  r: 0x305n
}, {
  a: -0x2n,
  b: 0n,
  r: 0n
}, {
  a: 0xb29n,
  b: -0x4ffbn,
  r: 0x1n
}, {
  a: 0x7fn,
  b: -0xa8n,
  r: 0x58n
}, {
  a: 0n,
  b: -0x74n,
  r: 0n
}, {
  a: -0x5ebbn,
  b: 0x42f1n,
  r: 0x41n
}, {
  a: 0n,
  b: -0x3n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xab6n,
  b: -0x80n,
  r: -0xb00n
}, {
  a: -0x97a9n,
  b: -0xd69n,
  r: -0x9fe9n
}, {
  a: -0x1084n,
  b: -0x25n,
  r: -0x10a8n
}, {
  a: 0x7d6n,
  b: 0x8f8n,
  r: 0xd0n
}, {
  a: 0xdb9n,
  b: -0x75abn,
  r: 0x811n
}, {
  a: -0x346n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xf0n,
  r: 0n
}, {
  a: 0n,
  b: 0xccn,
  r: 0n
}, {
  a: 0n,
  b: -0x13ccn,
  r: 0n
}, {
  a: 0x47cn,
  b: 0n,
  r: 0n
}, {
  a: 0x8n,
  b: 0x547n,
  r: 0n
}, {
  a: 0x3fn,
  b: -0x646dn,
  r: 0x13n
}, {
  a: -0xa0a0n,
  b: 0xc689n,
  r: 0x4600n
}, {
  a: -0x25cn,
  b: -0x5189n,
  r: -0x53dcn
}, {
  a: 0n,
  b: 0xan,
  r: 0n
}, {
  a: -0x85f7n,
  b: 0x8d5n,
  r: 0x801n
}, {
  a: 0n,
  b: -0x7n,
  r: 0n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x7n,
  b: 0xcn,
  r: 0x8n
}, {
  a: -0xbn,
  b: 0n,
  r: 0n
}, {
  a: 0x14n,
  b: -0x604n,
  r: 0x14n
}, {
  a: -0xfedcn,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: -0xd96dn,
  r: -0xd96fn
}, {
  a: 0xf7n,
  b: 0x750n,
  r: 0x50n
}, {
  a: 0xb01n,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: 0xe4n,
  r: 0n
}, {
  a: 0xdn,
  b: -0x7n,
  r: 0x9n
}, {
  a: 0xdn,
  b: -0x2n,
  r: 0xcn
}, {
  a: -0xa34bn,
  b: -0x2bn,
  r: -0xa36bn
}, {
  a: 0xf0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xd5n,
  r: 0n
}, {
  a: 0x13fen,
  b: 0xd1n,
  r: 0xd0n
}, {
  a: 0x5787n,
  b: -0xb8e4n,
  r: 0x4704n
}, {
  a: 0n,
  b: -0x99n,
  r: 0n
}, {
  a: 0x473n,
  b: 0n,
  r: 0n
}, {
  a: -0x38an,
  b: 0x6n,
  r: 0x6n
}, {
  a: -0x3n,
  b: 0xfn,
  r: 0xdn
}, {
  a: 0xf09n,
  b: 0x2n,
  r: 0n
}, {
  a: 0n,
  b: 0x7c5n,
  r: 0n
}, {
  a: -0xf207n,
  b: -0xan,
  r: -0xf210n
}, {
  a: -0x1an,
  b: 0xa0n,
  r: 0xa0n
}, {
  a: 0x660fn,
  b: 0xeffn,
  r: 0x60fn
}, {
  a: -0xadn,
  b: -0x298fn,
  r: -0x29afn
}, {
  a: -0x59n,
  b: 0n,
  r: 0n
}, {
  a: -0xedn,
  b: -0x6n,
  r: -0xeen
}, {
  a: 0x4bn,
  b: 0x87a3n,
  r: 0x3n
}, {
  a: -0xen,
  b: -0xa217n,
  r: -0xa220n
}, {
  a: -0xe1en,
  b: 0n,
  r: 0n
}, {
  a: -0x69n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: 0x43dbn,
  r: 0x43d3n
}, {
  a: 0x9171n,
  b: -0x2053n,
  r: 0x9121n
}, {
  a: -0x74d6n,
  b: -0x25n,
  r: -0x74f6n
}, {
  a: -0xa6bdn,
  b: -0x8ccn,
  r: -0xaf00n
}, {
  a: 0x1n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x5n,
  r: 0n
}, {
  a: 0xdb30n,
  b: 0n,
  r: 0n
}, {
  a: 0xd6n,
  b: -0x7n,
  r: 0xd0n
}, {
  a: -0x4bn,
  b: 0xcfdn,
  r: 0xcb5n
}, {
  a: 0xd06n,
  b: 0x3f05n,
  r: 0xd04n
}, {
  a: 0x6f56n,
  b: 0n,
  r: 0n
}, {
  a: 0x9a80n,
  b: 0xecadn,
  r: 0x8880n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x7affn,
  b: 0x9bn,
  r: 0x1n
}, {
  a: 0x982en,
  b: -0xfe4n,
  r: 0x900cn
}, {
  a: 0x906n,
  b: -0x32n,
  r: 0x906n
}, {
  a: 0x489n,
  b: 0x8ban,
  r: 0x88n
}, {
  a: 0x73n,
  b: 0x74d2n,
  r: 0x52n
}, {
  a: -0x3fa5n,
  b: -0x6n,
  r: -0x3fa6n
}, {
  a: 0n,
  b: -0xebn,
  r: 0n
}, {
  a: 0n,
  b: 0xb7ean,
  r: 0n
}, {
  a: 0x2n,
  b: 0x93n,
  r: 0x2n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: 0x45n,
  b: 0x42n,
  r: 0x40n
}, {
  a: 0xan,
  b: 0xa52cn,
  r: 0x8n
}, {
  a: 0n,
  b: 0xed48n,
  r: 0n
}, {
  a: 0xd2n,
  b: 0x4854n,
  r: 0x50n
}, {
  a: 0n,
  b: 0xfcn,
  r: 0n
}, {
  a: 0x9f5n,
  b: 0x4n,
  r: 0x4n
}, {
  a: 0n,
  b: 0x952n,
  r: 0n
}, {
  a: 0x8c4n,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: 0xb6dn,
  r: 0xb61n
}, {
  a: 0n,
  b: 0xa3n,
  r: 0n
}, {
  a: -0x651n,
  b: 0xcfcn,
  r: 0x8acn
}, {
  a: 0xb3e5n,
  b: -0x3n,
  r: 0xb3e5n
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: -0x1fb6n,
  b: 0n,
  r: 0n
}, {
  a: 0xf6dn,
  b: -0x116an,
  r: 0xe04n
}, {
  a: 0n,
  b: -0x384n,
  r: 0n
}, {
  a: -0xfd34n,
  b: 0n,
  r: 0n
}, {
  a: 0x5dn,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x9149n,
  r: 0n
}, {
  a: 0xa8n,
  b: 0x2n,
  r: 0n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x86acn,
  b: 0n,
  r: 0n
}, {
  a: 0xb3n,
  b: 0xabn,
  r: 0xa3n
}, {
  a: 0xec6dn,
  b: 0x2d97n,
  r: 0x2c05n
}, {
  a: -0xd0n,
  b: 0x3n,
  r: 0n
}, {
  a: 0xa969n,
  b: -0x66a0n,
  r: 0x8960n
}, {
  a: -0x691cn,
  b: -0xban,
  r: -0x69bcn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x688an,
  b: 0x9dn,
  r: 0x88n
}, {
  a: 0xd11n,
  b: -0x9n,
  r: 0xd11n
}, {
  a: -0xcn,
  b: -0x9cn,
  r: -0x9cn
}, {
  a: 0xaen,
  b: 0n,
  r: 0n
}, {
  a: -0x880n,
  b: -0xc66n,
  r: -0xc80n
}, {
  a: 0x423n,
  b: -0x175n,
  r: 0x403n
}, {
  a: -0x5n,
  b: 0xefn,
  r: 0xebn
}, {
  a: 0n,
  b: 0xffn,
  r: 0n
}, {
  a: 0n,
  b: -0x756en,
  r: 0n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: 0xc4n,
  b: -0x31dn,
  r: 0xc0n
}, {
  a: -0x6c2n,
  b: -0xab22n,
  r: -0xafe2n
}, {
  a: -0x2d39n,
  b: -0x9n,
  r: -0x2d39n
}, {
  a: 0n,
  b: 0x5d9n,
  r: 0n
}, {
  a: -0xd4c2n,
  b: 0x841n,
  r: 0x800n
}, {
  a: 0n,
  b: -0x8n,
  r: 0n
}, {
  a: -0x4b70n,
  b: 0x5edn,
  r: 0x480n
}, {
  a: -0x1n,
  b: 0x7n,
  r: 0x7n
}, {
  a: 0x1b8n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xf62n,
  r: 0n
}, {
  a: 0n,
  b: -0x4n,
  r: 0n
}, {
  a: 0n,
  b: 0x50d7n,
  r: 0n
}, {
  a: 0xaa2n,
  b: 0x7n,
  r: 0x2n
}, {
  a: 0xa38n,
  b: -0xc5n,
  r: 0xa38n
}, {
  a: -0xdfen,
  b: 0x7ff0n,
  r: 0x7200n
}, {
  a: 0x2n,
  b: -0x7589n,
  r: 0x2n
}, {
  a: 0x3n,
  b: -0x8277n,
  r: 0x1n
}, {
  a: 0xd4ebn,
  b: -0xaen,
  r: 0xd442n
}, {
  a: 0x1n,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: 0n,
  r: 0n
}, {
  a: 0x7n,
  b: 0x51n,
  r: 0x1n
}, {
  a: -0xdn,
  b: -0xa78n,
  r: -0xa80n
}, {
  a: 0xc6an,
  b: 0x9en,
  r: 0xan
}, {
  a: 0n,
  b: 0x8dn,
  r: 0n
}, {
  a: -0x86f9n,
  b: 0n,
  r: 0n
}, {
  a: 0x45n,
  b: -0xbn,
  r: 0x45n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xab0n,
  b: 0n,
  r: 0n
}, {
  a: 0xc14cn,
  b: 0x13fen,
  r: 0x14cn
}, {
  a: -0xcn,
  b: 0xen,
  r: 0x4n
}, {
  a: 0x9an,
  b: -0x7a2n,
  r: 0x1an
}, {
  a: -0x44n,
  b: 0xb59en,
  r: 0xb59cn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x9fcn,
  b: 0x95ffn,
  r: 0x9404n
}, {
  a: -0x436n,
  b: -0x2dan,
  r: -0x6fen
}, {
  a: -0xc45n,
  b: -0xdbn,
  r: -0xcdfn
}, {
  a: -0x21d9n,
  b: 0x371n,
  r: 0x221n
}, {
  a: -0xbn,
  b: 0xac2an,
  r: 0xac20n
}, {
  a: -0x1428n,
  b: 0x3n,
  r: 0n
}, {
  a: 0x6d40n,
  b: -0x16n,
  r: 0x6d40n
}, {
  a: 0xan,
  b: -0x124n,
  r: 0x8n
}, {
  a: 0xb18n,
  b: -0x1dn,
  r: 0xb00n
}, {
  a: -0xf7f7n,
  b: -0x30n,
  r: -0xf800n
}, {
  a: -0xf27bn,
  b: 0xfe2n,
  r: 0xd80n
}, {
  a: 0x4n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x56n,
  b: 0x229n,
  r: 0n
}, {
  a: 0n,
  b: -0x15n,
  r: 0n
}, {
  a: 0xe5n,
  b: 0x56n,
  r: 0x44n
}, {
  a: 0x67n,
  b: 0n,
  r: 0n
}, {
  a: 0x1bn,
  b: 0x46cbn,
  r: 0xbn
}, {
  a: -0x2n,
  b: 0n,
  r: 0n
}, {
  a: 0xee7n,
  b: -0x6fa5n,
  r: 0x43n
}, {
  a: 0x612bn,
  b: 0xcc4n,
  r: 0n
}, {
  a: -0xfn,
  b: 0xf65dn,
  r: 0xf651n
}, {
  a: -0xen,
  b: -0x6n,
  r: -0xen
}, {
  a: 0xdn,
  b: 0n,
  r: 0n
}, {
  a: -0xfa3n,
  b: 0x9a1n,
  r: 0x1n
}, {
  a: -0x43n,
  b: 0n,
  r: 0n
}, {
  a: 0x33n,
  b: -0x99aan,
  r: 0x12n
}, {
  a: -0xfn,
  b: -0xdn,
  r: -0xfn
}, {
  a: -0xf2dn,
  b: 0xan,
  r: 0x2n
}, {
  a: -0xdd4n,
  b: 0n,
  r: 0n
}, {
  a: -0xa3an,
  b: 0x276n,
  r: 0x46n
}, {
  a: 0n,
  b: -0x61fbn,
  r: 0n
}, {
  a: 0n,
  b: -0x5944n,
  r: 0n
}, {
  a: 0x596n,
  b: 0n,
  r: 0n
}, {
  a: -0xben,
  b: -0xa6n,
  r: -0xben
}, {
  a: 0x84n,
  b: -0xe12n,
  r: 0x84n
}, {
  a: -0x7800n,
  b: 0n,
  r: 0n
}, {
  a: -0x9n,
  b: -0x41n,
  r: -0x49n
}, {
  a: 0xcn,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x97an,
  r: 0n
}, {
  a: -0x55e9n,
  b: 0x6b0n,
  r: 0x210n
}, {
  a: 0n,
  b: -0x5fan,
  r: 0n
}, {
  a: 0x95f9n,
  b: 0xen,
  r: 0x8n
}, {
  a: -0x14ccn,
  b: 0x6een,
  r: 0x224n
}, {
  a: 0x1n,
  b: 0x6552n,
  r: 0n
}, {
  a: -0x1n,
  b: 0x32n,
  r: 0x32n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xfae6n,
  b: -0x76n,
  r: 0xfa82n
}, {
  a: -0x9n,
  b: -0x4decn,
  r: -0x4decn
}, {
  a: -0xd603n,
  b: -0xb5d3n,
  r: -0xf7d3n
}, {
  a: 0xan,
  b: 0x5n,
  r: 0n
}, {
  a: 0x2n,
  b: 0n,
  r: 0n
}, {
  a: 0x6an,
  b: -0xc918n,
  r: 0x68n
}, {
  a: -0x8779n,
  b: -0xc771n,
  r: -0xc779n
}, {
  a: -0xcn,
  b: -0x9aan,
  r: -0x9acn
}, {
  a: -0xadf1n,
  b: -0x55n,
  r: -0xadf5n
}, {
  a: 0xen,
  b: 0xbf1n,
  r: 0n
}, {
  a: -0xfn,
  b: 0xa22n,
  r: 0xa20n
}, {
  a: 0xc59n,
  b: -0xd7n,
  r: 0xc09n
}, {
  a: 0xb5n,
  b: 0x599n,
  r: 0x91n
}, {
  a: -0x87an,
  b: -0xfn,
  r: -0x880n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xe0c3n,
  b: 0x79n,
  r: 0x41n
}, {
  a: 0x99n,
  b: 0x92n,
  r: 0x90n
}, {
  a: -0xdn,
  b: -0xca6n,
  r: -0xcaen
}, {
  a: -0x4370n,
  b: 0x6e0dn,
  r: 0x2c00n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xden,
  r: 0n
}, {
  a: 0xbn,
  b: -0x9dn,
  r: 0x3n
}, {
  a: 0x9n,
  b: -0x1n,
  r: 0x9n
}, {
  a: -0x52cn,
  b: 0n,
  r: 0n
}, {
  a: 0xe5n,
  b: -0x5n,
  r: 0xe1n
}, {
  a: -0x76bfn,
  b: 0x5an,
  r: 0x40n
}, {
  a: 0xdn,
  b: -0xcn,
  r: 0x4n
}, {
  a: 0x93n,
  b: 0x6en,
  r: 0x2n
}, {
  a: 0n,
  b: 0x93fn,
  r: 0n
}, {
  a: -0xefddn,
  b: -0xcn,
  r: -0xefe0n
}, {
  a: -0xdn,
  b: -0x9n,
  r: -0xdn
}, {
  a: 0xdn,
  b: -0x9cn,
  r: 0x4n
}, {
  a: -0x2n,
  b: 0x4n,
  r: 0x4n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: -0xfd4n,
  r: 0x8n
}, {
  a: 0xdan,
  b: -0xen,
  r: 0xd2n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xedn,
  b: 0xb01n,
  r: 0xb01n
}, {
  a: 0x39fn,
  b: 0n,
  r: 0n
}, {
  a: -0x48n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xb67n,
  b: -0x9n,
  r: 0xb67n
}, {
  a: -0x1dfn,
  b: 0n,
  r: 0n
}, {
  a: -0x1n,
  b: 0n,
  r: 0n
}, {
  a: 0x4465n,
  b: -0x65ben,
  r: 0x40n
}, {
  a: -0x256an,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xfn,
  b: -0xbn,
  r: -0xfn
}, {
  a: 0x5n,
  b: 0xbn,
  r: 0x1n
}, {
  a: -0xbbben,
  b: -0xdn,
  r: -0xbbben
}, {
  a: -0x74n,
  b: 0n,
  r: 0n
}, {
  a: -0x7709n,
  b: 0xb6n,
  r: 0xb6n
}, {
  a: -0x6cn,
  b: -0x682fn,
  r: -0x6870n
}, {
  a: 0xe2fn,
  b: -0x7n,
  r: 0xe29n
}, {
  a: -0x46n,
  b: -0x72en,
  r: -0x76en
}, {
  a: 0n,
  b: 0x6bn,
  r: 0n
}, {
  a: 0xcn,
  b: 0xdcd6n,
  r: 0x4n
}, {
  a: 0xdn,
  b: 0n,
  r: 0n
}, {
  a: -0xe3n,
  b: 0x8435n,
  r: 0x8415n
}, {
  a: 0n,
  b: -0x9fe1n,
  r: 0n
}, {
  a: 0x64an,
  b: 0n,
  r: 0n
}, {
  a: -0x32f5n,
  b: -0x4n,
  r: -0x32f8n
}, {
  a: 0n,
  b: 0x832dn,
  r: 0n
}, {
  a: 0n,
  b: 0xebb2n,
  r: 0n
}, {
  a: -0x2aecn,
  b: 0x61n,
  r: 0n
}, {
  a: -0xf69n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: 0x707bn,
  b: 0xe2ddn,
  r: 0x6059n
}, {
  a: 0x71n,
  b: -0xfn,
  r: 0x71n
}, {
  a: 0x5f99n,
  b: 0n,
  r: 0n
}, {
  a: 0x190n,
  b: 0x7fn,
  r: 0x10n
}, {
  a: 0x2n,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: -0xe63n,
  r: -0xe6fn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x357n,
  b: -0xc74dn,
  r: 0x13n
}, {
  a: 0xen,
  b: -0xcn,
  r: 0x4n
}, {
  a: 0x1d1n,
  b: 0x1an,
  r: 0x10n
}, {
  a: 0n,
  b: -0x8bn,
  r: 0n
}, {
  a: 0x244an,
  b: 0x31n,
  r: 0n
}, {
  a: -0x10an,
  b: -0x6f2n,
  r: -0x7fan
}, {
  a: -0xef8n,
  b: -0x52een,
  r: -0x5f00n
}, {
  a: 0n,
  b: -0xeccn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x4n,
  b: 0xfa7n,
  r: 0x4n
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: -0xef03n,
  b: -0x698n,
  r: -0xef98n
}, {
  a: -0x7n,
  b: -0x43n,
  r: -0x47n
}, {
  a: -0x2880n,
  b: 0x4n,
  r: 0n
}, {
  a: -0xan,
  b: -0x5dn,
  r: -0x5en
}, {
  a: -0xfe3n,
  b: -0x5b5n,
  r: -0xff7n
}, {
  a: -0xfban,
  b: 0x2e8n,
  r: 0x40n
}, {
  a: 0x81n,
  b: -0xcda4n,
  r: 0n
}, {
  a: 0xfn,
  b: -0xed2n,
  r: 0xen
}, {
  a: 0xdn,
  b: 0x5en,
  r: 0xcn
}, {
  a: -0xe1n,
  b: -0x3a6n,
  r: -0x3e6n
}, {
  a: -0x1n,
  b: 0x8n,
  r: 0x8n
}, {
  a: -0x88fn,
  b: -0xcn,
  r: -0x890n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xbe3n,
  b: 0xbn,
  r: 0x9n
}, {
  a: -0x5n,
  b: 0n,
  r: 0n
}, {
  a: 0x2c6an,
  b: 0xa2a4n,
  r: 0x2020n
}, {
  a: -0xd901n,
  b: 0x374n,
  r: 0x274n
}, {
  a: -0x9n,
  b: -0xa3n,
  r: -0xabn
}, {
  a: 0xfn,
  b: -0xbn,
  r: 0x5n
}, {
  a: -0x5n,
  b: 0x2n,
  r: 0x2n
}, {
  a: 0n,
  b: 0xf074n,
  r: 0n
}, {
  a: -0x3edcn,
  b: 0n,
  r: 0n
}, {
  a: 0xcn,
  b: 0x5508n,
  r: 0x8n
}, {
  a: 0x96d4n,
  b: 0x9afn,
  r: 0x84n
}, {
  a: 0x89dfn,
  b: 0xdean,
  r: 0x9can
}, {
  a: -0xa87en,
  b: -0x54n,
  r: -0xa880n
}, {
  a: 0x47fn,
  b: 0x1bn,
  r: 0x1bn
}, {
  a: 0n,
  b: 0x4999n,
  r: 0n
}, {
  a: 0x3fn,
  b: 0xb7n,
  r: 0x37n
}, {
  a: 0x9n,
  b: -0xca75n,
  r: 0x9n
}, {
  a: 0xc9n,
  b: 0xbcn,
  r: 0x88n
}, {
  a: 0n,
  b: -0x758n,
  r: 0n
}, {
  a: 0xfb4dn,
  b: -0xc35n,
  r: 0xf349n
}, {
  a: 0xa09n,
  b: -0x7e2dn,
  r: 0x1n
}, {
  a: -0xen,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xbn,
  r: 0n
}, {
  a: -0xdn,
  b: 0x4bn,
  r: 0x43n
}, {
  a: 0x773n,
  b: -0xcc0en,
  r: 0x372n
}, {
  a: 0x4n,
  b: 0xf5n,
  r: 0x4n
}, {
  a: 0x7369n,
  b: -0x6n,
  r: 0x7368n
}, {
  a: -0x6fn,
  b: 0x2n,
  r: 0n
}, {
  a: 0x49fcn,
  b: -0x8n,
  r: 0x49f8n
}, {
  a: -0x149n,
  b: -0xan,
  r: -0x14an
}, {
  a: -0x77e7n,
  b: -0x8fan,
  r: -0x8000n
}, {
  a: -0x6n,
  b: 0n,
  r: 0n
}, {
  a: -0x4937n,
  b: 0n,
  r: 0n
}, {
  a: 0x14n,
  b: 0xa446n,
  r: 0x4n
}, {
  a: -0xa9cn,
  b: 0x69n,
  r: 0x60n
}, {
  a: -0xd2fn,
  b: -0x74n,
  r: -0xd80n
}, {
  a: 0xbdn,
  b: -0x56n,
  r: 0xa8n
}, {
  a: 0x2eeen,
  b: 0x3n,
  r: 0x2n
}, {
  a: 0n,
  b: -0xb647n,
  r: 0n
}, {
  a: -0x8c8en,
  b: 0n,
  r: 0n
}, {
  a: -0xeb9n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xab38n,
  r: 0n
}, {
  a: 0x25n,
  b: -0xbebn,
  r: 0x5n
}, {
  a: -0x29n,
  b: -0x928an,
  r: -0x92aan
}, {
  a: -0x879n,
  b: -0x76n,
  r: -0x87en
}, {
  a: -0x61dn,
  b: 0x634n,
  r: 0x20n
}, {
  a: -0x9en,
  b: 0x6e5n,
  r: 0x660n
}, {
  a: -0x112dn,
  b: 0xf04n,
  r: 0xe00n
}, {
  a: 0x4n,
  b: -0xedan,
  r: 0x4n
}, {
  a: 0x8n,
  b: 0xe3bn,
  r: 0x8n
}, {
  a: -0x6n,
  b: -0xan,
  r: -0xen
}, {
  a: -0xd0n,
  b: -0x181n,
  r: -0x1d0n
}, {
  a: 0n,
  b: -0x3ed7n,
  r: 0n
}, {
  a: -0xe8a0n,
  b: 0x63bn,
  r: 0x620n
}, {
  a: 0n,
  b: -0x14dn,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0x4e4dn,
  b: 0x1an,
  r: 0x8n
}, {
  a: -0x318n,
  b: 0x6fa5n,
  r: 0x6ca0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x1dbn,
  b: -0xen,
  r: 0x1d2n
}, {
  a: -0xf8n,
  b: 0n,
  r: 0n
}, {
  a: -0xd62n,
  b: -0xf04n,
  r: -0xf64n
}, {
  a: 0xd0n,
  b: -0xfa2n,
  r: 0x50n
}, {
  a: -0xa27n,
  b: -0x68c5n,
  r: -0x6ae7n
}, {
  a: 0n,
  b: 0x3n,
  r: 0n
}, {
  a: -0xf978n,
  b: 0xbf88n,
  r: 0x688n
}, {
  a: 0n,
  b: 0x105n,
  r: 0n
}, {
  a: -0x3996n,
  b: -0xdafn,
  r: -0x3dc0n
}, {
  a: -0x95dn,
  b: -0x6n,
  r: -0x95en
}, {
  a: -0x23bn,
  b: -0x8n,
  r: -0x240n
}, {
  a: 0x4n,
  b: 0n,
  r: 0n
}, {
  a: -0x45n,
  b: -0x6n,
  r: -0x46n
}, {
  a: -0xbdn,
  b: 0n,
  r: 0n
}, {
  a: 0x82ecn,
  b: 0x646n,
  r: 0x244n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: 0x691n,
  b: 0xc1b8n,
  r: 0x90n
}, {
  a: -0xd6dn,
  b: 0n,
  r: 0n
}, {
  a: -0x82n,
  b: -0x1621n,
  r: -0x16a2n
}, {
  a: -0xan,
  b: -0xe983n,
  r: -0xe98cn
}, {
  a: -0x3n,
  b: 0xe318n,
  r: 0xe318n
}, {
  a: -0xbn,
  b: 0n,
  r: 0n
}, {
  a: -0xddn,
  b: -0xd782n,
  r: -0xd7den
}, {
  a: -0x2n,
  b: 0xfn,
  r: 0xen
}, {
  a: -0x1dn,
  b: -0x592n,
  r: -0x59en
}, {
  a: -0x55bdn,
  b: -0x95n,
  r: -0x55bdn
}, {
  a: 0x9n,
  b: 0xcdn,
  r: 0x9n
}, {
  a: 0xe1dn,
  b: 0x9d53n,
  r: 0xc11n
}, {
  a: -0x9b9n,
  b: 0xb78n,
  r: 0x240n
}, {
  a: -0xen,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0xe0d7n,
  b: 0xf261n,
  r: 0x1221n
}, {
  a: 0n,
  b: 0xf76n,
  r: 0n
}, {
  a: 0x972n,
  b: 0x11fn,
  r: 0x112n
}, {
  a: -0x26bn,
  b: 0n,
  r: 0n
}, {
  a: 0x5n,
  b: -0x2n,
  r: 0x4n
}, {
  a: 0x4n,
  b: -0x29n,
  r: 0x4n
}, {
  a: 0x53d1n,
  b: 0n,
  r: 0n
}, {
  a: -0x3bn,
  b: 0n,
  r: 0n
}, {
  a: 0xan,
  b: -0x8n,
  r: 0x8n
}, {
  a: -0x840n,
  b: -0x5988n,
  r: -0x59c0n
}, {
  a: -0x48n,
  b: -0x8n,
  r: -0x48n
}, {
  a: 0x5c9an,
  b: -0x26n,
  r: 0x5c9an
}, {
  a: -0xan,
  b: 0n,
  r: 0n
}, {
  a: -0xdn,
  b: 0xa3n,
  r: 0xa3n
}, {
  a: 0x1n,
  b: -0x4n,
  r: 0n
}, {
  a: -0x9e9en,
  b: 0n,
  r: 0n
}, {
  a: 0xadn,
  b: -0x82n,
  r: 0x2cn
}, {
  a: 0x35fn,
  b: -0x9753n,
  r: 0xdn
}, {
  a: 0x72n,
  b: 0xcn,
  r: 0n
}, {
  a: 0n,
  b: -0xd7a2n,
  r: 0n
}, {
  a: 0n,
  b: -0x69bn,
  r: 0n
}, {
  a: -0x3c59n,
  b: -0x5a5n,
  r: -0x3dfdn
}, {
  a: 0n,
  b: 0xen,
  r: 0n
}, {
  a: 0n,
  b: -0xd0n,
  r: 0n
}, {
  a: -0x694n,
  b: 0n,
  r: 0n
}, {
  a: -0xeb2n,
  b: 0x457n,
  r: 0x46n
}, {
  a: 0x7b37n,
  b: -0x2bn,
  r: 0x7b15n
}, {
  a: -0x62n,
  b: 0n,
  r: 0n
}, {
  a: 0x7n,
  b: 0n,
  r: 0n
}, {
  a: -0x26d8n,
  b: 0xe1n,
  r: 0x20n
}, {
  a: 0n,
  b: 0xe879n,
  r: 0n
}, {
  a: -0x51n,
  b: 0n,
  r: 0n
}, {
  a: 0x28n,
  b: 0x82n,
  r: 0n
}, {
  a: 0xabn,
  b: 0n,
  r: 0n
}, {
  a: -0x90b7n,
  b: 0x2e08n,
  r: 0x2e08n
}, {
  a: 0xe18n,
  b: -0xdn,
  r: 0xe10n
}, {
  a: 0x6n,
  b: -0x8cn,
  r: 0x4n
}, {
  a: 0n,
  b: -0x4f08n,
  r: 0n
}, {
  a: -0x27d6n,
  b: -0x70n,
  r: -0x2800n
}, {
  a: -0xccn,
  b: -0x46fn,
  r: -0x4f0n
}, {
  a: 0n,
  b: 0xdn,
  r: 0n
}, {
  a: -0x9fn,
  b: -0x552n,
  r: -0x5e0n
}, {
  a: -0x2dn,
  b: 0x1dbn,
  r: 0x1d3n
}, {
  a: 0n,
  b: -0xcn,
  r: 0n
}, {
  a: 0n,
  b: 0xc649n,
  r: 0n
}, {
  a: 0xfc7n,
  b: 0x6ddn,
  r: 0x6c5n
}, {
  a: 0n,
  b: 0x2676n,
  r: 0n
}, {
  a: -0xcn,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: 0x7bbdn,
  b: 0n,
  r: 0n
}, {
  a: 0x74f3n,
  b: 0xdn,
  r: 0x1n
}, {
  a: 0xfn,
  b: -0x9n,
  r: 0x7n
}, {
  a: 0xacn,
  b: -0x2n,
  r: 0xacn
}, {
  a: 0n,
  b: -0x2n,
  r: 0n
}, {
  a: 0xf8dn,
  b: 0n,
  r: 0n
}, {
  a: -0xe97n,
  b: 0x83d2n,
  r: 0x8140n
}, {
  a: -0x5156n,
  b: -0xfn,
  r: -0x5160n
}, {
  a: 0x4n,
  b: 0x7468n,
  r: 0n
}, {
  a: -0xd8fn,
  b: 0n,
  r: 0n
}, {
  a: -0x65an,
  b: -0x74n,
  r: -0x67cn
}, {
  a: -0xa4n,
  b: 0xc73n,
  r: 0xc50n
}, {
  a: -0x4cn,
  b: 0n,
  r: 0n
}, {
  a: 0x82n,
  b: 0x5bean,
  r: 0x82n
}, {
  a: 0n,
  b: 0xeen,
  r: 0n
}, {
  a: 0n,
  b: 0xbdn,
  r: 0n
}, {
  a: -0x10en,
  b: 0n,
  r: 0n
}, {
  a: 0x2n,
  b: 0n,
  r: 0n
}, {
  a: 0x61n,
  b: -0x9078n,
  r: 0n
}, {
  a: 0n,
  b: -0xdbn,
  r: 0n
}, {
  a: -0xf1n,
  b: -0x1d3n,
  r: -0x1f3n
}, {
  a: -0x6c5n,
  b: 0n,
  r: 0n
}, {
  a: 0x1n,
  b: 0n,
  r: 0n
}, {
  a: -0x33bn,
  b: 0x2fan,
  r: 0xc0n
}, {
  a: -0x3ddn,
  b: 0n,
  r: 0n
}, {
  a: -0x22n,
  b: 0n,
  r: 0n
}, {
  a: 0x59en,
  b: 0xe3n,
  r: 0x82n
}, {
  a: 0n,
  b: -0x89an,
  r: 0n
}, {
  a: 0x8n,
  b: 0xfn,
  r: 0x8n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xe53n,
  r: 0n
}, {
  a: -0x26n,
  b: 0n,
  r: 0n
}, {
  a: 0xban,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0x2bd8n,
  r: 0n
}, {
  a: 0n,
  b: -0xd0b8n,
  r: 0n
}, {
  a: -0x4a64n,
  b: 0n,
  r: 0n
}, {
  a: -0xfean,
  b: 0n,
  r: 0n
}, {
  a: 0x8a24n,
  b: 0x9n,
  r: 0n
}, {
  a: -0xc3n,
  b: -0x9n,
  r: -0xcbn
}, {
  a: 0x71an,
  b: -0x38n,
  r: 0x708n
}, {
  a: -0xcn,
  b: -0xd44n,
  r: -0xd4cn
}, {
  a: -0xf9cbn,
  b: 0x46cfn,
  r: 0x605n
}, {
  a: 0n,
  b: -0x2d4n,
  r: 0n
}, {
  a: 0xb23n,
  b: -0x505cn,
  r: 0xb20n
}, {
  a: 0xae3n,
  b: -0xbd1n,
  r: 0x23n
}, {
  a: 0n,
  b: 0x54aan,
  r: 0n
}, {
  a: 0xa56n,
  b: 0xcn,
  r: 0x4n
}, {
  a: 0x15bn,
  b: -0xf014n,
  r: 0x148n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x1n,
  b: 0x3c89n,
  r: 0x3c89n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x6n,
  b: 0xaen,
  r: 0xaan
}, {
  a: -0x5520n,
  b: -0xfn,
  r: -0x5520n
}, {
  a: -0x6c2n,
  b: 0x82n,
  r: 0x2n
}, {
  a: 0xfn,
  b: 0x37n,
  r: 0x7n
}, {
  a: -0x322n,
  b: 0x4n,
  r: 0x4n
}, {
  a: -0xa3e1n,
  b: -0xcn,
  r: -0xa3ecn
}, {
  a: 0xa19n,
  b: 0n,
  r: 0n
}, {
  a: 0xb07n,
  b: 0xac4n,
  r: 0xa04n
}, {
  a: 0x8fn,
  b: 0x69n,
  r: 0x9n
}, {
  a: -0x5775n,
  b: -0xdddn,
  r: -0x5ffdn
}, {
  a: 0x63dcn,
  b: -0xf1fn,
  r: 0x60c0n
}, {
  a: -0xdn,
  b: 0x4n,
  r: 0n
}, {
  a: -0x76n,
  b: -0xb7n,
  r: -0xf8n
}, {
  a: -0x4n,
  b: 0x1dc2n,
  r: 0x1dc0n
}, {
  a: 0xf2n,
  b: -0x927n,
  r: 0xd0n
}, {
  a: 0x4n,
  b: 0xan,
  r: 0n
}, {
  a: 0x49n,
  b: -0x6n,
  r: 0x48n
}, {
  a: 0n,
  b: 0xf49n,
  r: 0n
}, {
  a: -0x8n,
  b: 0n,
  r: 0n
}, {
  a: 0x34n,
  b: 0x645n,
  r: 0x4n
}, {
  a: 0xfcn,
  b: -0x2n,
  r: 0xfcn
}, {
  a: 0n,
  b: 0x57n,
  r: 0n
}, {
  a: 0x58a1n,
  b: 0x1ecbn,
  r: 0x1881n
}, {
  a: 0x3b1bn,
  b: 0x7bd6n,
  r: 0x3b12n
}, {
  a: 0n,
  b: -0xfn,
  r: 0n
}, {
  a: -0x74n,
  b: 0x9n,
  r: 0x8n
}, {
  a: -0xen,
  b: -0x2a14n,
  r: -0x2a20n
}, {
  a: 0xc30cn,
  b: -0x2n,
  r: 0xc30cn
}, {
  a: -0x8n,
  b: 0x7n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: -0xdan,
  r: 0n
}, {
  a: -0xb72n,
  b: -0x8c7n,
  r: -0xbf8n
}, {
  a: 0x98n,
  b: 0xfn,
  r: 0x8n
}, {
  a: 0n,
  b: 0x796n,
  r: 0n
}, {
  a: -0x764n,
  b: -0x3616n,
  r: -0x3778n
}, {
  a: 0x1n,
  b: -0x2cn,
  r: 0n
}, {
  a: -0x3bn,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xc8n,
  r: 0n
}, {
  a: 0x5n,
  b: 0n,
  r: 0n
}, {
  a: -0xen,
  b: -0x6328n,
  r: -0x6330n
}, {
  a: 0x2n,
  b: 0n,
  r: 0n
}, {
  a: 0x1f66n,
  b: 0n,
  r: 0n
}, {
  a: 0xe2n,
  b: -0xad3bn,
  r: 0xc0n
}, {
  a: 0x3e6n,
  b: -0x7n,
  r: 0x3e0n
}, {
  a: 0n,
  b: 0x8cn,
  r: 0n
}, {
  a: -0xecn,
  b: -0xan,
  r: -0xecn
}, {
  a: 0xcn,
  b: -0xa2n,
  r: 0xcn
}, {
  a: -0x5n,
  b: -0xb539n,
  r: -0xb53dn
}, {
  a: -0xcn,
  b: -0xcn,
  r: -0xcn
}, {
  a: 0x9dan,
  b: 0xe6n,
  r: 0xc2n
}, {
  a: -0x1en,
  b: -0x6n,
  r: -0x1en
}, {
  a: 0x3n,
  b: 0n,
  r: 0n
}, {
  a: 0x6d7n,
  b: -0x3n,
  r: 0x6d5n
}, {
  a: 0n,
  b: -0x2e3n,
  r: 0n
}, {
  a: 0n,
  b: 0x38n,
  r: 0n
}, {
  a: 0x2d0bn,
  b: -0x7dan,
  r: 0x2802n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x5d9bn,
  b: 0xb8a7n,
  r: 0x1883n
}, {
  a: 0x1a7bn,
  b: -0xbn,
  r: 0x1a71n
}, {
  a: 0x376bn,
  b: -0xfen,
  r: 0x3702n
}, {
  a: 0x5396n,
  b: 0x30n,
  r: 0x10n
}, {
  a: 0x7ffn,
  b: 0n,
  r: 0n
}, {
  a: 0x8d13n,
  b: 0x6n,
  r: 0x2n
}, {
  a: 0n,
  b: -0xan,
  r: 0n
}, {
  a: -0x7n,
  b: -0xfaen,
  r: -0xfb0n
}, {
  a: -0x602n,
  b: -0x2n,
  r: -0x602n
}, {
  a: 0xfn,
  b: -0x6b2n,
  r: 0xen
}, {
  a: 0n,
  b: 0xcn,
  r: 0n
}, {
  a: 0n,
  b: -0xf1n,
  r: 0n
}, {
  a: -0xf85fn,
  b: 0x6n,
  r: 0n
}, {
  a: 0n,
  b: 0xa0n,
  r: 0n
}, {
  a: 0x7n,
  b: 0xabn,
  r: 0x3n
}, {
  a: -0x946n,
  b: 0x9447n,
  r: 0x9402n
}, {
  a: 0x568bn,
  b: 0n,
  r: 0n
}, {
  a: -0xen,
  b: -0xcn,
  r: -0x10n
}, {
  a: -0x2n,
  b: -0x8n,
  r: -0x8n
}, {
  a: 0x103an,
  b: -0x96n,
  r: 0x102an
}, {
  a: 0x7n,
  b: -0x1dn,
  r: 0x3n
}, {
  a: -0xd60cn,
  b: 0n,
  r: 0n
}, {
  a: 0xffcan,
  b: -0xcn,
  r: 0xffc0n
}, {
  a: -0xd3an,
  b: -0xa9n,
  r: -0xdban
}, {
  a: -0x3n,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0xe1n,
  b: -0xbb7fn,
  r: 0x81n
}, {
  a: 0n,
  b: 0x8n,
  r: 0n
}, {
  a: 0n,
  b: 0x2d5n,
  r: 0n
}, {
  a: 0xef72n,
  b: 0xa7fcn,
  r: 0xa770n
}, {
  a: 0n,
  b: 0xafn,
  r: 0n
}, {
  a: 0x6cn,
  b: 0x6n,
  r: 0x4n
}, {
  a: -0x9n,
  b: 0x91bn,
  r: 0x913n
}, {
  a: 0n,
  b: 0xf7n,
  r: 0n
}, {
  a: -0x7bn,
  b: -0x2an,
  r: -0x7cn
}, {
  a: 0n,
  b: 0xf3bn,
  r: 0n
}, {
  a: -0x824n,
  b: 0xen,
  r: 0xcn
}, {
  a: -0x9n,
  b: 0n,
  r: 0n
}, {
  a: 0xc143n,
  b: -0x5n,
  r: 0xc143n
}, {
  a: -0xba0n,
  b: 0n,
  r: 0n
}, {
  a: -0x7215n,
  b: -0xf42n,
  r: -0x7f56n
}, {
  a: 0xf7dn,
  b: -0x79n,
  r: 0xf05n
}, {
  a: -0x91n,
  b: 0n,
  r: 0n
}, {
  a: -0x9f09n,
  b: -0x8n,
  r: -0x9f10n
}, {
  a: -0x8e21n,
  b: 0x1232n,
  r: 0x1012n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xf4n,
  b: -0xfn,
  r: 0xf0n
}, {
  a: -0x20an,
  b: 0x350n,
  r: 0x150n
}];

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