// 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,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x46fn,
  r: 0x46en
}, {
  a: 0x383bn,
  r: 0x383an
}, {
  a: -0xafn,
  r: -0xb0n
}, {
  a: -0x6dn,
  r: -0x6en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xedn,
  r: -0xeen
}, {
  a: 0x4c4n,
  r: 0x4c3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xe6n,
  r: -0xe7n
}, {
  a: 0x74n,
  r: 0x73n
}, {
  a: 0x5en,
  r: 0x5dn
}, {
  a: 0x219n,
  r: 0x218n
}, {
  a: 0x38n,
  r: 0x37n
}, {
  a: -0x339bn,
  r: -0x339cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x59n,
  r: -0x5an
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x6703n,
  r: -0x6704n
}, {
  a: 0x7n,
  r: 0x6n
}, {
  a: 0x299an,
  r: 0x2999n
}, {
  a: 0xc92n,
  r: 0xc91n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: 0x8512n,
  r: 0x8511n
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: 0x5ban,
  r: 0x5b9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xe88n,
  r: -0xe89n
}, {
  a: -0xab27n,
  r: -0xab28n
}, {
  a: 0xban,
  r: 0xb9n
}, {
  a: 0x162n,
  r: 0x161n
}, {
  a: 0x30n,
  r: 0x2fn
}, {
  a: -0x39e0n,
  r: -0x39e1n
}, {
  a: -0xb37n,
  r: -0xb38n
}, {
  a: -0x2a2n,
  r: -0x2a3n
}, {
  a: -0xca5cn,
  r: -0xca5dn
}, {
  a: 0x9d8n,
  r: 0x9d7n
}, {
  a: -0x6n,
  r: -0x7n
}, {
  a: -0x17e6n,
  r: -0x17e7n
}, {
  a: 0xa8n,
  r: 0xa7n
}, {
  a: -0x78n,
  r: -0x79n
}, {
  a: 0x6248n,
  r: 0x6247n
}, {
  a: 0xdcn,
  r: 0xdbn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8cn,
  r: -0x8dn
}, {
  a: -0xa6n,
  r: -0xa7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xfn,
  r: -0x10n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: -0x9n
}, {
  a: 0x1c0bn,
  r: 0x1c0an
}, {
  a: -0xc1n,
  r: -0xc2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xa84en,
  r: -0xa84fn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: -0x9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x399n,
  r: -0x39an
}, {
  a: -0x7bn,
  r: -0x7cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xf15cn,
  r: 0xf15bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xcn,
  r: -0xdn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x500an,
  r: -0x500bn
}, {
  a: -0x9n,
  r: -0xan
}, {
  a: -0xfen,
  r: -0xffn
}, {
  a: 0x29n,
  r: 0x28n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x1dn,
  r: 0x1cn
}, {
  a: 0xbf8n,
  r: 0xbf7n
}, {
  a: -0x15ben,
  r: -0x15bfn
}, {
  a: -0x811n,
  r: -0x812n
}, {
  a: -0xedf6n,
  r: -0xedf7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x1f2n,
  r: 0x1f1n
}, {
  a: 0xe364n,
  r: 0xe363n
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x44n,
  r: -0x45n
}, {
  a: 0x58e7n,
  r: 0x58e6n
}, {
  a: -0xa779n,
  r: -0xa77an
}, {
  a: 0x3042n,
  r: 0x3041n
}, {
  a: 0x2n,
  r: 0x1n
}, {
  a: 0x5671n,
  r: 0x5670n
}, {
  a: 0x8n,
  r: 0x7n
}, {
  a: -0xcc5n,
  r: -0xcc6n
}, {
  a: 0x6051n,
  r: 0x6050n
}, {
  a: -0xf78n,
  r: -0xf79n
}, {
  a: 0x4c52n,
  r: 0x4c51n
}, {
  a: -0x933n,
  r: -0x934n
}, {
  a: -0x83b1n,
  r: -0x83b2n
}, {
  a: 0x7654n,
  r: 0x7653n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xbe1en,
  r: 0xbe1dn
}, {
  a: -0xd5n,
  r: -0xd6n
}, {
  a: -0xa2n,
  r: -0xa3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xfan,
  r: -0xfbn
}, {
  a: -0x7n,
  r: -0x8n
}, {
  a: -0x61e0n,
  r: -0x61e1n
}, {
  a: 0xc7n,
  r: 0xc6n
}, {
  a: -0xc07n,
  r: -0xc08n
}, {
  a: 0xc08n,
  r: 0xc07n
}, {
  a: -0x76bn,
  r: -0x76cn
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x293n,
  r: 0x292n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x50dn,
  r: -0x50en
}, {
  a: -0xece3n,
  r: -0xece4n
}, {
  a: -0x81n,
  r: -0x82n
}, {
  a: -0x8n,
  r: -0x9n
}, {
  a: -0xe63n,
  r: -0xe64n
}, {
  a: -0x6b93n,
  r: -0x6b94n
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: -0xben,
  r: -0xbfn
}, {
  a: 0x80n,
  r: 0x7fn
}, {
  a: -0x37e6n,
  r: -0x37e7n
}, {
  a: 0x923n,
  r: 0x922n
}, {
  a: -0xfen,
  r: -0xffn
}, {
  a: 0xe9edn,
  r: 0xe9ecn
}, {
  a: 0x642fn,
  r: 0x642en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2a8n,
  r: -0x2a9n
}, {
  a: 0x8an,
  r: 0x89n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xe0e3n,
  r: -0xe0e4n
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xaan,
  r: -0xabn
}, {
  a: -0xb512n,
  r: -0xb513n
}, {
  a: -0xa0n,
  r: -0xa1n
}, {
  a: -0xb4n,
  r: -0xb5n
}, {
  a: 0xe6n,
  r: 0xe5n
}, {
  a: 0x4ban,
  r: 0x4b9n
}, {
  a: 0xe4an,
  r: 0xe49n
}, {
  a: -0x4n,
  r: -0x5n
}, {
  a: 0x75en,
  r: 0x75dn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xan,
  r: 0x9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x622dn,
  r: 0x622cn
}, {
  a: -0x3ee7n,
  r: -0x3ee8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x22a8n,
  r: 0x22a7n
}, {
  a: -0xe8an,
  r: -0xe8bn
}, {
  a: 0xb8n,
  r: 0xb7n
}, {
  a: 0x2472n,
  r: 0x2471n
}, {
  a: -0x157n,
  r: -0x158n
}, {
  a: -0x5n,
  r: -0x6n
}, {
  a: 0xan,
  r: 0x9n
}, {
  a: 0xedn,
  r: 0xecn
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: 0x1n,
  r: 0n
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: -0xfd1n,
  r: -0xfd2n
}, {
  a: 0x32n,
  r: 0x31n
}, {
  a: -0xan,
  r: -0xbn
}, {
  a: 0x3an,
  r: 0x39n
}, {
  a: 0x12n,
  r: 0x11n
}, {
  a: -0xb014n,
  r: -0xb015n
}, {
  a: -0xa3an,
  r: -0xa3bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xan,
  r: 0x9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xfn,
  r: -0x10n
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: 0xb822n,
  r: 0xb821n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xcc2n,
  r: -0xcc3n
}, {
  a: -0xfan,
  r: -0xfbn
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0x2f22n,
  r: 0x2f21n
}, {
  a: 0x8b95n,
  r: 0x8b94n
}, {
  a: -0x4n,
  r: -0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xbd5en,
  r: 0xbd5dn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7c4n,
  r: 0x7c3n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: 0x4n,
  r: 0x3n
}, {
  a: 0x13cn,
  r: 0x13bn
}, {
  a: 0xdn,
  r: 0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x7an,
  r: -0x7bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xc51n,
  r: -0xc52n
}, {
  a: 0x76cn,
  r: 0x76bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x4544n,
  r: -0x4545n
}, {
  a: -0xfn,
  r: -0x10n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x743n,
  r: -0x744n
}, {
  a: -0xbe1bn,
  r: -0xbe1cn
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: -0x11n,
  r: -0x12n
}, {
  a: 0x10n,
  r: 0xfn
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: 0x8n,
  r: 0x7n
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: 0xd56n,
  r: 0xd55n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: 0x2bn,
  r: 0x2an
}, {
  a: -0x801n,
  r: -0x802n
}, {
  a: 0x91n,
  r: 0x90n
}, {
  a: -0x181bn,
  r: -0x181cn
}, {
  a: 0xdfn,
  r: 0xden
}, {
  a: -0xc71cn,
  r: -0xc71dn
}, {
  a: -0x483n,
  r: -0x484n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xfn,
  r: -0x10n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: -0x92n,
  r: -0x93n
}, {
  a: 0x92n,
  r: 0x91n
}, {
  a: 0x722n,
  r: 0x721n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8f45n,
  r: 0x8f44n
}, {
  a: 0xcb0n,
  r: 0xcafn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xb0n,
  r: -0xb1n
}, {
  a: 0xf1can,
  r: 0xf1c9n
}, {
  a: 0x3c3en,
  r: 0x3c3dn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x4n,
  r: -0x5n
}, {
  a: -0xbden,
  r: -0xbdfn
}, {
  a: -0x1n,
  r: -0x2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x4n,
  r: -0x5n
}, {
  a: -0xc9fan,
  r: -0xc9fbn
}, {
  a: 0xf2n,
  r: 0xf1n
}, {
  a: 0xe1n,
  r: 0xe0n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd9cn,
  r: -0xd9dn
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: -0x6c4en,
  r: -0x6c4fn
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x6n,
  r: -0x7n
}, {
  a: 0xb7n,
  r: 0xb6n
}, {
  a: 0xacn,
  r: 0xabn
}, {
  a: 0xb06n,
  r: 0xb05n
}, {
  a: 0x74n,
  r: 0x73n
}, {
  a: 0xc6aen,
  r: 0xc6adn
}, {
  a: 0x91n,
  r: 0x90n
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: -0xe8an,
  r: -0xe8bn
}, {
  a: 0x864n,
  r: 0x863n
}, {
  a: -0x78n,
  r: -0x79n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xffn,
  r: 0xfen
}, {
  a: 0x9f05n,
  r: 0x9f04n
}, {
  a: 0xacn,
  r: 0xabn
}, {
  a: -0xfecn,
  r: -0xfedn
}, {
  a: 0xd6f7n,
  r: 0xd6f6n
}, {
  a: -0x997n,
  r: -0x998n
}, {
  a: -0x8n,
  r: -0x9n
}, {
  a: 0xa756n,
  r: 0xa755n
}, {
  a: -0x8da7n,
  r: -0x8da8n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: -0x8ba2n,
  r: -0x8ba3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1cen,
  r: -0x1cfn
}, {
  a: 0xf3n,
  r: 0xf2n
}, {
  a: -0x590n,
  r: -0x591n
}, {
  a: -0x9facn,
  r: -0x9fadn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: -0x2n,
  r: -0x3n
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: -0x6662n,
  r: -0x6663n
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: -0x6bn,
  r: -0x6cn
}, {
  a: 0x78c1n,
  r: 0x78c0n
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: -0xc9n,
  r: -0xcan
}, {
  a: 0x10dn,
  r: 0x10cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: 0xfc8n,
  r: 0xfc7n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbf5n,
  r: -0xbf6n
}, {
  a: -0x80cn,
  r: -0x80dn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x71n,
  r: -0x72n
}, {
  a: 0xedf8n,
  r: 0xedf7n
}, {
  a: 0x8n,
  r: 0x7n
}, {
  a: 0x2c79n,
  r: 0x2c78n
}, {
  a: -0x636n,
  r: -0x637n
}, {
  a: -0x54n,
  r: -0x55n
}, {
  a: -0xac37n,
  r: -0xac38n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8863n,
  r: -0x8864n
}, {
  a: 0x345n,
  r: 0x344n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xf6e7n,
  r: -0xf6e8n
}, {
  a: 0xa168n,
  r: 0xa167n
}, {
  a: -0xe2n,
  r: -0xe3n
}, {
  a: 0x8dn,
  r: 0x8cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x592dn,
  r: 0x592cn
}, {
  a: 0xe794n,
  r: 0xe793n
}, {
  a: -0x63n,
  r: -0x64n
}, {
  a: 0xe3n,
  r: 0xe2n
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: -0x9n,
  r: -0xan
}, {
  a: 0x96dn,
  r: 0x96cn
}, {
  a: -0xbn,
  r: -0xcn
}, {
  a: 0xf81dn,
  r: 0xf81cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xf6a6n,
  r: -0xf6a7n
}, {
  a: -0xc0n,
  r: -0xc1n
}, {
  a: -0x2n,
  r: -0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xa4an,
  r: 0xa49n
}, {
  a: -0xen,
  r: -0xfn
}, {
  a: 0x15n,
  r: 0x14n
}, {
  a: -0x782n,
  r: -0x783n
}, {
  a: -0xbn,
  r: -0xcn
}, {
  a: -0x1f40n,
  r: -0x1f41n
}, {
  a: -0x2c9n,
  r: -0x2can
}, {
  a: 0x1b2n,
  r: 0x1b1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xdn,
  r: 0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x7n,
  r: -0x8n
}, {
  a: -0x8d8n,
  r: -0x8d9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xd665n,
  r: 0xd664n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xen,
  r: -0xfn
}, {
  a: -0xd91fn,
  r: -0xd920n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2031n,
  r: -0x2032n
}, {
  a: 0x85n,
  r: 0x84n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: 0xd772n,
  r: 0xd771n
}, {
  a: 0x4n,
  r: 0x3n
}, {
  a: -0x8dn,
  r: -0x8en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5748n,
  r: 0x5747n
}, {
  a: 0x3763n,
  r: 0x3762n
}, {
  a: 0xb20cn,
  r: 0xb20bn
}, {
  a: -0xb3n,
  r: -0xb4n
}, {
  a: 0x2n,
  r: 0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xc5f7n,
  r: -0xc5f8n
}, {
  a: -0x80bn,
  r: -0x80cn
}, {
  a: 0x4a12n,
  r: 0x4a11n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xfcdn,
  r: -0xfcen
}, {
  a: -0x4dn,
  r: -0x4en
}, {
  a: 0x3ffn,
  r: 0x3fen
}, {
  a: -0xcn,
  r: -0xdn
}, {
  a: 0x31n,
  r: 0x30n
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: 0xb66n,
  r: 0xb65n
}, {
  a: 0x7n,
  r: 0x6n
}, {
  a: -0xaan,
  r: -0xabn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x55ccn,
  r: -0x55cdn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2faen,
  r: -0x2fafn
}, {
  a: 0xfa30n,
  r: 0xfa2fn
}, {
  a: 0x557n,
  r: 0x556n
}, {
  a: 0xdan,
  r: 0xd9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd61n,
  r: -0xd62n
}, {
  a: -0xeb23n,
  r: -0xeb24n
}, {
  a: -0x715n,
  r: -0x716n
}, {
  a: -0x9an,
  r: -0x9bn
}, {
  a: -0x410n,
  r: -0x411n
}, {
  a: 0xf2b5n,
  r: 0xf2b4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd75n,
  r: -0xd76n
}, {
  a: 0x841cn,
  r: 0x841bn
}, {
  a: -0xb08n,
  r: -0xb09n
}, {
  a: 0x88n,
  r: 0x87n
}, {
  a: -0x3bn,
  r: -0x3cn
}, {
  a: -0x421fn,
  r: -0x4220n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0x41n,
  r: 0x40n
}, {
  a: 0x94c1n,
  r: 0x94c0n
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x35fn,
  r: -0x360n
}, {
  a: 0x1d55n,
  r: 0x1d54n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x4dfen,
  r: 0x4dfdn
}, {
  a: -0xfn,
  r: -0x10n
}, {
  a: 0xc9a6n,
  r: 0xc9a5n
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: -0xb4n,
  r: -0xb5n
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: -0x2a3en,
  r: -0x2a3fn
}, {
  a: 0x541n,
  r: 0x540n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x9103n,
  r: -0x9104n
}, {
  a: -0xa260n,
  r: -0xa261n
}, {
  a: -0xf6n,
  r: -0xf7n
}, {
  a: -0xdcb4n,
  r: -0xdcb5n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: -0x421n,
  r: -0x422n
}, {
  a: -0x1fan,
  r: -0x1fbn
}, {
  a: -0x2dn,
  r: -0x2en
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: -0x15fdn,
  r: -0x15fen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: 0xd788n,
  r: 0xd787n
}, {
  a: -0x88fn,
  r: -0x890n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x9n,
  r: 0x8n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: -0x1c4n,
  r: -0x1c5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x7a1n,
  r: -0x7a2n
}, {
  a: 0x42c2n,
  r: 0x42c1n
}, {
  a: -0x7c1n,
  r: -0x7c2n
}, {
  a: 0x35e0n,
  r: 0x35dfn
}, {
  a: 0xan,
  r: 0x9n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: -0x12n,
  r: -0x13n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x63n,
  r: 0x62n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x205n,
  r: -0x206n
}, {
  a: 0x8358n,
  r: 0x8357n
}, {
  a: 0x7n,
  r: 0x6n
}, {
  a: 0xf51n,
  r: 0xf50n
}, {
  a: -0xfn,
  r: -0x10n
}, {
  a: 0x8af5n,
  r: 0x8af4n
}, {
  a: -0x66bn,
  r: -0x66cn
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: 0xf75n,
  r: 0xf74n
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: -0xede0n,
  r: -0xede1n
}, {
  a: -0x746n,
  r: -0x747n
}, {
  a: -0xc54n,
  r: -0xc55n
}, {
  a: -0xb002n,
  r: -0xb003n
}, {
  a: 0xdn,
  r: 0xcn
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: -0x6bn,
  r: -0x6cn
}, {
  a: -0xcn,
  r: -0xdn
}, {
  a: 0x1cfn,
  r: 0x1cen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x17f4n,
  r: 0x17f3n
}, {
  a: 0xa1bbn,
  r: 0xa1ban
}, {
  a: -0xcdddn,
  r: -0xcdden
}, {
  a: 0x742n,
  r: 0x741n
}, {
  a: 0x9n,
  r: 0x8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x42n,
  r: -0x43n
}, {
  a: 0x26fn,
  r: 0x26en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xf9n,
  r: 0xf8n
}, {
  a: -0xa4c5n,
  r: -0xa4c6n
}, {
  a: -0x2854n,
  r: -0x2855n
}, {
  a: 0x24n,
  r: 0x23n
}, {
  a: -0x8e2n,
  r: -0x8e3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x49an,
  r: 0x499n
}, {
  a: -0x385dn,
  r: -0x385en
}, {
  a: 0x395n,
  r: 0x394n
}, {
  a: -0xccn,
  r: -0xcdn
}, {
  a: 0x6a6n,
  r: 0x6a5n
}, {
  a: 0xcf0en,
  r: 0xcf0dn
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: -0x9b5n,
  r: -0x9b6n
}, {
  a: 0xd26n,
  r: 0xd25n
}, {
  a: 0xcdn,
  r: 0xccn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: -0x56fn,
  r: -0x570n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xfb0en,
  r: 0xfb0dn
}, {
  a: 0xcd96n,
  r: 0xcd95n
}, {
  a: 0x6022n,
  r: 0x6021n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: 0xdbdn,
  r: 0xdbcn
}, {
  a: 0x445dn,
  r: 0x445cn
}, {
  a: 0xcdn,
  r: 0xccn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7bn,
  r: 0x7an
}, {
  a: -0xbn,
  r: -0xcn
}, {
  a: 0xden,
  r: 0xddn
}, {
  a: -0x51bn,
  r: -0x51cn
}, {
  a: 0x292bn,
  r: 0x292an
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x9c07n,
  r: -0x9c08n
}, {
  a: 0xa14n,
  r: 0xa13n
}, {
  a: 0xba3n,
  r: 0xba2n
}, {
  a: 0x64n,
  r: 0x63n
}, {
  a: 0x13n,
  r: 0x12n
}, {
  a: -0x5de4n,
  r: -0x5de5n
}, {
  a: -0x52n,
  r: -0x53n
}, {
  a: -0xe7n,
  r: -0xe8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xd89en,
  r: 0xd89dn
}, {
  a: -0x782n,
  r: -0x783n
}, {
  a: 0xb3f2n,
  r: 0xb3f1n
}, {
  a: 0x4n,
  r: 0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: -0x5f7n,
  r: -0x5f8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3bn,
  r: 0x3an
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: 0x62n,
  r: 0x61n
}, {
  a: 0x18n,
  r: 0x17n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: -0x66n,
  r: -0x67n
}, {
  a: -0xafn,
  r: -0xb0n
}, {
  a: 0x372n,
  r: 0x371n
}, {
  a: 0x4fd0n,
  r: 0x4fcfn
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x313dn,
  r: -0x313en
}, {
  a: -0xb054n,
  r: -0xb055n
}, {
  a: -0xed08n,
  r: -0xed09n
}, {
  a: 0x2bn,
  r: 0x2an
}, {
  a: 0xb38n,
  r: 0xb37n
}, {
  a: -0x8an,
  r: -0x8bn
}, {
  a: -0x5fn,
  r: -0x60n
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: 0xe427n,
  r: 0xe426n
}, {
  a: -0x8898n,
  r: -0x8899n
}, {
  a: 0x2a6n,
  r: 0x2a5n
}, {
  a: -0x7ae8n,
  r: -0x7ae9n
}, {
  a: -0x98an,
  r: -0x98bn
}, {
  a: -0xb76cn,
  r: -0xb76dn
}, {
  a: -0x62f5n,
  r: -0x62f6n
}, {
  a: 0x2n,
  r: 0x1n
}, {
  a: 0x291n,
  r: 0x290n
}, {
  a: -0x2aebn,
  r: -0x2aecn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbn,
  r: -0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8n,
  r: 0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xd1n,
  r: 0xd0n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x87fen,
  r: -0x87ffn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x43n,
  r: -0x44n
}, {
  a: -0xe58n,
  r: -0xe59n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x947n,
  r: -0x948n
}, {
  a: 0x58an,
  r: 0x589n
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcan,
  r: 0xc9n
}, {
  a: 0xfbn,
  r: 0xfan
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x860n,
  r: 0x85fn
}, {
  a: 0x283n,
  r: 0x282n
}, {
  a: 0xd9en,
  r: 0xd9dn
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: 0x516n,
  r: 0x515n
}, {
  a: 0xce60n,
  r: 0xce5fn
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: 0xdn,
  r: 0xcn
}, {
  a: -0xd1n,
  r: -0xd2n
}, {
  a: -0xbn,
  r: -0xcn
}, {
  a: 0xffdan,
  r: 0xffd9n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: 0xa9dn,
  r: 0xa9cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x5e7n,
  r: -0x5e8n
}, {
  a: -0x29bn,
  r: -0x29cn
}, {
  a: -0x6n,
  r: -0x7n
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: -0x93fn,
  r: -0x940n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xaf2n,
  r: -0xaf3n
}, {
  a: 0xddn,
  r: 0xdcn
}, {
  a: 0x2ddn,
  r: 0x2dcn
}, {
  a: 0x8n,
  r: 0x7n
}, {
  a: -0x2n,
  r: -0x3n
}, {
  a: -0x8a83n,
  r: -0x8a84n
}, {
  a: 0x6n,
  r: 0x5n
}, {
  a: -0x1760n,
  r: -0x1761n
}, {
  a: -0x36bn,
  r: -0x36cn
}, {
  a: 0x3bbfn,
  r: 0x3bben
}, {
  a: 0xc80n,
  r: 0xc7fn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7bn,
  r: 0x7an
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xaen,
  r: 0xadn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x9e0dn,
  r: 0x9e0cn
}, {
  a: -0x2cn,
  r: -0x2dn
}, {
  a: -0x666bn,
  r: -0x666cn
}, {
  a: 0x35cn,
  r: 0x35bn
}, {
  a: -0x245n,
  r: -0x246n
}, {
  a: 0xd8n,
  r: 0xd7n
}, {
  a: -0x298fn,
  r: -0x2990n
}, {
  a: -0x861n,
  r: -0x862n
}, {
  a: 0xe4n,
  r: 0xe3n
}, {
  a: -0x77an,
  r: -0x77bn
}, {
  a: 0xe7en,
  r: 0xe7dn
}, {
  a: -0x1bn,
  r: -0x1cn
}, {
  a: -0x829n,
  r: -0x82an
}, {
  a: -0x7n,
  r: -0x8n
}, {
  a: -0x2an,
  r: -0x2bn
}, {
  a: 0xcdn,
  r: 0xccn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x38n,
  r: -0x39n
}, {
  a: -0x63n,
  r: -0x64n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: 0x9n,
  r: 0x8n
}, {
  a: 0x3e6n,
  r: 0x3e5n
}, {
  a: 0x3d5n,
  r: 0x3d4n
}, {
  a: -0xen,
  r: -0xfn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: 0x9n,
  r: 0x8n
}, {
  a: 0x3edn,
  r: 0x3ecn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: 0x2n,
  r: 0x1n
}, {
  a: -0x5bn,
  r: -0x5cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3an,
  r: 0x39n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x2e1n,
  r: 0x2e0n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x61fn,
  r: -0x620n
}, {
  a: -0xb74cn,
  r: -0xb74dn
}, {
  a: 0x78b1n,
  r: 0x78b0n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: -0xabn,
  r: -0xacn
}, {
  a: 0xf3n,
  r: 0xf2n
}, {
  a: -0x64b4n,
  r: -0x64b5n
}, {
  a: 0x9bn,
  r: 0x9an
}, {
  a: 0xfdn,
  r: 0xfcn
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: -0x6bn,
  r: -0x6cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x613an,
  r: 0x6139n
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xd4n,
  r: 0xd3n
}, {
  a: 0xbab9n,
  r: 0xbab8n
}, {
  a: 0xa2d1n,
  r: 0xa2d0n
}, {
  a: -0x3cn,
  r: -0x3dn
}, {
  a: -0x3a0n,
  r: -0x3a1n
}, {
  a: -0x8fn,
  r: -0x90n
}, {
  a: 0x781n,
  r: 0x780n
}, {
  a: -0x8a3n,
  r: -0x8a4n
}, {
  a: -0x3a0an,
  r: -0x3a0bn
}, {
  a: 0x2c2n,
  r: 0x2c1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3ab9n,
  r: 0x3ab8n
}, {
  a: -0xc6n,
  r: -0xc7n
}, {
  a: 0xd5f1n,
  r: 0xd5f0n
}, {
  a: -0x4b0n,
  r: -0x4b1n
}, {
  a: -0x829n,
  r: -0x82an
}, {
  a: -0xc66n,
  r: -0xc67n
}, {
  a: -0x878fn,
  r: -0x8790n
}, {
  a: 0x99n,
  r: 0x98n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x413fn,
  r: -0x4140n
}, {
  a: -0x4bn,
  r: -0x4cn
}, {
  a: -0xb61n,
  r: -0xb62n
}, {
  a: -0xddn,
  r: -0xden
}, {
  a: -0x631dn,
  r: -0x631en
}, {
  a: -0xabd9n,
  r: -0xabdan
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: -0xb73n,
  r: -0xb74n
}, {
  a: 0x840n,
  r: 0x83fn
}, {
  a: 0xe9n,
  r: 0xe8n
}, {
  a: -0x713n,
  r: -0x714n
}, {
  a: -0x945n,
  r: -0x946n
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: 0x6fn,
  r: 0x6en
}, {
  a: -0x88fn,
  r: -0x890n
}, {
  a: -0x2fn,
  r: -0x30n
}, {
  a: -0x125n,
  r: -0x126n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x9222n,
  r: -0x9223n
}, {
  a: 0x77n,
  r: 0x76n
}, {
  a: 0x5f20n,
  r: 0x5f1fn
}, {
  a: 0xc9n,
  r: 0xc8n
}, {
  a: -0xff2n,
  r: -0xff3n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: -0x5n,
  r: -0x6n
}, {
  a: 0x37e8n,
  r: 0x37e7n
}, {
  a: 0x1bn,
  r: 0x1an
}, {
  a: 0xban,
  r: 0xb9n
}, {
  a: -0x634n,
  r: -0x635n
}, {
  a: -0x39e2n,
  r: -0x39e3n
}, {
  a: -0x8n,
  r: -0x9n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: -0xcn,
  r: -0xdn
}, {
  a: 0xd9dbn,
  r: 0xd9dan
}, {
  a: 0x159an,
  r: 0x1599n
}, {
  a: -0x38dn,
  r: -0x38en
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x57n,
  r: 0x56n
}, {
  a: 0xdn,
  r: 0xcn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3bd9n,
  r: 0x3bd8n
}, {
  a: 0x3fn,
  r: 0x3en
}, {
  a: 0xc88n,
  r: 0xc87n
}, {
  a: 0x9245n,
  r: 0x9244n
}, {
  a: 0x4n,
  r: 0x3n
}, {
  a: 0x89en,
  r: 0x89dn
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: -0x6n,
  r: -0x7n
}, {
  a: 0x2adn,
  r: 0x2acn
}, {
  a: -0xcen,
  r: -0xcfn
}, {
  a: -0x8a8bn,
  r: -0x8a8cn
}, {
  a: 0x891bn,
  r: 0x891an
}, {
  a: -0xc3n,
  r: -0xc4n
}, {
  a: -0x6n,
  r: -0x7n
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: -0x1en,
  r: -0x1fn
}, {
  a: -0x91n,
  r: -0x92n
}, {
  a: 0xafn,
  r: 0xaen
}, {
  a: -0x2a9fn,
  r: -0x2aa0n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: -0xc65n,
  r: -0xc66n
}, {
  a: -0x3dcn,
  r: -0x3ddn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xebb8n,
  r: -0xebb9n
}, {
  a: -0xan,
  r: -0xbn
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: 0xfeen,
  r: 0xfedn
}, {
  a: 0x2n,
  r: 0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x7834n,
  r: 0x7833n
}, {
  a: 0x6110n,
  r: 0x610fn
}, {
  a: 0x2fen,
  r: 0x2fdn
}, {
  a: 0xde4n,
  r: 0xde3n
}, {
  a: 0x5fe7n,
  r: 0x5fe6n
}, {
  a: 0xdb00n,
  r: 0xdaffn
}, {
  a: -0x5n,
  r: -0x6n
}, {
  a: -0x11f6n,
  r: -0x11f7n
}, {
  a: -0xd4n,
  r: -0xd5n
}, {
  a: 0x7c1n,
  r: 0x7c0n
}, {
  a: 0xa6n,
  r: 0xa5n
}, {
  a: 0xffn,
  r: 0xfen
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xfaccn,
  r: 0xfacbn
}, {
  a: -0xc3cen,
  r: -0xc3cfn
}, {
  a: -0x3d4n,
  r: -0x3d5n
}, {
  a: 0xban,
  r: 0xb9n
}, {
  a: 0x7n,
  r: 0x6n
}, {
  a: -0x4en,
  r: -0x4fn
}, {
  a: 0xa7e9n,
  r: 0xa7e8n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: -0xa3n,
  r: -0xa4n
}, {
  a: -0x2cen,
  r: -0x2cfn
}, {
  a: 0x9442n,
  r: 0x9441n
}, {
  a: -0x6n,
  r: -0x7n
}, {
  a: 0x25f2n,
  r: 0x25f1n
}, {
  a: -0x91n,
  r: -0x92n
}, {
  a: -0x3c9n,
  r: -0x3can
}, {
  a: -0xf8n,
  r: -0xf9n
}, {
  a: -0xc7n,
  r: -0xc8n
}, {
  a: -0x12an,
  r: -0x12bn
}, {
  a: -0xa28n,
  r: -0xa29n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x6b4n,
  r: 0x6b3n
}, {
  a: 0xden,
  r: 0xddn
}, {
  a: -0xe6fen,
  r: -0xe6ffn
}, {
  a: 0xb2n,
  r: 0xb1n
}, {
  a: 0x7n,
  r: 0x6n
}, {
  a: 0xdf8n,
  r: 0xdf7n
}, {
  a: 0xfn,
  r: 0xen
}, {
  a: -0x118n,
  r: -0x119n
}, {
  a: 0x7434n,
  r: 0x7433n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x4n,
  r: -0x5n
}, {
  a: -0xd8n,
  r: -0xd9n
}, {
  a: -0xen,
  r: -0xfn
}, {
  a: 0xcn,
  r: 0xbn
}, {
  a: 0x22n,
  r: 0x21n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x2n,
  r: -0x3n
}, {
  a: -0xb0an,
  r: -0xb0bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbcn,
  r: -0xbdn
}, {
  a: 0x86n,
  r: 0x85n
}, {
  a: 0x37b1n,
  r: 0x37b0n
}, {
  a: 0x9279n,
  r: 0x9278n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: -0xan,
  r: -0xbn
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8n,
  r: -0x9n
}, {
  a: -0x368en,
  r: -0x368fn
}, {
  a: 0xea4n,
  r: 0xea3n
}, {
  a: 0xbn,
  r: 0xan
}, {
  a: -0xen,
  r: -0xfn
}, {
  a: -0x6n,
  r: -0x7n
}, {
  a: -0x7n,
  r: -0x8n
}, {
  a: 0x9566n,
  r: 0x9565n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x46dn,
  r: -0x46en
}, {
  a: -0x15n,
  r: -0x16n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0xe5n,
  r: 0xe4n
}, {
  a: 0x1f92n,
  r: 0x1f91n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xe9n,
  r: -0xean
}, {
  a: 0x8adn,
  r: 0x8acn
}, {
  a: 0xc47bn,
  r: 0xc47an
}, {
  a: 0xe6fn,
  r: 0xe6en
}, {
  a: 0x290n,
  r: 0x28fn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xa0bn,
  r: 0xa0an
}, {
  a: -0x9en,
  r: -0x9fn
}, {
  a: -0x37n,
  r: -0x38n
}, {
  a: 0xbfccn,
  r: 0xbfcbn
}, {
  a: 0x9aan,
  r: 0x9a9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8n,
  r: 0x7n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xd11n,
  r: -0xd12n
}, {
  a: 0x6b3n,
  r: 0x6b2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x64n,
  r: -0x65n
}, {
  a: -0xe3n,
  r: -0xe4n
}, {
  a: 0xfdan,
  r: 0xfd9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xd786n,
  r: 0xd785n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x75n,
  r: -0x76n
}, {
  a: 0xc0n,
  r: 0xbfn
}, {
  a: -0x1n,
  r: -0x2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3cbn,
  r: 0x3can
}, {
  a: -0x69f6n,
  r: -0x69f7n
}, {
  a: 0x3aa3n,
  r: 0x3aa2n
}, {
  a: 0xefn,
  r: 0xeen
}, {
  a: 0xb1an,
  r: 0xb19n
}, {
  a: 0xbf33n,
  r: 0xbf32n
}, {
  a: -0xcbfdn,
  r: -0xcbfen
}, {
  a: -0x47bbn,
  r: -0x47bcn
}, {
  a: -0xc5cfn,
  r: -0xc5d0n
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x8a1an,
  r: 0x8a19n
}, {
  a: -0x9n,
  r: -0xan
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: 0x41en,
  r: 0x41dn
}, {
  a: -0x3d9an,
  r: -0x3d9bn
}, {
  a: 0x7824n,
  r: 0x7823n
}, {
  a: 0xcbn,
  r: 0xcan
}, {
  a: 0xen,
  r: 0xdn
}, {
  a: -0x5n,
  r: -0x6n
}, {
  a: -0x9n,
  r: -0xan
}, {
  a: 0x5n,
  r: 0x4n
}, {
  a: 0x14n,
  r: 0x13n
}, {
  a: 0x2n,
  r: 0x1n
}, {
  a: 0x944n,
  r: 0x943n
}, {
  a: -0x6dd0n,
  r: -0x6dd1n
}, {
  a: -0x2n,
  r: -0x3n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xda56n,
  r: 0xda55n
}, {
  a: 0xf9b3n,
  r: 0xf9b2n
}, {
  a: 0x550n,
  r: 0x54fn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x8b00n,
  r: -0x8b01n
}, {
  a: -0x7n,
  r: -0x8n
}, {
  a: 0x9aan,
  r: 0x9a9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x30d4n,
  r: 0x30d3n
}, {
  a: 0xb29n,
  r: 0xb28n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1n,
  r: -0x2n
}, {
  a: 0x809n,
  r: 0x808n
}, {
  a: 0x7d8en,
  r: 0x7d8dn
}, {
  a: -0xdn,
  r: -0xen
}, {
  a: -0x32bn,
  r: -0x32cn
}, {
  a: -0x56n,
  r: -0x57n
}, {
  a: 0x4e9n,
  r: 0x4e8n
}, {
  a: -0x8c8n,
  r: -0x8c9n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x114n,
  r: -0x115n
}, {
  a: 0xe678n,
  r: 0xe677n
}, {
  a: 0xan,
  r: 0x9n
}, {
  a: -0xdfn,
  r: -0xe0n
}, {
  a: 0xefn,
  r: 0xeen
}, {
  a: -0x20dn,
  r: -0x20en
}, {
  a: -0x2ccan,
  r: -0x2ccbn
}, {
  a: 0x6b5n,
  r: 0x6b4n
}, {
  a: -0x283n,
  r: -0x284n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xbbn,
  r: -0xbcn
}, {
  a: -0xd78bn,
  r: -0xd78cn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xb08cn,
  r: 0xb08bn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x849n,
  r: -0x84an
}, {
  a: 0xbb04n,
  r: 0xbb03n
}, {
  a: -0x9n,
  r: -0xan
}, {
  a: 0xfen,
  r: 0xfdn
}, {
  a: -0xeb2bn,
  r: -0xeb2cn
}, {
  a: 0xb1n,
  r: 0xb0n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x221bn,
  r: 0x221an
}, {
  a: 0xe7n,
  r: 0xe6n
}, {
  a: -0x3n,
  r: -0x4n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0xc690n,
  r: 0xc68fn
}, {
  a: 0x807n,
  r: 0x806n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x1n,
  r: 0n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x37ddn,
  r: -0x37den
}, {
  a: -0x4e77n,
  r: -0x4e78n
}, {
  a: 0x20n,
  r: 0x1fn
}, {
  a: -0xb3an,
  r: -0xb3bn
}, {
  a: 0xd3n,
  r: 0xd2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0x3n,
  r: 0x2n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xfn,
  r: -0x10n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0xeaf8n,
  r: -0xeaf9n
}, {
  a: -0xe7cn,
  r: -0xe7dn
}, {
  a: 0xf4n,
  r: 0xf3n
}, {
  a: -0x10dn,
  r: -0x10en
}, {
  a: -0x4a0n,
  r: -0x4a1n
}, {
  a: -0x69aen,
  r: -0x69afn
}, {
  a: 0n,
  r: -0x1n
}, {
  a: -0x1n,
  r: -0x2n
}, {
  a: -0xd15n,
  r: -0xd16n
}, {
  a: -0x2n,
  r: -0x3n
}, {
  a: 0xa2f4n,
  r: 0xa2f3n
}];

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