// 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: 0x72n,
  r: 0x72n
}, {
  a: -0xe031n,
  b: 0xfb3n,
  r: -0xef84n
}, {
  a: -0xf2adn,
  b: -0x26n,
  r: 0xf289n
}, {
  a: 0x591en,
  b: 0n,
  r: 0x591en
}, {
  a: 0x9852n,
  b: 0n,
  r: 0x9852n
}, {
  a: -0x9en,
  b: 0xc195n,
  r: -0xc109n
}, {
  a: -0xc7n,
  b: -0x9b1n,
  r: 0x976n
}, {
  a: 0n,
  b: 0xan,
  r: 0xan
}, {
  a: 0x40n,
  b: -0xa6n,
  r: -0xe6n
}, {
  a: 0xfcn,
  b: -0xbn,
  r: -0xf7n
}, {
  a: 0xfn,
  b: 0n,
  r: 0xfn
}, {
  a: 0xdf3dn,
  b: 0x1n,
  r: 0xdf3cn
}, {
  a: 0xac4n,
  b: -0x8f2n,
  r: -0x236n
}, {
  a: 0x3en,
  b: -0x6fabn,
  r: -0x6f95n
}, {
  a: -0xen,
  b: -0x3n,
  r: 0xfn
}, {
  a: 0xdn,
  b: -0xc56n,
  r: -0xc59n
}, {
  a: -0x6n,
  b: 0xcd29n,
  r: -0xcd2dn
}, {
  a: 0x14n,
  b: -0xf66n,
  r: -0xf72n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0xcc2n,
  b: 0xfb7n,
  r: 0x375n
}, {
  a: -0x3fn,
  b: -0xfn,
  r: 0x30n
}, {
  a: 0x5n,
  b: -0xeben,
  r: -0xeb9n
}, {
  a: -0x627cn,
  b: -0xb0n,
  r: 0x62d4n
}, {
  a: -0x752n,
  b: 0xen,
  r: -0x760n
}, {
  a: 0n,
  b: -0x199n,
  r: -0x199n
}, {
  a: 0x60n,
  b: -0xa1n,
  r: -0xc1n
}, {
  a: 0x5cn,
  b: 0x2n,
  r: 0x5en
}, {
  a: -0x781n,
  b: 0n,
  r: -0x781n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x4320n,
  b: -0xb667n,
  r: -0xf547n
}, {
  a: -0x5an,
  b: -0xbn,
  r: 0x53n
}, {
  a: -0x3n,
  b: -0xda5n,
  r: 0xda6n
}, {
  a: -0xf8n,
  b: 0x16n,
  r: -0xe2n
}, {
  a: -0x422fn,
  b: -0x350bn,
  r: 0x7724n
}, {
  a: 0n,
  b: -0xe5n,
  r: -0xe5n
}, {
  a: 0n,
  b: 0x2n,
  r: 0x2n
}, {
  a: 0xa1fn,
  b: 0n,
  r: 0xa1fn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xdf6n,
  b: 0n,
  r: -0xdf6n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x53e7n,
  b: -0xf86n,
  r: 0x5c63n
}, {
  a: -0x54afn,
  b: 0x2n,
  r: -0x54adn
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: -0x35bn,
  b: -0x96d1n,
  r: 0x958an
}, {
  a: 0xf6n,
  b: 0x4ccn,
  r: 0x43an
}, {
  a: 0n,
  b: 0x28e2n,
  r: 0x28e2n
}, {
  a: -0x3fe8n,
  b: 0n,
  r: -0x3fe8n
}, {
  a: -0xcan,
  b: -0x4d73n,
  r: 0x4dbbn
}, {
  a: 0x71n,
  b: -0x7n,
  r: -0x78n
}, {
  a: 0n,
  b: -0x6n,
  r: -0x6n
}, {
  a: 0xfn,
  b: 0x89n,
  r: 0x86n
}, {
  a: 0n,
  b: -0xd98n,
  r: -0xd98n
}, {
  a: 0x2875n,
  b: 0xf28dn,
  r: 0xdaf8n
}, {
  a: -0x7adn,
  b: 0xa83bn,
  r: -0xaf98n
}, {
  a: -0xf07n,
  b: -0x1n,
  r: 0xf06n
}, {
  a: 0x35a9n,
  b: -0x1n,
  r: -0x35aan
}, {
  a: -0x64n,
  b: 0n,
  r: -0x64n
}, {
  a: -0xa28n,
  b: 0xc74n,
  r: -0x654n
}, {
  a: 0x10dn,
  b: -0x7n,
  r: -0x10cn
}, {
  a: 0xd794n,
  b: 0x98cn,
  r: 0xde18n
}, {
  a: 0xb41n,
  b: -0x334an,
  r: -0x3809n
}, {
  a: 0x40bn,
  b: 0n,
  r: 0x40bn
}, {
  a: -0x9165n,
  b: -0x8e1n,
  r: 0x9984n
}, {
  a: -0x8n,
  b: 0x31dn,
  r: -0x31bn
}, {
  a: 0x4bn,
  b: 0x75n,
  r: 0x3en
}, {
  a: -0x4n,
  b: -0x1267n,
  r: 0x1265n
}, {
  a: 0x5cn,
  b: -0x9722n,
  r: -0x977en
}, {
  a: 0x9n,
  b: -0x287cn,
  r: -0x2873n
}, {
  a: 0n,
  b: -0xeen,
  r: -0xeen
}, {
  a: 0n,
  b: -0xbcn,
  r: -0xbcn
}, {
  a: 0x2n,
  b: 0xa3n,
  r: 0xa1n
}, {
  a: -0xf1fen,
  b: 0x4n,
  r: -0xf1fan
}, {
  a: -0xd72n,
  b: 0xf7n,
  r: -0xd87n
}, {
  a: 0x72dn,
  b: 0xd3cn,
  r: 0xa11n
}, {
  a: 0x45bcn,
  b: 0n,
  r: 0x45bcn
}, {
  a: -0x288n,
  b: -0xb6a0n,
  r: 0xb418n
}, {
  a: -0xcn,
  b: 0xe84n,
  r: -0xe90n
}, {
  a: -0x9aen,
  b: 0x902en,
  r: -0x9984n
}, {
  a: 0xan,
  b: 0xbn,
  r: 0x1n
}, {
  a: 0n,
  b: 0xcf0an,
  r: 0xcf0an
}, {
  a: 0xffn,
  b: 0n,
  r: 0xffn
}, {
  a: 0n,
  b: -0x7f5n,
  r: -0x7f5n
}, {
  a: 0xan,
  b: -0x60e0n,
  r: -0x60d6n
}, {
  a: -0xfc8n,
  b: -0xafn,
  r: 0xf69n
}, {
  a: -0xdb0an,
  b: -0x8afn,
  r: 0xd3a7n
}, {
  a: -0xcn,
  b: -0x47f5n,
  r: 0x47ffn
}, {
  a: 0n,
  b: -0x8fn,
  r: -0x8fn
}, {
  a: -0x53e6n,
  b: -0xe7n,
  r: 0x5303n
}, {
  a: -0x2e2n,
  b: 0x7392n,
  r: -0x7174n
}, {
  a: 0xe43n,
  b: 0x9ean,
  r: 0x7a9n
}, {
  a: -0x93n,
  b: -0xa791n,
  r: 0xa702n
}, {
  a: 0x8c71n,
  b: 0n,
  r: 0x8c71n
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: -0x51en,
  b: 0n,
  r: -0x51en
}, {
  a: -0x4n,
  b: -0xf6fn,
  r: 0xf6dn
}, {
  a: 0n,
  b: -0xd2n,
  r: -0xd2n
}, {
  a: -0x1n,
  b: 0xb9a3n,
  r: -0xb9a4n
}, {
  a: -0xcn,
  b: 0n,
  r: -0xcn
}, {
  a: 0n,
  b: 0x9n,
  r: 0x9n
}, {
  a: 0xen,
  b: -0x6673n,
  r: -0x667dn
}, {
  a: 0x84n,
  b: -0xd1n,
  r: -0x55n
}, {
  a: -0xabn,
  b: 0x7bn,
  r: -0xd2n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x709n,
  b: 0xa23an,
  r: 0xa533n
}, {
  a: -0x5n,
  b: 0x6b69n,
  r: -0x6b6en
}, {
  a: -0x8n,
  b: -0x24bfn,
  r: 0x24b9n
}, {
  a: -0x3e78n,
  b: 0n,
  r: -0x3e78n
}, {
  a: 0xff2n,
  b: -0xfen,
  r: -0xf10n
}, {
  a: -0xc37n,
  b: -0x5699n,
  r: 0x5aaen
}, {
  a: 0x9bn,
  b: -0x7n,
  r: -0x9en
}, {
  a: -0x651n,
  b: -0xbn,
  r: 0x65an
}, {
  a: 0xc9dn,
  b: -0x16cn,
  r: -0xdf7n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: -0xa0n,
  b: 0x2fn,
  r: -0xb1n
}, {
  a: 0x5n,
  b: -0x62d8n,
  r: -0x62d3n
}, {
  a: 0x13cn,
  b: -0x415cn,
  r: -0x4068n
}, {
  a: -0x7n,
  b: 0n,
  r: -0x7n
}, {
  a: 0x9ae7n,
  b: -0x42n,
  r: -0x9aa7n
}, {
  a: -0x2en,
  b: -0x8n,
  r: 0x2an
}, {
  a: -0x68an,
  b: 0x4a07n,
  r: -0x4c8fn
}, {
  a: 0n,
  b: -0xa7n,
  r: -0xa7n
}, {
  a: -0xde1n,
  b: 0x87n,
  r: -0xd68n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xbn,
  b: 0x6n,
  r: 0xdn
}, {
  a: 0n,
  b: 0xbcn,
  r: 0xbcn
}, {
  a: 0xec7n,
  b: 0x9n,
  r: 0xecen
}, {
  a: 0x774bn,
  b: -0x9becn,
  r: -0xeca1n
}, {
  a: 0xdf1n,
  b: 0xd25n,
  r: 0xd4n
}, {
  a: 0x52d2n,
  b: 0n,
  r: 0x52d2n
}, {
  a: 0n,
  b: -0x1fn,
  r: -0x1fn
}, {
  a: -0xafn,
  b: 0n,
  r: -0xafn
}, {
  a: -0x74edn,
  b: 0n,
  r: -0x74edn
}, {
  a: 0n,
  b: -0x418n,
  r: -0x418n
}, {
  a: -0x44n,
  b: 0x1d49n,
  r: -0x1d0bn
}, {
  a: 0xeffn,
  b: 0xacan,
  r: 0x435n
}, {
  a: -0x4en,
  b: 0xa7f8n,
  r: -0xa7b6n
}, {
  a: -0x5n,
  b: 0n,
  r: -0x5n
}, {
  a: 0xc0n,
  b: 0n,
  r: 0xc0n
}, {
  a: 0xc3fn,
  b: 0n,
  r: 0xc3fn
}, {
  a: 0xb213n,
  b: 0x23n,
  r: 0xb230n
}, {
  a: 0n,
  b: 0x5d4n,
  r: 0x5d4n
}, {
  a: 0xcdn,
  b: 0xen,
  r: 0xc3n
}, {
  a: 0xen,
  b: 0x53n,
  r: 0x5dn
}, {
  a: 0x28n,
  b: 0n,
  r: 0x28n
}, {
  a: 0xfbn,
  b: -0x17n,
  r: -0xeen
}, {
  a: -0x4n,
  b: -0xe2fdn,
  r: 0xe2ffn
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: -0x4en,
  b: 0x907n,
  r: -0x94bn
}, {
  a: -0xfn,
  b: 0xadn,
  r: -0xa4n
}, {
  a: -0x6en,
  b: 0n,
  r: -0x6en
}, {
  a: -0x9512n,
  b: 0x74n,
  r: -0x9566n
}, {
  a: -0xebf4n,
  b: 0n,
  r: -0xebf4n
}, {
  a: 0x6n,
  b: 0x6b0n,
  r: 0x6b6n
}, {
  a: 0n,
  b: -0x5f8n,
  r: -0x5f8n
}, {
  a: -0xe3n,
  b: 0x3324n,
  r: -0x33c7n
}, {
  a: 0n,
  b: -0x814n,
  r: -0x814n
}, {
  a: 0x91n,
  b: -0xab91n,
  r: -0xab02n
}, {
  a: 0n,
  b: 0xe129n,
  r: 0xe129n
}, {
  a: -0x94fn,
  b: -0xb7bn,
  r: 0x234n
}, {
  a: 0n,
  b: 0x674n,
  r: 0x674n
}, {
  a: 0n,
  b: 0xaee3n,
  r: 0xaee3n
}, {
  a: 0n,
  b: -0x99cen,
  r: -0x99cen
}, {
  a: 0x82n,
  b: 0n,
  r: 0x82n
}, {
  a: -0x7n,
  b: 0x56n,
  r: -0x51n
}, {
  a: 0xdn,
  b: -0x4970n,
  r: -0x4963n
}, {
  a: -0x7n,
  b: -0xf190n,
  r: 0xf189n
}, {
  a: 0n,
  b: 0xd5n,
  r: 0xd5n
}, {
  a: 0x203n,
  b: -0xe2n,
  r: -0x2e3n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x34bn,
  r: 0x34bn
}, {
  a: 0xen,
  b: 0x9fe7n,
  r: 0x9fe9n
}, {
  a: -0x49fn,
  b: -0xcedn,
  r: 0x872n
}, {
  a: 0n,
  b: 0x9c8n,
  r: 0x9c8n
}, {
  a: 0x456n,
  b: 0x7201n,
  r: 0x7657n
}, {
  a: -0x5fn,
  b: -0xa19fn,
  r: 0xa1c0n
}, {
  a: 0xe949n,
  b: 0n,
  r: 0xe949n
}, {
  a: -0x31dn,
  b: -0x9ddn,
  r: 0xac0n
}, {
  a: 0n,
  b: -0x76n,
  r: -0x76n
}, {
  a: -0x1n,
  b: -0x2e03n,
  r: 0x2e02n
}, {
  a: 0n,
  b: -0x3n,
  r: -0x3n
}, {
  a: 0xbc5n,
  b: -0x2dn,
  r: -0xbean
}, {
  a: 0x4b2dn,
  b: 0x31n,
  r: 0x4b1cn
}, {
  a: 0xb90n,
  b: 0x1b6n,
  r: 0xa26n
}, {
  a: -0xe3n,
  b: -0x52n,
  r: 0xb3n
}, {
  a: -0x577n,
  b: 0n,
  r: -0x577n
}, {
  a: -0xc94n,
  b: 0n,
  r: -0xc94n
}, {
  a: 0x6n,
  b: 0xcn,
  r: 0xan
}, {
  a: 0n,
  b: 0x8ebn,
  r: 0x8ebn
}, {
  a: -0x19n,
  b: 0xf285n,
  r: -0xf29en
}, {
  a: 0n,
  b: -0xe8n,
  r: -0xe8n
}, {
  a: 0xffa4n,
  b: 0n,
  r: 0xffa4n
}, {
  a: 0x5n,
  b: -0xb1n,
  r: -0xb6n
}, {
  a: -0x290n,
  b: 0xc7dbn,
  r: -0xc555n
}, {
  a: 0xc20n,
  b: -0x581n,
  r: -0x9a1n
}, {
  a: -0x4n,
  b: -0xdc6n,
  r: 0xdc6n
}, {
  a: 0x465n,
  b: 0x3860n,
  r: 0x3c05n
}, {
  a: -0x9n,
  b: 0xen,
  r: -0x7n
}, {
  a: 0x3n,
  b: 0x54n,
  r: 0x57n
}, {
  a: 0x4n,
  b: -0x56cn,
  r: -0x570n
}, {
  a: 0xffn,
  b: -0x84n,
  r: -0x7dn
}, {
  a: 0n,
  b: 0x3c7fn,
  r: 0x3c7fn
}, {
  a: 0n,
  b: 0xbn,
  r: 0xbn
}, {
  a: -0x74e9n,
  b: 0x3n,
  r: -0x74ecn
}, {
  a: 0xd99n,
  b: 0n,
  r: 0xd99n
}, {
  a: -0x245n,
  b: 0xc9n,
  r: -0x28en
}, {
  a: 0n,
  b: -0x8n,
  r: -0x8n
}, {
  a: 0xd24n,
  b: 0x6970n,
  r: 0x6454n
}, {
  a: -0xabn,
  b: 0xecn,
  r: -0x47n
}, {
  a: -0x21n,
  b: 0n,
  r: -0x21n
}, {
  a: -0x7762n,
  b: -0x7en,
  r: 0x771cn
}, {
  a: 0x33n,
  b: -0xbn,
  r: -0x3an
}, {
  a: -0xd78n,
  b: 0x34cn,
  r: -0xe3cn
}, {
  a: 0xcf88n,
  b: -0x5281n,
  r: -0x9d09n
}, {
  a: -0x79en,
  b: 0x8b5an,
  r: -0x8cc8n
}, {
  a: 0n,
  b: -0x83b1n,
  r: -0x83b1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0xce0n,
  r: 0xce0n
}, {
  a: -0xc11en,
  b: -0x3ecen,
  r: 0xffd0n
}, {
  a: -0x1n,
  b: 0xd63n,
  r: -0xd64n
}, {
  a: 0x5a9n,
  b: 0n,
  r: 0x5a9n
}, {
  a: -0xa83n,
  b: 0n,
  r: -0xa83n
}, {
  a: -0x82n,
  b: -0xef1n,
  r: 0xe71n
}, {
  a: -0xc291n,
  b: -0x80n,
  r: 0xc2efn
}, {
  a: 0xe333n,
  b: 0x741n,
  r: 0xe472n
}, {
  a: -0x73n,
  b: -0xfen,
  r: 0x8fn
}, {
  a: -0xcabn,
  b: -0xfen,
  r: 0xc57n
}, {
  a: -0x3cen,
  b: -0xe7n,
  r: 0x32bn
}, {
  a: -0xc568n,
  b: -0x622n,
  r: 0xc346n
}, {
  a: 0xe00n,
  b: -0xb5n,
  r: -0xeb5n
}, {
  a: -0xe25n,
  b: -0xabn,
  r: 0xe8en
}, {
  a: -0xan,
  b: 0n,
  r: -0xan
}, {
  a: -0xef3n,
  b: -0x25en,
  r: 0xcafn
}, {
  a: -0xcddn,
  b: -0x68n,
  r: 0xcbbn
}, {
  a: 0x138n,
  b: 0xe9c4n,
  r: 0xe8fcn
}, {
  a: -0x86n,
  b: 0x16n,
  r: -0x94n
}, {
  a: 0x9dn,
  b: 0n,
  r: 0x9dn
}, {
  a: 0n,
  b: 0x9fn,
  r: 0x9fn
}, {
  a: -0x70n,
  b: 0x208n,
  r: -0x268n
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: -0x5c17n,
  b: 0n,
  r: -0x5c17n
}, {
  a: 0x91n,
  b: 0n,
  r: 0x91n
}, {
  a: -0x196fn,
  b: 0n,
  r: -0x196fn
}, {
  a: 0x617n,
  b: -0xf6n,
  r: -0x6e3n
}, {
  a: -0x529n,
  b: -0x14n,
  r: 0x53bn
}, {
  a: -0x5n,
  b: 0xb063n,
  r: -0xb068n
}, {
  a: 0x21n,
  b: 0x6n,
  r: 0x27n
}, {
  a: -0xd5n,
  b: 0x9e1n,
  r: -0x936n
}, {
  a: 0xbn,
  b: 0n,
  r: 0xbn
}, {
  a: -0xen,
  b: 0x1n,
  r: -0xdn
}, {
  a: 0x1cn,
  b: 0n,
  r: 0x1cn
}, {
  a: 0x7en,
  b: 0n,
  r: 0x7en
}, {
  a: 0x2f08n,
  b: 0xbn,
  r: 0x2f03n
}, {
  a: -0x8n,
  b: 0x586en,
  r: -0x586an
}, {
  a: -0xa41n,
  b: 0xab05n,
  r: -0xa146n
}, {
  a: 0x9cn,
  b: 0x69n,
  r: 0xf5n
}, {
  a: 0n,
  b: 0x927n,
  r: 0x927n
}, {
  a: 0n,
  b: 0x685n,
  r: 0x685n
}, {
  a: -0xeen,
  b: -0xan,
  r: 0xe4n
}, {
  a: 0n,
  b: -0xe0n,
  r: -0xe0n
}, {
  a: 0n,
  b: -0x979n,
  r: -0x979n
}, {
  a: -0x2abn,
  b: 0xfc4n,
  r: -0xd6fn
}, {
  a: 0x2dcn,
  b: -0xa2b4n,
  r: -0xa070n
}, {
  a: 0n,
  b: 0x8an,
  r: 0x8an
}, {
  a: -0x95bdn,
  b: 0n,
  r: -0x95bdn
}, {
  a: -0x7f89n,
  b: -0x85n,
  r: 0x7f0cn
}, {
  a: -0xan,
  b: 0n,
  r: -0xan
}, {
  a: 0x8039n,
  b: -0x606n,
  r: -0x863dn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xa6dn,
  b: 0x8ec4n,
  r: -0x84a9n
}, {
  a: 0xb7n,
  b: 0n,
  r: 0xb7n
}, {
  a: 0x5c2an,
  b: 0xcdn,
  r: 0x5ce7n
}, {
  a: 0x58n,
  b: 0n,
  r: 0x58n
}, {
  a: -0x5c98n,
  b: 0n,
  r: -0x5c98n
}, {
  a: 0xc5n,
  b: 0x12en,
  r: 0x1ebn
}, {
  a: 0n,
  b: -0x9252n,
  r: -0x9252n
}, {
  a: 0x1n,
  b: 0x13n,
  r: 0x12n
}, {
  a: 0n,
  b: 0xfn,
  r: 0xfn
}, {
  a: -0x2n,
  b: -0x7e54n,
  r: 0x7e52n
}, {
  a: -0x29n,
  b: 0n,
  r: -0x29n
}, {
  a: 0x2cen,
  b: 0x8n,
  r: 0x2c6n
}, {
  a: -0xb1n,
  b: 0xa7en,
  r: -0xacfn
}, {
  a: -0x8an,
  b: -0xan,
  r: 0x80n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xe33an,
  b: 0x896n,
  r: -0xebb0n
}, {
  a: 0x5n,
  b: -0xecen,
  r: -0xec9n
}, {
  a: 0xcc7n,
  b: 0xe6ebn,
  r: 0xea2cn
}, {
  a: 0xbn,
  b: 0x31n,
  r: 0x3an
}, {
  a: -0x78n,
  b: -0x60n,
  r: 0x28n
}, {
  a: -0x55n,
  b: 0x58c7n,
  r: -0x5894n
}, {
  a: -0x24a9n,
  b: 0x60n,
  r: -0x24c9n
}, {
  a: 0x2n,
  b: -0xd2n,
  r: -0xd4n
}, {
  a: -0x2d11n,
  b: 0x3c88n,
  r: -0x1199n
}, {
  a: -0xfen,
  b: -0x8cn,
  r: 0x76n
}, {
  a: 0x73n,
  b: 0xaban,
  r: 0xac9n
}, {
  a: -0xean,
  b: 0n,
  r: -0xean
}, {
  a: 0xd0n,
  b: 0n,
  r: 0xd0n
}, {
  a: 0xdec6n,
  b: 0n,
  r: 0xdec6n
}, {
  a: 0xdn,
  b: -0x1n,
  r: -0xen
}, {
  a: 0xen,
  b: 0n,
  r: 0xen
}, {
  a: -0xfn,
  b: 0x6n,
  r: -0x9n
}, {
  a: 0n,
  b: 0x5b74n,
  r: 0x5b74n
}, {
  a: 0n,
  b: -0xb1n,
  r: -0xb1n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: 0xa2n,
  b: -0x309en,
  r: -0x3040n
}, {
  a: -0xabn,
  b: -0x67fcn,
  r: 0x6751n
}, {
  a: 0x9a4n,
  b: 0n,
  r: 0x9a4n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: -0xd4fn,
  b: 0n,
  r: -0xd4fn
}, {
  a: -0xe51n,
  b: -0x9e29n,
  r: 0x9078n
}, {
  a: -0x2n,
  b: 0x56bn,
  r: -0x56bn
}, {
  a: -0xb0an,
  b: 0x5ecn,
  r: -0xee6n
}, {
  a: 0x9an,
  b: 0xc6n,
  r: 0x5cn
}, {
  a: 0x512n,
  b: -0x5an,
  r: -0x54cn
}, {
  a: 0x31aan,
  b: -0xaean,
  r: -0x3b44n
}, {
  a: -0xd8en,
  b: 0x6n,
  r: -0xd8cn
}, {
  a: -0xdn,
  b: -0xdn,
  r: 0n
}, {
  a: 0x9e44n,
  b: -0x8n,
  r: -0x9e44n
}, {
  a: 0n,
  b: -0x462n,
  r: -0x462n
}, {
  a: 0n,
  b: 0x3n,
  r: 0x3n
}, {
  a: -0x8n,
  b: -0xa22n,
  r: 0xa26n
}, {
  a: -0x6644n,
  b: 0x73en,
  r: -0x617en
}, {
  a: 0n,
  b: -0x73n,
  r: -0x73n
}, {
  a: 0xe67n,
  b: 0xe7en,
  r: 0x19n
}, {
  a: -0x701n,
  b: -0x5n,
  r: 0x704n
}, {
  a: -0x3n,
  b: -0x42n,
  r: 0x43n
}, {
  a: -0x7bfen,
  b: 0xan,
  r: -0x7bf8n
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: 0n,
  b: -0x6e3n,
  r: -0x6e3n
}, {
  a: 0x7n,
  b: -0x61dn,
  r: -0x61cn
}, {
  a: 0x96dn,
  b: -0x142an,
  r: -0x1d45n
}, {
  a: -0x3n,
  b: -0x907bn,
  r: 0x9078n
}, {
  a: -0x30n,
  b: 0n,
  r: -0x30n
}, {
  a: 0xa53n,
  b: -0x1ccn,
  r: -0xb99n
}, {
  a: 0xdn,
  b: -0x4abn,
  r: -0x4a8n
}, {
  a: 0xff8an,
  b: 0x6n,
  r: 0xff8cn
}, {
  a: -0x9233n,
  b: 0n,
  r: -0x9233n
}, {
  a: -0xe77fn,
  b: 0n,
  r: -0xe77fn
}, {
  a: -0x5556n,
  b: -0x5n,
  r: 0x5551n
}, {
  a: 0x7dcn,
  b: 0n,
  r: 0x7dcn
}, {
  a: -0xa3n,
  b: -0xban,
  r: 0x1bn
}, {
  a: 0x6n,
  b: -0x335n,
  r: -0x333n
}, {
  a: 0x5b5n,
  b: 0xfaan,
  r: 0xa1fn
}, {
  a: -0x41dfn,
  b: 0n,
  r: -0x41dfn
}, {
  a: -0x620n,
  b: 0xee0n,
  r: -0x900n
}, {
  a: -0x9d90n,
  b: 0xb0fen,
  r: -0x2d72n
}, {
  a: 0x5cd9n,
  b: 0xen,
  r: 0x5cd7n
}, {
  a: 0n,
  b: -0xaean,
  r: -0xaean
}, {
  a: 0xan,
  b: 0n,
  r: 0xan
}, {
  a: -0xc4n,
  b: -0x1b8n,
  r: 0x174n
}, {
  a: 0n,
  b: -0x5n,
  r: -0x5n
}, {
  a: -0x542n,
  b: -0xa34fn,
  r: 0xa60fn
}, {
  a: -0x8f7n,
  b: -0x93n,
  r: 0x864n
}, {
  a: 0n,
  b: -0xdf0n,
  r: -0xdf0n
}, {
  a: 0x99n,
  b: -0x1en,
  r: -0x85n
}, {
  a: 0xecn,
  b: 0x582fn,
  r: 0x58c3n
}, {
  a: -0x56n,
  b: -0x3n,
  r: 0x57n
}, {
  a: 0x94n,
  b: -0xd4n,
  r: -0x48n
}, {
  a: -0xe8n,
  b: -0x35an,
  r: 0x3ben
}, {
  a: 0n,
  b: 0xc4n,
  r: 0xc4n
}, {
  a: -0x58fbn,
  b: 0x4n,
  r: -0x58ffn
}, {
  a: -0x5n,
  b: 0x149fn,
  r: -0x149cn
}, {
  a: 0n,
  b: 0x9581n,
  r: 0x9581n
}, {
  a: -0x8a1n,
  b: -0x266dn,
  r: 0x2eccn
}, {
  a: -0xe57n,
  b: 0n,
  r: -0xe57n
}, {
  a: -0x2n,
  b: 0x4249n,
  r: -0x4249n
}, {
  a: 0x9n,
  b: 0x25n,
  r: 0x2cn
}, {
  a: 0n,
  b: 0xb3n,
  r: 0xb3n
}, {
  a: 0xbdbn,
  b: 0n,
  r: 0xbdbn
}, {
  a: 0x4ben,
  b: 0n,
  r: 0x4ben
}, {
  a: 0xa3d2n,
  b: 0x4a2n,
  r: 0xa770n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x5e4n,
  r: 0x5e4n
}, {
  a: -0xcc74n,
  b: 0x8n,
  r: -0xcc7cn
}, {
  a: -0x16dn,
  b: -0xb968n,
  r: 0xb80bn
}, {
  a: -0xefn,
  b: 0n,
  r: -0xefn
}, {
  a: -0x283n,
  b: 0x207n,
  r: -0x86n
}, {
  a: 0xdf9n,
  b: -0x9ea2n,
  r: -0x9359n
}, {
  a: -0x89n,
  b: 0n,
  r: -0x89n
}, {
  a: 0xf28en,
  b: 0xan,
  r: 0xf284n
}, {
  a: -0x22n,
  b: 0x94n,
  r: -0xb6n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: 0xcn,
  b: -0xf15n,
  r: -0xf19n
}, {
  a: 0x20n,
  b: 0xc75n,
  r: 0xc55n
}, {
  a: -0x4dbn,
  b: -0x4n,
  r: 0x4d9n
}, {
  a: 0x914n,
  b: -0x48an,
  r: -0xd9en
}, {
  a: 0x78f0n,
  b: 0x6801n,
  r: 0x10f1n
}, {
  a: 0x9d66n,
  b: -0x7n,
  r: -0x9d61n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x1c65n,
  b: -0xe2n,
  r: 0x1c85n
}, {
  a: 0x8n,
  b: -0x3n,
  r: -0xbn
}, {
  a: -0xdn,
  b: 0n,
  r: -0xdn
}, {
  a: 0n,
  b: -0x4en,
  r: -0x4en
}, {
  a: -0xa3d7n,
  b: 0n,
  r: -0xa3d7n
}, {
  a: 0xbn,
  b: 0x8c0n,
  r: 0x8cbn
}, {
  a: -0x27n,
  b: 0x15n,
  r: -0x34n
}, {
  a: 0n,
  b: 0x2bn,
  r: 0x2bn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x61aan,
  b: 0xa07cn,
  r: 0xc1d6n
}, {
  a: 0xaa4n,
  b: -0x9n,
  r: -0xaadn
}, {
  a: -0xan,
  b: 0x9db9n,
  r: -0x9db1n
}, {
  a: -0xfn,
  b: -0xfn,
  r: 0n
}, {
  a: 0xd24n,
  b: 0x59cbn,
  r: 0x54efn
}, {
  a: 0n,
  b: -0x1fn,
  r: -0x1fn
}, {
  a: 0x85cfn,
  b: -0x285an,
  r: -0xad97n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x4n,
  b: 0xf0bcn,
  r: -0xf0c0n
}, {
  a: 0x5c2n,
  b: 0n,
  r: 0x5c2n
}, {
  a: -0x1dan,
  b: 0x502n,
  r: -0x4dcn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x1000n,
  b: 0n,
  r: 0x1000n
}, {
  a: -0xa74n,
  b: 0xfebn,
  r: -0x599n
}, {
  a: 0x9en,
  b: 0xben,
  r: 0x20n
}, {
  a: 0n,
  b: -0x710n,
  r: -0x710n
}, {
  a: -0x2ben,
  b: 0xb1dn,
  r: -0x9a1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x60n,
  b: -0x24n,
  r: 0x7cn
}, {
  a: -0x9n,
  b: -0x1n,
  r: 0x8n
}, {
  a: -0x7f1n,
  b: -0x6n,
  r: 0x7f5n
}, {
  a: 0xdn,
  b: 0xd76n,
  r: 0xd7bn
}, {
  a: 0n,
  b: 0x6c33n,
  r: 0x6c33n
}, {
  a: 0xb6n,
  b: 0x9f9n,
  r: 0x94fn
}, {
  a: -0x2n,
  b: 0xf0n,
  r: -0xf2n
}, {
  a: 0x5en,
  b: -0x2cn,
  r: -0x76n
}, {
  a: -0x19n,
  b: -0x33fn,
  r: 0x326n
}, {
  a: -0xb9cen,
  b: 0x39n,
  r: -0xb9f5n
}, {
  a: -0x59f0n,
  b: 0xc6n,
  r: -0x592an
}, {
  a: 0xcn,
  b: -0x1n,
  r: -0xdn
}, {
  a: 0x75an,
  b: 0xd6n,
  r: 0x78cn
}, {
  a: -0xe195n,
  b: 0xbcen,
  r: -0xea5bn
}, {
  a: 0n,
  b: 0x535n,
  r: 0x535n
}, {
  a: 0xe745n,
  b: 0n,
  r: 0xe745n
}, {
  a: 0x35n,
  b: -0x17n,
  r: -0x24n
}, {
  a: 0x8n,
  b: 0xeen,
  r: 0xe6n
}, {
  a: -0x479en,
  b: 0n,
  r: -0x479en
}, {
  a: 0n,
  b: 0xc4dn,
  r: 0xc4dn
}, {
  a: -0x94n,
  b: -0x8becn,
  r: 0x8b78n
}, {
  a: 0xdcfn,
  b: 0x22n,
  r: 0xdedn
}, {
  a: -0x7b72n,
  b: -0xd20n,
  r: 0x766en
}, {
  a: 0x6afn,
  b: 0x49n,
  r: 0x6e6n
}, {
  a: -0xd608n,
  b: -0xdn,
  r: 0xd60bn
}, {
  a: -0x8e4an,
  b: 0xaan,
  r: -0x8ee4n
}, {
  a: 0xf2a1n,
  b: 0xd93n,
  r: 0xff32n
}, {
  a: 0x6c2cn,
  b: 0x4137n,
  r: 0x2d1bn
}, {
  a: -0x1ba9n,
  b: -0x1an,
  r: 0x1bb1n
}, {
  a: 0xb2cn,
  b: 0n,
  r: 0xb2cn
}, {
  a: -0x817n,
  b: 0x92een,
  r: -0x9af9n
}, {
  a: 0xd1fn,
  b: -0xa20n,
  r: -0x701n
}, {
  a: 0x45n,
  b: -0x3n,
  r: -0x48n
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: 0xa90n,
  b: -0x92n,
  r: -0xa02n
}, {
  a: -0x317n,
  b: 0xfn,
  r: -0x31an
}, {
  a: 0x2e7n,
  b: -0xefn,
  r: -0x20an
}, {
  a: 0x8965n,
  b: 0n,
  r: 0x8965n
}, {
  a: 0n,
  b: 0x34n,
  r: 0x34n
}, {
  a: 0n,
  b: 0xcn,
  r: 0xcn
}, {
  a: -0xan,
  b: -0x5n,
  r: 0xdn
}, {
  a: -0xban,
  b: -0x6n,
  r: 0xbcn
}, {
  a: -0xab19n,
  b: -0x6n,
  r: 0xab1dn
}, {
  a: -0xd18n,
  b: -0xbn,
  r: 0xd1dn
}, {
  a: 0xc8dn,
  b: 0x2n,
  r: 0xc8fn
}, {
  a: 0x6n,
  b: 0xc15n,
  r: 0xc13n
}, {
  a: -0x59can,
  b: 0x816n,
  r: -0x51e0n
}, {
  a: 0n,
  b: -0xaf3n,
  r: -0xaf3n
}, {
  a: -0xac4n,
  b: 0x6e45n,
  r: -0x6487n
}, {
  a: 0x8an,
  b: -0xaan,
  r: -0x24n
}, {
  a: 0x31n,
  b: 0n,
  r: 0x31n
}, {
  a: -0xb17n,
  b: 0xfcn,
  r: -0xbebn
}, {
  a: 0x2n,
  b: 0xa70n,
  r: 0xa72n
}, {
  a: -0x32n,
  b: 0n,
  r: -0x32n
}, {
  a: -0x26a6n,
  b: -0xdc84n,
  r: 0xfa26n
}, {
  a: 0x2n,
  b: 0xbfn,
  r: 0xbdn
}, {
  a: 0xfen,
  b: 0x5n,
  r: 0xfbn
}, {
  a: 0xe434n,
  b: -0xcbcn,
  r: -0xe890n
}, {
  a: -0xd2n,
  b: -0x2n,
  r: 0xd0n
}, {
  a: 0x9fn,
  b: -0xc76cn,
  r: -0xc7f5n
}, {
  a: 0x6an,
  b: -0xe3n,
  r: -0x89n
}, {
  a: 0x8n,
  b: 0xc9n,
  r: 0xc1n
}, {
  a: -0xa48en,
  b: 0n,
  r: -0xa48en
}, {
  a: 0x8fn,
  b: -0xd1b7n,
  r: -0xd13an
}, {
  a: -0x35n,
  b: 0x29n,
  r: -0x1en
}, {
  a: 0x80n,
  b: -0xd1can,
  r: -0xd14an
}, {
  a: 0x54d7n,
  b: 0n,
  r: 0x54d7n
}, {
  a: 0x56b0n,
  b: 0x394n,
  r: 0x5524n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x4n,
  b: 0n,
  r: -0x4n
}, {
  a: -0x88n,
  b: 0xdcn,
  r: -0x5cn
}, {
  a: -0xb4n,
  b: 0xb03n,
  r: -0xbb1n
}, {
  a: 0n,
  b: -0xbn,
  r: -0xbn
}, {
  a: -0x9650n,
  b: -0xee59n,
  r: 0x7817n
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: 0x55fn,
  b: 0x18fn,
  r: 0x4d0n
}, {
  a: 0x12n,
  b: 0xabe3n,
  r: 0xabf1n
}, {
  a: 0n,
  b: 0x9n,
  r: 0x9n
}, {
  a: -0x2bn,
  b: 0n,
  r: -0x2bn
}, {
  a: 0n,
  b: -0xen,
  r: -0xen
}, {
  a: -0x376n,
  b: 0x963n,
  r: -0xa17n
}, {
  a: -0xdn,
  b: 0xa5n,
  r: -0xaan
}, {
  a: -0xa660n,
  b: -0x30cn,
  r: 0xa554n
}, {
  a: -0x7an,
  b: 0n,
  r: -0x7an
}, {
  a: 0xbn,
  b: 0xcn,
  r: 0x7n
}, {
  a: 0n,
  b: -0x10n,
  r: -0x10n
}, {
  a: 0xdn,
  b: 0x9an,
  r: 0x97n
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: -0x7d21n,
  b: 0x2n,
  r: -0x7d23n
}, {
  a: 0n,
  b: -0x34bn,
  r: -0x34bn
}, {
  a: 0x4n,
  b: 0x83aan,
  r: 0x83aen
}, {
  a: 0x51bn,
  b: -0x553n,
  r: -0x4an
}, {
  a: 0n,
  b: 0x7an,
  r: 0x7an
}, {
  a: 0xbabn,
  b: 0n,
  r: 0xbabn
}, {
  a: 0xan,
  b: 0xb5n,
  r: 0xbfn
}, {
  a: 0xe2n,
  b: 0n,
  r: 0xe2n
}, {
  a: -0x9n,
  b: 0x63n,
  r: -0x6cn
}, {
  a: 0n,
  b: -0x6f5fn,
  r: -0x6f5fn
}, {
  a: 0xe9d2n,
  b: -0x8dn,
  r: -0xe95fn
}, {
  a: 0x812n,
  b: 0xc2fn,
  r: 0x43dn
}, {
  a: 0x7510n,
  b: -0xf25cn,
  r: -0x874cn
}, {
  a: 0x99bn,
  b: -0x9cdfn,
  r: -0x9546n
}, {
  a: 0x199cn,
  b: -0xdn,
  r: -0x1991n
}, {
  a: 0n,
  b: 0x8n,
  r: 0x8n
}, {
  a: 0xfn,
  b: 0xdn,
  r: 0x2n
}, {
  a: 0x4n,
  b: -0x6n,
  r: -0x2n
}, {
  a: 0x69n,
  b: 0x4e6n,
  r: 0x48fn
}, {
  a: 0x11den,
  b: 0n,
  r: 0x11den
}, {
  a: 0n,
  b: 0xb8n,
  r: 0xb8n
}, {
  a: 0n,
  b: 0xe5f2n,
  r: 0xe5f2n
}, {
  a: 0x6n,
  b: 0n,
  r: 0x6n
}, {
  a: 0x7n,
  b: 0xbn,
  r: 0xcn
}, {
  a: 0x15n,
  b: -0x53n,
  r: -0x48n
}, {
  a: -0x3a5n,
  b: 0xd0n,
  r: -0x375n
}, {
  a: 0x91n,
  b: 0x8n,
  r: 0x99n
}, {
  a: -0x11n,
  b: 0xaban,
  r: -0xaabn
}, {
  a: 0n,
  b: -0xan,
  r: -0xan
}, {
  a: -0x52n,
  b: 0n,
  r: -0x52n
}, {
  a: 0n,
  b: -0x6n,
  r: -0x6n
}, {
  a: -0x35n,
  b: 0x56n,
  r: -0x63n
}, {
  a: 0x7n,
  b: 0x264n,
  r: 0x263n
}, {
  a: 0n,
  b: -0x38en,
  r: -0x38en
}, {
  a: 0x4a66n,
  b: 0xfe67n,
  r: 0xb401n
}, {
  a: -0x27n,
  b: 0x3bdn,
  r: -0x39cn
}, {
  a: -0xf3cn,
  b: -0xdan,
  r: 0xfe2n
}, {
  a: -0xbn,
  b: -0xc149n,
  r: 0xc142n
}, {
  a: 0xban,
  b: 0x9fn,
  r: 0x25n
}, {
  a: -0x5n,
  b: 0x9c8n,
  r: -0x9cdn
}, {
  a: 0x1n,
  b: 0xb6n,
  r: 0xb7n
}, {
  a: -0x7n,
  b: -0x9n,
  r: 0xen
}, {
  a: 0x76n,
  b: 0xb38n,
  r: 0xb4en
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x2n,
  b: -0x79c8n,
  r: -0x79c6n
}, {
  a: -0x8d5n,
  b: -0x9n,
  r: 0x8dcn
}, {
  a: -0x2cn,
  b: 0n,
  r: -0x2cn
}, {
  a: -0xbn,
  b: 0n,
  r: -0xbn
}, {
  a: 0x50n,
  b: -0x1e8n,
  r: -0x1b8n
}, {
  a: -0xa17n,
  b: 0n,
  r: -0xa17n
}, {
  a: 0xa8n,
  b: 0n,
  r: 0xa8n
}, {
  a: 0xd769n,
  b: 0x323n,
  r: 0xd44an
}, {
  a: 0x91cn,
  b: 0x6n,
  r: 0x91an
}, {
  a: 0x2e5n,
  b: -0x46n,
  r: -0x2a1n
}, {
  a: 0x9den,
  b: -0xd5n,
  r: -0x90bn
}, {
  a: 0n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0x4af3n,
  b: 0x58bn,
  r: -0x4f7an
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xb21n,
  b: 0x5bn,
  r: 0xb7an
}, {
  a: -0x1n,
  b: 0n,
  r: -0x1n
}, {
  a: -0x988n,
  b: 0xb18n,
  r: -0x2a0n
}, {
  a: -0xcbn,
  b: 0xan,
  r: -0xc1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xben,
  b: 0x55bdn,
  r: -0x5501n
}, {
  a: -0x6can,
  b: -0xdcn,
  r: 0x612n
}, {
  a: 0x2d09n,
  b: -0x74n,
  r: -0x2d7bn
}, {
  a: 0x30an,
  b: -0x5n,
  r: -0x30fn
}, {
  a: 0x7edfn,
  b: 0x172dn,
  r: 0x69f2n
}, {
  a: -0x5fn,
  b: 0n,
  r: -0x5fn
}, {
  a: 0n,
  b: 0xccc1n,
  r: 0xccc1n
}, {
  a: -0xf344n,
  b: 0n,
  r: -0xf344n
}, {
  a: 0xffd4n,
  b: 0x871n,
  r: 0xf7a5n
}, {
  a: -0xb0n,
  b: 0x6ban,
  r: -0x616n
}, {
  a: 0n,
  b: -0xaf53n,
  r: -0xaf53n
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: -0xafn,
  b: -0x79ccn,
  r: 0x7965n
}, {
  a: 0x3fdn,
  b: -0x26n,
  r: -0x3d9n
}, {
  a: -0x8n,
  b: 0xb6edn,
  r: -0xb6ebn
}, {
  a: -0x5633n,
  b: -0x32an,
  r: 0x551bn
}, {
  a: 0x8fn,
  b: 0xcn,
  r: 0x83n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xb7adn,
  b: 0xce20n,
  r: -0x798dn
}, {
  a: -0x17cn,
  b: -0x3229n,
  r: 0x3353n
}, {
  a: -0x12fdn,
  b: -0xd44n,
  r: 0x1fbfn
}, {
  a: 0n,
  b: 0x5n,
  r: 0x5n
}, {
  a: 0xfn,
  b: -0x66b8n,
  r: -0x66b9n
}, {
  a: 0xd5n,
  b: 0n,
  r: 0xd5n
}, {
  a: 0x85n,
  b: 0x57en,
  r: 0x5fbn
}, {
  a: 0n,
  b: -0x3bcn,
  r: -0x3bcn
}, {
  a: 0n,
  b: 0x8fbn,
  r: 0x8fbn
}, {
  a: -0x7b8n,
  b: 0x64c7n,
  r: -0x6371n
}, {
  a: -0x98an,
  b: 0xe4b4n,
  r: -0xed3en
}, {
  a: 0x1n,
  b: -0xf522n,
  r: -0xf521n
}, {
  a: 0x90n,
  b: -0xafn,
  r: -0x3fn
}, {
  a: -0xb4n,
  b: -0xdcn,
  r: 0x68n
}, {
  a: -0x6c2n,
  b: -0xb6cdn,
  r: 0xb00dn
}, {
  a: 0xc0ffn,
  b: 0x7n,
  r: 0xc0f8n
}, {
  a: 0xcn,
  b: 0n,
  r: 0xcn
}, {
  a: 0x405cn,
  b: 0x7en,
  r: 0x4022n
}, {
  a: -0x5n,
  b: -0x6f8bn,
  r: 0x6f8en
}, {
  a: -0x35en,
  b: 0xfae1n,
  r: -0xf9bdn
}, {
  a: -0xcn,
  b: 0xc52bn,
  r: -0xc521n
}, {
  a: 0x1fdn,
  b: 0xd6n,
  r: 0x12bn
}, {
  a: -0xa9cn,
  b: 0n,
  r: -0xa9cn
}, {
  a: 0x2fn,
  b: 0xcn,
  r: 0x23n
}, {
  a: 0x9195n,
  b: 0xfn,
  r: 0x919an
}, {
  a: 0xae47n,
  b: 0n,
  r: 0xae47n
}, {
  a: -0x947bn,
  b: 0x5n,
  r: -0x9480n
}, {
  a: 0x6an,
  b: -0xd6fn,
  r: -0xd05n
}, {
  a: -0xd797n,
  b: -0x9n,
  r: 0xd79en
}, {
  a: 0xf621n,
  b: 0n,
  r: 0xf621n
}, {
  a: -0x274n,
  b: -0x644n,
  r: 0x430n
}, {
  a: 0xb34n,
  b: 0n,
  r: 0xb34n
}, {
  a: 0x188n,
  b: 0xccn,
  r: 0x144n
}, {
  a: -0x66n,
  b: -0x570bn,
  r: 0x576fn
}, {
  a: -0xb8n,
  b: -0xdn,
  r: 0xbbn
}, {
  a: 0x49n,
  b: 0n,
  r: 0x49n
}, {
  a: 0n,
  b: 0x49a2n,
  r: 0x49a2n
}, {
  a: -0x3n,
  b: 0x62bn,
  r: -0x62an
}, {
  a: -0xf24en,
  b: 0n,
  r: -0xf24en
}, {
  a: -0x774n,
  b: 0x14n,
  r: -0x768n
}, {
  a: 0n,
  b: -0x7n,
  r: -0x7n
}, {
  a: 0x91n,
  b: -0x19n,
  r: -0x8an
}, {
  a: 0x604n,
  b: -0xe8n,
  r: -0x6e4n
}, {
  a: 0xan,
  b: 0xd5e2n,
  r: 0xd5e8n
}, {
  a: -0xf9bn,
  b: -0x67n,
  r: 0xffcn
}, {
  a: -0xf635n,
  b: -0xaan,
  r: 0xf69dn
}, {
  a: 0x57n,
  b: 0xen,
  r: 0x59n
}, {
  a: 0n,
  b: 0xcn,
  r: 0xcn
}, {
  a: -0xd39an,
  b: -0xdben,
  r: 0xde24n
}, {
  a: 0n,
  b: -0xea01n,
  r: -0xea01n
}, {
  a: 0x1den,
  b: 0x98n,
  r: 0x146n
}, {
  a: 0xan,
  b: -0x5n,
  r: -0xfn
}, {
  a: -0xe5n,
  b: 0x3dan,
  r: -0x33fn
}, {
  a: 0n,
  b: 0xen,
  r: 0xen
}, {
  a: 0n,
  b: 0x5b68n,
  r: 0x5b68n
}, {
  a: 0x2c60n,
  b: 0x448en,
  r: 0x68een
}, {
  a: -0x447n,
  b: 0n,
  r: -0x447n
}, {
  a: 0n,
  b: -0x6n,
  r: -0x6n
}, {
  a: 0xed8fn,
  b: 0xban,
  r: 0xed35n
}, {
  a: 0xdcan,
  b: 0x4f8n,
  r: 0x932n
}, {
  a: 0x4de5n,
  b: 0xeb6n,
  r: 0x4353n
}, {
  a: -0xa9n,
  b: 0n,
  r: -0xa9n
}, {
  a: 0x1b16n,
  b: 0n,
  r: 0x1b16n
}, {
  a: -0xd9dn,
  b: 0n,
  r: -0xd9dn
}, {
  a: -0xb8an,
  b: -0xf2n,
  r: 0xb78n
}, {
  a: -0x82en,
  b: -0x76n,
  r: 0x858n
}, {
  a: 0x48n,
  b: 0x8f71n,
  r: 0x8f39n
}, {
  a: 0xa0n,
  b: 0n,
  r: 0xa0n
}, {
  a: 0x3eean,
  b: 0x58n,
  r: 0x3eb2n
}, {
  a: 0n,
  b: -0xb50an,
  r: -0xb50an
}, {
  a: -0x7f17n,
  b: -0xefn,
  r: 0x7ff8n
}, {
  a: -0x80a9n,
  b: 0x3en,
  r: -0x8097n
}, {
  a: 0xe2dbn,
  b: -0xbn,
  r: -0xe2d2n
}, {
  a: 0x3fn,
  b: 0x15n,
  r: 0x2an
}, {
  a: -0x40n,
  b: -0x276cn,
  r: 0x2754n
}, {
  a: 0n,
  b: 0x17fn,
  r: 0x17fn
}, {
  a: -0xe0n,
  b: -0x1f78n,
  r: 0x1fa8n
}, {
  a: -0x997n,
  b: -0xbn,
  r: 0x99cn
}, {
  a: -0x64n,
  b: -0xfban,
  r: 0xfdan
}, {
  a: 0xdaeen,
  b: 0n,
  r: 0xdaeen
}, {
  a: -0x97n,
  b: 0n,
  r: -0x97n
}, {
  a: 0x3546n,
  b: -0xfn,
  r: -0x3549n
}, {
  a: 0x4e04n,
  b: 0n,
  r: 0x4e04n
}, {
  a: 0n,
  b: -0x1n,
  r: -0x1n
}, {
  a: -0x3n,
  b: -0x48n,
  r: 0x45n
}, {
  a: 0x7557n,
  b: 0x39bn,
  r: 0x76ccn
}, {
  a: 0xfbfn,
  b: 0x29n,
  r: 0xf96n
}, {
  a: 0x9933n,
  b: 0n,
  r: 0x9933n
}, {
  a: 0x38bn,
  b: 0xce7n,
  r: 0xf6cn
}, {
  a: 0xa7n,
  b: 0x97n,
  r: 0x30n
}, {
  a: 0x3c7n,
  b: 0n,
  r: 0x3c7n
}, {
  a: 0n,
  b: 0x395n,
  r: 0x395n
}, {
  a: -0x8n,
  b: -0x162n,
  r: 0x166n
}, {
  a: 0n,
  b: -0x12dn,
  r: -0x12dn
}, {
  a: 0xdn,
  b: 0xbd84n,
  r: 0xbd89n
}, {
  a: 0n,
  b: 0x9fn,
  r: 0x9fn
}, {
  a: -0x966dn,
  b: -0x81d7n,
  r: 0x17ban
}, {
  a: -0x79adn,
  b: 0n,
  r: -0x79adn
}, {
  a: 0x1a7n,
  b: 0n,
  r: 0x1a7n
}, {
  a: 0n,
  b: -0xd726n,
  r: -0xd726n
}, {
  a: 0n,
  b: -0x2en,
  r: -0x2en
}, {
  a: 0x8e6n,
  b: -0x9ce1n,
  r: -0x9407n
}, {
  a: -0x22d1n,
  b: 0xf79bn,
  r: -0xd54cn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x419n,
  b: 0x3746n,
  r: 0x335fn
}, {
  a: 0xc7f3n,
  b: -0x73c7n,
  r: -0xb436n
}, {
  a: 0x8bfn,
  b: -0xbn,
  r: -0x8b6n
}, {
  a: -0xfbn,
  b: 0x66n,
  r: -0x9dn
}, {
  a: -0x4153n,
  b: -0x5an,
  r: 0x410bn
}, {
  a: -0xf55fn,
  b: -0x40n,
  r: 0xf561n
}, {
  a: 0n,
  b: 0x6bn,
  r: 0x6bn
}, {
  a: -0x241n,
  b: -0x6n,
  r: 0x245n
}, {
  a: 0n,
  b: -0xfbn,
  r: -0xfbn
}, {
  a: 0xc95n,
  b: 0xf4n,
  r: 0xc61n
}, {
  a: 0n,
  b: -0x84n,
  r: -0x84n
}, {
  a: -0xecn,
  b: -0xa0cn,
  r: 0xae0n
}, {
  a: 0n,
  b: 0xb71n,
  r: 0xb71n
}, {
  a: 0x49f5n,
  b: -0xac0cn,
  r: -0xe5ffn
}, {
  a: 0n,
  b: -0x6adn,
  r: -0x6adn
}, {
  a: -0xa5aan,
  b: 0n,
  r: -0xa5aan
}, {
  a: 0xd68n,
  b: 0xcn,
  r: 0xd64n
}, {
  a: 0x544n,
  b: 0n,
  r: 0x544n
}, {
  a: -0x4bn,
  b: -0x3n,
  r: 0x48n
}, {
  a: 0n,
  b: -0x2n,
  r: -0x2n
}, {
  a: -0x1fen,
  b: -0x3bcn,
  r: 0x246n
}, {
  a: -0x62n,
  b: -0x77cn,
  r: 0x71an
}, {
  a: 0n,
  b: -0xee0n,
  r: -0xee0n
}, {
  a: -0xfn,
  b: 0x2n,
  r: -0xdn
}, {
  a: -0xb37n,
  b: -0x6da6n,
  r: 0x6693n
}, {
  a: 0x11n,
  b: -0x44an,
  r: -0x459n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xe3an,
  b: 0xcn,
  r: 0xe36n
}, {
  a: -0x37n,
  b: 0n,
  r: -0x37n
}, {
  a: -0x7n,
  b: -0x80dn,
  r: 0x80an
}, {
  a: 0xdn,
  b: -0x77n,
  r: -0x7cn
}, {
  a: 0n,
  b: 0x6n,
  r: 0x6n
}, {
  a: -0x1f80n,
  b: -0xa338n,
  r: 0xbc48n
}, {
  a: 0xc5n,
  b: -0xen,
  r: -0xc9n
}, {
  a: 0n,
  b: 0x88n,
  r: 0x88n
}, {
  a: -0xbn,
  b: -0xe0an,
  r: 0xe03n
}, {
  a: 0x6n,
  b: 0x5n,
  r: 0x3n
}, {
  a: 0x2an,
  b: 0x4b59n,
  r: 0x4b73n
}, {
  a: -0xdn,
  b: -0x2an,
  r: 0x25n
}, {
  a: 0n,
  b: 0xbb14n,
  r: 0xbb14n
}, {
  a: 0x7n,
  b: -0xbcn,
  r: -0xbdn
}, {
  a: -0xcn,
  b: 0x65cn,
  r: -0x658n
}, {
  a: 0xbn,
  b: 0x1433n,
  r: 0x1438n
}, {
  a: -0x17n,
  b: -0x32n,
  r: 0x27n
}, {
  a: 0n,
  b: 0xdn,
  r: 0xdn
}, {
  a: -0xbn,
  b: -0xdn,
  r: 0x6n
}, {
  a: -0x9a8n,
  b: 0x856n,
  r: -0x1f2n
}, {
  a: 0x26cn,
  b: -0xb5n,
  r: -0x2d9n
}, {
  a: 0n,
  b: 0x3n,
  r: 0x3n
}, {
  a: 0x9n,
  b: 0xa9n,
  r: 0xa0n
}, {
  a: 0x28an,
  b: -0xff0n,
  r: -0xd66n
}, {
  a: 0x647n,
  b: -0x4ccn,
  r: -0x28dn
}, {
  a: 0n,
  b: -0x270n,
  r: -0x270n
}, {
  a: 0x6d5n,
  b: -0xbn,
  r: -0x6e0n
}, {
  a: -0xdn,
  b: 0x6n,
  r: -0xbn
}, {
  a: -0xden,
  b: 0n,
  r: -0xden
}, {
  a: -0x937n,
  b: 0x703n,
  r: -0xe36n
}, {
  a: -0x9749n,
  b: -0x3fn,
  r: 0x9776n
}, {
  a: -0xc74n,
  b: 0x713n,
  r: -0xb61n
}, {
  a: -0xdn,
  b: -0x8cb9n,
  r: 0x8cb4n
}, {
  a: -0x107n,
  b: 0xcfdn,
  r: -0xdfcn
}, {
  a: -0x1ae8n,
  b: 0n,
  r: -0x1ae8n
}, {
  a: 0xc823n,
  b: -0xff69n,
  r: -0x374cn
}, {
  a: 0x71n,
  b: 0x23n,
  r: 0x52n
}, {
  a: 0xc782n,
  b: -0xb7n,
  r: -0xc735n
}, {
  a: 0xan,
  b: -0x558n,
  r: -0x55en
}, {
  a: -0x9an,
  b: 0xdbn,
  r: -0x43n
}, {
  a: -0x86n,
  b: 0n,
  r: -0x86n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xf0n,
  b: -0xc65n,
  r: -0xc95n
}, {
  a: -0x7bn,
  b: 0xadcn,
  r: -0xaa7n
}, {
  a: -0xbn,
  b: 0x44n,
  r: -0x4fn
}, {
  a: 0xen,
  b: -0x879en,
  r: -0x8794n
}, {
  a: 0x6515n,
  b: -0x82a0n,
  r: -0xe78bn
}, {
  a: -0xc56n,
  b: 0xa3b1n,
  r: -0xafe5n
}, {
  a: -0xe071n,
  b: -0xdcan,
  r: 0xedb9n
}, {
  a: -0x770n,
  b: 0n,
  r: -0x770n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: 0xd8n,
  b: -0xfn,
  r: -0xd7n
}, {
  a: -0xa0fn,
  b: -0xfbn,
  r: 0xaf4n
}, {
  a: -0x5abn,
  b: -0x2471n,
  r: 0x21dan
}, {
  a: 0xa10n,
  b: 0xc5n,
  r: 0xad5n
}, {
  a: 0x13n,
  b: -0x45n,
  r: -0x58n
}, {
  a: 0xbb8an,
  b: -0xden,
  r: -0xbb58n
}, {
  a: 0n,
  b: -0xb2n,
  r: -0xb2n
}, {
  a: 0x10en,
  b: -0xcn,
  r: -0x106n
}, {
  a: 0x97bn,
  b: 0n,
  r: 0x97bn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x42n,
  b: 0n,
  r: -0x42n
}, {
  a: 0x275cn,
  b: 0n,
  r: 0x275cn
}, {
  a: 0n,
  b: 0xcn,
  r: 0xcn
}, {
  a: -0xd42dn,
  b: 0x9f9an,
  r: -0x4bb7n
}, {
  a: -0x3022n,
  b: 0n,
  r: -0x3022n
}, {
  a: 0xben,
  b: 0x8cf4n,
  r: 0x8c4an
}, {
  a: 0xa1n,
  b: 0x8n,
  r: 0xa9n
}, {
  a: -0x252n,
  b: 0x875fn,
  r: -0x850fn
}, {
  a: -0xba6n,
  b: 0x5n,
  r: -0xba1n
}, {
  a: 0xfdn,
  b: 0xe122n,
  r: 0xe1dfn
}, {
  a: 0n,
  b: -0xa53n,
  r: -0xa53n
}, {
  a: -0x46n,
  b: 0n,
  r: -0x46n
}, {
  a: -0x9n,
  b: 0x3bdn,
  r: -0x3b6n
}, {
  a: -0x5e69n,
  b: -0x608n,
  r: 0x586fn
}, {
  a: -0x1029n,
  b: 0xfn,
  r: -0x1028n
}, {
  a: 0n,
  b: 0x7n,
  r: 0x7n
}, {
  a: -0x6n,
  b: -0x6dcn,
  r: 0x6den
}, {
  a: -0x2n,
  b: 0x5bbn,
  r: -0x5bbn
}, {
  a: -0x8n,
  b: 0n,
  r: -0x8n
}, {
  a: 0n,
  b: 0x6ed4n,
  r: 0x6ed4n
}, {
  a: 0x315en,
  b: 0xcbb2n,
  r: 0xfaecn
}, {
  a: -0x61n,
  b: -0x9n,
  r: 0x68n
}, {
  a: 0xffe8n,
  b: 0x84cn,
  r: 0xf7a4n
}, {
  a: 0xfan,
  b: 0x6d0n,
  r: 0x62an
}, {
  a: -0xdcebn,
  b: 0xb56n,
  r: -0xd7bdn
}, {
  a: -0x9n,
  b: 0x8f8n,
  r: -0x8f1n
}, {
  a: 0x650n,
  b: -0xdadn,
  r: -0xbfdn
}, {
  a: -0xe98bn,
  b: 0xc3n,
  r: -0xe94an
}, {
  a: 0x2529n,
  b: -0x36n,
  r: -0x251dn
}, {
  a: 0x3n,
  b: 0x9075n,
  r: 0x9076n
}, {
  a: 0xfc2n,
  b: 0n,
  r: 0xfc2n
}, {
  a: -0x54n,
  b: 0n,
  r: -0x54n
}, {
  a: 0x5n,
  b: 0x1422n,
  r: 0x1427n
}, {
  a: -0x525an,
  b: 0x7n,
  r: -0x525fn
}, {
  a: 0x33n,
  b: 0x48an,
  r: 0x4b9n
}, {
  a: -0xa8d5n,
  b: -0x6c6n,
  r: 0xae11n
}, {
  a: 0xe7n,
  b: -0xdafn,
  r: -0xd4an
}, {
  a: 0x76n,
  b: 0x57n,
  r: 0x21n
}, {
  a: -0xc86n,
  b: 0n,
  r: -0xc86n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0xefn,
  b: -0x43n,
  r: 0xacn
}, {
  a: 0n,
  b: 0xd991n,
  r: 0xd991n
}, {
  a: 0x2n,
  b: -0x9acn,
  r: -0x9aan
}, {
  a: -0x3308n,
  b: 0x9n,
  r: -0x330fn
}, {
  a: 0xcn,
  b: -0xen,
  r: -0x2n
}, {
  a: 0n,
  b: -0xa4n,
  r: -0xa4n
}, {
  a: -0x850an,
  b: 0x7an,
  r: -0x8574n
}, {
  a: 0n,
  b: 0x228n,
  r: 0x228n
}, {
  a: -0x1bd3n,
  b: -0x2c26n,
  r: 0x37f7n
}, {
  a: -0x65n,
  b: 0n,
  r: -0x65n
}, {
  a: -0xf57n,
  b: 0xe7d8n,
  r: -0xe88fn
}, {
  a: -0xd5n,
  b: 0n,
  r: -0xd5n
}, {
  a: -0xe9ean,
  b: 0xc6en,
  r: -0xe588n
}, {
  a: 0n,
  b: -0x59d8n,
  r: -0x59d8n
}, {
  a: -0xe54n,
  b: 0xaafn,
  r: -0x4fdn
}, {
  a: -0xfn,
  b: -0x5n,
  r: 0xan
}, {
  a: 0x7d8n,
  b: 0x3en,
  r: 0x7e6n
}, {
  a: -0x8n,
  b: 0xe4dn,
  r: -0xe4bn
}, {
  a: 0n,
  b: -0xf5a7n,
  r: -0xf5a7n
}, {
  a: 0xb7n,
  b: 0xf2n,
  r: 0x45n
}, {
  a: 0xcen,
  b: 0x1n,
  r: 0xcfn
}, {
  a: 0x5d2an,
  b: 0xec1n,
  r: 0x53ebn
}, {
  a: 0n,
  b: -0xd3n,
  r: -0xd3n
}, {
  a: -0x1n,
  b: 0n,
  r: -0x1n
}, {
  a: 0xf6n,
  b: 0xdn,
  r: 0xfbn
}, {
  a: 0n,
  b: -0x21b3n,
  r: -0x21b3n
}, {
  a: -0xfd5n,
  b: -0x37a5n,
  r: 0x3870n
}, {
  a: 0xan,
  b: -0xf372n,
  r: -0xf37cn
}, {
  a: 0n,
  b: 0xa0n,
  r: 0xa0n
}, {
  a: -0x52n,
  b: -0x1n,
  r: 0x51n
}, {
  a: -0xfn,
  b: -0x1n,
  r: 0xen
}, {
  a: -0x460n,
  b: 0n,
  r: -0x460n
}, {
  a: -0x95n,
  b: 0n,
  r: -0x95n
}, {
  a: -0x7dcen,
  b: -0x10n,
  r: 0x7dc2n
}, {
  a: -0x6n,
  b: 0x9e03n,
  r: -0x9e07n
}, {
  a: -0xd50fn,
  b: 0x7c63n,
  r: -0xa96en
}, {
  a: 0n,
  b: 0x7210n,
  r: 0x7210n
}, {
  a: 0xa7n,
  b: -0x34dn,
  r: -0x3ecn
}, {
  a: 0x8n,
  b: 0x42n,
  r: 0x4an
}, {
  a: 0n,
  b: 0xc9dcn,
  r: 0xc9dcn
}, {
  a: -0xfcn,
  b: -0x6bn,
  r: 0x91n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: 0x2n,
  b: -0xf66n,
  r: -0xf68n
}, {
  a: 0x67n,
  b: 0n,
  r: 0x67n
}, {
  a: 0x6bc4n,
  b: -0xb2an,
  r: -0x60een
}, {
  a: 0n,
  b: -0x7en,
  r: -0x7en
}, {
  a: -0xban,
  b: -0x4788n,
  r: 0x473en
}, {
  a: 0xa4en,
  b: -0x6n,
  r: -0xa4cn
}, {
  a: 0x8n,
  b: 0n,
  r: 0x8n
}, {
  a: -0x5ba9n,
  b: -0x7ab5n,
  r: 0x211cn
}, {
  a: 0xa89fn,
  b: 0x9a5n,
  r: 0xa13an
}, {
  a: 0n,
  b: -0xf983n,
  r: -0xf983n
}, {
  a: 0xe40n,
  b: 0x6e5n,
  r: 0x8a5n
}, {
  a: -0x6n,
  b: 0n,
  r: -0x6n
}, {
  a: 0x538n,
  b: 0n,
  r: 0x538n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x5ee5n,
  r: 0x5ee5n
}, {
  a: 0xd55n,
  b: -0xdn,
  r: -0xd5an
}, {
  a: 0xafe3n,
  b: -0x9n,
  r: -0xafecn
}, {
  a: 0xc1dn,
  b: -0x9n,
  r: -0xc16n
}, {
  a: 0n,
  b: 0x69n,
  r: 0x69n
}, {
  a: 0x10d3n,
  b: -0x8n,
  r: -0x10d5n
}, {
  a: 0x8fn,
  b: 0n,
  r: 0x8fn
}, {
  a: -0x1n,
  b: -0x78n,
  r: 0x77n
}, {
  a: -0x32f4n,
  b: -0xen,
  r: 0x32fen
}, {
  a: 0xd9ean,
  b: 0x43fen,
  r: 0x9a14n
}, {
  a: -0x1dn,
  b: -0xb02n,
  r: 0xb1dn
}, {
  a: -0xd556n,
  b: 0x4n,
  r: -0xd552n
}, {
  a: -0x1c55n,
  b: -0xdn,
  r: 0x1c58n
}, {
  a: 0xf5n,
  b: -0x3e0n,
  r: -0x32bn
}, {
  a: -0xfa55n,
  b: 0x3n,
  r: -0xfa58n
}, {
  a: -0x1n,
  b: 0xb12n,
  r: -0xb13n
}, {
  a: 0n,
  b: -0x33n,
  r: -0x33n
}, {
  a: 0x9ccan,
  b: -0x402n,
  r: -0x98ccn
}, {
  a: -0xc15n,
  b: 0x9n,
  r: -0xc1en
}, {
  a: 0x9n,
  b: 0x35en,
  r: 0x357n
}, {
  a: -0xen,
  b: 0n,
  r: -0xen
}, {
  a: 0x3265n,
  b: 0n,
  r: 0x3265n
}, {
  a: 0n,
  b: -0x3ce9n,
  r: -0x3ce9n
}, {
  a: -0xf6n,
  b: -0x2cebn,
  r: 0x2c1fn
}, {
  a: 0x4n,
  b: 0n,
  r: 0x4n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x4e48n,
  r: 0x4e48n
}, {
  a: -0x2n,
  b: 0n,
  r: -0x2n
}, {
  a: -0x3n,
  b: -0x5dn,
  r: 0x5en
}, {
  a: -0x57cn,
  b: -0x2a9n,
  r: 0x7d3n
}, {
  a: 0xean,
  b: -0x9n,
  r: -0xe3n
}, {
  a: -0xc8n,
  b: 0n,
  r: -0xc8n
}, {
  a: 0x7adcn,
  b: -0x40an,
  r: -0x7ed6n
}, {
  a: 0n,
  b: -0x55n,
  r: -0x55n
}, {
  a: 0x6n,
  b: 0x5da5n,
  r: 0x5da3n
}, {
  a: -0x2001n,
  b: -0xcfn,
  r: 0x20cen
}, {
  a: -0x487dn,
  b: 0x3n,
  r: -0x4880n
}, {
  a: -0xc7an,
  b: 0n,
  r: -0xc7an
}, {
  a: 0xd1n,
  b: -0xd9en,
  r: -0xd4dn
}, {
  a: -0xcn,
  b: 0xb2n,
  r: -0xban
}, {
  a: -0xc9n,
  b: -0x8n,
  r: 0xcfn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x99b0n,
  b: 0n,
  r: 0x99b0n
}, {
  a: 0x391n,
  b: 0n,
  r: 0x391n
}, {
  a: -0x52en,
  b: -0x71dn,
  r: 0x231n
}, {
  a: -0xeen,
  b: 0n,
  r: -0xeen
}, {
  a: 0n,
  b: -0x8091n,
  r: -0x8091n
}, {
  a: -0x7eb8n,
  b: -0x1a5dn,
  r: 0x64ebn
}, {
  a: 0x26c7n,
  b: 0x58n,
  r: 0x269fn
}, {
  a: -0x6f3n,
  b: -0x7en,
  r: 0x68fn
}, {
  a: 0xden,
  b: -0x4f7n,
  r: -0x429n
}, {
  a: 0n,
  b: -0x4cen,
  r: -0x4cen
}, {
  a: -0x9n,
  b: 0x8n,
  r: -0x1n
}, {
  a: 0xcn,
  b: -0x34en,
  r: -0x342n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x7edan,
  b: -0x768n,
  r: 0x79ben
}, {
  a: 0n,
  b: -0xf0n,
  r: -0xf0n
}, {
  a: 0x66n,
  b: 0x3n,
  r: 0x65n
}, {
  a: -0xcb7n,
  b: 0x62n,
  r: -0xcd5n
}, {
  a: 0n,
  b: 0xc27n,
  r: 0xc27n
}, {
  a: 0x5cb9n,
  b: -0x3n,
  r: -0x5cbcn
}, {
  a: 0x39en,
  b: 0n,
  r: 0x39en
}, {
  a: 0n,
  b: 0x2cn,
  r: 0x2cn
}, {
  a: -0x3n,
  b: 0x86n,
  r: -0x85n
}, {
  a: 0x8678n,
  b: -0x35n,
  r: -0x864dn
}, {
  a: 0x796n,
  b: 0xacbn,
  r: 0xd5dn
}, {
  a: -0x3n,
  b: 0x8f7n,
  r: -0x8f6n
}, {
  a: -0x63n,
  b: 0n,
  r: -0x63n
}, {
  a: 0x3d9n,
  b: 0xef1n,
  r: 0xd28n
}, {
  a: 0n,
  b: -0xc4n,
  r: -0xc4n
}, {
  a: -0x24f7n,
  b: 0xdn,
  r: -0x24fcn
}, {
  a: 0xaan,
  b: 0x44n,
  r: 0xeen
}, {
  a: 0x6fdbn,
  b: -0xdcbn,
  r: -0x6212n
}, {
  a: -0x89n,
  b: 0n,
  r: -0x89n
}, {
  a: 0x2bn,
  b: -0xdd6n,
  r: -0xdffn
}, {
  a: 0xd04n,
  b: 0x4ean,
  r: 0x9een
}, {
  a: -0x9dn,
  b: 0n,
  r: -0x9dn
}, {
  a: 0n,
  b: -0xb95an,
  r: -0xb95an
}, {
  a: 0xc7n,
  b: 0x4n,
  r: 0xc3n
}, {
  a: 0x57cn,
  b: 0n,
  r: 0x57cn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x1547n,
  b: 0x1edn,
  r: 0x14aan
}, {
  a: 0n,
  b: 0x69n,
  r: 0x69n
}, {
  a: -0xdcn,
  b: 0x39n,
  r: -0xe3n
}, {
  a: -0x6n,
  b: -0xbn,
  r: 0xfn
}, {
  a: -0x60e8n,
  b: -0x319n,
  r: 0x63ffn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x368n,
  b: 0x76n,
  r: 0x31en
}, {
  a: 0xan,
  b: 0x7c6n,
  r: 0x7ccn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0n,
  b: 0x10c4n,
  r: 0x10c4n
}, {
  a: -0x92n,
  b: 0x2c2n,
  r: -0x254n
}, {
  a: 0x8n,
  b: -0x983n,
  r: -0x98bn
}, {
  a: 0n,
  b: 0x1e57n,
  r: 0x1e57n
}, {
  a: 0x1f75n,
  b: -0xd7bn,
  r: -0x1210n
}, {
  a: 0x3n,
  b: 0x104n,
  r: 0x107n
}, {
  a: 0n,
  b: -0xdn,
  r: -0xdn
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0x59n,
  b: 0x5fcan,
  r: 0x5f93n
}, {
  a: -0x3n,
  b: 0n,
  r: -0x3n
}, {
  a: -0x56bn,
  b: 0n,
  r: -0x56bn
}, {
  a: 0x40n,
  b: 0n,
  r: 0x40n
}, {
  a: -0xe3n,
  b: 0n,
  r: -0xe3n
}, {
  a: -0xf7n,
  b: 0n,
  r: -0xf7n
}, {
  a: 0xdfn,
  b: 0n,
  r: 0xdfn
}, {
  a: 0n,
  b: 0x9n,
  r: 0x9n
}, {
  a: 0n,
  b: -0xc0d1n,
  r: -0xc0d1n
}, {
  a: -0x4n,
  b: -0x41f8n,
  r: 0x41f4n
}, {
  a: 0n,
  b: -0x29n,
  r: -0x29n
}, {
  a: 0x9n,
  b: -0x1n,
  r: -0xan
}, {
  a: 0x2a8bn,
  b: -0xebfn,
  r: -0x2436n
}, {
  a: -0x2n,
  b: 0x1n,
  r: -0x1n
}, {
  a: 0n,
  b: -0x9b7n,
  r: -0x9b7n
}, {
  a: -0x2n,
  b: 0x8a84n,
  r: -0x8a86n
}, {
  a: -0xf679n,
  b: 0n,
  r: -0xf679n
}, {
  a: 0x3cen,
  b: -0xb5n,
  r: -0x37bn
}, {
  a: 0x2n,
  b: 0x6n,
  r: 0x4n
}, {
  a: 0xa83n,
  b: 0x82cn,
  r: 0x2afn
}, {
  a: -0xbb3n,
  b: 0x26n,
  r: -0xb95n
}, {
  a: -0x8b39n,
  b: -0x8n,
  r: 0x8b3fn
}, {
  a: 0x2n,
  b: -0x2291n,
  r: -0x2293n
}, {
  a: 0xd26fn,
  b: -0x39n,
  r: -0xd258n
}, {
  a: 0xen,
  b: 0xe2n,
  r: 0xecn
}, {
  a: 0x580n,
  b: -0xbn,
  r: -0x58bn
}, {
  a: 0xb52n,
  b: 0xbcf0n,
  r: 0xb7a2n
}, {
  a: -0x43ddn,
  b: 0x521n,
  r: -0x46fen
}, {
  a: 0xc036n,
  b: 0n,
  r: 0xc036n
}];

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