blob: 17aeac2c55f7378f2e38730e2ae300f71dc25898 [file] [log] [blame]
// 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: -0xbn,
b: -0xen,
r: -0x9n
}, {
a: 0n,
b: 0xb1n,
r: 0xb1n
}, {
a: 0x879n,
b: -0x27n,
r: -0x7n
}, {
a: 0x4bn,
b: 0n,
r: 0x4bn
}, {
a: -0x9n,
b: 0x6n,
r: -0x9n
}, {
a: -0xf4n,
b: -0x37n,
r: -0x33n
}, {
a: -0x40n,
b: 0x82fn,
r: -0x11n
}, {
a: 0xcen,
b: -0xd67n,
r: -0xd21n
}, {
a: 0x9ac4n,
b: -0x20n,
r: -0x1cn
}, {
a: 0x5bn,
b: 0n,
r: 0x5bn
}, {
a: 0xefcn,
b: -0xdba8n,
r: -0xd104n
}, {
a: -0xdn,
b: -0x47aan,
r: -0x9n
}, {
a: 0n,
b: 0x15c1n,
r: 0x15c1n
}, {
a: -0x8n,
b: -0xbn,
r: -0x3n
}, {
a: -0x848n,
b: -0xdn,
r: -0x5n
}, {
a: -0x760n,
b: 0n,
r: -0x760n
}, {
a: 0xb98n,
b: 0n,
r: 0xb98n
}, {
a: 0xdan,
b: -0x2e1n,
r: -0x221n
}, {
a: -0xa80n,
b: -0x74n,
r: -0x74n
}, {
a: -0x2n,
b: 0n,
r: -0x2n
}, {
a: 0n,
b: 0xdn,
r: 0xdn
}, {
a: -0xfn,
b: 0xabf7n,
r: -0x9n
}, {
a: 0x5n,
b: -0xe36cn,
r: -0xe36bn
}, {
a: 0xf0en,
b: 0x26fdn,
r: 0x2fffn
}, {
a: 0xdn,
b: 0x9ae7n,
r: 0x9aefn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x7n,
b: -0x762dn,
r: -0x5n
}, {
a: -0x3n,
b: 0n,
r: -0x3n
}, {
a: -0xan,
b: 0xf4n,
r: -0xan
}, {
a: 0n,
b: 0xf7d3n,
r: 0xf7d3n
}, {
a: 0xebn,
b: -0x20n,
r: -0x15n
}, {
a: 0n,
b: -0x5de2n,
r: -0x5de2n
}, {
a: 0n,
b: -0x6c0bn,
r: -0x6c0bn
}, {
a: 0x57n,
b: -0xa9n,
r: -0xa9n
}, {
a: 0x845bn,
b: -0xbn,
r: -0x1n
}, {
a: 0n,
b: -0x5871n,
r: -0x5871n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x7f2fn,
b: 0n,
r: 0x7f2fn
}, {
a: 0xb3dn,
b: -0x8n,
r: -0x3n
}, {
a: -0xbn,
b: 0xc6bdn,
r: -0x3n
}, {
a: 0n,
b: -0x2n,
r: -0x2n
}, {
a: -0x56n,
b: -0xe4n,
r: -0x42n
}, {
a: -0x244bn,
b: -0xe8n,
r: -0x43n
}, {
a: 0n,
b: -0x9a33n,
r: -0x9a33n
}, {
a: 0xdb1n,
b: 0n,
r: 0xdb1n
}, {
a: 0x3n,
b: -0x71n,
r: -0x71n
}, {
a: -0x5163n,
b: -0xd4c0n,
r: -0x5023n
}, {
a: -0x719n,
b: -0x35n,
r: -0x11n
}, {
a: 0x6b9n,
b: 0x9e7fn,
r: 0x9effn
}, {
a: -0xfn,
b: -0x8n,
r: -0x7n
}, {
a: -0xbn,
b: -0x4c9bn,
r: -0xbn
}, {
a: 0n,
b: -0xce55n,
r: -0xce55n
}, {
a: 0x4n,
b: 0xecn,
r: 0xecn
}, {
a: 0n,
b: 0xba19n,
r: 0xba19n
}, {
a: 0x6a3n,
b: -0x1fn,
r: -0x1dn
}, {
a: -0x4aen,
b: 0n,
r: -0x4aen
}, {
a: -0xb6n,
b: 0xfn,
r: -0xb1n
}, {
a: -0xan,
b: 0x5c6n,
r: -0xan
}, {
a: 0xcc11n,
b: 0xfb03n,
r: 0xff13n
}, {
a: -0xf84n,
b: 0x958n,
r: -0x684n
}, {
a: 0xc80n,
b: 0n,
r: 0xc80n
}, {
a: 0xccn,
b: 0x118n,
r: 0x1dcn
}, {
a: -0x7n,
b: 0n,
r: -0x7n
}, {
a: 0x2n,
b: 0n,
r: 0x2n
}, {
a: 0x9e3en,
b: -0xfd0n,
r: -0x1c2n
}, {
a: -0xaf70n,
b: 0x7an,
r: -0xaf06n
}, {
a: 0x8cn,
b: -0xb93n,
r: -0xb13n
}, {
a: 0x52n,
b: -0xe24n,
r: -0xe22n
}, {
a: 0xc3n,
b: 0n,
r: 0xc3n
}, {
a: -0xf75n,
b: 0n,
r: -0xf75n
}, {
a: 0n,
b: 0x5n,
r: 0x5n
}, {
a: -0x2cn,
b: 0n,
r: -0x2cn
}, {
a: -0x9b2fn,
b: 0n,
r: -0x9b2fn
}, {
a: 0xdben,
b: 0n,
r: 0xdben
}, {
a: -0xcbn,
b: 0x1dn,
r: -0xc3n
}, {
a: 0x4n,
b: 0n,
r: 0x4n
}, {
a: 0xcda9n,
b: -0xdn,
r: -0x5n
}, {
a: 0x7bn,
b: 0n,
r: 0x7bn
}, {
a: 0xd652n,
b: 0n,
r: 0xd652n
}, {
a: 0x5abn,
b: 0n,
r: 0x5abn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x316n,
b: -0xd6c0n,
r: -0x216n
}, {
a: -0xfn,
b: 0n,
r: -0xfn
}, {
a: -0x8n,
b: 0x93n,
r: -0x5n
}, {
a: -0x41an,
b: -0x99n,
r: -0x19n
}, {
a: 0xf41n,
b: -0x1n,
r: -0x1n
}, {
a: 0x45d0n,
b: 0x9bffn,
r: 0xdfffn
}, {
a: 0n,
b: -0xe0en,
r: -0xe0en
}, {
a: -0x22cn,
b: -0xb2n,
r: -0x22n
}, {
a: 0xa357n,
b: 0xcn,
r: 0xa35fn
}, {
a: -0x26n,
b: 0x6n,
r: -0x22n
}, {
a: -0x9b4n,
b: -0x3en,
r: -0x32n
}, {
a: -0x1405n,
b: -0x57n,
r: -0x5n
}, {
a: 0xb2en,
b: -0xb8n,
r: -0x92n
}, {
a: -0x7e37n,
b: -0xan,
r: -0x1n
}, {
a: -0x502n,
b: 0x44n,
r: -0x502n
}, {
a: -0x7531n,
b: -0x872n,
r: -0x31n
}, {
a: 0xdn,
b: -0xf7en,
r: -0xf71n
}, {
a: 0xc72n,
b: 0n,
r: 0xc72n
}, {
a: -0xbeen,
b: -0x18n,
r: -0x6n
}, {
a: -0xd1n,
b: -0xf8b7n,
r: -0x91n
}, {
a: 0n,
b: 0x59n,
r: 0x59n
}, {
a: -0x39n,
b: 0xccn,
r: -0x31n
}, {
a: 0xfffn,
b: -0x15f5n,
r: -0x1001n
}, {
a: -0xfee2n,
b: 0x2ecn,
r: -0xfc02n
}, {
a: 0x79n,
b: 0x17cdn,
r: 0x17fdn
}, {
a: -0x4f30n,
b: 0x850dn,
r: -0x4a23n
}, {
a: 0x859n,
b: 0n,
r: 0x859n
}, {
a: 0xbe0n,
b: 0xcn,
r: 0xbecn
}, {
a: 0xaf80n,
b: 0n,
r: 0xaf80n
}, {
a: -0x718n,
b: -0x5n,
r: -0x5n
}, {
a: 0xcfb8n,
b: -0xe6aen,
r: -0x2006n
}, {
a: -0x46n,
b: 0xcn,
r: -0x42n
}, {
a: -0xec4dn,
b: -0x4n,
r: -0x1n
}, {
a: -0x9fden,
b: 0x435n,
r: -0x9bc9n
}, {
a: 0n,
b: -0x31n,
r: -0x31n
}, {
a: 0xc2en,
b: -0xen,
r: -0x2n
}, {
a: 0x9295n,
b: 0x3e9dn,
r: 0xbe9dn
}, {
a: 0x88n,
b: -0x2n,
r: -0x2n
}, {
a: 0xefe0n,
b: -0xf3n,
r: -0x13n
}, {
a: 0x85n,
b: 0xan,
r: 0x8fn
}, {
a: -0xf76n,
b: 0x39n,
r: -0xf45n
}, {
a: 0n,
b: -0xe12n,
r: -0xe12n
}, {
a: -0x7c2bn,
b: 0xb7e4n,
r: -0x480bn
}, {
a: 0xen,
b: 0xcn,
r: 0xen
}, {
a: 0n,
b: -0xc72n,
r: -0xc72n
}, {
a: 0x27fcn,
b: -0x9821n,
r: -0x9801n
}, {
a: 0xb74n,
b: 0x301fn,
r: 0x3b7fn
}, {
a: 0xen,
b: -0xaa6fn,
r: -0xaa61n
}, {
a: -0x4cn,
b: 0n,
r: -0x4cn
}, {
a: 0x9n,
b: -0x14n,
r: -0x13n
}, {
a: -0x1e9n,
b: -0x6n,
r: -0x1n
}, {
a: -0xe321n,
b: -0x4bn,
r: -0x1n
}, {
a: 0x7aan,
b: 0xedn,
r: 0x7efn
}, {
a: 0x51n,
b: 0n,
r: 0x51n
}, {
a: 0x47dn,
b: -0xfdn,
r: -0x81n
}, {
a: -0xf90n,
b: 0x5en,
r: -0xf82n
}, {
a: -0x9c2fn,
b: -0xbc3an,
r: -0x9c29n
}, {
a: 0n,
b: -0x96n,
r: -0x96n
}, {
a: 0n,
b: 0xa2n,
r: 0xa2n
}, {
a: 0x5667n,
b: 0n,
r: 0x5667n
}, {
a: 0n,
b: -0xec6n,
r: -0xec6n
}, {
a: -0x5dn,
b: 0x2b3n,
r: -0x4dn
}, {
a: 0x6e0n,
b: -0x9dn,
r: -0x1dn
}, {
a: 0x3ben,
b: -0xc7n,
r: -0x41n
}, {
a: 0x910n,
b: -0xf78n,
r: -0x668n
}, {
a: 0xa0n,
b: -0x54n,
r: -0x54n
}, {
a: 0xen,
b: -0xcn,
r: -0x2n
}, {
a: -0x48c2n,
b: 0xcn,
r: -0x48c2n
}, {
a: -0x56n,
b: 0x15an,
r: -0x6n
}, {
a: 0n,
b: -0x3a5n,
r: -0x3a5n
}, {
a: 0xen,
b: 0x59e9n,
r: 0x59efn
}, {
a: 0x8ec3n,
b: 0x6081n,
r: 0xeec3n
}, {
a: 0x2an,
b: 0n,
r: 0x2an
}, {
a: -0xdcen,
b: 0xdf94n,
r: -0x4an
}, {
a: -0x3fn,
b: -0x4n,
r: -0x3n
}, {
a: -0xacdn,
b: -0xen,
r: -0xdn
}, {
a: -0xf606n,
b: -0x42an,
r: -0x402n
}, {
a: 0x8n,
b: -0x777n,
r: -0x777n
}, {
a: -0x5a4n,
b: -0x7n,
r: -0x3n
}, {
a: 0n,
b: 0x2798n,
r: 0x2798n
}, {
a: -0x3734n,
b: -0xa18n,
r: -0x214n
}, {
a: 0x173n,
b: -0xc7fn,
r: -0xc0dn
}, {
a: -0x9fn,
b: 0x82fn,
r: -0x91n
}, {
a: 0x6f2n,
b: 0x8n,
r: 0x6fan
}, {
a: -0x2bdn,
b: 0xb83fn,
r: -0x281n
}, {
a: -0x9an,
b: -0x61n,
r: -0x1n
}, {
a: 0n,
b: -0x58n,
r: -0x58n
}, {
a: 0n,
b: -0x4d68n,
r: -0x4d68n
}, {
a: 0x97n,
b: 0xdecn,
r: 0xdffn
}, {
a: -0x83e1n,
b: 0x31dan,
r: -0x8221n
}, {
a: -0x1acn,
b: -0x69n,
r: -0x29n
}, {
a: 0n,
b: -0x2919n,
r: -0x2919n
}, {
a: 0x5can,
b: -0xen,
r: -0x6n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0n,
b: 0x9cabn,
r: 0x9cabn
}, {
a: 0n,
b: 0x5d3n,
r: 0x5d3n
}, {
a: -0x9en,
b: -0x1cn,
r: -0x1an
}, {
a: -0x6098n,
b: -0x592n,
r: -0x92n
}, {
a: 0xfbffn,
b: 0n,
r: 0xfbffn
}, {
a: 0x8c0n,
b: -0xd253n,
r: -0xd213n
}, {
a: -0xabd3n,
b: 0n,
r: -0xabd3n
}, {
a: 0x53n,
b: -0x37n,
r: -0x25n
}, {
a: -0xc09fn,
b: 0x5fn,
r: -0xc081n
}, {
a: -0xf7an,
b: 0n,
r: -0xf7an
}, {
a: 0n,
b: -0x33n,
r: -0x33n
}, {
a: 0n,
b: 0x8en,
r: 0x8en
}, {
a: 0xdn,
b: 0xe0n,
r: 0xedn
}, {
a: -0x4901n,
b: 0n,
r: -0x4901n
}, {
a: -0x82n,
b: -0xa6en,
r: -0x2n
}, {
a: -0x62n,
b: 0xb0e6n,
r: -0x2n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x5eefn,
b: -0x9n,
r: -0x9n
}, {
a: 0xbn,
b: -0x3n,
r: -0x1n
}, {
a: -0x780fn,
b: 0x79n,
r: -0x7807n
}, {
a: 0xe51n,
b: -0x47en,
r: -0x2dn
}, {
a: -0x211n,
b: -0x91bn,
r: -0x11n
}, {
a: -0x1n,
b: -0x7b71n,
r: -0x1n
}, {
a: -0x5df4n,
b: 0x5n,
r: -0x5df3n
}, {
a: -0x9n,
b: 0n,
r: -0x9n
}, {
a: 0x65dn,
b: 0n,
r: 0x65dn
}, {
a: 0x991an,
b: -0x4n,
r: -0x2n
}, {
a: 0xcn,
b: -0x4den,
r: -0x4d2n
}, {
a: 0x43n,
b: 0xe123n,
r: 0xe163n
}, {
a: -0xe7n,
b: 0n,
r: -0xe7n
}, {
a: 0xen,
b: 0n,
r: 0xen
}, {
a: -0x4en,
b: 0x9n,
r: -0x45n
}, {
a: 0x26n,
b: -0xc14n,
r: -0xc12n
}, {
a: 0x82n,
b: 0n,
r: 0x82n
}, {
a: -0xccf3n,
b: -0x9d3cn,
r: -0x8c33n
}, {
a: 0x75n,
b: -0x8af0n,
r: -0x8a8bn
}, {
a: -0xab6n,
b: -0x2n,
r: -0x2n
}, {
a: -0xd0n,
b: -0xdn,
r: -0xdn
}, {
a: 0x6n,
b: -0xb7n,
r: -0xb1n
}, {
a: 0xe30n,
b: 0x54a7n,
r: 0x5eb7n
}, {
a: -0xe1e4n,
b: 0x2fcan,
r: -0xc022n
}, {
a: 0xcn,
b: 0xfb0cn,
r: 0xfb0cn
}, {
a: 0xab55n,
b: 0xb929n,
r: 0xbb7dn
}, {
a: -0x5d7an,
b: -0xa2an,
r: -0x82an
}, {
a: 0xa299n,
b: 0x5b82n,
r: 0xfb9bn
}, {
a: 0n,
b: 0xb74n,
r: 0xb74n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0xafn,
b: 0n,
r: -0xafn
}, {
a: 0n,
b: -0xc740n,
r: -0xc740n
}, {
a: 0n,
b: -0x84n,
r: -0x84n
}, {
a: 0x7en,
b: 0x8n,
r: 0x7en
}, {
a: -0xb81n,
b: -0x2n,
r: -0x1n
}, {
a: 0x1n,
b: 0x2n,
r: 0x3n
}, {
a: -0xf5n,
b: -0xa1en,
r: -0x15n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0n,
b: -0x2n,
r: -0x2n
}, {
a: -0x8fn,
b: -0xbn,
r: -0xbn
}, {
a: 0x39n,
b: 0x4n,
r: 0x3dn
}, {
a: 0x5n,
b: 0n,
r: 0x5n
}, {
a: 0xd57n,
b: -0x2n,
r: -0x1n
}, {
a: -0x223n,
b: 0x2n,
r: -0x221n
}, {
a: 0x17n,
b: 0x218n,
r: 0x21fn
}, {
a: 0x239bn,
b: 0xa28n,
r: 0x2bbbn
}, {
a: -0x70n,
b: 0xen,
r: -0x62n
}, {
a: 0x2d5n,
b: 0xdn,
r: 0x2ddn
}, {
a: -0xcfn,
b: 0xa1n,
r: -0x4fn
}, {
a: 0xe8n,
b: 0x2a38n,
r: 0x2af8n
}, {
a: 0x8584n,
b: 0xen,
r: 0x858en
}, {
a: 0x1514n,
b: 0x9e69n,
r: 0x9f7dn
}, {
a: 0x66a8n,
b: 0x6496n,
r: 0x66ben
}, {
a: 0x9n,
b: 0n,
r: 0x9n
}, {
a: 0x821n,
b: 0n,
r: 0x821n
}, {
a: -0xd234n,
b: -0xan,
r: -0x2n
}, {
a: -0x99b9n,
b: -0x548bn,
r: -0x1089n
}, {
a: 0x1c3n,
b: 0x29n,
r: 0x1ebn
}, {
a: -0x6cd5n,
b: 0x9n,
r: -0x6cd5n
}, {
a: 0x1n,
b: 0x6n,
r: 0x7n
}, {
a: 0n,
b: -0x7n,
r: -0x7n
}, {
a: 0x1cbn,
b: 0x3c91n,
r: 0x3ddbn
}, {
a: 0n,
b: 0x8n,
r: 0x8n
}, {
a: -0x77fn,
b: 0xc2n,
r: -0x73dn
}, {
a: 0xfebn,
b: -0xe827n,
r: -0xe005n
}, {
a: 0n,
b: 0x753n,
r: 0x753n
}, {
a: -0xbf6n,
b: 0x4c2n,
r: -0xb36n
}, {
a: -0xeba4n,
b: 0xan,
r: -0xeba2n
}, {
a: 0n,
b: -0xbcan,
r: -0xbcan
}, {
a: -0x5c7n,
b: 0n,
r: -0x5c7n
}, {
a: 0x5n,
b: -0xf9en,
r: -0xf99n
}, {
a: -0x15n,
b: 0xa02n,
r: -0x15n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0xdcn,
b: 0n,
r: 0xdcn
}, {
a: -0xfn,
b: -0xfd9bn,
r: -0xbn
}, {
a: -0x424n,
b: 0n,
r: -0x424n
}, {
a: -0x69aan,
b: -0x6n,
r: -0x2n
}, {
a: 0x6n,
b: -0x86en,
r: -0x86an
}, {
a: 0xf6ben,
b: 0x5fn,
r: 0xf6ffn
}, {
a: -0xc2n,
b: 0x9a42n,
r: -0x82n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x67n,
b: -0x9a40n,
r: -0x27n
}, {
a: 0n,
b: -0x28fn,
r: -0x28fn
}, {
a: -0x3169n,
b: 0xeaeen,
r: -0x1101n
}, {
a: 0x2d8dn,
b: -0x7a3n,
r: -0x223n
}, {
a: -0x9dn,
b: -0xf4n,
r: -0x91n
}, {
a: 0n,
b: 0xd419n,
r: 0xd419n
}, {
a: 0n,
b: -0xbn,
r: -0xbn
}, {
a: 0n,
b: -0xe26n,
r: -0xe26n
}, {
a: 0x7n,
b: 0n,
r: 0x7n
}, {
a: -0xeb02n,
b: 0x95n,
r: -0xeb01n
}, {
a: 0x6n,
b: 0x82n,
r: 0x86n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x1b1n,
b: -0x1fn,
r: -0xfn
}, {
a: -0xcf34n,
b: 0x5n,
r: -0xcf33n
}, {
a: -0x9e20n,
b: 0x28n,
r: -0x9e18n
}, {
a: -0x912n,
b: 0n,
r: -0x912n
}, {
a: 0x53f7n,
b: 0xbn,
r: 0x53ffn
}, {
a: 0n,
b: -0x641n,
r: -0x641n
}, {
a: 0n,
b: 0xea45n,
r: 0xea45n
}, {
a: -0x63cn,
b: 0x110en,
r: -0x632n
}, {
a: -0x53f8n,
b: 0n,
r: -0x53f8n
}, {
a: -0x27n,
b: -0x4482n,
r: -0x1n
}, {
a: -0x6can,
b: 0xe83n,
r: -0x49n
}, {
a: 0n,
b: 0xdn,
r: 0xdn
}, {
a: 0n,
b: -0x519bn,
r: -0x519bn
}, {
a: 0n,
b: 0x98an,
r: 0x98an
}, {
a: 0xd8n,
b: 0xdf9n,
r: 0xdf9n
}, {
a: 0x77dan,
b: 0x96fn,
r: 0x7fffn
}, {
a: 0x51n,
b: 0xa5n,
r: 0xf5n
}, {
a: -0xc55n,
b: -0xccn,
r: -0x41n
}, {
a: 0xa5an,
b: 0x84f4n,
r: 0x8efen
}, {
a: -0x5fn,
b: 0x9can,
r: -0x15n
}, {
a: -0x1013n,
b: 0n,
r: -0x1013n
}, {
a: -0xen,
b: -0xc2n,
r: -0x2n
}, {
a: -0x2n,
b: -0x36n,
r: -0x2n
}, {
a: 0x76dan,
b: -0xc93n,
r: -0x801n
}, {
a: 0x48a4n,
b: 0x73n,
r: 0x48f7n
}, {
a: 0n,
b: 0xfn,
r: 0xfn
}, {
a: 0xdn,
b: -0x5074n,
r: -0x5073n
}, {
a: 0x1n,
b: 0n,
r: 0x1n
}, {
a: 0n,
b: 0xcbn,
r: 0xcbn
}, {
a: -0x3n,
b: -0x27a9n,
r: -0x1n
}, {
a: 0xd91n,
b: -0x9n,
r: -0x9n
}, {
a: 0x550n,
b: 0xd3fn,
r: 0xd7fn
}, {
a: 0x5c1n,
b: -0x354bn,
r: -0x300bn
}, {
a: 0n,
b: -0x60cn,
r: -0x60cn
}, {
a: 0xa8n,
b: 0x6n,
r: 0xaen
}, {
a: -0xb9n,
b: -0x3n,
r: -0x1n
}, {
a: -0x97n,
b: -0x341n,
r: -0x1n
}, {
a: 0n,
b: 0xf3fbn,
r: 0xf3fbn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0n,
b: -0x42e3n,
r: -0x42e3n
}, {
a: -0x4dcn,
b: 0x43en,
r: -0xc2n
}, {
a: 0x39n,
b: 0n,
r: 0x39n
}, {
a: -0x2a1n,
b: 0xbn,
r: -0x2a1n
}, {
a: 0n,
b: -0x2n,
r: -0x2n
}, {
a: 0n,
b: 0x9f4n,
r: 0x9f4n
}, {
a: 0x4cen,
b: -0x724bn,
r: -0x7201n
}, {
a: 0x7dn,
b: 0xcbn,
r: 0xffn
}, {
a: 0x696n,
b: -0x74n,
r: -0x62n
}, {
a: 0n,
b: 0x8n,
r: 0x8n
}, {
a: -0xa0en,
b: 0xf3n,
r: -0xa0dn
}, {
a: -0xan,
b: 0n,
r: -0xan
}, {
a: -0x86fn,
b: -0x5n,
r: -0x5n
}, {
a: 0n,
b: 0x6fdn,
r: 0x6fdn
}, {
a: 0x9n,
b: -0x9ffan,
r: -0x9ff1n
}, {
a: -0xb8a1n,
b: 0x1fn,
r: -0xb8a1n
}, {
a: 0x74c3n,
b: 0xacan,
r: 0x7ecbn
}, {
a: -0x6dcn,
b: 0xda7n,
r: -0x259n
}, {
a: 0n,
b: 0xbn,
r: 0xbn
}, {
a: 0n,
b: 0x6en,
r: 0x6en
}, {
a: 0n,
b: -0x721n,
r: -0x721n
}, {
a: -0x8n,
b: 0n,
r: -0x8n
}, {
a: 0n,
b: 0x196cn,
r: 0x196cn
}, {
a: 0xe7bn,
b: 0xe1en,
r: 0xe7fn
}, {
a: 0xfn,
b: 0xdbn,
r: 0xdfn
}, {
a: 0xcn,
b: 0x88n,
r: 0x8cn
}, {
a: -0x719n,
b: 0n,
r: -0x719n
}, {
a: 0xa4n,
b: -0x7901n,
r: -0x7901n
}, {
a: -0x7n,
b: -0x3cn,
r: -0x3n
}, {
a: -0x12fn,
b: -0x17n,
r: -0x7n
}, {
a: -0xacn,
b: 0x33n,
r: -0x89n
}, {
a: 0x2n,
b: 0n,
r: 0x2n
}, {
a: -0x6001n,
b: -0x9n,
r: -0x1n
}, {
a: -0x4n,
b: 0xb12n,
r: -0x2n
}, {
a: 0x9ffn,
b: 0n,
r: 0x9ffn
}, {
a: 0x71bdn,
b: 0xe401n,
r: 0xf5bdn
}, {
a: 0n,
b: 0x24dn,
r: 0x24dn
}, {
a: -0x6ban,
b: -0x46n,
r: -0x2n
}, {
a: -0x579dn,
b: 0x5an,
r: -0x5785n
}, {
a: -0xdn,
b: 0n,
r: -0xdn
}, {
a: -0x6cn,
b: 0x7bd1n,
r: -0x2bn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x5fn,
b: 0n,
r: 0x5fn
}, {
a: -0xf3n,
b: -0xc33n,
r: -0x33n
}, {
a: 0n,
b: 0xe2n,
r: 0xe2n
}, {
a: 0x66efn,
b: 0n,
r: 0x66efn
}, {
a: 0xa8n,
b: -0x6n,
r: -0x6n
}, {
a: -0xf71bn,
b: 0n,
r: -0xf71bn
}, {
a: -0x80n,
b: 0x8dn,
r: -0x73n
}, {
a: 0n,
b: 0x9n,
r: 0x9n
}, {
a: 0x724n,
b: -0xecn,
r: -0xccn
}, {
a: 0x9n,
b: 0x2f03n,
r: 0x2f0bn
}, {
a: 0x30n,
b: 0n,
r: 0x30n
}, {
a: -0xf15n,
b: 0n,
r: -0xf15n
}, {
a: -0x363bn,
b: 0n,
r: -0x363bn
}, {
a: -0x3999n,
b: 0xcn,
r: -0x3991n
}, {
a: 0x484n,
b: -0xc175n,
r: -0xc171n
}, {
a: -0xbn,
b: 0xd57n,
r: -0x9n
}, {
a: 0x8n,
b: -0x43n,
r: -0x43n
}, {
a: -0x6n,
b: 0x3ban,
r: -0x6n
}, {
a: 0x6577n,
b: 0n,
r: 0x6577n
}, {
a: -0xf63n,
b: -0x6e0n,
r: -0x643n
}, {
a: -0xen,
b: -0x3d9n,
r: -0x9n
}, {
a: 0n,
b: -0xebn,
r: -0xebn
}, {
a: 0n,
b: -0xcn,
r: -0xcn
}, {
a: 0xe9n,
b: 0n,
r: 0xe9n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x5n,
b: -0x8an,
r: -0x1n
}, {
a: 0x5d5an,
b: -0x90n,
r: -0x86n
}, {
a: -0x1an,
b: -0x9n,
r: -0x9n
}, {
a: 0xd3n,
b: -0xb77n,
r: -0xb25n
}, {
a: -0xean,
b: 0x7en,
r: -0x82n
}, {
a: -0x6n,
b: -0xa6n,
r: -0x6n
}, {
a: 0n,
b: -0x88n,
r: -0x88n
}, {
a: 0n,
b: -0xden,
r: -0xden
}, {
a: -0xbdn,
b: 0n,
r: -0xbdn
}, {
a: -0xb3n,
b: 0x792n,
r: -0x21n
}, {
a: -0x8n,
b: -0x2f6n,
r: -0x6n
}, {
a: 0x6926n,
b: 0xd1n,
r: 0x69f7n
}, {
a: -0x37dn,
b: 0xe3an,
r: -0x145n
}, {
a: -0xan,
b: 0x47en,
r: -0x2n
}, {
a: 0x4bn,
b: -0x819fn,
r: -0x8195n
}, {
a: 0xcc8n,
b: 0x4n,
r: 0xcccn
}, {
a: -0xe806n,
b: -0xfn,
r: -0x5n
}, {
a: 0x5n,
b: 0xd7cn,
r: 0xd7dn
}, {
a: 0n,
b: -0x7d91n,
r: -0x7d91n
}, {
a: -0xda1n,
b: -0xa31n,
r: -0x821n
}, {
a: 0x846n,
b: 0n,
r: 0x846n
}, {
a: -0xb8a0n,
b: 0x3fn,
r: -0xb881n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0xfn,
b: 0x2an,
r: -0x5n
}, {
a: 0x811n,
b: 0x249n,
r: 0xa59n
}, {
a: -0x5n,
b: 0n,
r: -0x5n
}, {
a: -0x2dfn,
b: 0n,
r: -0x2dfn
}, {
a: -0x79dn,
b: -0x4n,
r: -0x1n
}, {
a: -0x5c4an,
b: 0n,
r: -0x5c4an
}, {
a: 0xan,
b: 0n,
r: 0xan
}, {
a: 0x18cn,
b: -0x86n,
r: -0x2n
}, {
a: -0x630n,
b: 0n,
r: -0x630n
}, {
a: -0x12n,
b: -0xfn,
r: -0x1n
}, {
a: -0x2dn,
b: 0x25dn,
r: -0x21n
}, {
a: -0xbcn,
b: 0x6n,
r: -0xban
}, {
a: 0xc4an,
b: 0n,
r: 0xc4an
}, {
a: -0xd1an,
b: -0x7n,
r: -0x1n
}, {
a: 0x18n,
b: -0x55dn,
r: -0x545n
}, {
a: -0x22n,
b: -0xec5n,
r: -0x1n
}, {
a: 0x96n,
b: 0n,
r: 0x96n
}, {
a: 0x1n,
b: 0x1n,
r: 0x1n
}, {
a: 0x2n,
b: 0xa52n,
r: 0xa52n
}, {
a: 0n,
b: -0x9608n,
r: -0x9608n
}, {
a: -0xbb0n,
b: -0xf8n,
r: -0xa8n
}, {
a: -0x8765n,
b: 0n,
r: -0x8765n
}, {
a: -0x282n,
b: -0xdn,
r: -0x1n
}, {
a: 0x76bbn,
b: -0x434n,
r: -0x1n
}, {
a: 0x84n,
b: -0x2f2n,
r: -0x272n
}, {
a: 0xb86n,
b: 0x7n,
r: 0xb87n
}, {
a: 0xfn,
b: 0x34n,
r: 0x3fn
}, {
a: -0x116an,
b: -0x72n,
r: -0x62n
}, {
a: -0xan,
b: -0x2n,
r: -0x2n
}, {
a: 0n,
b: -0xd9fn,
r: -0xd9fn
}, {
a: -0x1en,
b: 0n,
r: -0x1en
}, {
a: 0xd88n,
b: -0x8n,
r: -0x8n
}, {
a: -0x9n,
b: 0x45n,
r: -0x9n
}, {
a: 0x4an,
b: 0n,
r: 0x4an
}, {
a: 0x44n,
b: 0n,
r: 0x44n
}, {
a: 0xen,
b: -0xf90dn,
r: -0xf901n
}, {
a: 0xc4cn,
b: 0xbn,
r: 0xc4fn
}, {
a: 0x3n,
b: 0x55n,
r: 0x57n
}, {
a: 0x54e1n,
b: 0x851n,
r: 0x5cf1n
}, {
a: 0n,
b: 0x1n,
r: 0x1n
}, {
a: 0xdn,
b: 0x13an,
r: 0x13fn
}, {
a: 0n,
b: -0xb7cn,
r: -0xb7cn
}, {
a: 0xf3f6n,
b: 0n,
r: 0xf3f6n
}, {
a: 0x779n,
b: 0n,
r: 0x779n
}, {
a: 0x1fa9n,
b: 0x5be1n,
r: 0x5fe9n
}, {
a: -0x5can,
b: 0x7n,
r: -0x5c9n
}, {
a: -0x5en,
b: -0x4n,
r: -0x2n
}, {
a: -0xc47n,
b: 0x3n,
r: -0xc45n
}, {
a: -0x6ddn,
b: 0x299n,
r: -0x445n
}, {
a: 0n,
b: -0x5353n,
r: -0x5353n
}, {
a: -0x9n,
b: -0x4an,
r: -0x9n
}, {
a: -0xaean,
b: -0x8b37n,
r: -0xa21n
}, {
a: -0xda1n,
b: -0x999n,
r: -0x981n
}, {
a: -0x3dn,
b: -0xfn,
r: -0xdn
}, {
a: -0x59n,
b: -0x26n,
r: -0x1n
}, {
a: -0x4ee8n,
b: -0x248n,
r: -0x248n
}, {
a: 0n,
b: -0x67n,
r: -0x67n
}, {
a: 0n,
b: 0xdn,
r: 0xdn
}, {
a: 0x8c02n,
b: 0n,
r: 0x8c02n
}, {
a: -0x34dfn,
b: 0x11n,
r: -0x34cfn
}, {
a: 0xbn,
b: 0n,
r: 0xbn
}, {
a: -0xed0n,
b: 0n,
r: -0xed0n
}, {
a: 0xcff7n,
b: 0x3n,
r: 0xcff7n
}, {
a: -0xe5n,
b: -0x1cn,
r: -0x1n
}, {
a: 0x85en,
b: 0n,
r: 0x85en
}, {
a: 0xafan,
b: 0x9cn,
r: 0xafen
}, {
a: 0xfn,
b: 0x329n,
r: 0x32fn
}, {
a: -0x630n,
b: -0x29bdn,
r: -0x2dn
}, {
a: -0xfn,
b: -0x86n,
r: -0x5n
}, {
a: 0n,
b: -0xf3n,
r: -0xf3n
}, {
a: 0xa936n,
b: 0n,
r: 0xa936n
}, {
a: 0x24n,
b: -0xdcbn,
r: -0xdcbn
}, {
a: -0x7n,
b: 0n,
r: -0x7n
}, {
a: 0xcbdn,
b: 0xf2n,
r: 0xcffn
}, {
a: -0x440dn,
b: -0xed4n,
r: -0x401n
}, {
a: 0x9n,
b: -0x9ab5n,
r: -0x9ab5n
}, {
a: -0x999n,
b: 0n,
r: -0x999n
}, {
a: 0n,
b: 0xan,
r: 0xan
}, {
a: 0n,
b: -0x36n,
r: -0x36n
}, {
a: -0xb1n,
b: 0x8bn,
r: -0x31n
}, {
a: -0x9an,
b: -0xc06n,
r: -0x2n
}, {
a: -0xban,
b: -0x19n,
r: -0x19n
}, {
a: -0x9fn,
b: 0xbe9dn,
r: -0x3n
}, {
a: -0x4n,
b: 0n,
r: -0x4n
}, {
a: 0x4f18n,
b: 0x5dn,
r: 0x4f5dn
}, {
a: -0x169n,
b: -0x3fd4n,
r: -0x141n
}, {
a: 0xdffn,
b: 0n,
r: 0xdffn
}, {
a: -0x3cc6n,
b: -0x5n,
r: -0x5n
}, {
a: 0xbdn,
b: 0x2n,
r: 0xbfn
}, {
a: -0x2n,
b: 0xeadn,
r: -0x1n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0xdn,
b: -0x5n,
r: -0x5n
}, {
a: 0x1e01n,
b: -0x8b2n,
r: -0xb1n
}, {
a: -0x3n,
b: 0x5bn,
r: -0x1n
}, {
a: 0x100n,
b: 0x6e5n,
r: 0x7e5n
}, {
a: -0x7c2dn,
b: 0xc9den,
r: -0x3421n
}, {
a: -0x3n,
b: 0x1n,
r: -0x3n
}, {
a: -0x886n,
b: -0xe4n,
r: -0x82n
}, {
a: -0xefen,
b: -0x1n,
r: -0x1n
}, {
a: 0x384an,
b: -0x620n,
r: -0x616n
}, {
a: -0x6an,
b: 0n,
r: -0x6an
}, {
a: 0x8n,
b: 0x98n,
r: 0x98n
}, {
a: 0xfcfn,
b: 0x4n,
r: 0xfcfn
}, {
a: 0x8n,
b: 0xdn,
r: 0xdn
}, {
a: 0x47n,
b: -0x73n,
r: -0x31n
}, {
a: -0x5702n,
b: -0xc65n,
r: -0x401n
}, {
a: -0xebn,
b: 0x684cn,
r: -0xa3n
}, {
a: -0x40n,
b: -0x6e8n,
r: -0x28n
}, {
a: 0x34n,
b: 0x95n,
r: 0xb5n
}, {
a: 0xc1n,
b: -0xccn,
r: -0xbn
}, {
a: -0xac3n,
b: -0x6dbn,
r: -0x2c3n
}, {
a: -0x5d0an,
b: 0xf97n,
r: -0x5009n
}, {
a: 0xbc3bn,
b: 0x65n,
r: 0xbc7fn
}, {
a: 0n,
b: -0x81dbn,
r: -0x81dbn
}, {
a: 0x51n,
b: 0x940n,
r: 0x951n
}, {
a: -0xa748n,
b: 0xa4f2n,
r: -0x306n
}, {
a: 0x26en,
b: 0x1951n,
r: 0x1b7fn
}, {
a: 0x5ad5n,
b: 0xc787n,
r: 0xdfd7n
}, {
a: -0x80n,
b: 0n,
r: -0x80n
}, {
a: 0xf13cn,
b: 0n,
r: 0xf13cn
}, {
a: 0xd42n,
b: 0n,
r: 0xd42n
}, {
a: 0n,
b: 0x5030n,
r: 0x5030n
}, {
a: 0x5dn,
b: 0x5n,
r: 0x5dn
}, {
a: 0x67n,
b: 0x72n,
r: 0x77n
}, {
a: 0xfn,
b: 0x4f7n,
r: 0x4ffn
}, {
a: -0x2306n,
b: 0x2n,
r: -0x2306n
}, {
a: -0x1n,
b: -0xf45n,
r: -0x1n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x97n,
b: 0x9e3n,
r: 0x9f7n
}, {
a: 0n,
b: 0x697n,
r: 0x697n
}, {
a: 0x4n,
b: -0xa32n,
r: -0xa32n
}, {
a: -0x9n,
b: -0xd8n,
r: -0x1n
}, {
a: 0x5dn,
b: -0xan,
r: -0x1n
}, {
a: 0n,
b: -0x253n,
r: -0x253n
}, {
a: -0x3n,
b: -0xdn,
r: -0x1n
}, {
a: -0xd26n,
b: 0x89ebn,
r: -0x405n
}, {
a: -0x41n,
b: 0n,
r: -0x41n
}, {
a: 0x743n,
b: -0xedn,
r: -0xadn
}, {
a: 0n,
b: 0x15e7n,
r: 0x15e7n
}, {
a: -0x2c21n,
b: -0x8n,
r: -0x1n
}, {
a: 0n,
b: 0x8c1n,
r: 0x8c1n
}, {
a: 0x7590n,
b: -0xfn,
r: -0xfn
}, {
a: 0xbaan,
b: 0x2n,
r: 0xbaan
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0xdn,
b: -0x9n,
r: -0x9n
}, {
a: -0x1628n,
b: 0x22b4n,
r: -0x1404n
}, {
a: 0x955an,
b: 0x8an,
r: 0x95dan
}, {
a: -0xbbn,
b: 0n,
r: -0xbbn
}, {
a: 0xen,
b: 0n,
r: 0xen
}, {
a: 0x7n,
b: 0n,
r: 0x7n
}, {
a: 0x52n,
b: 0x7e2dn,
r: 0x7e7fn
}, {
a: 0xfan,
b: 0x3dn,
r: 0xffn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x9a5n,
b: 0xae9n,
r: 0xbedn
}, {
a: -0x93n,
b: 0n,
r: -0x93n
}, {
a: -0xdn,
b: 0n,
r: -0xdn
}, {
a: -0x96n,
b: 0x135n,
r: -0x81n
}, {
a: -0x98a6n,
b: 0x978n,
r: -0x9086n
}, {
a: -0xfbcn,
b: -0x3c39n,
r: -0xc39n
}, {
a: 0n,
b: -0x1d89n,
r: -0x1d89n
}, {
a: -0x7fn,
b: 0n,
r: -0x7fn
}, {
a: -0xa201n,
b: -0x8bn,
r: -0x1n
}, {
a: 0x9n,
b: 0xefa1n,
r: 0xefa9n
}, {
a: 0n,
b: 0x20n,
r: 0x20n
}, {
a: -0xbean,
b: 0n,
r: -0xbean
}, {
a: 0n,
b: -0x471n,
r: -0x471n
}, {
a: 0x906n,
b: 0x26n,
r: 0x926n
}, {
a: 0xea3n,
b: -0xde8n,
r: -0x145n
}, {
a: -0x511n,
b: -0xd6an,
r: -0x501n
}, {
a: 0n,
b: -0xdn,
r: -0xdn
}, {
a: 0xf72n,
b: 0n,
r: 0xf72n
}, {
a: 0n,
b: 0x65n,
r: 0x65n
}, {
a: -0xcn,
b: -0xbn,
r: -0xbn
}, {
a: 0n,
b: 0x1een,
r: 0x1een
}, {
a: -0xe7ddn,
b: 0x1bn,
r: -0xe7c5n
}, {
a: -0xbn,
b: 0x27n,
r: -0x9n
}, {
a: -0x3n,
b: -0xen,
r: -0x1n
}, {
a: 0n,
b: 0x27n,
r: 0x27n
}, {
a: 0xb0n,
b: 0xd409n,
r: 0xd4b9n
}, {
a: 0n,
b: -0x8n,
r: -0x8n
}, {
a: 0n,
b: -0x9cn,
r: -0x9cn
}, {
a: 0n,
b: -0x4cn,
r: -0x4cn
}, {
a: 0xabadn,
b: 0x388n,
r: 0xabadn
}, {
a: -0x944n,
b: -0xbn,
r: -0x3n
}, {
a: -0x281an,
b: -0xbc36n,
r: -0x2812n
}, {
a: 0x889an,
b: 0n,
r: 0x889an
}, {
a: 0xan,
b: 0n,
r: 0xan
}, {
a: 0x14f4n,
b: 0n,
r: 0x14f4n
}, {
a: 0x5fn,
b: -0x4103n,
r: -0x4101n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x4n,
b: -0x186dn,
r: -0x1n
}, {
a: -0xben,
b: -0x1a55n,
r: -0x15n
}, {
a: -0x8177n,
b: 0x8dbbn,
r: -0x45n
}, {
a: 0x38an,
b: 0xc667n,
r: 0xc7efn
}, {
a: 0x510n,
b: 0xcan,
r: 0x5dan
}, {
a: 0xd357n,
b: 0n,
r: 0xd357n
}, {
a: 0x31n,
b: -0xb77n,
r: -0xb47n
}, {
a: 0xdn,
b: 0xfe4fn,
r: 0xfe4fn
}, {
a: 0x8en,
b: 0n,
r: 0x8en
}, {
a: 0x63a3n,
b: -0x5e2n,
r: -0x441n
}, {
a: -0xbn,
b: -0xb83n,
r: -0x3n
}, {
a: 0x6bb5n,
b: -0x8ban,
r: -0x9n
}, {
a: 0xe538n,
b: -0x9n,
r: -0x1n
}, {
a: -0x1n,
b: 0xbda2n,
r: -0x1n
}, {
a: -0xf5n,
b: 0xfn,
r: -0xf1n
}, {
a: 0xbn,
b: 0xa7an,
r: 0xa7bn
}, {
a: -0x8n,
b: -0x5724n,
r: -0x4n
}, {
a: 0x7bn,
b: -0xe8n,
r: -0x85n
}, {
a: -0x19n,
b: 0n,
r: -0x19n
}, {
a: -0xa8en,
b: 0xdc7n,
r: -0x209n
}, {
a: 0x1n,
b: 0n,
r: 0x1n
}, {
a: -0xb7n,
b: 0x2n,
r: -0xb5n
}, {
a: 0xe4fn,
b: -0x3n,
r: -0x1n
}, {
a: 0x5n,
b: 0x89n,
r: 0x8dn
}, {
a: 0x524n,
b: 0xan,
r: 0x52en
}, {
a: 0xd3bn,
b: 0x3n,
r: 0xd3bn
}, {
a: -0x5bn,
b: 0xd0n,
r: -0xbn
}, {
a: 0xfdn,
b: -0x7bden,
r: -0x7b01n
}, {
a: 0xccn,
b: 0xen,
r: 0xcen
}, {
a: -0xb0e9n,
b: -0x8n,
r: -0x1n
}, {
a: -0x2f0n,
b: 0n,
r: -0x2f0n
}, {
a: -0x51en,
b: 0n,
r: -0x51en
}, {
a: -0xdn,
b: -0xbfb7n,
r: -0x5n
}, {
a: 0xb3n,
b: 0xa254n,
r: 0xa2f7n
}, {
a: 0xed9n,
b: 0n,
r: 0xed9n
}, {
a: 0x5en,
b: 0xfn,
r: 0x5fn
}, {
a: 0xae7n,
b: 0x6cn,
r: 0xaefn
}, {
a: -0x8n,
b: 0xc1n,
r: -0x7n
}, {
a: 0n,
b: -0x98c0n,
r: -0x98c0n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x43n,
b: -0xb48en,
r: -0xb48dn
}, {
a: 0x7e99n,
b: -0x54ebn,
r: -0x63n
}, {
a: -0x291n,
b: 0xda9n,
r: -0x211n
}, {
a: 0x6ed9n,
b: 0n,
r: 0x6ed9n
}, {
a: 0x304an,
b: 0n,
r: 0x304an
}, {
a: 0n,
b: 0xen,
r: 0xen
}, {
a: -0x7n,
b: -0xadf1n,
r: -0x1n
}, {
a: 0x8896n,
b: -0xaen,
r: -0x2an
}, {
a: -0x125n,
b: 0x48n,
r: -0x125n
}, {
a: -0xaecn,
b: -0xen,
r: -0xan
}, {
a: 0x8n,
b: -0x1d6n,
r: -0x1d6n
}, {
a: 0xbn,
b: -0x8n,
r: -0x5n
}, {
a: 0n,
b: 0x854n,
r: 0x854n
}, {
a: -0xc0fn,
b: 0x4en,
r: -0xc01n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0xfn,
b: 0x967n,
r: 0x96fn
}, {
a: 0x8dn,
b: 0n,
r: 0x8dn
}, {
a: -0xbn,
b: -0x8bn,
r: -0xbn
}, {
a: -0x6n,
b: 0x92n,
r: -0x6n
}, {
a: 0xb0n,
b: -0x687n,
r: -0x607n
}, {
a: 0x9n,
b: 0x280n,
r: 0x289n
}, {
a: -0xd0e6n,
b: 0x3863n,
r: -0xc085n
}, {
a: 0n,
b: -0xbn,
r: -0xbn
}, {
a: 0xdea6n,
b: 0xfn,
r: 0xdeafn
}, {
a: -0x8dn,
b: 0x3n,
r: -0x8dn
}, {
a: -0x49n,
b: -0xa64n,
r: -0x41n
}, {
a: 0x2f9n,
b: 0x19n,
r: 0x2f9n
}, {
a: -0xdd5fn,
b: -0x55n,
r: -0x55n
}, {
a: -0x8n,
b: -0xb181n,
r: -0x1n
}, {
a: -0xe2bn,
b: -0xdan,
r: -0x9n
}, {
a: 0n,
b: 0x6n,
r: 0x6n
}, {
a: 0x39n,
b: 0x3918n,
r: 0x3939n
}, {
a: 0x7fdn,
b: 0xb48n,
r: 0xffdn
}, {
a: 0x63n,
b: -0x8333n,
r: -0x8311n
}, {
a: 0xb4an,
b: -0x8088n,
r: -0x8086n
}, {
a: -0xan,
b: 0xfn,
r: -0x1n
}, {
a: -0x69n,
b: 0x7n,
r: -0x69n
}, {
a: 0x82n,
b: 0xa13en,
r: 0xa1ben
}, {
a: 0xd95n,
b: 0x9dn,
r: 0xd9dn
}, {
a: 0xebdn,
b: -0x5n,
r: -0x1n
}, {
a: 0n,
b: -0x5en,
r: -0x5en
}, {
a: 0x1097n,
b: -0xd43n,
r: -0xd41n
}, {
a: 0x4110n,
b: 0xbn,
r: 0x411bn
}, {
a: 0n,
b: -0x65n,
r: -0x65n
}, {
a: -0x16n,
b: -0xaf78n,
r: -0x16n
}, {
a: 0xan,
b: 0xbbdn,
r: 0xbbfn
}, {
a: 0n,
b: -0xe4en,
r: -0xe4en
}, {
a: 0xea9cn,
b: -0x7n,
r: -0x3n
}, {
a: -0xa27n,
b: -0xac3n,
r: -0xa03n
}, {
a: 0x58n,
b: 0xen,
r: 0x5en
}, {
a: -0x2e7an,
b: 0x5n,
r: -0x2e79n
}, {
a: 0n,
b: 0x9n,
r: 0x9n
}, {
a: 0n,
b: 0x295n,
r: 0x295n
}, {
a: 0xcecn,
b: -0xff3n,
r: -0x313n
}, {
a: 0x5300n,
b: -0x6n,
r: -0x6n
}, {
a: 0x433n,
b: 0n,
r: 0x433n
}, {
a: 0x8n,
b: 0xaefn,
r: 0xaefn
}, {
a: 0xen,
b: 0n,
r: 0xen
}, {
a: 0x327bn,
b: 0x86aan,
r: 0xb6fbn
}, {
a: -0x750en,
b: 0xd856n,
r: -0x250an
}, {
a: -0x9n,
b: -0xe117n,
r: -0x1n
}, {
a: 0n,
b: 0x6n,
r: 0x6n
}, {
a: 0x51n,
b: 0xa01n,
r: 0xa51n
}, {
a: 0x2n,
b: 0x403n,
r: 0x403n
}, {
a: -0x4dn,
b: 0xd4n,
r: -0x9n
}, {
a: 0xbcfn,
b: 0xfn,
r: 0xbcfn
}, {
a: -0xfddn,
b: 0xb8een,
r: -0x711n
}, {
a: 0x7n,
b: -0x2fan,
r: -0x2f9n
}, {
a: 0x62n,
b: 0n,
r: 0x62n
}, {
a: -0xf8cn,
b: 0n,
r: -0xf8cn
}, {
a: 0x1c9n,
b: -0xabdn,
r: -0xa35n
}, {
a: 0x42n,
b: -0xb3n,
r: -0xb1n
}, {
a: 0xeean,
b: -0xafn,
r: -0x5n
}, {
a: 0n,
b: 0xan,
r: 0xan
}, {
a: 0n,
b: 0xa31n,
r: 0xa31n
}, {
a: 0n,
b: -0x41n,
r: -0x41n
}, {
a: -0xda92n,
b: 0n,
r: -0xda92n
}, {
a: -0x8dn,
b: 0n,
r: -0x8dn
}, {
a: -0x8fdn,
b: -0xd84n,
r: -0x881n
}, {
a: -0x9c9n,
b: 0x5n,
r: -0x9c9n
}, {
a: 0n,
b: 0x145n,
r: 0x145n
}, {
a: -0x2a26n,
b: -0x51an,
r: -0x2n
}, {
a: 0x783n,
b: 0xe30n,
r: 0xfb3n
}, {
a: -0x9n,
b: 0x325dn,
r: -0x1n
}, {
a: -0xa300n,
b: 0x7a16n,
r: -0x80ean
}, {
a: 0x55n,
b: 0n,
r: 0x55n
}, {
a: 0x990n,
b: -0xccn,
r: -0x4cn
}, {
a: -0x3a5n,
b: -0x91n,
r: -0x81n
}, {
a: 0n,
b: 0x71n,
r: 0x71n
}, {
a: -0x1n,
b: 0xd335n,
r: -0x1n
}, {
a: 0n,
b: -0x7dn,
r: -0x7dn
}, {
a: 0n,
b: -0x116bn,
r: -0x116bn
}, {
a: 0xe7f6n,
b: 0xb10n,
r: 0xeff6n
}, {
a: -0xdn,
b: -0xa8an,
r: -0x9n
}, {
a: 0n,
b: 0xa6n,
r: 0xa6n
}, {
a: -0x71c4n,
b: -0x13n,
r: -0x3n
}, {
a: -0x6n,
b: 0x8an,
r: -0x6n
}, {
a: -0xfbn,
b: -0xcbn,
r: -0xcbn
}, {
a: 0x4n,
b: 0x8191n,
r: 0x8195n
}, {
a: -0xben,
b: 0n,
r: -0xben
}, {
a: 0n,
b: 0x11dn,
r: 0x11dn
}, {
a: 0x117dn,
b: -0x9n,
r: -0x1n
}, {
a: 0n,
b: 0x558cn,
r: 0x558cn
}, {
a: 0xe150n,
b: -0x6n,
r: -0x6n
}, {
a: 0n,
b: 0xcn,
r: 0xcn
}, {
a: 0n,
b: 0x5n,
r: 0x5n
}, {
a: -0x22n,
b: 0x94n,
r: -0x22n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x8n,
b: 0n,
r: 0x8n
}, {
a: 0n,
b: -0x62c1n,
r: -0x62c1n
}, {
a: -0xa15en,
b: -0xefn,
r: -0x4dn
}, {
a: 0x676bn,
b: -0xc63en,
r: -0x8015n
}, {
a: -0xc8n,
b: -0x6c6n,
r: -0xc6n
}, {
a: -0xen,
b: 0x5affn,
r: -0x1n
}, {
a: 0n,
b: 0x109n,
r: 0x109n
}, {
a: -0xd4n,
b: 0x9872n,
r: -0x82n
}, {
a: 0xen,
b: -0xcn,
r: -0x2n
}, {
a: 0x7n,
b: -0xc9cn,
r: -0xc99n
}, {
a: -0xe785n,
b: 0n,
r: -0xe785n
}, {
a: -0x4n,
b: 0x4ca1n,
r: -0x3n
}, {
a: -0xb51n,
b: -0x50n,
r: -0x41n
}, {
a: 0x3250n,
b: 0n,
r: 0x3250n
}, {
a: 0x6a1an,
b: 0n,
r: 0x6a1an
}, {
a: -0x71n,
b: 0x2n,
r: -0x71n
}, {
a: 0x4n,
b: -0xddan,
r: -0xddan
}, {
a: -0xf058n,
b: 0xa8d7n,
r: -0x5001n
}, {
a: 0x42d2n,
b: 0x613n,
r: 0x46d3n
}, {
a: 0xa464n,
b: -0x309bn,
r: -0x109bn
}, {
a: -0x43an,
b: 0xcn,
r: -0x432n
}, {
a: 0xaan,
b: 0x5n,
r: 0xafn
}, {
a: 0xdn,
b: -0xbbn,
r: -0xb3n
}, {
a: 0xdcan,
b: -0x88n,
r: -0x6n
}, {
a: 0n,
b: 0x8c6an,
r: 0x8c6an
}, {
a: 0n,
b: 0xaaedn,
r: 0xaaedn
}, {
a: 0x1754n,
b: 0n,
r: 0x1754n
}, {
a: -0xde9n,
b: 0n,
r: -0xde9n
}, {
a: 0n,
b: -0xa59fn,
r: -0xa59fn
}, {
a: 0xf8n,
b: -0x81b8n,
r: -0x8108n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0xb68n,
b: -0x832n,
r: -0x12n
}, {
a: -0xc0n,
b: 0n,
r: -0xc0n
}, {
a: 0n,
b: 0x6n,
r: 0x6n
}, {
a: 0n,
b: -0x4031n,
r: -0x4031n
}, {
a: 0xa87n,
b: 0n,
r: 0xa87n
}, {
a: 0n,
b: -0xbc9n,
r: -0xbc9n
}, {
a: 0xe228n,
b: -0x5n,
r: -0x5n
}, {
a: -0xe0fn,
b: 0n,
r: -0xe0fn
}, {
a: 0xe9n,
b: 0x2428n,
r: 0x24e9n
}, {
a: 0n,
b: 0xb1ban,
r: 0xb1ban
}, {
a: -0x6en,
b: -0x18n,
r: -0x6n
}, {
a: -0xd1n,
b: -0x31n,
r: -0x11n
}, {
a: -0x2dcan,
b: 0n,
r: -0x2dcan
}, {
a: -0xd2n,
b: 0xf6n,
r: -0x2n
}, {
a: 0x2fn,
b: 0n,
r: 0x2fn
}, {
a: 0n,
b: -0x69c5n,
r: -0x69c5n
}, {
a: 0x4n,
b: 0x762n,
r: 0x766n
}, {
a: 0n,
b: 0x91n,
r: 0x91n
}, {
a: 0xc5n,
b: 0n,
r: 0xc5n
}, {
a: 0x187n,
b: 0n,
r: 0x187n
}, {
a: 0xb4n,
b: -0xen,
r: -0xan
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0xa662n,
b: 0n,
r: 0xa662n
}, {
a: -0xbn,
b: 0x189dn,
r: -0x3n
}, {
a: 0n,
b: -0xac2n,
r: -0xac2n
}, {
a: -0xcn,
b: 0x7n,
r: -0x9n
}, {
a: -0xfa0n,
b: 0n,
r: -0xfa0n
}, {
a: 0xfn,
b: 0n,
r: 0xfn
}, {
a: 0x542n,
b: -0x53n,
r: -0x11n
}, {
a: 0x99f2n,
b: 0x9n,
r: 0x99fbn
}, {
a: 0x779fn,
b: 0x48n,
r: 0x77dfn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0n,
b: -0xan,
r: -0xan
}, {
a: 0xd6a0n,
b: -0xbn,
r: -0xbn
}, {
a: -0x9n,
b: 0n,
r: -0x9n
}, {
a: 0x8n,
b: -0x6ecn,
r: -0x6e4n
}, {
a: 0x5bn,
b: 0x35an,
r: 0x35bn
}, {
a: -0x6aan,
b: 0x8d0n,
r: -0x62an
}, {
a: -0x837n,
b: -0x455dn,
r: -0x15n
}, {
a: 0x3fcn,
b: -0x29a7n,
r: -0x2803n
}, {
a: 0x43en,
b: 0n,
r: 0x43en
}, {
a: 0n,
b: -0xd8n,
r: -0xd8n
}, {
a: 0x7n,
b: -0x3ce5n,
r: -0x3ce1n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0xdn,
b: 0n,
r: -0xdn
}, {
a: 0n,
b: -0x2703n,
r: -0x2703n
}, {
a: -0xcn,
b: -0x810n,
r: -0xcn
}, {
a: 0x8240n,
b: 0x4a53n,
r: 0xca53n
}, {
a: 0x5d56n,
b: 0x270n,
r: 0x5f76n
}, {
a: -0x4b0an,
b: -0x1f81n,
r: -0xb01n
}, {
a: -0xba97n,
b: -0xbcn,
r: -0x93n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0n,
b: 0xfn,
r: 0xfn
}, {
a: 0xen,
b: 0x99bdn,
r: 0x99bfn
}, {
a: -0xbn,
b: 0x63bn,
r: -0x1n
}, {
a: 0n,
b: 0xbda2n,
r: 0xbda2n
}, {
a: 0n,
b: -0xc5en,
r: -0xc5en
}, {
a: 0n,
b: 0x103fn,
r: 0x103fn
}, {
a: 0xdn,
b: -0x4158n,
r: -0x4153n
}, {
a: -0x55n,
b: -0x532n,
r: -0x11n
}, {
a: 0n,
b: -0x4c00n,
r: -0x4c00n
}, {
a: 0x16d2n,
b: -0xde6n,
r: -0x926n
}, {
a: 0x9n,
b: 0n,
r: 0x9n
}, {
a: -0x8cbn,
b: 0x8en,
r: -0x841n
}, {
a: 0x984n,
b: 0x67dfn,
r: 0x6fdfn
}, {
a: -0x954n,
b: 0x7n,
r: -0x951n
}, {
a: -0x31n,
b: 0n,
r: -0x31n
}, {
a: -0xae6n,
b: 0n,
r: -0xae6n
}, {
a: 0xdn,
b: 0n,
r: 0xdn
}, {
a: 0xd8n,
b: 0n,
r: 0xd8n
}, {
a: 0n,
b: -0x74an,
r: -0x74an
}, {
a: 0x2fdn,
b: 0xdn,
r: 0x2fdn
}, {
a: 0n,
b: -0xc6n,
r: -0xc6n
}, {
a: -0x81c7n,
b: 0x532n,
r: -0x80c5n
}, {
a: 0x9n,
b: 0n,
r: 0x9n
}, {
a: -0xfn,
b: 0x4ebbn,
r: -0x5n
}, {
a: 0x4n,
b: -0x2n,
r: -0x2n
}, {
a: -0x4cd2n,
b: -0x8n,
r: -0x2n
}, {
a: 0n,
b: 0x4752n,
r: 0x4752n
}, {
a: 0n,
b: -0x74d9n,
r: -0x74d9n
}, {
a: 0xfn,
b: -0x498n,
r: -0x491n
}, {
a: 0n,
b: 0xen,
r: 0xen
}, {
a: 0x3n,
b: -0xbn,
r: -0x9n
}, {
a: 0x327n,
b: -0x5n,
r: -0x1n
}, {
a: 0xa0bn,
b: 0x8n,
r: 0xa0bn
}, {
a: 0n,
b: -0x647n,
r: -0x647n
}, {
a: -0xa7n,
b: 0xb4a4n,
r: -0x3n
}, {
a: 0xbddn,
b: -0x5n,
r: -0x1n
}, {
a: 0x282cn,
b: 0n,
r: 0x282cn
}, {
a: -0xf7cn,
b: -0xab0n,
r: -0xa2cn
}, {
a: 0x5fdn,
b: -0x5en,
r: -0x1n
}, {
a: -0x80n,
b: 0n,
r: -0x80n
}, {
a: 0n,
b: 0x667n,
r: 0x667n
}, {
a: 0xd4n,
b: -0x13n,
r: -0x3n
}, {
a: -0xfd7bn,
b: 0n,
r: -0xfd7bn
}, {
a: -0xf06n,
b: -0xddn,
r: -0x5n
}, {
a: 0x6f1dn,
b: 0x7fn,
r: 0x6f7fn
}, {
a: 0xdn,
b: -0x3n,
r: -0x3n
}, {
a: 0n,
b: 0xd2n,
r: 0xd2n
}, {
a: 0n,
b: -0xbn,
r: -0xbn
}, {
a: -0xd42n,
b: -0x76n,
r: -0x42n
}, {
a: 0xan,
b: 0xb6n,
r: 0xben
}, {
a: -0x992n,
b: 0x1an,
r: -0x982n
}, {
a: -0x10f5n,
b: 0xan,
r: -0x10f5n
}, {
a: 0xdn,
b: 0x5176n,
r: 0x517fn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0n,
b: -0x8f6n,
r: -0x8f6n
}, {
a: 0x72en,
b: -0xa199n,
r: -0xa091n
}, {
a: 0n,
b: -0x713n,
r: -0x713n
}, {
a: 0n,
b: -0xccdn,
r: -0xccdn
}, {
a: 0x2fdn,
b: -0xac5n,
r: -0x801n
}, {
a: 0n,
b: -0x1664n,
r: -0x1664n
}, {
a: 0xe9n,
b: -0x1fn,
r: -0x17n
}, {
a: 0x9aan,
b: 0n,
r: 0x9aan
}, {
a: 0x9e86n,
b: -0x6n,
r: -0x2n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x5862n,
b: 0x629n,
r: -0x5841n
}, {
a: 0xe9n,
b: -0x43abn,
r: -0x4303n
}, {
a: 0n,
b: -0x997n,
r: -0x997n
}, {
a: -0xben,
b: 0n,
r: -0xben
}, {
a: -0x4n,
b: -0x4n,
r: -0x4n
}, {
a: -0xe78en,
b: -0xaef9n,
r: -0xa689n
}, {
a: -0x41e7n,
b: -0x71b9n,
r: -0x41a1n
}, {
a: -0xf311n,
b: 0xa0c1n,
r: -0x5311n
}, {
a: -0x4694n,
b: -0x4ccn,
r: -0x484n
}, {
a: 0x25n,
b: -0x854an,
r: -0x8549n
}, {
a: -0xf0n,
b: 0n,
r: -0xf0n
}, {
a: -0xan,
b: 0x73c8n,
r: -0x2n
}, {
a: 0xae9an,
b: 0n,
r: 0xae9an
}, {
a: 0n,
b: 0x2b9dn,
r: 0x2b9dn
}, {
a: -0x49n,
b: -0x9dn,
r: -0x9n
}, {
a: -0xfaf3n,
b: 0n,
r: -0xfaf3n
}, {
a: 0x165n,
b: 0x59n,
r: 0x17dn
}, {
a: 0x5edn,
b: 0xc6e7n,
r: 0xc7efn
}, {
a: 0xf746n,
b: 0x1f1en,
r: 0xff5en
}, {
a: -0xen,
b: 0xedcn,
r: -0x2n
}, {
a: 0n,
b: -0x4b8dn,
r: -0x4b8dn
}, {
a: 0n,
b: -0xcn,
r: -0xcn
}, {
a: 0n,
b: -0x6n,
r: -0x6n
}, {
a: -0x16fcn,
b: -0x2n,
r: -0x2n
}, {
a: -0xc4n,
b: -0x8an,
r: -0x82n
}, {
a: 0xf7cbn,
b: 0x5cc1n,
r: 0xffcbn
}, {
a: 0xdn,
b: 0x2n,
r: 0xfn
}, {
a: -0x47n,
b: -0x1c3n,
r: -0x43n
}, {
a: -0x2n,
b: 0x1afn,
r: -0x1n
}, {
a: -0xd5n,
b: -0xac5n,
r: -0xc5n
}, {
a: -0x8fn,
b: -0x466n,
r: -0x5n
}, {
a: -0x3edn,
b: -0xa5n,
r: -0xa5n
}, {
a: 0n,
b: 0xebb7n,
r: 0xebb7n
}, {
a: 0xfan,
b: -0xd73n,
r: -0xd01n
}, {
a: 0x7417n,
b: 0n,
r: 0x7417n
}, {
a: -0x6dbn,
b: 0x9n,
r: -0x6d3n
}, {
a: -0x8260n,
b: 0n,
r: -0x8260n
}, {
a: 0x2c4n,
b: 0xaacn,
r: 0xaecn
}, {
a: -0x4426n,
b: 0x85n,
r: -0x4421n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x7n,
b: 0n,
r: -0x7n
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x2n,
b: 0n,
r: 0x2n
}, {
a: -0x3n,
b: -0xea7n,
r: -0x3n
}, {
a: 0x745n,
b: 0n,
r: 0x745n
}, {
a: 0n,
b: 0xfcn,
r: 0xfcn
}, {
a: -0xbbbn,
b: 0x9fdn,
r: -0x203n
}, {
a: -0xb2b5n,
b: 0xe8an,
r: -0xb035n
}, {
a: 0n,
b: 0x9a5n,
r: 0x9a5n
}, {
a: 0x86n,
b: 0n,
r: 0x86n
}, {
a: 0x8n,
b: 0n,
r: 0x8n
}, {
a: -0x6ef0n,
b: 0n,
r: -0x6ef0n
}, {
a: -0x33n,
b: 0n,
r: -0x33n
}, {
a: 0xcn,
b: 0n,
r: 0xcn
}, {
a: -0xd7fn,
b: 0n,
r: -0xd7fn
}, {
a: -0x396n,
b: 0xadn,
r: -0x311n
}, {
a: -0xfa4n,
b: 0x50cn,
r: -0xaa4n
}, {
a: -0x22n,
b: 0xen,
r: -0x22n
}, {
a: 0x15n,
b: -0x8n,
r: -0x3n
}, {
a: 0x7n,
b: 0xen,
r: 0xfn
}, {
a: -0x6c4n,
b: 0x7e01n,
r: -0xc3n
}, {
a: 0xdn,
b: 0x358en,
r: 0x358fn
}, {
a: 0xcfn,
b: -0x1n,
r: -0x1n
}, {
a: 0xan,
b: 0x2an,
r: 0x2an
}, {
a: 0xcn,
b: 0n,
r: 0xcn
}, {
a: -0xc0n,
b: -0x4867n,
r: -0x27n
}, {
a: 0n,
b: -0xdd80n,
r: -0xdd80n
}, {
a: 0n,
b: 0xc0n,
r: 0xc0n
}, {
a: -0xe14n,
b: -0x6n,
r: -0x2n
}, {
a: 0x6bbn,
b: 0n,
r: 0x6bbn
}, {
a: 0xfn,
b: -0x1n,
r: -0x1n
}, {
a: -0x71n,
b: 0n,
r: -0x71n
}, {
a: -0xen,
b: 0x2n,
r: -0xen
}, {
a: 0n,
b: 0xccn,
r: 0xccn
}, {
a: 0x8n,
b: 0xbdfn,
r: 0xbdfn
}, {
a: -0x509an,
b: 0x1n,
r: -0x5099n
}, {
a: -0xf5n,
b: -0xcd6n,
r: -0xd5n
}, {
a: -0x8ed7n,
b: 0n,
r: -0x8ed7n
}, {
a: -0x1ce8n,
b: 0xf1f3n,
r: -0xc05n
}, {
a: 0n,
b: 0xdeen,
r: 0xdeen
}, {
a: 0x3n,
b: -0x856dn,
r: -0x856dn
}, {
a: 0n,
b: -0x44n,
r: -0x44n
}, {
a: 0x880n,
b: 0n,
r: 0x880n
}, {
a: -0x5cfn,
b: -0x5n,
r: -0x5n
}, {
a: -0x6b7dn,
b: -0x8417n,
r: -0x15n
}, {
a: 0x617n,
b: -0xabn,
r: -0xa9n
}, {
a: -0xa1f2n,
b: -0x404n,
r: -0x2n
}, {
a: 0n,
b: 0x87n,
r: 0x87n
}, {
a: 0x5den,
b: -0x9644n,
r: -0x9202n
}, {
a: -0x5bf3n,
b: -0x254n,
r: -0x253n
}, {
a: 0x3ddn,
b: 0xfn,
r: 0x3dfn
}, {
a: 0n,
b: 0x6cn,
r: 0x6cn
}, {
a: 0xcan,
b: 0n,
r: 0xcan
}, {
a: 0x42d6n,
b: 0x50n,
r: 0x42d6n
}, {
a: 0n,
b: -0xdn,
r: -0xdn
}, {
a: -0xbn,
b: -0x32n,
r: -0x1n
}, {
a: 0x32ecn,
b: 0xd49n,
r: 0x3fedn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: 0x8n,
b: 0x4n,
r: 0xcn
}, {
a: 0n,
b: 0n,
r: 0n
}, {
a: -0x5a97n,
b: 0x7e4n,
r: -0x5813n
}];
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();