// 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: -0x2758304225f93a885feeb2dcb084e07cd4f4n,
  b: 0x96n,
  r: -0x1n
}, {
  a: -0xc421ec7e89ad695e35710448c2cea732f8635c809ee9f73792e6a9894b2n,
  b: 0n,
  r: -0xc421ec7e89ad695e35710448c2cea732f8635c809ee9f73792e6a9894b2n
}, {
  a: -0xbn,
  b: 0xdn,
  r: -0x1n
}, {
  a: 0xb1e4327653b89bc8840fed597n,
  b: -0xb8n,
  r: 0xb1e4327653b89bc8840fed5970000000000000000000000000000000000000000000000n
}, {
  a: 0xdc685153d88b03d54aa0b9dc83ffdn,
  b: -0xe9n,
  r: 0x1b8d0a2a7b11607aa954173b907ffa0000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x58f90d261db2a959d42d677557989bceecen,
  b: -0x60n,
  r: 0x58f90d261db2a959d42d677557989bceece000000000000000000000000n
}, {
  a: 0x82704467d82daa584ca87b9ea1576a09n,
  b: -0xban,
  r: 0x209c1119f60b6a96132a1ee7a855da8240000000000000000000000000000000000000000000000n
}, {
  a: -0xac05ecf97d605e51a355d0207923ab792a129488619f4258e058n,
  b: -0x65n,
  r: -0x1580bd9f2fac0bca346aba040f24756f254252910c33e84b1c0b00000000000000000000000000n
}, {
  a: 0xa6c94e723ce450fn,
  b: 0n,
  r: 0xa6c94e723ce450fn
}, {
  a: 0xd7425e8afe9c7b6b00399a4910ebbdaa324n,
  b: 0x38cn,
  r: 0n
}, {
  a: 0x7060169d93d3d58a13b0an,
  b: -0xe9n,
  r: 0xe0c02d3b27a7ab14276140000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x593da3e5fb5332bc368e0e3a349f55b7a7bb7e0b42c0dda5ce2a7e2260ac5f3n,
  b: -0xen,
  r: -0x164f68f97ed4ccaf0da3838e8d27d56de9eedf82d0b03769738a9f88982b17cc000n
}, {
  a: 0xb7b5a33a3bc10d6f92n,
  b: 0x817n,
  r: 0n
}, {
  a: 0x9a28c5b3624ae9c825afe8df527d86bce87a3e5f4den,
  b: 0x3n,
  r: 0x134518b66c495d3904b5fd1bea4fb0d79d0f47cbe9bn
}, {
  a: 0x15ab6423fbn,
  b: 0n,
  r: 0x15ab6423fbn
}, {
  a: -0x2e92c284759c357b70f7f8deef9206ced566085d6a3ebb7dfc3f22073191en,
  b: 0x7n,
  r: -0x5d258508eb386af6e1eff1bddf240d9daacc10bad47d76fbf87e440e633n
}, {
  a: -0xc23cdb6e869621a06c31476ab30cf25f00cc08e5c03f6n,
  b: 0xen,
  r: -0x308f36dba1a588681b0c51daacc33c97c033023971n
}, {
  a: 0x36ce607fc1272a0b677f5c56f3n,
  b: 0x2n,
  r: 0xdb3981ff049ca82d9dfd715bcn
}, {
  a: 0xcbda94dba0a71ce93bd0bf9f07f5e49668b7a677eb913b3a5f0fdb60d8dbdef9n,
  b: -0x6n,
  r: 0x32f6a536e829c73a4ef42fe7c1fd79259a2de99dfae44ece97c3f6d83636f7be40n
}, {
  a: -0x493a6c3691b19f1e9b51d4d5an,
  b: 0xebn,
  r: -0x1n
}, {
  a: -0x34666ffb2b9ca2b1fe089a2b8n,
  b: -0x73n,
  r: -0x1a3337fd95ce5158ff044d15c00000000000000000000000000000n
}, {
  a: -0x45458b92acf8dd411c725976d106122629a575021e0ec11b1n,
  b: -0xf8n,
  r: -0x45458b92acf8dd411c725976d106122629a575021e0ec11b100000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x704n,
  b: -0x98n,
  r: 0x70400000000000000000000000000000000000000n
}, {
  a: 0x470d2365ca6d6eb6aa3b993bbf32c8bf0ffe312n,
  b: 0n,
  r: 0x470d2365ca6d6eb6aa3b993bbf32c8bf0ffe312n
}, {
  a: 0x214d2a17f5d115cd372ae153dn,
  b: 0x54en,
  r: 0n
}, {
  a: -0xec34f0b500bce0110022543650cac7ae4b80fn,
  b: -0x7an,
  r: -0x3b0d3c2d402f38044008950d9432b1eb92e03c000000000000000000000000000000n
}, {
  a: -0x45cn,
  b: -0x38n,
  r: -0x45c00000000000000n
}, {
  a: 0x2bca97ad2f5a1bf6n,
  b: 0xfn,
  r: 0x57952f5a5eb4n
}, {
  a: -0x52dcf4bbab2b95ba9c49e5e8cf4b50n,
  b: 0x3fn,
  r: -0xa5b9e97756572cn
}, {
  a: 0x81b0f6d8c98e2135b6a266dac6abe578c3a3961e60ed3b79f30cb40223n,
  b: 0n,
  r: 0x81b0f6d8c98e2135b6a266dac6abe578c3a3961e60ed3b79f30cb40223n
}, {
  a: -0xcc4d4b36eb3855a74ea1ac112168008039eecn,
  b: 0xa4n,
  r: -0x1n
}, {
  a: -0x81197ce1n,
  b: -0xe2n,
  r: -0x20465f38400000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xf9c18b8745dd5ffe57n,
  b: -0xb1n,
  r: -0x1f383170e8bbabffcae00000000000000000000000000000000000000000000n
}, {
  a: -0xb3c432fa9c64bfn,
  b: -0x8an,
  r: -0x2cf10cbea7192fc0000000000000000000000000000000000n
}, {
  a: -0xb344922002118442ebce42736df6c1f628428afc888d67f1f3b286970639bffcf8a2bn,
  b: 0x7f4n,
  r: -0x1n
}, {
  a: -0x30949bcfc713c57a54a930d43aa52n,
  b: -0xf4n,
  r: -0x30949bcfc713c57a54a930d43aa520000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x1b7fbf620d19338992df7ee15db41add35bdaca009491bed2a2320a042add8an,
  b: -0x2n,
  r: -0x6dfefd883464ce264b7dfb8576d06b74d6f6b28025246fb4a88c82810ab7628n
}, {
  a: 0x255d7dff7d1e30958a307c5a9ca92abba81c95fe90275n,
  b: 0n,
  r: 0x255d7dff7d1e30958a307c5a9ca92abba81c95fe90275n
}, {
  a: -0x31cfca7333be6775636ea77b43921da4a7060a3ee898a06n,
  b: 0x9n,
  r: -0x18e7e53999df33bab1b753bda1c90ed25383051f744c6n
}, {
  a: -0xa3590b920beac0d711bda5b8024478ef65c32701f48n,
  b: -0xafn,
  r: -0x51ac85c905f5606b88ded2dc01223c77b2e19380fa400000000000000000000000000000000000000000000n
}, {
  a: -0x84bbn,
  b: -0x35n,
  r: -0x109760000000000000n
}, {
  a: -0x8a299914dd7eefbc63aa41fc6e20367b844e830c247a1a226deca354ee55n,
  b: 0x3ean,
  r: -0x1n
}, {
  a: 0x54ed1517094db89a20a16fd8f5fn,
  b: -0x85n,
  r: 0xa9da2a2e129b71344142dfb1ebe000000000000000000000000000000000n
}, {
  a: -0x5bbacn,
  b: -0x81n,
  r: -0xb775800000000000000000000000000000000n
}, {
  a: -0x55f2810ed7b1a9f67f075d2n,
  b: 0xa58n,
  r: -0x1n
}, {
  a: -0xd24fa4159n,
  b: 0x70n,
  r: -0x1n
}, {
  a: 0x585910f6c04c6be3acd746e0a2bb3de41c6052f3dc9cfcb2efc238de203b4993d355dn,
  b: -0xbn,
  r: 0x2c2c887b602635f1d66ba370515d9ef20e302979ee4e7e5977e11c6f101da4c9e9aae800n
}, {
  a: -0xc10c67a93fc73d4dcac81e7b4n,
  b: -0x29n,
  r: -0x18218cf527f8e7a9b95903cf680000000000n
}, {
  a: 0xd1713b8548b35bedcf133c3cc7c3b5170e436n,
  b: 0x2n,
  r: 0x345c4ee1522cd6fb73c4cf0f31f0ed45c390dn
}, {
  a: -0xf2563304c7948955772d37c18c4e16d87865d0n,
  b: 0n,
  r: -0xf2563304c7948955772d37c18c4e16d87865d0n
}, {
  a: -0xb704efccb8b85b6c5003cfbe5c560f2d7aa3768n,
  b: -0x60n,
  r: -0xb704efccb8b85b6c5003cfbe5c560f2d7aa3768000000000000000000000000n
}, {
  a: 0xe525c5563ae5bfcbab6c5d574d094a806bffcf4dd7f5414cfb3754a554a30d7548bdn,
  b: -0x8n,
  r: 0xe525c5563ae5bfcbab6c5d574d094a806bffcf4dd7f5414cfb3754a554a30d7548bd00n
}, {
  a: -0x7a974041b6d7d829e32691524926n,
  b: 0n,
  r: -0x7a974041b6d7d829e32691524926n
}, {
  a: 0x48cf611a391c769caab06afa2d42f4543a1061cabcfabfc1fbc2b782e091e66n,
  b: 0xa0n,
  r: 0x48cf611a391c769caab06afn
}, {
  a: 0xa6faf1610cafdc3ae84d42047d9n,
  b: 0xd7n,
  r: 0n
}, {
  a: 0x11ea158e707aa75967ce8b624d6db26f9756ad9c9f49bn,
  b: 0xfcn,
  r: 0n
}, {
  a: 0x3c0abc71a6d4d1ce11f877f04a5e7db9349d5f61602fef1540e2cc6fd4af26b386fn,
  b: -0xen,
  r: 0xf02af1c69b53473847e1dfc12979f6e4d2757d8580bfbc55038b31bf52bc9ace1bc000n
}, {
  a: 0x5984n,
  b: -0x23n,
  r: 0x2cc2000000000n
}, {
  a: -0x60e951ec2d4eced90c4b7a19e724bc6021b4a9cc850b3b43f669b875df96an,
  b: 0xab4n,
  r: -0x1n
}, {
  a: 0xa14985614956524540473349e55ee7782163eff0314afdfa5n,
  b: -0xe9n,
  r: 0x142930ac292aca48a808e6693cabdcef042c7dfe06295fbf4a0000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xae339n,
  b: 0x2an,
  r: -0x1n
}, {
  a: -0x3c8917e840440607601205eb4b10248a205926b516d78316efd5072528b2de1d23bn,
  b: -0x2n,
  r: -0xf2245fa10110181d804817ad2c40922881649ad45b5e0c5bbf541c94a2cb78748ecn
}, {
  a: -0xb81a9d05e2d1295c2d15c2e6926322a87006a95a465fce8cc524bd49092ace2n,
  b: -0x2n,
  r: -0x2e06a74178b44a570b4570b9a498c8aa1c01aa569197f3a331492f52424ab388n
}, {
  a: 0x1a79794302ee2a5d58e15016353902d7ca6b37ac13957d19c3016acf01n,
  b: 0n,
  r: 0x1a79794302ee2a5d58e15016353902d7ca6b37ac13957d19c3016acf01n
}, {
  a: 0x1e70d566e5c3df4bc362c123f809f2an,
  b: -0xb6n,
  r: 0x79c3559b970f7d2f0d8b048fe027ca8000000000000000000000000000000000000000000000n
}, {
  a: -0x7435bf4c082e95198e6412752bc9481493c7d93718cca8db6192ff60247c3n,
  b: -0x5n,
  r: -0xe86b7e98105d2a331cc824ea57929029278fb26e319951b6c325fec048f860n
}, {
  a: -0xbca9dfee2b1b4da14f97d0n,
  b: -0xc6n,
  r: -0x2f2a77fb8ac6d36853e5f400000000000000000000000000000000000000000000000000n
}, {
  a: 0x37ca6e634fb33598fe2abn,
  b: 0x502n,
  r: 0n
}, {
  a: 0x7bb3f5bed7a94d6d9e0c2845210b4a51a8eae3d3900f83a36e44f3ffd810e983451ban,
  b: -0x8n,
  r: 0x7bb3f5bed7a94d6d9e0c2845210b4a51a8eae3d3900f83a36e44f3ffd810e983451ba00n
}, {
  a: -0xb7ebf7b196d4af1b6c95a88fc0b594ac36eb5f00d1881n,
  b: 0xdn,
  r: -0x5bf5fbd8cb6a578db64ad447e05aca561b75af8069n
}, {
  a: -0x8db74133888f6e6607b8c59d2364f3904addb6401abf2en,
  b: 0x7n,
  r: -0x11b6e8267111edccc0f718b3a46c9e72095bb6c80357fn
}, {
  a: 0x5a4a9642c6ad3c0f5ebe0ca54581a4bd5c80c157596dn,
  b: -0xdcn,
  r: 0x5a4a9642c6ad3c0f5ebe0ca54581a4bd5c80c157596d0000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x272edcan,
  b: -0x6fn,
  r: 0x13976e50000000000000000000000000000n
}, {
  a: 0x3d7d5fee1cc3374878843a43f6552d5815b6n,
  b: 0n,
  r: 0x3d7d5fee1cc3374878843a43f6552d5815b6n
}, {
  a: -0xaca20f1552d9bfe328469dba06aee0d27ce156db80b0n,
  b: 0x3n,
  r: -0x159441e2aa5b37fc6508d3b740d5dc1a4f9c2adb7016n
}, {
  a: -0x2bd3002d4be5a189faa33498aa0bd29b9174f9ec62d178de4046n,
  b: 0n,
  r: -0x2bd3002d4be5a189faa33498aa0bd29b9174f9ec62d178de4046n
}, {
  a: 0x105917ce1411f7614ee7451fb4492d4f1d5n,
  b: -0xefn,
  r: 0x82c8be70a08fbb0a773a28fda2496a78ea800000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xf077742d5bc332e7ff07622n,
  b: -0x4cn,
  r: 0xf077742d5bc332e7ff076220000000000000000000n
}, {
  a: -0x98b207b4781d0b2a49bfb3593ab6e7c0127ddcdf7096bcfn,
  b: 0n,
  r: -0x98b207b4781d0b2a49bfb3593ab6e7c0127ddcdf7096bcfn
}, {
  a: -0x970a35a2d2b0b10664616aa2ba2d14en,
  b: -0x11n,
  r: -0x12e146b45a561620cc8c2d545745a29c0000n
}, {
  a: -0x3681c4287e6bfe2e936557f1d87f51edn,
  b: -0x82n,
  r: -0xda0710a1f9aff8ba4d955fc761fd47b400000000000000000000000000000000n
}, {
  a: 0x59dcc0621fb965d5c076d019b88efb3dc5cf156acdn,
  b: 0n,
  r: 0x59dcc0621fb965d5c076d019b88efb3dc5cf156acdn
}, {
  a: -0xf268bb5e75f8f02ed947n,
  b: 0x5a9n,
  r: -0x1n
}, {
  a: 0x318caf739150c4bc6290a193018d2441648003adc6465922131aafef4861n,
  b: 0n,
  r: 0x318caf739150c4bc6290a193018d2441648003adc6465922131aafef4861n
}, {
  a: 0x4d1867518fad397c66efeeb64b9bf46c008d3bc13f8cea03b985f7n,
  b: 0xba7n,
  r: 0n
}, {
  a: 0xb6c3ecc8b833156acb69f646a6084c9285dd63868c8594f8a4a8n,
  b: 0x9n,
  r: 0x5b61f6645c198ab565b4fb235304264942eeb1c34642ca7c52n
}, {
  a: -0xf344fb71b723b24ebcb887ban,
  b: 0x524n,
  r: -0x1n
}, {
  a: 0x2b2c9c97n,
  b: 0x2bn,
  r: 0n
}, {
  a: -0x8a2f75330f074007f31798b7f5a200b769en,
  b: -0x85n,
  r: -0x1145eea661e0e800fe62f316feb44016ed3c000000000000000000000000000000000n
}, {
  a: 0x1226d3143ada10e7a55ad2265361d0bc751936184cc1644c1ce86n,
  b: -0x89n,
  r: 0x244da62875b421cf4ab5a44ca6c3a178ea326c309982c89839d0c0000000000000000000000000000000000n
}, {
  a: 0x8n,
  b: -0xddn,
  r: 0x100000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xa85091550067e05a708447c8964dn,
  b: -0x17n,
  r: 0x542848aa8033f02d384223e44b26800000n
}, {
  a: -0x46b53f8a3ae93473ff4d43d5a7361b589b658922e4edf4ec07adfe84f9bd098n,
  b: 0x9e9n,
  r: -0x1n
}, {
  a: -0x18e9179fac429b134748c7fcn,
  b: 0x1bdn,
  r: -0x1n
}, {
  a: 0x52700cf08a8434bd68192c0d44450ca8c826d1776e432n,
  b: -0xffn,
  r: 0x2938067845421a5eb40c9606a2228654641368bbb72190000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x51c2a9938aa64f6769n,
  b: -0xb2n,
  r: -0x1470aa64e2a993d9da400000000000000000000000000000000000000000000n
}, {
  a: -0x797332faeb8073874a4f8e294171a322e75f5de042122311e00n,
  b: 0x7a3n,
  r: -0x1n
}, {
  a: -0xf542401cc949dc12daa0d9182f254bed35e995dd0e654f73f1500a0cf7e4ac9611n,
  b: 0x1n,
  r: -0x7aa1200e64a4ee096d506c8c1792a5f69af4caee8732a7b9f8a805067bf2564b09n
}, {
  a: -0x5b676f02de4445f2cn,
  b: 0x12n,
  r: -0x16d9dbc0b7912n
}, {
  a: -0x49d614a654494e065e97968683ebc6dddn,
  b: -0xbdn,
  r: -0x93ac294ca8929c0cbd2f2d0d07d78dbba00000000000000000000000000000000000000000000000n
}, {
  a: 0n,
  b: -0xbcn,
  r: 0n
}, {
  a: 0x8c841a50f81dcc347156de39e16f46b07645821fn,
  b: 0xdn,
  r: 0x46420d287c0ee61a38ab6f1cf0b7a3583b22cn
}, {
  a: 0x6c96a354c2ea51717d213n,
  b: -0xb9n,
  r: 0xd92d46a985d4a2e2fa4260000000000000000000000000000000000000000000000n
}, {
  a: -0x4db526897cn,
  b: -0xbcn,
  r: -0x4db526897c00000000000000000000000000000000000000000000000n
}, {
  a: 0x25238e3a2a5aed0e73abd8b35262505053c8d83dn,
  b: -0x6fn,
  r: 0x1291c71d152d768739d5ec59a931282829e46c1e8000000000000000000000000000n
}, {
  a: 0xed9c5fe672e90990a442ca733ac955cd091fc46d0032a26dc8694a3fn,
  b: 0x6n,
  r: 0x3b6717f99cba42642910b29cceb255734247f11b400ca89b721a528n
}, {
  a: 0xf49ba9e4b72550ec07ddfb6940d8b6010199229b653a46f0df09813118bfbn,
  b: 0x824n,
  r: 0n
}, {
  a: 0xe3c1f0449923daac3596ea672777n,
  b: 0x4n,
  r: 0xe3c1f0449923daac3596ea67277n
}, {
  a: 0x500db427313dab3cff06a9d2134f5e866n,
  b: 0x91n,
  r: 0n
}, {
  a: -0xa6en,
  b: 0xe4n,
  r: -0x1n
}, {
  a: 0x4124ec385419b79n,
  b: 0x2n,
  r: 0x10493b0e15066den
}, {
  a: -0xd7a708d0b50d1ccb3848a1992cn,
  b: -0xd0n,
  r: -0xd7a708d0b50d1ccb3848a1992c0000000000000000000000000000000000000000000000000000n
}, {
  a: -0x6n,
  b: -0xcbn,
  r: -0x3000000000000000000000000000000000000000000000000000n
}, {
  a: -0x78ff4fe9847c0172ab811496f2f646327ebd59ab2dd8827a10fn,
  b: 0xbcbn,
  r: -0x1n
}, {
  a: 0xb2c36afe9d2577f7055180542412cd7b8e7ef304a5n,
  b: 0x20n,
  r: 0xb2c36afe9d2577f7055180542412cd7b8en
}, {
  a: -0xbc1af828e26ec4be0n,
  b: -0x5cn,
  r: -0xbc1af828e26ec4be000000000000000000000000n
}, {
  a: -0x1155610808e865801229d1dfc2bad29191c407836a06d866b36ccceee0ab451n,
  b: -0xen,
  r: -0x4555842023a1960048a7477f0aeb4a4647101e0da81b619acdb333bb82ad144000n
}, {
  a: -0x5a5c9de34751ae2d5fn,
  b: -0x9an,
  r: -0x16972778d1d46b8b57c00000000000000000000000000000000000000n
}, {
  a: 0x91475f942a94d70n,
  b: -0xa5n,
  r: 0x1228ebf285529ae000000000000000000000000000000000000000000n
}, {
  a: 0xc30a759f1695a5445984f9f7fe45b8154n,
  b: 0n,
  r: 0xc30a759f1695a5445984f9f7fe45b8154n
}, {
  a: 0xfan,
  b: -0x5cn,
  r: 0xfa00000000000000000000000n
}, {
  a: 0xf93f6c77c9b31115e69e54df1de4fe2a1ef1c4743285fe6n,
  b: 0xe0n,
  r: 0n
}, {
  a: -0xd864a6be7f26d1f474687309cb3639be6473f65eace9c91836ff6en,
  b: 0x9n,
  r: -0x6c32535f3f9368fa3a343984e59b1cdf3239fb2f5674e48c1b80n
}, {
  a: -0xc60a473cb1db2f46cd597d6d1f80c077bb69n,
  b: 0x4n,
  r: -0xc60a473cb1db2f46cd597d6d1f80c077bb7n
}, {
  a: -0x9253fc950d3e2d6e0fcbea002c575451c4dn,
  b: 0x202n,
  r: -0x1n
}, {
  a: 0x788e6a713e4af752beb6e0a5c5000564de065cd5a52385d98bcbe2eb4d8102n,
  b: -0xbn,
  r: 0x3c4735389f257ba95f5b7052e28002b26f032e6ad291c2ecc5e5f175a6c081000n
}, {
  a: -0xfd786c9daa6a4f7be04e5a8475bf5a6f54ce26d861an,
  b: 0x61n,
  r: -0x7ebc364ed53527bdf03n
}, {
  a: -0xd76a9c39efa4d33f9150c3efebd6a44684e6d8f050b60d937e4cbf069127d47n,
  b: 0n,
  r: -0xd76a9c39efa4d33f9150c3efebd6a44684e6d8f050b60d937e4cbf069127d47n
}, {
  a: 0x724641e2edb7b01589db07e751f403b7n,
  b: -0x10n,
  r: 0x724641e2edb7b01589db07e751f403b70000n
}, {
  a: 0x869629bb23010360acf2b950ae9bb42a1540a0dn,
  b: 0x831n,
  r: 0n
}, {
  a: 0xf3e9n,
  b: -0xe7n,
  r: 0x79f48000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xa41e8761a385092050eb2b4d9e93772n,
  b: -0x1bn,
  r: 0x520f43b0d1c28490287595a6cf49bb90000000n
}, {
  a: -0xb6831d848b8347c8ac6b1e01cf956d604455en,
  b: -0xe4n,
  r: -0xb6831d848b8347c8ac6b1e01cf956d604455e000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xc65fc3f73d5d8cdeb1c18ff364547fae591291f70e6dc2920d871eae5eab03c2n,
  b: -0x5n,
  r: -0x18cbf87ee7abb19bd63831fe6c8a8ff5cb22523ee1cdb85241b0e3d5cbd5607840n
}, {
  a: -0x79db617fae3adc0db6b01d8c3bfe8866fbn,
  b: -0x7cn,
  r: -0x79db617fae3adc0db6b01d8c3bfe8866fb0000000000000000000000000000000n
}, {
  a: -0x1e5caef10e5e1abf2556e2103b3f1ebfaf84626239d6dn,
  b: 0n,
  r: -0x1e5caef10e5e1abf2556e2103b3f1ebfaf84626239d6dn
}, {
  a: 0xf2n,
  b: -0x58n,
  r: 0xf20000000000000000000000n
}, {
  a: 0xb806be1n,
  b: -0x89n,
  r: 0x1700d7c20000000000000000000000000000000000n
}, {
  a: 0xd7a86b2989777a0502f92ede1396f460n,
  b: -0xf8n,
  r: 0xd7a86b2989777a0502f92ede1396f46000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x1053208a5a689fa644714b26207d2728eba686bb3090ea6e0d9267a5n,
  b: -0xen,
  r: 0x414c822969a27e9911c52c9881f49ca3ae9a1aecc243a9b836499e94000n
}, {
  a: -0x190ef0ef2d1fb01403n,
  b: 0n,
  r: -0x190ef0ef2d1fb01403n
}, {
  a: -0xeea2f09f8c74f99308692628037d4dbc6ab82c5fffef4e0d68cn,
  b: -0x68n,
  r: -0xeea2f09f8c74f99308692628037d4dbc6ab82c5fffef4e0d68c00000000000000000000000000n
}, {
  a: 0xa0ca56904e30f578cefe0d69387d205b14ed15bac943b5129a97454fc50d0b1c98f50n,
  b: 0xed9n,
  r: 0n
}, {
  a: 0x8899f9n,
  b: -0x83n,
  r: 0x444cfc800000000000000000000000000000000n
}, {
  a: 0xab3b7ea9b6dbe894fa4d4196724d70a5479999dfb0ca0cf875818n,
  b: -0xd0n,
  r: 0xab3b7ea9b6dbe894fa4d4196724d70a5479999dfb0ca0cf8758180000000000000000000000000000000000000000000000000000n
}, {
  a: 0x74b4d9fce075804n,
  b: -0x4an,
  r: 0x1d2d367f381d6010000000000000000000n
}, {
  a: 0x17a25f872de62afc4853aa11469d0c45b150b1d4d9859a7eb3dad6d5n,
  b: 0xf1n,
  r: 0n
}, {
  a: -0x68768876n,
  b: 0x7n,
  r: -0xd0ed11n
}, {
  a: -0x179318abd4c7a88e11a61360643f7a8476d0400bbfdec6ca0ad94000c9f0b0n,
  b: 0xen,
  r: -0x5e4c62af531ea23846984d8190fdea11db41002eff7b1b282b65000328n
}, {
  a: -0x7634a7e6n,
  b: 0xan,
  r: -0x1d8d2an
}, {
  a: 0x9cb09c1n,
  b: -0x36n,
  r: 0x272c27040000000000000n
}, {
  a: 0xb7n,
  b: 0n,
  r: 0xb7n
}, {
  a: -0x6dab2e9c82bc6abc7abdn,
  b: 0xa2n,
  r: -0x1n
}, {
  a: -0x5ef3d1f74fccdf7aaeab8f48c792a81cn,
  b: -0xb8n,
  r: -0x5ef3d1f74fccdf7aaeab8f48c792a81c0000000000000000000000000000000000000000000000n
}, {
  a: 0xb085e8d375f42d5cc729b2b4ad826b61n,
  b: -0xcdn,
  r: 0x1610bd1a6ebe85ab98e5365695b04d6c2000000000000000000000000000000000000000000000000000n
}, {
  a: -0xf127a28afa12050cf10f3b31f1b5ef5ddbe4824cf650an,
  b: -0x65n,
  r: -0x1e24f4515f4240a19e21e7663e36bdebbb7c90499eca140000000000000000000000000n
}, {
  a: 0xe7832649083d8f0bd7e197e1fe16b4803925451879e4bde9n,
  b: -0x97n,
  r: 0x73c19324841ec785ebf0cbf0ff0b5a401c92a28c3cf25ef480000000000000000000000000000000000000n
}, {
  a: 0xf3098b4970904bfa8cd8987036d473n,
  b: -0x9en,
  r: 0x3cc262d25c2412fea336261c0db51cc000000000000000000000000000000000000000n
}, {
  a: 0xeafdc00a10d7e71f3d2a82c3141234c43206160491e338e3af2f9d98f274e871an,
  b: 0n,
  r: 0xeafdc00a10d7e71f3d2a82c3141234c43206160491e338e3af2f9d98f274e871an
}, {
  a: 0x1d45d050cn,
  b: -0x13n,
  r: 0xea2e828600000n
}, {
  a: 0x5315f06c7f5c1a47d3d6ad41b4488e2e2022e77f089c04d61bn,
  b: 0xafn,
  r: 0xa62be0n
}, {
  a: -0xbb81961d5a88f96129e5989593b7n,
  b: -0x5bn,
  r: -0x5dc0cb0ead447cb094f2cc4ac9db80000000000000000000000n
}, {
  a: 0x8beae0bdbdb9241b0b4d693c2859b67ec959n,
  b: -0x35n,
  r: 0x117d5c17b7b724836169ad27850b36cfd92b20000000000000n
}, {
  a: 0xa3d6aaaf80688825e5f8e682208e13f2d1fb7c347a34f68n,
  b: 0xacn,
  r: 0xa3d6n
}, {
  a: -0xba4n,
  b: 0n,
  r: -0xba4n
}, {
  a: 0x4b31995fc05fc712ecd1c1491a4357ee3083fec478e48744646439457an,
  b: 0x210n,
  r: 0n
}, {
  a: 0x9a787bf81685c701bfd295110e685e894282bbdcf46ed96b2ab99cf8c7d7e02edcn,
  b: 0x1e4n,
  r: 0n
}, {
  a: -0x7a519d7dd99ddbba019b19bfefe1a723ada6n,
  b: 0n,
  r: -0x7a519d7dd99ddbba019b19bfefe1a723ada6n
}, {
  a: -0x773b5671929dac6c5ad3704b4861f2180e1c752e589a98b298715n,
  b: -0xe9n,
  r: -0xee76ace3253b58d8b5a6e09690c3e4301c38ea5cb135316530e2a0000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x9873ab9336f4ec8e664ad8dc846fd1e4fdb6b83ced1d5d2a29c1bc47ba9a760497acn,
  b: -0x5n,
  r: 0x130e757266de9d91ccc95b1b908dfa3c9fb6d7079da3aba545383788f7534ec092f580n
}, {
  a: 0xeba3373n,
  b: 0x51n,
  r: 0n
}, {
  a: -0x8123f6a519b57f0066e51aa561014546bae853b0d6e3e360dn,
  b: -0x9fn,
  r: -0x4091fb528cdabf8033728d52b080a2a35d7429d86b71f1b068000000000000000000000000000000000000000n
}, {
  a: 0x444ef8513650aecc07bc42b888811450398n,
  b: -0x70n,
  r: 0x444ef8513650aecc07bc42b8888114503980000000000000000000000000000n
}, {
  a: 0xade5d43f5n,
  b: 0xb19n,
  r: 0n
}, {
  a: -0x927a309767284cedcccc8ccc140257265ea3f24n,
  b: 0n,
  r: -0x927a309767284cedcccc8ccc140257265ea3f24n
}, {
  a: 0xd362af2a6f8c17d84c16f6dd45b9f9a237491e34d2e5f0195678279edb610904c7n,
  b: -0x8n,
  r: 0xd362af2a6f8c17d84c16f6dd45b9f9a237491e34d2e5f0195678279edb610904c700n
}, {
  a: 0x946dffd46b38a7b2a512b482b5a6af62adc2758621a0e99n,
  b: -0x38n,
  r: 0x946dffd46b38a7b2a512b482b5a6af62adc2758621a0e9900000000000000n
}, {
  a: -0x70n,
  b: -0xbfn,
  r: -0x38000000000000000000000000000000000000000000000000n
}, {
  a: 0xb64ad3d68248eb8effd7ddd5d82a2c4a48fd6ac731ea46e636b3e4n,
  b: 0n,
  r: 0xb64ad3d68248eb8effd7ddd5d82a2c4a48fd6ac731ea46e636b3e4n
}, {
  a: -0x4833ad11d04fa833dff1f7bba66fadf243ade2e0fe4f7c88181a0cee1n,
  b: -0xan,
  r: -0x120ceb447413ea0cf7fc7deee99beb7c90eb78b83f93df220606833b8400n
}, {
  a: -0x5ff94b86c66ebc8d7029ead0062c76bec1627279ab751f26b6n,
  b: -0xb3n,
  r: -0x2ffca5c363375e46b814f56803163b5f60b1393cd5ba8f935b000000000000000000000000000000000000000000000n
}, {
  a: 0xf2c6n,
  b: 0xffn,
  r: 0n
}, {
  a: -0x32c0eb6f02662e0cccc820f3afff58b6ad9c12a37bcd63218eb63n,
  b: 0x9n,
  r: -0x196075b78133170666641079d7ffac5b56ce0951bde6b190c76n
}, {
  a: 0xf83d1740eeb989a0a1eea2ddb4e782a4a91bfd23bfaa191ef94bec1n,
  b: -0xcn,
  r: 0xf83d1740eeb989a0a1eea2ddb4e782a4a91bfd23bfaa191ef94bec1000n
}, {
  a: -0x48ef7324a97c07a353a37a539ee99b3ef8ean,
  b: -0x16n,
  r: -0x123bdcc92a5f01e8d4e8de94e7ba66cfbe3a800000n
}, {
  a: 0x43f6cd885cc586ed32n,
  b: 0n,
  r: 0x43f6cd885cc586ed32n
}, {
  a: -0x77149688b5f1aec870n,
  b: -0x16n,
  r: -0x1dc525a22d7c6bb21c000000n
}, {
  a: 0xd08f10a6eb53be45f4321463b680b50a1176en,
  b: 0x4n,
  r: 0xd08f10a6eb53be45f4321463b680b50a1176n
}, {
  a: -0x760a23d1a78c9968090b0f81857eeeabedb7d716d4b164ccdan,
  b: -0x90n,
  r: -0x760a23d1a78c9968090b0f81857eeeabedb7d716d4b164ccda000000000000000000000000000000000000n
}, {
  a: 0xd37467d7c06cf326b716cf0938483655e3513779b1f2c4321b65db9cc92a1dacf7bdn,
  b: 0xe61n,
  r: 0n
}, {
  a: -0xc0cf98e7b880b24b94381744ff31fa98910859b5fc9e09976a7b41b6fc859fdn,
  b: 0n,
  r: -0xc0cf98e7b880b24b94381744ff31fa98910859b5fc9e09976a7b41b6fc859fdn
}, {
  a: 0xd8d0052d1def3f032b7cf1a8f9ecea467n,
  b: 0xdn,
  r: 0x6c6802968ef79f8195be78d47cf675n
}, {
  a: -0xc7e3028bc6dc5169cdcb59a90dc4b59c4bn,
  b: 0x448n,
  r: -0x1n
}, {
  a: 0x7f9815a153ac386b7n,
  b: 0n,
  r: 0x7f9815a153ac386b7n
}, {
  a: -0x785bdn,
  b: -0x88n,
  r: -0x785bd0000000000000000000000000000000000n
}, {
  a: 0xab7bea1ea011ec6c303f6cd6411955b8b6b46fb5d79n,
  b: 0xe52n,
  r: 0n
}, {
  a: 0xa99234n,
  b: 0x67n,
  r: 0n
}, {
  a: 0xecb0c838a59b6aaa8904fc35bb6c0652b01cbfn,
  b: 0xbe1n,
  r: 0n
}, {
  a: 0x54324dbb81b6ca09ff2b980b811ea4aba26087569cab4e2ae6de59b5n,
  b: 0x9n,
  r: 0x2a1926ddc0db6504ff95cc05c08f5255d13043ab4e55a715736f2cn
}, {
  a: -0x8cdf129f5f5fda0bde8ade138b7972ebf4861f88d0d4fb9f3ac130ae0df8170en,
  b: 0xa1n,
  r: -0x466f894fafafed05ef456f0an
}, {
  a: 0x86cd68d8d6445b3c6d95a7a0428d8e122545d7fe264b3805153206ec79an,
  b: 0xen,
  r: 0x21b35a36359116cf1b6569e810a36384895175ff8992ce01454c81bbn
}, {
  a: -0x267f12a56ebf0ff68ef1dbn,
  b: 0x45an,
  r: -0x1n
}, {
  a: 0xf4353ec71bf2351a65bf0cbcf0ca79220be241ff67d739n,
  b: 0x6n,
  r: 0x3d0d4fb1c6fc8d46996fc32f3c329e4882f8907fd9f5cn
}, {
  a: -0xaab7ce2e83c6560d4e5412b82012ca6e43d749435a390ea16fn,
  b: -0x75n,
  r: -0x1556f9c5d078cac1a9ca82570402594dc87ae9286b4721d42de00000000000000000000000000000n
}, {
  a: 0x28b06f8a6c0ccfd5n,
  b: -0xb3n,
  r: 0x145837c5360667ea800000000000000000000000000000000000000000000n
}, {
  a: -0x336b89889e1a245f596cdbd7e20189n,
  b: -0x88n,
  r: -0x336b89889e1a245f596cdbd7e201890000000000000000000000000000000000n
}, {
  a: -0x562feeb4549cbcf9f0bn,
  b: 0x9dcn,
  r: -0x1n
}, {
  a: -0x3239e3c37e293b1b506a5393f14f85b39f8062a6065ffe3226640ea1n,
  b: 0n,
  r: -0x3239e3c37e293b1b506a5393f14f85b39f8062a6065ffe3226640ea1n
}, {
  a: -0xca12fa9ea836647b1bbe4f31b5e06a9a62e92e7c6e9adf7n,
  b: -0xa9n,
  r: -0x19425f53d506cc8f6377c9e636bc0d534c5d25cf8dd35bee000000000000000000000000000000000000000000n
}, {
  a: -0x47591n,
  b: -0x57n,
  r: -0x23ac88000000000000000000000n
}, {
  a: -0xe21a530ca2aec69900n,
  b: 0x993n,
  r: -0x1n
}, {
  a: -0xfd0db77d73c945c63n,
  b: -0x9dn,
  r: -0x1fa1b6efae7928b8c6000000000000000000000000000000000000000n
}, {
  a: -0xecf889bd0bbf017d9c88f6508148e30e9554f774dab9ebb4f9a26cf3c58da158n,
  b: 0xcdfn,
  r: -0x1n
}, {
  a: 0n,
  b: -0x33n,
  r: 0n
}, {
  a: -0xa83d4e9b8dcc50247b066cf32bd4f49c3dc72933844881b43029f9912a9efb5n,
  b: 0x845n,
  r: -0x1n
}, {
  a: -0xd2c065038bbd3c766276n,
  b: 0xfn,
  r: -0x1a580ca07177a78edn
}, {
  a: 0xf1e95ae6c1ce41f276c9f8n,
  b: -0xe7n,
  r: 0x78f4ad7360e720f93b64fc0000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x5d521020abad80ecc62552faf34abbabf4967e9707ac709ada32a56ad57b4ca5ce8n,
  b: -0x1n,
  r: -0xbaa42041575b01d98c4aa5f5e6957757e92cfd2e0f58e135b4654ad5aaf6994b9d0n
}, {
  a: 0x8aan,
  b: 0xa3n,
  r: 0n
}, {
  a: -0x6n,
  b: 0x79n,
  r: -0x1n
}, {
  a: -0x1b26fb4eaad889515beb4e041abe4685e3ea9513d3194b4a6n,
  b: -0xdfn,
  r: -0xd937da7556c44a8adf5a7020d5f2342f1f54a89e98ca5a5300000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x11d06073aff5d76314281an,
  b: 0x86n,
  r: -0x1n
}, {
  a: 0xb4a65c76336fe7455695e171b798d18d41n,
  b: -0xf8n,
  r: 0xb4a65c76336fe7455695e171b798d18d4100000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xca2212185d744e0a985029db7ad83275c0fn,
  b: 0x2n,
  r: 0x32888486175d1382a6140a76deb60c9d703n
}, {
  a: -0x1ea7c76136da41cbc9d8b63c0f7016df1aa292ddc0bf30a672042e525ae02d7e9n,
  b: -0x7n,
  r: -0xf53e3b09b6d20e5e4ec5b1e07b80b6f8d51496ee05f9853390217292d7016bf480n
}, {
  a: 0x2507cd039e8452bb21a000021dc4979a19574d5309e8a1955n,
  b: -0x15n,
  r: 0x4a0f9a073d08a576434000043b892f3432ae9aa613d1432aa00000n
}, {
  a: -0xfdbd86b97eee405defd743c6b43e74ca3ef083751aaf408f9f0aee2a32347cn,
  b: 0x3n,
  r: -0x1fb7b0d72fddc80bbdfae878d687ce9947de106ea355e811f3e15dc5464690n
}, {
  a: -0x7ec75377198b8b7979cb6ac554a67657ebde5b13n,
  b: -0x95n,
  r: -0xfd8ea6ee331716f2f396d58aa94cecafd7bcb6260000000000000000000000000000000000000n
}, {
  a: -0x889964fcf23acca10fd97d628dd640603b641831c6c1bb648e661463cen,
  b: 0x862n,
  r: -0x1n
}, {
  a: 0x6494162df26898n,
  b: 0xcn,
  r: 0x6494162df26n
}, {
  a: -0x7e983n,
  b: 0x7n,
  r: -0xfd4n
}, {
  a: 0n,
  b: 0x29n,
  r: 0n
}, {
  a: -0x7f90853f5ae4989n,
  b: -0xc1n,
  r: -0xff210a7eb5c9312000000000000000000000000000000000000000000000000n
}, {
  a: -0xd201529c703a8468acd1dcd44d0554cdb1eadc99122c38519aacb8daa8e604b5d9n,
  b: -0xcn,
  r: -0xd201529c703a8468acd1dcd44d0554cdb1eadc99122c38519aacb8daa8e604b5d9000n
}, {
  a: 0n,
  b: 0x98n,
  r: 0n
}, {
  a: -0x1876380e2d035180149fd08398039152c29n,
  b: 0xb1n,
  r: -0x1n
}, {
  a: 0xc36605bc1e86de63e175433056ef3a1a9dbebdn,
  b: 0n,
  r: 0xc36605bc1e86de63e175433056ef3a1a9dbebdn
}, {
  a: -0xf61e40691dda70c87n,
  b: 0xe38n,
  r: -0x1n
}, {
  a: -0x17a8ed4b3d1b859cb569a79d66fda849f71f60f61463320c04214162f8dn,
  b: -0xfn,
  r: -0xbd476a59e8dc2ce5ab4d3ceb37ed424fb8fb07b0a3199060210a0b17c68000n
}, {
  a: 0xe07c1b1fn,
  b: -0xdfn,
  r: 0x703e0d8f80000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x67be15f667e0581b52d6698a5f00f22a3e91661n,
  b: 0xfen,
  r: -0x1n
}, {
  a: 0xe9b7250ddc793cf65be985e12a3b978d7b263n,
  b: -0xe8n,
  r: 0xe9b7250ddc793cf65be985e12a3b978d7b2630000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xbe17e963d28ec889ca582b668c34581f5n,
  b: 0xe50n,
  r: -0x1n
}, {
  a: 0xfaeb89766f2aa0f59c4d6b5939b08b57d377a3d190be2dc4n,
  b: -0x21n,
  r: 0x1f5d712ecde5541eb389ad6b2736116afa6ef47a3217c5b8800000000n
}, {
  a: -0x73f9605279ac25a88537dc1bb92c78b66b5c838e2ab22f4c1059405948a9de0n,
  b: 0xffbn,
  r: -0x1n
}, {
  a: 0x2a80bf08bf244bfdf6687c525a64693e9n,
  b: -0x70n,
  r: 0x2a80bf08bf244bfdf6687c525a64693e90000000000000000000000000000n
}, {
  a: 0xc4n,
  b: 0xaden,
  r: 0n
}, {
  a: -0xda3ccc59e3791c663031fdbb96a0c6a52d875fn,
  b: 0n,
  r: -0xda3ccc59e3791c663031fdbb96a0c6a52d875fn
}, {
  a: -0x89dda06b49ac83e6ef9801375d9ff533f9d99978e09e75e52n,
  b: -0xben,
  r: -0x2277681ad26b20f9bbe6004dd767fd4cfe76665e38279d794800000000000000000000000000000000000000000000000n
}, {
  a: -0x4518824d60329911b989defeecf115cdd05387d9d1173ec5n,
  b: -0x82n,
  r: -0x11462093580ca6446e6277bfbb3c45737414e1f67445cfb1400000000000000000000000000000000n
}, {
  a: 0x22289be1a06b7d89bead9c0fan,
  b: -0x6dn,
  r: 0x445137c340d6fb137d5b381f4000000000000000000000000000n
}, {
  a: 0x2e1215dd8d2b171fdbb6992afd2bcda05ffcn,
  b: 0xdn,
  r: 0x17090aeec6958b8feddb4c957e95e6d02n
}, {
  a: 0x3d3c453021909b2eaf4865633b39826a640a8df36710en,
  b: 0n,
  r: 0x3d3c453021909b2eaf4865633b39826a640a8df36710en
}, {
  a: -0x867365aabcefc6f9057427737d07d1fe13d8672f7a2d085n,
  b: -0x20n,
  r: -0x867365aabcefc6f9057427737d07d1fe13d8672f7a2d08500000000n
}, {
  a: -0xd82cn,
  b: 0x9en,
  r: -0x1n
}, {
  a: -0xec813c3278fbcf32n,
  b: -0xf7n,
  r: -0x76409e193c7de79900000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x269a37d88afe292317a043a8285ded044228c7883964de77n,
  b: 0x26n,
  r: 0x9a68df622bf8a48c5e810ea0a177b41108a31en
}, {
  a: 0x8d1d6f779d68e695cfcc011bdfbbc3bn,
  b: -0x84n,
  r: 0x8d1d6f779d68e695cfcc011bdfbbc3b000000000000000000000000000000000n
}, {
  a: -0x12b0b679584eafe61en,
  b: 0x655n,
  r: -0x1n
}, {
  a: 0xda65a1a8b40d3fba59d04f10796b68f66345700b5f4c6c2f478476469b0b75dfn,
  b: 0x61n,
  r: 0x6d32d0d45a069fdd2ce827883cb5b47b31a2b805n
}, {
  a: -0xb5d14008e2n,
  b: 0xd84n,
  r: -0x1n
}, {
  a: -0xb0en,
  b: 0x91n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x2n,
  r: 0n
}, {
  a: 0x30f0e4414fbb908ae01cc63809n,
  b: -0x7dn,
  r: 0x61e1c8829f772115c0398c70120000000000000000000000000000000n
}, {
  a: 0xa303f5f39b9aa1ab3a2cb322000c6d3n,
  b: 0x2n,
  r: 0x28c0fd7ce6e6a86ace8b2cc880031b4n
}, {
  a: 0xb6113a7dn,
  b: -0x11n,
  r: 0x16c2274fa0000n
}, {
  a: -0x1d08468d9ef990945n,
  b: 0x2e2n,
  r: -0x1n
}, {
  a: 0x75bbaba36b2b4a52ae6dda3448c8c30b760892e53f56948c41a7cc0n,
  b: -0x5n,
  r: 0xeb775746d65694a55cdbb46891918616ec1125ca7ead2918834f9800n
}, {
  a: -0x5c8a7f0f4bfa95181586b80642d072aaeb4d0aefaf3ff6n,
  b: -0xe3n,
  r: -0x2e453f87a5fd4a8c0ac35c032168395575a68577d79ffb000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xa5c56b9f42e93d794af449ab80a62452518ae23n,
  b: 0x775n,
  r: 0n
}, {
  a: -0xa2179fe7f34da9f6987n,
  b: 0n,
  r: -0xa2179fe7f34da9f6987n
}, {
  a: 0xae25744e2954993958ece33fede59c69184en,
  b: 0xf8n,
  r: 0n
}, {
  a: 0x3cbe40027325b8aadcf7a98be88bc1ed1f332d40b1n,
  b: 0xaa8n,
  r: 0n
}, {
  a: 0xde39ae27002eaaeedda5dbdeb8c56e213c62816926acd297c549cdf8dd159a1903n,
  b: 0xbf6n,
  r: 0n
}, {
  a: 0x1459ebe337een,
  b: -0x62n,
  r: 0x5167af8cdfb8000000000000000000000000n
}, {
  a: -0x60f34n,
  b: -0x49n,
  r: -0xc1e68000000000000000000n
}, {
  a: 0xc20cc103a0e92a6d8de59ce769cda65fa41eaa6396963127n,
  b: -0x82n,
  r: 0x30833040e83a4a9b63796739da736997e907aa98e5a58c49c00000000000000000000000000000000n
}, {
  a: -0xfban,
  b: -0x4bn,
  r: -0x7dd0000000000000000000n
}, {
  a: -0x9d3b18bda57863259ddba2a06bdn,
  b: -0x90n,
  r: -0x9d3b18bda57863259ddba2a06bd000000000000000000000000000000000000n
}, {
  a: 0x159f1n,
  b: 0xe52n,
  r: 0n
}, {
  a: 0x444c06cf71f5a117a5fbbn,
  b: 0n,
  r: 0x444c06cf71f5a117a5fbbn
}, {
  a: -0x9dedceec6bdadd138e4a72n,
  b: 0x30n,
  r: -0x9dedceec6cn
}, {
  a: -0x3ee593de247f98a2489ef17c866295afdcn,
  b: -0x24n,
  r: -0x3ee593de247f98a2489ef17c866295afdc000000000n
}, {
  a: -0xa3a9f04b51a53ba5a0aadd2eeab9e5a10fca09a88df54d21bfd4en,
  b: 0n,
  r: -0xa3a9f04b51a53ba5a0aadd2eeab9e5a10fca09a88df54d21bfd4en
}, {
  a: -0xdcbc7e320100a398b1f7d20712f8daa1d57c7c827e3da6cbf4b145dd85a2dn,
  b: 0n,
  r: -0xdcbc7e320100a398b1f7d20712f8daa1d57c7c827e3da6cbf4b145dd85a2dn
}, {
  a: -0x805c280434a9c8dd7f4dcddn,
  b: 0n,
  r: -0x805c280434a9c8dd7f4dcddn
}, {
  a: 0x6a23bb6230a95c6999a87739074ab18bcb129ed58776b92becad2dcen,
  b: 0x9n,
  r: 0x3511ddb11854ae34ccd43b9c83a558c5e5894f6ac3bb5c95f65696n
}, {
  a: 0x9564ba800ec3eab53a6b1c5f7390d796de0c179n,
  b: -0xf6n,
  r: 0x25592ea003b0faad4e9ac717dce435e5b78305e40000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xca78e51813d26de231edf695dbdf7cd6a756496d2bn,
  b: -0xacn,
  r: 0xca78e51813d26de231edf695dbdf7cd6a756496d2b0000000000000000000000000000000000000000000n
}, {
  a: 0n,
  b: -0xe8n,
  r: 0n
}, {
  a: 0xd9b723806dac01cbd4c9f96f083b8d5272bf349f1e4471c14f2b1030bc35n,
  b: -0x4n,
  r: 0xd9b723806dac01cbd4c9f96f083b8d5272bf349f1e4471c14f2b1030bc350n
}, {
  a: -0xc346e3e949c42c085b3501390n,
  b: -0x58n,
  r: -0xc346e3e949c42c085b35013900000000000000000000000n
}, {
  a: -0xa84d2faa2cfcb9cdf5c2a9n,
  b: -0x84n,
  r: -0xa84d2faa2cfcb9cdf5c2a9000000000000000000000000000000000n
}, {
  a: 0n,
  b: -0x8en,
  r: 0n
}, {
  a: 0x43d905c8f5c0949n,
  b: 0n,
  r: 0x43d905c8f5c0949n
}, {
  a: 0x8813c7cd6fc8d879c1500fn,
  b: 0n,
  r: 0x8813c7cd6fc8d879c1500fn
}, {
  a: 0x2b0e4a7f1b4aa84e9d91b8d881f1be0ed55ec1819cdf1746ec3f2f37287ff06n,
  b: -0x4n,
  r: 0x2b0e4a7f1b4aa84e9d91b8d881f1be0ed55ec1819cdf1746ec3f2f37287ff060n
}, {
  a: -0x5bf543e46003012004c29984311c44f3f70a3c31aaf6167360ceb974519da0n,
  b: -0x7n,
  r: -0x2dfaa1f23001809002614cc2188e2279fb851e18d57b0b39b0675cba28ced000n
}, {
  a: -0xc298e4131824c26ed3798827dcdbba18866ea9b3b29feee05749b3n,
  b: 0x5cn,
  r: -0xc298e4131824c26ed3798827dcdbba2n
}, {
  a: -0x8f11cac7515c899ab8db439196420712392a1297e029b6bbc58227f90221n,
  b: 0n,
  r: -0x8f11cac7515c899ab8db439196420712392a1297e029b6bbc58227f90221n
}, {
  a: 0xe5e2n,
  b: 0n,
  r: 0xe5e2n
}, {
  a: 0x382ba71f31d46fb094d1431419ee25c8b0230bba88a4bn,
  b: -0xd8n,
  r: 0x382ba71f31d46fb094d1431419ee25c8b0230bba88a4b000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xbe4a6e2437312116a9fn,
  b: 0x3fcn,
  r: -0x1n
}, {
  a: 0x85271816d626707cec3172dn,
  b: -0xf6n,
  r: 0x2149c605b5899c1f3b0c5cb40000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x7d9n,
  b: -0x5en,
  r: -0x1f6400000000000000000000000n
}, {
  a: 0x20bn,
  b: -0xdan,
  r: 0x82c000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x755482a95cd6de1287a71203860eeee71dd69303e4c112f9af3d27n,
  b: -0x34n,
  r: 0x755482a95cd6de1287a71203860eeee71dd69303e4c112f9af3d270000000000000n
}, {
  a: 0xffc40be28fb160781d9318b37cn,
  b: 0x96n,
  r: 0n
}, {
  a: -0xb6d2532569de2n,
  b: 0x7bn,
  r: -0x1n
}, {
  a: 0x7f4998n,
  b: 0n,
  r: 0x7f4998n
}, {
  a: -0x93cb0acf33dc6129811442539f60436a045063924eac7e53f55n,
  b: 0n,
  r: -0x93cb0acf33dc6129811442539f60436a045063924eac7e53f55n
}, {
  a: 0x47ef623n,
  b: -0xd2n,
  r: 0x11fbd88c0000000000000000000000000000000000000000000000000000n
}, {
  a: 0x425b8af1e679e9cec90fd2d2fae19b09eaaan,
  b: 0x20n,
  r: 0x425b8af1e679e9cec90fd2d2fae1n
}, {
  a: -0x48ce20250d257c17f74d6569df4f0ef450e2ed85ebf5502690e921bacc5f00afca4n,
  b: 0xa05n,
  r: -0x1n
}, {
  a: -0xe08815bc1b19400n,
  b: -0xd2n,
  r: -0x3822056f06c650000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xb604432eaf76n,
  b: -0x90n,
  r: -0xb604432eaf76000000000000000000000000000000000000n
}, {
  a: -0x9192953fa003ae382b98c68c36b702218faa4fbcf2cea978687878f6a499faf6n,
  b: -0xdn,
  r: -0x123252a7f40075c7057318d186d6e04431f549f79e59d52f0d0f0f1ed4933f5ec000n
}, {
  a: 0xa522088e7dee59dcd43ff5n,
  b: 0xfn,
  r: 0x14a44111cfbdcb3b9a8n
}, {
  a: 0x9949e77fa6c4cc88ef450d159d6444f3n,
  b: 0xf2n,
  r: 0n
}, {
  a: -0x953e7e42cc8e3887667e6b24efef2000831fc18154fd53fb05edbacn,
  b: 0xb22n,
  r: -0x1n
}, {
  a: 0x367b1c5e168669ab99416f9c19b3n,
  b: 0x2bn,
  r: 0x6cf638bc2d0cd3573n
}, {
  a: -0xe4a895b07497841603133f2cfb3186a02f84ae5740n,
  b: -0x3en,
  r: -0x392a256c1d25e10580c4cfcb3ecc61a80be12b95d00000000000000000n
}, {
  a: 0x4db0bb0f7838ca344ee43fede8c60d48d6a9b5c3f97f1n,
  b: 0x600n,
  r: 0n
}, {
  a: 0xbd097033cc31e725b03aab16cd715fd74e9d76681n,
  b: -0x81n,
  r: 0x17a12e0679863ce4b6075562d9ae2bfae9d3aecd0200000000000000000000000000000000n
}, {
  a: -0x224ef6050ae7287920434701760006c539ec02b026e853319bfe7d95a9717b78n,
  b: 0n,
  r: -0x224ef6050ae7287920434701760006c539ec02b026e853319bfe7d95a9717b78n
}, {
  a: 0xe0fd1ce699e790906da4b21cb504afn,
  b: -0x8dn,
  r: 0x1c1fa39cd33cf2120db4964396a095e00000000000000000000000000000000000n
}, {
  a: -0xc8e0fde6e31ad14d3b4c4f4da64eb71d38f4859dbefce67a769b2094142bdcan,
  b: 0x3n,
  r: -0x191c1fbcdc635a29a76989e9b4c9d6e3a71e90b3b7df9ccf4ed3641282857ban
}, {
  a: 0xa6dn,
  b: -0xfbn,
  r: 0x536800000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xa680faf52880d0656a336bfa63fd6121cef8e2ddd51n,
  b: 0x2cen,
  r: 0n
}, {
  a: 0n,
  b: -0x22n,
  r: 0n
}, {
  a: 0x93ed5959ba3n,
  b: -0xa0n,
  r: 0x93ed5959ba30000000000000000000000000000000000000000n
}, {
  a: 0xe15fd1e0cb9e55468f92ad4b38080fa90f2584bde5bn,
  b: -0xf9n,
  r: 0x1c2bfa3c1973caa8d1f255a9670101f521e4b097bcb600000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x4d9b2b5ec9e243b87152a422584an,
  b: 0x2n,
  r: 0x1366cad7b27890ee1c54a9089612n
}, {
  a: -0x2e6a155c5e3c8677c3cdc4a8d53efe5n,
  b: -0xa0n,
  r: -0x2e6a155c5e3c8677c3cdc4a8d53efe50000000000000000000000000000000000000000n
}, {
  a: -0xc283278e1n,
  b: -0xc3n,
  r: -0x614193c708000000000000000000000000000000000000000000000000n
}, {
  a: 0xc9da2c84ee9d3e15ce0466e9bf94f68fb3fe5800e31a5e5ca90513n,
  b: 0n,
  r: 0xc9da2c84ee9d3e15ce0466e9bf94f68fb3fe5800e31a5e5ca90513n
}, {
  a: 0xf2240ca7d53082592n,
  b: 0n,
  r: 0xf2240ca7d53082592n
}, {
  a: 0xa341c2e123d0efa957an,
  b: 0x1n,
  r: 0x51a0e17091e877d4abdn
}, {
  a: 0x90afd2c02b52f840365ebc8172eaa100f600276763f34fcban,
  b: -0x57n,
  r: 0x4857e96015a97c201b2f5e40b97550807b0013b3b1f9a7e5d0000000000000000000000n
}, {
  a: -0x27338fa78ff9db6851c43a987a08acf94ea0faeaea5c1ea8b83e0n,
  b: -0x41n,
  r: -0x4e671f4f1ff3b6d0a3887530f41159f29d41f5d5d4b83d51707c00000000000000000n
}, {
  a: -0x8620e92add86fe59ebcb420c9a7eaad56c02n,
  b: 0xbe4n,
  r: -0x1n
}, {
  a: -0x92dbf5adff49a34740c2a03a5453918842be60ed8d8b33dfe9f50ean,
  b: 0n,
  r: -0x92dbf5adff49a34740c2a03a5453918842be60ed8d8b33dfe9f50ean
}, {
  a: -0x705219fb98ed5c5ed5f06bed4d10764e756291ac4373d6509387e2ea226ad70fcebn,
  b: 0n,
  r: -0x705219fb98ed5c5ed5f06bed4d10764e756291ac4373d6509387e2ea226ad70fcebn
}, {
  a: -0xe5643839ab0ddb3b2012293c5ebbcd8b9792888b846977267e994755afbcc7606b98bn,
  b: 0x5n,
  r: -0x72b21c1cd586ed9d9009149e2f5de6c5cbc94445c234bb933f4ca3aad7de63b035cdn
}, {
  a: 0x8a8f2f331ef1f9f295e2258c16af036f1bea525f9461293998fd817fan,
  b: 0n,
  r: 0x8a8f2f331ef1f9f295e2258c16af036f1bea525f9461293998fd817fan
}, {
  a: 0xb5fcc0257f2c47288e075bec25ec31ea6c3d86121n,
  b: -0xe5n,
  r: 0x16bf9804afe588e511c0eb7d84bd863d4d87b0c242000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x7cd497a202bcb7en,
  b: -0xcbn,
  r: -0x3e6a4bd1015e5bf000000000000000000000000000000000000000000000000000n
}, {
  a: 0x248a412d38ad0ed16c3c6be43ec9cdda015b2295259n,
  b: -0xf4n,
  r: 0x248a412d38ad0ed16c3c6be43ec9cdda015b22952590000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xcdad790bc8c6517617b37a61f41b92bc7070aeba08ea209e8635115ef8a6n,
  b: -0x9n,
  r: 0x19b5af217918ca2ec2f66f4c3e8372578e0e15d7411d4413d0c6a22bdf14c00n
}, {
  a: 0x4de989e5a20d52c37626e87fe61b866c9n,
  b: -0xacn,
  r: 0x4de989e5a20d52c37626e87fe61b866c90000000000000000000000000000000000000000000n
}, {
  a: -0x3n,
  b: -0xf9n,
  r: -0x600000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xa38ad76fddb61f19a00ad15c2bee1f40404237dc712896n,
  b: -0x66n,
  r: 0x28e2b5dbf76d87c66802b4570afb87d010108df71c4a2580000000000000000000000000n
}, {
  a: 0x9f62becd637118346efc65e07n,
  b: 0n,
  r: 0x9f62becd637118346efc65e07n
}, {
  a: -0xbn,
  b: 0xe2n,
  r: -0x1n
}, {
  a: -0xc92bcda4b5bc54b093dn,
  b: 0n,
  r: -0xc92bcda4b5bc54b093dn
}, {
  a: 0xfd6fb7444eb3e41f24730eab2d31b316n,
  b: -0x86n,
  r: 0x3f5bedd113acf907c91cc3aacb4c6cc58000000000000000000000000000000000n
}, {
  a: 0x52d55149df8c87801da85d81bab210a12ab176bc91eaf55f62n,
  b: -0xfan,
  r: 0x14b5545277e321e0076a17606eac84284aac5daf247abd57d8800000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x1fbce37a7aae4a5efa5cdn,
  b: 0n,
  r: -0x1fbce37a7aae4a5efa5cdn
}, {
  a: -0xea06e5249f6dc36c3523f57ea720ef00a212f2acd77390fa4c2c3a3en,
  b: -0xdn,
  r: -0x1d40dca493edb86d86a47eafd4e41de014425e559aee721f49858747c000n
}, {
  a: 0xefb2882b41064b98f32fe985774d71n,
  b: -0xbbn,
  r: 0x77d94415a08325cc7997f4c2bba6b880000000000000000000000000000000000000000000000n
}, {
  a: 0x649ad5f483acf2d22905898ee74fn,
  b: -0x5cn,
  r: 0x649ad5f483acf2d22905898ee74f00000000000000000000000n
}, {
  a: 0xbdbn,
  b: -0xf5n,
  r: 0x17b60000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x6235ff7c059d2b088788c5e44ad8779fb0172cc48b1254n,
  b: -0xf9n,
  r: 0xc46bfef80b3a56110f118bc895b0ef3f602e59891624a800000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x7bb24304998508a2a440a7a829656c3be707c0079b2997f4497e714n,
  b: -0x6n,
  r: 0x1eec90c126614228a91029ea0a595b0ef9c1f001e6ca65fd125f9c500n
}, {
  a: -0xa4ee1a0d1db1b80c76a8fda7f72ffd5be9ece0fa4a336a5n,
  b: 0xfcn,
  r: -0x1n
}, {
  a: -0xe70721b5e445ea12f23e13an,
  b: -0x7fn,
  r: -0x738390daf222f509791f09d00000000000000000000000000000000n
}, {
  a: 0xc40164ca618ce8b5a2649302c9b8f0843c420n,
  b: -0x7bn,
  r: 0x6200b26530c6745ad132498164dc78421e2100000000000000000000000000000000n
}, {
  a: -0xb30ca46b701ded1a7f136e4278df4ee027011e27c60da0e05e2a29n,
  b: -0xc1n,
  r: -0x1661948d6e03bda34fe26dc84f1be9dc04e023c4f8c1b41c0bc5452000000000000000000000000000000000000000000000000n
}, {
  a: -0xf6b9277c1b1f1dbd998c9d8a2d4ef723470bcea28b4572218e77f2cd40913286fn,
  b: -0x6n,
  r: -0x3dae49df06c7c76f666327628b53bdc8d1c2f3a8a2d15c88639dfcb350244ca1bc0n
}, {
  a: 0xee64383892dda53e776cf27f6714df51c85a82ef4c36f6874787n,
  b: 0x26n,
  r: 0x3b990e0e24b7694f9ddb3c9fd9c537d47216a0bbd30n
}, {
  a: -0x3adc4d40764c5f069719f9f71d237b963b2e223603703073e5546e0591e88f433c6n,
  b: -0x4n,
  r: -0x3adc4d40764c5f069719f9f71d237b963b2e223603703073e5546e0591e88f433c60n
}, {
  a: -0x77573446b3e4ccecbbeda2c63a45a86368097e01eb0cn,
  b: -0x25n,
  r: -0xeeae688d67c999d977db458c748b50c6d012fc03d618000000000n
}, {
  a: 0x790d3405156a1a31065be331ca600b0625cf5676cbfn,
  b: 0xa44n,
  r: 0n
}, {
  a: 0x408n,
  b: -0x16n,
  r: 0x102000000n
}, {
  a: -0x39dba453c1b345d94745d4ed942en,
  b: 0n,
  r: -0x39dba453c1b345d94745d4ed942en
}, {
  a: 0x371fdc4c1fd32c877a2d108bn,
  b: -0x2bn,
  r: 0x1b8fee260fe99643bd16884580000000000n
}, {
  a: -0x8d244323ba6f8f6a57c936c02e6f403946c3dda9d27ec5d0c84fc708572bab1an,
  b: 0xbn,
  r: -0x11a48864774df1ed4af926d805cde80728d87bb53a4fd8ba1909f8e10ae576n
}, {
  a: 0x660509bc9fb0e7add7b305d6accb7bd2b880732e6e6n,
  b: -0xcbn,
  r: 0x330284de4fd873d6ebd982eb5665bde95c403997373000000000000000000000000000000000000000000000000000n
}, {
  a: 0xeb0fc04a3588ee1d2a94e91f2caccd819b27bef7ebn,
  b: -0x51n,
  r: 0x1d61f80946b11dc3a5529d23e59599b03364f7defd600000000000000000000n
}, {
  a: 0x573978e52ae475685ae40daan,
  b: 0x25n,
  r: 0x2b9cbc7295723abn
}, {
  a: 0x25789n,
  b: -0x34n,
  r: 0x257890000000000000n
}, {
  a: -0xd41df3dd9e6cc1824978209623efn,
  b: 0xan,
  r: -0x35077cf7679b3060925e082589n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xa780e969075324fe9f39a6b16a0bn,
  b: -0xc9n,
  r: 0x14f01d2d20ea649fd3e734d62d41600000000000000000000000000000000000000000000000000n
}, {
  a: 0xe793044a20479fd0355b453519a12856b7dn,
  b: -0x2fn,
  r: 0x73c982251023cfe81aada29a8cd0942b5be800000000000n
}, {
  a: 0xb8c0f865fcf997ffe942cfc0bn,
  b: -0x3cn,
  r: 0xb8c0f865fcf997ffe942cfc0b000000000000000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xfb4178e3995fdbd6b82b2aad62f82e33466950d07c1n,
  b: -0x89n,
  r: 0x1f682f1c732bfb7ad7056555ac5f05c668cd2a1a0f820000000000000000000000000000000000n
}, {
  a: 0xe9fefn,
  b: -0x44n,
  r: 0xe9fef00000000000000000n
}, {
  a: 0x7f8c4803c7n,
  b: 0x4c3n,
  r: 0n
}, {
  a: 0x7c23n,
  b: -0xbcn,
  r: 0x7c2300000000000000000000000000000000000000000000000n
}, {
  a: 0xb96f04e953b0a12f0dfe8a70155bc493a01f9f678edcd8dc96n,
  b: -0x2cn,
  r: 0xb96f04e953b0a12f0dfe8a70155bc493a01f9f678edcd8dc9600000000000n
}, {
  a: 0x22df5n,
  b: 0x34n,
  r: 0n
}, {
  a: 0xe97a1f6b72efede97618d844an,
  b: -0x98n,
  r: 0xe97a1f6b72efede97618d844a00000000000000000000000000000000000000n
}, {
  a: -0xbc20d323277n,
  b: -0xc7n,
  r: -0x5e10699193b80000000000000000000000000000000000000000000000000n
}, {
  a: -0xf8d09353c3f2a7f33e563864d7ddcc0d2a45f5d367d33fn,
  b: -0x10n,
  r: -0xf8d09353c3f2a7f33e563864d7ddcc0d2a45f5d367d33f0000n
}, {
  a: 0xab0720363ab6a683423743n,
  b: -0x48n,
  r: 0xab0720363ab6a683423743000000000000000000n
}, {
  a: -0xff134b298969835bn,
  b: -0x94n,
  r: -0xff134b298969835b0000000000000000000000000000000000000n
}, {
  a: 0x465a7608143d3fd1b02718de78bb4f03305e4ecfn,
  b: 0n,
  r: 0x465a7608143d3fd1b02718de78bb4f03305e4ecfn
}, {
  a: 0xa5c541f0dd49e0774a1153a6fb4e49df31aa4258cd2a14decb0b3e36f93da87n,
  b: 0n,
  r: 0xa5c541f0dd49e0774a1153a6fb4e49df31aa4258cd2a14decb0b3e36f93da87n
}, {
  a: -0x336n,
  b: -0x4dn,
  r: -0x66c0000000000000000000n
}, {
  a: -0xd91f44a704b8dd4814f5d6baf93d50df8d96e3ab2d1c79838eb9n,
  b: -0xcbn,
  r: -0x6c8fa253825c6ea40a7aeb5d7c9ea86fc6cb71d5968e3cc1c75c800000000000000000000000000000000000000000000000000n
}, {
  a: 0xdb9ccaad05418742c0a42fe620997e13caa1d65eb172923505a8c0f1baen,
  b: -0xbn,
  r: 0x6dce655682a0c3a1605217f3104cbf09e550eb2f58b9491a82d46078dd7000n
}, {
  a: 0x676ee61f4dd38405a220067n,
  b: 0n,
  r: 0x676ee61f4dd38405a220067n
}, {
  a: 0xaf15f0108234n,
  b: -0xbbn,
  r: 0x578af808411a00000000000000000000000000000000000000000000000n
}, {
  a: 0xf3901f1ffc29af15b19fbd8751n,
  b: -0x82n,
  r: 0x3ce407c7ff0a6bc56c67ef61d4400000000000000000000000000000000n
}, {
  a: -0x4bc54d4d20ecbc2016db92ddff8fbc6dac2aac4521565836e3n,
  b: -0x76n,
  r: -0x12f15353483b2f0805b6e4b77fe3ef1b6b0aab114855960db8c00000000000000000000000000000n
}, {
  a: 0xdc50017a7e81246ee0n,
  b: 0n,
  r: 0xdc50017a7e81246ee0n
}, {
  a: -0xf666a4500788e671040c098c46c43e959f18630039cc9224b2ab70257d5n,
  b: 0x9n,
  r: -0x7b33522803c47338820604c623621f4acf8c31801ce649125955b812cn
}, {
  a: 0n,
  b: 0x72n,
  r: 0n
}, {
  a: -0xd5d151839385a6f3b39n,
  b: -0x86n,
  r: -0x35745460e4e169bcece4000000000000000000000000000000000n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: -0x3982172a8d42a4cdb8216f68f2b2bcn,
  b: -0x16n,
  r: -0xe6085caa350a9336e085bda3cacaf000000n
}, {
  a: 0x29358205fc4dfn,
  b: -0xfen,
  r: 0xa4d60817f137c000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xada6ce791a81a1f1791fa2440668340518f29ec35n,
  b: -0x25n,
  r: -0x15b4d9cf2350343e2f23f44880cd0680a31e53d86a000000000n
}, {
  a: 0x9bd0d66f98621c6f2e9f65d7ea950847c81de7a958bce4d0021776831b5n,
  b: -0x3n,
  r: 0x4de86b37cc310e37974fb2ebf54a8423e40ef3d4ac5e7268010bbb418da8n
}, {
  a: -0xd5693f2284799f4140e37848n,
  b: 0x38n,
  r: -0xd5693f2285n
}, {
  a: -0xccd87c7fb0496ed084fba992f414a06affc594fff5a24798n,
  b: 0x46n,
  r: -0x33361f1fec125bb4213eea64bd05282n
}, {
  a: -0xdb289a994aafa23601008f4c0a452bc290bdf7a55132e940bce103n,
  b: -0x65n,
  r: -0x1b6513532955f446c02011e98148a5785217bef4aa265d28179c2060000000000000000000000000n
}, {
  a: -0xb73aabfea2ad85dd80192a0282957af349e27c777aba75f0a8480c81n,
  b: -0x9n,
  r: -0x16e7557fd455b0bbb00325405052af5e693c4f8eef574ebe15090190200n
}, {
  a: 0x43c13a1n,
  b: -0x93n,
  r: 0x21e09d08000000000000000000000000000000000000n
}, {
  a: 0xc43b1f31c3570020ca06c1882f2ba59d8f391a591n,
  b: 0xbe2n,
  r: 0n
}, {
  a: 0x9b7efd01afb14efecb2fe782489cb4e72b78201aa26d1b648n,
  b: 0x59n,
  r: 0x4dbf7e80d7d8a77f6597f3c1244n
}, {
  a: -0xeca521c854905ef84078547387bdac28bbb7c584df680c0n,
  b: 0n,
  r: -0xeca521c854905ef84078547387bdac28bbb7c584df680c0n
}, {
  a: -0x5cb50b58656babdf268f1a019054aee92314f3768259c8833n,
  b: 0x3n,
  r: -0xb96a16b0cad757be4d1e340320a95dd24629e6ed04b39107n
}, {
  a: -0x6767a8ec4ac747f195ac5n,
  b: 0x2n,
  r: -0x19d9ea3b12b1d1fc656b2n
}, {
  a: 0x83da5fbcbebb6a9c3456ef0n,
  b: 0xcfn,
  r: 0n
}, {
  a: 0x10ad0ea921cn,
  b: -0xfbn,
  r: 0x856875490e000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xfcc4n,
  b: 0x8n,
  r: -0xfdn
}, {
  a: 0x8b4898db8d64bc8442f33061be777eff42cbd8f31a6n,
  b: 0n,
  r: 0x8b4898db8d64bc8442f33061be777eff42cbd8f31a6n
}, {
  a: -0x9a995e45906f50a01bd81b5d7059013606a1231b8f236de6f33da2214n,
  b: -0x3n,
  r: -0x4d4caf22c837a8500dec0daeb82c809b0350918dc791b6f3799ed110a0n
}, {
  a: 0xdb28dba199c62530a836c23a0210bf3090b2cb6ce945eeb9d1f598e9705a8bf28dn,
  b: 0xcan,
  r: 0x36ca36e86671894cn
}, {
  a: -0x5ceb0b72e27551c32a70ff5095933n,
  b: 0x730n,
  r: -0x1n
}, {
  a: 0x49568348bca272abbd609e465bb66168e7d80be7a78e0n,
  b: -0x92n,
  r: 0x1255a0d22f289caaef58279196ed985a39f602f9e9e380000000000000000000000000000000000000n
}, {
  a: -0x9736bb5ece84b44d8c516042cb9f2ab2n,
  b: 0n,
  r: -0x9736bb5ece84b44d8c516042cb9f2ab2n
}, {
  a: 0x31d969b79f150779d8d0e90fan,
  b: -0x2fn,
  r: 0x18ecb4dbcf8a83bcec687487d000000000000n
}, {
  a: -0xb5f62cb24d74b685b90cfeccc99bb9481a64n,
  b: 0x726n,
  r: -0x1n
}, {
  a: 0xa5bba887a230990479638dab2b9950a635a6e6c96bf94a278b2f7bbd3e9f473b3c1cn,
  b: 0x8n,
  r: 0xa5bba887a230990479638dab2b9950a635a6e6c96bf94a278b2f7bbd3e9f473b3cn
}, {
  a: 0xf849b039732829bc144f7c02fn,
  b: 0xdn,
  r: 0x7c24d81cb99414de0a27ben
}, {
  a: -0xa52c3f4622571e12bf0c269f252091e016bd86e6096c12aca9n,
  b: 0n,
  r: -0xa52c3f4622571e12bf0c269f252091e016bd86e6096c12aca9n
}, {
  a: 0x1n,
  b: 0n,
  r: 0x1n
}, {
  a: 0xafn,
  b: 0n,
  r: 0xafn
}, {
  a: -0x1c6n,
  b: 0n,
  r: -0x1c6n
}, {
  a: -0xd8f9d27661c3ed4b8b96347241fa82cfb1b237f9n,
  b: 0xcn,
  r: -0xd8f9d27661c3ed4b8b96347241fa82cfb1b24n
}, {
  a: -0x95dc9cd704ad9c3cfa57ad0244fa8ad56025747bbdff832an,
  b: -0x20n,
  r: -0x95dc9cd704ad9c3cfa57ad0244fa8ad56025747bbdff832a00000000n
}, {
  a: 0x8e38cc518d41b3b119d15876ef586d1c50c822a471e4d77c8fn,
  b: 0x1n,
  r: 0x471c6628c6a0d9d88ce8ac3b77ac368e2864115238f26bbe47n
}, {
  a: 0x4447e854261f99ca2de181e8c416151d06626n,
  b: -0xdbn,
  r: 0x2223f42a130fcce516f0c0f4620b0a8e833130000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xfd727e8620fc169f7afa3cc742790cd5ca625f6770da8270ee33839bn,
  b: 0n,
  r: -0xfd727e8620fc169f7afa3cc742790cd5ca625f6770da8270ee33839bn
}, {
  a: 0xec918df5f840n,
  b: -0xc0n,
  r: 0xec918df5f840000000000000000000000000000000000000000000000000n
}, {
  a: -0xeb14187ea4276c0e9e6a2n,
  b: -0x11n,
  r: -0x1d62830fd484ed81d3cd440000n
}, {
  a: -0x72ce06cdf7844090cde77ac86n,
  b: 0x3dn,
  r: -0x39670366fcn
}, {
  a: 0xf9f9c450dc83ee614723f49dc38ded32386n,
  b: 0xd22n,
  r: 0n
}, {
  a: -0xf7bae8709a9f1ac8dff85411a720bf97f3n,
  b: -0xe3n,
  r: -0x7bdd74384d4f8d646ffc2a08d3905fcbf9800000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xdedffd01426a028930dfd78eb72bffdf81b0880cb9c2n,
  b: 0x51n,
  r: -0x6f6ffe80a1350144986febc8n
}, {
  a: -0x68740e06d1456a35c081e67e8de3d60943f84d1a759n,
  b: 0x9n,
  r: -0x343a070368a2b51ae040f33f46f1eb04a1fc268d4n
}, {
  a: -0x717a07n,
  b: -0x9an,
  r: -0x1c5e81c00000000000000000000000000000000000000n
}, {
  a: 0x14595e1075b7n,
  b: 0x7n,
  r: 0x28b2bc20ebn
}, {
  a: -0xdfd0fa5ae870d80a7151e059f689bn,
  b: -0x15n,
  r: -0x1bfa1f4b5d0e1b014e2a3c0b3ed13600000n
}, {
  a: -0x67d36c9340n,
  b: -0xd4n,
  r: -0x67d36c934000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x424f871a8dbd128fc6bn,
  b: 0n,
  r: -0x424f871a8dbd128fc6bn
}, {
  a: 0xadb78c6a62e5dd0c7457a160d2ad3b1ef6n,
  b: -0x26n,
  r: 0x2b6de31a98b977431d15e85834ab4ec7bd8000000000n
}, {
  a: 0xfe919044f655b9c324847fd920b0fd7f0a3n,
  b: 0n,
  r: 0xfe919044f655b9c324847fd920b0fd7f0a3n
}, {
  a: 0x8f2a123b75e7a43fc2fb6c1f6f4ac28ba0045b66b0d11e38d3e0eb4ab13659f710f04n,
  b: 0x8en,
  r: 0x23ca848edd79e90ff0bedb07dbd2b0a2e8n
}, {
  a: -0xada2n,
  b: -0xe6n,
  r: -0x2b688000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x37336e6269eb3aa25db6fb774e1584845a9a5e29f0011e1de26812d6ed7278b46n,
  b: 0x9n,
  r: -0x1b99b73134f59d512edb7dbba70ac2422d4d2f14f8008f0ef134096b76b93c6n
}, {
  a: -0x9865b63a134c2131n,
  b: -0xb0n,
  r: -0x9865b63a134c213100000000000000000000000000000000000000000000n
}, {
  a: -0xe167043055101602a736a562a6e7bb6a43500bf06124ff64c6f4fbe7e79f501c4330n,
  b: 0x9n,
  r: -0x70b382182a880b01539b52b15373ddb521a805f830927fb2637a7df3f3cfa80e22n
}, {
  a: -0x81e58ee226cn,
  b: -0xb6n,
  r: -0x207963b889b0000000000000000000000000000000000000000000000n
}, {
  a: -0xf06de0f3bfdc723064a85e7c8dfdef9bbcd20an,
  b: -0x1en,
  r: -0x3c1b783ceff71c8c192a179f237f7be6ef348280000000n
}, {
  a: 0x168298444c6ce88a9185b3d8576a5cce4n,
  b: -0xcfn,
  r: 0xb414c222636744548c2d9ec2bb52e6720000000000000000000000000000000000000000000000000000n
}, {
  a: 0x2ac3b078acb8585029698e836213ac59f76f24a2207f2376e35437c628bn,
  b: -0xfn,
  r: 0x1561d83c565c2c2814b4c741b109d62cfbb79251103f91bb71aa1be31458000n
}, {
  a: -0x364n,
  b: -0x6dn,
  r: -0x6c8000000000000000000000000000n
}, {
  a: -0x6eef2d69bde303da15dc9fe470f5cn,
  b: 0xcn,
  r: -0x6eef2d69bde303da15dc9fe471n
}, {
  a: 0x86e0ab0a59ed9c1180133a1343205b14f9df759n,
  b: -0x27n,
  r: 0x437055852cf6ce08c0099d09a1902d8a7cefbac8000000000n
}, {
  a: -0xe5f2b2f08f6f5a3a893c4980afd2ab056d58fn,
  b: -0x7an,
  r: -0x397cacbc23dbd68ea24f12602bf4aac15b563c000000000000000000000000000000n
}, {
  a: -0x7ada3cd4bbb4be2c5912abdc1721a62bb65a8ca851d4a5n,
  b: 0n,
  r: -0x7ada3cd4bbb4be2c5912abdc1721a62bb65a8ca851d4a5n
}, {
  a: -0xc16912df4n,
  b: -0x2en,
  r: -0x305a44b7d000000000000n
}, {
  a: 0xb15d44a39d87n,
  b: 0x9ffn,
  r: 0n
}, {
  a: -0xb8ff312a68ff1395cc81000fd5d1f775fd87f942c89c7a2f2828626e3n,
  b: -0x7n,
  r: -0x5c7f9895347f89cae6408007eae8fbbafec3fca1644e3d1794143137180n
}, {
  a: 0x2578720dbn,
  b: -0xc8n,
  r: 0x2578720db00000000000000000000000000000000000000000000000000n
}, {
  a: 0x3acfb5ac3a9efbe0a75745efcc1289c5e945521bcf62196894b7dd58e16fd4n,
  b: 0n,
  r: 0x3acfb5ac3a9efbe0a75745efcc1289c5e945521bcf62196894b7dd58e16fd4n
}, {
  a: 0xc4e639de44eb3692f9a09815319cef6419cb6892bcb6821b180cn,
  b: 0xen,
  r: 0x31398e77913acda4be6826054c673bd90672da24af2da086cn
}, {
  a: 0x638n,
  b: -0xeen,
  r: 0x18e000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x17f6b6den,
  b: -0x10n,
  r: 0x17f6b6de0000n
}, {
  a: -0xcbf857n,
  b: -0x14n,
  r: -0xcbf85700000n
}, {
  a: 0x1ee6ddd0a790bd87e8f7541f3f133b299f84de36eb21c0c83e5f4645f1cfb5a295ad5n,
  b: -0x6n,
  r: 0x7b9b77429e42f61fa3dd507cfc4ceca67e1378dbac870320f97d1917c73ed68a56b540n
}, {
  a: -0x5f24a49691944c5a7892n,
  b: -0xa9n,
  r: -0xbe49492d232898b4f124000000000000000000000000000000000000000000n
}, {
  a: 0xd0d5c18eaadc922n,
  b: -0x24n,
  r: 0xd0d5c18eaadc922000000000n
}, {
  a: 0x4bb1fd03702dbafdcec2e1113224fc43580bd8n,
  b: 0x5n,
  r: 0x25d8fe81b816dd7ee761708899127e21ac05en
}, {
  a: 0x3160c69ffc39054085313dce3fcbe6f1eb0e55c9daffcc6e04c1cb37041n,
  b: -0x8n,
  r: 0x3160c69ffc39054085313dce3fcbe6f1eb0e55c9daffcc6e04c1cb3704100n
}, {
  a: 0x1ce7b3301d1c195ac115a0b3a58bd09098fcc89c8e1b7db99c7d615960f7b05d012en,
  b: -0x2n,
  r: 0x739eccc07470656b045682ce962f424263f32272386df6e671f5856583dec17404b8n
}, {
  a: -0xa4feabc802d66ccff6446395n,
  b: 0xbn,
  r: -0x149fd579005acd99fec88dn
}, {
  a: -0xbd8f2c886356e634b28b8b91fe40250d21e848a884360514e22a57449f7b2c9ba9n,
  b: -0x1n,
  r: -0x17b1e5910c6adcc6965171723fc804a1a43d09151086c0a29c454ae893ef6593752n
}, {
  a: 0xf18c07efd9a569ed862c6399e96d0d9515ca6282ae9d64ab6f4010bfab78724n,
  b: -0xbn,
  r: 0x78c603f7ecd2b4f6c31631ccf4b686ca8ae53141574eb255b7a0085fd5bc392000n
}, {
  a: -0x79n,
  b: -0xc7n,
  r: -0x3c80000000000000000000000000000000000000000000000000n
}, {
  a: -0x401382ee4f53f2b01bbefae8e2817432a0a5e54f813bn,
  b: 0x15n,
  r: -0x2009c17727a9f9580ddf7d747140ba195052f2bn
}, {
  a: -0xa22e97905e123n,
  b: -0xafn,
  r: -0x51174bc82f09180000000000000000000000000000000000000000000n
}, {
  a: 0x4164143d68645dfn,
  b: 0n,
  r: 0x4164143d68645dfn
}, {
  a: 0xd3f6n,
  b: 0xdcn,
  r: 0n
}, {
  a: -0xb47d1bee1a36b68ee52d7d32be00446aa20f1edb20e777097a7n,
  b: 0x8b6n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x1n,
  r: 0n
}, {
  a: -0x76d7512fb27c551543ccf46967b8cc791a622722n,
  b: -0xden,
  r: -0x1db5d44bec9f154550f33d1a59ee331e469889c880000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x8d079e546ed1ee4265a08ac2a57329fd1c04en,
  b: 0x63n,
  r: 0x11a0f3ca8dda3n
}, {
  a: 0x9cb00a34c660dn,
  b: -0xf7n,
  r: 0x4e58051a6330680000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x9e601dde8cb3e28e70a59cf6edd378138b0ea8d809000c13639af64a1e61n,
  b: -0x1n,
  r: 0x13cc03bbd1967c51ce14b39eddba6f027161d51b012001826c735ec943cc2n
}, {
  a: 0xd74a2ef2e000bee1n,
  b: -0xcfn,
  r: 0x6ba5177970005f708000000000000000000000000000000000000000000000000000n
}, {
  a: -0xf37a61241874157cc3645cdaa8bbf96f377386c88fb861a915b6f89b18970e9n,
  b: 0x8n,
  r: -0xf37a61241874157cc3645cdaa8bbf96f377386c88fb861a915b6f89b18971n
}, {
  a: 0xbd28453c788deee9d2ad6dea2b94c860650bd665428a6725358517fn,
  b: -0x1n,
  r: 0x17a508a78f11bddd3a55adbd4572990c0ca17acca8514ce4a6b0a2fen
}, {
  a: -0xc3f1ac5eeeb4f26f01cb783eb2babe3fd873dea70131f368fe7n,
  b: -0x68n,
  r: -0xc3f1ac5eeeb4f26f01cb783eb2babe3fd873dea70131f368fe700000000000000000000000000n
}, {
  a: 0xa28e8ca64c0996c3d22bf7f8n,
  b: -0x31n,
  r: 0x1451d194c98132d87a457eff0000000000000n
}, {
  a: 0x828an,
  b: -0x23n,
  r: 0x4145000000000n
}, {
  a: 0xf56a9d87270b7c0fae540a1ab07b8362c6893541d21f13cb7e130n,
  b: -0x72n,
  r: 0x3d5aa761c9c2df03eb950286ac1ee0d8b1a24d507487c4f2df84c00000000000000000000000000000n
}, {
  a: 0xd9bde2526df109518287361cf8e1d94e808776d32d835960b154ca68eee6783n,
  b: -0xfn,
  r: 0x6cdef12936f884a8c1439b0e7c70eca74043bb6996c1acb058aa653477733c18000n
}, {
  a: -0x28c5e728643e7141965a7d34ae66d021227cf4c0220643b47f629b8dbd4n,
  b: 0xbdn,
  r: -0x1462f3943220n
}, {
  a: -0x5a1537fe4d3226a129797a2c33761cd8n,
  b: 0xan,
  r: -0x16854dff934c89a84a5e5e8b0cdd88n
}, {
  a: 0x1c2ef9375d4a3fb1abdddcf69145d2f548a55faa927acb3c0e0e553aaf4f7d6be3e69n,
  b: 0xdbn,
  r: 0x385df26eba947fn
}, {
  a: -0x311b6fd3ea3756862d709n,
  b: -0x98n,
  r: -0x311b6fd3ea3756862d70900000000000000000000000000000000000000n
}, {
  a: 0x1ed06fc0073d7b5b35d17242fc0353afa6be4efe2n,
  b: -0x41n,
  r: 0x3da0df800e7af6b66ba2e485f806a75f4d7c9dfc40000000000000000n
}, {
  a: -0x6ae5a6a467a7a2e34b709a9326f64403691n,
  b: -0x4en,
  r: -0x1ab969a919e9e8b8d2dc26a4c9bd9100da440000000000000000000n
}, {
  a: 0x5n,
  b: 0n,
  r: 0x5n
}, {
  a: -0x138f38104dae8e1578a439691b1060932228ed961c786cca42c5b750749a63ae92n,
  b: 0n,
  r: -0x138f38104dae8e1578a439691b1060932228ed961c786cca42c5b750749a63ae92n
}, {
  a: 0x4c83550d0ffdec0f15703b6e1016abcd364ed80512b8fb493cef681a28030eb47b532n,
  b: 0x9can,
  r: 0n
}, {
  a: 0x42fd7d4ee66884374089d62d5e9625daa50698516820760f3cc72debbcn,
  b: -0x4n,
  r: 0x42fd7d4ee66884374089d62d5e9625daa50698516820760f3cc72debbc0n
}, {
  a: -0xd1873da00bcc6a5n,
  b: 0x761n,
  r: -0x1n
}, {
  a: 0n,
  b: 0x45n,
  r: 0n
}, {
  a: -0xd7f47b32fd626473b4dd460210a1097280fn,
  b: -0x7an,
  r: -0x35fd1eccbf58991ced3751808428425ca03c000000000000000000000000000000n
}, {
  a: -0x4842ccffc0e688693e05cc83dd1ea0e1c3ea6bd650b0e1bdb910d8n,
  b: -0xb0n,
  r: -0x4842ccffc0e688693e05cc83dd1ea0e1c3ea6bd650b0e1bdb910d800000000000000000000000000000000000000000000n
}, {
  a: 0x45d57b52b9570bc265fe51db60441bc7ff20b99bd0a4c2ffeb3ff3f855ba237bccd53n,
  b: -0x3n,
  r: 0x22eabda95cab85e132ff28edb0220de3ff905ccde852617ff59ff9fc2add11bde66a98n
}, {
  a: -0x22c1859dbfde45456fe2b50786d09968b3bd993467cf5313bbcc36fc3866be0f6n,
  b: -0x4n,
  r: -0x22c1859dbfde45456fe2b50786d09968b3bd993467cf5313bbcc36fc3866be0f60n
}, {
  a: 0xd7c53094c8bab8c8e7deb12c84ac47fn,
  b: -0x2en,
  r: 0x35f14c25322eae3239f7ac4b212b11fc00000000000n
}, {
  a: -0x8039fb82d2fcf86f20c62b5833a71bc37f87db398441173075348f1a22152e816dabfn,
  b: -0x5n,
  r: -0x10073f705a5f9f0de418c56b0674e3786ff0fb67308822e60ea691e34442a5d02db57e0n
}, {
  a: -0xdf434de96303bab81672f04f4d860681883f7e6e5a504e432fed8b2fb1152f47en,
  b: -0xfn,
  r: -0x6fa1a6f4b181dd5c0b397827a6c30340c41fbf372d28272197f6c597d88a97a3f0000n
}, {
  a: -0xb24b0c29bcfaa567e425e5eb8fdf2e4eda5efc130916969d414d5328a7n,
  b: -0xfn,
  r: -0x59258614de7d52b3f212f2f5c7ef97276d2f7e09848b4b4ea0a6a994538000n
}, {
  a: 0xba23edcd3an,
  b: 0x301n,
  r: 0n
}, {
  a: -0x87ac0462dae19ce7080n,
  b: -0x4cn,
  r: -0x87ac0462dae19ce70800000000000000000000n
}, {
  a: 0xaf0789ac2a88cc7bb78ed88b21cbdaa8de1264n,
  b: 0x9n,
  r: 0x5783c4d61544663ddbc76c4590e5ed546f09n
}, {
  a: 0x52fb606925e7de9f2d789130a90db847c765369n,
  b: 0n,
  r: 0x52fb606925e7de9f2d789130a90db847c765369n
}, {
  a: 0x74998772n,
  b: 0x4n,
  r: 0x7499877n
}, {
  a: -0x1ab90102e2e8e1ecde96n,
  b: 0n,
  r: -0x1ab90102e2e8e1ecde96n
}, {
  a: 0xc28106d89ed11d504224737ef567f9cdbecffcecf1n,
  b: 0n,
  r: 0xc28106d89ed11d504224737ef567f9cdbecffcecf1n
}, {
  a: 0xb6b122fn,
  b: 0x6n,
  r: 0x2dac48n
}, {
  a: 0xebcc524a55b357ade799d03777a3267225273b0c31207a424n,
  b: -0x6bn,
  r: 0x75e629252ad9abd6f3cce81bbbd1933912939d8618903d212000000000000000000000000000n
}, {
  a: 0x5bdcc28fc2ab6aa300acc3ad34ba3b0ae14627a439f0n,
  b: 0x2dn,
  r: 0x2dee6147e155b551805661d69a5d1d857n
}, {
  a: -0xd025c64f41de2498fab4240c6564305357baca75fa021d9ae241fn,
  b: -0xc9n,
  r: -0x1a04b8c9e83bc4931f5684818cac860a6af7594ebf4043b35c483e00000000000000000000000000000000000000000000000000n
}, {
  a: 0x69292e98ec28a0ccd9de25c0051ab98c9d21adn,
  b: 0x2dcn,
  r: 0n
}, {
  a: -0x79bbda4c1ab25a0a1dfa9178e3bfd32e25a25400f1d0f1832ab5n,
  b: -0x3en,
  r: -0x1e6ef69306ac9682877ea45e38eff4cb896895003c743c60caad4000000000000000n
}, {
  a: 0x6e8c24fdec0a33a6a15b845eabdc1f09262594c5n,
  b: -0xfbn,
  r: 0x3746127ef60519d350adc22f55ee0f849312ca62800000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x6a8f1c4ac8355658abd8b585aeb5ea56c533859609a95f0fd654f8eeb54e7efeefd0cn,
  b: 0xfb3n,
  r: 0n
}, {
  a: 0xd97bff588a5c50e78b24fc9b8f70c9c69c017725e8fe20936dae39a16cfn,
  b: 0x5bn,
  r: 0x1b2f7feb114b8a1cf1649f9371ee1938d3802n
}, {
  a: 0x31673ce421fn,
  b: 0xca0n,
  r: 0n
}, {
  a: 0x4e18d8c5f761716904f4n,
  b: 0n,
  r: 0x4e18d8c5f761716904f4n
}, {
  a: -0x2690c94f450453c6208405e93b773c4d8bfbeebd9d371521208ebc266a8a23a02d9c0n,
  b: -0xbn,
  r: -0x134864a7a28229e3104202f49dbb9e26c5fdf75ece9b8a9090475e13354511d016ce0000n
}, {
  a: -0xcd8c44719bdad89cdb048d29f9827e61591efn,
  b: -0x2dn,
  r: -0x19b1888e337b5b139b6091a53f304fcc2b23de00000000000n
}, {
  a: 0xcfd51490979182636ef1cda2cf712ec0965cb0a3ef329149c1dcb08db9n,
  b: -0xen,
  r: 0x33f5452425e46098dbbc7368b3dc4bb025972c28fbcca45270772c236e4000n
}, {
  a: -0x6c7n,
  b: -0x74n,
  r: -0x6c700000000000000000000000000000n
}, {
  a: -0x3fd5da787ce4f05db9b4ac14cf3f472b6bee690115803b1b9f4n,
  b: -0xf3n,
  r: -0x1feaed3c3e72782edcda560a679fa395b5f734808ac01d8dcfa0000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x41289ad013b78feb4a57fe426cc577d28n,
  b: 0x6n,
  r: 0x104a26b404ede3fad295ff909b315df4n
}, {
  a: -0x5abd690c8d018e067f2d78cc57ff7c11c69344628b9529c1a2689f6e30an,
  b: 0xb9n,
  r: -0x2d5eb4864680dn
}, {
  a: 0x3f503091eb4bfe56886e7cfe8fbf6ccd91e241e5f6n,
  b: 0x1bn,
  r: 0x7ea06123d697fcad10dcf9fd1f7ed99b23cn
}, {
  a: -0xf728d9cd8n,
  b: 0n,
  r: -0xf728d9cd8n
}, {
  a: 0x8ab370f4e39716cf04ffe240bc60a41b04dab386c71be49a800c4bdc6da30c082e3ben,
  b: -0xen,
  r: 0x22acdc3d38e5c5b3c13ff8902f182906c136ace1b1c6f926a00312f71b68c3020b8ef8000n
}, {
  a: 0x1cc63efdcc007fec6d0c5877ed5c7631a4e793f60857be7cc12dc43abe555209d56aen,
  b: 0x77n,
  r: 0x398c7dfb9800ffd8da18b0efdab8ec6349cf27en
}, {
  a: -0x863817a079b6e13f861e9c8f653n,
  b: 0x97n,
  r: -0x1n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: -0x5b3984n,
  b: 0n,
  r: -0x5b3984n
}, {
  a: 0xae30e0e0ceab1b84d6d9e1afd0d27f34f67cb2e078a6cf40665f961838d81n,
  b: -0xfn,
  r: 0x5718707067558dc26b6cf0d7e8693f9a7b3e59703c5367a0332fcb0c1c6c08000n
}, {
  a: -0x8c05405f256d0c4413610n,
  b: -0x9fn,
  r: -0x4602a02f92b6862209b080000000000000000000000000000000000000000n
}, {
  a: -0xa62508cdc48e9d7070a192a6b06264aa830cf0bd3a74b0n,
  b: 0x46en,
  r: -0x1n
}, {
  a: 0x22n,
  b: 0x1n,
  r: 0x11n
}, {
  a: 0x9c25688996c80e430c5e97123df91e1612e7ecd78f01405ad86f13c35bcn,
  b: 0xdn,
  r: 0x4e12b444cb640721862f4b891efc8f0b0973f66bc780a02d6c3789e1n
}, {
  a: -0x6d01f85de5b38512c3484f500932a8eff9a09n,
  b: 0x57dn,
  r: -0x1n
}, {
  a: 0x35c538f3d94328468780df2aa4a131e3c634a92b9deac7n,
  b: 0x2n,
  r: 0xd714e3cf650ca11a1e037caa9284c78f18d2a4ae77ab1n
}, {
  a: -0xa0f1fc591244ad63a1adeecde3dd431008bfeb1730cd71193954537ba0fa7n,
  b: -0x6n,
  r: -0x283c7f1644912b58e86b7bb378f750c4022ffac5cc335c464e5514dee83e9c0n
}, {
  a: 0x7dba55b8c47f270a02e0716216a755662c422ff96863b1c51229fd212aa2f53953b08n,
  b: -0xfn,
  r: 0x3edd2adc623f9385017038b10b53aab3162117fcb431d8e28914fe9095517a9ca9d840000n
}, {
  a: 0x151462a5b664c4d019988bf8cde07bfd7c9df6b8n,
  b: -0x49n,
  r: 0x2a28c54b6cc989a0333117f19bc0f7faf93bed70000000000000000000n
}, {
  a: 0xa9aaf6bd20b324bb6615ad240597e244can,
  b: 0x9n,
  r: 0x54d57b5e9059925db30ad69202cbf122n
}, {
  a: -0x470cd5159ee1c6dc3a439n,
  b: 0xe1n,
  r: -0x1n
}, {
  a: -0x852a2bf0ac9ef90fdbebb1eab3b4335261e2accen,
  b: -0x38n,
  r: -0x852a2bf0ac9ef90fdbebb1eab3b4335261e2acce00000000000000n
}, {
  a: 0x27ac780f6d000cf6a8397f5126aa836n,
  b: -0x1an,
  r: 0x9eb1e03db40033daa0e5fd449aaa0d8000000n
}, {
  a: 0x79ea19f52b9d19bd36b85ceb145f799845fb4e1486940dn,
  b: -0x86n,
  r: 0x1e7a867d4ae7466f4dae173ac517de66117ed38521a5034000000000000000000000000000000000n
}, {
  a: -0x8c62300bb50daf632de9f2aa797b4f463d78b5c1feb81cb9c1f6100f29n,
  b: -0xcn,
  r: -0x8c62300bb50daf632de9f2aa797b4f463d78b5c1feb81cb9c1f6100f29000n
}, {
  a: 0xa81077d24e2eac6a70380284f0an,
  b: -0x7fn,
  r: 0x54083be927175635381c014278500000000000000000000000000000000n
}, {
  a: 0xa5d5ba10200013d9c589d10d80a0cn,
  b: -0xc1n,
  r: 0x14bab7420400027b38b13a21b01418000000000000000000000000000000000000000000000000n
}, {
  a: -0x475ec3c7ba0a25ef0fa16df4457ae4daeaf4a0935a4fddaaf18b3n,
  b: 0n,
  r: -0x475ec3c7ba0a25ef0fa16df4457ae4daeaf4a0935a4fddaaf18b3n
}, {
  a: 0x670fe5cc1869ee21b9a07fa3b680e850b176994db29b47a7999n,
  b: 0x3n,
  r: 0xce1fcb9830d3dc437340ff476d01d0a162ed329b65368f4f33n
}, {
  a: -0xebd93687544396394748db1fcddd080e951d5063a430fbcf7256e67en,
  b: 0x3f3n,
  r: -0x1n
}, {
  a: -0x41449ac541ca1a06e71n,
  b: 0xc78n,
  r: -0x1n
}, {
  a: 0n,
  b: 0xfn,
  r: 0n
}, {
  a: -0x7a26a10e9c34n,
  b: -0x54n,
  r: -0x7a26a10e9c34000000000000000000000n
}, {
  a: 0xc779198472c794c467n,
  b: -0x52n,
  r: 0x31de46611cb1e53119c00000000000000000000n
}, {
  a: 0xcf70db5ba611144bb888df0a42cn,
  b: 0n,
  r: 0xcf70db5ba611144bb888df0a42cn
}, {
  a: -0xe943444446bbff580259dn,
  b: 0x15bn,
  r: -0x1n
}, {
  a: -0x18e558fce0d462ad68423n,
  b: 0x45an,
  r: -0x1n
}, {
  a: -0xe7dbe9a920e74ce598f727ef8b004f121c0e4ab95b4df8f5ba61f0be7n,
  b: -0x3n,
  r: -0x73edf4d49073a672cc7b93f7c58027890e07255cada6fc7add30f85f38n
}, {
  a: -0xdb8594303abb9b10c16c1461764f6dan,
  b: 0x6fn,
  r: -0x1b71n
}, {
  a: -0x5201e41c65a85b605a67f267bf35e1f437ec1c22372461db85b50f1f034065n,
  b: 0x5n,
  r: -0x2900f20e32d42db02d33f933df9af0fa1bf60e111b9230edc2da878f81a04n
}, {
  a: -0x3b69a9770461bn,
  b: -0x59n,
  r: -0x76d352ee08c360000000000000000000000n
}, {
  a: -0xc28405a7cddb8c61830f55deea74bca67378d691fdb8ce1d5522f44a307n,
  b: -0x3n,
  r: -0x614202d3e6edc630c187aaef753a5e5339bc6b48fedc670eaa917a251838n
}, {
  a: -0x9c8388e7a015464f69ff1n,
  b: -0xa3n,
  r: -0x4e41c473d00aa327b4ff880000000000000000000000000000000000000000n
}, {
  a: -0xcc43164c927b469df22bb78765229075e3c6n,
  b: 0x45n,
  r: -0x66218b26493da34ef92n
}, {
  a: 0x209b78021f2n,
  b: -0x86n,
  r: 0x826de0087c8000000000000000000000000000000000n
}, {
  a: -0xa83bd2c731a1591b89b3fed942419494n,
  b: 0x86n,
  r: -0x1n
}, {
  a: -0x90c2fdfd25ff5c89cc0d6995a3d97356fb03574e42f1dee350d0ec810b967n,
  b: 0n,
  r: -0x90c2fdfd25ff5c89cc0d6995a3d97356fb03574e42f1dee350d0ec810b967n
}, {
  a: -0x7b2a42096086229d112905f702679fabeb66cf1c5aeab8f1931n,
  b: -0xe9n,
  r: -0xf6548412c10c453a22520bee04cf3f57d6cd9e38b5d571e32620000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x44550f4e5919558f38fdae1e89042a04e3745535b8e063a04f7n,
  b: -0xc0n,
  r: 0x44550f4e5919558f38fdae1e89042a04e3745535b8e063a04f7000000000000000000000000000000000000000000000000n
}, {
  a: 0xd8cb837751c0a4aa9e8577fccan,
  b: 0n,
  r: 0xd8cb837751c0a4aa9e8577fccan
}, {
  a: -0xae8c98a7a8e93e94227fa5b77fa7f2943e836a36555eaccfd2461c0bn,
  b: 0xb47n,
  r: -0x1n
}, {
  a: -0x8ada81d1905f33cc136ae4896d14e56678bff44fan,
  b: -0xe5n,
  r: -0x115b503a320be679826d5c912da29caccf17fe89f4000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x8bd5b203c45d48bd52b1e5a7e6d37d6bca8n,
  b: -0x7bn,
  r: 0x45ead901e22ea45ea958f2d3f369beb5e540000000000000000000000000000000n
}, {
  a: -0x5fad6498587cf765b275f91e231bf9n,
  b: -0x8cn,
  r: -0x5fad6498587cf765b275f91e231bf900000000000000000000000000000000000n
}, {
  a: -0xb3881e686ca45dab730cf404cfbf194319dfe221df456368a5abfd6e6ccb3n,
  b: 0n,
  r: -0xb3881e686ca45dab730cf404cfbf194319dfe221df456368a5abfd6e6ccb3n
}, {
  a: 0x9ddc2bcf6fn,
  b: 0x59n,
  r: 0n
}, {
  a: -0x2035a9d5dn,
  b: 0x1fn,
  r: -0x5n
}, {
  a: 0x18f9b4eddd7a954d8ee77429d661843590a50578b0895d3a84f10e5212a9fccf938a7n,
  b: 0n,
  r: 0x18f9b4eddd7a954d8ee77429d661843590a50578b0895d3a84f10e5212a9fccf938a7n
}, {
  a: 0x4ed6f3784cen,
  b: -0x29n,
  r: 0x9dade6f099c0000000000n
}, {
  a: -0x487d5aa59b8b2f48b9fed37d37fe0e99f79b9cc8b13db18a819c2ef59152d8n,
  b: -0x8n,
  r: -0x487d5aa59b8b2f48b9fed37d37fe0e99f79b9cc8b13db18a819c2ef59152d800n
}, {
  a: -0x33372ec968cd3c038e56847c53468e28d0d0c7ad11e8f6c85381436f73e9f535n,
  b: -0x5n,
  r: -0x666e5d92d19a78071cad08f8a68d1c51a1a18f5a23d1ed90a70286dee7d3ea6a0n
}, {
  a: 0xd0fdd01024ebdc1e5cfeab0ccn,
  b: -0xc3n,
  r: 0x687ee8081275ee0f2e7f558660000000000000000000000000000000000000000000000000n
}, {
  a: 0xca6969d21e9f008e4da183b080632b2b1efd60440f606n,
  b: -0xa8n,
  r: 0xca6969d21e9f008e4da183b080632b2b1efd60440f606000000000000000000000000000000000000000000n
}, {
  a: 0x9265383c9cc668f4e91f2e50ab24bc84f591df9n,
  b: 0x9b6n,
  r: 0n
}, {
  a: -0x44921e6bn,
  b: -0xa3n,
  r: -0x22490f3580000000000000000000000000000000000000000n
}, {
  a: -0xf6a927bd1fd69acfbce00148e6f54e9fbdd5c603n,
  b: 0xd32n,
  r: -0x1n
}, {
  a: -0xfca0e89584e1b29f6589777dbn,
  b: -0x80n,
  r: -0xfca0e89584e1b29f6589777db00000000000000000000000000000000n
}, {
  a: 0x2f9aa800ceef60c8c31c525eaen,
  b: 0x61n,
  r: 0x17n
}, {
  a: -0x3f487d763f0b6db770f6d6cee1f66a4123n,
  b: 0n,
  r: -0x3f487d763f0b6db770f6d6cee1f66a4123n
}, {
  a: 0x961f41515eea950c0fen,
  b: 0xfc9n,
  r: 0n
}, {
  a: 0x4cf1634d68d30420161913e41fbccb571a815aa910c44a7d3ba71ced17n,
  b: 0x8d2n,
  r: 0n
}, {
  a: -0x960fdaacefe0e3aa22ce9436048924c2dbeb2d17498d530616d1a0d57dfef1n,
  b: -0xen,
  r: -0x2583f6ab3bf838ea88b3a50d81224930b6facb45d26354c185b468355f7fbc4000n
}, {
  a: 0xc75edaac1c87fd6a1f3a818f084c58d40f59111cb9fcn,
  b: -0xe6n,
  r: 0x31d7b6ab0721ff5a87cea063c213163503d644472e7f0000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x9e7b7ab3afe6046ad0781b06a8934960an,
  b: -0x59n,
  r: 0x13cf6f5675fcc08d5a0f0360d512692c140000000000000000000000n
}, {
  a: -0x7bdec55eee6c530ccec3fc5b70e63f603ed9c8bba6333909dd4e992n,
  b: 0x427n,
  r: -0x1n
}, {
  a: 0xecee5739769c580234n,
  b: 0x87n,
  r: 0n
}, {
  a: 0x6f8860n,
  b: 0x3n,
  r: 0xdf10cn
}, {
  a: -0x35b218152b8323a65677d03bda45b79a52135d8fa6n,
  b: 0n,
  r: -0x35b218152b8323a65677d03bda45b79a52135d8fa6n
}, {
  a: -0x929e9392e67df07n,
  b: 0n,
  r: -0x929e9392e67df07n
}, {
  a: -0x69d7ef3815875fefe99db185ad49e9283be124a65c3768bba2e3244a14cn,
  b: 0n,
  r: -0x69d7ef3815875fefe99db185ad49e9283be124a65c3768bba2e3244a14cn
}, {
  a: -0xbbb4cc4401c369854583ea3842en,
  b: 0x9n,
  r: -0x5dda662200e1b4c2a2c1f51c3n
}, {
  a: 0n,
  b: 0xaadn,
  r: 0n
}, {
  a: 0x68cc857f764fec5310f4decefccd884n,
  b: -0x27n,
  r: 0x346642bfbb27f629887a6f677e66c420000000000n
}, {
  a: 0x286ce5c62da19a4fdcc18n,
  b: -0x65n,
  r: 0x50d9cb8c5b43349fb98300000000000000000000000000n
}, {
  a: -0x75ce0b31bc054ff6757e13f6cc6467304b3c442864cn,
  b: -0xffn,
  r: -0x3ae70598de02a7fb3abf09fb66323398259e22143260000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x5075386n,
  b: -0xa8n,
  r: 0x5075386000000000000000000000000000000000000000000n
}, {
  a: -0x554462dn,
  b: -0x9bn,
  r: -0x2aa2316800000000000000000000000000000000000000n
}, {
  a: 0xa3176055n,
  b: -0xc6n,
  r: 0x28c5d81540000000000000000000000000000000000000000000000000n
}, {
  a: 0x4cad075af75dfe498fb8d1002906d698n,
  b: -0x68n,
  r: 0x4cad075af75dfe498fb8d1002906d69800000000000000000000000000n
}, {
  a: 0xe6e3c6cdcb6102fd580aee9bba09ad0fe5b56186ed9dbab82d78n,
  b: -0x35n,
  r: 0x1cdc78d9b96c205fab015dd3774135a1fcb6ac30ddb3b75705af00000000000000n
}, {
  a: 0xbc65a69f13172a86e861e075955586086fd73e2a287693e72688ec0cn,
  b: -0xfn,
  r: 0x5e32d34f898b95437430f03acaaac30437eb9f15143b49f3934476060000n
}, {
  a: -0x1f5bf04b8c73c57d79bda14bbf869921794f4e04667fa97adcan,
  b: -0xb2n,
  r: -0x7d6fc12e31cf15f5e6f6852efe1a6485e53d381199fea5eb72800000000000000000000000000000000000000000000n
}, {
  a: 0xedc236af7d4fc5462446088028baa57cff91d05bf8c2a40c49842a68b9b11an,
  b: 0x9d7n,
  r: 0n
}, {
  a: 0xc47bc6c645079eb43dd33b92ccbn,
  b: -0x1an,
  r: 0x311ef1b19141e7ad0f74cee4b32c000000n
}, {
  a: -0x2bb81fd37b776efbba2268fb86366446e3428a01n,
  b: -0xf8n,
  r: -0x2bb81fd37b776efbba2268fb86366446e3428a0100000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x1466f5d8bd579594b21fd7f3c5abeaeead4a79f83bn,
  b: -0x57n,
  r: -0xa337aec5eabcaca590febf9e2d5f57756a53cfc1d8000000000000000000000n
}, {
  a: -0x7a8f485deed439cf8023ff0f03d56a03611cc7e10a7e0ea2abce7eac727c9b4f4n,
  b: 0n,
  r: -0x7a8f485deed439cf8023ff0f03d56a03611cc7e10a7e0ea2abce7eac727c9b4f4n
}, {
  a: -0x231dd60b41677454d5c177758cf8698620e8n,
  b: -0x87n,
  r: -0x118eeb05a0b3ba2a6ae0bbbac67c34c310740000000000000000000000000000000000n
}, {
  a: -0xeaa14e5b858fa58fe79a9618a2a101023fd35192ee6889152fcc23cb8b3008n,
  b: 0x982n,
  r: -0x1n
}, {
  a: 0x1d30e15e74fd555e6bb4c35ef9c71d759dfca44c67e6n,
  b: -0x14n,
  r: 0x1d30e15e74fd555e6bb4c35ef9c71d759dfca44c67e600000n
}, {
  a: -0x275589796db36d1a33f986a889d10cc42407aan,
  b: -0x34n,
  r: -0x275589796db36d1a33f986a889d10cc42407aa0000000000000n
}, {
  a: -0xafc49c1182c8c878304d24e6d6e8037fe7c342072cf65484a6a8n,
  b: 0xfn,
  r: -0x15f893823059190f0609a49cdadd006ffcf86840e59eca90an
}, {
  a: 0xfba3f27b62a3c6ea03061ef25b7f38e7cda50d1ca90d97n,
  b: 0x1n,
  r: 0x7dd1f93db151e37501830f792dbf9c73e6d2868e5486cbn
}, {
  a: 0xf6f2a04583f00f9832d67ac585c6aan,
  b: -0x14n,
  r: 0xf6f2a04583f00f9832d67ac585c6aa00000n
}, {
  a: 0x43d38abd85ec22n,
  b: 0xdn,
  r: 0x21e9c55ec2fn
}, {
  a: -0x3240en,
  b: -0x6cn,
  r: -0x3240e000000000000000000000000000n
}, {
  a: 0xf28cd5n,
  b: 0xc8fn,
  r: 0n
}, {
  a: 0x941f77e49406a18629d815a2744a3562n,
  b: -0x47n,
  r: 0x4a0fbbf24a0350c314ec0ad13a251ab1000000000000000000n
}, {
  a: 0x5b64bcd0ab54566bbd708c5ae4800285f6d325bdb5d2512936fb0e286fa1n,
  b: 0x34n,
  r: 0x5b64bcd0ab54566bbd708c5ae4800285f6d325bdb5d2512n
}, {
  a: -0xc328c7382a3c5e6c642e90adcfb6ec8c240caafa3f9bd5664n,
  b: 0n,
  r: -0xc328c7382a3c5e6c642e90adcfb6ec8c240caafa3f9bd5664n
}, {
  a: -0x8d41832ce7e1d4678a9ben,
  b: -0xc3n,
  r: -0x46a0c19673f0ea33c54df0000000000000000000000000000000000000000000000000n
}, {
  a: 0xcd655c6a95456603d97d7d41d070d0abb805618b49a5n,
  b: 0n,
  r: 0xcd655c6a95456603d97d7d41d070d0abb805618b49a5n
}, {
  a: -0x202b000f13e694bc84039n,
  b: 0x8fan,
  r: -0x1n
}, {
  a: -0xeecb0bd8566c9283f5d415ab6eeadcd20b5d9d6ff31eb8320fn,
  b: -0xa3n,
  r: -0x776585ec2b364941faea0ad5b7756e6905aeceb7f98f5c190780000000000000000000000000000000000000000n
}, {
  a: -0x73954b66d1bfb97a5c84a6n,
  b: -0x11n,
  r: -0xe72a96cda37f72f4b9094c0000n
}, {
  a: -0x61a7b79e272fcffn,
  b: -0x96n,
  r: -0x1869ede789cbf3fc0000000000000000000000000000000000000n
}, {
  a: 0xae9a991cb9f38234d860en,
  b: -0x99n,
  r: 0x15d35323973e70469b0c1c00000000000000000000000000000000000000n
}, {
  a: 0xc59e47bfd02ef2b5an,
  b: -0x15n,
  r: 0x18b3c8f7fa05de56b400000n
}, {
  a: 0x644229035b470727607n,
  b: -0xc6n,
  r: 0x19108a40d6d1c1c9d81c0000000000000000000000000000000000000000000000000n
}, {
  a: 0xbbb853eba103e6b73af8bd84261an,
  b: 0xb39n,
  r: 0n
}, {
  a: 0xc72f3d3acdeb158n,
  b: -0x6fn,
  r: 0x63979e9d66f58ac0000000000000000000000000000n
}, {
  a: 0xc6b2415eecdf774cc1cd9098n,
  b: 0xaen,
  r: 0n
}, {
  a: 0x77dd9ff39bb6cdef68f1b6c5841f8f33813657810c36f993fan,
  b: -0x61n,
  r: 0xefbb3fe7376d9bded1e36d8b083f1e67026caf02186df327f4000000000000000000000000n
}, {
  a: -0x7d9n,
  b: -0x53n,
  r: -0x3ec800000000000000000000n
}, {
  a: 0xa9134b9e3a210abfdc585d7c146a1n,
  b: -0x5an,
  r: 0x2a44d2e78e8842aff716175f051a840000000000000000000000n
}, {
  a: -0x64c2a1n,
  b: 0x8n,
  r: -0x64c3n
}, {
  a: 0xe5ad152eaaa3dc77a22bac71ccd866f2579e3745470fc88afn,
  b: -0xc2n,
  r: 0x396b454baaa8f71de88aeb1c733619bc95e78dd151c3f222bc000000000000000000000000000000000000000000000000n
}, {
  a: -0x3396d9d9eb0138226d6100e9b7195856283e5c25n,
  b: -0xf4n,
  r: -0x3396d9d9eb0138226d6100e9b7195856283e5c250000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xed7ae9dc3f768c5f5a8c109aaabb7c6n,
  b: -0x85n,
  r: -0x1daf5d3b87eed18beb51821355576f8c000000000000000000000000000000000n
}, {
  a: -0xfd5c022832968a35acb67296d87166ce0abf6474173bc3n,
  b: -0xb9n,
  r: -0x1fab80450652d146b596ce52db0e2cd9c157ec8e82e77860000000000000000000000000000000000000000000000n
}, {
  a: -0xdf719927ea891376b3c0e701f83efacbn,
  b: -0xcen,
  r: -0x37dc6649faa244ddacf039c07e0fbeb2c000000000000000000000000000000000000000000000000000n
}, {
  a: -0x1299461b1a268e6cdf885bf88abbed5n,
  b: -0x3an,
  r: -0x4a65186c689a39b37e216fe22aefb5400000000000000n
}, {
  a: -0x8040n,
  b: -0x74n,
  r: -0x804000000000000000000000000000000n
}, {
  a: 0xd1491291c94352bc9b591c89453807c0494c75n,
  b: 0xefn,
  r: 0n
}, {
  a: 0x2c336587e732870a28dfdf50a7aeea9743bcd83c1bb339a7bacdafe1197728410n,
  b: -0xan,
  r: 0xb0cd961f9cca1c28a37f7d429ebbaa5d0ef360f06ecce69eeb36bf8465dca104000n
}, {
  a: -0x9a898c36c46196e594d8f8fc3d485c13f0516cb12n,
  b: -0xaan,
  r: -0x26a2630db11865b965363e3f0f521704fc145b2c48000000000000000000000000000000000000000000n
}, {
  a: -0x7b36d4f99fc0784698n,
  b: 0xcdan,
  r: -0x1n
}, {
  a: -0xb331c1b45n,
  b: 0n,
  r: -0xb331c1b45n
}, {
  a: -0xda1328edbf76eebe908074db19f5bcb7fc76dff42e1n,
  b: 0xa8an,
  r: -0x1n
}, {
  a: 0xbd597464dd5ac2a738f14ed0267c1dd7289ec635590533n,
  b: -0x76n,
  r: 0x2f565d193756b0a9ce3c53b4099f0775ca27b18d56414cc00000000000000000000000000000n
}, {
  a: 0xc9f0ffa551bd68ffeb3df8693d8f442fn,
  b: 0x395n,
  r: 0n
}, {
  a: -0xef57b654a7431e15fe893a0d912426f5566ed7a56d008aa460383c7f9c8en,
  b: -0xdn,
  r: -0x1deaf6ca94e863c2bfd12741b22484deaacddaf4ada011548c07078ff391c000n
}, {
  a: 0n,
  b: -0x4an,
  r: 0n
}, {
  a: -0xe52bn,
  b: -0x3dn,
  r: -0x1ca56000000000000000n
}, {
  a: 0n,
  b: 0n,
  r: 0n
}, {
  a: 0xc3e3a911340754f9dabe7256fa2e3e35614973e9aen,
  b: -0xbdn,
  r: 0x187c75222680ea9f3b57ce4adf45c7c6ac292e7d35c00000000000000000000000000000000000000000000000n
}, {
  a: 0xc1defcce08118cbc6a866436a5b1fe10fbb77b4d1b3e481b0cfb928b501n,
  b: 0x309n,
  r: 0n
}, {
  a: 0xd4fb9c92b4ef9b7f0281fded559fc9a2a6d7ef92ffn,
  b: 0x915n,
  r: 0n
}, {
  a: -0x3dcddd5a46c80694fb19fa38e4410n,
  b: 0x4d3n,
  r: -0x1n
}, {
  a: -0x68a40a63n,
  b: -0xb1n,
  r: -0xd14814c600000000000000000000000000000000000000000000n
}, {
  a: -0x416e9c2cab4221da216bcace9d36bd5n,
  b: -0xc2n,
  r: -0x105ba70b2ad08876885af2b3a74daf54000000000000000000000000000000000000000000000000n
}, {
  a: -0xf8441a02c6493ad155504c835628055936633e2bdbe9ec2904b803922762n,
  b: -0x3n,
  r: -0x7c220d0163249d68aaa82641ab1402ac9b319f15edf4f614825c01c913b10n
}, {
  a: -0xb9830986cb99a350583f4e2231065cef4651aa5b468133b151b0n,
  b: 0x789n,
  r: -0x1n
}, {
  a: 0x5f2bad88ebfad1d33959db156dan,
  b: 0xd4en,
  r: 0n
}, {
  a: -0x2668ba4ee2cba7da331490076b2df9cbc84b9ce85f16d64dd9dc023757c33en,
  b: 0n,
  r: -0x2668ba4ee2cba7da331490076b2df9cbc84b9ce85f16d64dd9dc023757c33en
}, {
  a: -0xaf20794b17dfa6407f82972ea075e6ca6eb1aacd1a7df72dcc7ebe2ed95c8f51n,
  b: 0xac3n,
  r: -0x1n
}, {
  a: -0xe6b62ff23eaa7d5a9931b210110b59aac250n,
  b: 0x2n,
  r: -0x39ad8bfc8faa9f56a64c6c840442d66ab094n
}, {
  a: 0xf9e0cf260ed848bb30665a1baa46340f92f389cdf4cn,
  b: 0x263n,
  r: 0n
}, {
  a: 0x2bn,
  b: 0n,
  r: 0x2bn
}, {
  a: 0x4d91da6dbd5f8bd8f8n,
  b: -0x99n,
  r: 0x9b23b4db7abf17b1f000000000000000000000000000000000000000n
}, {
  a: 0x16d83926700bacd0c14edae66c8d1ef84db9a608826262100n,
  b: 0xca8n,
  r: 0n
}, {
  a: -0x4e832n,
  b: 0n,
  r: -0x4e832n
}, {
  a: 0n,
  b: 0xc8n,
  r: 0n
}, {
  a: -0xf04bfb079566394b14502n,
  b: -0x19n,
  r: -0x1e097f60f2acc729628a04000000n
}, {
  a: 0xe403c95cdn,
  b: 0x3n,
  r: 0x1c80792b9n
}, {
  a: -0xc9c482c793c8d198f8d348b3d5832c18dc443cd8033c14n,
  b: 0x5n,
  r: -0x64e24163c9e468cc7c69a459eac1960c6e221e6c019e1n
}, {
  a: 0x8c7cc327a3bf9699d569c450246647b347en,
  b: 0x22n,
  r: 0x231f30c9e8efe5a6755a7114091n
}, {
  a: -0x7ccebab8717a5a57aa3c821498677dd66dc47ff32e81e43b383691d7b34b3fdn,
  b: 0n,
  r: -0x7ccebab8717a5a57aa3c821498677dd66dc47ff32e81e43b383691d7b34b3fdn
}, {
  a: 0x93cbffafae9043f0091a361f8ff8319c7e83f7257n,
  b: 0x54n,
  r: 0x93cbffafae9043f0091an
}, {
  a: 0x8479693eac7bf088n,
  b: -0x61n,
  r: 0x108f2d27d58f7e110000000000000000000000000n
}, {
  a: 0x3be11d9f4026d30b951f25a6696622b0905ef4aee9bcn,
  b: -0xecn,
  r: 0x3be11d9f4026d30b951f25a6696622b0905ef4aee9bc00000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x6fbba2d11c66299d7c0af8d6921c2d8f0321813aea2e4425ea1914n,
  b: -0x1fn,
  r: -0x37ddd1688e3314cebe057c6b490e16c78190c09d75172212f50c8a00000000n
}, {
  a: 0xc2cb7fa9116da268179e76b5n,
  b: 0x35n,
  r: 0x6165bfd488bn
}, {
  a: -0x82826f8d172c5b3cfd18477010e9da5300bfa5849d27f435412575n,
  b: -0x55n,
  r: -0x10504df1a2e58b679fa308ee021d3b4a6017f4b093a4fe86a824aea000000000000000000000n
}, {
  a: -0x4an,
  b: -0x58n,
  r: -0x4a0000000000000000000000n
}, {
  a: -0xf4ff90c9a88cc26c58212ab46d695ec2d3d21fd34e992c089955e32c6n,
  b: -0x1n,
  r: -0x1e9ff2193511984d8b0425568dad2bd85a7a43fa69d32581132abc658cn
}, {
  a: 0x6f602e59eb79e49n,
  b: -0xd3n,
  r: 0x37b0172cf5bcf2480000000000000000000000000000000000000000000000000000n
}, {
  a: 0x22285133f80bf6274b6d2a4bcc9e5afde9125630a7783de5877b93b56c3d660818a8n,
  b: -0xcn,
  r: 0x22285133f80bf6274b6d2a4bcc9e5afde9125630a7783de5877b93b56c3d660818a8000n
}, {
  a: -0x95bd2eb9d30c4973aa5ffd36b8e78fc674n,
  b: -0x47n,
  r: -0x4ade975ce98624b9d52ffe9b5c73c7e33a000000000000000000n
}, {
  a: 0xc1a3f41475fb58f224a9259b749b51cc163769cce83bn,
  b: 0xfn,
  r: 0x18347e828ebf6b1e449524b36e936a3982c6ed399n
}, {
  a: 0xd920284n,
  b: 0x2n,
  r: 0x36480a1n
}, {
  a: 0xee9e26a8d7fdc3a1529c09e9f27fb7826an,
  b: -0xe6n,
  r: 0x3ba789aa35ff70e854a7027a7c9fede09a8000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x27b5b8dd0n,
  b: -0x8an,
  r: 0x9ed6e37400000000000000000000000000000000000n
}, {
  a: 0x70d645abdd78f16n,
  b: 0n,
  r: 0x70d645abdd78f16n
}, {
  a: -0x2a0b56335226b629ce913f61424a2409n,
  b: -0x68n,
  r: -0x2a0b56335226b629ce913f61424a240900000000000000000000000000n
}, {
  a: -0xd6f41bd0ddf160n,
  b: 0x5n,
  r: -0x6b7a0de86ef8bn
}, {
  a: -0x2d58bd4ee4392ae7645132ba518ce55559f51f548n,
  b: 0x18n,
  r: -0x2d58bd4ee4392ae7645132ba518ce5555a0n
}, {
  a: -0x5bf825957a9n,
  b: 0xf42n,
  r: -0x1n
}, {
  a: -0x2483d944ec1ec01d4f358e4d81cf1afc9164044n,
  b: 0x72n,
  r: -0x920f6513b1n
}, {
  a: 0xc649993093d24693c1321fa7bb5eb7db0faf383c96ff7416584e4e0c1678n,
  b: 0x97n,
  r: 0x18c93326127a48d2782643fn
}, {
  a: -0x4f4ed3966869b79n,
  b: 0xfn,
  r: -0x9e9da72cd0en
}, {
  a: -0xa683e3b27473b9a4efc04df73d0d1e1907714104b7cf63bd1cdn,
  b: 0x4n,
  r: -0xa683e3b27473b9a4efc04df73d0d1e1907714104b7cf63bd1dn
}, {
  a: 0xan,
  b: 0xbn,
  r: 0n
}, {
  a: -0xfe45b528cf82517ac83a33a2024e8f76911768eb4a8006ea31ece005e9n,
  b: 0xdn,
  r: -0x7f22da9467c128bd641d19d1012747bb488bb475a540037518f6701n
}, {
  a: 0xdb2e9dd6cf27446e97d23532762603883aef61f1b4131403e1056fa67318644dfdn,
  b: -0x8n,
  r: 0xdb2e9dd6cf27446e97d23532762603883aef61f1b4131403e1056fa67318644dfd00n
}, {
  a: -0xfece0b41d920c3f1f11643dn,
  b: 0xd1fn,
  r: -0x1n
}, {
  a: 0x3907718f12bf5a896be5c114ab0dc697694609e576fac31n,
  b: 0xedn,
  r: 0n
}, {
  a: 0x81bb1n,
  b: -0xdcn,
  r: 0x81bb10000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xe78ffdc90b80c9b64d34a06676bcf96fce2af0d3f10738n,
  b: -0xfcn,
  r: -0xe78ffdc90b80c9b64d34a06676bcf96fce2af0d3f10738000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xc6049bb0a88ef93d67b12f7df61a4d030045b33e32n,
  b: 0n,
  r: -0xc6049bb0a88ef93d67b12f7df61a4d030045b33e32n
}, {
  a: -0x4b2d830dd2d2f776a68530a13a130658ac85d2beee03b996d5ac716ab5ebd9753n,
  b: 0xa9n,
  r: -0x2596c186e9697bbb5342986n
}, {
  a: 0xf56061621fd9befac2507f86c5n,
  b: 0x8fn,
  r: 0n
}, {
  a: 0xe9eca910b6cbed76c254651d4c9b42aa602c8d1007e6dae419f265n,
  b: 0x8e3n,
  r: 0n
}, {
  a: 0xd4a51c05d882c19222ad2137308c5f38b3bn,
  b: -0x29n,
  r: 0x1a94a380bb1058324455a426e6118be716760000000000n
}, {
  a: 0x24fa703a1238852d9c0a787a17c2e91n,
  b: 0xdn,
  r: 0x127d381d091c4296ce053c3d0be1n
}, {
  a: -0xa3089b4a9e1c20c0b678059534cf7n,
  b: 0x4den,
  r: -0x1n
}, {
  a: 0x1745e60b80dd710eaf67d48c2734847n,
  b: -0xf3n,
  r: 0xba2f305c06eb88757b3ea46139a4238000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x36b9dd30ef8n,
  b: -0x7cn,
  r: -0x36b9dd30ef80000000000000000000000000000000n
}, {
  a: 0x96b51cf357382e6ed0993761ca68e8595946799ea230eb2n,
  b: -0x1fn,
  r: 0x4b5a8e79ab9c1737684c9bb0e534742caca33ccf511875900000000n
}, {
  a: 0x90b0dfe15089a6bcn,
  b: 0xc9n,
  r: 0n
}, {
  a: -0xa52f023n,
  b: -0x69n,
  r: -0x14a5e04600000000000000000000000000n
}, {
  a: -0x303475a72c673f4e680fc8c99250a1n,
  b: -0x7en,
  r: -0xc0d1d69cb19cfd39a03f23264942840000000000000000000000000000000n
}, {
  a: 0xd582626257a82dac4eced6d41d1713a199n,
  b: -0xaen,
  r: 0x3560989895ea0b6b13b3b5b50745c4e86640000000000000000000000000000000000000000000n
}, {
  a: -0xdf04871e9efdf8dddn,
  b: 0x4n,
  r: -0xdf04871e9efdf8den
}, {
  a: -0xbe40b725b875aa91d4390c848b996c110dcf11b0n,
  b: -0x2cn,
  r: -0xbe40b725b875aa91d4390c848b996c110dcf11b000000000000n
}, {
  a: 0x33bbe73d917e48117ca2ec661bffacc3a37b9801b87bn,
  b: 0n,
  r: 0x33bbe73d917e48117ca2ec661bffacc3a37b9801b87bn
}, {
  a: -0x5f3e3d50edef53885a0fb90f76f190a8d7e75f687b5cc336baad7b5c9a1n,
  b: 0x479n,
  r: -0x1n
}, {
  a: -0xbd0f1ece46ec5a34ban,
  b: -0xafn,
  r: -0x5e878f6723762d1a5d00000000000000000000000000000000000000000000n
}, {
  a: -0x468921d76377f4ef87879beab23df8792869442eeb45b7128fd2db76a4n,
  b: 0n,
  r: -0x468921d76377f4ef87879beab23df8792869442eeb45b7128fd2db76a4n
}, {
  a: 0xd6e840a835d7a1ebdd3140f0acca2c5e1c3e4ba58cbc1fn,
  b: -0x75n,
  r: 0x1add081506baf43d7ba6281e1599458bc387c974b19783e00000000000000000000000000000n
}, {
  a: 0xcb1da1c02de48e7372da055n,
  b: -0x4fn,
  r: 0x658ed0e016f24739b96d02a80000000000000000000n
}, {
  a: -0xd4359d5b3b1f7616370d83d329957ad4ddb3b21b2b96c59494f84264n,
  b: 0x29n,
  r: -0x6a1acead9d8fbb0b1b86c1e994cabd6a6ed9d90d95cb63n
}, {
  a: -0xfb773ff7694bc6b1b2f97e2b82e853890835da08n,
  b: -0xadn,
  r: -0x1f6ee7feed2978d6365f2fc5705d0a712106bb4100000000000000000000000000000000000000000000n
}, {
  a: 0xb3442c291c53ee8n,
  b: -0xcfn,
  r: 0x59a216148e29f740000000000000000000000000000000000000000000000000000n
}, {
  a: 0xbd49c305df94054f77e3df9099fcn,
  b: -0xdcn,
  r: 0xbd49c305df94054f77e3df9099fc0000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x61707ebc7cd495fn,
  b: 0x6n,
  r: -0x185c1faf1f3526n
}, {
  a: 0xe68b1f9c44n,
  b: 0x1n,
  r: 0x73458fce22n
}, {
  a: 0x1563ee6a28e6e14bab44b8b45aabf35fbe4be0b0b3e021adee630f7c4ea00c8en,
  b: 0n,
  r: 0x1563ee6a28e6e14bab44b8b45aabf35fbe4be0b0b3e021adee630f7c4ea00c8en
}, {
  a: -0x751645d85be9739024c9f60cd1a8736409abffb9e9d8c45d451d7bc57n,
  b: 0x32n,
  r: -0x1d45917616fa5ce409327d83346a1cd9026affee7a764n
}, {
  a: -0xb0fdddcf0727n,
  b: -0xc2n,
  r: -0x2c3f7773c1c9c000000000000000000000000000000000000000000000000n
}, {
  a: -0x788bn,
  b: 0x4c7n,
  r: -0x1n
}, {
  a: 0xc47f0c2n,
  b: 0x614n,
  r: 0n
}, {
  a: -0x5cb128f650d49202193d5e63cc06dcead1c9n,
  b: -0x54n,
  r: -0x5cb128f650d49202193d5e63cc06dcead1c9000000000000000000000n
}, {
  a: -0xd03ba572caee88ec9cn,
  b: -0x72n,
  r: -0x340ee95cb2bba23b2700000000000000000000000000000n
}, {
  a: 0xcb84e2ab1fc320714n,
  b: -0x20n,
  r: 0xcb84e2ab1fc32071400000000n
}, {
  a: -0x49632acb9e50b90d5ab4db19dn,
  b: 0n,
  r: -0x49632acb9e50b90d5ab4db19dn
}, {
  a: 0xec1c2f53f29aae4ed26n,
  b: -0x23n,
  r: 0x760e17a9f94d5727693000000000n
}, {
  a: -0x5a6fbc1n,
  b: 0n,
  r: -0x5a6fbc1n
}, {
  a: 0x5534f3e610a210056en,
  b: 0x9n,
  r: 0x2a9a79f308510802n
}, {
  a: 0xa5f9d52cd0bc6bc303219dced7eff669212dcca5b66812n,
  b: -0x31n,
  r: 0x14bf3aa59a178d78606433b9dafdfecd2425b994b6cd024000000000000n
}, {
  a: -0xbbb803a3dd488d02e7e73232c17n,
  b: -0x59n,
  r: -0x177700747ba911a05cfce646582e0000000000000000000000n
}, {
  a: -0x4ce59e19c35211bc45033933cd055b17e36ea59fb3aff42f201e6353n,
  b: 0x8n,
  r: -0x4ce59e19c35211bc45033933cd055b17e36ea59fb3aff42f201e64n
}, {
  a: 0x512c6b536c5ef9955dc1bfa1d37806976d2n,
  b: 0xen,
  r: 0x144b1ad4db17be6557706fe874de01a5n
}, {
  a: -0xf44a1c861c6b5df062ac71b4424c2ea605b6f73cn,
  b: -0xfcn,
  r: -0xf44a1c861c6b5df062ac71b4424c2ea605b6f73c000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x974cd80969f2e10261d02305a2996e37cn,
  b: -0xaen,
  r: -0x25d336025a7cb840987408c168a65b8df00000000000000000000000000000000000000000000n
}, {
  a: 0xad73df34dn,
  b: -0xc3n,
  r: 0x56b9ef9a68000000000000000000000000000000000000000000000000n
}, {
  a: -0xb5465f011c7d4f83f2a2a947ean,
  b: 0xfn,
  r: -0x16a8cbe0238fa9f07e54553n
}, {
  a: 0x47d9571c90157d9c0bcce8813b7a4cn,
  b: 0xd20n,
  r: 0n
}, {
  a: -0x68d10b53f892207338fb8an,
  b: -0x57n,
  r: -0x346885a9fc4910399c7dc50000000000000000000000n
}, {
  a: 0xfc06224ecf18546ac18e6e624b0a04544981fe8f03a65ee1903e84f75107n,
  b: -0x4n,
  r: 0xfc06224ecf18546ac18e6e624b0a04544981fe8f03a65ee1903e84f751070n
}, {
  a: 0x9aab5043e924bc638d7ed92b3d7c97cffc569b3fb13fa5d0ecd9cdb56df51c00d96n,
  b: 0x1c7n,
  r: 0n
}, {
  a: 0xdd0e4c4172a36af60dac3a782047826768an,
  b: 0x2c4n,
  r: 0n
}, {
  a: -0x92183f0e904234n,
  b: -0xcdn,
  r: -0x124307e1d208468000000000000000000000000000000000000000000000000000n
}, {
  a: -0x2e4fcn,
  b: 0n,
  r: -0x2e4fcn
}, {
  a: 0x164e05991e471a4ed6818709b918b0b7n,
  b: -0x22n,
  r: 0x59381664791c693b5a061c26e462c2dc00000000n
}, {
  a: 0x96c79634336d0d0a465ba63b67dc758edf8054eafd7c5e6b8468n,
  b: 0n,
  r: 0x96c79634336d0d0a465ba63b67dc758edf8054eafd7c5e6b8468n
}, {
  a: -0xe413d2b4ace92bec38012a3a7908b9b106651ac20194c2n,
  b: -0x44n,
  r: -0xe413d2b4ace92bec38012a3a7908b9b106651ac20194c200000000000000000n
}, {
  a: 0x6eca257693759a9fe77565d5490503275f26n,
  b: -0x70n,
  r: 0x6eca257693759a9fe77565d5490503275f260000000000000000000000000000n
}, {
  a: 0xfb0292e3993fa28fb65n,
  b: 0x73n,
  r: 0n
}, {
  a: -0x22e6083695950a8822c15ed41n,
  b: 0n,
  r: -0x22e6083695950a8822c15ed41n
}, {
  a: 0x1n,
  b: 0n,
  r: 0x1n
}, {
  a: -0xbcc068d5dc2522557a10ad3a30cd48d8f6701n,
  b: -0x3cn,
  r: -0xbcc068d5dc2522557a10ad3a30cd48d8f6701000000000000000n
}, {
  a: 0x35efb919a9499715fc4n,
  b: 0n,
  r: 0x35efb919a9499715fc4n
}, {
  a: 0xc7b0b8n,
  b: 0n,
  r: 0xc7b0b8n
}, {
  a: 0x4544n,
  b: -0xe4n,
  r: 0x4544000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xa72a32130efd4e09c1e62da2667n,
  b: 0n,
  r: -0xa72a32130efd4e09c1e62da2667n
}, {
  a: 0xcb4d8797af8814d64a646527a29d24n,
  b: 0x451n,
  r: 0n
}, {
  a: -0xfbde0dfc8n,
  b: 0xac6n,
  r: -0x1n
}, {
  a: -0x4917a978a2ea69n,
  b: -0x74n,
  r: -0x4917a978a2ea6900000000000000000000000000000n
}, {
  a: -0xdd2b3467b76a94b0afc30abbb94df24fa68f8e0b19fe64cea2d962af2f75e36n,
  b: 0x3n,
  r: -0x1ba5668cf6ed529615f861577729be49f4d1f1c1633fcc99d45b2c55e5eebc7n
}, {
  a: 0x35c09cf1a579bebe5471f9f0a949212da9n,
  b: -0x68n,
  r: 0x35c09cf1a579bebe5471f9f0a949212da900000000000000000000000000n
}, {
  a: 0xd18376a7d367ca2584n,
  b: -0xa2n,
  r: 0x3460dda9f4d9f2896100000000000000000000000000000000000000000n
}, {
  a: -0x1b8f308n,
  b: -0xf0n,
  r: -0x1b8f308000000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0x55dn,
  b: 0xcen,
  r: 0n
}, {
  a: -0x4fdb010631n,
  b: 0n,
  r: -0x4fdb010631n
}, {
  a: 0xa1715f513cac3306efd0ed5605379c8cn,
  b: 0xan,
  r: 0x285c57d44f2b0cc1bbf43b55814de7n
}, {
  a: -0x3fe83bad849a293f705fb870da53977dfe2n,
  b: -0x90n,
  r: -0x3fe83bad849a293f705fb870da53977dfe2000000000000000000000000000000000000n
}, {
  a: 0x2aac574ca3ba0535cf36e5f0f0d5cca5db60205b8d4512a61fa6496927d16ce5dcc8n,
  b: 0x34n,
  r: 0x2aac574ca3ba0535cf36e5f0f0d5cca5db60205b8d4512a61fa6496n
}, {
  a: 0x8b95e9a8b7dea1d4a7040e8800b127c32855ebed261a4a9bfc3b31853dd6c0e5142n,
  b: 0x1cn,
  r: 0x8b95e9a8b7dea1d4a7040e8800b127c32855ebed261a4a9bfc3b31853dd6n
}, {
  a: -0xff620ab2f65fe672an,
  b: 0n,
  r: -0xff620ab2f65fe672an
}, {
  a: 0xf016475bea88ff4b17cd09d9n,
  b: 0x6n,
  r: 0x3c0591d6faa23fd2c5f3427n
}, {
  a: -0x20382c1fb5360ba6c3653501a2f388bdcd1bc4b8n,
  b: -0xaen,
  r: -0x80e0b07ed4d82e9b0d94d4068bce22f7346f12e00000000000000000000000000000000000000000000n
}, {
  a: -0x76b5207a16dd020fc3f7706n,
  b: 0xd17n,
  r: -0x1n
}, {
  a: -0xd177986d7dc15b60aa45acb64b64d1193n,
  b: -0x7cn,
  r: -0xd177986d7dc15b60aa45acb64b64d11930000000000000000000000000000000n
}, {
  a: 0xa48ef4bc7f2e5a67ff40e127644fa10d235e8966ef6f73f0f3740db32982c85008n,
  b: 0xfdn,
  r: 0x524n
}, {
  a: 0xde7bcf15fe401bcec550565485b8f1b6c5a8368f81408832ba35c06612c8bn,
  b: 0n,
  r: 0xde7bcf15fe401bcec550565485b8f1b6c5a8368f81408832ba35c06612c8bn
}, {
  a: -0xad45c75852e334a8918428e021273aea9589483b4b5n,
  b: -0x93n,
  r: -0x56a2e3ac29719a5448c2147010939d754ac4a41da5a8000000000000000000000000000000000000n
}, {
  a: -0x71dcbe889b4f1852d25663adc2e5n,
  b: -0x26n,
  r: -0x1c772fa226d3c614b49598eb70b94000000000n
}, {
  a: 0x52e0df7fbbf351e4fe61bd46774b7032422743164e1b9n,
  b: 0x25n,
  r: 0x29706fbfddf9a8f27f30dea33ba5b8192113n
}, {
  a: -0xaee56da4db9a750054ab595075c6c9477d0n,
  b: 0x30n,
  r: -0xaee56da4db9a750054ab596n
}, {
  a: -0x4156c4n,
  b: -0x41n,
  r: -0x82ad880000000000000000n
}, {
  a: 0xd3dd498efee4acf24cn,
  b: 0x752n,
  r: 0n
}, {
  a: 0x80fd23c5334c37dbd3c67e85b67n,
  b: -0x27n,
  r: 0x407e91e299a61bede9e33f42db38000000000n
}, {
  a: 0x60b0a52a15e8644f5263a79ec3n,
  b: 0x5n,
  r: 0x305852950af43227a931d3cf6n
}, {
  a: -0x2da51c3fd711afca39aae40a6ddaa941027e59n,
  b: -0x59n,
  r: -0x5b4a387fae235f947355c814dbb5528204fcb20000000000000000000000n
}, {
  a: -0x82085cdf3111077344425f19ef15a8n,
  b: -0xa2n,
  r: -0x20821737cc4441dcd11097c67bc56a00000000000000000000000000000000000000000n
}, {
  a: 0xe7e65ca6d40979b9e54293eb4n,
  b: 0xan,
  r: 0x39f99729b5025e6e7950a4fn
}, {
  a: -0x2aa7f5cddn,
  b: 0x8ccn,
  r: -0x1n
}, {
  a: 0x9bb7ea5fec0bed21791c6c710e8240392e44c26b7c5dcf852b67ccca64fn,
  b: -0x8n,
  r: 0x9bb7ea5fec0bed21791c6c710e8240392e44c26b7c5dcf852b67ccca64f00n
}, {
  a: 0n,
  b: -0x6fn,
  r: 0n
}, {
  a: -0x16bbn,
  b: -0x8bn,
  r: -0xb5d80000000000000000000000000000000000n
}, {
  a: -0xa0eddfc5668c9c5n,
  b: -0xc6n,
  r: -0x283b77f159a327140000000000000000000000000000000000000000000000000n
}, {
  a: 0x6667ff4e1an,
  b: -0xbbn,
  r: 0x3333ffa70d00000000000000000000000000000000000000000000000n
}, {
  a: 0x68ede59993n,
  b: -0xb9n,
  r: 0xd1dbcb33260000000000000000000000000000000000000000000000n
}, {
  a: 0x3e5fd847d6ddbc129f999c31ec538fefcbcd4n,
  b: -0x2an,
  r: 0xf97f611f5b76f04a7e6670c7b14e3fbf2f3500000000000n
}, {
  a: -0x6c1784n,
  b: -0xa8n,
  r: -0x6c1784000000000000000000000000000000000000000000n
}, {
  a: 0x4ad377a06fee1483466dcb4db6db8b49126a0baf86b3981f70cec0195296173612cc7n,
  b: 0x17n,
  r: 0x95a6ef40dfdc29068cdb969b6db7169224d4175f0d67303ee19d8032a52c2e6n
}, {
  a: -0xbf0e7f5306eedb92ebe27ce18180c5292c694588c9582e981cdb2n,
  b: -0x94n,
  r: -0xbf0e7f5306eedb92ebe27ce18180c5292c694588c9582e981cdb20000000000000000000000000000000000000n
}, {
  a: -0x29129d37255220f3376971c3n,
  b: -0xd5n,
  r: -0x52253a6e4aa441e66ed2e38600000000000000000000000000000000000000000000000000000n
}, {
  a: -0x87c92258n,
  b: 0n,
  r: -0x87c92258n
}, {
  a: 0x9d74c915c406875ad48b10747fa286c5a21d387a5de21b2n,
  b: -0xb5n,
  r: 0x13ae9922b880d0eb5a91620e8ff450d8b443a70f4bbc4364000000000000000000000000000000000000000000000n
}, {
  a: -0x663ff452258710b8fn,
  b: -0x3dn,
  r: -0xcc7fe8a44b0e2171e000000000000000n
}, {
  a: 0x5898918a1fdfc5b554878c9af00337c49485e1n,
  b: 0xf4n,
  r: 0n
}, {
  a: 0xd2ab505f45b7261d3a2f0c128628eba58f7c87474ad7060e9903n,
  b: -0x99n,
  r: 0x1a556a0be8b6e4c3a745e18250c51d74b1ef90e8e95ae0c1d320600000000000000000000000000000000000000n
}, {
  a: -0xc3c90a7fe8951287605231f09dc52e6547ffb40n,
  b: 0x86n,
  r: -0x30f243n
}, {
  a: -0x769dd32d35361c2672925369f387777bdfe3n,
  b: -0xb7n,
  r: -0x3b4ee9969a9b0e13394929b4f9c3bbbdeff18000000000000000000000000000000000000000000000n
}, {
  a: -0xcad36627e20f7e30c82de623d7a63c5e8c17d82n,
  b: 0xbn,
  r: -0x195a6cc4fc41efc61905bcc47af4c78bd1830n
}, {
  a: -0x1069fn,
  b: -0x7fn,
  r: -0x834f80000000000000000000000000000000n
}, {
  a: 0xe57b0a4494b8afd31aa40c0ba6e4203838a3n,
  b: 0x9n,
  r: 0x72bd85224a5c57e98d520605d372101c1cn
}, {
  a: -0x27bb7da63de8dd7af6ac2fd1240c23n,
  b: -0x6an,
  r: -0x9eedf698f7a375ebdab0bf4490308c00000000000000000000000000n
}, {
  a: 0xbcc646a6c44160662abd56f36298346897701ca29e81072e07679n,
  b: -0x3bn,
  r: 0x5e6323536220b033155eab79b14c1a344bb80e514f40839703b3c800000000000000n
}, {
  a: 0x2f863ca0e5debdf720dc515d52dc3e2d55aa46d2e2a43cn,
  b: 0n,
  r: 0x2f863ca0e5debdf720dc515d52dc3e2d55aa46d2e2a43cn
}, {
  a: 0xdc22d63abcn,
  b: 0x17n,
  r: 0x1b845n
}, {
  a: 0x6a9234399fb82da7ecbd2623d44b59605b415fd7a06a029be12e18ae4071fd22eb45n,
  b: 0x2n,
  r: 0x1aa48d0e67ee0b69fb2f4988f512d65816d057f5e81a80a6f84b862b901c7f48bad1n
}, {
  a: 0x253fadfc7ab74e5be38696993e42n,
  b: -0x18n,
  r: 0x253fadfc7ab74e5be38696993e42000000n
}, {
  a: -0x692f6ed3572169acef623fb193e7e4828f055ecbdc9n,
  b: 0x790n,
  r: -0x1n
}, {
  a: 0x6dad506575ca6aa47a0bc13445a174ed59751b20c1edf8cc123d94ef9b38767d749n,
  b: -0xbn,
  r: 0x36d6a832bae535523d05e09a22d0ba76acba8d9060f6fc66091eca77cd9c3b3eba4800n
}, {
  a: -0x71382ef514a5a589c1cae2cd8f5c62d69n,
  b: -0xb2n,
  r: -0x1c4e0bbd452969627072b8b363d718b5a400000000000000000000000000000000000000000000n
}, {
  a: 0x2a6n,
  b: 0n,
  r: 0x2a6n
}, {
  a: -0xf5n,
  b: -0x5fn,
  r: -0x7a800000000000000000000000n
}, {
  a: -0x69cc7f28f36d71e86211668b71dab2abn,
  b: -0xa3n,
  r: -0x34e63f9479b6b8f43108b345b8ed595580000000000000000000000000000000000000000n
}, {
  a: 0xf2b2b1e0ea7acf149685a6909d77893573316dn,
  b: -0xa3n,
  r: 0x795958f0753d678a4b42d3484ebbc49ab998b680000000000000000000000000000000000000000n
}, {
  a: 0x54d434c839797521763b4c1591011e57a47788637n,
  b: -0xa8n,
  r: 0x54d434c839797521763b4c1591011e57a47788637000000000000000000000000000000000000000000n
}, {
  a: 0xd30n,
  b: -0x20n,
  r: 0xd3000000000n
}, {
  a: 0xf540bf9817c229179115bb17a23207503a772f17b6cbb62b7a57b50032a4573067n,
  b: -0x7n,
  r: 0x7aa05fcc0be1148bc88add8bd11903a81d3b978bdb65db15bd2bda8019522b983380n
}, {
  a: -0xcd16a80733966n,
  b: -0x6bn,
  r: -0x668b540399cb3000000000000000000000000000n
}, {
  a: -0x8543b853a4d3b55822bfbc027af27852b53d7273an,
  b: -0xbbn,
  r: -0x42a1dc29d269daac115fde013d793c295a9eb939d00000000000000000000000000000000000000000000000n
}, {
  a: -0x5b3dd9ed38eb2ce0101157n,
  b: -0xfen,
  r: -0x16cf767b4e3acb38040455c000000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x50d942540fd474eb2217daf8c9n,
  b: 0xfn,
  r: -0xa1b284a81fa8e9d6442fb6n
}, {
  a: 0x6a07ec90db7017bf5e64fd7046b9d83198e62840598eff44277d9da092en,
  b: 0xc6fn,
  r: 0n
}, {
  a: 0x1bc9d83b670ebeaa9n,
  b: 0x5n,
  r: 0xde4ec1db3875f55n
}, {
  a: 0x38e1835223d2aa61fd4f458e0523f9e153214n,
  b: 0x21n,
  r: 0x1c70c1a911e95530fea7a2c70291fn
}, {
  a: 0x548749fn,
  b: -0x59n,
  r: 0xa90e93e0000000000000000000000n
}, {
  a: 0x99c0n,
  b: 0x86n,
  r: 0n
}, {
  a: 0xe2n,
  b: 0xb7n,
  r: 0n
}, {
  a: 0xb6ac4256n,
  b: 0xf86n,
  r: 0n
}, {
  a: -0xa9b3483dc2ecfc9f1cd3e88807d192n,
  b: 0x9f7n,
  r: -0x1n
}, {
  a: 0x16bd05n,
  b: 0x3n,
  r: 0x2d7a0n
}, {
  a: 0x5cd3109f381f59b58ea67e3647ca5485n,
  b: 0xc3n,
  r: 0n
}, {
  a: -0xc927c80cde0113n,
  b: 0x9n,
  r: -0x6493e4066f01n
}, {
  a: -0x2bbc2f2b0f74b62a9f56c9f1d4858dd7c5c40cfabn,
  b: -0xd3n,
  r: -0x15de179587ba5b154fab64f8ea42c6ebe2e2067d580000000000000000000000000000000000000000000000000000n
}, {
  a: -0xb21a16a5cb2f9f9dc20e75d04175cb4b3feacece5ab1647a8f1e63a0f816eeff2cn,
  b: -0xfn,
  r: -0x590d0b52e597cfcee1073ae820bae5a59ff567672d58b23d478f31d07c0b777f960000n
}, {
  a: -0x9c1c3ac699c919c2ec660fdea37a08fd78574e6ec3a7eada9aen,
  b: 0x5n,
  r: -0x4e0e1d634ce48ce1763307ef51bd047ebc2ba73761d3f56d4en
}, {
  a: -0xbc8ea2288f340dc1732733e90371665a3n,
  b: -0xf0n,
  r: -0xbc8ea2288f340dc1732733e90371665a3000000000000000000000000000000000000000000000000000000000000n
}, {
  a: -0x7a0b7a64ace4316c27179d241cc055n,
  b: 0x671n,
  r: -0x1n
}, {
  a: 0x379b744aa0deb7b4082ecaa6df1752f8c0a766f4e90f5n,
  b: -0xebn,
  r: 0x1bcdba25506f5bda041765536f8ba97c6053b37a7487a80000000000000000000000000000000000000000000000000000000000n
}, {
  a: 0xfc9e4ce8bf8f7c7837b0ab3f375792df5a61e061ced6dbe076dn,
  b: 0x6abn,
  r: 0n
}, {
  a: 0x3b4a1044e31bf9db80e7f6da6375ee110bcc5db03e2b7fda6d386n,
  b: 0x71bn,
  r: 0n
}, {
  a: 0x32b0851e7abe0d8b0c6c66ddd13b11f8b1302b9380a920e4b9c9941aaae578c64b5dfn,
  b: 0n,
  r: 0x32b0851e7abe0d8b0c6c66ddd13b11f8b1302b9380a920e4b9c9941aaae578c64b5dfn
}, {
  a: 0xa9066b4d5510a6f1b190e222bc8n,
  b: 0xf80n,
  r: 0n
}, {
  a: 0xbf8ceca92e8e5ea4887c9444b0e216bcba117b87c93806f4db9c172ee1450n,
  b: -0x9n,
  r: 0x17f19d9525d1cbd4910f9288961c42d797422f70f92700de9b7382e5dc28a000n
}, {
  a: -0x4910d4ee2a614e1c4376dfan,
  b: -0x33n,
  r: -0x24886a771530a70e21bb6fd0000000000000n
}, {
  a: 0xb4b83153e83111n,
  b: 0xdn,
  r: 0x5a5c18a9f41n
}, {
  a: 0x9358d452e917eae602n,
  b: 0x5n,
  r: 0x49ac6a29748bf5730n
}, {
  a: -0x59b1521c68e42c52152aa5a802d497a500e48044b3b3ef470995d1fa123866b5en,
  b: 0n,
  r: -0x59b1521c68e42c52152aa5a802d497a500e48044b3b3ef470995d1fa123866b5en
}, {
  a: 0xadce38bf4c1f47498c47dc1b2cccb3057a87a0418d0bd1c4a83e2310c7eb5428fen,
  b: 0x81n,
  r: 0x56e71c5fa60fa3a4c623ee0d96665982bdn
}, {
  a: -0x6955deca6608416513d59b268d2df1b0c74b7fccedc0abdbc567e28n,
  b: 0x5en,
  r: -0x1a5577b29982105944f566c9a34b7c6dn
}, {
  a: -0xf16f41b46f4fc6f8254d9414f25d6bb19d11d3b0f6a7c400322fc36bd69c7n,
  b: 0xen,
  r: -0x3c5bd06d1bd3f1be095365053c975aec674474ec3da9f1000c8bf0daf6n
}, {
  a: 0x679192f2db84f4f8bn,
  b: -0x74n,
  r: 0x679192f2db84f4f8b00000000000000000000000000000n
}, {
  a: 0xad06b3db460865c697fedf608f7d10e98fcn,
  b: -0x8en,
  r: 0x2b41acf6d1821971a5ffb7d823df443a63f000000000000000000000000000000000000n
}, {
  a: 0x6551d5c020a87eb516af4n,
  b: 0x4n,
  r: 0x6551d5c020a87eb516afn
}, {
  a: -0x851430a5f635f864e3a20n,
  b: -0x14n,
  r: -0x851430a5f635f864e3a2000000n
}, {
  a: -0x6592736c94a7fec4c9ff60e674761e42c6b5n,
  b: -0xc1n,
  r: -0xcb24e6d9294ffd8993fec1cce8ec3c858d6a000000000000000000000000000000000000000000000000n
}, {
  a: 0x60c2bec3e2c136c61915ba27a1e2d837ed4f3dc774b46217064cb1c5c871426fn,
  b: -0x8n,
  r: 0x60c2bec3e2c136c61915ba27a1e2d837ed4f3dc774b46217064cb1c5c871426f00n
}, {
  a: 0xffba913128ca2c718a534c86da9bfc41961f7cc0b10dfe02238fea60868fn,
  b: -0x2n,
  r: 0x3feea44c4a328b1c6294d321b6a6ff106587df302c437f8088e3fa9821a3cn
}, {
  a: -0xf4fb1d6e9n,
  b: 0xd4n,
  r: -0x1n
}, {
  a: -0x3bc3e1a3d2n,
  b: -0x3an,
  r: -0xef0f868f4800000000000000n
}, {
  a: 0xd0dffad8a3b18fdeeae0e6e7e2a90744d9n,
  b: -0x4fn,
  r: 0x686ffd6c51d8c7ef75707373f15483a26c80000000000000000000n
}, {
  a: 0x8ce9b5f7f17321053391fd2n,
  b: 0n,
  r: 0x8ce9b5f7f17321053391fd2n
}, {
  a: 0xf2142c111ean,
  b: -0x1an,
  r: 0x3c850b0447a8000000n
}, {
  a: -0xbfd921224c5a6df31c94e84a2945n,
  b: 0xd8n,
  r: -0x1n
}, {
  a: 0x2736e24d20a6b98e3457fc68a97db4n,
  b: -0x12n,
  r: 0x9cdb8934829ae638d15ff1a2a5f6d00000n
}, {
  a: 0xf1f6e9375f27c35430n,
  b: 0xcn,
  r: 0xf1f6e9375f27c35n
}, {
  a: -0x1363a1cb7bce8efc5n,
  b: 0xa0n,
  r: -0x1n
}, {
  a: -0x76b9c64113c92b3869c0a4723a2b8bfb073a0eb44n,
  b: 0xb2en,
  r: -0x1n
}, {
  a: -0x8997c36b12f3703503b4bc2d6c735b73f786b9ec1524d1f87ddc125c6n,
  b: 0x4c9n,
  r: -0x1n
}, {
  a: 0x69d5cba295fa025418919e692c81e9006934e9550bae84e6ea83305f4478bn,
  b: 0x77n,
  r: 0xd3ab97452bf404a831233cd25903d20n
}, {
  a: -0x343c2319a03b4deb77fb686f7717110a4585bed2b77c5214bn,
  b: -0xe1n,
  r: -0x6878463340769bd6eff6d0deee2e22148b0b7da56ef8a429600000000000000000000000000000000000000000000000000000000n
}, {
  a: -0xd217993d5170f3ea3cb6193f0b1294ac343c57cdc7cfb8b31bb28b3n,
  b: 0xfn,
  r: -0x1a42f327aa2e1e7d4796c327e162529586878af9b8f9f7166377n
}, {
  a: -0x5497ae7b1be5941748a7e8a76a08dfec8a4d2b4af2f2n,
  b: 0xean,
  r: -0x1n
}, {
  a: 0x9512b9b04a2312bef987c203d23c9c6fb26280ca8bc4cee9dc65e105f1bn,
  b: 0n,
  r: 0x9512b9b04a2312bef987c203d23c9c6fb26280ca8bc4cee9dc65e105f1bn
}, {
  a: 0x7aen,
  b: 0x3f2n,
  r: 0n
}, {
  a: 0x84eaf9628a77cac766a4581ad1bfcd626dc27n,
  b: 0x88n,
  r: 0x84en
}, {
  a: -0xebf17b3a8a173465dc38eee2973aed9170aac1567fn,
  b: 0xfd9n,
  r: -0x1n
}, {
  a: 0x96c9eabca4c1bf772f744cf0466n,
  b: 0x3e9n,
  r: 0n
}, {
  a: 0xb569n,
  b: -0x16n,
  r: 0x2d5a400000n
}, {
  a: 0xf8c4n,
  b: 0x43an,
  r: 0n
}, {
  a: 0xe63e58e576da30943563d7e8bc39e9e7fa364bfe2f03e4f38f6ebd167031c0142n,
  b: 0x6cen,
  r: 0n
}, {
  a: 0xdd59c32108d821cd520dc366en,
  b: -0xd3n,
  r: 0x6eace190846c10e6a906e1b3700000000000000000000000000000000000000000000000000000n
}, {
  a: 0xee63en,
  b: 0xbn,
  r: 0x1dcn
}, {
  a: -0x184408e148293992a34ae64a7d3735eece74f292e32a3a6aced004d8n,
  b: 0x4n,
  r: -0x184408e148293992a34ae64a7d3735eece74f292e32a3a6aced004en
}, {
  a: 0x3fd189e6ffadfcf2c426b965cn,
  b: -0xc2n,
  r: 0xff46279bfeb7f3cb109ae5970000000000000000000000000000000000000000000000000n
}, {
  a: 0x85b028e796a6cen,
  b: 0x6cn,
  r: 0n
}, {
  a: -0x84a785d36930d5755d691eea9bc8c2ba301da566c891278a256d5c8n,
  b: -0x7n,
  r: -0x4253c2e9b4986abaaeb48f754de4615d180ed2b3644893c512b6ae400n
}, {
  a: -0x2e2ebaba7n,
  b: -0x63n,
  r: -0x17175d5d38000000000000000000000000n
}, {
  a: -0xe4e0a17c8601e48775cfd7n,
  b: -0xa5n,
  r: -0x1c9c142f90c03c90eeb9fae00000000000000000000000000000000000000000n
}, {
  a: 0x33fae507d2a066e5593abc697e3952f63c49c1baf6435fn,
  b: 0x27n,
  r: 0x67f5ca0fa540cdcab27578d2fc72a5ec7893n
}, {
  a: -0x30f1540b28fe7eed267bn,
  b: -0x34n,
  r: -0x30f1540b28fe7eed267b0000000000000n
}, {
  a: 0xe6234c9e0b94839635425848f164n,
  b: 0n,
  r: 0xe6234c9e0b94839635425848f164n
}, {
  a: 0x7ee8602b868b5ae701n,
  b: 0xa9n,
  r: 0n
}, {
  a: 0x3147397e2n,
  b: 0x7n,
  r: 0x628e72fn
}, {
  a: 0x8c7b413e5423d83a98c2672426470ea61b46c38a801a96499f6fn,
  b: 0n,
  r: 0x8c7b413e5423d83a98c2672426470ea61b46c38a801a96499f6fn
}, {
  a: 0x4277a682f72a2b621b3e823c9722666ba64981f0a1b8n,
  b: 0xc60n,
  r: 0n
}, {
  a: -0x638b3d506d6f1279799c6e0f7f667994c15384f4d6f9c8n,
  b: 0xecfn,
  r: -0x1n
}, {
  a: 0x2781f08fa4e15aa170710b9de3eee529eaee51b7867323fe67cc93ee08ddn,
  b: -0x2n,
  r: 0x9e07c23e93856a85c1c42e778fbb94a7abb946de19cc8ff99f324fb82374n
}, {
  a: 0x67d8ee0f0e5ff0bd0bf981430be3881f8111da10fd65eb56n,
  b: -0xb6n,
  r: 0x19f63b83c397fc2f42fe6050c2f8e207e04476843f597ad58000000000000000000000000000000000000000000000n
}, {
  a: 0xa7be7f257e6702747a086fd74d815d7bdfdb1ab472671430952d672864ba22an,
  b: 0x2n,
  r: 0x29ef9fc95f99c09d1e821bf5d360575ef7f6c6ad1c99c50c254b59ca192e88an
}, {
  a: 0x18e88ed43c4d8ea3667a75f443b21bcb17fbcb53ba862bacebba46c319cn,
  b: 0x7n,
  r: 0x31d11da8789b1d46ccf4ebe8876437962ff796a7750c5759d7748d863n
}, {
  a: -0xb143268417d9a9f783a2b4255c0e3ab02a568909072086n,
  b: 0xf3n,
  r: -0x1n
}, {
  a: 0x14dd44b5n,
  b: -0x9en,
  r: 0x537512d4000000000000000000000000000000000000000n
}, {
  a: 0x404dea224d894c3d2e043n,
  b: 0n,
  r: 0x404dea224d894c3d2e043n
}, {
  a: 0x53976f0a5e8453bfc9b0652855c200ac29e8b85186b0439800a7bn,
  b: 0x32n,
  r: 0x14e5dbc297a114eff26c194a1570802b0a7a2e146n
}, {
  a: -0xbb3b38d09a6133eee4b37ba5191d165afbb929741ca17bf6n,
  b: 0x4n,
  r: -0xbb3b38d09a6133eee4b37ba5191d165afbb929741ca17c0n
}, {
  a: 0x67d39c171563n,
  b: 0n,
  r: 0x67d39c171563n
}, {
  a: 0x5d91c4318a92db01e964ae852505066b5a736816bf146b6d515n,
  b: 0x9n,
  r: 0x2ec8e218c5496d80f4b2574292828335ad39b40b5f8a35b6an
}, {
  a: -0x3c35a048ebb6d558855f0cb1c1969fae956133cd44b2df0f85e4e6n,
  b: -0x3an,
  r: -0xf0d68123aedb5562157c32c7065a7eba5584cf3512cb7c3e17939800000000000000n
}, {
  a: 0n,
  b: -0x31n,
  r: 0n
}, {
  a: 0xbdn,
  b: 0x4n,
  r: 0xbn
}, {
  a: 0xbf3031762331f5f2b3074ef67588fba462f51ffeffcc41758519dccd263744195n,
  b: 0x1n,
  r: 0x5f9818bb1198faf95983a77b3ac47dd2317a8fff7fe620bac28cee66931ba20can
}, {
  a: 0xf5ec98a2e19c62a500adab2n,
  b: 0n,
  r: 0xf5ec98a2e19c62a500adab2n
}, {
  a: -0xe824ce7d4cc4a5753917ed2f8ac9d6998n,
  b: -0xb5n,
  r: -0x1d0499cfa99894aea722fda5f1593ad330000000000000000000000000000000000000000000000n
}, {
  a: 0x3e9df1f87a5ec59fdca852ca03fe78b566f2b7d96d7d1d335170n,
  b: 0x3d4n,
  r: 0n
}, {
  a: -0x22c10bn,
  b: 0xc7n,
  r: -0x1n
}, {
  a: -0xd7960465d2abda4n,
  b: -0xabn,
  r: -0x6bcb0232e955ed20000000000000000000000000000000000000000000n
}, {
  a: 0xa2c44ec44bf62e8efab6fb74311572588d9n,
  b: 0xda6n,
  r: 0n
}, {
  a: -0xe575a2a271a3b7b472b4b97281cen,
  b: -0x11n,
  r: -0x1caeb4544e3476f68e56972e5039c0000n
}, {
  a: -0xac63801dac2n,
  b: 0x5n,
  r: -0x5631c00ed7n
}, {
  a: -0x40dc13827dd9920377ac13e935446dbc55bf7a40917f2812e80n,
  b: 0x9dn,
  r: -0x206e09c13eedn
}, {
  a: -0xd58ac8ecdc41cece4a873c01n,
  b: -0x4cn,
  r: -0xd58ac8ecdc41cece4a873c010000000000000000000n
}, {
  a: -0xe45f070a850aca167b98d17f6fab662cdf2c90151988dd70e64055n,
  b: 0x40n,
  r: -0xe45f070a850aca167b98d17f6fab662cdf2c91n
}, {
  a: 0x7e1e07acc62c609877a119ef6417e33fcfc39022f44c1498abb0ad65f4689n,
  b: 0xc21n,
  r: 0n
}, {
  a: 0xa61f33e9d4b1055f7c142f9647576c8201a3n,
  b: -0x13n,
  r: 0x530f99f4ea5882afbe0a17cb23abb64100d180000n
}, {
  a: 0xabn,
  b: 0x992n,
  r: 0n
}, {
  a: 0xebcn,
  b: 0n,
  r: 0xebcn
}];

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