// 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: 0xcbn,
  r: 0xccn
}, {
  a: -0xe5n,
  r: -0xe4n
}, {
  a: 0xe20n,
  r: 0xe21n
}, {
  a: 0x12n,
  r: 0x13n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xb1n,
  r: -0xb0n
}, {
  a: 0x41n,
  r: 0x42n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xde6n,
  r: -0xde5n
}, {
  a: 0x8777n,
  r: 0x8778n
}, {
  a: 0xafn,
  r: 0xb0n
}, {
  a: -0x6acdn,
  r: -0x6accn
}, {
  a: 0xf73bn,
  r: 0xf73cn
}, {
  a: 0xe5n,
  r: 0xe6n
}, {
  a: -0xf646n,
  r: -0xf645n
}, {
  a: 0x73n,
  r: 0x74n
}, {
  a: -0x9b1n,
  r: -0x9b0n
}, {
  a: -0xbb3fn,
  r: -0xbb3en
}, {
  a: 0x5ecn,
  r: 0x5edn
}, {
  a: 0x7bf1n,
  r: 0x7bf2n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x8ccn,
  r: 0x8cdn
}, {
  a: -0x96n,
  r: -0x95n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xc9n,
  r: -0xc8n
}, {
  a: -0xe199n,
  r: -0xe198n
}, {
  a: -0x19n,
  r: -0x18n
}, {
  a: -0x1dd1n,
  r: -0x1dd0n
}, {
  a: 0x3fn,
  r: 0x40n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: -0x4n,
  r: -0x3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x3c2n,
  r: -0x3c1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x314n,
  r: -0x313n
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0xc49n,
  r: 0xc4an
}, {
  a: 0x3bn,
  r: 0x3cn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0x98b6n,
  r: 0x98b7n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xb7n,
  r: -0xb6n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x950n,
  r: -0x94fn
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: -0xfn,
  r: -0xen
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x37n,
  r: 0x38n
}, {
  a: -0xa9en,
  r: -0xa9dn
}, {
  a: 0xd4n,
  r: 0xd5n
}, {
  a: 0xf52n,
  r: 0xf53n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: 0xc549n,
  r: 0xc54an
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x61n,
  r: 0x62n
}, {
  a: 0xc4n,
  r: 0xc5n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: -0x3480n,
  r: -0x347fn
}, {
  a: 0xda4n,
  r: 0xda5n
}, {
  a: 0xen,
  r: 0xfn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x81n,
  r: -0x80n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0x1aen,
  r: -0x1adn
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x4n,
  r: 0x5n
}, {
  a: -0x30acn,
  r: -0x30abn
}, {
  a: 0xb6n,
  r: 0xb7n
}, {
  a: 0x6f0n,
  r: 0x6f1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xdan,
  r: -0xd9n
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: -0x1a1n,
  r: -0x1a0n
}, {
  a: -0x886n,
  r: -0x885n
}, {
  a: -0x7c2n,
  r: -0x7c1n
}, {
  a: -0x4d85n,
  r: -0x4d84n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xen,
  r: 0xfn
}, {
  a: 0x9e0n,
  r: 0x9e1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x3bdn,
  r: -0x3bcn
}, {
  a: 0xen,
  r: 0xfn
}, {
  a: 0x74n,
  r: 0x75n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x9840n,
  r: -0x983fn
}, {
  a: -0x1n,
  r: 0n
}, {
  a: 0x7d7n,
  r: 0x7d8n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x30d8n,
  r: 0x30d9n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xe8n,
  r: 0xe9n
}, {
  a: -0xfdecn,
  r: -0xfdebn
}, {
  a: 0xaan,
  r: 0xabn
}, {
  a: -0x1n,
  r: 0n
}, {
  a: -0xf27n,
  r: -0xf26n
}, {
  a: -0x57n,
  r: -0x56n
}, {
  a: 0x78dn,
  r: 0x78en
}, {
  a: 0x3n,
  r: 0x4n
}, {
  a: -0xe832n,
  r: -0xe831n
}, {
  a: -0x561n,
  r: -0x560n
}, {
  a: 0x5n,
  r: 0x6n
}, {
  a: -0xb5fn,
  r: -0xb5en
}, {
  a: -0xfn,
  r: -0xen
}, {
  a: -0x117n,
  r: -0x116n
}, {
  a: 0xa1n,
  r: 0xa2n
}, {
  a: -0x548n,
  r: -0x547n
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: 0x84n,
  r: 0x85n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xfn,
  r: -0xen
}, {
  a: 0x207n,
  r: 0x208n
}, {
  a: 0x9bbn,
  r: 0x9bcn
}, {
  a: -0xb5bdn,
  r: -0xb5bcn
}, {
  a: 0x7n,
  r: 0x8n
}, {
  a: -0x8191n,
  r: -0x8190n
}, {
  a: -0xcdn,
  r: -0xccn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: -0xe12bn,
  r: -0xe12an
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x87n,
  r: -0x86n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x10n,
  r: 0x11n
}, {
  a: 0xceen,
  r: 0xcefn
}, {
  a: 0xd2n,
  r: 0xd3n
}, {
  a: -0x7193n,
  r: -0x7192n
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: -0x10an,
  r: -0x109n
}, {
  a: -0xff0en,
  r: -0xff0dn
}, {
  a: 0x29n,
  r: 0x2an
}, {
  a: -0xea6cn,
  r: -0xea6bn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x808n,
  r: 0x809n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xcafn,
  r: 0xcb0n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0x5cn,
  r: -0x5bn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xafdan,
  r: 0xafdbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xfc0n,
  r: 0xfc1n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xf2bn,
  r: -0xf2an
}, {
  a: 0x7n,
  r: 0x8n
}, {
  a: -0xa77n,
  r: -0xa76n
}, {
  a: -0x1f67n,
  r: -0x1f66n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: -0x7n,
  r: -0x6n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x46fn,
  r: -0x46en
}, {
  a: -0x4249n,
  r: -0x4248n
}, {
  a: -0x56dfn,
  r: -0x56den
}, {
  a: -0x82n,
  r: -0x81n
}, {
  a: -0x7078n,
  r: -0x7077n
}, {
  a: -0xed2n,
  r: -0xed1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x6c1en,
  r: 0x6c1fn
}, {
  a: 0x8f20n,
  r: 0x8f21n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xab2n,
  r: -0xab1n
}, {
  a: 0x7f3n,
  r: 0x7f4n
}, {
  a: 0x7d3dn,
  r: 0x7d3en
}, {
  a: -0x3n,
  r: -0x2n
}, {
  a: -0x89n,
  r: -0x88n
}, {
  a: 0x3cn,
  r: 0x3dn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x2a12n,
  r: -0x2a11n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: -0xef02n,
  r: -0xef01n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xebn,
  r: -0xean
}, {
  a: -0xfdn,
  r: -0xfcn
}, {
  a: 0x5n,
  r: 0x6n
}, {
  a: 0xe7n,
  r: 0xe8n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xecfn,
  r: -0xecen
}, {
  a: -0xc9f6n,
  r: -0xc9f5n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x4020n,
  r: 0x4021n
}, {
  a: -0xb26n,
  r: -0xb25n
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xad0n,
  r: -0xacfn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x2644n,
  r: -0x2643n
}, {
  a: 0x4f93n,
  r: 0x4f94n
}, {
  a: 0x90n,
  r: 0x91n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x2n,
  r: -0x1n
}, {
  a: 0x7n,
  r: 0x8n
}, {
  a: -0x99n,
  r: -0x98n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x6n,
  r: -0x5n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x111n,
  r: -0x110n
}, {
  a: 0x8n,
  r: 0x9n
}, {
  a: -0xa25n,
  r: -0xa24n
}, {
  a: -0x9n,
  r: -0x8n
}, {
  a: 0x2202n,
  r: 0x2203n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xb049n,
  r: -0xb048n
}, {
  a: -0x331an,
  r: -0x3319n
}, {
  a: -0xen,
  r: -0xdn
}, {
  a: -0x7n,
  r: -0x6n
}, {
  a: -0x864n,
  r: -0x863n
}, {
  a: -0xd4n,
  r: -0xd3n
}, {
  a: -0x2064n,
  r: -0x2063n
}, {
  a: 0x66n,
  r: 0x67n
}, {
  a: 0xbed2n,
  r: 0xbed3n
}, {
  a: 0xa5edn,
  r: 0xa5een
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0x5f9n,
  r: 0x5fan
}, {
  a: 0x504n,
  r: 0x505n
}, {
  a: -0x70n,
  r: -0x6fn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xbn,
  r: -0xan
}, {
  a: 0xa8n,
  r: 0xa9n
}, {
  a: -0x9n,
  r: -0x8n
}, {
  a: -0xff0n,
  r: -0xfefn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xffbn,
  r: -0xffan
}, {
  a: 0xe264n,
  r: 0xe265n
}, {
  a: 0xf896n,
  r: 0xf897n
}, {
  a: 0xf83n,
  r: 0xf84n
}, {
  a: 0xd68n,
  r: 0xd69n
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0x69n,
  r: 0x6an
}, {
  a: -0x1n,
  r: 0n
}, {
  a: -0xe9d2n,
  r: -0xe9d1n
}, {
  a: 0x5cn,
  r: 0x5dn
}, {
  a: 0x3n,
  r: 0x4n
}, {
  a: -0xbn,
  r: -0xan
}, {
  a: -0xb66n,
  r: -0xb65n
}, {
  a: 0x9n,
  r: 0xan
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x51bn,
  r: -0x51an
}, {
  a: -0x7n,
  r: -0x6n
}, {
  a: -0xf92n,
  r: -0xf91n
}, {
  a: 0x6d8bn,
  r: 0x6d8cn
}, {
  a: -0x8e4bn,
  r: -0x8e4an
}, {
  a: -0x6n,
  r: -0x5n
}, {
  a: -0xfbn,
  r: -0xfan
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: -0xf20n,
  r: -0xf1fn
}, {
  a: -0x5368n,
  r: -0x5367n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x4n,
  r: 0x5n
}, {
  a: 0x9n,
  r: 0xan
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x8bn,
  r: -0x8an
}, {
  a: 0xcen,
  r: 0xcfn
}, {
  a: -0x93n,
  r: -0x92n
}, {
  a: -0x895bn,
  r: -0x895an
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0x9565n,
  r: -0x9564n
}, {
  a: -0x6726n,
  r: -0x6725n
}, {
  a: -0xb8an,
  r: -0xb89n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x3n,
  r: 0x4n
}, {
  a: -0xd4n,
  r: -0xd3n
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: 0x84n,
  r: 0x85n
}, {
  a: 0x71n,
  r: 0x72n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x74dn,
  r: -0x74cn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xcen,
  r: -0xcdn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xff7n,
  r: 0xff8n
}, {
  a: 0x93an,
  r: 0x93bn
}, {
  a: 0x454n,
  r: 0x455n
}, {
  a: 0x63n,
  r: 0x64n
}, {
  a: -0xen,
  r: -0xdn
}, {
  a: 0xen,
  r: 0xfn
}, {
  a: -0xb0n,
  r: -0xafn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xben,
  r: 0xbfn
}, {
  a: -0x340n,
  r: -0x33fn
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: 0x3ban,
  r: 0x3bbn
}, {
  a: -0x6n,
  r: -0x5n
}, {
  a: 0x4n,
  r: 0x5n
}, {
  a: 0xfen,
  r: 0xffn
}, {
  a: 0x1e2n,
  r: 0x1e3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: 0x6903n,
  r: 0x6904n
}, {
  a: 0xef47n,
  r: 0xef48n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x54n,
  r: 0x55n
}, {
  a: -0x74n,
  r: -0x73n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xd80n,
  r: -0xd7fn
}, {
  a: -0xa80n,
  r: -0xa7fn
}, {
  a: -0x9n,
  r: -0x8n
}, {
  a: 0xdbn,
  r: 0xdcn
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xa861n,
  r: -0xa860n
}, {
  a: 0xacn,
  r: 0xadn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x56n,
  r: 0x57n
}, {
  a: -0xa0fn,
  r: -0xa0en
}, {
  a: 0xf10n,
  r: 0xf11n
}, {
  a: -0xaan,
  r: -0xa9n
}, {
  a: 0xa1dn,
  r: 0xa1en
}, {
  a: 0x9483n,
  r: 0x9484n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x37n,
  r: -0x36n
}, {
  a: -0xe764n,
  r: -0xe763n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x757cn,
  r: 0x757dn
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: -0x97n,
  r: -0x96n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x9b57n,
  r: 0x9b58n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xden,
  r: 0xdfn
}, {
  a: -0x206n,
  r: -0x205n
}, {
  a: 0x7n,
  r: 0x8n
}, {
  a: -0xac5n,
  r: -0xac4n
}, {
  a: 0xb9n,
  r: 0xban
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x45f4n,
  r: -0x45f3n
}, {
  a: -0x2n,
  r: -0x1n
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: -0x202n,
  r: -0x201n
}, {
  a: -0x434n,
  r: -0x433n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x5251n,
  r: 0x5252n
}, {
  a: -0xc67n,
  r: -0xc66n
}, {
  a: 0x6n,
  r: 0x7n
}, {
  a: 0xa2n,
  r: 0xa3n
}, {
  a: -0x47fen,
  r: -0x47fdn
}, {
  a: 0x8d64n,
  r: 0x8d65n
}, {
  a: 0x5e84n,
  r: 0x5e85n
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x4807n,
  r: 0x4808n
}, {
  a: -0x799n,
  r: -0x798n
}, {
  a: -0xe12bn,
  r: -0xe12an
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xb8n,
  r: 0xb9n
}, {
  a: 0xd2den,
  r: 0xd2dfn
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: -0xda2dn,
  r: -0xda2cn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x49dn,
  r: 0x49en
}, {
  a: -0xden,
  r: -0xddn
}, {
  a: 0x41c3n,
  r: 0x41c4n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xfen,
  r: 0xffn
}, {
  a: 0xf438n,
  r: 0xf439n
}, {
  a: -0xa3n,
  r: -0xa2n
}, {
  a: 0x8n,
  r: 0x9n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x3dfn,
  r: 0x3e0n
}, {
  a: -0xe494n,
  r: -0xe493n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x6n,
  r: 0x7n
}, {
  a: 0x26fn,
  r: 0x270n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: -0x65aen,
  r: -0x65adn
}, {
  a: -0x8d6n,
  r: -0x8d5n
}, {
  a: 0x6n,
  r: 0x7n
}, {
  a: -0x8936n,
  r: -0x8935n
}, {
  a: -0xf12n,
  r: -0xf11n
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: 0x96f3n,
  r: 0x96f4n
}, {
  a: -0x90n,
  r: -0x8fn
}, {
  a: -0x1497n,
  r: -0x1496n
}, {
  a: 0x5n,
  r: 0x6n
}, {
  a: 0x8n,
  r: 0x9n
}, {
  a: -0xd5c0n,
  r: -0xd5bfn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xcc55n,
  r: 0xcc56n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xbean,
  r: 0xbebn
}, {
  a: 0x7cn,
  r: 0x7dn
}, {
  a: -0x839fn,
  r: -0x839en
}, {
  a: 0x5bn,
  r: 0x5cn
}, {
  a: -0xb40n,
  r: -0xb3fn
}, {
  a: 0x34an,
  r: 0x34bn
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x30ban,
  r: -0x30b9n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xc448n,
  r: -0xc447n
}, {
  a: -0x5f5bn,
  r: -0x5f5an
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x9f21n,
  r: -0x9f20n
}, {
  a: 0xean,
  r: 0xebn
}, {
  a: 0xeacn,
  r: 0xeadn
}, {
  a: 0x44n,
  r: 0x45n
}, {
  a: 0x537n,
  r: 0x538n
}, {
  a: -0x9e6n,
  r: -0x9e5n
}, {
  a: -0xb565n,
  r: -0xb564n
}, {
  a: -0xdan,
  r: -0xd9n
}, {
  a: -0x2c2n,
  r: -0x2c1n
}, {
  a: -0xd6c6n,
  r: -0xd6c5n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x2n,
  r: -0x1n
}, {
  a: 0x2716n,
  r: 0x2717n
}, {
  a: 0xd480n,
  r: 0xd481n
}, {
  a: -0xa3dcn,
  r: -0xa3dbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x1cedn,
  r: 0x1ceen
}, {
  a: 0xaf7cn,
  r: 0xaf7dn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x7an,
  r: 0x7bn
}, {
  a: -0x71n,
  r: -0x70n
}, {
  a: 0x9ffn,
  r: 0xa00n
}, {
  a: 0x6e1n,
  r: 0x6e2n
}, {
  a: -0xf93n,
  r: -0xf92n
}, {
  a: -0xa6en,
  r: -0xa6dn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xd2n,
  r: -0xd1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xc6dn,
  r: -0xc6cn
}, {
  a: 0xbe8cn,
  r: 0xbe8dn
}, {
  a: -0xdbe4n,
  r: -0xdbe3n
}, {
  a: -0x78n,
  r: -0x77n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x2d12n,
  r: -0x2d11n
}, {
  a: -0x3f51n,
  r: -0x3f50n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x5n,
  r: 0x6n
}, {
  a: -0x6an,
  r: -0x69n
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: -0x1055n,
  r: -0x1054n
}, {
  a: 0x86n,
  r: 0x87n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: 0xb122n,
  r: 0xb123n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x59n,
  r: 0x5an
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: -0x69n,
  r: -0x68n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x5c1fn,
  r: -0x5c1en
}, {
  a: 0x2564n,
  r: 0x2565n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: -0xbc8n,
  r: -0xbc7n
}, {
  a: 0x21bn,
  r: 0x21cn
}, {
  a: -0x37n,
  r: -0x36n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: 0xbdn,
  r: 0xben
}, {
  a: 0xa16bn,
  r: 0xa16cn
}, {
  a: 0x50a6n,
  r: 0x50a7n
}, {
  a: -0xd54dn,
  r: -0xd54cn
}, {
  a: 0x34bn,
  r: 0x34cn
}, {
  a: 0x1007n,
  r: 0x1008n
}, {
  a: -0x9290n,
  r: -0x928fn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x1cbn,
  r: 0x1ccn
}, {
  a: -0xb0n,
  r: -0xafn
}, {
  a: -0x42en,
  r: -0x42dn
}, {
  a: -0xa2n,
  r: -0xa1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x64n,
  r: 0x65n
}, {
  a: 0xedn,
  r: 0xeen
}, {
  a: -0xc09n,
  r: -0xc08n
}, {
  a: 0x777n,
  r: 0x778n
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: -0xc99n,
  r: -0xc98n
}, {
  a: 0x65cn,
  r: 0x65dn
}, {
  a: 0xdf7n,
  r: 0xdf8n
}, {
  a: 0x5n,
  r: 0x6n
}, {
  a: 0xbe27n,
  r: 0xbe28n
}, {
  a: 0x661n,
  r: 0x662n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xfn,
  r: -0xen
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: 0xc90fn,
  r: 0xc910n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xaf04n,
  r: 0xaf05n
}, {
  a: 0x17d3n,
  r: 0x17d4n
}, {
  a: 0xddn,
  r: 0xden
}, {
  a: -0x1a39n,
  r: -0x1a38n
}, {
  a: 0x315n,
  r: 0x316n
}, {
  a: -0x78n,
  r: -0x77n
}, {
  a: 0x48n,
  r: 0x49n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0xafn,
  r: 0xb0n
}, {
  a: 0x9n,
  r: 0xan
}, {
  a: 0xff04n,
  r: 0xff05n
}, {
  a: 0x7062n,
  r: 0x7063n
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: 0xf3d8n,
  r: 0xf3d9n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xa8n,
  r: -0xa7n
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: 0xbe8n,
  r: 0xbe9n
}, {
  a: -0x35bn,
  r: -0x35an
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xefn,
  r: 0xf0n
}, {
  a: 0xec90n,
  r: 0xec91n
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: -0x5n,
  r: -0x4n
}, {
  a: -0xa1d1n,
  r: -0xa1d0n
}, {
  a: 0x169n,
  r: 0x16an
}, {
  a: 0xc0n,
  r: 0xc1n
}, {
  a: 0x3f6an,
  r: 0x3f6bn
}, {
  a: -0x25dn,
  r: -0x25cn
}, {
  a: 0x64cn,
  r: 0x64dn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x48bn,
  r: 0x48cn
}, {
  a: -0x46n,
  r: -0x45n
}, {
  a: -0xd3n,
  r: -0xd2n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: -0x33can,
  r: -0x33c9n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xe022n,
  r: -0xe021n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x5n,
  r: -0x4n
}, {
  a: -0x6d0n,
  r: -0x6cfn
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xaa2n,
  r: -0xaa1n
}, {
  a: -0x720en,
  r: -0x720dn
}, {
  a: 0x316n,
  r: 0x317n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x319an,
  r: -0x3199n
}, {
  a: 0xea1an,
  r: 0xea1bn
}, {
  a: -0x3e61n,
  r: -0x3e60n
}, {
  a: -0x40an,
  r: -0x409n
}, {
  a: -0xcbn,
  r: -0xcan
}, {
  a: 0xb96n,
  r: 0xb97n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x3c5n,
  r: -0x3c4n
}, {
  a: -0xb5n,
  r: -0xb4n
}, {
  a: 0xcfn,
  r: 0xd0n
}, {
  a: -0xeaa0n,
  r: -0xea9fn
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: -0xf67n,
  r: -0xf66n
}, {
  a: -0x59n,
  r: -0x58n
}, {
  a: -0x6n,
  r: -0x5n
}, {
  a: 0x3n,
  r: 0x4n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: 0x2bcn,
  r: 0x2bdn
}, {
  a: 0x5dn,
  r: 0x5en
}, {
  a: -0x8cbn,
  r: -0x8can
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x2n,
  r: -0x1n
}, {
  a: -0xd5n,
  r: -0xd4n
}, {
  a: -0xe028n,
  r: -0xe027n
}, {
  a: -0xb5n,
  r: -0xb4n
}, {
  a: -0x9n,
  r: -0x8n
}, {
  a: -0x6dn,
  r: -0x6cn
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: -0xab29n,
  r: -0xab28n
}, {
  a: 0xace3n,
  r: 0xace4n
}, {
  a: -0x2049n,
  r: -0x2048n
}, {
  a: -0x59n,
  r: -0x58n
}, {
  a: 0x313an,
  r: 0x313bn
}, {
  a: -0x19n,
  r: -0x18n
}, {
  a: -0x390en,
  r: -0x390dn
}, {
  a: -0x872fn,
  r: -0x872en
}, {
  a: -0x6dn,
  r: -0x6cn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xaeecn,
  r: 0xaeedn
}, {
  a: -0x49n,
  r: -0x48n
}, {
  a: 0xea0n,
  r: 0xea1n
}, {
  a: 0x8cfan,
  r: 0x8cfbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x4n,
  r: 0x5n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x97bn,
  r: -0x97an
}, {
  a: -0xc3n,
  r: -0xc2n
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: 0x4n,
  r: 0x5n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x6n,
  r: 0x7n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0x14n,
  r: 0x15n
}, {
  a: 0x4bn,
  r: 0x4cn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x23n,
  r: 0x24n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0x71fn,
  r: -0x71en
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0x5n,
  r: 0x6n
}, {
  a: -0xdfn,
  r: -0xden
}, {
  a: -0x3fn,
  r: -0x3en
}, {
  a: 0xe33n,
  r: 0xe34n
}, {
  a: -0x40n,
  r: -0x3fn
}, {
  a: 0xb2n,
  r: 0xb3n
}, {
  a: -0x919n,
  r: -0x918n
}, {
  a: -0xeee4n,
  r: -0xeee3n
}, {
  a: -0xc1n,
  r: -0xc0n
}, {
  a: 0xf1n,
  r: 0xf2n
}, {
  a: 0x32c8n,
  r: 0x32c9n
}, {
  a: 0x58n,
  r: 0x59n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x38dn,
  r: 0x38en
}, {
  a: -0x3f1dn,
  r: -0x3f1cn
}, {
  a: 0xd6n,
  r: 0xd7n
}, {
  a: -0x49cn,
  r: -0x49bn
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xbc3n,
  r: 0xbc4n
}, {
  a: 0x632fn,
  r: 0x6330n
}, {
  a: 0xf54n,
  r: 0xf55n
}, {
  a: 0x90n,
  r: 0x91n
}, {
  a: 0xd9n,
  r: 0xdan
}, {
  a: 0xe0n,
  r: 0xe1n
}, {
  a: 0x87f2n,
  r: 0x87f3n
}, {
  a: 0xdfn,
  r: 0xe0n
}, {
  a: -0x175n,
  r: -0x174n
}, {
  a: -0x4640n,
  r: -0x463fn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: -0xeb56n,
  r: -0xeb55n
}, {
  a: -0xcb15n,
  r: -0xcb14n
}, {
  a: 0x40n,
  r: 0x41n
}, {
  a: 0x3fdn,
  r: 0x3fen
}, {
  a: 0x87bbn,
  r: 0x87bcn
}, {
  a: 0xen,
  r: 0xfn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xdf74n,
  r: -0xdf73n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x55n,
  r: 0x56n
}, {
  a: -0x7n,
  r: -0x6n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xcdn,
  r: 0xcen
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: -0x9afn,
  r: -0x9aen
}, {
  a: -0x836an,
  r: -0x8369n
}, {
  a: -0xc13n,
  r: -0xc12n
}, {
  a: 0x5cdn,
  r: 0x5cen
}, {
  a: 0x45f1n,
  r: 0x45f2n
}, {
  a: -0xe1can,
  r: -0xe1c9n
}, {
  a: 0xcb2n,
  r: 0xcb3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x92abn,
  r: -0x92aan
}, {
  a: -0xbfn,
  r: -0xben
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: 0x704n,
  r: 0x705n
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: 0x6fd7n,
  r: 0x6fd8n
}, {
  a: 0x7e0an,
  r: 0x7e0bn
}, {
  a: -0xd1an,
  r: -0xd19n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x1n,
  r: 0n
}, {
  a: 0x26f0n,
  r: 0x26f1n
}, {
  a: 0x921n,
  r: 0x922n
}, {
  a: -0x422n,
  r: -0x421n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x48aan,
  r: -0x48a9n
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: -0xc8b4n,
  r: -0xc8b3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: -0x9n,
  r: -0x8n
}, {
  a: 0x5n,
  r: 0x6n
}, {
  a: -0x19n,
  r: -0x18n
}, {
  a: -0x9b6dn,
  r: -0x9b6cn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x3n,
  r: -0x2n
}, {
  a: 0xca1n,
  r: 0xca2n
}, {
  a: 0xcf2n,
  r: 0xcf3n
}, {
  a: -0x3bn,
  r: -0x3an
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: -0xfn,
  r: -0xen
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: -0x97c5n,
  r: -0x97c4n
}, {
  a: 0x1bcan,
  r: 0x1bcbn
}, {
  a: 0x7fn,
  r: 0x80n
}, {
  a: 0xd00n,
  r: 0xd01n
}, {
  a: 0x42n,
  r: 0x43n
}, {
  a: -0x39e9n,
  r: -0x39e8n
}, {
  a: 0xeeb1n,
  r: 0xeeb2n
}, {
  a: 0x4n,
  r: 0x5n
}, {
  a: 0xbb6n,
  r: 0xbb7n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x34n,
  r: 0x35n
}, {
  a: 0x733n,
  r: 0x734n
}, {
  a: -0x5203n,
  r: -0x5202n
}, {
  a: 0x88aan,
  r: 0x88abn
}, {
  a: -0x2n,
  r: -0x1n
}, {
  a: 0xb4n,
  r: 0xb5n
}, {
  a: -0x7d1n,
  r: -0x7d0n
}, {
  a: -0xfdn,
  r: -0xfcn
}, {
  a: 0x3d69n,
  r: 0x3d6an
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x9n,
  r: -0x8n
}, {
  a: -0x5n,
  r: -0x4n
}, {
  a: -0xd3fn,
  r: -0xd3en
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x47n,
  r: -0x46n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x4an,
  r: 0x4bn
}, {
  a: 0x4d6en,
  r: 0x4d6fn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xb6n,
  r: 0xb7n
}, {
  a: -0x3n,
  r: -0x2n
}, {
  a: 0x2fn,
  r: 0x30n
}, {
  a: 0x637dn,
  r: 0x637en
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x3f0dn,
  r: -0x3f0cn
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: 0x1en,
  r: 0x1fn
}, {
  a: -0x4an,
  r: -0x49n
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: 0x44cen,
  r: 0x44cfn
}, {
  a: -0x5fn,
  r: -0x5en
}, {
  a: -0x2n,
  r: -0x1n
}, {
  a: -0xaef9n,
  r: -0xaef8n
}, {
  a: -0x6f7n,
  r: -0x6f6n
}, {
  a: -0x4189n,
  r: -0x4188n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: 0xden,
  r: 0xdfn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xae31n,
  r: -0xae30n
}, {
  a: -0xec1dn,
  r: -0xec1cn
}, {
  a: 0x454n,
  r: 0x455n
}, {
  a: 0xce10n,
  r: 0xce11n
}, {
  a: 0x77n,
  r: 0x78n
}, {
  a: 0xcc0en,
  r: 0xcc0fn
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: 0xfc02n,
  r: 0xfc03n
}, {
  a: 0x7n,
  r: 0x8n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xbfbn,
  r: 0xbfcn
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: -0x9c7dn,
  r: -0x9c7cn
}, {
  a: -0x564n,
  r: -0x563n
}, {
  a: -0xen,
  r: -0xdn
}, {
  a: 0x4n,
  r: 0x5n
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: -0x51c0n,
  r: -0x51bfn
}, {
  a: 0xacb7n,
  r: 0xacb8n
}, {
  a: -0xfn,
  r: -0xen
}, {
  a: 0x482n,
  r: 0x483n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x14n,
  r: -0x13n
}, {
  a: 0x5d9an,
  r: 0x5d9bn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xd9n,
  r: 0xdan
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: -0x6edn,
  r: -0x6ecn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xfa3n,
  r: 0xfa4n
}, {
  a: -0x836fn,
  r: -0x836en
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0xbn,
  r: -0xan
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: 0x23n,
  r: 0x24n
}, {
  a: -0x2868n,
  r: -0x2867n
}, {
  a: 0xd0n,
  r: 0xd1n
}, {
  a: 0xfn,
  r: 0x10n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xad4n,
  r: 0xad5n
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: 0x5763n,
  r: 0x5764n
}, {
  a: 0x85bn,
  r: 0x85cn
}, {
  a: 0x8n,
  r: 0x9n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xdf2n,
  r: 0xdf3n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0xd80en,
  r: -0xd80dn
}, {
  a: 0xc86n,
  r: 0xc87n
}, {
  a: 0x6fn,
  r: 0x70n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xc8n,
  r: 0xc9n
}, {
  a: -0xc1f8n,
  r: -0xc1f7n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0x3n,
  r: -0x2n
}, {
  a: 0x2d20n,
  r: 0x2d21n
}, {
  a: 0xf298n,
  r: 0xf299n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xcn,
  r: 0xdn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xaf3fn,
  r: -0xaf3en
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x2087n,
  r: -0x2086n
}, {
  a: 0xe4e8n,
  r: 0xe4e9n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: 0x8n,
  r: 0x9n
}, {
  a: -0x7f1n,
  r: -0x7f0n
}, {
  a: 0x9n,
  r: 0xan
}, {
  a: -0xb6n,
  r: -0xb5n
}, {
  a: -0x3e00n,
  r: -0x3dffn
}, {
  a: -0x1n,
  r: 0n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0x7n,
  r: -0x6n
}, {
  a: 0xabn,
  r: 0xacn
}, {
  a: -0xdn,
  r: -0xcn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: 0xa5n,
  r: 0xa6n
}, {
  a: 0xa5n,
  r: 0xa6n
}, {
  a: 0x9a3n,
  r: 0x9a4n
}, {
  a: 0x76n,
  r: 0x77n
}, {
  a: 0x610n,
  r: 0x611n
}, {
  a: 0x48cn,
  r: 0x48dn
}, {
  a: -0x5fn,
  r: -0x5en
}, {
  a: 0x7n,
  r: 0x8n
}, {
  a: -0x833n,
  r: -0x832n
}, {
  a: 0x5c4n,
  r: 0x5c5n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x766n,
  r: 0x767n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xb3n,
  r: -0xb2n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0xen,
  r: 0xfn
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: 0xc01n,
  r: 0xc02n
}, {
  a: 0xa3ban,
  r: 0xa3bbn
}, {
  a: -0xa7dcn,
  r: -0xa7dbn
}, {
  a: 0x7bn,
  r: 0x7cn
}, {
  a: 0xcc1fn,
  r: 0xcc20n
}, {
  a: 0x18n,
  r: 0x19n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x95dn,
  r: 0x95en
}, {
  a: 0x8n,
  r: 0x9n
}, {
  a: -0x2113n,
  r: -0x2112n
}, {
  a: -0xen,
  r: -0xdn
}, {
  a: 0x2cd7n,
  r: 0x2cd8n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0x6817n,
  r: 0x6818n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xan,
  r: -0x9n
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: -0x8aan,
  r: -0x8a9n
}, {
  a: -0xb02n,
  r: -0xb01n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x6e5n,
  r: 0x6e6n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x52n,
  r: -0x51n
}, {
  a: -0x7n,
  r: -0x6n
}, {
  a: -0xe55n,
  r: -0xe54n
}, {
  a: 0x2n,
  r: 0x3n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x816n,
  r: -0x815n
}, {
  a: -0x8561n,
  r: -0x8560n
}, {
  a: -0xef5an,
  r: -0xef59n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xafn,
  r: -0xaen
}, {
  a: 0xc3n,
  r: 0xc4n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x5an,
  r: 0x5bn
}, {
  a: -0xebn,
  r: -0xean
}, {
  a: -0x4n,
  r: -0x3n
}, {
  a: 0xd56dn,
  r: 0xd56en
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xee82n,
  r: 0xee83n
}, {
  a: -0x8n,
  r: -0x7n
}, {
  a: -0x4bfn,
  r: -0x4ben
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xa1n,
  r: 0xa2n
}, {
  a: 0xb0bn,
  r: 0xb0cn
}, {
  a: -0xc8en,
  r: -0xc8dn
}, {
  a: -0xba1n,
  r: -0xba0n
}, {
  a: -0x90n,
  r: -0x8fn
}, {
  a: 0x4b30n,
  r: 0x4b31n
}, {
  a: -0xcfc8n,
  r: -0xcfc7n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xcccfn,
  r: 0xccd0n
}, {
  a: -0xef77n,
  r: -0xef76n
}, {
  a: -0xebn,
  r: -0xean
}, {
  a: -0x2n,
  r: -0x1n
}, {
  a: 0xdn,
  r: 0xen
}, {
  a: -0xe0n,
  r: -0xdfn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x61n,
  r: 0x62n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0x165n,
  r: -0x164n
}, {
  a: 0x44n,
  r: 0x45n
}, {
  a: -0xc3cn,
  r: -0xc3bn
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: 0x3ae1n,
  r: 0x3ae2n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xe20n,
  r: -0xe1fn
}, {
  a: 0x88n,
  r: 0x89n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x77n,
  r: 0x78n
}, {
  a: -0xd81n,
  r: -0xd80n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x50n,
  r: 0x51n
}, {
  a: -0xfb9n,
  r: -0xfb8n
}, {
  a: -0x45d4n,
  r: -0x45d3n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: 0xbn,
  r: 0xcn
}, {
  a: -0x4dn,
  r: -0x4cn
}, {
  a: -0x6n,
  r: -0x5n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x27n,
  r: 0x28n
}, {
  a: 0xan,
  r: 0xbn
}, {
  a: -0x640n,
  r: -0x63fn
}, {
  a: 0xccfn,
  r: 0xcd0n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xc9c5n,
  r: 0xc9c6n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0x3n,
  r: 0x4n
}, {
  a: -0xa3n,
  r: -0xa2n
}, {
  a: -0xbn,
  r: -0xan
}, {
  a: -0x5n,
  r: -0x4n
}, {
  a: -0x9d1bn,
  r: -0x9d1an
}, {
  a: -0xecn,
  r: -0xebn
}, {
  a: -0x33n,
  r: -0x32n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0xf380n,
  r: 0xf381n
}, {
  a: 0x1bc8n,
  r: 0x1bc9n
}, {
  a: 0xe47n,
  r: 0xe48n
}, {
  a: 0x1n,
  r: 0x2n
}, {
  a: 0x829n,
  r: 0x82an
}, {
  a: -0xcn,
  r: -0xbn
}, {
  a: 0xb54n,
  r: 0xb55n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xd8n,
  r: -0xd7n
}, {
  a: -0x308n,
  r: -0x307n
}, {
  a: -0xc8n,
  r: -0xc7n
}, {
  a: -0x7n,
  r: -0x6n
}, {
  a: 0n,
  r: 0x1n
}, {
  a: -0xe5n,
  r: -0xe4n
}, {
  a: -0x865n,
  r: -0x864n
}, {
  a: 0x6n,
  r: 0x7n
}];

function main() {
  var error_count = 0;
  for (var i = 0; i < data.length; i++) {
    var d = data[i];
    var a = d.a;
  var r = ++a;
  if (d.r !== r) {
    print("Input:    " + a.toString(16));
    print("Result:   " + r.toString(16));
    print("Expected: " + d.r.toString(16));
    error_count++;
  }
  }
  if (error_count !== 0)
    throw new Error("Finished with " + error_count + " errors.")
}
for (var i = 0; i < 1000; ++i)
  main();