// 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: 0n
}, {
  a: -0xb8ban,
  r: 0xb8ban
}, {
  a: -0xa08n,
  r: 0xa08n
}, {
  a: 0x76n,
  r: -0x76n
}, {
  a: -0xedfdn,
  r: 0xedfdn
}, {
  a: -0xabe8n,
  r: 0xabe8n
}, {
  a: -0x7en,
  r: 0x7en
}, {
  a: 0x3c3n,
  r: -0x3c3n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x29n,
  r: 0x29n
}, {
  a: 0x88dn,
  r: -0x88dn
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: 0x4n,
  r: -0x4n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xdn,
  r: -0xdn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xc7bfn,
  r: 0xc7bfn
}, {
  a: -0x6da4n,
  r: 0x6da4n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xf64fn,
  r: -0xf64fn
}, {
  a: -0x26n,
  r: 0x26n
}, {
  a: 0x740n,
  r: -0x740n
}, {
  a: 0x2fn,
  r: -0x2fn
}, {
  a: -0x78dn,
  r: 0x78dn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x683n,
  r: -0x683n
}, {
  a: -0x1542n,
  r: 0x1542n
}, {
  a: -0x879n,
  r: 0x879n
}, {
  a: -0x846n,
  r: 0x846n
}, {
  a: -0x48n,
  r: 0x48n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: -0xfn,
  r: 0xfn
}, {
  a: -0x68n,
  r: 0x68n
}, {
  a: -0x30c1n,
  r: 0x30c1n
}, {
  a: -0x68bn,
  r: 0x68bn
}, {
  a: -0xfaaan,
  r: 0xfaaan
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xfn,
  r: 0xfn
}, {
  a: 0xc1d3n,
  r: -0xc1d3n
}, {
  a: 0x1n,
  r: -0x1n
}, {
  a: -0x5013n,
  r: 0x5013n
}, {
  a: -0xan,
  r: 0xan
}, {
  a: -0x9n,
  r: 0x9n
}, {
  a: -0xbc19n,
  r: 0xbc19n
}, {
  a: 0x68n,
  r: -0x68n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x3n,
  r: 0x3n
}, {
  a: 0x7e0n,
  r: -0x7e0n
}, {
  a: -0xb9n,
  r: 0xb9n
}, {
  a: -0xc69dn,
  r: 0xc69dn
}, {
  a: -0x88n,
  r: 0x88n
}, {
  a: -0x9a51n,
  r: 0x9a51n
}, {
  a: -0xac88n,
  r: 0xac88n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x89n,
  r: 0x89n
}, {
  a: -0x26d6n,
  r: 0x26d6n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x1e2n,
  r: 0x1e2n
}, {
  a: -0xb87n,
  r: 0xb87n
}, {
  a: -0xen,
  r: 0xen
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xfc64n,
  r: -0xfc64n
}, {
  a: -0xd9n,
  r: 0xd9n
}, {
  a: -0x3n,
  r: 0x3n
}, {
  a: -0x46n,
  r: 0x46n
}, {
  a: 0x5n,
  r: -0x5n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x1e2n,
  r: -0x1e2n
}, {
  a: 0xe5ccn,
  r: -0xe5ccn
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: 0x4fen,
  r: -0x4fen
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: -0xf5n,
  r: 0xf5n
}, {
  a: -0x48dn,
  r: 0x48dn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xdn,
  r: -0xdn
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x597n,
  r: -0x597n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xafb8n,
  r: -0xafb8n
}, {
  a: -0xfcn,
  r: 0xfcn
}, {
  a: 0xdfn,
  r: -0xdfn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x678dn,
  r: -0x678dn
}, {
  a: 0xad8n,
  r: -0xad8n
}, {
  a: 0x920n,
  r: -0x920n
}, {
  a: -0x47n,
  r: 0x47n
}, {
  a: 0x56bbn,
  r: -0x56bbn
}, {
  a: -0x6dfn,
  r: 0x6dfn
}, {
  a: 0xe7dn,
  r: -0xe7dn
}, {
  a: 0xf3n,
  r: -0xf3n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x41n,
  r: -0x41n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xc96n,
  r: -0xc96n
}, {
  a: 0xe1n,
  r: -0xe1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xa01n,
  r: -0xa01n
}, {
  a: 0x5c9fn,
  r: -0x5c9fn
}, {
  a: -0x619n,
  r: 0x619n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xc498n,
  r: -0xc498n
}, {
  a: 0x7n,
  r: -0x7n
}, {
  a: -0x9en,
  r: 0x9en
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x9n,
  r: 0x9n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x6bn,
  r: 0x6bn
}, {
  a: 0xd8n,
  r: -0xd8n
}, {
  a: 0xc9n,
  r: -0xc9n
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: 0x4b5n,
  r: -0x4b5n
}, {
  a: 0x4fb9n,
  r: -0x4fb9n
}, {
  a: 0x73aan,
  r: -0x73aan
}, {
  a: -0x20n,
  r: 0x20n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xddfn,
  r: 0xddfn
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: 0x5b5n,
  r: -0x5b5n
}, {
  a: 0x59n,
  r: -0x59n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xen,
  r: 0xen
}, {
  a: -0x6bn,
  r: 0x6bn
}, {
  a: 0xbn,
  r: -0xbn
}, {
  a: 0x2n,
  r: -0x2n
}, {
  a: 0x7n,
  r: -0x7n
}, {
  a: 0x75n,
  r: -0x75n
}, {
  a: -0x9f17n,
  r: 0x9f17n
}, {
  a: 0x88b7n,
  r: -0x88b7n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x940n,
  r: 0x940n
}, {
  a: 0xa22n,
  r: -0xa22n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xb6n,
  r: 0xb6n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x4d9an,
  r: 0x4d9an
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x75n,
  r: 0x75n
}, {
  a: -0x2049n,
  r: 0x2049n
}, {
  a: -0x29f8n,
  r: 0x29f8n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xdan,
  r: 0xdan
}, {
  a: -0xb49n,
  r: 0xb49n
}, {
  a: -0x8n,
  r: 0x8n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x5edn,
  r: -0x5edn
}, {
  a: -0x68n,
  r: 0x68n
}, {
  a: 0x5n,
  r: -0x5n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xc76bn,
  r: 0xc76bn
}, {
  a: -0x89n,
  r: 0x89n
}, {
  a: 0x159n,
  r: -0x159n
}, {
  a: -0xcc95n,
  r: 0xcc95n
}, {
  a: -0xcbn,
  r: 0xcbn
}, {
  a: 0xdn,
  r: -0xdn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xb2dn,
  r: 0xb2dn
}, {
  a: 0x212n,
  r: -0x212n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xcd67n,
  r: -0xcd67n
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x7cn,
  r: 0x7cn
}, {
  a: 0x4a59n,
  r: -0x4a59n
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x9n,
  r: 0x9n
}, {
  a: -0xbben,
  r: 0xbben
}, {
  a: -0x3en,
  r: 0x3en
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x105fn,
  r: 0x105fn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x7n,
  r: 0x7n
}, {
  a: -0xf0n,
  r: 0xf0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xa4dn,
  r: -0xa4dn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x829en,
  r: -0x829en
}, {
  a: -0x7cd0n,
  r: 0x7cd0n
}, {
  a: 0x2d5bn,
  r: -0x2d5bn
}, {
  a: 0x209n,
  r: -0x209n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x80n,
  r: 0x80n
}, {
  a: 0x1178n,
  r: -0x1178n
}, {
  a: -0xe7n,
  r: 0xe7n
}, {
  a: 0xan,
  r: -0xan
}, {
  a: 0x9n,
  r: -0x9n
}, {
  a: 0x1fn,
  r: -0x1fn
}, {
  a: -0xfec4n,
  r: 0xfec4n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xan,
  r: -0xan
}, {
  a: 0x936n,
  r: -0x936n
}, {
  a: 0x440n,
  r: -0x440n
}, {
  a: -0xaf77n,
  r: 0xaf77n
}, {
  a: -0x41bn,
  r: 0x41bn
}, {
  a: 0xe0n,
  r: -0xe0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x3b70n,
  r: 0x3b70n
}, {
  a: 0xaf3n,
  r: -0xaf3n
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: 0xan,
  r: -0xan
}, {
  a: -0xfen,
  r: 0xfen
}, {
  a: -0x27n,
  r: 0x27n
}, {
  a: -0xcefn,
  r: 0xcefn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xea9n,
  r: -0xea9n
}, {
  a: 0x80b1n,
  r: -0x80b1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: -0x3c5cn,
  r: 0x3c5cn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x7d2n,
  r: 0x7d2n
}, {
  a: -0x8e8fn,
  r: 0x8e8fn
}, {
  a: 0x19bn,
  r: -0x19bn
}, {
  a: -0xff7n,
  r: 0xff7n
}, {
  a: 0x9cn,
  r: -0x9cn
}, {
  a: -0x4a90n,
  r: 0x4a90n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xan,
  r: 0xan
}, {
  a: 0x6d5n,
  r: -0x6d5n
}, {
  a: -0x3489n,
  r: 0x3489n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x1n,
  r: 0x1n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: -0x9c29n,
  r: 0x9c29n
}, {
  a: 0xcbn,
  r: -0xcbn
}, {
  a: -0xb01n,
  r: 0xb01n
}, {
  a: -0x77n,
  r: 0x77n
}, {
  a: 0x8n,
  r: -0x8n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x93ecn,
  r: -0x93ecn
}, {
  a: -0x4e7bn,
  r: 0x4e7bn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xen,
  r: -0xen
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x1102n,
  r: 0x1102n
}, {
  a: -0xben,
  r: 0xben
}, {
  a: -0xfn,
  r: 0xfn
}, {
  a: 0x7cn,
  r: -0x7cn
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0x6546n,
  r: -0x6546n
}, {
  a: -0x63n,
  r: 0x63n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x2cn,
  r: -0x2cn
}, {
  a: -0x3an,
  r: 0x3an
}, {
  a: -0x7287n,
  r: 0x7287n
}, {
  a: 0x27n,
  r: -0x27n
}, {
  a: -0xadadn,
  r: 0xadadn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xd5e0n,
  r: 0xd5e0n
}, {
  a: -0x3656n,
  r: 0x3656n
}, {
  a: -0xb39n,
  r: 0xb39n
}, {
  a: -0x58n,
  r: 0x58n
}, {
  a: 0x418n,
  r: -0x418n
}, {
  a: 0x8n,
  r: -0x8n
}, {
  a: 0x330fn,
  r: -0x330fn
}, {
  a: 0x7a13n,
  r: -0x7a13n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: -0xafn,
  r: 0xafn
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: -0xcd3n,
  r: 0xcd3n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x5an,
  r: -0x5an
}, {
  a: -0xen,
  r: 0xen
}, {
  a: -0xe3ean,
  r: 0xe3ean
}, {
  a: -0xb430n,
  r: 0xb430n
}, {
  a: 0xf20n,
  r: -0xf20n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x56n,
  r: -0x56n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x143cn,
  r: 0x143cn
}, {
  a: -0x6f9n,
  r: 0x6f9n
}, {
  a: 0x97n,
  r: -0x97n
}, {
  a: -0x84dn,
  r: 0x84dn
}, {
  a: 0x445n,
  r: -0x445n
}, {
  a: -0x1n,
  r: 0x1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xda99n,
  r: -0xda99n
}, {
  a: -0xan,
  r: 0xan
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0x233n,
  r: -0x233n
}, {
  a: -0xadbn,
  r: 0xadbn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x9n,
  r: -0x9n
}, {
  a: 0xb7cn,
  r: -0xb7cn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x2cn,
  r: 0x2cn
}, {
  a: -0x7f2n,
  r: 0x7f2n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x9ccbn,
  r: 0x9ccbn
}, {
  a: -0x9n,
  r: 0x9n
}, {
  a: -0xdfn,
  r: 0xdfn
}, {
  a: -0xfbdcn,
  r: 0xfbdcn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xa5ccn,
  r: 0xa5ccn
}, {
  a: -0x2n,
  r: 0x2n
}, {
  a: -0xa2en,
  r: 0xa2en
}, {
  a: -0x3n,
  r: 0x3n
}, {
  a: -0x17n,
  r: 0x17n
}, {
  a: 0x2an,
  r: -0x2an
}, {
  a: -0xe3n,
  r: 0xe3n
}, {
  a: 0xdn,
  r: -0xdn
}, {
  a: -0x909n,
  r: 0x909n
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: 0xd9n,
  r: -0xd9n
}, {
  a: 0xd2n,
  r: -0xd2n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xd7n,
  r: 0xd7n
}, {
  a: 0x75n,
  r: -0x75n
}, {
  a: 0xa9n,
  r: -0xa9n
}, {
  a: -0x77n,
  r: 0x77n
}, {
  a: -0x20n,
  r: 0x20n
}, {
  a: 0xa63n,
  r: -0xa63n
}, {
  a: -0x586n,
  r: 0x586n
}, {
  a: -0xen,
  r: 0xen
}, {
  a: 0x62n,
  r: -0x62n
}, {
  a: -0x283n,
  r: 0x283n
}, {
  a: 0x66n,
  r: -0x66n
}, {
  a: -0x7914n,
  r: 0x7914n
}, {
  a: 0x9d46n,
  r: -0x9d46n
}, {
  a: 0xdb8n,
  r: -0xdb8n
}, {
  a: -0xaeedn,
  r: 0xaeedn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xe9c7n,
  r: -0xe9c7n
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0x89c5n,
  r: -0x89c5n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x5an,
  r: -0x5an
}, {
  a: 0xa15en,
  r: -0xa15en
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xd310n,
  r: -0xd310n
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: -0xfcbn,
  r: 0xfcbn
}, {
  a: 0x9f3n,
  r: -0x9f3n
}, {
  a: 0x701n,
  r: -0x701n
}, {
  a: 0xd6ean,
  r: -0xd6ean
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x5e5n,
  r: 0x5e5n
}, {
  a: 0xen,
  r: -0xen
}, {
  a: -0xc53cn,
  r: 0xc53cn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xeceen,
  r: 0xeceen
}, {
  a: 0x92bn,
  r: -0x92bn
}, {
  a: -0x1bdn,
  r: 0x1bdn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xa2n,
  r: -0xa2n
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: 0xfa53n,
  r: -0xfa53n
}, {
  a: 0xc14n,
  r: -0xc14n
}, {
  a: 0x744fn,
  r: -0x744fn
}, {
  a: 0x9bn,
  r: -0x9bn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x8c6n,
  r: -0x8c6n
}, {
  a: 0x12en,
  r: -0x12en
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: 0x1e1n,
  r: -0x1e1n
}, {
  a: -0x99f3n,
  r: 0x99f3n
}, {
  a: -0xd6n,
  r: 0xd6n
}, {
  a: 0xb4fn,
  r: -0xb4fn
}, {
  a: 0x291n,
  r: -0x291n
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: -0xfbn,
  r: 0xfbn
}, {
  a: 0x49n,
  r: -0x49n
}, {
  a: 0x19cn,
  r: -0x19cn
}, {
  a: 0x70fn,
  r: -0x70fn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: 0xc336n,
  r: -0xc336n
}, {
  a: 0x6cn,
  r: -0x6cn
}, {
  a: 0x86n,
  r: -0x86n
}, {
  a: 0x4n,
  r: -0x4n
}, {
  a: -0x5can,
  r: 0x5can
}, {
  a: 0xfb2bn,
  r: -0xfb2bn
}, {
  a: 0xf1n,
  r: -0xf1n
}, {
  a: -0xan,
  r: 0xan
}, {
  a: 0xdn,
  r: -0xdn
}, {
  a: -0x82n,
  r: 0x82n
}, {
  a: 0x2239n,
  r: -0x2239n
}, {
  a: 0x2n,
  r: -0x2n
}, {
  a: -0xb68cn,
  r: 0xb68cn
}, {
  a: -0x1ean,
  r: 0x1ean
}, {
  a: -0xe497n,
  r: 0xe497n
}, {
  a: 0x2en,
  r: -0x2en
}, {
  a: 0xfen,
  r: -0xfen
}, {
  a: 0xbn,
  r: -0xbn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: 0xcbbn,
  r: -0xcbbn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xc7n,
  r: 0xc7n
}, {
  a: -0xee83n,
  r: 0xee83n
}, {
  a: -0xfn,
  r: 0xfn
}, {
  a: -0x9n,
  r: 0x9n
}, {
  a: -0x94n,
  r: 0x94n
}, {
  a: 0x193n,
  r: -0x193n
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: 0x578n,
  r: -0x578n
}, {
  a: 0x8726n,
  r: -0x8726n
}, {
  a: 0xe31n,
  r: -0xe31n
}, {
  a: -0x2n,
  r: 0x2n
}, {
  a: 0x3bn,
  r: -0x3bn
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: -0x9cn,
  r: 0x9cn
}, {
  a: 0xbefn,
  r: -0xbefn
}, {
  a: -0x586n,
  r: 0x586n
}, {
  a: 0x7cn,
  r: -0x7cn
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: 0x5n,
  r: -0x5n
}, {
  a: -0x46n,
  r: 0x46n
}, {
  a: 0xedn,
  r: -0xedn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xdddn,
  r: 0xdddn
}, {
  a: 0xd1n,
  r: -0xd1n
}, {
  a: -0x44fn,
  r: 0x44fn
}, {
  a: 0xb7en,
  r: -0xb7en
}, {
  a: -0x1n,
  r: 0x1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: 0x73fen,
  r: -0x73fen
}, {
  a: -0x3fn,
  r: 0x3fn
}, {
  a: 0x71n,
  r: -0x71n
}, {
  a: 0x78n,
  r: -0x78n
}, {
  a: 0xa9n,
  r: -0xa9n
}, {
  a: -0x3en,
  r: 0x3en
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x2dn,
  r: 0x2dn
}, {
  a: 0x226dn,
  r: -0x226dn
}, {
  a: -0x615fn,
  r: 0x615fn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x4n,
  r: 0x4n
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: 0xben,
  r: -0xben
}, {
  a: 0x2b66n,
  r: -0x2b66n
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: -0xb8fn,
  r: 0xb8fn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x44n,
  r: 0x44n
}, {
  a: -0xfbn,
  r: 0xfbn
}, {
  a: 0x9abn,
  r: -0x9abn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xa1e6n,
  r: -0xa1e6n
}, {
  a: 0x2dn,
  r: -0x2dn
}, {
  a: 0xa1n,
  r: -0xa1n
}, {
  a: -0x9efn,
  r: 0x9efn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xd3n,
  r: 0xd3n
}, {
  a: -0x9b1n,
  r: 0x9b1n
}, {
  a: -0xa6dfn,
  r: 0xa6dfn
}, {
  a: 0x62d9n,
  r: -0x62d9n
}, {
  a: 0x5n,
  r: -0x5n
}, {
  a: 0x9bcn,
  r: -0x9bcn
}, {
  a: -0x69an,
  r: 0x69an
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: 0x57bn,
  r: -0x57bn
}, {
  a: -0x5176n,
  r: 0x5176n
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xa2n,
  r: 0xa2n
}, {
  a: -0x9f14n,
  r: 0x9f14n
}, {
  a: -0xd44n,
  r: 0xd44n
}, {
  a: 0x18n,
  r: -0x18n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x36n,
  r: -0x36n
}, {
  a: -0x4n,
  r: 0x4n
}, {
  a: -0x4n,
  r: 0x4n
}, {
  a: 0x122n,
  r: -0x122n
}, {
  a: 0xe7n,
  r: -0xe7n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xc43n,
  r: -0xc43n
}, {
  a: 0x4548n,
  r: -0x4548n
}, {
  a: -0x69n,
  r: 0x69n
}, {
  a: 0x8een,
  r: -0x8een
}, {
  a: 0x1n,
  r: -0x1n
}, {
  a: 0xa96n,
  r: -0xa96n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xdn,
  r: -0xdn
}, {
  a: -0xed3n,
  r: 0xed3n
}, {
  a: -0x8n,
  r: 0x8n
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: -0x2107n,
  r: 0x2107n
}, {
  a: 0xen,
  r: -0xen
}, {
  a: -0xf8n,
  r: 0xf8n
}, {
  a: 0xbn,
  r: -0xbn
}, {
  a: -0x22n,
  r: 0x22n
}, {
  a: -0x62b4n,
  r: 0x62b4n
}, {
  a: -0x7ad6n,
  r: 0x7ad6n
}, {
  a: 0x6a3n,
  r: -0x6a3n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xe1fn,
  r: -0xe1fn
}, {
  a: -0x12n,
  r: 0x12n
}, {
  a: 0x4e14n,
  r: -0x4e14n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x88n,
  r: 0x88n
}, {
  a: 0x65cn,
  r: -0x65cn
}, {
  a: -0x9n,
  r: 0x9n
}, {
  a: 0x1n,
  r: -0x1n
}, {
  a: 0x39n,
  r: -0x39n
}, {
  a: 0x3an,
  r: -0x3an
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x6fben,
  r: 0x6fben
}, {
  a: 0xc8n,
  r: -0xc8n
}, {
  a: 0x32c9n,
  r: -0x32c9n
}, {
  a: -0xc24n,
  r: 0xc24n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x97bn,
  r: -0x97bn
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: -0xd5an,
  r: 0xd5an
}, {
  a: -0xe8n,
  r: 0xe8n
}, {
  a: -0x80n,
  r: 0x80n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x574n,
  r: 0x574n
}, {
  a: -0xf11n,
  r: 0xf11n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xdf27n,
  r: -0xdf27n
}, {
  a: 0xb3n,
  r: -0xb3n
}, {
  a: 0x9fb9n,
  r: -0x9fb9n
}, {
  a: 0xdaa9n,
  r: -0xdaa9n
}, {
  a: -0xb2n,
  r: 0xb2n
}, {
  a: 0x44can,
  r: -0x44can
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0xae4n,
  r: -0xae4n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x7n,
  r: -0x7n
}, {
  a: 0x94n,
  r: -0x94n
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0x2fn,
  r: -0x2fn
}, {
  a: -0x3fn,
  r: 0x3fn
}, {
  a: -0x8n,
  r: 0x8n
}, {
  a: -0xd8en,
  r: 0xd8en
}, {
  a: 0x561n,
  r: -0x561n
}, {
  a: 0x556n,
  r: -0x556n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xd92n,
  r: 0xd92n
}, {
  a: 0x57dfn,
  r: -0x57dfn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xc3n,
  r: -0xc3n
}, {
  a: -0xa287n,
  r: 0xa287n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x221n,
  r: -0x221n
}, {
  a: -0x11e8n,
  r: 0x11e8n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x2e6n,
  r: -0x2e6n
}, {
  a: -0x7n,
  r: 0x7n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xfe2n,
  r: -0xfe2n
}, {
  a: -0x7c9an,
  r: 0x7c9an
}, {
  a: 0xf46n,
  r: -0xf46n
}, {
  a: 0xc60n,
  r: -0xc60n
}, {
  a: -0x94n,
  r: 0x94n
}, {
  a: -0x675n,
  r: 0x675n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x9413n,
  r: -0x9413n
}, {
  a: -0x25en,
  r: 0x25en
}, {
  a: -0xf3n,
  r: 0xf3n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x54dn,
  r: -0x54dn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xd4n,
  r: -0xd4n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: 0xe6n,
  r: -0xe6n
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: 0x23b5n,
  r: -0x23b5n
}, {
  a: 0xbcbn,
  r: -0xbcbn
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x6bc2n,
  r: -0x6bc2n
}, {
  a: -0x2fn,
  r: 0x2fn
}, {
  a: -0xedn,
  r: 0xedn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x3adn,
  r: -0x3adn
}, {
  a: -0x21b1n,
  r: 0x21b1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xab03n,
  r: -0xab03n
}, {
  a: 0x341dn,
  r: -0x341dn
}, {
  a: 0x528n,
  r: -0x528n
}, {
  a: -0xfdn,
  r: 0xfdn
}, {
  a: 0xc8b1n,
  r: -0xc8b1n
}, {
  a: -0x2ac0n,
  r: 0x2ac0n
}, {
  a: -0xa4n,
  r: 0xa4n
}, {
  a: 0x7n,
  r: -0x7n
}, {
  a: 0x23n,
  r: -0x23n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xf10n,
  r: 0xf10n
}, {
  a: 0xb2en,
  r: -0xb2en
}, {
  a: 0x2bbn,
  r: -0x2bbn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x83e8n,
  r: -0x83e8n
}, {
  a: 0x63n,
  r: -0x63n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: 0x31n,
  r: -0x31n
}, {
  a: 0x16cn,
  r: -0x16cn
}, {
  a: 0x1a0n,
  r: -0x1a0n
}, {
  a: 0x7n,
  r: -0x7n
}, {
  a: -0x3fdn,
  r: 0x3fdn
}, {
  a: -0x7678n,
  r: 0x7678n
}, {
  a: -0x4n,
  r: 0x4n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x5n,
  r: 0x5n
}, {
  a: 0xe21n,
  r: -0xe21n
}, {
  a: 0xd1n,
  r: -0xd1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xef7fn,
  r: -0xef7fn
}, {
  a: 0xce9n,
  r: -0xce9n
}, {
  a: -0xan,
  r: 0xan
}, {
  a: 0xbf6fn,
  r: -0xbf6fn
}, {
  a: -0x38n,
  r: 0x38n
}, {
  a: 0x4n,
  r: -0x4n
}, {
  a: -0xb51n,
  r: 0xb51n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x96n,
  r: -0x96n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: 0x9659n,
  r: -0x9659n
}, {
  a: -0xf934n,
  r: 0xf934n
}, {
  a: -0x5n,
  r: 0x5n
}, {
  a: -0x35n,
  r: 0x35n
}, {
  a: 0x231n,
  r: -0x231n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: -0x3n,
  r: 0x3n
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: 0x1a90n,
  r: -0x1a90n
}, {
  a: -0xdd83n,
  r: 0xdd83n
}, {
  a: -0x3e6n,
  r: 0x3e6n
}, {
  a: 0xc1ffn,
  r: -0xc1ffn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x4n,
  r: -0x4n
}, {
  a: -0xe4edn,
  r: 0xe4edn
}, {
  a: -0x3n,
  r: 0x3n
}, {
  a: 0xfe73n,
  r: -0xfe73n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xe0fen,
  r: -0xe0fen
}, {
  a: -0x49dn,
  r: 0x49dn
}, {
  a: 0x9n,
  r: -0x9n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x728bn,
  r: -0x728bn
}, {
  a: -0x87bn,
  r: 0x87bn
}, {
  a: -0x6fn,
  r: 0x6fn
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: 0x4ab1n,
  r: -0x4ab1n
}, {
  a: 0xfban,
  r: -0xfban
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x31n,
  r: -0x31n
}, {
  a: 0x21abn,
  r: -0x21abn
}, {
  a: 0xa6e1n,
  r: -0xa6e1n
}, {
  a: -0x91n,
  r: 0x91n
}, {
  a: 0x2d8n,
  r: -0x2d8n
}, {
  a: 0xen,
  r: -0xen
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xbd08n,
  r: 0xbd08n
}, {
  a: -0xe14cn,
  r: 0xe14cn
}, {
  a: -0x5n,
  r: 0x5n
}, {
  a: -0x143n,
  r: 0x143n
}, {
  a: -0x55n,
  r: 0x55n
}, {
  a: 0x30n,
  r: -0x30n
}, {
  a: -0x793n,
  r: 0x793n
}, {
  a: -0x6n,
  r: 0x6n
}, {
  a: 0xf4d4n,
  r: -0xf4d4n
}, {
  a: 0x6n,
  r: -0x6n
}, {
  a: 0x11n,
  r: -0x11n
}, {
  a: -0xc0n,
  r: 0xc0n
}, {
  a: -0x799fn,
  r: 0x799fn
}, {
  a: -0xc31fn,
  r: 0xc31fn
}, {
  a: 0xdn,
  r: -0xdn
}, {
  a: -0x88n,
  r: 0x88n
}, {
  a: 0x56en,
  r: -0x56en
}, {
  a: 0x1n,
  r: -0x1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x27en,
  r: -0x27en
}, {
  a: 0x381n,
  r: -0x381n
}, {
  a: -0x3dden,
  r: 0x3dden
}, {
  a: -0xeaan,
  r: 0xeaan
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x81en,
  r: -0x81en
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x93dn,
  r: 0x93dn
}, {
  a: 0xd15n,
  r: -0xd15n
}, {
  a: 0x89n,
  r: -0x89n
}, {
  a: 0x2n,
  r: -0x2n
}, {
  a: -0x4n,
  r: 0x4n
}, {
  a: -0x5n,
  r: 0x5n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: 0x4n,
  r: -0x4n
}, {
  a: 0x32b2n,
  r: -0x32b2n
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: 0x5n,
  r: -0x5n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x6b9n,
  r: -0x6b9n
}, {
  a: -0xfn,
  r: 0xfn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x9bn,
  r: 0x9bn
}, {
  a: 0x93n,
  r: -0x93n
}, {
  a: 0x75n,
  r: -0x75n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x8n,
  r: 0x8n
}, {
  a: -0x8n,
  r: 0x8n
}, {
  a: 0xc19fn,
  r: -0xc19fn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: -0x2218n,
  r: 0x2218n
}, {
  a: -0x595n,
  r: 0x595n
}, {
  a: -0x7d90n,
  r: 0x7d90n
}, {
  a: 0xan,
  r: -0xan
}, {
  a: 0x5be7n,
  r: -0x5be7n
}, {
  a: 0x9n,
  r: -0x9n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xc5aan,
  r: 0xc5aan
}, {
  a: -0x935n,
  r: 0x935n
}, {
  a: -0xc8n,
  r: 0xc8n
}, {
  a: -0x997n,
  r: 0x997n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xa792n,
  r: -0xa792n
}, {
  a: 0xed75n,
  r: -0xed75n
}, {
  a: -0x93cn,
  r: 0x93cn
}, {
  a: 0x3fe7n,
  r: -0x3fe7n
}, {
  a: -0xen,
  r: 0xen
}, {
  a: 0xf23n,
  r: -0xf23n
}, {
  a: 0x443n,
  r: -0x443n
}, {
  a: 0x82n,
  r: -0x82n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xd8n,
  r: 0xd8n
}, {
  a: -0xb4n,
  r: 0xb4n
}, {
  a: -0x147n,
  r: 0x147n
}, {
  a: -0x238an,
  r: 0x238an
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: -0x5318n,
  r: 0x5318n
}, {
  a: -0x89cn,
  r: 0x89cn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xfdn,
  r: -0xfdn
}, {
  a: -0xfn,
  r: 0xfn
}, {
  a: -0x1dn,
  r: 0x1dn
}, {
  a: -0x9n,
  r: 0x9n
}, {
  a: -0x8b1n,
  r: 0x8b1n
}, {
  a: 0xfbn,
  r: -0xfbn
}, {
  a: 0xc5n,
  r: -0xc5n
}, {
  a: 0x88n,
  r: -0x88n
}, {
  a: 0xa5n,
  r: -0xa5n
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: -0x6bn,
  r: 0x6bn
}, {
  a: -0xb5n,
  r: 0xb5n
}, {
  a: 0x3dn,
  r: -0x3dn
}, {
  a: 0x57f0n,
  r: -0x57f0n
}, {
  a: -0x1ba1n,
  r: 0x1ba1n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x896n,
  r: -0x896n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xfcn,
  r: 0xfcn
}, {
  a: 0x3fd7n,
  r: -0x3fd7n
}, {
  a: -0xc6n,
  r: 0xc6n
}, {
  a: -0x3n,
  r: 0x3n
}, {
  a: -0x96fn,
  r: 0x96fn
}, {
  a: 0x4n,
  r: -0x4n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: 0x3ben,
  r: -0x3ben
}, {
  a: -0x3355n,
  r: 0x3355n
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: 0x2a2n,
  r: -0x2a2n
}, {
  a: 0x1ddbn,
  r: -0x1ddbn
}, {
  a: 0xffn,
  r: -0xffn
}, {
  a: 0x753n,
  r: -0x753n
}, {
  a: 0xd67n,
  r: -0xd67n
}, {
  a: 0x5n,
  r: -0x5n
}, {
  a: 0x7aen,
  r: -0x7aen
}, {
  a: -0xe6n,
  r: 0xe6n
}, {
  a: 0x3dn,
  r: -0x3dn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x7359n,
  r: -0x7359n
}, {
  a: -0x681fn,
  r: 0x681fn
}, {
  a: -0xd61n,
  r: 0xd61n
}, {
  a: 0x77an,
  r: -0x77an
}, {
  a: -0x2n,
  r: 0x2n
}, {
  a: 0x8n,
  r: -0x8n
}, {
  a: 0x580n,
  r: -0x580n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xdb0n,
  r: 0xdb0n
}, {
  a: 0x96n,
  r: -0x96n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x9n,
  r: -0x9n
}, {
  a: 0x3482n,
  r: -0x3482n
}, {
  a: 0xdbn,
  r: -0xdbn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xca8n,
  r: 0xca8n
}, {
  a: 0xfcn,
  r: -0xfcn
}, {
  a: -0x87n,
  r: 0x87n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: -0x96efn,
  r: 0x96efn
}, {
  a: -0x712n,
  r: 0x712n
}, {
  a: -0xa003n,
  r: 0xa003n
}, {
  a: 0xa994n,
  r: -0xa994n
}, {
  a: -0x1n,
  r: 0x1n
}, {
  a: -0x3fan,
  r: 0x3fan
}, {
  a: -0x8c02n,
  r: 0x8c02n
}, {
  a: 0x69f0n,
  r: -0x69f0n
}, {
  a: 0xc6n,
  r: -0xc6n
}, {
  a: -0x14f3n,
  r: 0x14f3n
}, {
  a: 0x679dn,
  r: -0x679dn
}, {
  a: -0x134n,
  r: 0x134n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xe52n,
  r: 0xe52n
}, {
  a: -0xcn,
  r: 0xcn
}, {
  a: -0x9fffn,
  r: 0x9fffn
}, {
  a: -0x21n,
  r: 0x21n
}, {
  a: 0x11n,
  r: -0x11n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x1cn,
  r: 0x1cn
}, {
  a: 0x1n,
  r: -0x1n
}, {
  a: 0x28n,
  r: -0x28n
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: 0x2ccn,
  r: -0x2ccn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: -0x8n,
  r: 0x8n
}, {
  a: -0x8fn,
  r: 0x8fn
}, {
  a: -0x3n,
  r: 0x3n
}, {
  a: -0xbd5fn,
  r: 0xbd5fn
}, {
  a: -0xfccn,
  r: 0xfccn
}, {
  a: 0x8fn,
  r: -0x8fn
}, {
  a: 0x37an,
  r: -0x37an
}, {
  a: 0x216cn,
  r: -0x216cn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x1a9n,
  r: 0x1a9n
}, {
  a: 0xbn,
  r: -0xbn
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: -0xbc26n,
  r: 0xbc26n
}, {
  a: -0xce2n,
  r: 0xce2n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xac1n,
  r: -0xac1n
}, {
  a: 0x9an,
  r: -0x9an
}, {
  a: 0xaa2n,
  r: -0xaa2n
}, {
  a: 0x60cn,
  r: -0x60cn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x2bn,
  r: -0x2bn
}, {
  a: -0x5dcbn,
  r: 0x5dcbn
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: 0x2fn,
  r: -0x2fn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xb3d0n,
  r: 0xb3d0n
}, {
  a: 0x60n,
  r: -0x60n
}, {
  a: 0x72n,
  r: -0x72n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xbc3cn,
  r: 0xbc3cn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xan,
  r: -0xan
}, {
  a: 0x9f1an,
  r: -0x9f1an
}, {
  a: 0x369n,
  r: -0x369n
}, {
  a: 0x2d8n,
  r: -0x2d8n
}, {
  a: -0xe3n,
  r: 0xe3n
}, {
  a: 0xa83n,
  r: -0xa83n
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: -0x520n,
  r: 0x520n
}, {
  a: 0x157n,
  r: -0x157n
}, {
  a: 0xcn,
  r: -0xcn
}, {
  a: -0x20n,
  r: 0x20n
}, {
  a: -0xc4en,
  r: 0xc4en
}, {
  a: 0x1dbn,
  r: -0x1dbn
}, {
  a: 0xa8cen,
  r: -0xa8cen
}, {
  a: 0xe9ddn,
  r: -0xe9ddn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x2an,
  r: -0x2an
}, {
  a: 0xfn,
  r: -0xfn
}, {
  a: 0xe9en,
  r: -0xe9en
}, {
  a: 0x7n,
  r: -0x7n
}, {
  a: 0x5e4n,
  r: -0x5e4n
}, {
  a: -0x64n,
  r: 0x64n
}, {
  a: -0x85d3n,
  r: 0x85d3n
}, {
  a: 0x35n,
  r: -0x35n
}, {
  a: 0xc11fn,
  r: -0xc11fn
}, {
  a: -0xef8dn,
  r: 0xef8dn
}, {
  a: -0x582dn,
  r: 0x582dn
}, {
  a: -0xan,
  r: 0xan
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x94n,
  r: 0x94n
}, {
  a: 0x77n,
  r: -0x77n
}, {
  a: 0x20n,
  r: -0x20n
}, {
  a: -0x1n,
  r: 0x1n
}, {
  a: -0xad5fn,
  r: 0xad5fn
}, {
  a: 0x41n,
  r: -0x41n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xdf0n,
  r: -0xdf0n
}, {
  a: -0xc0an,
  r: 0xc0an
}, {
  a: 0x7b2n,
  r: -0x7b2n
}, {
  a: -0x945n,
  r: 0x945n
}, {
  a: 0xeaccn,
  r: -0xeaccn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xbn,
  r: -0xbn
}, {
  a: 0xa0bdn,
  r: -0xa0bdn
}, {
  a: 0x70d8n,
  r: -0x70d8n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x9e6n,
  r: 0x9e6n
}, {
  a: 0xd1b7n,
  r: -0xd1b7n
}, {
  a: 0x8ed2n,
  r: -0x8ed2n
}, {
  a: -0x5074n,
  r: 0x5074n
}, {
  a: 0xa2fn,
  r: -0xa2fn
}, {
  a: -0x607cn,
  r: 0x607cn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x90n,
  r: -0x90n
}, {
  a: 0n,
  r: 0n
}, {
  a: -0x68c0n,
  r: 0x68c0n
}, {
  a: -0xdf4n,
  r: 0xdf4n
}, {
  a: 0x61n,
  r: -0x61n
}, {
  a: -0x5dcn,
  r: 0x5dcn
}, {
  a: -0x65n,
  r: 0x65n
}, {
  a: -0xcb5n,
  r: 0xcb5n
}, {
  a: 0x217n,
  r: -0x217n
}, {
  a: -0x99n,
  r: 0x99n
}, {
  a: 0x3n,
  r: -0x3n
}, {
  a: -0xcddn,
  r: 0xcddn
}, {
  a: -0xdn,
  r: 0xdn
}, {
  a: 0x66n,
  r: -0x66n
}, {
  a: -0xbn,
  r: 0xbn
}, {
  a: 0xe1n,
  r: -0xe1n
}, {
  a: -0x23fdn,
  r: 0x23fdn
}, {
  a: 0xccn,
  r: -0xccn
}, {
  a: -0x19bn,
  r: 0x19bn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x3dban,
  r: -0x3dban
}, {
  a: -0x484n,
  r: 0x484n
}, {
  a: -0xen,
  r: 0xen
}, {
  a: -0x15n,
  r: 0x15n
}, {
  a: -0xc569n,
  r: 0xc569n
}, {
  a: -0x382n,
  r: 0x382n
}, {
  a: -0x2n,
  r: 0x2n
}, {
  a: -0xadan,
  r: 0xadan
}, {
  a: 0xc7n,
  r: -0xc7n
}, {
  a: -0xd6n,
  r: 0xd6n
}, {
  a: -0xbfn,
  r: 0xbfn
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xbn,
  r: -0xbn
}, {
  a: 0n,
  r: 0n
}, {
  a: -0xa6n,
  r: 0xa6n
}, {
  a: -0xen,
  r: 0xen
}, {
  a: 0xfa2n,
  r: -0xfa2n
}, {
  a: 0xd44n,
  r: -0xd44n
}, {
  a: -0x7bn,
  r: 0x7bn
}, {
  a: -0xen,
  r: 0xen
}, {
  a: 0n,
  r: 0n
}, {
  a: 0xcan,
  r: -0xcan
}, {
  a: 0n,
  r: 0n
}, {
  a: 0n,
  r: 0n
}, {
  a: 0x4n,
  r: -0x4n
}];

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