// 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: -0x951f036a0585ce226b1032a1a8903a139d557141d6fc8e0b48099850995c2bd0n,
  b: -0x19eefc9749873ac8f4c3027b45ae5349dccc8c059e77n,
  r: -0xf436e0dcae1cf8dd5cecde63631aed1bbfb868e9c74n
}, {
  a: -0x1bb3c6b896227443565751db62b25d2c0143bd99a496dn,
  b: 0xbaeed6dabfea126e80ee4529b89a6f96aee05c42782a968n,
  r: -0x1bb3c6b896227443565751db62b25d2c0143bd99a496dn
}, {
  a: -0xe88da77109626a998d08984723de0de5ed28f250cd4875b82ebf90b52n,
  b: -0xf9baf60d7963222ea398a7ba85275035461107610fef4n,
  r: -0x232bc2a771aef9835cda66bb47825a1e9068646fda53an
}, {
  a: 0xf2c1c1af1d0a8724efa0ec6724cac05dec520d026d3983ddcben,
  b: 0xa74a77f301e28fc0fad3bce02357bn,
  r: 0x49e45dd14a07ceef9a329ace5a475n
}, {
  a: 0x30a39f2c021119656d925f66f89d567a3b9d819f38827463dfn,
  b: -0x3740c570d2bdae3d9974fa9e033136ae9b7321d52a35dn,
  r: 0x34184b85250c92175c712a652531aab51d0414b2f88d8n
}, {
  a: 0x46c7953102f90eedec58709dda806aae50b6107eb7f86ccb3fb1551e6n,
  b: 0x1635f3e81f3779bbb6354fcc925e0e0e9bn,
  r: 0xeba706ed897457a8978b7d0b189ea7836n
}, {
  a: 0x1c3d8f274bf067a5da99d562977334a5e275d897b1b79000d03c669ac75ac2n,
  b: -0xc22d1692448238511e2ac3d6f02a9a40fn,
  r: 0x34c498cf45b3dfb41e8527f31ab3495ebn
}, {
  a: -0x9b70db099ecbe01f49e392c4b676501be842ee83dcn,
  b: -0x99f957ad86be658cf17an,
  r: -0x404afd26c49957d4a56en
}, {
  a: -0xa0395c5cff2940bfca2478476ba8edbd1aba7a5608cf14eb0a38n,
  b: 0xa265675f16db988d1dd0bd15c1an,
  r: -0xbd82617dccc644c76d105a1afcn
}, {
  a: 0x3c09fadbe29d984362cf91a79bdaa095e7696c4d131e02aae9d1d54f4ffe71b4cb74n,
  b: 0x7a00b2906n,
  r: 0x50d80d81cn
}, {
  a: 0x2e96cad98359fbaace3a7c7a233ae26c6f2c27af17bc141can,
  b: 0xa840e6b938cb53a68057d3e4e7n,
  r: 0x52a778eacb7cdaf4b7c4a86e02n
}, {
  a: -0x6abf5980b273f57dba535ed44983f373cc890b64d9c827c7a3n,
  b: -0x7015caa501530ade5b4b63fbc69d30111a92e222a536d2c7cn,
  r: -0x1aaeb8601361b4d44bcb1183f509663c39f57645ee4c22c5fn
}, {
  a: 0xa2793277fefae76acb0225773e574371f9eb178fe4e17n,
  b: -0x6fe3c0617b7f27f8a8becb7cd01fccbed1f620401n,
  r: 0x674d31cc6a9b3bd26132b88d267ee04008097ee5cn
}, {
  a: 0xf5448e2c3003a151814515652f8a618254d2972ffdacaa237n,
  b: -0xa91fde2b1542ba800f8fc66ffd5cfn,
  r: 0xd5362604b8557bd5321a1e7f4024n
}, {
  a: 0xadee120f90b6847e783d50df9b755939488aa426f0bb9a420cn,
  b: -0x5036ab82e0bce890355131201e8a259n,
  r: 0x2220b4d7606ba9e77240e0f2df7b762n
}, {
  a: -0x9b79b302aca34eba9cf5d9ddd9f230503f86834999013044f66d954b43bd3577553e3n,
  b: -0x8n,
  r: -0x3n
}, {
  a: 0xe6816208e98737ea067afa3bc504f6426cfd3bc86c159da299ee61567n,
  b: -0xeeec38f2373d9c9d99949befb31n,
  r: 0xe5e7bd0201f5ed8da0cc0580971n
}, {
  a: -0x331e4593264cfec8373d9a276d4d80dcdb3015d3cacab7f8b4cc974f0652bdn,
  b: -0x977n,
  r: -0x449n
}, {
  a: -0x2130a321b0f7f5c291cfa11105842180b160f86f9e1d6n,
  b: -0x5n,
  r: -0x2n
}, {
  a: 0x4890d263eca0daf0740ced5b753ff3a29adcdc6fbdd55c09e7d703f2ce89b7881fn,
  b: 0xdd9a643d4f5f9f4ffe43f7f7n,
  r: 0xaf6a7c3e73399709e7bfb80dn
}, {
  a: -0x713ae688d388b63fb3edf395396ff22a880204f294f56481ac4e77717can,
  b: 0x6e00d1c27b574b6n,
  r: -0x258458deab9bf5cn
}, {
  a: 0xc7d75cf1c54634371dfe47873b40edb0d5e5464693696a4c47n,
  b: 0x7abec69c7ba99129630c842fec1f06f351db0822c0668n,
  r: 0x4ebfe3c98ddc13865cc898e45caedef705ea7344904c7n
}, {
  a: 0x33207a21cb185534ca737cbb5b3a5a423b61612af0bda82n,
  b: 0xd7n,
  r: 0xc2n
}, {
  a: -0xb39ab0e0778c5bd2ac806aac09e007bd06c9b7e483c41508c8dfb72dfd25cd4c62n,
  b: -0xd43a3n,
  r: -0x1f432n
}, {
  a: -0xc6217964c7d75d70095299912cf646af16d1da1b2b4cd4903n,
  b: 0xf871220b251b57332a904d5db7b8448dc99c9c34669en,
  r: -0x45e0382351ff7cf6016413bdf6741baa85ab33cb0913n
}, {
  a: -0xaca0d153c8db2e0855d28013d10e2f33218ed7333b775a9b48c5998e80eaddafddfn,
  b: -0x747e2b213161n,
  r: -0x5c233ebe17c9n
}, {
  a: -0x549e3edef686a14043c731b11acd868aec18e48783314f8a7cd1e399e47ae0n,
  b: 0x1df0c05934642017162ff72a201c7n,
  r: -0x62d00e49e1e888519bca4b5fe3fen
}, {
  a: 0xffdc8109e422c0acca83168c283b4c5a95386b58236ca326889n,
  b: -0x907f0092ba136aa7e97e4054n,
  r: 0xa54563f2a78b60e12f0201n
}, {
  a: 0x2008d4a606c74dc5acc1414c1244a5a3972a93f40aaa7d41a76abc2n,
  b: 0x85399c37557ca879a1243a55e4d3f7825n,
  r: 0x8b8dcf6e2999102e23725e26b8e794a7n
}, {
  a: -0x7061bb8e29f11358a785b3de2a2c8e2924682ba3c4fdedfb489b4914c71en,
  b: -0x629f2deaa3c2b1ce0cb9df8d3c66344398n,
  r: -0x4b1d9ab2a2e962be4cfb94045d03c4ada6n
}, {
  a: 0xd81352d78c71fd230047062fbcc3e3b4c9ff29ebaen,
  b: 0x61dcc105191973n,
  r: 0xd948f60e1ddb1n
}, {
  a: 0xcb3bbcdab2296ceedbe63c5c7dc7cbfd384e7deca306b9f0eacbn,
  b: 0xdeafc4b60126068a9f1f5faf426bcfbean,
  r: 0x87bf9dd12f7088b421538af640ab80547n
}, {
  a: -0xfb3cb69db7d9e93ae1a79c478d8dc6443b8de3522701d69ceeb92dfd9fn,
  b: 0x88da0e1856883efa55c17263ba163e6be736353cbd404n,
  r: -0x338c0d1a4ad35acdcf661ca322a97de1d77dd22925483n
}, {
  a: -0x4969456ae8fde412e37e1174bc3e658a1fedaf9f601940e7f8976adaa8c173573n,
  b: -0xa880625304bc13n,
  r: -0x385504c4d2ad48n
}, {
  a: -0xd86a573ca541c679e0b5ff096e8e397166bc2f74e29ceb35aaad186fdf2fbffc6253n,
  b: -0x9af5dfc73e3a997b0dac19c754bc2n,
  r: -0x848b7753626bdbb97ffefd3331aa3n
}, {
  a: 0x842e4734b697bd535d014f46e1a5049f58a48be90de087e30dccd4c0fa05c056005n,
  b: -0xad0e4d20371431cbd16f9b163ac52d21b4f7450cdae60cf95n,
  r: 0x3f338f0966b7ca43b9bfee0e2869da08c382709fc3bb8d501n
}, {
  a: 0x2491509de62e7b5c8035b85a987d1098be80207319fc624287n,
  b: 0x60e0bn,
  r: 0x38e22n
}, {
  a: -0xcd72951639f09e740303945515adf0db6309684de3b1dde30f359447ed4c8d59c211n,
  b: 0x19649db8f6d84n,
  r: -0xbeaef3f5399n
}, {
  a: -0xbf57e9586b49fb8d77279c053bdb40623335103f85d9a4n,
  b: 0x3f580fc32d7719ff9952780f4468de3n,
  r: -0x46a5ae1d68e4fea5512f08e729c517n
}, {
  a: -0x72b209bfab172e5c70c822ff21f4845c9de0d82b1e23d46en,
  b: -0x7de181ceaac5957a05dc0329e5271edean,
  r: -0x3a40f533bb2c39218083df8d00d64588an
}, {
  a: -0x33d6920507079c2234334699bca48e2ff5a4cbb6226f26cbf9df77e16ebb651eb5n,
  b: -0x3c60af5724ed5cc0f196fa36da6ad8n,
  r: -0x28df68365e6176a0db857ae0c1ef75n
}, {
  a: 0x1ca05c07f0961d32516c643a6b98b927ed379bb4300e670n,
  b: 0x3e9an,
  r: 0x300en
}, {
  a: 0xce163b5f10e16ea31fecb85e4e3520a24e8f64f53bfe2a5an,
  b: 0x4221163a81c9497ea223d243ddn,
  r: 0x11079ba8bddc0d5d4e9c70e518n
}, {
  a: 0x6728b05f1dc9de7db5019123f4a6d1448c23f0459a9562e2b26de96n,
  b: -0xa6a1438e7531d7dafcf3850dn,
  r: 0x56421d91bf2d40d66beb1d9cn
}, {
  a: 0x3e42a1f66825e734622a625a7e5c14fa7e75a492620821n,
  b: -0x3ebbdaced2cf0f588d5887b30n,
  r: 0x1dfbe03dfa6e962b3a6d8b791n
}, {
  a: 0x53cb8a9ab1ec254279c5a5cce6c6eb873388f6b5b20cd1746e07c8144e1n,
  b: -0xb3f76160c499ee96ac09de53d782n,
  r: 0xb733c5b18c4b7a28be10d12cd1bn
}, {
  a: -0x5624ab3d9fe58e365ed2353aae94e7c6eb6c92f6dc42c217f655a372e3f1f1da23f034n,
  b: 0x6f30n,
  r: -0x2b04n
}, {
  a: 0x6a0103e97260c8f6c77873b6c608c28bc34777b8bbn,
  b: 0xd5144b70b932cb8cedc6492n,
  r: 0x83f39e8f804b12899ef8d9bn
}, {
  a: 0x9d86b62aaaef1f5513f20fa82dcf4db3e427186ec1ad25a857fd7n,
  b: -0x98f2n,
  r: 0x5bf1n
}, {
  a: -0x7b0b53a78cde5474c133f62630a85d7003d80b9bfdn,
  b: 0x94b6db8bef9f2d78d95a095362n,
  r: -0x25494c961f4ad25d733e430afn
}, {
  a: 0x8f439d010fc3680c793f89ef109273793cecbab96befb855d0eaa81f648n,
  b: -0x49138f8b6f73386b028b852940f681e2e74b9n,
  r: 0x471d10dc944c80816644f5d4730aba99b198fn
}, {
  a: 0x5f570a5adf864a03a775cba2603c996b901a5bd9182569cc8fe16n,
  b: 0xc368c6aeebcf65a2d8035146434d21f4fa743dd46201n,
  r: 0xbb2296e4bebf97a80b48283039617c620eacd60991adn
}, {
  a: 0xe5d9e94ccc963989450f9432b3d9aec6005fd74058af9f450400a162dcc20a2f1e8a0fn,
  b: 0xa8bfd2c1d9f49168a1a051dba4f7c6db84ef21106e6n,
  r: 0x580e034926cb426e901f8116a50cbea71958d9a80c3n
}, {
  a: -0xda3c6ba9fcd4325847b838b763593b0c965f3fd3adb4102ebf83fe1642facn,
  b: -0x506253d7c605be119a39ca9d1b3067n,
  r: -0x4b6d63f918418c718a0949431adfd7n
}, {
  a: 0xc57c7207b79704c143574f80a2b8672726ac3144176a31c225fc7ed739d9dfd1c71n,
  b: -0xea80635c42a608n,
  r: 0x719c6e9f4e569n
}, {
  a: -0xd7d95a3a8ba0a50f459cc92c95044700be4337e89e0da3abc7872a467b117f3d4n,
  b: 0xa12906522d2105ff0b325be0fb3ed796d37ef6f1an,
  r: -0x2f7fa7a112195913fd2ee42c3c13ee83753dab482n
}, {
  a: -0x8e6a956e478ffaa8e6fcf98bab7944f04340ed769dd1abea79f4f3d9n,
  b: 0x163ff2ed6fn,
  r: -0xe0b6c490n
}, {
  a: -0x9a8eaf2078e119b736e1559a73333698051e8f16816867c2bac8d56acn,
  b: 0x4e668aad757fe2881e4a990634d253fb486160b4e73n,
  r: -0x487dc6118798e646c56a1112dd4102ac959bd4ca7e7n
}, {
  a: -0x3640c3401b5eeb6c19cf1d4966b559cb54fc54315ad7146ee00f292ac06302fn,
  b: -0x1b8561e4787adn,
  r: -0xf9a8340cf157n
}, {
  a: 0x4bb2ea1276ef8ae0f190c73f4041aa844a173b2a830ffe74931bdacbe0697941n,
  b: -0xc6e2b6078a2266ad2de7be069c266ac64f7n,
  r: 0x9dc03b3627453b8b8732c3f1342cfbd0e6en
}, {
  a: 0xe4fa1218d10c4e3beca9712ba45f2705adf07d8401d7ce7f3n,
  b: -0x1d5bc49ac75c6eb6e2095edf503c5c316eac1bn,
  r: 0x8a31a6135893bb876e3a8061590a3e9f29722n
}, {
  a: 0xa2eff2190070af3225235191a9d22d0ecec6e57d37fe060eb0a718en,
  b: 0xeb2a99fa41142141f4n,
  r: 0xcfb57aa35f94c3bb5an
}, {
  a: 0xba40021ad045fee1f6875460aa153aafb1f1116fb0ef0720b10208a5bad3d68n,
  b: -0x814f6a2bfec46ee4eb4c1c9cedd5c1fn,
  r: 0x7a579916a657a9d5533a569d27a9bafn
}, {
  a: -0x15b6cda989b600693271d918c8384820681d71c61e1cd06690bd602a161bdn,
  b: -0x236733da9f2n,
  r: -0x458eb1cb69n
}, {
  a: 0x664ecb86c80ab25d857efa8d6f9817789e44aa96305788c42ab3ecn,
  b: -0xbcedb0ca290956c09f15bd584a5dc42fcae61c95aab9n,
  r: 0x2d839f4e7376390fd704e8d412a8d6598c807dc485dan
}, {
  a: -0x55952f2cd58a088e6f541966fa631fee2746807a6c5632c015c1766537d2cn,
  b: -0x3ababd1490586935ed80aa88dd10bn,
  r: -0x1dcbab71b86f22eb5bb99e0da50e6n
}, {
  a: -0x946199599f13d21c0c2dc041c611e12cbc701ed47725n,
  b: 0xa233f8d80f601n,
  r: -0x3644b3cefe8c4n
}, {
  a: -0xc71dfe31148d62cd15c9fb392b55498a0c3428ec7d6c5163c8d5n,
  b: 0x67ae3820821n,
  r: -0x259a1fd438an
}, {
  a: -0xd1b785a12cbb96cada77b879f62dcf053ade35a2a519fbc8a3c9c0n,
  b: -0xcfdb251e1a5309cddcd53n,
  r: -0x30ad28619af790fe549ecn
}, {
  a: 0xb9dc4847e3f1aa245e65b5dd058d332761e93cebbc4cc9999ed5ca3fb8fec66n,
  b: -0x8c9ef8e8b819041147f9d824297416fb7n,
  r: 0x62adaed65f3de831e1e0fb430d61e734bn
}, {
  a: -0x5ca19a273c4d15b6f81acf163757b62b1cf6625df0b8a7664007n,
  b: -0x9dba43bef78171cb5161f401f27369b1dn,
  r: -0x1f8f74a4845e06b9ff449bf944fb2419dn
}, {
  a: 0xc44ba3429456510cd9c65cbc4403dc77a0c8cb57a4n,
  b: 0xa46c6df8n,
  r: 0x356cf40cn
}, {
  a: -0xd48b256bc4eb66f8573724647de40381270ab0226ebd9749fc503d01a864e5n,
  b: 0xe33f7f99f1a14a25n,
  r: -0xc23e200125da82d4n
}, {
  a: 0x268d53949f6f0f7d1d69bdf6852b8f6beabb03aafb88e97n,
  b: 0x1d412e15244dn,
  r: 0x837cd27db31n
}, {
  a: 0x633e4971875f6358a43f9ea037ec48d3bc41d3a39913f52ff80dea9e9d6209n,
  b: 0x967302d764bdb16435fa5ba9ead580b9n,
  r: 0x598bb6f255ab22aefc2599d2065febe7n
}, {
  a: 0xb847380dc827e9906b3eebf61986b8cc1a398f35ef41c696n,
  b: -0x71385756673b5e37c9cafn,
  r: 0x1259a96d11440b69c924dn
}, {
  a: 0x419ce9473a83ff097e3f481b41a2cd345d409476e47734010d7c0b0a7n,
  b: 0xb70cfff4n,
  r: 0x122813b3n
}, {
  a: -0x213230962f15c606b697756a1b96f7438466b06155bf4d92a0n,
  b: -0x16ec288133527489e31n,
  r: -0x7e2cd3e715f099b3a6n
}, {
  a: 0xd977b9d576981a65189bbb123e82cfebf9e2808a711880181c02ae49346e344a4n,
  b: 0xd080b4b7n,
  r: 0xb13b3395n
}, {
  a: 0x4fa920949748bf6add88a57a0dab67fe1f8389ad8393e7cc589727b3f69f590dd8n,
  b: 0x3e9c1c82502affcce1f54a893142n,
  r: 0x155b5615d2a4594619bb2e9f2772n
}, {
  a: -0x5afcfae75362af0d0725ceb8246caed82d4cdebd9e0edd8ecba45ac0bfdn,
  b: 0xf794ae34f511ee5d8fec081n,
  r: -0x791e56a41c572cb6da33b1n
}, {
  a: -0x4e1a38bd2c61eb5eadc4e40349054763dfb3a9f62400ecbfn,
  b: -0xd45844f444n,
  r: -0xb900b8279fn
}, {
  a: 0xc643587072a02cebf4b206c414154eb6f275f68a09766n,
  b: -0x93312f0f1d49ac27bb40cf7cad247n,
  r: 0x3d7874e3bb204c968898202fc017an
}, {
  a: -0x88953e3159a8122fe11761f5686680c377e179e34289fe0ff25cn,
  b: -0xe3861c848816fc72e44b53dc1e22bb17462dc5772292c9n,
  r: -0x329410aabdfe570052ef30d62d1a0cf79f735139c611fcn
}, {
  a: -0xbeeee9babd534c0951f35a3fe48eb1d93a3f75ad35025c2n,
  b: -0xfc3f0961n,
  r: -0x701afcd3n
}, {
  a: 0x7b061392ddb20011a54e0db9a937a891346119aa4cad46890a02933fc2n,
  b: -0xae2c2c9018a2e57f870041262f3be166c11n,
  r: 0x12ebf215a96dd30439adc0c9613b649d4f7n
}, {
  a: -0x9d3329563fd1a90cfd75ec1dd5862e58c97b55511380693816189a696cee9n,
  b: 0x82c843026373c660b1ceeebd58496c18502n,
  r: -0xa094f91c6ebbfd5f75cebe0d5e83a6b05fn
}, {
  a: -0x6e931f68bf30238eb13a9abcdc593aa27db56e34f22de79c4c4c7dn,
  b: -0x16da17401975fbb651a7769f031f7dd50f3d43411d703670n,
  r: -0xf45b900a14a77eeb87dfbd5a437f5c9d433e38ac44d204dn
}, {
  a: 0x226afbe5469d481c47d2f62a1a9b5a1c77ea9a23ddf5d034f4e448aa6bd2857f81989en,
  b: -0xd1c54n,
  r: 0xc8d32n
}, {
  a: -0xc1d1f360d70ed60b0d41fc42abf65f14814a34e988ec9d3b6bn,
  b: 0xc96n,
  r: -0x57n
}, {
  a: 0x18c2a6fe38f9b1726199dd62de643af7fa6897177e03296b389e823b5b0n,
  b: -0xe3b56d198f1f6af7a1dbf99367fdf74756n,
  r: 0x2cad3b5a95fb7dd76f9b24b17fe3db8454n
}, {
  a: 0x5603f357749f60df6c048ad0f98a16761f0f086c7fdf07n,
  b: -0x31abe3bb328cacf68a97bce8f382n,
  r: 0xba76294927d23c2891e3fade1ebn
}, {
  a: 0xd254d264457b09d0452bf131406b87f8a4e048b5e6n,
  b: -0x750n,
  r: 0x6e6n
}, {
  a: 0x52d4734e6ce53a46eeadae091a2bdd8bf3c3b25189d22fa6be8f4404870c7145fn,
  b: 0x7af86ffd84b3ef99an,
  r: 0x25c2b072af4d45b63n
}, {
  a: -0xbdf793985c3cf29a50c8addc74ddd5ad10c7dc31df16cd63ff275n,
  b: 0xa8ce11f49f48ab68d3aaba03c9b7c4bf603cdd144315345en,
  r: -0x12d3c5ad6dd6641df0c18d4a8524b2a49cdf55b30dffce31n
}, {
  a: 0x1ad808c4dce5a8cce5137582677a312b1009fe24ae706eebabe69dn,
  b: -0xa14930153de1684189cc09f37002f41b2n,
  r: 0x7a71327cd2c390413266aac0599058573n
}, {
  a: -0x458fa7561ae0f1a2640206ecc784a59b9c69c19feeb680e7a383b143ae217n,
  b: -0xbf9fa4d72n,
  r: -0xf107aae7n
}, {
  a: 0x700948272eab5bba096e2a89908f1916b887f947d364cc314d1cn,
  b: 0x870b8c38f05157753aac3865f1aa27159n,
  r: 0x3c60d0e0d430130d728c31871ff8e5288n
}, {
  a: -0xe079887097d28649b93e1bcc684ecbca8e09cdaf5c53n,
  b: 0xab369ca76n,
  r: -0x2c65f6833n
}, {
  a: -0x34ab581ed2a1d3521e652d45aac3ad2bafbcad9d7d66290a9a2e9372d2b80ebd98n,
  b: -0x702e7cb3d59e507c5b992429b1bbecn,
  r: -0x5da5fe399608aa08ca1f82baa2b7c4n
}, {
  a: 0x53298bfb2769d0c86c795faf3a4105a8885ae742c9bb5c3538b8c2517f95372992n,
  b: -0xf2cc8ab453a6ca69c06dn,
  r: 0xa857203580c7900e22f0n
}, {
  a: -0x8f677cc0b104fde526452fc0a12c5fdb0c88372a46d79997n,
  b: -0x963eca587ac57c6131972c2f0139n,
  r: -0x6a67175e7724483b436de9a9392cn
}, {
  a: -0x8512b290b2e8823e6ad8048a134008b0310a1263b737220a253dbd1n,
  b: -0x1ef34ffeec41e58d12n,
  r: -0x135051197f30079a97n
}, {
  a: 0xee3608264ef11984c499ee6a760553edf24e1eebf19943bf5866088e2n,
  b: 0x3bed077d6dd4850088bn,
  r: 0x28704b9a74afd541bbdn
}, {
  a: 0x79c899386e53215f738df5ae4a6f8e9425ab05e5bc4346a3c0bn,
  b: 0x3848n,
  r: 0x17dbn
}, {
  a: 0xa1e71f4a677738abb762bce17b245419a6300a4c160f00n,
  b: 0x5fbbbdn,
  r: 0x3ec5e7n
}, {
  a: 0x309e472d05c5cf06a1b7c6740c6fb37a66b8081e7524250a908n,
  b: -0x53a05b865n,
  r: 0x49b34c77fn
}, {
  a: -0xe233959e7cb3f9afc82d2007868ad8a6c1ce38f61db59362n,
  b: -0x486c72bf22af101683fe8acae84fn,
  r: -0x1e67e51f42bd46f63fe14fc39661n
}, {
  a: 0xa73c56c4b91fce8873c0f5261d4d772fb3cdcd932e722d36253e417f9f6c7d524an,
  b: 0xd8a27e3f869537dadca1bd71c84149c4n,
  r: 0x3224b60f30a7171b36a58c3f195ec4c6n
}, {
  a: -0xb91cc75fc7ad267038ff3de6120182d3be4f1b862bf10b076dcb07n,
  b: -0x5acb093f07n,
  r: -0x200388e0dfn
}, {
  a: -0x448849971ff4c9c176f130223039302aade3198f5cfff79n,
  b: -0xaf825eebd9eadc174307cd17aa5n,
  r: -0x622f1b4900e34ce41a8fb8c6fedn
}, {
  a: -0x1849471364a853d1cccbb9aba0a9e386adb3e76ffbad9304eed1cfn,
  b: 0x4d19d6676e5538b97af0a628bcn,
  r: -0x21bf1654ff2af38819ae8e28ffn
}, {
  a: -0x738ecfe2e7bf3a83d89f4cefd1a2168fcb26c78949c20169af619a58ea9aae8a6n,
  b: 0x109ff671a91109615ca20f543d0ca3en,
  r: -0x1922f00f5a6f8beabf10f084cdfacn
}, {
  a: -0x78d661c3525660d79e3c22423cd85dd95c1f013a182aa3abac1a452fc3c08eb675n,
  b: -0xd550e0ac837a2d741369d666an,
  r: -0x4821dd18cb7dced70bb2474b9n
}, {
  a: 0xfc0976ba41bb3dae088efbb9561e285e42b3fe32c8c5519eda08ea15n,
  b: -0x7bd4274dn,
  r: 0x79c0e077n
}, {
  a: -0xea884fa63adeac8aba7dbe91182f789797377967a1364db3fbn,
  b: -0x3fn,
  r: 0n
}, {
  a: -0xe044a0d0d214e9e9bc08e210fc5bd66a806bea6161n,
  b: 0x35b4caf0a30ae56231c8a5c7eb88412n,
  r: -0x2aecd4cc97a598b930fb6ebb6c51709n
}, {
  a: -0xb86f7024a13aa79d00e5e295d18bfceceadd7df7787c7970e46f3b9b69de5n,
  b: -0xe498d6c17c5251144c5cb16d5dbfae27n,
  r: -0xc7e7bf0cf34f3dc44e7908071a5d39f8n
}, {
  a: -0x658537c81bf520725a69820c70573c71323cb080a45b57e45509n,
  b: 0xc3fda11f89f21c995cf5be35250334ba0548ec814dn,
  r: -0x10dbe595373da7c77e6ca855cf4515727972c402a9n
}, {
  a: -0xba54792f1a51b3f1b1d4f597d9d4350fe7cd0b5aada5094771784a7n,
  b: -0xfd034702984de4b5aean,
  r: -0xb7d013dab035f6b6d9fn
}, {
  a: -0x19c810540c05f5475801379059187fe046516bac01n,
  b: -0xbc6162534e8af4e6c4fd2de517360f02950ce5b27c386816en,
  r: -0x19c810540c05f5475801379059187fe046516bac01n
}, {
  a: -0x18c9750b65c990f8318c1cb3178b95c1325111fcdbc0a9d2d8b93bn,
  b: -0xc13ab1624a19781e740ccef1ea2n,
  r: -0x9a3341ee877343a0ff6de2dd125n
}, {
  a: -0xf9f972331ee21aa77203e51be7e463e9b5f1b2eb0b609f39a41a6f30691513e288n,
  b: -0xb6c9c4aabac885842ce5970a6c11bbe370n,
  r: -0x13afb0b27bda7941e6c1518bc5679be918n
}, {
  a: 0x29fde02cf1d6ffcbe11bc008d2a562ac90f52827672ce094de4d61f1559fde8fefe59n,
  b: -0x5f2n,
  r: 0x37bn
}, {
  a: -0x4a13ea94e7197b2f931f78999696ce9b970200c2152f5cb8b8076n,
  b: 0x478d75f49e63f78a26075eb253255c740c360fe9579an,
  r: -0x334a66d9642a5527b18b73ca22051d052fe4abd3bc28n
}, {
  a: -0x8fa46fe53f3c72bb137a431d1d820311ab470740e7e45fda7e24fa4d3564d2d04e8n,
  b: -0x1fn,
  r: -0x7n
}, {
  a: -0x9696f3608f4d53388ecffced5a3ab5682b31b9e4011d7e96b1bb3dn,
  b: -0xe55fe45b6add0n,
  r: -0xd4f014498563dn
}, {
  a: 0x37940cee75fe3c8097dc1c28aafb790128a836bfcdbf7bd6920b5c22n,
  b: -0x4f2eadfcc84c1eb293n,
  r: 0x478ced4a71a9edbe80n
}, {
  a: 0x55f3b243c27c21d70ecb3170236407550ba444d6e8879a550a63a489a6n,
  b: -0xea3d1d7eeedd9n,
  r: 0x2584e7f9890d4n
}, {
  a: 0xb36154678be37a7629fab379c3b3b31193e4e1453469209da1fd9f68d218d8e62n,
  b: -0x838371cfd0bd9b9af0b88eac3753998fb70b6f10dn,
  r: 0x74a94d9c2a63defbd770f8fb6d01832d02b19de9cn
}, {
  a: -0xd79e8a5a0d08d2ff1a6e86b6c26c4eade2caf4cb92480a457997c39435n,
  b: 0x66650c0ac23a1dac3d53113589n,
  r: -0x3aa4623b388a16fc08df88b10cn
}, {
  a: -0xdda8e02d1eb426c93b0124d1eba1683eedf6dcc0954d1700317n,
  b: 0xff90dbbe304d68be9f0aaf5a8e81a9854c9afn,
  r: -0xf3b7e5a03803b39f59b2d5cee171d773c7754n
}, {
  a: 0xe09eba4d403b24fb2c0aa786d3a51af7fbbfc1e6e6ce7c935f607an,
  b: 0xae447e245b8c8bb9b4acbc91e952f941d6n,
  r: 0x940718ce86edcd19baac5328b5be858dcen
}, {
  a: -0x5601cd2ebb6c4af7532e5ae90ddd8bffe27089bd2e78e2856c9fa43a1f8bfc3925n,
  b: 0xd7b105c821ef00a53333a58ca99515cn,
  r: -0x8417558374958edba88660a339608fdn
}, {
  a: -0xe62e6b0c9dce0f6583941e6d760c895bcca67c158dfd425ee79b22715ddcd17dd2cn,
  b: 0xa0fd17842c1f306c4fn,
  r: -0x8cf2838b35e6718f91n
}, {
  a: 0x1331709c1e72166a0c7bfcf793d6c845cf363d54e0fd8d8d987c9363e2en,
  b: -0x4b0c58759c56123247a6893d163e93c88n,
  r: 0x78f34dbed8476e3a05b5989c238259een
}, {
  a: 0x6899270194fb6e9c902e4412d5e6824df835e1be2499462n,
  b: -0x7b54ed4882f0a816208fcbabaead918n,
  r: 0x6c2c9d8d3c1406e65a218c43ce66ae2n
}, {
  a: 0x7eeacb3362134b377939db591663e9855c68b3ad2b9b6d351cfe5243c91c945bn,
  b: 0x600f0d73606617f4fn,
  r: 0x63d15a89d5c75ac8n
}, {
  a: -0x3738d3d192c1f07f8de9f8e426b4c15b1b371b341ddb44966d90863c92abc3n,
  b: 0x869c6da904329dcb64a7efa5bb0b76en,
  r: -0x3b7f8661a2d841d28c85ae110f44947n
}, {
  a: -0xc7cb0f9d9823e1fb35a5d714cc1de1cf12183e0debc1c901743555a48743d6b68fn,
  b: 0xcf7a844f71f7ea99c1a629898cb3848n,
  r: -0x4d65a4b697a7d4102fc4ebacde9d74fn
}, {
  a: 0x17109f601e9eb6d1262f82c81bd473e0934a25f7ebn,
  b: 0xf6e74319abd040efd6c23a36324efe7c688n,
  r: 0x784886334e8e5ffda353f02d7cfdf616533n
}, {
  a: -0xa4bd07b65aad966cefca06e4635efff4470e3809a21f78717164ca0n,
  b: 0xf573c21713aen,
  r: -0x550f80c28240n
}, {
  a: 0xedbd8d704ac02b6bf61196222a3940c13513a4687f856f91c6c1a8n,
  b: -0x170191c4c272f7ba191n,
  r: 0xf827cc19d80c4f4de5n
}, {
  a: 0x8ed44a35d95a3d23c676ae256bd31e80953628e649ac32f1246b1c8n,
  b: -0xe7b99f5701d4485a46bb9ec1a55c027n,
  r: 0x913525da3b9768b2a66ae36f62c4230n
}, {
  a: -0xdeb233c0f3e955fd3acb1747c53e5a38e621828714da18n,
  b: -0x79a7cc182532ee90n,
  r: -0x50e171a19c5b35f8n
}, {
  a: -0xd5dcc2f30a95f145a85b771eb7ce1c7fa64cb5af5c9cf9f576e6f8e824713c9a3598n,
  b: 0xdan,
  r: -0x48n
}, {
  a: 0x215f4788e49031fc8bf687622d882f46ce3f02362can,
  b: -0x445ffe296f5fa54dfd6f096268b36adfde0ca7ac7n,
  r: 0x40c86cd29dddeac534bed682d147825eb0e0fea66n
}, {
  a: 0x6e493c4cf067c244e790732adb3a571bd680852bb8c420b4bfe553dd21e767879d4n,
  b: -0x1fbd2f00263db0451e0a4aaab49a35fcb4b3fbfbffb6b1n,
  r: 0x19fe6c3145489860e74c9ade846d07ab78af444220cec1n
}, {
  a: -0x3d97ca03004f02a2436686e61f8a8e7506f1bcd08d080c7847cdn,
  b: 0x9bca79abd23b9a35430ff98f48c55b466dedfn,
  r: -0x5b154ded27b1927285887ff42c600a1a74abbn
}, {
  a: 0x8c7a31b9672b48ba36b0d936549f1efb79d8338b6f50c56abd345afb7ba3ffn,
  b: 0x97b03de4085n,
  r: 0x2e64d733f81n
}, {
  a: 0xd4ab84fba0508ccb58f55c908fb7866713de5ebd182520d1c0f50736163b37n,
  b: 0x5f2ae7e1n,
  r: 0x4b7989d0n
}, {
  a: 0xd378fec071565f34e9aa4865ebc7f5b1780c822812bba6c6976d9f89064b3c6d1a6n,
  b: 0xbd8710ee65a7319e3df4724f93febdedffn,
  r: 0x6ca0b3747feb8a388af71b34bc1db05cc0n
}, {
  a: 0x2c2bdf5281b555897fca338f52653f715a5943ae4803ab68e2f583453014cd1n,
  b: 0x8543c95cd7a61fe3a71ab40041fe255ec77ec94273520b546n,
  r: 0x44f3e6a5135dbccd553759872e166fb8eb173d1ee50a7ce1bn
}, {
  a: -0xe560dd0748bd93b8aa3f0b0fec8a8efa582d5be6c14n,
  b: -0x379977c62df18307a5784e0bfedf92469a4a47bf6eban,
  r: -0xe560dd0748bd93b8aa3f0b0fec8a8efa582d5be6c14n
}, {
  a: 0x699ea77e20e436028434071a56e92f33e8d53da83e4626b1a2b8edef513710b22n,
  b: 0x57d4139a37fbd8n,
  r: 0x1b1d77e0586ef2n
}, {
  a: 0x467329dd83a75c6ce263e68dd32b5f42589c7be9726bd9e220bn,
  b: 0x3ded04cb2357fb9723dc6d176c2835675819e7e7ac1229f81n,
  r: 0xebd6a9a7a597014a0568c3339aa8ddf77094d19d3342d268n
}, {
  a: -0xa74edc3eb2fe7e105b08f0d7df1acea9243f302ab8n,
  b: 0xc683e23d180f74741aan,
  r: -0x8e8c774679646d38968n
}, {
  a: 0x6ed775c5b2052a8fd97ce92af265b0e6add7076420499c1b896b1251ebcn,
  b: 0xaee3f15d6d27156d04e972cdfae875ebn,
  r: 0x2d05a39dbc9263b88671c6ce4fb637f0n
}, {
  a: -0xc6f756038052e8c934aa1fa212c0784f7da74ab333e43d0917e9c92328a3614c1077n,
  b: -0xe858500de7f6831fd9b39049bfe7c52b4ead9fn,
  r: -0x11458063d1f7a6608f921211d4d5025621c93en
}, {
  a: 0xb1d946d1a7b82f0a4681eb1c16f0f6f285d120b4173c742f4c8bc01752ae1076a11n,
  b: 0x34a8c0833a7aa1114863fc8503bbf8n,
  r: 0x1e2487df9e381dc2369b1c26ed55b1n
}, {
  a: -0x99995edb6c2b4624ec308e0c5d03cb07f9ca5d2ee3868n,
  b: -0x660cf6f7b9f1712393c9122e95n,
  r: -0x126918eb9c7cb96035b08561d2n
}, {
  a: 0xd486c2df797a1cb4ed883b80405266e69391d400fcd40f51820f2n,
  b: 0x9cba5489358eb853f1325e4d5d0cc6dc9508474f02218d029n,
  r: 0x28159a9620c939cb0a982050ff8d9e8aa62eddd448773482en
}, {
  a: -0x6b45aae35123d5338f877fe1d14d6ab3d0ca910f8216651f1493730cc5fdc2n,
  b: 0xcdb270afd435c88b324e1e971769d31ca867n,
  r: -0x86c3ec44ea57bd0ff0deafcd6eec8d7e40b4n
}, {
  a: 0xa64c28eda7824903076e9c9e3cd19651a7e54d46e16668c1a28dffb527cen,
  b: -0x1d3bdaad8481ce21267b1b14a1acf32f0cf1a8n,
  r: 0x15a58679f8e34f09840da5bc4af2e53e50ac96n
}, {
  a: -0x4f0fed028dd4f23922bf6b07979a530dad74a59852a422256164f7eae64fad6en,
  b: 0x7079b236baf359d65b2d3e1n,
  r: -0x39010407ee50de09d255c19n
}, {
  a: -0xd36be751fea400c19007fb1ac10b8cd3a4d52d2f8a2eb02b82b2855a3e180c46n,
  b: 0x5014d99431930d1ec0b0n,
  r: -0x3140d466df2a63e725a6n
}, {
  a: 0xe5d1c31d70a656c429a1c0161297c0de857fd20148ec15740f12e9n,
  b: 0x22b7c3bd678bac5bf27fb3793b2057fce9631n,
  r: 0xc8cae9afb494885d4a8f53db9dffe77ccea3n
}, {
  a: -0x6e4f47384db231c17a3e62255eef4b048c32055c9e90f62aeb55d066fb624021363en,
  b: -0xe693799bf22d2213fec4beac932f3a4e13c553b7n,
  r: -0xcbc0d327c09f5bae625d382c01d1a97534e1011cn
}, {
  a: -0xb17d6d4936fdf6eaa51a1a4847bbb966203647e3bb4e2e0e9dd94cf1an,
  b: -0xe801b98b5d98n,
  r: -0x69a65ab87fc2n
}, {
  a: 0xcc97f97b1bda83ee1be45e073b55d4f707b56a80004fd2n,
  b: 0x41fc1c9ea2170b8edcff27f7e22b26b1bc5b554e860an,
  r: 0x3204d3b7c121209151fb385fbe2a1a773e7f3fc31ad8n
}, {
  a: -0xc68d6bd9a66fcd572ca4b56c80d26f41023484fd5004002f26acf46a8bc3fen,
  b: -0x28b0e4ef61c10dff73ef98c63cc85db37n,
  r: -0x1740a8988a7d5a65d58776ca05559a9e5n
}, {
  a: 0xabb1fd15d862944f80f8996694fe2e0366646b20b1cdf29b4e2645196n,
  b: 0x8053a2f8a9162ce1a39742566b1159n,
  r: 0x4e01e59fffff31d9d3b43818d9d025n
}, {
  a: -0xe736037fb4d4de4ee253599e8129386426b201fa303d6a12n,
  b: 0xd101be0ba3028228n,
  r: -0x8edc249b196ad7ban
}, {
  a: -0xa17d9e15c29e7d86fe5789106cd45f1efbff3f3b192ad7006d32f9aaen,
  b: 0x2e6386db7f99d8c641d9224n,
  r: -0xd525d14bcf2a0d777de4aan
}, {
  a: -0x3bd87d210b09b6465ceba7b051a0dcd37b70347225n,
  b: 0xa8c7450363b6fn,
  r: -0x1811ca16b3835n
}, {
  a: 0xf8f2e8daf38f3554ac49e299c0df58e2d545556717161153ddd2421f3b392n,
  b: -0x99129f2e02104ab6b54c74358252fd049d5fn,
  r: 0x77e8d1458f6098769ffe2f53432fb526e849n
}, {
  a: 0x654bb958307c4f29fe2e54270a03a91dba7ac53969d8998df93cfcn,
  b: 0x796f6ead046e6183eeea08en,
  r: 0x77a3519a9f8ecc318fbef06n
}, {
  a: -0xe21df6dcb99c08986b25a3a5b6abd8b1740b3c620c3e2cc512f55651n,
  b: -0x6d739can,
  r: -0x3793d4bn
}, {
  a: -0x93ac42d15d81516398da381ed94a3aa77f9941461336dn,
  b: -0xb20903a16442c01668c30cfan,
  r: -0x8329b46cdd02f818a276f37dn
}, {
  a: -0x8147ffd19c0deb7099ed1945a5ea3d3c82932428d0eaf0baf1101285f3n,
  b: -0xf321ef2426733c3cn,
  r: -0xcccd51389083a7a7n
}, {
  a: -0xfbdad961efd9d09c63d30fa99e00b546f72161958aeda2f36284fba247db4ecn,
  b: 0xfn,
  r: -0x5n
}, {
  a: -0x4b7b45ac67dc10407ae7274a76da9a1d80d3eafb66bc09a423c40f5dn,
  b: -0x1f711n,
  r: -0x1e10cn
}, {
  a: 0x1575c130f5373f8bfe878f0283902065f6c966d12e2a96b508dn,
  b: 0x42827b45n,
  r: 0x9a46220n
}, {
  a: -0xf8d155bb9062bac45b2fe97ee83c9e571d604bb082ddd780n,
  b: -0xf4c30c27eb860e57ba2f3aa9ce1d930227n,
  r: -0x990111f2d710c976058cccb75da2a4ccdcn
}, {
  a: -0x31055d3cdabebd15f78ff2d85fd429151602a8a623112b1d4aaf610a41n,
  b: -0xf9b56a76d346402a3d70d4n,
  r: -0x5d2d4396b6062ef910f5n
}, {
  a: 0x9d2c86c6f8ee927fbb8b5049cf5f43f24684af77ba637fb1db31n,
  b: -0x32fc6ea34c9f89119579afc243c3cd462b2fbd0e99665n,
  r: 0x14a2364257d22a398764d8f223f50f9a35b36814489ban
}, {
  a: 0xe3ba58f25398963a6ffc095e18b3afc782277b2c034e55a4e88053ebfe7c6a32ae0n,
  b: 0x3f97c6b70ee0e9acb80004afee5767d190408a9b6an,
  r: 0x36e3c0b2f6d8f0436135bf5d5f1dd6f51c6603d74cn
}, {
  a: -0x90f1b36cf986b9f9a0a21b89ac4d85cc7296859542ec24e8n,
  b: -0x9dn,
  r: -0x97n
}, {
  a: 0x6f65aa92460f2fb51c8a6a18c827d296428ecf8135219n,
  b: -0x921f49e554f8d0315n,
  r: 0x3565b5fcc3856871bn
}, {
  a: 0x4b3bee0997e688ff7cf4344d40280b96c46618a18c7cbbcd8507207c495n,
  b: -0x98920f2e4330c74134f185e12n,
  r: 0x3433abc4f6e873dee63c5c66dn
}, {
  a: 0x9d4259be1ca978e7b655991ee8641add55ccaa2676ac17b20814db35d85en,
  b: 0xeb8c79557f71ab4979db08ac3e457bc04c60b299a31ce44n,
  r: 0x7cd1c7ff33772e6c1a858124ed98865b21d70504d5ded92n
}, {
  a: 0xc745dce70f8748ed4a3e586672b3932658850296541c46f6a321039179an,
  b: -0xe77c3ddc5267a4d2519a3n,
  r: 0xcff1c27f54f356466cec8n
}, {
  a: -0xa4ac533b58ce0556effee7589549c50f5e6c42842c2e87781n,
  b: 0x4a1n,
  r: -0x221n
}, {
  a: 0x6c4978f70865f9897651145d31d0dbfe99d08b5b3f83593e8feec0a5n,
  b: 0xc0d33d8d4n,
  r: 0x299a9c3f9n
}, {
  a: -0x8d647629211c39febc777907cf351b091119856f90ac169462a9dn,
  b: -0x1798339n,
  r: -0xf3afc0n
}, {
  a: 0x748a35dc09ff79005ec249417b5c8e87bdca9533728bn,
  b: -0xd366eeef1605c0983d552c55c8ea924c62n,
  r: 0x954a7abfb1d3e0d27b9ef4360b5ffe1f01n
}, {
  a: 0xcfb4dc512fff9cd96a1133a1001d66247ce2d3d0a55c7df49dc1022c9n,
  b: -0x42c273da2e0n,
  r: 0x344c3246cc9n
}, {
  a: 0x322c69855678404d5a15f18bab6d1cfdf3d433f71b8e1bce758f32ce59306b8n,
  b: -0xb38185dcn,
  r: 0xb2486a2cn
}, {
  a: -0xabc35c37aa9cbd47b00bad3c2f10521540ba0f78b51cc3f81d53ea80ded2ab31dbn,
  b: 0x845739n,
  r: -0xd7e0dn
}, {
  a: -0x1ebeb88e09e719b81577e064dbecf7e22d6caa1317973a83b2en,
  b: 0xe323707b1f0e9d9828943cdc9f41e742fd9051n,
  r: -0x8c7eef32cbd710f6e84384e1c6f2b09160b705n
}, {
  a: 0x294b0e1d96a531fb6da1d2cda6834c2259edf3419451943a8f3a532e3a27f6n,
  b: -0x553cd4000c558fc470c53b7a324cc59n,
  r: 0x36f8d50473e8dc3a732b435cc269d7dn
}, {
  a: 0x9d4fd860f4704fd02d26a82a6162c37d3d222582512f91a4c46829785a72n,
  b: -0xe7edcfe9732f4ff33390ab7bf0ae02f29988e76cf41a9efcfn,
  r: 0x70dd808463b4ebb66194f175ef7131a12ba24fcdcee33624dn
}, {
  a: -0xa34cf4b2cb662ab90677f4933aa318f80bad83e3e2a95c6d5813108577cfd77465a9n,
  b: -0xabde8c213a3fd3728901de581d1c6514178n,
  r: -0x52d86c37c90d14fc1982b2912d954b7b189n
}, {
  a: -0x2917907264ee636b73434400a5e73e8d60230d28bc5f0be3404604764n,
  b: 0x90803b9ac82201e6c8e2e8c57d76f3c12n,
  r: -0x15c155bdf8c66d2a07e2ba55d7a86f424n
}, {
  a: 0x3d5559ce4d3db718dbea564bf46c016e4f82727beef24bdd51d1d0637478b983n,
  b: 0xb8103n,
  r: 0x6e8afn
}, {
  a: -0xd8b11721f616199dbb4b108f4880c545968ebc26fa0f01fbbdc85f19c3dn,
  b: -0xdd6cf683e1c4f1863d8ac3ca9b84605d6fcn,
  r: -0xba0b1fdc9530fe7b539e328b7a6abfd4f75n
}, {
  a: 0x8283eb405f3307c6de8ed5abd483101ed744ccdbb0b723n,
  b: 0x8ca9bfe50d0e00b45d0722fn,
  r: 0x82222377552d11261613af9n
}, {
  a: 0x8d13d2e002224544375ec33731d5043bb7daac7ba4c357845f3d47ba67b6763278n,
  b: 0xad24n,
  r: 0x2968n
}, {
  a: -0x64c922eabb716cc6ae1af09fe1bf50c81632ce8b497bff100n,
  b: 0x240c0b2e1b12ce1fcac2ffdcn,
  r: -0xd52d6adbc26e9ba41a3958cn
}, {
  a: 0xc437821bdc7c41522d35cb062e43ac745118eb820c2dfbdean,
  b: -0x6ed4a5f97a7dce186ae151d199cc9a920b4b299d1ce853bn,
  r: 0x19386966bba3a0f815153e491c9eefe31ceadf0806dfc83n
}, {
  a: -0xf03c6d6ecd8fa308da526502dc5ad8655bcd7597542cn,
  b: 0xb559a0330f29fd6be0f74c0c6bfcaf2b13565fb5n,
  r: -0x13172a19233351eecc64e7cdbcd96bcfaa0eae8cn
}, {
  a: -0x3cfdb938d73624535a96ea2fac52c7657afa877add933fc2bn,
  b: -0xeb54c50n,
  r: -0x4998bbbn
}, {
  a: -0x17d7c4a6eea30c832d65f13260c88a57120aca827e1ad04d711cce12bfb2c062faae12n,
  b: -0x5bbe79e40a3adea1n,
  r: -0x448e687cfe3c8aa6n
}, {
  a: 0x4b47375a4c44fc81f62a6eb12d8c56f45f839ae52401502d58bn,
  b: 0x950b255725f2232d7872503763d16de211f07dcn,
  r: 0x56c3069e23aacb74caa9bf1840ae6a464bc513fn
}, {
  a: 0x9319fc80887a20bf7c450672272d06b9b272f33fe5b5a892n,
  b: -0xc7424307d8ddfcd786d7304775420n,
  r: 0x2a7c2391d5085230a776401ff59b2n
}, {
  a: 0xf2e2571b958b5e34e3ed673f024b78352019133142n,
  b: 0xeb9ee3232c0cb09bd18742251d58cd8ef83ac65n,
  r: 0x3f0bbb483c9aa47541bf100ab8f5361fb7e078cn
}, {
  a: 0x71e135a30ec3b748e961b4e4512eb38b067610a20aafc844a302354d74cn,
  b: 0xe4a81543137a01212bd4b7e5c9a671cb09n,
  r: 0x53e813e199027ecc8737e9ca46fa258200n
}, {
  a: -0xcc5f5e61f59346ea13029000967a0d23101b806a326fn,
  b: 0xe578508d7628652a39a5c1e41693c02ed113d2f482n,
  r: -0x36a3f8574cd077aaef51725e75f95de5d8886ea7n
}, {
  a: -0xf1ca3d1e5c6267ea4086bd9c9703078a7242b2905cac59be2998n,
  b: 0x3b4fbn,
  r: -0x2713dn
}, {
  a: 0x110c387612ede055b1e8552a935bade785d93efd4574n,
  b: -0x37n,
  r: 0x32n
}, {
  a: -0x9e4ca3e9c092eb39b6ff02d384b0465584a632433bb5973320n,
  b: -0x5876f08ffd895dc161e626e3a9816525d9006c5e6n,
  r: -0xd8096d00b1ae4b90b51c5e26824575a7eb4865dcn
}, {
  a: 0xf07068c24139496d4d1c2cf31d2fe8c90dc0292dd111720835f162a1ede56eb05f9n,
  b: -0xe2c509n,
  r: 0x15d39en
}, {
  a: 0xb77ea78e8d6a12a2ffc640baa1c961a0e1d452481ee7c0983afe4n,
  b: -0x2fcf44d4d62d8fe185584433613fn,
  r: 0x631a1b4f8b3ad7eb8d141ce4b7an
}, {
  a: 0x5e0b8a0d04bb18f74f679407b029760653a9913fa642d1f1576275f09b9c73e647n,
  b: -0xac6d40aa94110aaa5126042e526fae2853d6cn,
  r: 0x20871ba80fdc738c6a9f5f46601ea5f936a0bn
}, {
  a: 0x8ed760eaacbfaa7fdbf8d4e4f2dd2b8f16b85672877c9850ba653n,
  b: 0xfb347505ac8acc0ef7e95ac31cba4f717d88749f7ben,
  r: 0x74b9a614050356e068de91f3da48634aea0b83b67b3n
}, {
  a: -0xdba78bb17809d8b565ddc7b1f6908a902bda1dcb948n,
  b: 0x4a9c0883737657852a935d16n,
  r: -0x4917d72dd85217c4c74e1678n
}, {
  a: -0x6b5e3219d47f49a47e4b6f0f7ec8efc5a44b7bb95cn,
  b: 0xd7d69a782ea35383d6fa691f3dd490146f11c0d2d21559n,
  r: -0x6b5e3219d47f49a47e4b6f0f7ec8efc5a44b7bb95cn
}, {
  a: -0x541d65c08d92353aa59f231eb0c4d7ab4e52831e32n,
  b: 0xbeb52686501183ebaa8829c966f43e11eca41en,
  r: -0x9205ba4bab9279855ae88b6b4836f87a549ee4n
}, {
  a: 0xda2afd0fa836b674318132b9efbc76483eacd85393bd9bdd09494de85n,
  b: 0x9c0b5a8544a908e5aa1a3dd18252dd891df0ban,
  r: 0x7d170ad3591697d65e02857ca5cb4d7886f9fdn
}, {
  a: 0xbd51c59e1b22334d66b1be6fcd4aab9aad7910a36b5aa7751b92499d8n,
  b: -0x8411ce3434n,
  r: 0x59ddb94224n
}, {
  a: -0xd7c6281be25511d04da5c76a3c5e527ae0c0a8c0cd030090297608efa4f1cn,
  b: -0xe01f96d52961aacd0a1n,
  r: -0x38b26bc85429a71ddcn
}, {
  a: 0xc3fa2d904565ed19317a53d70130aea59260a4a7aaf2138dda7ba69n,
  b: 0x7ee2cc1b64d5475df9ef1e6422f05a36fc52daff3n,
  r: 0x3db08b0c7660c6f28dd5d18486dd9dbc18b43fce2n
}, {
  a: -0x962dd64daef9f525465340397bc63a9ba7868a8633bda5bn,
  b: 0x4b2d48e7335257660039n,
  r: -0x1ae0ca02a134b54a9dban
}, {
  a: 0x5e581cec532593cc48609ed3c385b9f56b45254671522125097519121fd3fn,
  b: 0xb0e991fe59269bb1157n,
  r: 0x7b82f1350b444213cc1n
}, {
  a: 0x114f1ad0904a242b9401ab3864c799dbf7b8261958a1797n,
  b: -0xc608c591b48aa0c9a5379951f92f4bcn,
  r: 0xba5540986b93145dc059e4e1160bf1bn
}, {
  a: -0xc8032eeb8c9b5dcb182fe323b6dabdea62c79a51a76a05eb6c75b2f33f1215cn,
  b: 0xaf29093417b9ba3efdb0264d7cb088cf4d3eb424f7n,
  r: -0x4d38a2943d2a9241d6ab6fe0181cd827fd4d8d4a9fn
}, {
  a: 0x57b2b8aa6f9bf4cc50564371f6c6e8e3a8dff5a16de973687c9250715657cb8e4a89bbn,
  b: 0x8f645f481a946dc3e7133f44n,
  r: 0x4fbd1d27f0773af6de0dcedbn
}, {
  a: -0xdb6b5e3c0b570c2676f038e21acaa66c061a9d701d3c2b493fbe974a18c4a49n,
  b: 0x55f82e628633e9b7b9n,
  r: -0x4d64aa4ed5dc6f509dn
}, {
  a: 0xefd0b9f180fbb89ade61c869ae9926edd8368f792b91de390a9e8dfc16d11n,
  b: -0x97ea6206a29eaan,
  r: 0x505732e793fb63n
}, {
  a: 0x9cb04def6081f234d38489d125b1011f86cb9ec0c0271fb84f557110c5e813en,
  b: -0x4a7aebb3e28e872dd8dd71bbc91e708e2acd3e09419b617n,
  r: 0x164acddf188e291c8409b1d28f862236075789a0b843545n
}, {
  a: -0x327ec486695214691a70e9daaf3389fd80b882e2533f27e5bb1n,
  b: 0xff627ec7c06ec7852d3f2cd75282a19619974a366fn,
  r: -0x2e22dab2c72e790aa3b12af6b7912b9f6a614f93d0n
}, {
  a: 0xc7725fede0e8193b8beded46bd38521041d8b0e095ae9n,
  b: 0x40d22433253e9501437c4d9n,
  r: 0x3855fa5d6f4d3d43378ceden
}, {
  a: -0x6278410f2937d690230a4f4e7eb9a95bf1b8bbfcacb2461db08n,
  b: 0xbn,
  r: -0x5n
}, {
  a: -0x77ad054400f60c8f55cdf43e4a85be42719fa88a6e703b94103e2n,
  b: 0xf1b114bfeb293a728b19aafa12c8ccae53fac74c3e5n,
  r: -0x944b07143e1146a769216d9a029624ba3c989ddd4bn
}, {
  a: -0x7ddd5f6e575e23a504f0111b7eeb26a34914ebcf2972ac997bb9f09cb4n,
  b: 0x18b655da9a00dn,
  r: -0x9be420d5fa7cn
}, {
  a: 0x9d84aaedc59ed92144625f9348d66e86f1f581355f6cbe55e709be7260en,
  b: -0x4e794334cb85684db91d8f2366n,
  r: 0xcfe619631b815570254db2can
}, {
  a: -0xd1df10351ff106f66fb5701fdb513db569f365435aaec0d08970740356d675747n,
  b: -0x75087b567794dc877f357cbb295d7dc6a2411afn,
  r: -0x6be3afde28037f3eec6b65e958331b95e7b5ea4n
}, {
  a: -0xdd630c055e2cd37eee7f553468e333399dbba3b243b1bbe4b660f6b2eede3cfn,
  b: 0x815bb2c4eb583cc1bb1d3b78n,
  r: -0x1879b9c019919a0170b084a7n
}, {
  a: 0x5e3a540a340348fb38b4a922ad5b35e6f1d55d4246n,
  b: 0xbe128n,
  r: 0x97d0en
}, {
  a: 0xbaf4b9fdfa9470c0655255a03d3df7942ad35febf2f44ac0b5b1a071f1063de5babn,
  b: -0x21c16955eb6afa148218b7ae7525825cd75df78n,
  r: 0xee64b0b9cf4a3f4a12338844fea02c6895aebbn
}, {
  a: -0x37c3d575bf97c71a55baada1feb2a829409502054acad1d4956691b56156n,
  b: -0xdf7a181128ae67c2734b36aad07f95b4ebdbn,
  r: -0x8fa26a0acbdc5ae3bbc77b648432e39779a4n
}, {
  a: 0x9a6e76ca55d14501356be8ecf42bfdadfe2841e271c7137aaf6f364ae0a280n,
  b: 0xba7060bc1bba9a03595cn,
  r: 0x4615064eda156c68bcf4n
}, {
  a: -0x7d84ab455a35e13848d7b5ede5d9e54aaeff521b207n,
  b: 0xf8f4c70c3n,
  r: -0x75b0934a7n
}, {
  a: -0x16aa944c6c4d059f6e98a38adc5b902d4065f47e589fe3a1bn,
  b: -0x4fc8b4n,
  r: -0x1a1b8bn
}, {
  a: -0x9128d3aebb31fe1539f93f0bda01969cd8f97eff65705f9fcdc13f91fbn,
  b: 0xee62c972a8f44c7f2dee61c9f30ec4367d2481d43826e02n,
  r: -0xc67261657da8540e5d23b9225058a3c1f009379ad1e282bn
}, {
  a: -0x8857823bdc2887e96837c2d90b6b9fec7f989c57eaa1935e334c5bb5ffbf91b398c530n,
  b: 0x8fbf849e3a89a661175450f7443n,
  r: -0x51bace3f640b606bfe6fcf00c56n
}, {
  a: -0x42f8cd74a3307edd16355a18b5b65e6961b786920b694b3e0e2ccefbae6e1c5c871n,
  b: -0x516843db057bd48b8b5e5n,
  r: -0x1cbabade719b61381efbdn
}, {
  a: 0x8704740a95f75fce11ccd98478c7a78a813204467c351a9n,
  b: 0x733cb6940ab5ac7592a22b13577104e148e87cb97dfn,
  r: 0xea3cc171a5964da668a54715571c8f4d7bc6b7e3ban
}, {
  a: -0x14b4df68cacddf7fa9e254df2741f03da31bcc995f68n,
  b: 0xb59bc81900bc18cb3a85n,
  r: -0x609e2fef98e6a9d81a0an
}, {
  a: 0xf1a3f45fbdff434f522ccbd30e58ec75809b7e59e60bd9092n,
  b: -0x92c8d7dac28babc5b134c5cdb582120n,
  r: 0x1b391ae699ea86757a5311878e8a492n
}, {
  a: -0x9b237332bcdbaa3589edb9c62410f105f8eea37aab2cca2f82adfa235e4552d084n,
  b: -0xf3159854b48f2c673f29cdafd3fced039623b7585n,
  r: -0x310637afdcb207e52d13da2f5b238ec535b503933n
}, {
  a: -0x3a535456472c16d153e8754a8cbc953e559e2af62c50e6d5cb0140c9dc8dn,
  b: -0x851e0410db27c20e84n,
  r: -0x6141d06492a2c88725n
}, {
  a: 0xd24614999da2647ee4b2f210dda0cb2f1400a17d1e9ebfc263853b1c0378838580f3bn,
  b: 0x33894abdf5e36df3f149db7c04692539ec72aa7n,
  r: 0x25eaea58526bd0c01deab7e35bc1dc504444426n
}, {
  a: -0x4a22ab5d180f3433106db278c1004ce5077c8a287f280cdn,
  b: -0x1760a5584b4469e739f04895535b3aae3a962b3fc5b69n,
  r: -0x137f8e619d78b38be17c87b1ee49ff13e2cf2577ceb2an
}, {
  a: -0xc722f1cf39f37897c90f374123e490e55354b509e9739dd9e9f48e09aff528e2n,
  b: -0xabc0b882a4e7a7b33cf78bf71d0f35a9c2c120n,
  r: -0x17d2ae028fd215d9e35ba560db86c11acfe7a2n
}, {
  a: 0x9c38b1462ae3786cd24c3da2401d0a7679415850650c7e6230c42eb0een,
  b: -0x7d0c982bc0e19f6ddn,
  r: 0x50faa929963008fffn
}, {
  a: 0x738bdcf7a56bc2b603adfb3c54d502954aa145123b5bdf0c13361a8d2dde17687acd4n,
  b: -0xbc7014n,
  r: 0x1ddba8n
}, {
  a: 0x86c9faef472e7fb33fe26c28433750a4afd752b48f2f9d95e3288n,
  b: 0x618dbd2f9a2b2d00df4ae976d3794c19n,
  r: 0x4d8640ae3a3588377f08a59e3a002b00n
}, {
  a: 0xeff54303076d894bc726f8b3bcdf83ad0fbc975f1a21d2bbbae9f07619b6b04n,
  b: -0xde3892d4fc705a2cd36f87b3c427286d0e57017613en,
  r: 0xa432d4b173f4455a2a60348536b72fcad7878bd2704n
}, {
  a: 0xea25f9e2803eee90c9613fbae801e53949d01187284052c6fc50d718dd8a811f2n,
  b: 0x22e4b220dd60bf23d814d2337e6d34b9e327874706a939e2n,
  r: 0x198ca2f68e7c85b9fee7e5d5f55e0ddee711abc66437201an
}, {
  a: -0x4d610502a1ea92dd26d5c05f2a0d520fb2769a00aaf622317f612725fe53n,
  b: 0x9e5c18f0cc122ca5348b4713e7f69n,
  r: -0x269dd775ff00fdc7dcfa482489258n
}, {
  a: -0x24ff90fe96f8239ea7bac746ee9e1df58b746d5fd7dfe4f48a65051dbd3f102ea6acbn,
  b: -0xa6d2a66451f3df4n,
  r: -0x8d8ca545377af2bn
}, {
  a: -0xd208ca67a51adea50d8f79856a79c6879f63044d580eb12n,
  b: 0x8b234fn,
  r: -0x19eb9bn
}, {
  a: -0x7f3e9ceedafc094509be4e63395b2903fafdad3502n,
  b: -0xd16e2814a2e9001132cc7065bba9d93b4276n,
  r: -0x602c48a8cf20b6bcf03f41c68804b7040a3en
}, {
  a: -0xa8a7515fecbd625076e6a1b3d93254a2f7f6f35584e734ben,
  b: -0xc19dbf647c8e762n,
  r: -0x8fecb2891c9c38en
}, {
  a: -0x9299e27afe2db90e7fc0d7d22ebe13edd4f96e5deae75313e4n,
  b: 0x73db6a3a51a7n,
  r: -0x1188a624057an
}, {
  a: 0xa6b88e92acbb9d5e356ec1493c28a33d19931a82c535e88f10d8e98e258n,
  b: 0xcf887a74e32c66d00e155a1e6n,
  r: 0x52ec31236384ca20aba838c04n
}, {
  a: 0x3a20037a43841628d86add62b11cb1a2c202ccae49e17fbc049bc32a1d9a4e46n,
  b: -0xafn,
  r: 0x5an
}, {
  a: 0x38daf251eafed05b78462a1065780df9156441d0998503d8593dan,
  b: -0xa75e66e28bf63389f12464249f3f07e8229dd8547d9n,
  r: 0x9e7f53f88017e0348619c584211f10952e288aee35bn
}, {
  a: -0xe3e029262faed3d7559edc5d96841f58c4b95a59129712cf2b6ed13870779n,
  b: 0x8e4c75d20482ff157ab76fc3d0933e0fc7587aaab2a32f72fn,
  r: -0x6cc229196bb4196efeaf135c352c934e4d98a378e7ebdd85fn
}, {
  a: 0x143b60a939e57dc678c15c1da4b6fd46380ca3ad09869d965f3f764aa680a913d4cn,
  b: 0x358d98e0ce99a0ee0c50a3b0f8a9646e377ecen,
  r: 0x273fc1d24ab2812e1902b6e71f0788ab377cd2n
}, {
  a: 0xc01e6305e775f8fea5d83d8d984ea92c242a8c53d8f6en,
  b: -0xd044efe4db28n,
  r: 0x5756df638ca6n
}, {
  a: -0x728a702efc035e95b7ac5f0fcf016edc6490b5cfebe851974eefn,
  b: 0xf5f28310a37538decfa3f0da93621a53da11cfen,
  r: -0xb309300192774701d87d263a27ea0e0d4bf5b7fn
}, {
  a: 0xf7bb9a7edcaa5e7834519c98861e7ae814ed5f384afan,
  b: 0xd7b00f5c5n,
  r: 0x898d8c0a3n
}, {
  a: 0x85f899aeef263b91f7b42f258d783b7cebdb1c9b5f5c47579f22a5n,
  b: -0x40509fca71d70b15d3c3989a9cb98b38n,
  r: 0x2814fdbcee033ab586fb6d80762f09bdn
}, {
  a: -0xa0e02f629ed864a404749d88089a0693389505bdd71c3a6abb7e9n,
  b: 0xc59n,
  r: -0x750n
}, {
  a: -0x82b7bcedc0183281443100d546335f4c61b9c344dc868473320df15487dn,
  b: -0xc4aa261c21e3n,
  r: -0x1f5dd9aacb08n
}, {
  a: 0xddfa249c5f8866aa0dc1bcb99c66102cc21bc185ecbdae335159n,
  b: 0xa9fd545c8f9718855486cde87n,
  r: 0xd25687722e3c0726e149f432n
}, {
  a: 0x16c24f982bea1c67aa909e6431dbdb8fa0e738a971469cf1fee5427cn,
  b: 0xdd76c137c524fa8ef0867b68d18n,
  r: 0xb9b6deea4163f0d2509ac66fe5cn
}, {
  a: -0xf1f08aab9897969b9bb444dd5405854afe4652b20cdd7a8cd2f7402bf76cef2db698an,
  b: -0x341aen,
  r: -0x203ben
}, {
  a: 0xc3b9a432fdf41b776e3c9ff934e1932b9ceda59979a43n,
  b: -0xd9754a4c0872d806ce7e8928c9214a605febb6n,
  r: 0x5cfc42c5e568928bb8f4d4879167595676bbd9n
}, {
  a: 0x83a765a865bec664932b3dd4702ea45a93184430b7ee2en,
  b: -0xa875eefb0637dfe5f0d8n,
  r: 0x6c5ddf6386e4d50d04cen
}, {
  a: 0xdc6212e7924b2b6e20ae09a70755f4611a5ef88610e4db8n,
  b: -0xff3f401e43a939ed4c0ebae8496298456dban,
  r: 0xbf5d6336b0dea8ccfb0405ea2046c2712356n
}, {
  a: 0x8ef3db09dd011e1c8465c71a69bfccfb4af5421582bc9d95d1835d3n,
  b: 0x8e81ef1aaf4fa4n,
  r: 0x1736de4cb7cee3n
}, {
  a: 0x17ade09409d4e819491c07f50768e969c86cd5a5c1b1a2bf6cba5a2052a2n,
  b: -0x5e692ce1d72d06ef0a170dea41585n,
  r: 0x1ba8a8f67efb8aac607a3984e67abn
}, {
  a: 0xff78451876ef259792436f1079e7aa12202360fb4be74899765e554cb0f73dn,
  b: 0x81n,
  r: 0x7an
}, {
  a: 0xfe6e36615ec39e545ff8b1b991732dcc62d7d3b6c160cn,
  b: 0x2dbe570eb837cedb020cfdc9e14aa8728e96248n,
  r: 0xbeeff5d1897f4914bbce6781b112484f7a1b34n
}, {
  a: 0xa8bf1dddad228fddc3369e1ff9c122db264a86a8fa030008d7afn,
  b: -0xc45a059d7b9dbd9cfeean,
  r: 0x8e48b16a72091eccd64dn
}, {
  a: -0xf39b0bc4af6a67f62d053421810750b2c2470c0ce622a0b42n,
  b: 0xb2141a3ff4d6af77404n,
  r: -0x72719df5f32d5d0c7an
}, {
  a: -0x7a6ec89629e344920412761a2b3d895b0eca7fb38b7ffcc310438c5c70e087ae5bn,
  b: -0x2a0e73b7771af40ebfabbc3e0cc95b25559ed90fea33n,
  r: -0x1913c80ccff148deb29ccd0161a56e5671559293673n
}, {
  a: 0xdab1609623280bbb2b16e90cbd8ecac8956068dd9593b9fd3184edcn,
  b: -0xc9eff274e381af53a84b3711ad540cffbac28b05n,
  r: 0x90651a64a8e59dfcfdba1d21811f6a30e6e13fecn
}, {
  a: 0xd526d9c67054d785fa97d6ff7c13326d7d7a90e86c96cfbfc073b28c26n,
  b: -0x5076d6005759053c225831484b7fe3d81fa667687df70944bn,
  r: 0x2d29772a69cf7d41aeb21bd16c3015f2544bd5a5f2a75f2c8n
}, {
  a: -0x44f9c84eb143109ee72c63e72d0762cf1016dc7b7dc522a6130e3ca92af5e113cc4682n,
  b: -0x1ab68354ceen,
  r: -0xbcd7e7a01an
}, {
  a: 0x98ea2d87d25d45a1cb3e6110981c4cf974beb20a71f618n,
  b: -0x27bb17an,
  r: 0x3a3de6n
}, {
  a: 0xc2b2c5e15b5d47c8e7cfb63937cbe184ebff969eac6706c39e42a51d5c88n,
  b: -0x2c2e57cbd78106ebe4d32e738570877a80a09e20eb8b4n,
  r: 0x244a7d187fe800adc5bbc8cdd809b4530b403b458490n
}, {
  a: 0x5064521be01d21cd0b6219daa9c13c4b636fbc80b32fea84d0554b4671274314n,
  b: 0x623783d8e9e99f630bn,
  r: 0x4b12b1f99072e9579dn
}, {
  a: -0x11b96f641b3eeb7917761040f93299dd545ce0f66001e32e8a3en,
  b: 0x1a7da6812a3f9f1cb1f6e953e4b9e1a809037b4b2n,
  r: -0x85385fdedb39e09cd0d7f1210edf79fe2dbce92en
}, {
  a: -0x5a4a95bc71a6101a84a1003802c2ec702c3ffdc137dcd891d1n,
  b: 0x130cb21ea2n,
  r: -0x8a89fa543n
}, {
  a: 0xce26db187690b7b176ac99128d6bec5161f8d22e2d1e5f4b920n,
  b: 0x7f1284e5ff61d6d8cad570bn,
  r: 0x2a400a333597c478926c8a5n
}, {
  a: -0x4d7eb194e1aa857003ca07260d6801c9a02185cb7396a9n,
  b: -0xa43e763d72c135c78ec960ab98f7d9ab8n,
  r: -0x9d63735e52cee134b4136d600acbe1789n
}, {
  a: 0x972fa479cb0b891765e0a0f6768cf12fae52b675155de2dcdf528033d1n,
  b: 0x2a695fe92cb1a91n,
  r: 0x29e3d89d77a4b2an
}, {
  a: -0x6302bc4f77ee952fd0c94489c4bb6639b4ca6fe7fcde0288527dbe6n,
  b: -0xd48f1f1e7a67c1859c8cn,
  r: -0xadc57d64b522bce1e086n
}, {
  a: -0x4ce161153d1077b31a5651482e6b7fcac89567e71fc7324193ae2fbbfn,
  b: 0x97fb2c01a75d87c8477dd14897120bf98dbb5442n,
  r: -0x1c05c22aaad23777fd1d353e914580b0ebae3cc5n
}, {
  a: 0x104692f1b6328dfaa9f55760ef4ef012131499a234eae670a514b24578007533n,
  b: -0x1b241047n,
  r: 0x1a16fd81n
}, {
  a: 0x544a556f171295afe7d32c503746c4c0f1b8f3473357eeb6b1896ab1fn,
  b: 0x5687ea971423d53en,
  r: 0x2fa1e5f148da7509n
}, {
  a: 0x8f6eb5316fbe1e55917605f1678984627735eb4bf053655a49f85e5465c60an,
  b: 0x69ba040ce9b89739ba5f040b887239bc3aa2f5dn,
  r: 0x188d10e22b38b90f68acfa6a984c65af2d3fe8cn
}, {
  a: 0x9aa3c83cab20ba355f26dc650c2b3bac4681e663213011d9fe2202ca46755f6d9ca9a7n,
  b: 0xfbfe7f774e656ea4865ab55e7fecc736dc410ae16dn,
  r: 0x6ee6b3cdf78d9e89f025cdef5001a7cf6f7d7b2a87n
}, {
  a: -0xaff32a164ea3d3adb4285b07d5010f1065602b2a6eee8146896n,
  b: 0x4cb011dn,
  r: -0x1683fe6n
}, {
  a: 0x136f1a33920db3e6a87ddf5ab826ebc3d95b1538a03dn,
  b: -0x902654e838e8c86761b9f2eb71c361b7acad2n,
  r: 0x874243a2f31a3c96a248da7be4f69b9f4c151n
}, {
  a: 0xa953b999fb201358de58261f86d125f1457433db5fcab10n,
  b: 0xc98abf9e5f4n,
  r: 0x513f1159c24n
}, {
  a: -0x4b07bec43aa5176b3b535df9513d0add0c93b4761f78febn,
  b: -0xe9145ecd0d75fbf05aa2449e0d8c7a07378ebn,
  r: -0x1a0aa72901bcea66ebeae985510d7be0a96c9n
}, {
  a: -0xde7af4d4a515340b5c419b18b5b577c56ca57a5e81822ce483a40e1e051b88676094n,
  b: 0x29b54n,
  r: -0x209c8n
}, {
  a: 0x8dddcd562be09a08edf832d33604f0454bfcf2ce5b6aa7977cb6df875a17e1e1n,
  b: 0x6163fc52ea6fn,
  r: 0x57c5292e825bn
}, {
  a: -0x8ab2f4e44fb0692e543048b148f14e403191c01c007337c1708b3e95507eca545af2n,
  b: -0x3865b6en,
  r: -0x11b949cn
}, {
  a: 0xe9eab32f5ace3c302d020b38d9401e80891d34f38ea3de1e6n,
  b: 0x18c8270de8febf4e77bdc31558d78d7n,
  r: 0xcc5117ac515d80e727f2b309f696e4n
}, {
  a: -0x3467abe38ce06bfcfa0460bce392a510cb028b5bfbd2n,
  b: 0x784ban,
  r: -0x19aa4n
}, {
  a: -0x68d19ff8eeba9d0650d2309433884087a7c8386ada20015fcb809eeben,
  b: -0x9c33f550150e342a63293cn,
  r: -0x41a25d21b4e8520732da42n
}, {
  a: 0xd45dcc8a455e00860c64443095e4f2df283b8277b2a6b4ee42a4f5d485237baa319n,
  b: -0x6n,
  r: 0x1n
}, {
  a: 0x80bc4dacaea877a61dc1785108e0e099563656682a9ef1f83162570659b8697102n,
  b: -0xc0b7d2c451cc8b7fb861c0bf79cd55eac7aa8n,
  r: 0x21d9d051a6a5cd756094b706a34127233020an
}, {
  a: 0xed0a676be59286f831fdf4de1e7475468bed814a3faac473bbbd2b055408f567b163dn,
  b: -0x5n,
  r: 0x1n
}, {
  a: -0x7a426fe6900363bf4abf9d30b48c635a1882bb7d16be4e850dn,
  b: 0xcfa5af21a5aff19b029496e803119f48142n,
  r: -0x78b0c5f80abcb5cbc3cb134c1958fb2ebdfn
}, {
  a: 0x5485792b995bfc921f264c158696293bc1e78d6ac7a01e8c6a4753cba79985n,
  b: -0xf7dbdbfe5024546f6n,
  r: 0x2e9fde2aa21e517abn
}, {
  a: 0x8a23337c293eeb49f5d8772fdf418c81dac6695de8c29d49e75d43bn,
  b: 0x26c907db398c3a8cd947a0f12e7a480a2n,
  r: 0x114d6e019ff58d649d2d89c0ea1dd3c73n
}, {
  a: 0x7d223e6fa55053c162db261fd3d5187303fd131fb10db8cef6e61fen,
  b: -0x7b152d8b943e7d74n,
  r: 0x750c0a69807d1072n
}, {
  a: 0x6beb5a9ab3ce941ca5e5c1966a29a094903d4320a328c913633f6ba1469cn,
  b: -0x83829c3506655a6fa569ef31ead89449913962fn,
  r: 0x7645ca0f93d23b37404cbba4e330743b7d5a878n
}, {
  a: -0x6fc0994e124233c81b90c5805c3520dd66a561740d65acn,
  b: -0x5e036dc27200cca173569c61ecff973ff085783b1dc2da2n,
  r: -0x6fc0994e124233c81b90c5805c3520dd66a561740d65acn
}, {
  a: -0x21c0455f17e5b9948b3301fe8be9ecf5ec69deb743a61a15b912n,
  b: -0x19668cbe7n,
  r: -0x168f1298n
}, {
  a: 0x13fd5662029befdb79446e14f60735c859967b04dd8d8a6fbaf846d2ec935d1fdfn,
  b: -0xf4c7db041c65e3c272c309fefd14a7233n,
  r: 0x2f42dfbbd05113e27603fcea987b68b16n
}, {
  a: 0xa110c0296db36708fb435ff585545bd58f279b4ba5c2da9a87dbcc311fd4c0379cfbn,
  b: 0x13c54662314487b198e293n,
  r: 0xf6ced4335feef48b33c18n
}, {
  a: 0x4e25e0f5cad3c04312b3372fb80d27eb01cf054fc641db8ea6b4e1ee3677d5aded9dcn,
  b: -0x92d614dbf7639964a4n,
  r: 0x2ba8e3ed0c10308648n
}, {
  a: 0xe7cb4b1b339b8469c6526fef2002a0c3ba5aa8593fcae973d35ddbd4a6935ebcn,
  b: 0x5c21810504d53504ebf192ff924d3a6fa067c7b444n,
  r: 0x4fc0242e46b15bb02c026728bc996a9955e9ecab58n
}, {
  a: 0xae2e1a0ae41cacd9ef5daa073a4bc663a313401bb0611n,
  b: 0x9cb1c8e14bd3170bd71025d2da4a87b311b79n,
  r: 0x37ca6d467053db17384736b5a42c83cd86f48n
}, {
  a: 0xd1fe2d4e6d42ecaa86e6452c3ad6ae9ce6400d55bf076c3960048n,
  b: -0x48419621de4d64c8a8ba8f9b49b8d6919a692d5596cedd12n,
  r: 0x1e279c6eb1c4a019b746cf822368cc1e2d95793f5604970an
}, {
  a: 0xcbfa9abdc5f86773ef753b7ef05c140baa9355abf0123a8n,
  b: 0x6902754fa7n,
  r: 0x10333f175cn
}, {
  a: -0xecfeeed6b52e45817a5611a6d1d967f7d5554af0475bb372d01be3de34ac7b2027cen,
  b: 0x69711ff3b5n,
  r: -0x2e9908220cn
}, {
  a: 0x164aefcdf134e11e95f23339c8fd63c4a7ac24d76fe4c03c73c52ca8n,
  b: 0x8af6437fc196bfc98ca1722417ad4078a6421ce0df5n,
  r: 0x76bd2156376123bd149c702c16947697820d3bbd048n
}, {
  a: 0xa7c72344c68a21fc0f351349e2839f6a89c27eadb06df3ae26cc0692e0de9n,
  b: -0xf5aa7ff1400546eb20253cdn,
  r: 0x674f0cf0c5776067bae5202n
}, {
  a: -0xe12815d74e5e6ca3f02bd2a1208b93eb39e5794922207d927n,
  b: -0xddn,
  r: -0x74n
}, {
  a: 0x6c08b7f7c91333e7422fe5f03bf37cd2431562592d7an,
  b: 0x14c6cb9aff85099447c84c31f7d8939143c4577d484an,
  r: 0x426bdf0cb7a0401db4668f664b89afbf03face6c408n
}, {
  a: -0xdcf56121fe463fb203160f8f0a5faa1e510bd8adc6d422069dca3d4n,
  b: 0x6725beeb40064c85b8951addcf23c63673362bf9an,
  r: -0x62e8beb02c47425d2ef41295d0ad566ace8e377cn
}, {
  a: 0x7acc1fb72843648ba398a4e99c52a50fdb47f5ffb5f563dfc225d1f518e9c8a315af2n,
  b: -0xc5e89cfn,
  r: 0x6c72677n
}, {
  a: 0x9ed507c4122116011c056c6262819493abafb7e0e3539ec1129401e7cedn,
  b: 0x2555369bb7e5934b38ca01n,
  r: 0x248bc3823e3c3c9c8f762bn
}, {
  a: -0x3a1589690385efd1844b86a0a4ac34cb0c329cdb906n,
  b: 0x7e57b23fb1ead73a1a685e877a8cee482a110c26be77n,
  r: -0x3a1589690385efd1844b86a0a4ac34cb0c329cdb906n
}, {
  a: 0x2c5c7e946802f8ce24f63091f53df46471da861969d7f9ba1ea4c9b3b20f7f1dan,
  b: -0x979n,
  r: 0x7c4n
}, {
  a: 0x9498cfea7e4ed87e88422b856d87660806f4ef44299d9faa2596bcd4f2an,
  b: -0x6n,
  r: 0n
}, {
  a: -0x53d77bafdc69415e49e6427b52e32bfd175f73aeb2655139d6ebn,
  b: 0xaa72c725f6ce0n,
  r: -0x856c56c79ba6bn
}, {
  a: 0xb5b327063363072779a147cd5f24ee51a37144fc9fbb9e6ddcd1486b706aab0735n,
  b: 0x913569d26ee177n,
  r: 0xa91aa7d107751n
}, {
  a: -0x96e04129bab032c5cc9f94e38c473bb1daf2117f86bb61fn,
  b: -0x9n,
  r: -0x2n
}, {
  a: 0xe7c0ffd230122bdc3d8243081e563c7052577fbd0f5242aec7af47e506eab727fdn,
  b: 0x26089d8a4b5f0ef725de388b08e1eaac49b50ffn,
  r: 0x6a889561690671aac6a422d7c6d36a1ea9adden
}, {
  a: -0xfe432d9a10adb8ea543b42dc234e390100ddc38847921facb3ea0ban,
  b: 0xdec79d9b11145ab84e523658134c0a713eb0a8n,
  r: -0x325a148085cedb6df185755abdd20d202e638an
}, {
  a: -0x72a63f73ce4b17df1a3aada2d3a9056f529a3729e80e978f79bn,
  b: 0xfa05accbe4446301d52f4023381df844b01685n,
  r: -0x41942245241414fa51a4d23b26ca05651c3fefn
}, {
  a: -0x194073c096e2c99c57c92fba3193d2e67e0add35c7224n,
  b: 0x4dff2f2a6b86n,
  r: -0x1152f8a6f5can
}, {
  a: -0x6f50b3451829056a0ef53524c23c23c06178d2b52fn,
  b: -0xe9920396cb0cc73n,
  r: -0x38996cc91d441ean
}, {
  a: 0xcb9b9e1270f2a779d59123d8b5268431a570baa23095c72ac0n,
  b: 0xcb63b0ecd411a121119d92de32fen,
  r: 0x44a13f3b2d0403759d39ba02c38en
}, {
  a: 0xbfadde1289a97ff6468b3e5b30de77111a59d9430260e89191166n,
  b: -0x37ad5231ec933b5f61aan,
  r: 0x69e3d1c7a65f9b49ca8n
}, {
  a: -0x56a5522456964eeaf0fde5072a70f9591f8af02f434dac80972bea53c7410a67n,
  b: -0xac4b12333adefb9152fa385ad1afc2fc048n,
  r: -0x536c46c55135ee498eef720bace90454defn
}, {
  a: 0x2dd2d563fde5f5d730ab966ce89691122a00fbd109b39fbf1f0n,
  b: -0xc48787161103825d48327eb514ba51n,
  r: 0x5d711d02ef53a7e456022ad7062d40n
}, {
  a: -0x14a500888eae5efd9fb9f4d221571d8259e25ef52440e98dc689dde6f657c0f3f6an,
  b: -0x1916d930e0d3dban,
  r: -0x1099907e970e0c2n
}, {
  a: -0x932fd906669c5302a16a4302836d3a9fb5217d9edfab8dced7801b9b460e50bf56db8n,
  b: -0x6n,
  r: 0n
}, {
  a: -0x4cfd04068844563d24fe6764cda4a205a9a751285411dff92cc130f195a5b2b02798n,
  b: 0xc655498a1d9151165f531fn,
  r: -0x7c6e61ff01902ff215885cn
}, {
  a: 0xbb64bdb67e1fa042f70fa655aea50a79ce11aaff106508d51972d17d676n,
  b: -0x85d29e156d22bf4347db000n,
  r: 0x3b369dfb6255fd166f44676n
}, {
  a: -0x59dd6a014a734a0597b68609c158c25d622ece349fbd75e2n,
  b: 0x3552c32b712dd8f381655de6n,
  r: -0x283f57cfee3ad3c7991cf760n
}, {
  a: -0x4e5d54c3ce42f88cfa644288a0538590c081797a9d4385172n,
  b: 0x1e6d2888f62bda15d328d6522a475a8f08bn,
  r: -0x1e5cf2091eff73d9850a614267268821f8en
}, {
  a: 0xafaa60e2b43d896bffc101665ee87724a80ecc35177735269f16n,
  b: 0x2038e8cf97e909dfe65afa2n,
  r: 0x1e34266251f2d7b9b5c7ab0n
}, {
  a: -0x10b1e6e0f83c066bcb6b8b3fad887424b1efc1aab1871e4ba35ec02bae776cbff6en,
  b: 0xd610b607dab3d65876a203b0a0n,
  r: -0x13c5efd67d4ed20254139e0fcen
}, {
  a: -0x25f1f00d240aa7d556091349168cba1e32e4a37b4ac031101e09c46adcb9d7f1cd4n,
  b: -0x55124bcab1be6049311c833ae7n,
  r: -0x42df100a159f379667fd8f9958n
}, {
  a: -0x7193e4e0963d2141dd2aa4218bd16605b3030a2c72bd0aa06352e5d38e45n,
  b: -0x1f39b2d6f1e54132a1bc5ec1e3a9ebba8bdbf9bdd1b83n,
  r: -0xafe309bef7badbfcc84aa3b072fd8c1082ef3e82ab9an
}, {
  a: -0xb23e2748e1ecfeca0d2479e88c72e18d85ac1d74fd0aa0525c9dd24b7e88c7an,
  b: -0xeab316e97fan,
  r: -0x5da5b39004n
}, {
  a: -0xc4662680e37cbad6e26157713cc7a6ccf681e84e2ed5286daab15a149cn,
  b: -0xfc5e1ed0d64aab032a5a7ddd4018c63d837e40e19515n,
  r: -0xaef6f805f70698bbd5fef35182741d36cefc57400776n
}, {
  a: 0xa4b0be6c472e473822e9d0cd8c77bbabf55ceab83a8825b63c4f8d1df096d799n,
  b: -0xe06ddadb3ad48cc0187e2ddaece8953752853b6ca6e29cn,
  r: 0xb141131f7c892113f7cf63b1738d0dc5f3b5716446c625n
}, {
  a: 0x7c829485357fe75218d58de548a97de4913595daa948bedad60cn,
  b: 0x2518cd987fn,
  r: 0x4eafd4f6dn
}, {
  a: -0x1f31705355de9f0d227feba8e43b02c49587b5c4147976761e3965b56c9b2n,
  b: 0xf41af12b97eb3246n,
  r: -0x3ae40b2e56954a94n
}, {
  a: 0xd66a7fea293a2a5d32864fc520bf57c1eced8cefe28765bd92fn,
  b: 0x1d94d46d0e70bb73n,
  r: 0x96a9a8dc29b2283n
}, {
  a: 0xbd198b1cff1c2c7613746932cf8e6d3201b0d49f69bce46ee35112ab1n,
  b: -0x63d9n,
  r: 0x3f63n
}, {
  a: -0x785fa6135ca7ca740b89dbe484055ca88ba0401d10n,
  b: 0xe7379afcee1f98cc1fc3296363b35a5be4d34f17den,
  r: -0x785fa6135ca7ca740b89dbe484055ca88ba0401d10n
}, {
  a: 0xf30a052728cb7fecbac00e330b7d484978a2cc993262b819182a8933bcc4eb206bn,
  b: -0x2dcbn,
  r: 0x2605n
}, {
  a: -0x166d9d69df6d5940f8576c690aecf453434c7e51070562b996d2f3f3d15651a7f862n,
  b: 0x43e87a9282606c80b7bf321223f23dc2b761b82b58d30n,
  r: -0x1b7d633e9038d42e9e90c16291382f33b4298b04787a2n
}, {
  a: 0x38ce6ae9892335cdd6cc74713928a59dd358d6a6012620ec9n,
  b: 0xef08ae98b0d2db2477877e2a842n,
  r: 0xb90225c7cd547102b7c3cf0211bn
}, {
  a: 0x6893412d6fa4c89eb6b390723c848b61eb786d7d53f296ac03a566c3bc26n,
  b: -0xd76b56be9ac8d9b632f7d1n,
  r: 0x18cb573f9f0903822ef58n
}, {
  a: -0x5eb09dfdaf4781e462ecd39164ff612ae96c8e32b1af07ce5edec28ce6n,
  b: 0x693bfd4d7459667463fdb18f53f5282e6256ee024ffb1n,
  r: -0x4e151606a9712228f3ff3b9f7c7ed52a926913c813ea7n
}, {
  a: 0xd931b2a9d7a78244643e2614e3efbe6ba0240afe60672713aae1c379a6802c00d248en,
  b: 0xf0b0n,
  r: 0xa46en
}, {
  a: 0xbe40d47f21da041311983ed7b3d92beb063bf737f55e19a3f65404e1n,
  b: 0xb085a739be0c6c42e524c70dn,
  r: 0x56c72f0cbb5a1ca2794f1103n
}, {
  a: 0x190597acf8af5fdf65fe162a08aae480c70063cf3d191738af8dc91212d1339b204n,
  b: -0xd0a3ca02f2d0789n,
  r: 0xbfa7d163982f7ban
}, {
  a: -0xef214a24b4c1558ce72ec7e18b168cfaa586c43846e1c3e0e382d2ff38ac8n,
  b: 0xdfa52228e9bc369129fef0cn,
  r: -0x712041814e7f412510fcadcn
}, {
  a: 0xc8fe7c0a33ad4308fcd5c0c19c5f0f407324d84a108a5d7dda52012b5277d1c9c2087an,
  b: -0xe7d1ead378093f8e36d489d07615b3a9583b03602a0888ecn,
  r: 0x8e13a6d2ddbcee6c981d5021deec5754adff662313634516n
}, {
  a: -0xe42ee25e5832e2a3d3d688363a452339b5dc972faf696df79ed62943n,
  b: 0x4983d42c25c6dn,
  r: -0x45d75a527fe91n
}, {
  a: 0xe23750344f83188b1305217bccef623d300c7c78a86a86196713c12a0cf4f543d5ben,
  b: -0xe309365c17e8460d4f89065b2298467n,
  r: 0x3a0b50c11620e6088f9cbde329a5053n
}, {
  a: 0x3e43dce43b6b64dc923e6015b9e0bef5bab0c3b7632e7ca524dn,
  b: 0x21db3f30ae7fd8b65f9db7792440bf23e75030c34n,
  r: 0x6133d99d2997094290428b10316efae886521411n
}, {
  a: -0x70e17b409d4bfa24718fb355f5cb9b9563da3e2f52c9n,
  b: -0x7b0d5a9f7247c59d390e00a6a621n,
  r: -0x4edce5854fc1704915d26c3b8f5an
}, {
  a: -0xcaa727333c94a86af09fc309f5d423bff29b6c164cda72cecb71f3ef459c285760n,
  b: -0xc4f23762baa587f8d3213f51537de7760a44d0d1a98e4e7f5n,
  r: -0x5cb856dcfde472b7c1b6baed718846bb91f4b92d510799fcbn
}, {
  a: 0x3dab1c45b5f9b2ce48dc5be711a6a5559908793c10en,
  b: 0x62209543e68ccbddffeefb264b7f7526n,
  r: 0x2dbbd2f90b14a70e8771e9f3a3a35bb0n
}, {
  a: -0xfc2d8a2f7cede0359d6637822a22bf8664f6710beed5f916ab03789ed8f98cn,
  b: -0x4d62f38289513557d333dc9afbe45c9c7596299n,
  r: -0x2bd8a6f01e867dbcd73106e2dd6948d39291539n
}, {
  a: -0xc32c797fea1dfaa58281a66eb3644d0c41aadc2def3112f64d36e9n,
  b: 0xde6bec8803an,
  r: -0x6626adf042fn
}, {
  a: 0x4edf3c29b28772198d33312f69c1c43c29141e5c5f480812fn,
  b: -0x68c2ecec10f73ab541f4f023fff3610bd201227fb3a63f9n,
  r: 0x4d0a78a5ce06119bbb7d1469cb3b734b93447c988b5866fn
}, {
  a: -0x7d96c87708a03e6a4c90ebf4f8488050112967a9cb3cn,
  b: 0xa002c644n,
  r: -0x595722b4n
}, {
  a: -0xa9312025caca372dc1ed882e63109cf5f19b3f4e1405n,
  b: 0x25cfbe7689e4n,
  r: -0x2e2b69c9535n
}, {
  a: 0xb9d4b778bc3467a2d354d80402eee4c7997268d24001f8a0fcf559af51eba2fcn,
  b: -0x60c62a0f67f920eb04ac2f00dd14de9ed0bd0637c3dn,
  r: 0x56417e46d6c0754e044fa3c9a7451eef8dd758f4527n
}, {
  a: 0x7e971c66a0ed831872e2a2c198d3bdd0272fb3aec8c815a0e7546cn,
  b: 0xf93d3853bb4a83e639170f597f51a43747c44a7407a2e80e5n,
  r: 0xf3522d0d0f52202cf48e8281c9806eb6e4d94e0ad03d55cc2n
}, {
  a: -0xa94d857b95770e9d6d34881a9682a405fc6912ddc810fdc2854fd422b05f954bb143d6n,
  b: 0x5612ff1f63de8b69f484b10d28b303868994adcbn,
  r: -0x1e1e6be43bd0b8dd77b1656b263feccdbad3c3a3n
}, {
  a: -0x8ef877200c0409320c9a25b96027efa1a21bb06ecfd4b08269c7415a8f35bn,
  b: 0x41ae3247b1118f18a22a7e8b9d9c2910b9066d0617bn,
  r: -0x3c6c1babecedecc5ef0cd6a4cf825ce6ce7d9d5b01n
}, {
  a: 0x77d3d54806173009327a7b9ab349f84636b7948042f5d5e27161d95580n,
  b: -0x6a528c5655b11090036d0dd54086n,
  r: 0x241bad16bad7306775027a2a4e60n
}, {
  a: 0xc4cc17b431c544460eea1e831ab0aea3a7b3be6757c0c1an,
  b: -0x473118d05867bb37fa925474fddda30d82b17e589f58d7n,
  r: 0x10513773ea8016c1dd7b641608f2e3e804ba2f3a18c726n
}, {
  a: 0xf283c6aace61368bc2a61f54e9fc4dc80b38e7ad586347c494758b844157cn,
  b: -0x19a665ba75f393n,
  r: 0x19e6d17863afbn
}, {
  a: -0x7ea84ba46be6849c6c7721f90d23bedc3f6f29654ee9den,
  b: -0x15300e4f75d924a9f793abca8f6en,
  r: -0x129cba79cd6a54b3b82fcb67c2b4n
}, {
  a: -0x586fc7c7d44b22d67263d84294808b4cba28fc0a9f2eace8b3a26620n,
  b: -0x39f7ea0an,
  r: -0x20fb5698n
}, {
  a: 0x6897647e4768ee3d1879fef65b99f670d8407d60632b71e741f6e09bcn,
  b: 0xb1c537fdadfb82b4f1a221c091639cb97ban,
  r: 0x207180a9dd42608f1adba287b0a9bf6dca0n
}, {
  a: -0xc1b67e293bb49ae05023024c7be6139cd1030cd2bcc075f2f8d876e87f4585c9n,
  b: -0x3ef5c979d06b448100792f1e85n,
  r: -0x34ea98652e1d8d9589dde96d05n
}, {
  a: 0xdc54eec2dc1fd33ba975d3eb6911f7691d926a300c50be7743146fn,
  b: -0x635c9767c029723c32e41bn,
  r: 0x420270349a76beb0f87f48n
}, {
  a: 0xded84bb7049b4fbc5b62b2429ec5e12e67bb1c62a0596d44909cda02fe24da0fn,
  b: 0xaa17n,
  r: 0x9a8bn
}, {
  a: 0x6445866656a3232318ec22b7900d8d5dfce8b0e679b90431ad7182da69246e11dfb76fn,
  b: -0x3ef2e3736670352822f9a91n,
  r: 0x27c7f416418a13f4f8fbcd9n
}, {
  a: 0x6fb1be66a18187cdfa0d859b26e397872f83bfacd2abf0e76d04297n,
  b: 0x9ed60810416caaeec9b747a92f3aa8e1b10b5n,
  r: 0x4dffda10dcbe4edf0c8b92e1768917056e1efn
}, {
  a: -0x3976bbe71cccc867e2ea39ba129d3049eab03c8c0af0cc7ce5d6e202947860n,
  b: 0x133b2ab45f98125n,
  r: -0xcf50738c7f026dn
}, {
  a: -0x6b86ed0ec727038c12e5561e3c9ea6c24379a56a4926792a37ca41b2an,
  b: 0x8d4db0e19cf08ad79b837162521daac6b041a57n,
  r: -0x238ef8fb92218526e1afbc09e2e1fa47237c626n
}, {
  a: 0xdb5a13d14e66025750d62161f6784d0f86c8b8e89a18e744116212ff30ae4fn,
  b: -0x360a2498c59a7c7063caaf765567831a028d2af3379256d95n,
  r: 0x9f11dfb799b9d7270feb8754beea4a7646dc8e79cf106f08n
}, {
  a: 0xcd54ff1c7dbb845848f9ef25fef69c58aa2736bafcb68392649305en,
  b: -0xd5921b1db579b544de6e4632n,
  r: 0x6b58d078bb623a8d0f51fden
}, {
  a: 0xd6f3bcbc393351bf0dddace78d1d8babda8b6901987f5570c6d14485dabd98ebab8n,
  b: -0x9b27f63b0762d4900c001fa0d4721b8264acbn,
  r: 0x4d2dd31280bd528e87985f0aef202e55dd4a4n
}, {
  a: 0xf8292e17c10582cae1ebf0a7a54927a350a2c03302b9fn,
  b: -0x6fe4d71ff6729n,
  r: 0x200099862b2bbn
}, {
  a: 0x7db2bfbc2b7454350d2c51d3431db8b8a7d3b4e585e06266n,
  b: 0x57a222c3ac517cebf862aacen,
  r: 0x15e73cdd0e5d6149e62e81ean
}, {
  a: 0x52c2b988c36034fedf433c6e677143f18bc5c4a773542975n,
  b: 0x27447cd24ad33n,
  r: 0x1a192dac82319n
}, {
  a: -0xbcb6ab520eff5f3a7555103d28e44de6817f706266b53557859b06299483f24417n,
  b: 0x5959e7dfc151adca2aa5fbn,
  r: -0x1938b6ae8ac9d14c82c418n
}, {
  a: -0x304694f9ace4d0e3af37eb3da9588573059ce02e7a07452f2ec1fn,
  b: -0x7n,
  r: -0x3n
}, {
  a: -0x20da120a5a41f288e16f97278c898021890fc72df328fff060c69d94cdn,
  b: -0x26be09849494e335f8be4d632164e6255426d0f7b9e6cn,
  r: -0x16961522b16015d5c4298a0f03fafbb537cab3922adb9n
}, {
  a: -0xbcb7b88c1abb667b765c915e2335214e201c89c8aa422fdc8853660ae6bb2e30n,
  b: 0x26b7ee5d57fe44ec54819eb57de35e46471f80002a99n,
  r: -0xfbad5a8bfd84642333f1a886022f5d5cc02de5d1cben
}, {
  a: 0x8dbb18062bb19b666486062fe87367c40ff9ffc996c7b6n,
  b: -0x59e3a78b1f9d56f5438e7bdad1c3203n,
  r: 0x1d86b60cf17f5f63a34bb4822b6d2b7n
}, {
  a: -0xe2d694c14141e22ce9918de2c25412f5440bfd4853d6c3fc99ade2064an,
  b: -0xc6c4f77785118bc6f55fe313c10923f9efn,
  r: -0x6bfeb0e1801b694882102f3193e97e4dc3n
}, {
  a: 0x9edf03086a504b98aec900401739f1ea212681f17b401eaa0bda4809d50eddfd90b7c6n,
  b: -0x8a4759895cbfn,
  r: 0x87e24575c762n
}, {
  a: 0xd786db9fc3fb7f3fb5fdcf27c5a08202cdc512b5aea47b8d2287n,
  b: -0xc6a2301fb42ea7ea4636c4e0cc260n,
  r: 0xae40b6131feadbcda5c4c2eb119c7n
}, {
  a: -0x99bac843e6bf9911cd9064082c35f4406e1b0a148f69a0d67c5354a0a31a14n,
  b: -0x51e811a4bf846n,
  r: -0x3243dfe8be546n
}, {
  a: 0x7477a3c7296ebe13cea10056756c65db6f138bdaec19ee3en,
  b: -0xe00264acdn,
  r: 0x1e59c0062n
}, {
  a: -0xfae502da3202ec4fd13f4f0764c766879301032410e6ccab57bc619bd7060n,
  b: -0xbb7c58e7d34866f732c25d975be60d204fen,
  r: -0x5585b4aaae7767e325ea398b3f9dfc62fen
}, {
  a: 0x8ec69eaaffc1141c49762510571b4b3efb005b92649c3993e7c9f997f1b843e3988n,
  b: 0x6f14fccn,
  r: 0x569a44n
}, {
  a: -0x72dbe8913e23422f56a9cb5f94979aa161434bcac5355be8150a814b721296078b9b7dn,
  b: -0xf6ab95a5ddd476edbdfeb29n,
  r: -0x66e4a16949ff66b0c4f0833n
}, {
  a: -0x30630eedeaf302efc54905e077b29577b461847811n,
  b: -0xff9241c3f646c22n,
  r: -0x767e630bbe2225bn
}, {
  a: -0x314f5e1c227be22c1f7ec7181043740cb9da7c0b2fe3a40ca8a073726a47n,
  b: -0xee2d3cbf4ab24d44ea39bf1dbf95a5n,
  r: -0xe91a43d4e86a9c863a3ad15dc39aacn
}, {
  a: 0xf4daa03b9cc3158fef5bd96c277ef1419d1adaf56d3bf6bf0d85cn,
  b: 0xd274395efd658d36n,
  r: 0x780d9b926c9091d4n
}, {
  a: 0xd78e7219431e680e9099386dcdb9a0428ea81b340ba40ee984ecf3c80n,
  b: -0xa57f0024e8bb24f54b2an,
  r: 0x371d7ea358c30f01ca3en
}, {
  a: -0xb012da5c9e0e4dbee3ebb239e50c18123a5fb2acec62a5d4n,
  b: 0x230466b9fe53f2c7ce613802152321743b9893870n,
  r: -0x1264af646855230e8fb465917df546606c7ee7a44n
}, {
  a: -0x8bd5a60bed3b4116b979073f23889c67e0dbb63628400dn,
  b: -0x2n,
  r: -0x1n
}, {
  a: -0xae0b74f93a12b1c8f718cb1220c58a8300099c721f3a44n,
  b: -0x739be75a1fc8c1ef14b909654ed791055cff0c8210953en,
  r: -0x3a6f8d9f1a49efd9e25fc1acd1edf97da30a8ff00ea506n
}, {
  a: -0x488b435fd70eb016c3e16a7760337d01534b6a6505a376a6de8d9efc3a7d49can,
  b: -0xcbbe4de1b361976d4722ffdae5be651fb40a9c6af1n,
  r: -0xa23f10e26c2e725c600999065d2e6224f5de759557n
}, {
  a: 0xc45c0474396afa8449ecece6719dcfca1a4f29ad6168c4d21ccb432f7ce00n,
  b: -0xa39e07cd200da722n,
  r: 0x9239a2641ebf9656n
}, {
  a: 0x1a6739df3116c1553b9411babe7643dfe0238508adn,
  b: -0x455dfb14d089bb94a20f25d83706402abf3b59f5d3dadn,
  r: 0x1a6739df3116c1553b9411babe7643dfe0238508adn
}, {
  a: -0xe2e1b09fef8dc135159c39ff1ab012ff6b9fcc09707334d6c1n,
  b: -0xfe66477fb6en,
  r: -0xa300aaa4efn
}, {
  a: 0x67a31f86965d9e216a33cf42c049ff231d5ee6aaeccebbb21beb56b78n,
  b: -0xad546d9d1b52b4b39bf0d21da78202bced99697825b5f1b5bn,
  r: 0x139e8389c85620e0d6afc5e489cb133d183bd83496f263efcn
}, {
  a: -0x209ae96f70b1ef10971babc99cf94ab63d5ca977b00n,
  b: -0xd37108874d942a1eabn,
  r: -0xc79b4917d59a825f55n
}, {
  a: -0x8167ecb08fdb4dbb892a5686437b66cdb032cc0751an,
  b: -0xc9f553b25892430e6066242n,
  r: -0xc532b389f92ce6a85a4bea4n
}, {
  a: -0x534ba5d1d59d31376370e0d18c864740dd871396d9d3da75e82299e38e4n,
  b: -0x65ffd3189088c2ac3a7e8b2e4fdfb7cd3ef640cc4e509n,
  r: -0x5ce27ab218c803c58785c9836e638d312e85bc863c22fn
}, {
  a: -0x3b1139af53c25ae7803f81b9d176079f891e026e440bcaf45723f6ddb0c33353en,
  b: 0xc38c4a1d1ab77e8ba612ed8413a801adb3580469375an,
  r: -0x58eacd61c27dbdbf2852d7775caf51f5450bded940a6n
}, {
  a: 0x33ff9296018c5503ddf4409c5b020fcc59e9b8b757ecc52ca7f8911872b44507868c6n,
  b: -0xe963d404c76367a1cbe2c7e4d9a62cb7164e056fbe0n,
  r: 0x4d55206e232a4c0c026b4485c68522106ac144d4326n
}, {
  a: -0x11292c8b7e329c62f920686fa5fdead6de8ff5f2a2ff8312cd3ea16693c76n,
  b: -0xeeb882f8e36c7ee4ef01b2en,
  r: -0x43837da17ef663170931120n
}, {
  a: -0xc7cc59690859cc11f25a3bb8c275e1433f3bca59c8a3a0df0833c0838dn,
  b: -0xdd77c5c19c348b2e4a497ace02caee62199ddb7fab43e9n,
  r: -0xa2d2898f934c4d03b2d972d5bf305ba1f13b9c74d59b06n
}, {
  a: 0x1f52c513ecca4e8337c158cdb6b0a48e98e970b8550ffaaaf8fec69c10183an,
  b: 0x8f86c4ed3b8ee3150794n,
  r: 0x796a4f4f1220328c467an
}, {
  a: -0xb44829575d2b3db2156bbf88d8e6da231d7c72d04aa3beb0e3a8d684f9c46aba6dn,
  b: 0xca96c85n,
  r: -0x4cf47ebn
}, {
  a: 0xbeeac41c75e6b906cb8c976d1898577113471aa5a6581b39409f31182dn,
  b: -0xa8ef0d403ee2775d82a565bd9fa7504d709f8a6n,
  r: 0x67071b65268e9faa7706f1e56db453c24a2e32dn
}, {
  a: 0x5534164510ddd3288f17d8797216c515e34b121063dec9811n,
  b: 0x7dc924b1c5798e57f3f4834a5bb4330df4b67bfc8b61n,
  r: 0x6e573e7583db29b012b93b417a5740f76d8f355d4630n
}, {
  a: 0x77fdae8feba890a5f46d82a77c03b5878b8c24d2b32ad6045a4dbf4d1588d46d1en,
  b: 0xb39fn,
  r: 0x933n
}, {
  a: 0x462d4f6c7a84f1aab754193f6a85a9645105fabfe57032n,
  b: 0x892ff3c3b17b684fcc997b7a3ce8040a9c5bbcn,
  r: 0x7500d12ba66ab136adb00c94dfbab9989bcdd2n
}, {
  a: 0x29ba0e3aa8008bc8334b42d96a73a07ddf494be1d4364b148ede6ee2126dd73d6398n,
  b: 0x8ffc6d09a08c66bf3e03fc364cc35be018412bn,
  r: 0x47db7a719463ff789517767e64a053e9dba8d8n
}, {
  a: 0x42fb9952211a343b8deea8d87ee3452e0c62147ab3an,
  b: -0xbc5n,
  r: 0xb3dn
}, {
  a: -0xb074eee4af7987758c137bc9477ce13ef12c2ec8a3n,
  b: 0x5220bd4d73dc61c92fe977n,
  r: -0x141543c0921b5c921280abn
}, {
  a: -0x99002fe86737eca62c4364b404e6159f8e2b575ea7b8c68d336dc7fbban,
  b: 0x5faf16n,
  r: -0x454d78n
}, {
  a: 0xca7a5113efc3750ba78bcaf24ec22bb5c4e7c6be47n,
  b: 0xaa37fc25e957af72b1443656c4n,
  r: 0x8af2c9de0d9214f07931c8bd5fn
}, {
  a: 0x5b3a42055143057b22b6b6bd5244ad3c0fe32404205abc945n,
  b: 0x458d95146bdd51e922c96cd9cn,
  r: 0x398f87b4267203e7c730b17f9n
}, {
  a: 0x8aa455178c60355997d82618535019e693bc6933aeed94352260393e3f6a2d5n,
  b: -0xc8fcbn,
  r: 0x18720n
}, {
  a: 0x6e4159fa51ce8997163d497a4b7d9b60cbf431db5a2876edac95910an,
  b: -0xd631522ceb9n,
  r: 0xb2d9296c27an
}, {
  a: 0x418fb0f3bcaf73cac6ae1addd859f1e85b971e141d23dn,
  b: -0xc7ec8ee2c66a46677f9ac79efa384ff4611b1efba087726n,
  r: 0x418fb0f3bcaf73cac6ae1addd859f1e85b971e141d23dn
}, {
  a: -0xbb8a9c3293212a29ed44dc94ce36e6dcff9a9662433580053cff29cad07an,
  b: 0x102eb12994d4133ee57f7d77edd83n,
  r: -0x385b69099d8441cfcfa00bdb9ec7n
}, {
  a: -0xfbf0d9e4f3b7719c09a1bee819c282136fd71e6ab80bca84918cn,
  b: -0xf8b3fe8cbcn,
  r: -0x50a5743474n
}, {
  a: -0xad3b11664b2efc02d275fac821386181fd8855e5cc7c371b8f1192e27e5c8n,
  b: -0x69e590318ed2142df963078be7f7en,
  r: -0x3422c4ecfc02cc481353b49172c8n
}, {
  a: -0x347f33d6795314a2c534646e00d9b62762353425529cdb158d72f3d7143b20n,
  b: 0x1e6d583992163ab57382c9b4a9044625a379d0cb8b4b8203cn,
  r: -0x8744386539482f0f9ad74d6ed761ef50b6b06e653c129f34n
}, {
  a: 0xabe739032886f18423609320a49ccf6ed81bcdd22e899a3f06c8n,
  b: -0x22868a5e3fe90bbda86596b0dd5456c5121061n,
  r: 0x18e2fb70e012406905040efdcd95a05a7707ffn
}, {
  a: -0xafd26ab38c19dd3f9c8c62acbbdf3cb399208342ea8488n,
  b: 0xa101b19760f16735432c6704f6639671f2n,
  r: -0x87e27931b71696fb62d8a665d03b4dddfen
}, {
  a: -0xf94ecb6762a93ce5a49457a03229bdbf773bd2e3f5f809bd817fc461n,
  b: -0x7e062208c478f5cfc2n,
  r: -0x22ab5d21541607b341n
}, {
  a: 0x18dfbd9a13bc46ba803b4b35e9810d080265aed67c07a130356726d5023aen,
  b: -0x9d0ee9135247ddd2b3459cf956580da26n,
  r: 0x7064cc5c8a21e6c11ec4906f2b17063aan
}, {
  a: 0x18cd38a8f56f8697fc8ae1c1824f13a46933eb0380ddcc1606c0n,
  b: 0x3955406c11ca54a7287effd8d050b34521badf4821n,
  r: 0x33a2c450ac8eff89fd7ffa9e8f698c6080e01985cdn
}, {
  a: 0xdf3eea8cbaa17934c44dff8e16129af536abeb3d4161d61c1e8b7e16992c5e072cn,
  b: -0x89a6adcf72694fbaadbn,
  r: 0x5a7137aefe7edfc2cedn
}, {
  a: 0x366417bfe1c92fd62f65aa5d5b20ae6641e747dd59n,
  b: 0x92494ca8c8619fba57acn,
  r: 0x6c6ddcf5ae33d6c37fa9n
}, {
  a: -0x7de8f1026c390f6d07bb03a46888369b17d47a54c97362dfe9an,
  b: 0x77a7213a07e4395eb29daf4dc368f7effen,
  r: -0x1764a83cc55ba70b25762f56d3776b54e4n
}, {
  a: 0x308aeb447ce5591a5ed0eb2a930df7f9898181101e929a9aa37n,
  b: -0xb58c83db48f1c6ff85543845b924an,
  r: 0x9f1c326c3519c3b8ef39f9166513dn
}, {
  a: -0x159f5caa51cf71f6fa8eb1c9f3fc943075c4ff9b9da1407b91c40881n,
  b: 0x2c3363a57db58aa47de4ce58cben,
  r: -0x132ad1ab14f5e81456b5e19300dn
}, {
  a: 0x8332801e25b95e22bb47ed007ada1d965263ee1bfd6517258637n,
  b: -0x9ca59a0cd5c99bf3a80a21ce1bcf910n,
  r: 0x6d4a4608496008937485ee7ec183b27n
}, {
  a: 0xf8a9b66eaa88a8dcf300f87bb5a1718457a5913726c8bfe1e82d45a9n,
  b: -0x692ee3dbeccaaa630d803173ea613eb0a25edfc11c32en,
  r: 0x630e4c8ec1bf5f5ee951a6a026d125be4bfd3059a1d23n
}, {
  a: 0x887d71d971aa00d8d01fca0ce74080bea7025e783225n,
  b: 0x53a831df07822d5b90fn,
  r: 0x358a293f2ffbc3d54cen
}, {
  a: -0xb47aa57dc934c82c8dbee92b1975b85aed042ed6a8b1ed1ff1062a1dd6f9n,
  b: -0xcd723efea77f7n,
  r: -0x86db39cd76493n
}, {
  a: 0x678ae571b57dfb9bdac4ce94639b815805001c418512f4c18c813961aacc9d262n,
  b: 0x9865dcbdb76ca5945c0a4c4d62da339a268e1cbn,
  r: 0x19d4ba5394fbfa9e1766aa9395029d4b7f963dfn
}, {
  a: 0xcb3286aed53b5b24b7d84cf2fcf796d6dc47635118dae1d91bebaceafe9a2n,
  b: -0x38a323fen,
  r: 0x2f7846d0n
}, {
  a: 0x5acda0d4a87f2deb6933c976edbe215e6aaed613297568f0eca747e03e46df97n,
  b: -0x977afccb439822ef69100bf85fn,
  r: 0x50b574753c72576cb898fa79cdn
}, {
  a: 0x97ff371b19092d84fd3892d76994f942002f3baa73538b3b98577c6b113314c463an,
  b: -0xcd2fea5fce38b87dc91fb8b87fbn,
  r: 0x1dc3c2a68006028bfc407198502n
}, {
  a: -0x759a1a7a3f23ccb5cdd3837a5c9bb5518190e00a91a0fe8d20459c6n,
  b: -0x833982218716772aeb1c4ca64f5de32e8c97feed4119n,
  r: -0x4fd02024c80c4e7102d4318448c57c8323bc65177f23n
}, {
  a: 0x1f463474271d656fccf8709f310c3610eb172bdfd7a725161fac4121c7c719d273cc1n,
  b: -0xa4ed6bf0d6a8d59b83b9b351632f60eea60n,
  r: 0x57148181bf00d66c4cfe4e8be3d6dc887c1n
}, {
  a: -0xdb0b791aa8c665f8e85b2caf1d69f479874b3b61e7d02029335cn,
  b: 0xda196d9d222bn,
  r: -0x71684f6685an
}, {
  a: -0x5c0ff040bf80c370c1bb2deacd70535da13ae5bb3628b4b6cdc9a03bf6327f78n,
  b: -0x335254af5dn,
  r: -0x1683018d85n
}, {
  a: -0xedce04c5b497f83780ad30e9f1c77631ef2cf1a54c4c5acan,
  b: 0x6ed6fbd64fdb9bf3dff9fddc09a4682f251f479e9d2n,
  r: -0x6ec5e79179ed54cdcf716588a8a7f1a1632fb0505c2n
}, {
  a: 0x949b63fcab949ff3d0948c7080d43740d4ccf39d1ac86878bd4ba4b6139a51n,
  b: 0xacb1d186cbf425700e5b85fffc342n,
  r: 0x3e8eb10edffb01a4ac71508913473n
}, {
  a: 0x61537c5991546bbf760a7030d3f24f013bd8e5b2acd325aa08n,
  b: -0x2d478bbc6e433482610f48fe31n,
  r: 0x108adf7ba8c9db0eaf26a0b4d9n
}, {
  a: -0xba9e0fb5543e94a61c4a8217bacc30cbf4610aa0b7a1c162e6a420bef29f8add857n,
  b: -0xae1ba9802a11bdd628f6971e0dd69742bb094acde4abfan,
  r: -0x3323324ed72e2092719afa6a4b21998dbe84f4278fb015n
}, {
  a: 0x7ba81d0313aab47a43aa1637af8a13a969eccd08a11b9af273a28a015b746512c9n,
  b: 0xb9d6d4710d5ed1b20deeea4ca9adef85f611n,
  r: 0x88e0a53640be98b2603524c2f78807cc29a6n
}, {
  a: 0x7a3aca33512cce7af7ee9a3c21a0ea546a8c0ec0878n,
  b: 0x58fc8cc654d78fccd55db7fff3ac47b29438f23edf64d8c5n,
  r: 0x7a3aca33512cce7af7ee9a3c21a0ea546a8c0ec0878n
}, {
  a: -0x816881afb9c64cd5a52675afd0b8d75c6b26fd0c5dab410dc3c7e2n,
  b: -0xbef44acn,
  r: -0x8d4f212n
}, {
  a: 0xcc771c6ab4d47ff4f76ba6f889f49d5a310d4a9f4332e17695b2325c95bbfn,
  b: 0xdd83a2810ad198fe7b60fn,
  r: 0xd276f1ec835c1eff87d8an
}, {
  a: -0x7cb8bb91aee7d0f7ac720accb56816b4c91fb908a87n,
  b: 0x6c5n,
  r: -0x154n
}, {
  a: -0x929c899720ab5297ec056e9d65f1bba9e795929f81966cdef067a1f8f6n,
  b: -0xe71e1af64d2e574bfac9bf92f8716e83ae8b7f04b7f5138n,
  r: -0x2d8cf36d7e0325566022b7a7853f39af879b6a6980d4be6n
}, {
  a: -0x9e05129674dfc0b3b92c0d10bfff4d96c9fa4f22c7ed5e78038d145c839bb6cdc9667fn,
  b: 0x5f63d0cf7585dfn,
  r: -0x113114cca3286bn
}, {
  a: 0xd3b0af0a7eb23d0d5cb3b23ac100da00ed4383381b400a3e7n,
  b: 0xd734c1ae0bb7573090ce1fa932f5c524n,
  r: 0x3779b3a5fe3e908d008c1af0a792ba27n
}, {
  a: 0x9aff3cfa81e40851883df9361efc89f2dbd855996dn,
  b: -0x7f4f61a45433f79ca634f5cn,
  r: 0x32f1e3f1dd6942037716909n
}, {
  a: 0xe5127aa957fa32793c5f28b2dc0c0616ae3736987124n,
  b: 0x36352d94ad31e45c8258e66046ab6d0e69169ec5n,
  r: 0x1830ad6a79d6f3285e0409c901f7a5cfb8e032d9n
}, {
  a: 0xae5ecc518ad0ce2e4e73dd5b1bc0cf566050f6f2aee4d415f87ede97a743cd63cdc32n,
  b: 0x23n,
  r: 0x18n
}, {
  a: -0x88bd79ad80a0ccc91ad01bb66b193604e75654619495aa0bc0e8eb6ab9ac08n,
  b: 0xbee10e7a80cabef82257n,
  r: -0x3e5716600b6879d73a5n
}, {
  a: 0xe41f1203f0dfb3ee85ed1251d3ccf9f349f4bf44707168b30e8f6n,
  b: -0xdcd23n,
  r: 0x9fe4en
}, {
  a: -0x53bd84327dbbb128013ad91ddd044e5ef6b8937703fbn,
  b: -0x99b2c7fc54e1e6e17650e9d114dbeb6f17fc20bc2d9n,
  r: -0x6e42034534abdb746126435529658a76aba8318ed33n
}, {
  a: -0x52e28d397e7a0220d1649711aaf1bfc43f421fd9fee24dfb895c3c2b2c3c4cabf087n,
  b: -0x5fd8932617faan,
  r: -0x58b5fe4b18aebn
}, {
  a: 0x1aa5ba6266ba0d9944ce8380bff84ab2fef5fa9cfd32e90733cb563afn,
  b: 0xfd51cd39b0e914424386779068fb7db866dc0140a85c527n,
  r: 0x2f8497cc10b22ddff33afa0b4da1daaf8b58d161c762785n
}, {
  a: -0xe1e720ce1d0ee3c13ba748804360388dcd37e5a02236a1aeaf730bb7n,
  b: 0xdcbc3dcn,
  r: -0xb1afa7bn
}, {
  a: 0x8f0f91025dd1fce3c66975eda731c10812e76395b1a5f83af9adn,
  b: 0x4ca6b0f07457334b5b67ab4n,
  r: 0x3007a95d3909aac7fc52f79n
}, {
  a: 0x27d1c1da7f47509baaad5da3f6cfa6bbfc71076a600513796e3061138f16n,
  b: -0x83b0c9be1921ban,
  r: 0x2bb62392d32d56n
}, {
  a: -0x97a14fe643e4ff907a431d8f9b4924af22e5158a208d745e4f81e83bn,
  b: 0x3f348586n,
  r: -0x17686777n
}, {
  a: -0x5f611549aea1b86f095c89a3d2a914016c9da5ba0c9bf5078n,
  b: 0x6f3ee5ffdabc2f1106dc4f18b338e273ecd7c2969n,
  r: -0x573bd2897ff8f2939fcb6725da4a0c2c3c5b3fa94n
}, {
  a: 0xe6a881b23604de57cc064656f876b19e8c53eeb5b61969fc364efc95dc4c99af150c5n,
  b: -0x9301b4d2958c15c40d6187154bn,
  r: 0x5cb4cc48cd698e23e52c62b7ban
}, {
  a: 0xf7cab6e55373da2047a4e5cbe567fcf178b90219e09c8c37de956a452n,
  b: -0xb575b0d1n,
  r: 0x6c82f9d2n
}, {
  a: -0xc4a55ecb902284953aadffbbc3d6d053e8d9a267efd23da2n,
  b: -0x6226a61f6cc37a03772f193b041bef5079bc03n,
  r: -0x54dbc922e097ff02285bc837985c39ca22f172n
}, {
  a: 0x6d5828923ba179181d35c672b78e46f4cdbe4193678beeb548fc8d046c8d49fc60b07n,
  b: 0xa30dceb24405b1d4186e03en,
  r: 0x79e4224797980cde4af38bbn
}, {
  a: 0x2d5e028b873f1274570117c826e40bbbb37208390bfn,
  b: -0xd9d08b4bf8551a42f682n,
  r: 0x4f881df31289cb0f4df9n
}, {
  a: 0x3474514534b1c1a0d41601eae8faeb20c858d3da2d1b72e56092n,
  b: -0x77fdbc824e07353bdb5fdbb4922d6b8062d86n,
  r: 0x58f9362dcadbbf61e9a22d7f4db4a6de48154n
}, {
  a: -0x664e47930f23a40522bda7161e6dc4784e4d968245n,
  b: 0x4d1bc87bf995514d0d82113dfb3c6bfffa35daden,
  r: -0x327d16e3a2e95c19da6a410abcc17455f845ae4bn
}, {
  a: 0x12eb7eedb81f8855646f00982e31f5dd4cc69f143ad0cf69c48ae7034f02c3cn,
  b: 0x389652a398476b1n,
  r: 0x32a36d244fb8a4bn
}, {
  a: 0xa5a92247911076c7403756300e20a0db5bc9f151d72dbb142cfb9f54d20n,
  b: -0xdbf8832202391c2a5b89d6f0a80a504bn,
  r: 0x7d9a8cb4ddc647511aa048f5a3eb1d34n
}, {
  a: 0x2cc94bbbdfa327936642696a85bd0193ded4c94b1afca85591n,
  b: -0xdc9c8n,
  r: 0x23861n
}, {
  a: -0x7c5f1b291e0787ae8aaa87d833710c9ff18fe02a147871n,
  b: -0x9dda01211cc2fec03f5d1n,
  r: -0x3fd6140c5b22f87dde5a9n
}, {
  a: -0xaf83fa2ae9168e940a8c60d8de391ba62a3b5f2caan,
  b: -0x4e824e8eac354f19391ea7n,
  r: -0x7dc13cef08f9ca195a0aen
}, {
  a: -0x5533a79ace4a98c87dba28e964cacfb338c960fca13c65b014c0n,
  b: -0x186ea7cbabfadc5af4f6bf0n,
  r: -0xa20db325c7a679af4d1060n
}, {
  a: -0x625d67163a8f9e51c13a577a9d2acb3c1274c3bf4d2a85c017c8cc42n,
  b: -0x470c870cdc49a3n,
  r: -0x2d1f49b5892fa9n
}, {
  a: 0xf84a132d787dca4ba05d17e3da6f7a0962b2d5929a362ea9809280n,
  b: 0xce8045512f9d0758a8297491701100681257bn,
  r: 0xb71f4607448fe48a0e1d7e214dd2178536303n
}, {
  a: -0xfa90b1875f6d10a792cf648929aa27d8ab6303e8411d7a00cf8c2b01060n,
  b: 0x8bf4432702abc66ben,
  r: -0x197d98258a354bf58n
}, {
  a: 0xc37a0494ee10b8da8fcea43ac712bcee6c4bb4f22d0f6a585ce523fn,
  b: -0xc91dd2b778daed319fff7c476cc49206dn,
  r: 0xc300ef72558b6388a06b09194d26204afn
}, {
  a: 0xb14886f592e88a088bd2d48a50ef062830be3b6842b10efa47ed5270532da25n,
  b: 0xc9b79ca94af65fd10c0dfcec2bf006fn,
  r: 0x4e929c452eaa7dfac677bae19edb597n
}, {
  a: -0x7903bda7295ae5d16844d2d3662da92776ca6669810ed543n,
  b: 0x1fb34d38731128a0bc1bf40348992f8d83896b8b9ffn,
  r: -0x6563e9bc70e583fe1f103cefd57650a196b7b28187n
}, {
  a: 0x49d7f72017211e6116a760363e4e6ff86419c6f809ed03e1f862331fb6can,
  b: -0x23a9c3cfed4c9c39320c8987906c12n,
  r: 0x180263df69024e9f2d855b0cfc16b6n
}, {
  a: -0xe476e6ebe6765cc19f56bddfd4b7a37d47a5cc42058c2e3b2e3406ec038dn,
  b: 0xfdabae387n,
  r: -0x1dffc3418n
}, {
  a: 0xad43b2a652703d80cf2e6897cafbdf16da1c85aa5572147ben,
  b: 0xa4c1f3fcdc118c235841165ea55c34n,
  r: 0x227f3282c735066d1d35743638bcc2n
}, {
  a: 0x295f8532dbaa3f5789eeb0f5e76b4a59373160d3a73eccdde6en,
  b: -0x171bc80dn,
  r: 0x11b56295n
}, {
  a: -0x98d10b2af3ebe2c382e5f7c85edf0f20837993619fa9fc9a8aa9n,
  b: 0x3f7861c672a064n,
  r: -0x16b550f7301345n
}, {
  a: -0x8cd3550eb11de37e9e891419fc9058f877b627daf1df155e689n,
  b: 0x4e77863ab5c81891833df9518d7f019f561a1b98bdn,
  r: -0x372f0fd19611205c1547a5da52a116078fac3538bbn
}, {
  a: -0x7784a502323ff4dff93c5c034f9bee056363ad74a751d62364a1c749bn,
  b: -0xd931bf853afd4412932209960b7851906e4644388n,
  r: -0xe90c1fc2d6223824e75293f7efe0fc5ed4ab831bn
}, {
  a: -0x7b82e0f10ab635263620a1dc8d6b40d7d85bb1826143n,
  b: 0xa1790367bd41ad8c3bc9b73fa2122f25046d87aaae69418n,
  r: -0x7b82e0f10ab635263620a1dc8d6b40d7d85bb1826143n
}, {
  a: -0xbe0658be979150579a887d1eabc5ee13ab21fb44067e3af332ddf9c7d0fn,
  b: 0x27ff97a2n,
  r: -0x23646705n
}, {
  a: -0x68112fd47e8959168bf345d635ef6c350c8bffbfc090f5cecac9e9163fn,
  b: -0xd0c34c6f186168d5f158be3ef5a1n,
  r: -0xcffb284ee299a9a732fb5282ae6dn
}, {
  a: 0x29df97ab5beb77f6b360afe8205cb32d3d0ff0eda3444316c40e5890n,
  b: 0x26c8fa4899e27e937a163e1c51ee3b9bfcf94c6dd9n,
  r: 0x1db82c173a4cd98a0de2c64ab81ccebf41e6136e4bn
}, {
  a: -0x4d60d50ac58a8a856664303a5dd32c36e0ba998a90f45a62341875585c33cbddn,
  b: 0xcc57n,
  r: -0x46en
}, {
  a: 0xf2e0650de53372e34b6850d39f5306166af5fd8bf26c3438e53babd0d41a85fe162an,
  b: 0x98cn,
  r: 0x602n
}, {
  a: 0xbc5bbe164ec6d6f62d2c875b2daf780ef06c7e7d5f07d86716cd6n,
  b: 0xd05155fd7bcc53968f2f496cedde503376dfb0e618ac65369n,
  r: 0xb35e453f6fc22365bdef77fc5d7ae808ed02d2e8b8436949en
}, {
  a: -0x54c2082538c03cf08b8a45d390cada8ffe06dfc7fd216782462e8ed9d9967627n,
  b: -0x4caa375138d6b44307c874e68448f7e4f605d1b934n,
  r: -0x2b7daaab1c59cb4576d4615eb42d2a6a4646d2719bn
}, {
  a: -0xc01072c6db848667e40b64b855d74da1ec3b2171e8aa65bb7fen,
  b: 0x1ddabb3d7523994a25a5bea7c5575221cn,
  r: -0x1300b667d53dea5277258dd2d146ac9aen
}, {
  a: -0xfca2845cb9d5eff5f782e7baea90da177ab926af7eecaf0c4b61dd3e5f9n,
  b: -0xde7173cb644cb34321bac030b8ad40964280n,
  r: -0x26f995ede5c60a33643859cc01a870068c79n
}, {
  a: -0x98f2b4653d56ee94fb950aa85e0fc868c1450587974a0n,
  b: 0x743aef9df92f8f3fc402508ce2n,
  r: -0x4484eec332a4b53683e4f66en
}, {
  a: 0xdedbd66a3f53ba140e5a6db01af9a12cda24d22ee5e09090e5c575f1e17bb75becba8n,
  b: -0x18997068e98c1f12b0ebd5n,
  r: 0x897be38e29fe7d8cc6d88n
}, {
  a: -0xcb4e6246cf8146d3de16deae9be53051501d01fb07bn,
  b: 0x55e08010a9e6d7771c516aff2d135n,
  r: -0x47bae2790ba92ad851c512e9ec038n
}, {
  a: -0x665ab25c6ad0edbe94818e6007b76e4df753be859c5n,
  b: 0x596bd960795n,
  r: -0x2c7376b103cn
}, {
  a: -0x81e0185d72924ebbff4d69e1b7fd9f79abf38b9d99859ea7n,
  b: -0x9e97f8cn,
  r: -0x7bc7093n
}, {
  a: -0xf6afac5ea707db9d925a6f3fb0eaa208abcdf767f10fcce1f70ca2n,
  b: 0xfda4e167ce8bbef22n,
  r: -0x58294a7d783a78076n
}, {
  a: 0x163eb1db1a83644592316ea431d91a43eefc572e699d2bfac9n,
  b: -0xba8dn,
  r: 0x39can
}, {
  a: 0x93a4d7074eb4415d6364527cbe746e2939e74c3f101250968ebb3a42d6dd9d0n,
  b: 0xa9a3a53ba94951fe7dd8f496326e371d98379a3n,
  r: 0x1a2500d4a5c17632dc1bc7fdbefd87b0610ab1cn
}, {
  a: 0x8679bd59f8527aac8323196d317d3dc8c2e3aa224f5fcedfbb1n,
  b: 0xec959dc167db5821cc5ba55ddb0b9cef36d7583e755a3ba48n,
  r: 0x78feff6c7f3dc15e6330c3086ba9e544d3b126eee7b3178e9n
}, {
  a: -0x92b61a3567a23586d44a3009006e8026a9ff466f1634303e8b89f0488af2f937n,
  b: -0x50095456d8a8a2f6437c2c3d0d8c1dn,
  r: -0x2945368094d110dac4c50d3d384605n
}, {
  a: 0x31349a731c22d3d9ec8e5279501140b1d5ea0e5d6ba8dd41df07d61f419de06bc2n,
  b: -0x265644d9e5e3591b2b0cfe7457f9d8en,
  r: 0xcaec1df66a00dda39582e86ace7a2en
}, {
  a: -0x2251393eba159f6486e665d02b30c73dc2c8346c16d80an,
  b: -0x205caecn,
  r: -0x19a3472n
}, {
  a: 0xdfe616094ad1a97c3845c232652c8158e466122d1cccc94a7n,
  b: 0x117n,
  r: 0xe2n
}, {
  a: -0xe9359bc4945f1ea2510ced8fd65cecde85a9dbeae51cd4n,
  b: -0xdd1b6d69b3f0a5f38dc2ed7fd5c25ca188a7c6139d896cn,
  r: -0xc1a2e5ae06e78aec34a0010009a903cfd0215d7479368n
}, {
  a: -0x45c8aa2ca78ea2253b8a8b379afceb8dca61c83d15aa05n,
  b: 0x9094b7d2facfe1707f51dec00bbe96f3037d3a7331052n,
  r: -0x68799c059d3af8403d6b9c395d9898378dafeaab037c7n
}, {
  a: 0xbbf4d7cebf0d83a15df30afdb98d1dff51de4f70107d5891d7dn,
  b: -0x710bef32b7e48296beb90en,
  r: 0xf3197053f56b323829a39n
}, {
  a: 0x968e481bfbd34ba0968ad40734b6b9b33544fd2ce5064738n,
  b: 0xa3eb3902a6375eb3en,
  r: 0x575685b3b0f63a9ccn
}, {
  a: 0x29feada024ef7b1c5db7f63fca3b952b8a43f3d25337an,
  b: -0x803b9819ba59n,
  r: 0x66a28cb7ebf0n
}, {
  a: -0x23fce737c696b82885bf29bdb12bf5145f4e1c1dd7n,
  b: -0x70d5c37730197ac3n,
  r: -0x17a6d0d6f198392fn
}, {
  a: -0xb3b288e9bc0c8de7b9f8d5a6cd0fb9644880b67322fa9d96d9320181cn,
  b: 0x9255ff7d5786n,
  r: -0x90c453aea4d0n
}, {
  a: -0xe2c1c4a1540d475984e37255ac3c78dbce26f28ad43e4dca309aa13n,
  b: 0xecbd113243d550b8bb8d95315d4a39fed6e18becc0n,
  r: -0xe5c988acb1fddecc173530fe93370adfc3c7cd1f53n
}, {
  a: -0x3df2b1b7f0ed2062faaffefdf0d079eb352901efe3d8cb7af86e15248802ac55b339n,
  b: 0x5b043222a7bb46bbbad1494d0ee052691n,
  r: -0x22bcc6dee7c7ee77a953b09609ad12043n
}, {
  a: -0xc9baea34b743098759a325952003e065c8d12c337bf871c071c665304fbebc413n,
  b: 0x8576369b7d7f43d632216932c38930e55eaebd712827e2dcn,
  r: -0x77c90c4f848b02f53882995bae37023488d209518ee70b7bn
}, {
  a: -0x765c00a6c2fb6ea5f5da385e14e17ca128f5cc153e8caa7ddea3ee99n,
  b: 0xfdb2a7b91f056eb87f7e67bc15cedd72n,
  r: -0x97b8c7f17aa5d6726112de53ddab1ae5n
}, {
  a: 0x387237e485d0b577ea0bd71e327d8bea3bad41c8de54c7a13acf02aen,
  b: -0xf68ac8b5n,
  r: 0xa36c5a3cn
}, {
  a: 0xaac38e97c904c73a66279e759b0351cc3e8d5feba820fae8n,
  b: 0xbaa09853b87916f17803a06dan,
  r: 0x4b2ad9d0835e9ba5bdca3bbf8n
}, {
  a: 0xc135ec8e392dab742ba902e6eb66edb9e83f7661efn,
  b: -0x106475194271ec3892142089f77ec2706d2c27ae6cc4n,
  r: 0xc135ec8e392dab742ba902e6eb66edb9e83f7661efn
}, {
  a: -0x206c899b5fcc7c314f036f652ce898e8736490933b66b17d4n,
  b: -0xb6ff45n,
  r: -0x4723bbn
}, {
  a: -0xd4a3b820a60f01f6cd1597a1074e3737462306a0180434n,
  b: -0x7090fd7c381e876acb613cn,
  r: -0x1608c65c3f26235ea0a42cn
}, {
  a: 0xd99e9e4b1c6285366b169d2b6f8acf11b7b12d2b4bc1f82a5675969e7n,
  b: 0x81de0dbf14d5d5a00f6dd34ab5b9f9a6d113e22bc15a87n,
  r: 0x64b2b0bb2b5db78c4f11c1b7a0658c62b55979bc0d00e5n
}, {
  a: 0xebfa8ef2375c1591d04397ea31299fee002cee549984fff0353f7119a09acn,
  b: -0x154ad9f7057c46a2585b0064e644df9d1d6096n,
  r: 0x14d15fe55e75bb7eebbb54d9f2ecaa48a7329an
}, {
  a: 0xbea8c9174816dea22647681db3818a98c635510745an,
  b: 0x3n,
  r: 0x2n
}, {
  a: 0x202d6387e5768c3bebe8e85e55e3e00c452c24b063d9e66415d8319126f117f52362dcn,
  b: 0x3cabee58dd6n,
  r: 0x20e62910d2en
}, {
  a: 0xddccbf2d2e5758a900c92ad55d22ffbeecf772e0be9208fcec0073dn,
  b: -0x861a35a0583a8aa005312ddcd1be4ea1c438befc3f4n,
  r: 0x3d073c020afb02ec309befd1e406da5670dbce35b3dn
}, {
  a: 0xf1c6f09abd073b1bcf3aa72c3f6b4f06e71caec95146n,
  b: 0xed05fn,
  r: 0x5f6dn
}, {
  a: 0x17663f6f3ec884f90856505219baa2a00ff8813c9ee3ab33n,
  b: 0xae4f85a8470fcbabec1909fcfacn,
  r: 0x16aa10b2906e0741be46137d3fbn
}, {
  a: -0x62e14dfdb6c26a420259411c0918829b46f09cf1a8a8e14f0b41409801e6342ee731n,
  b: -0xb3ff759c951ed3f5c9e3471a663249cdd6929ab07478n,
  r: -0xa193c53e1cab95ca1806b306aa8b6b5cbaf81c2e73b9n
}, {
  a: -0xeea17f4afae3c92c28faca84f067675a9f2381560e40bd3a070e51dn,
  b: -0x2129926d92c91a86e072c02563f564ede49c3b10c932ca736n,
  r: -0x14060f659213697435b9fd595cf9abb310a8698fba15390fbn
}, {
  a: -0x579e92f7bdff315e016dda89f69583ae3a51366439206fc4bde80b814fn,
  b: -0x86641106b93c467901be3361e772a0bd4f52f4n,
  r: -0x5b26476460589d9a86ed55a141e476eeaab1d3n
}, {
  a: 0xabd94b1c067009fce6b74817c1167788928b732b5ca30fb91498160c2237a3d5ca6fn,
  b: 0xfcn,
  r: 0xbbn
}, {
  a: 0x354dd1311f9b018aee88eb0430e90f3037a284475a25071975an,
  b: 0x72f7b4efd295ff7ee6981f3n,
  r: 0x5b5f78616024146109be41dn
}, {
  a: -0x1aebbdf68b834fe787bbeef5ffa6a30e80d64be70a1c4277b8ce5e9b4dccf68cn,
  b: -0x69e59125a658254d0543e80234af9484an,
  r: -0x32019423662772c4690012d1130779dacn
}, {
  a: -0x74d36ac7f89f8087bbb6c0a056c6c80247ecb9159be5n,
  b: 0x6735f23e60be049cb1n,
  r: -0x644a9d63faf3b258dbn
}, {
  a: 0x1184f6e9005963c5ef424d37615f2aae36501a7ea6b2c36077d712cn,
  b: 0x4ed1acca3bc5346aa24e0f500553865n,
  r: 0x293e89ac61da2350b51a71088620c3en
}, {
  a: 0x113d6775bfc3faaba09d6eefb1595de5fb0300bf874674cdbbf00f8377cn,
  b: 0x91a5en,
  r: 0x3cccen
}, {
  a: -0x93963141433f5152087433e31e51af85c19756317d97639bc7b350d6ca5f5dc6en,
  b: 0xbda826fc4dcaa393e5c6n,
  r: -0x3c1f6a6badbecdcb3288n
}, {
  a: -0xf370d5f1788576c6e77ea24e352eca1dbc12a0e8c434d8b67043ff2d1f1n,
  b: 0x677a18bb095e23beea4c8822e8114d6d1d8bf58556d37bbn,
  r: -0x500bd265ae8d94213f7f51bf9f798dd5d87d2b122fb4064n
}, {
  a: -0xa22fbabf5b173eef5de0449913548b3f0b57b46b50cn,
  b: 0xf795fcee99a1bf90de2834968480acn,
  r: -0x56533985d0fa0b871d3eb014ab4548n
}, {
  a: 0xc8991fca67775b9b6ade666863ccb2cba379f9da3eedn,
  b: -0x996e96e7a2b647af1154b02f4dbbb0n,
  r: 0x1d06d8a68fc7adec00c9a6d8f4fdbdn
}, {
  a: -0xd659415a03c87662eaf498a720bfac84edcc01c587045n,
  b: 0x5n,
  r: -0x4n
}, {
  a: 0x7c627226adb32f9609d1d63481cd3a570b696dcdf7cen,
  b: -0xad1fd48b77b7407595b583c4613f8109b6777n,
  r: 0x606cb221ea784ff9e2e304e1bae40535fc713n
}, {
  a: -0x8f6e6acdf9b1cd426832e21cbcff1d1b42d6a94ff1b7dn,
  b: -0xbd87590fed8ebabcffan,
  r: -0x51edb83a536ce329e21n
}, {
  a: -0x2770162b04cc622d6b5023b879c9a6f96e08edf59edee270fd3744355843104927n,
  b: -0x8952e20ff4c7cc7fcn,
  r: -0x88e78de4be7b79847n
}, {
  a: 0xfc140a5555c3be6272427ed0123add431f149404ec601d46n,
  b: -0x58ea4909b393afn,
  r: 0x81f4ef378d220n
}, {
  a: 0x3487c2cd285e4747462017d83bc9c1e4a36d28f84ee8an,
  b: 0xeb07c24dn,
  r: 0x8319f41en
}, {
  a: -0xe3b91d04c736b83744e5cf347e4fa0643133ba73b37n,
  b: 0x5a2b004c28b6315f55d1e2b0fb02cf0cfn,
  r: -0x102ab109e28e18decb8f162240eed6e17n
}, {
  a: -0x2937cfe3758d47912fe5a728f536f9013a06b4b59e54db9a5eb00bden,
  b: -0x4cc58886ef70a4d590n,
  r: -0x36fb1636e1133d6daen
}, {
  a: 0x972848b6ab3dd5d56259e8cbd8b6ca16509fcc76dbn,
  b: -0x6545bdbdfcc5a3d0525c3fd50f8en,
  r: 0x1125613016339af766c4607174d3n
}, {
  a: -0x78ee562852a7b7a8e0e217b64926a11890252cc59bca2d6846974b5ca521en,
  b: -0xab96392d34cc430d5829752n,
  r: -0x126fd22078d4d5e90e6d7d4n
}, {
  a: 0xbadf7dc9a8ae8200a32416699f72a3b79a4a22a5b8479c5c69bb00796d8213c24n,
  b: 0x6512be5ed4ce7bbfec00a5a37n,
  r: 0x3f7d054eecd3fc31e17744818n
}, {
  a: -0xa59e4b53367d0b9536a6770d4a360cf17be09adee2f6c38aa75a6n,
  b: -0x66eef4648124e4168a0n,
  r: -0x23781b3162554fc17c6n
}, {
  a: 0x94a735101a01f2edab60fe9358c356fd45e1138278b0a5c8639c71n,
  b: 0xc14178cd266863c33aa214a0dcae0an,
  r: 0xf9b6a0bc766d8ca6144c3f4927efdn
}, {
  a: 0xf7b02ef284f71e6f755f8989da37b478dfb3013cfc14ac8n,
  b: 0x49fc266aebd187ac478186aab7e5096c9f35dbn,
  r: 0x4643032e8d670cb4944edd4b6b765adaea0aaan
}, {
  a: 0x72e55ee99ad10aef4d1bd8b505a8259649e33470a485d2a421f8n,
  b: -0xf6a1464c523f8438d898e6bcebc1fe2aece7cn,
  r: 0xe5fcd92a788915566e08c4aad9cacfc8c155cn
}, {
  a: -0x942c6ab1691781d7ea373fc8600ffc9b7864ccad36c3e057c7f059aa3bb30b7b5e3an,
  b: 0xfae0eb2edn,
  r: -0x4a73a88f2n
}, {
  a: 0x62f68f9cffd9825a892d052e8d33153e9b1f060ace7a41a690fa3282a6f43ean,
  b: -0x8708f68d32ff191en,
  r: 0xea150bcdf5a12d8n
}, {
  a: -0x9965906defa076a7e907e51b91b66ce199deb1a4e28bb22436b84e36144n,
  b: -0xa8f6b8906d666d1adb25465bf40623a8n,
  r: -0x7e71af3dc34b2fef6265f213469b68dcn
}, {
  a: 0xcf81ff1ba56eb9cdcceb53172eef100755cb45dc17ba207fe716c6b02973ef8n,
  b: 0xe4f1b40b3652918b61ed55076886an,
  r: 0x4e7626ff00c895185a1a67d45d6e2n
}, {
  a: 0xc5c061933ce6ba0bd98830265ad73db0e5c74ed1a14871ea7595da7e4737n,
  b: -0x3f44b06b8dc73b7n,
  r: 0x32ab15941545147n
}, {
  a: -0x3750ec6eec091b3ad08ecc1f903d34290c90b5258b4an,
  b: 0x2333f9bb9950905n,
  r: -0x106eb0f62e93b0n
}, {
  a: 0x8e52cddc36621323c99b3b5fa4c77d4ff8b96bccfa683ae3c15c39822n,
  b: -0x9e1929ef96cb3718ab8e5c289n,
  r: 0x5a77108298dc2973b7ee0321dn
}, {
  a: -0xd0c03ffa86dee0a9888a9f9b522e5e00fb60fad12d10dffe4df4cecd94e6n,
  b: -0x9540a48a586e1f81fa9be77767n,
  r: -0x715b70caeb007b781e2e2e4d4en
}, {
  a: 0x5f6068e45373fc867d0d36d7ba4038bda678729ad216100d8c4abd1bn,
  b: 0x2ebb6990453d7765n,
  r: 0xfc050c4f9d5012fn
}, {
  a: -0x67b78f1908f57f5436609db9b3c67f34fb07063645fn,
  b: -0x158b18865905c60e66b08ddde3097918dc4615d6f233bc3n,
  r: -0x67b78f1908f57f5436609db9b3c67f34fb07063645fn
}, {
  a: -0x55c05a9b561c6d7d55c08c5cd308892e2f4b047e37ac4c63fn,
  b: 0xa7a06897a19032807ef11ff45bf0753eb626f61an,
  r: -0x9a5696c1b090639bd97cd3f728611c534886ad4dn
}, {
  a: 0xf2bf78995e5efe6d1ae6b9a9ced6d5fd9fe5fc480af8127501n,
  b: 0x5ec673e3f5cf16c59an,
  r: 0x5414e15a37b35b3cefn
}, {
  a: 0x72406f3221dfa4799d359af0ff486b35e7ff1a4139b2de5en,
  b: -0x760c9n,
  r: 0x3d939n
}, {
  a: 0x5977abb2792f274f657c373986e547a91564b6aa0238e2016n,
  b: -0x692n,
  r: 0x400n
}, {
  a: 0xb85ff09b931d101738ecf5ba3b674e8a7d075f51524b248n,
  b: 0x92410afn,
  r: 0x1ca702dn
}, {
  a: 0x1470a7f4066cf4281e47037341a7ec113905daec322b2e7ac6cf9ben,
  b: -0x2n,
  r: 0n
}, {
  a: -0x473c585378ea1c8dfb8cf63dc596cda8d46429d892d79a18f3840964n,
  b: -0xa3dn,
  r: -0x44en
}, {
  a: -0x8121f0a625d2620052f210fc15cd311f04ced2012beca97n,
  b: 0x4729b0703fd5b607bcd18684b75n,
  r: -0x3c5c28376de509ed6600dc74281n
}, {
  a: 0xd487338ad0d13346cf8a22d31cc6f706f27c0ad3568ed82e3477fe5f74cf36a4e6aen,
  b: -0x979b8df5904229n,
  r: 0x5cec5365355160n
}, {
  a: -0xa2e190d6cfc305aa324446fa28aa075b33384afc70fed0c9446f0d6db2a2c43bae8n,
  b: -0x18a3b554393caa7ea4n,
  r: -0x81c833a73ff677904n
}, {
  a: -0x662415609b651f0e4b74a6101410b521804e80699ac811d4dfa4dca4f96e8b6a0e3cn,
  b: 0x820179786e48a65355ee923n,
  r: -0x8ca4b7803002749f61bb1an
}, {
  a: -0xa4a69ae23f2abc5efed5aa6ae31adb519d1dbbcebec24ca528033n,
  b: -0x3e7ef796bn,
  r: -0x1d18e57f1n
}, {
  a: 0xc489ec0d4f68bd230c9c66ea4af50c0bb232abbeb3039cae7238cb1320n,
  b: -0x613b8d61947c9bb0360b0153e05c4c8c9f6fba3n,
  r: 0x407aa7d7eee3e6e873264e87609322eb03fbbe9n
}, {
  a: -0xb7fa0e60a5bc52c15883c18d64c5652962923af9716n,
  b: 0x42355b7fc83fc65fdd5eff9e15a1952a68n,
  r: -0x10d961ab4794aadfba295f3041c68d8016n
}, {
  a: -0x1966544b9672515742b82bae1964f958809900a4df3447ec17n,
  b: -0xcdf48ad2b830d393598a9n,
  r: -0x5b1515102b7111fd0e761n
}, {
  a: -0x5f07f23bed774f5cdff60e5ce7c9856ab03afaabba33dcc03d2bcbcd0d19791n,
  b: -0xc69c07768b4d78c4ed7ab10c0c5567ec839d332d48fn,
  r: -0x8b98773d019b74f2d64f9cf61de755d40ab3b01dd4an
}, {
  a: 0x1e7d97e047d087ea9fcadab8ef1c541d09be2d9b554abb660c01f45ce02n,
  b: 0x3649501dd03e21e43de655n,
  r: 0x254efbe95a57a93cd693fdn
}, {
  a: 0xcc8b035b213b34d9e3d49c07168bec2e98d6fdb03ce1f4bd48f8accb35bdfaed611b3n,
  b: 0xfaaef046230f31a3adff902b9209en,
  r: 0x12970efdf1c9e328f3c8f4ce1b8a9n
}, {
  a: 0xc3322b635888630593a9169d75d5efa270d29995d9f26a7f007740881cbb95f21984e3n,
  b: -0x41641851a8db398f26a3536877f369ebe0437343e9763n,
  r: 0x1f8d1bfb9d5e8c3358e7c2099c78ed8ae123d92be9cc2n
}, {
  a: 0x1edb098f2e653459f2157820562fc76d775d51892an,
  b: -0x695eaffcc9312953bc8c86730fb78f98496n,
  r: 0x54852e261f8eaeedff13bb7841c8d13b222n
}, {
  a: 0x282553a4a93aa0675bd3640f08397a098f7156b736b51a43c3b65a6ed84d70288d0dan,
  b: -0x56c647ab569ea11fb5597en,
  r: 0xd6a123b8be6ac53fd8570n
}, {
  a: 0x9b6dc74789387439ec1ddf98096c2605c885aec64915140296c628d0ce7d5a5n,
  b: 0xc3f6fd24b8e4cd0de048e0fe012759cbb370n,
  r: 0x214da9c3a5073b616274da75dee0daf70645n
}, {
  a: -0xe61c7c5264f70352744cd26fd1e7f2d417781dcd1b2b07n,
  b: 0x25c91be08768017b114a73bfea6ac811dcc0518037fb7ffn,
  r: -0xe61c7c5264f70352744cd26fd1e7f2d417781dcd1b2b07n
}, {
  a: 0x668ff2f51ffb0a54392845bdd432167be2215cc63794ff997n,
  b: -0xfdd5c68a255670a4c5f0754e25n,
  r: 0x532271d8e45caf601205700f0n
}, {
  a: -0x83a96515542fc4474ccb4fe1cd43b68a0c177f9c05dd5d68409n,
  b: 0x7c625add2a2b69c050445n,
  r: -0x1b1af408bec9c431a5182n
}, {
  a: -0x757422c9f2aca0a2dc5229dc241341f2d0ad589afac22023ba93809cc7c41040a70cn,
  b: 0xfe5b548f3552cc78713f94febe39e49988e95bfb1470n,
  r: -0x597f6b3482436f11401458ece6d38a86b9f4fce8fd0cn
}, {
  a: -0x7dd6d3737a9d510ea9d14c7271192f9afc5783f9fdd51c1875ab9f354c8363f5c8an,
  b: 0x8ce02fe2dbbed6203f24fd83e3f74eadc1222034b265e1n,
  r: -0x2a870ae873af0b251c6731e5c38870dda250878d529e1an
}, {
  a: -0x5fd15b594df7ff0a2d8ed2968c439e68877e7065922da3cac44d3n,
  b: 0x97274852c83070n,
  r: -0x3ef44e4536e803n
}, {
  a: 0x4fe04b9a00d3c0986c43c364299b4f615ad5fec83c9a32a1f27742b9077a0e842n,
  b: 0xb94d44255193f8a793193f728e3d05bbb1456c0f58n,
  r: 0x888fc7d574e8e8c9c240fa6ab7426d367f586327ban
}, {
  a: 0xec73ed502eb1378201a761700ac3673871ac3508f3ea5f4e794c770n,
  b: 0x83090699n,
  r: 0x6c08ef56n
}, {
  a: 0xac183beec6ac4cbb867f4e2d878569d81928020f1fn,
  b: 0xc21f4a1254db1fff2b549n,
  r: 0xbc138c7890a68fee9fd35n
}, {
  a: -0x5a3f1c3998344cd32b94b3bbdf0dacf42f166b9a29can,
  b: -0xe8febe8d5f6115d3d39f9acc5726n,
  r: -0x8f17e3de7eebe3fa35360333afbcn
}, {
  a: -0xe6fece96340d4711a8c49a322e727abac513a75a0bca82e4d1c37d35117e4fbn,
  b: 0x8ef58cede97867075ca82c6d4n,
  r: -0x54cfd0ff2d4358fb39aaff2f3n
}, {
  a: -0xe1ca3ac6873341285bfe69aa03f9aa20e95bfdd0ebd7n,
  b: 0x2d5aca823e8b50ab8c5e9n,
  r: -0x11fe753c862e3d028b7a3n
}, {
  a: 0xf9c09a49877606fa3a2ff232f948776ecd62af93e6n,
  b: 0x97f37n,
  r: 0x23d8an
}, {
  a: -0xc8955dab29cd150a3e5550835fbfc9ace3a0d9b90d4bbdf8a9aadn,
  b: 0x827cca4fbcea49n,
  r: -0x4d25aa3102955en
}, {
  a: -0xbdf30ceed7991cd221710c5e1445de7032458d97e6761ee2062n,
  b: 0xd86n,
  r: -0x988n
}, {
  a: -0x1116e43564b85a5bdbc3bd037a90bd28282d8d6dac3b6dee433f6a1ede889a136b0da3n,
  b: 0xf6456ad0a1c2fb548aa0e6a1bb78n,
  r: -0xa3eb6c104c3b24fedae55eb63fabn
}, {
  a: -0xafe5e7fb1853c4853c8b3c32e825b9621c148b334728f3a3c007cb17bc89n,
  b: 0x9ba835ded5e914dc03f3a3f94d3b3d6c1ed0d4n,
  r: -0x13c7cf6c7ffbab2af2cb23bafc435cc36c85fdn
}, {
  a: -0xbaf2cbee3412d96440ccd1ccb213e3befd87aaae4b8eb4fn,
  b: 0xan,
  r: -0x5n
}, {
  a: -0x5936f21d304b882e54fd556e55ef1a26923b81cf227c9fc140be781de497e4377dn,
  b: -0x6964a17d149d7b3f63297aeac12483c99e71762n,
  r: -0x11a7e6de4361c53c27a48c5d2c5d46bfa8f013fn
}, {
  a: -0xeb87b1ee5e9f8ae6f3991eec815d8d4d52def50dc260bd2947d435c54c2454bafn,
  b: 0x990a99abceacan,
  r: -0x28c3e6f650a31n
}, {
  a: -0x69e2c2952717cd2385fdbe63d7d18b42094481ea51dc75060432an,
  b: 0xd3644ca326c04n,
  r: -0xa69935e0f9c5an
}, {
  a: 0x15965eef404e3342e8fcd671f5e77e1cac48fd4a5a4n,
  b: 0x780c9f7fdf035cb89d5a5c20be0d01aae95en,
  r: 0x4d758892ff2a9fe486f8535256ca33f6b5d8n
}, {
  a: -0x689e2d48f22b455a50b3db23d1361b86f670e4fe353fb5832n,
  b: 0x9558f9156e8867ace6dfa8ccdcf126bd61a0725n,
  r: -0x767ddd9ec7e0018e0d2c9c129aaea7d3e08456n
}, {
  a: -0x3f4c4a4f21c477ea13ec79e0b5b2a0cf905d7c1b265a4848c6ece0e1ec7f9efn,
  b: -0x3bdb34624fa2f9d230c31d6cc7909b16cn,
  r: -0x1652978424f45bd35da14d78d7380a89bn
}, {
  a: -0xfa4fb3a344a1446ab224cb25800cd87646a4c81be23ae10054c054e71f677c76d890n,
  b: -0x249fcf0bfdcn,
  r: -0xd599c3a1acn
}, {
  a: 0xc29eb5eff2346a3129ef773d90ef6bc95fdf98cea6476ff2bn,
  b: 0x51n,
  r: 0x4n
}, {
  a: 0x54693ce58f5bfa063c50da3ee38911098c5b4da8bd6d43n,
  b: -0xdbd8361dn,
  r: 0xcfbeaeden
}, {
  a: 0x1ab75c02a6252280b51bb8baa4b19d3b54a51b13598b4216a0feb1135842c8c3an,
  b: 0x1e349de6345eecn,
  r: 0x1d9c2c6a9583en
}, {
  a: 0xd35034516f02918bd3b720d6ef5403902f9e47d1febf1b61b097fdc86fde304a32n,
  b: -0xf2a23665bba268fa2877194a1a6eebc5960ee1a6da0c6n,
  r: 0xa19e6b313e98c83b7839f04b796d52bbe33e6492f32f0n
}, {
  a: -0xc5f51a005ac0bf2aa059a0a660cd81a516e02802f2261165e7n,
  b: -0xd94123b2bcdd26110d4a2e230cdee85ba67096bb1cee001n,
  r: -0x28039c02c403b96fdca1cf153686f957a12acf60a37d753n
}, {
  a: -0xb963a08dc471000ae6107f5695f2d752d165fa7e59c2n,
  b: 0xbd1fbb46e99c816892d9cc46e0bcn,
  r: -0xabe76a45cefb9993bb14bb8df97an
}, {
  a: 0xe3120d30964ab0cff26bc624235085e62fcc97aef8a7n,
  b: 0x3ae67d008b5c85b62f03392eed255n,
  r: 0x2a7ccbbfbf756a6922606ceac7124n
}, {
  a: 0xeb6b525594e5b956897dc295d72ae8dd8b50be43a751c49d3a0025ce64117fn,
  b: -0xd61227fd120051f597559082e3c55d8bf9ben,
  r: 0x71ebfd45ae60aca43bac086a00c9f2b462e3n
}, {
  a: -0xe982d75575f74f946e08c480b8938c6f422a9c4d9ce3ccc8ef25922n,
  b: 0xfa970fcac88bc7cn,
  r: -0x304c2c460510342n
}, {
  a: -0x5e6de9bbf5de7960e097e37d98bc2d74a73e3b9482e1f483d3aee36e7cn,
  b: -0xe0b08e2d5636cn,
  r: -0x40cbddf5ffb9cn
}, {
  a: -0xb0355cc95e518f3cb3cd0406da97c2e808d5c399741b6dn,
  b: -0x1a2e2de56b567e6a2an,
  r: -0x133a53f6b3c705a743n
}, {
  a: -0xdc36ca59f4a309a72a45a9efa745d47088752efc36b3n,
  b: 0x2516d22fd65a8e0f0da096a4422n,
  r: -0x6add60f99ff6246dd767140be7n
}, {
  a: -0x82bb8dac54c54a927666b3b458bdf899fdb8bfe5283n,
  b: -0xef0c1f22f5e1n,
  r: -0x9e97610d5ca7n
}, {
  a: -0x185e375e76d015940483434e6e95f6f42bc666db207191e694558919cf61ed1n,
  b: 0xf51e0ff1bfe0acadd533e02b180ccb50553add0n,
  r: -0x7a269d2f24065f12c721b882e93e43a7bfd5b01n
}, {
  a: -0x8a71c3006d4a01d6ee19d0a89053d8edabb55f358d9n,
  b: 0x40618d227c22e54257e29c0n,
  r: -0x3bff918ead48d46d269fa59n
}, {
  a: -0x5dee03ec670f28baca23ae3bfa6ff5a9b362f5614ede330f46567321n,
  b: -0x379989dd68f859e5b6ce01f93f3ab3670n,
  r: -0x25f4968bb601ededb79f6b099ba8a5651n
}, {
  a: -0x9b194c02d79df932717ecb0eede0ae7726770de45656b3ff3811ef8b7518086n,
  b: 0xc5f7da3n,
  r: -0x2b62a9en
}, {
  a: -0x1137b56e7a2f74a121540c08e6495e9ad4994f318dfd21n,
  b: 0xc28ec9465e4n,
  r: -0xc02a3e30fd5n
}, {
  a: -0xa13e0df9075e75caecb8b0bb78896142c0d5c0ef7ae9e4fe3c34ec0n,
  b: -0x31e815b5d82e53e719b0a172012fecef41942n,
  r: -0x1fbe8643966256543d9d9d5a03587c9ed041an
}, {
  a: -0xb9ec22758c57180a2c6aaf96883e3f193a69b3eff3788fcfb8ee1d1898bn,
  b: -0x380a5af2ef0510997a607b9c91e8b5577cd59b40e5271fn,
  r: -0x37b3250049cb0067c4345cb58c0ef18ee25d7172ccb2e6n
}, {
  a: 0xa1824f05e608fb94f17d782e25ab144b7af84b23e4bdda4bd3777n,
  b: 0xce511n,
  r: 0x21443n
}, {
  a: -0xc992b21998b281145c8d8b9608e1355e2447bc44ec3451e1a78ac44d862e8f56n,
  b: 0xa40db8bd93en,
  r: -0x61143f89660n
}, {
  a: 0xe9b7de7da2262aa33978fb8469c58b0c71a6f066aed2951330n,
  b: 0x94161b761cbb94a5ceee911en,
  r: 0x627d104c7f9fb127512ab13an
}, {
  a: -0x9d358346f375fcb122759ec39d51d0ae33cef1cd757691a0eead8fa2d1n,
  b: -0x9575b3864f6n,
  r: -0x6348af1cd79n
}, {
  a: -0x694eece53617f5a0b716d67d7e252d821b0116e527d8c259d28403a6aadn,
  b: -0x3399361db6a50f644ef8e4a282223da21ef127309688f8f5n,
  r: -0x22a49676f633ee2b5833cde0f180877cc13c24dfa1b1483n
}, {
  a: -0x52379c047b9bc0533439ad7a14faf3f1c4d0bdee08c9521fda7aa22n,
  b: -0xa6c8a5365babd78873b3b17199b9bee262d3d1076n,
  r: -0x2335435be491933e6d47f9e2a59fa0a5419356048n
}, {
  a: 0x4615af55bc49e49a6368e11f3def2fb9c21d6bae9ddcddd211aade356d7d912c9ae0n,
  b: -0x3750005294f84eeb6382780003d4a91638724n,
  r: 0x54f3605295f7122218bdceec33d7f6cebe40n
}, {
  a: -0x6d2d4a506ede74054a09cb02dd2c558416dd19eb63658fdabn,
  b: -0x819a5c6c1375cc8n,
  r: -0x18515318ff4eb73n
}, {
  a: -0x7aa44fabcb3157acef4d4e65255c2615a2c378c53dbe4d93a713838b43d93cen,
  b: -0xd2603b3c1eac20e75507c0d65a7d5503518n,
  r: -0xcbc8b5ed01b5039a414bbe43d773e8828cen
}, {
  a: 0x304ca4a854c63dc85654ea87c9e8ce566b8e984aafd95c3d3ffe2779817a8n,
  b: -0x74a94be6a883631b4b02eae1b9bn,
  r: 0x6d2f6ca170bf73b8ec3004310cbn
}, {
  a: 0xca754272de90bcb17e4f5cf7cb3b8d28b5254c026f40c7714f8b1ade1n,
  b: -0xa2858f0n,
  r: 0x3730901n
}, {
  a: 0xe5d60a82d550f1351a393c4ca7a7938b4fe966b18981d27c9a266797406efa677n,
  b: 0xe976an,
  r: 0xa8e53n
}, {
  a: -0x16d672614b5ba5af01c459e2cca1920d4a4d99106270dac935b0e4518a15a391942n,
  b: 0xe4e207n,
  r: -0x23be8cn
}, {
  a: 0x675423ce4de433c9ca7defde2b1c9ef3956151ec669f8a2n,
  b: 0x801317c8b017bfef3ca4f05a871b172d02n,
  r: 0x72fd11e15a4bfb2bbc7d9b03a74d8e9c12n
}, {
  a: -0x87bd595b5e6331ff140fc706d4cccc9470f1c2f61af6n,
  b: 0x21ccc103568f380ef79f9d255f7028b01e38bn,
  r: -0x15b6058c87b938f509bfcd15779cdbadd8d5en
}, {
  a: 0xae79b3f2c56988c2d1182f5a01d9766b1ceede66651b2bed34b021n,
  b: -0xba601a0n,
  r: 0xaf361n
}, {
  a: 0xc7fc6707f8f16ef5257dad60a5319a70960ecd4dfd5b9bcefeca9ce7e9f5783a416d5n,
  b: -0x3f8d828c19f348d832942ad1facc49fbn,
  r: 0x1488a3fe683b62d190207128320c3828n
}, {
  a: 0x8345ad7094bb5da27aa5f69384eb2992c95824767df11931n,
  b: 0x4a9a9167a83725f82163580cf0c31c9fcc44cf87b65e9n,
  r: 0x15638c1b0d4c3b366ba56400adbe55e5dd18f23ff16b2n
}, {
  a: -0x77525dcf8ca94a5eedc7e659d7d67a3d7c95f1bba5b1d324c5c25n,
  b: 0x5343cd5an,
  r: -0x1edf0d5fn
}, {
  a: -0xa2bf2a1af0645b8f08d64bc0f2947b827a5ae040267adf5ab7n,
  b: -0x7111n,
  r: -0x5986n
}, {
  a: -0xc0f2f5c21e483bef09f321350c31c2e8b3c25d3bb1ba7n,
  b: -0x63670cb5f98n,
  r: -0x4c7314aa697n
}, {
  a: 0x5691c873299cae1663339b7fb0dd6627df510156a1425c0b62d0616n,
  b: -0xa1ff8002b6eb8c1da640fcadc53167ef530b8b6c2295n,
  r: 0x1dc6ef2f878451199a9e276ee9d9087645d535e958c9n
}, {
  a: 0xc2a937c83176df2da532a2b4db3c7640ef9cf1e2ac2cef89e8f6n,
  b: 0xcd7e10703fb9cd6a61953a7ec182687383c1c08cc5600143n,
  r: 0x7fb7cca91e5e925865368e6faccd1ada653b92a8b8f7f033n
}, {
  a: -0x17ea7c5bda9062e7144a07638a86b7efba4876951e34a113363ce4b602cdc750632e1n,
  b: -0xa3fbdab459a4ca021f345ca502fb1fden,
  r: -0x613e5e520d2540f51b6beb0356a4c13dn
}, {
  a: 0x8314cdd47cc94b8c23ec2fd706dde72fcb30a0ffb2baad7n,
  b: -0xf87n,
  r: 0x9c5n
}, {
  a: -0x79de63edf3141beb7650f2e46cb190f55c3e8e05ca17abd6n,
  b: -0xbb2050d49d486b5fd1b093b1b0d571892dddf0c30c59d166n,
  r: -0x79de63edf3141beb7650f2e46cb190f55c3e8e05ca17abd6n
}, {
  a: -0x91e5c2e7cae94eeb46834db2402a1c05a96bb254e941bcbda8n,
  b: 0xa67ed781cd1d89209fc358a04a4b358408833ac138198672n,
  r: -0x36c656376f76eebab86025ff284d3221f8deebd82b6719e8n
}, {
  a: -0x1add3bfed368fad4dbf79834d1e939898033f2acd056824632b8c191n,
  b: -0xadf6a50395a7b43d71aabcacf1edd6135n,
  r: -0x5c261bc5352f324e5ef7b07d80a848cf7n
}, {
  a: 0x8c9a5b45010385a2ea609d36132bf205245045d877aecfn,
  b: 0xcbe9ae78d053cfae143e61b3n,
  r: 0x755e01ba602b8d2f31fe4070n
}, {
  a: 0x942a0bf546898015635d9a71c91ce9d3b3304e13a0cac7f16533bd4812c79e2a2b8e9n,
  b: -0x33fe7cn,
  r: 0x2118c1n
}, {
  a: 0x4694c48a21b970f7e0518c2c4152c1356cd300315ea44b5b6ad2641n,
  b: -0x51f9db7ee632a85c53a451a5n,
  r: 0x228d24cb0791bbbfdcb2e391n
}, {
  a: -0x3762a3e29961d1661d927906dc649a77c208e6019cn,
  b: -0x70b9170a55n,
  r: -0x6bee1fef7an
}, {
  a: 0x1c1e48975bddf78638482f334817b8b7822adef927d0f1e12eeae313n,
  b: -0xd42a36579ad1b1dab98e269f68n,
  r: 0x18ff781e5ee54254a3f11882cbn
}, {
  a: -0xaf96d9ee1384b5518e44788f78ce873cd4088bf311c65bf24c7fdf1d0e2e633850n,
  b: -0x3267bea547755fa072dn,
  r: -0xdd713d01dcf67cde22n
}, {
  a: 0xd5f472d45665209e83852cb47918e3617f57df75b4edbfa522e36ecc266n,
  b: -0x2148dac6233840a075a77f24cn,
  r: 0xb11046c9cf127fbf30fda88en
}, {
  a: -0xf472412111ba4087bd9bdf05d4593687c0a75556457413762eb97f6c70n,
  b: -0x7d0e0a522aaf7596bfc92398df7aa3860ce51fcd4fn,
  r: -0x1f1ccce30e4828865e6a762c4ca34c6ba153a9359fn
}, {
  a: -0x369bab2622864c0b4f70a1676d00af0343c5a402eac4276913b6e1607a036a9d3c71den,
  b: -0xca090n,
  r: -0x2effen
}, {
  a: -0xe95a191fd7fe497f028956b820d3250b2d5aefa62263n,
  b: -0x4ad3a687f60fa1fdda48071ff48c35d44093b804c7n,
  r: -0x1a580406f98e89b41cd0828486153f8c0e78073e11n
}, {
  a: 0x5eace2b6ea1f5a03afc1ef28666de22471fec697ec250dn,
  b: 0x7299c17d579cb8f2e9eefa0a47963d11bedbn,
  r: 0x129d5d44642c9c18e16c5c2a57ce78cea451n
}, {
  a: -0x996c45487641a024780162e75c7ab6d9717d0d3acdf3f024a3296b621aa58f755273n,
  b: -0x8fb4f1d70d468099501599a39d65460760cfb14868bd8b80dn,
  r: -0x225d5c43f930ad955c57e13e30efbcfe6bf74a4eb80290e90n
}, {
  a: 0x93500a42eb66be49e923ea8ed0cfbbb2e5bda55b4f8c2620d3366dc6ad8n,
  b: 0x9f9f39a6e2132b20451759a829b268f30can,
  r: 0x90befc5376fa3f6e6412d0b8100e3eb3096n
}, {
  a: 0x6e9ebf75f0a87d57a3591ad030dce8a52e0267d7651d9c0a0n,
  b: -0xec7c9f3d2f2c86da2042cf3e4n,
  r: 0x978e56c152a8d87ffe9aa8974n
}, {
  a: -0x519d6c65a7b24d2f6d9a4c37288372c086a21ff205b60f414n,
  b: -0xa70n,
  r: -0x834n
}, {
  a: -0xcaea5b3564fc4703f6f822762e39845d465957471c7aa8c1148425c755f0baab9f9n,
  b: 0xc0fac4ed5df3cf7a0ab0e1ead403dd6n,
  r: -0x312c34d76a2b2a19d64fcdc1d9e04dbn
}, {
  a: -0xd6df753853e91795e47008bde5c56dd4ac5d174dcd21f351a9n,
  b: -0xc28615372cbeabe4n,
  r: -0x4f76d76dacc5eff1n
}, {
  a: 0x22974bf59d3386bccb4ff8a597684d9a72df15d5b59fb5b8n,
  b: 0xd17dd81d73f75f5bc47020d9459099fb50cd09n,
  r: 0x3bbb0889e5dfd921c33d6eff0c6deb65b99890n
}, {
  a: 0xe360dbc7dc613e0aad707ccc7cc1ea3c44034cff1ddf178cdd701470ea3b58fc13f5ebn,
  b: 0x2bec77d1519412289a433d775cce71d6c070a02d803dee42n,
  r: 0x148945e81c8fcc0b9ca95333b93502881e8fe101bedf40b3n
}, {
  a: -0x4609505e4d6e90f3a0499e139d4b321d13ba1b37722ccdd608479e6daan,
  b: 0xf730c09169d4e8b934a7en,
  r: -0xd802e9ce4925ef7356c8n
}, {
  a: 0xe206205c18d04aeb8ca3fdda1beb19f5a4a81e1c80cc8479b30ce77ce8n,
  b: 0xa9b6n,
  r: 0x434cn
}, {
  a: -0x5219c1db2537fd1aa278e02ea7a50bf48c5e001f20f3d641en,
  b: -0xcec856d262f48a8070e9c6c5a7948e4fbe732bd7e190e3n,
  r: -0x37a63e0afa99f65a612a670feb2f6246387d78e08b2250n
}, {
  a: -0x8ea91e9391f1be105e11ada52e81de2f9eeb2af94912451d4dbe1dbe5448c9c7n,
  b: 0xa4f0e700df8a6272058849b1c9bd6980an,
  r: -0x1eb9d9f04ffded162679db6a6390eda6dn
}, {
  a: -0x6f7ffb15de50ee27fa06bed4bc76ab353257bae4d0a32b4411a103ebd7b7c0dn,
  b: -0xe11f1en,
  r: -0x1a523bn
}, {
  a: 0x7365c005e4dc8ea09a2b294648918e3c271c5149b923ad5152d67cceb2859d32ccf6n,
  b: 0x3113712b5a3bade86fdea7c40ec003a0cc2aeda4adc5n,
  r: 0x954a3869a467d85acbca43e1aaa6c64fa16f2cc6e2cn
}, {
  a: 0x4964495cb01d610e81357319523b15d254466d4f6c82e8bdd6a19een,
  b: -0x8180n,
  r: 0x2been
}, {
  a: -0xc244fbc2c55b3806db5abb295267d96fbf3093821b470be7607767e685db5dn,
  b: 0x7301b2453896bef6f825ed5020749f4c70a15db853c5n,
  r: -0x5838041aa7fa63a929f2d0b2f6c0dce995fa176dd53an
}, {
  a: 0x853e9262b516da410d93b945e9fa76174fb1b6cc1f79292b8b93adn,
  b: 0x3141d7be0014dcn,
  r: 0x3bbcd11c0db95n
}, {
  a: -0xc5ed78e67d5543c9f5667a81e2072ca25ec859e6a01363182aac4a22534cd914d63f6n,
  b: 0xebb25786ee491555b1b1f7487127711013d9d6ff7n,
  r: -0x433d922481422d4b37e5bc30586fc86df32c91018n
}, {
  a: -0xc8fff423b1517035baf0a6b67c870961cf8643c73ae2c7cn,
  b: 0x140857n,
  r: -0xdbd01n
}, {
  a: 0xb6ce7e75c058e8b94323381e1d141d09dfe9a8a1c707789a61eade193e953e8645n,
  b: 0x8d8518bacf76a741ae6cbda515914d29f74ec5ae1n,
  r: 0x87119246490dd1c721318ad4f9a36208adcc20816n
}, {
  a: -0xa7290ebaf0a883aa426da7c896361dae4e62a22cf5079ac6cdd7b521ccn,
  b: -0xaf9ee41c2acb834839deb65n,
  r: -0x2f3c647f01c2be64b534870n
}, {
  a: -0xfcaa9a8db89a98e21ae4a28f9f8f6397350b4679877233091303b21542220829ea8cn,
  b: -0x7a274d45e53b8c042c36110cb4195d13815n,
  r: -0x657d19e2e0ea988aed73ef2bcda8b485074n
}, {
  a: 0xc4f45a6ba087a55c7b646ac6d6dfd9e95dc976e14cb911e13n,
  b: 0xce613502fefb6cf7d3e925124f32275a0bce4addbcbn,
  r: 0xabe4bf45edb73bef2f4e2952b09d21caada148a09e7n
}, {
  a: 0x297ecbe0971896d6a291a5dbc3966e8ef599e1e9b5b543d299e71n,
  b: -0xe7342e24f87448e023461522c952n,
  r: 0x1488ebb2bbd7df78938b253d3c29n
}, {
  a: 0xf08006a04879c03e20c4e23769595b154243009d9ef616a91aa510fc75n,
  b: 0xf96fn,
  r: 0x7172n
}, {
  a: -0xe578a6871e57f221a9d743d5fe906d119659735a63e40n,
  b: 0xfae050e289df0a01410c86392fc7327dc791c434d70n,
  r: -0x279c980c5212fc8461d125b8e458ea9dee3602175e0n
}, {
  a: 0x7181bf85c1c5922014de6d16099666a4ab495aa01cea92e56bde4de9a817189an,
  b: -0x3a929863aa470fe1abca64c704d6826fa15a7824n,
  r: 0xb8bd14d97536cb38e850fd5fb2134a586d78476n
}, {
  a: 0x76d830e0d3a9724a8be35adcefc487debbaf9d049cd9fabb81abn,
  b: 0xan,
  r: 0x5n
}, {
  a: 0x828720a832b5968233b993889534666b0efe5a7742609348935ca6a5e0f91e8314391n,
  b: -0x381e167159915de39154666b74n,
  r: 0x10a78829f8856ffbfe50fea241n
}, {
  a: -0x82662dfb7dd0b1207c203a1ee06db29085f08f30d98c343865f663b7e3c1n,
  b: -0x96f5e716en,
  r: -0x29990cfd7n
}, {
  a: 0x7c19162a9ae94accfe4569a612b09e30398c1580702df5be5618ce66e086e3e6a0bc31n,
  b: 0xf31bb5381fce4e1a8n,
  r: 0xa1f66455ba6de5ef1n
}, {
  a: -0x19e11531065caab2429d59fa07ee2e8694e288b83697d687d55n,
  b: 0x2553d08b4a0becbn,
  r: -0xe042e7796be985n
}, {
  a: 0xb7e088bf04d386c05515f8c6647eaee47c3e711d518a92a8be17519dd7a9d7fb3dfn,
  b: -0x5df0e9f807n,
  r: 0x3d77543313n
}, {
  a: -0xe6d956729832b22d80fb10255fc16150c437cbbb8c8a48a26b8770n,
  b: -0xb74aa0f4495631b8de429883673a8bb18d8527950f9dd15n,
  r: -0xb037ebbee68e8cf7e60418b8e4b22f7acad72f7fc06f195n
}, {
  a: -0xcf0f73f5e9c975f3087ebc994c406421b3fc6e3656855084157139527123baa0n,
  b: 0x75b346bd6cb70273086f4862bbe2f2an,
  r: -0x42a80877f9658f3f4f4abe6254ad68en
}, {
  a: 0x9daefd9be0f795cb2af1fc03027fbb1ca02e5b72d764c3cc0fa86n,
  b: 0x4e9e485b1a0550fbe759bbdc234n,
  r: 0x45aee33ee5623170eacc0097256n
}, {
  a: -0xfc0f4f1f6a89c509a9c76f36a0ab895b1eda87ff2b777177fan,
  b: -0xe59n,
  r: -0x123n
}, {
  a: 0xe1b1259afe878fc109ccd7698eb4517232a81341799bfb4363e9be19db2f8c501d785n,
  b: -0xb737242e067acd1221n,
  r: 0x51d3777030c5f5ca6fn
}, {
  a: -0x68eb157666fe6b8307d6d562aeabd8c789eb95bfdab22fd5c9d18323682597f22dn,
  b: 0x72ace37409df485e764f9an,
  r: -0x14d2d944d80230a4f5b699n
}, {
  a: -0xccdeacf605f0c6ca8868a3a3605068805dd65bea4fd97e1n,
  b: 0x12c57c0e0f5dab80b660f9bd2f159a4fe7n,
  r: -0x276409596ca99fb1bb5542b51f9fd5b8an
}, {
  a: -0x3eaed3740d2e369b74aa543ba327b5cfd12f0eafb712f00eabf6ad48c674n,
  b: -0xb5168bd64465d62517796f7b2a78eab134e9n,
  r: -0x75e68b080d172485a8012cebd67d0d6df9d6n
}, {
  a: 0xfdaece69a55841b19c481db90b8c30cf78b8edf86d5a1f393eec1b97b1n,
  b: -0x1b4a0b9e3d130a898ef3e113d06193n,
  r: 0xfc189eb5c257b3f1afc27faa8d7aen
}, {
  a: -0xc19356bbb66d80140b6f64f383a5f06adc7a17d065021da96014fd44dfb82b65fa58n,
  b: 0x2d417c41a433b2322f4b3d740n,
  r: -0x26e8d8cb0bdc006f0f171358n
}, {
  a: 0xb3f5a4a90ae7fc9e72b9f09c7ac71328f0a7d5fa399ffn,
  b: -0xac7dd3f573n,
  r: 0x9e5736d75n
}, {
  a: -0x757070ccf4ece0aa283b51df00fdba02c720416e26348a29efa6e7a641a0d724n,
  b: -0x9be514418accf6cc5a452dcbbbad300b928f7969n,
  r: -0x77d5320fa4bbc4cfae870892a8bc47bc89e1dbfan
}, {
  a: -0x296e3c4d6e681a96d0ff6ef9c5efce6e6563b8f0787c3c909b6cbe6494492n,
  b: 0x62a8e348df7c10c6663c36d1727ea10187453315a91151625n,
  r: -0x4702a17960b09473f38f43e304d0172e11035727cb3ab6f3n
}, {
  a: 0x535e7da9685a726486992ec7d17a73ce6a04911f8c92868554ba653b202n,
  b: 0x5b80a291n,
  r: 0x11562143n
}, {
  a: -0x761c1fd2d3945694f7d2971004997be1c89224a8d6542f2dc5a65b35n,
  b: -0xb75f1b80bb6a01cb0n,
  r: -0x6864f292a2b3c66e5n
}, {
  a: 0x912adddc9a839631fcfcb255da258f31bb40ffca7b2aaf73c183da7e5ab7n,
  b: -0xb5751b836b04ba85n,
  r: 0x9ccf191e65a787e9n
}, {
  a: 0xbf12788ac75922d5762729e945e3fba21e52d3928dn,
  b: -0x54855fadafec584ba1n,
  r: 0x286a2ea0cc698b6506n
}, {
  a: -0xe30e2ba8442f73c9fdf5ea995a1682f501cf0b7f95en,
  b: -0x8637ea3a749399cfddff2fe201df54004405f8eca5n,
  r: -0x8fd0659f76603b375749cbf6eda5348f04f7703f7n
}, {
  a: 0x1b43c1e39df31e047f29a191814fb207dd47c8095784fde90150da1b9fc8afeed81540n,
  b: 0x46c5f710c2dfd459866736f3ea4d281b907bd23cf2b69670n,
  r: 0x107f42b8419b42e47a2e0a846ee50797f16e5e2fd91df9f0n
}, {
  a: 0x4ef959a49bd39da194d68ae34e65d81dfae0ab1953328842a6fc740ef71356n,
  b: -0x4859d012n,
  r: 0x343d8320n
}, {
  a: 0xa24fbe4801830310e14992a6fe43636c537c0d0c7006d2n,
  b: -0x2643e8b4cf5b4f80ed387cb05110n,
  r: 0x11d0ebcb965b5c1b2a8cbb137cd2n
}, {
  a: 0xa45bc6b887355a58b7f6c13ec1767414ebd7530d2dn,
  b: 0x7623fc130b3ba1f9f5a0n,
  r: 0x66aced17d038cd7172edn
}, {
  a: -0x25ee3d3c8807c479ea944adf8e96f1d1c2e1a5774ec4d5f7d46fb462829124ff4cn,
  b: -0xbecbd1e6cc8aae5f2aefaa17f2c7c5ebb187n,
  r: -0x396fc46c458f0ac1614670cb3e56699c68e7n
}, {
  a: -0x78316b345afe07bd584169ba816b05e88243e5ae4e4241a8a93da0fa7272n,
  b: -0x1n,
  r: 0n
}, {
  a: 0xd9c24622b8f0ed86ecb1900e163a499ec877a5c94cf71an,
  b: -0x36403c76da849900d996433a6a016f29a37607n,
  r: 0x103f9f64c86805eb1469c0c25dcfb4353f6932n
}, {
  a: -0x2e6044815839a6efb1b390011fd1c61b5c80371bcab84n,
  b: -0xf04641ed2f943b389db154e94ed0b5a220f313cn,
  r: -0x8ddf09213c4c68cc0d12d3f84350e6f13ba0568n
}, {
  a: -0x98ca5aa16241fd56191f4dc6b8ba99202a6e3378150n,
  b: -0x55d6acab4ba7c0ebd7c69871fcc5019dcan,
  r: -0xa2b4773eaa22b203289dccaee6a0057en
}, {
  a: 0x8378435a95100f8302e7b7212e1460f59e504c5e61036c5ab2n,
  b: 0x297e917b9ca747ac4ad9de3f8b587b88c3fen,
  r: 0x12d976a685635b467d3860456028d2e7b0cen
}, {
  a: -0xadbc1ea222f5521c0dab10edc8a849f273a40310fbn,
  b: 0x3da0ed8feb0151923d414fc5359cn,
  r: -0x30c74b29d033b2b25a9aff9d7177n
}, {
  a: 0xd89cc48135ea550b0efcc744249c93d6355cc5db6f7d1869ebad1d00b6c74n,
  b: -0x4553f122823d6892f691a1afa71fn,
  r: 0x27e928fafa024f5c1c32214d4352n
}, {
  a: 0x7b9c9c6b3579f0a679a265c21b92b7f33fd63e517dca34n,
  b: 0x83688f3d389fb8bca76n,
  r: 0x11a99e276697cbb5a26n
}, {
  a: 0x719409744e29391d8e8dc2dc668fa5d6c4b2dda11ac8ec9a54e2c99fe3ca56n,
  b: 0x31c680fe457cb00cee491n,
  r: 0x2caba7ed6d76311c98b08n
}, {
  a: 0x658f9e6af0af5a13df37ccc53daa8120620df9882d9fbdf588d2734n,
  b: 0x8fa275841478d309a02b93365f0564fadn,
  r: 0x41feb973afaa006536e7ef7b8dff68c1an
}, {
  a: 0xc18ae7753fb5c3d6542cc54281384976572851f89fn,
  b: -0xe2725189f223e92fn,
  r: 0xadd9637aee7be409n
}, {
  a: 0x1eddb75448f14434970a3369ef3fc72227b543099341332n,
  b: 0x30e1485de68fc2eeb85179804859ef848a98abf8n,
  r: 0x8f64bb0776af5a9ce6b86ccce75870f5b14c652n
}, {
  a: 0x69b88a8f533a4d73aa80473ff1b13eed42818b4675a01800d0616n,
  b: -0x5e175873cd4a562dd9ae382e59b68122bfe3d42n,
  r: 0x36c87df69da90e8c5c30f61e8eaa0f6fb824058n
}, {
  a: 0xa56630cec5c5a3ba7259b9a400a29713ae8b10b1362cb404ea3253c147n,
  b: -0x772an,
  r: 0x3431n
}, {
  a: 0x3851875ae285ecaf75d93221632d81570f92d521f6363790a052ac825a42146215819fn,
  b: -0x94a75e05867c761346274f0c56c69a470ec4331581851n,
  r: 0x1c866567a5c137a525d843fcf62b4a3e85ae679cd18e9n
}, {
  a: -0x682c344a999ff88bc2c501758fb8fce831b3fe44097086n,
  b: 0xaf8e5c65d284db8f51b095c7ae6075c003e0ad1e2dn,
  r: -0x22c6ce2cd2a33fb3d1150ae810093966f48a598cben
}, {
  a: 0x1a49e324dbf5fb62ddbbc85234501cfc3cb9e0339550db12345be644eb31c9a44n,
  b: 0xb616cb8817abc502a2cd5814dbf06bda291fb316d46n,
  r: 0x4a9b8c5300b74a1a883f1fdf016c68e39322553e634n
}, {
  a: -0xdf5c660ad83d4b16ce27f21eae1f81cff6cb9e7f73cc6279n,
  b: -0x1ccf5e53e7807d87e66a927f965d0cn,
  r: -0x77be83e679f0742deeb38eefe3d51n
}, {
  a: -0x75d947f4a2eae792066ccbd14c5d635b329914bece5bb62bbc62n,
  b: -0x5fd69365a44d16aef43n,
  r: -0x5c7cb538f68074b7ccfn
}, {
  a: 0x27e2ff1f64311116e7014580ae8d4d2608c5657a3d4bdn,
  b: 0xe709bn,
  r: 0x6f9dbn
}, {
  a: 0xf77dab2f1534395c4e1121b6e94ef21b4e996c6e9c5b896b88e85cbn,
  b: -0x7790cn,
  r: 0x18c57n
}, {
  a: 0x8f532ddd1e7cd59a82a260923334c99878c0b87d5b0c14e74b1619n,
  b: -0x95aa297e57424e9n,
  r: 0x7313a8485ec6d8an
}, {
  a: -0x1ccba5716fd6ab3fb4a7f7789b6b3b989e99c27bf2an,
  b: -0xdd1d00ff1e93abfceffb06796d614519dn,
  r: -0x26651c42c42306ffa97e2af440c09478n
}, {
  a: -0x77ad559268a64e838c360c8f1cb283b8c67cf956428212efefn,
  b: -0xfc63399ad5532464abn,
  r: -0x6a108a6dc314d1bda4n
}, {
  a: 0x840e15df287a0994ba7f98a4e25d0dd3e1d8e95153f3e984849a2ebaf4cn,
  b: -0xab89c76d6e6f97dac0b3953138ff23fc5f4f988929e80ec33n,
  r: 0x643cfe35e873679126dbe58a1b65597799097b2aea7c4d18n
}, {
  a: -0x1e2a6300304bb3749f7b82f46999e8003ca6fd4f850299a74bb1ad5n,
  b: 0x60636bcb115140d43bff37e9e0e0ca52543n,
  r: -0x27347c486e20b17d50bd5f6c896f7fd157en
}, {
  a: -0xdd924c0f56202ec51643045075946636520858a3541c159b75afb5074fea36ddb5cc82n,
  b: 0x3038c5941555169bfd535d0ed101ef04ffen,
  r: -0x4cff1f16b307dc02b4b221f073930731cen
}, {
  a: 0xef3b586836a17947733dfa5a2f5bd07685c8f79d6a62291ec2daf7n,
  b: -0x3fae8aa939541bc41f6ddc2c55a44f71cn,
  r: 0x1cfae57d4f11b17512e8c5536d16d57n
}, {
  a: 0xe024fb943189f95ac3ea16f50b767f2d6e3f2ff86a2aefcn,
  b: 0xabn,
  r: 0x30n
}, {
  a: 0x4bd7ab106338f02c2638435e5e051ee5d0c505692a2dfae8afd8f92039ee3580239fn,
  b: -0x1b9cb052186b624bn,
  r: 0x1697a4ec3ae7f03n
}, {
  a: -0xe951da1c451bd31ce648f0b8fc9691d69647e3a77c5675a28515dce599680f6n,
  b: -0xe98787c118e59a17afda20de1606e2bcb87440n,
  r: -0xc02b32b23aa1229269859eba8a31cae93787b6n
}, {
  a: -0xb129213c6748cee3e4ec0ad48fe6fe21a8d30005f0d711bn,
  b: 0x1399dceabd6142e20f61d71a6ab8b2826dc8da45b7f5123bn,
  r: -0xb129213c6748cee3e4ec0ad48fe6fe21a8d30005f0d711bn
}, {
  a: -0x81720218fde37f71d30605b49826127bcf9c97e0c2e741f29723cn,
  b: 0x3e8fcc93dd0e05990121d9c89b8b45e51en,
  r: -0x24fc68427c0a0d1c29a024711a65b08f86n
}, {
  a: -0x5fb23b1bedd15ff4e0134539cfeafd863d62bd58f6e0a1867eeef1cc4ee23cn,
  b: 0xa04357904e768n,
  r: -0x31aab51ed5344n
}, {
  a: -0x875498f75b1df1327cb15c6acb78709f8548bb61f9e986cb96ffa46e2en,
  b: 0x9345ac0d0aabba088fcd145n,
  r: -0x631e175d030b0e4030aa540n
}, {
  a: -0x4061a99340901914a8c4fd64c323dbf5f11ede1152e68an,
  b: -0x6e750e963c8eea423bn,
  r: -0x32853f621bed068bacn
}, {
  a: -0x2d0d7ffe2066b5b4bebd5a00fe6fc788b72c6dae4a72662fd93a5c8n,
  b: 0xd8292592cdcbfc34145042a3e71be854n,
  r: -0x2cf03d8e16e218ddcd8423e3bad9d9c4n
}, {
  a: 0x94607d7d8bb80d93f7ff20b33941c2038a83ceb765a5n,
  b: -0x1d65b549an,
  r: 0x1478b7bb9n
}, {
  a: 0x9ac9df59e9d9f99ceae9f8fabed448edd3f03a08c229866e18bb6b34e9fb022f8bn,
  b: -0xa3fn,
  r: 0x72dn
}, {
  a: -0xd7b118a8dfb6c64eff9ea460a6ac1fbe41087c7d7e98702ff6a5e243713b7e4914n,
  b: 0xcn,
  r: -0x4n
}, {
  a: 0x409b20d303f873a6e875b18833bc920e2cd967e589den,
  b: 0x386183c6dd969718b37cbb666ea04n,
  r: 0x19e728a5e0ca2af035490281145aen
}, {
  a: -0x1137bc46627a3e9afca367dc6ba460cdac82ecafb8b54baed5f1b12ede98cn,
  b: 0x6eeedcb7cc3n,
  r: -0x31574c01e8fn
}, {
  a: -0x8c715d6b822022896d50ae49be873e46f6675534a24a6f1249054db175n,
  b: -0x87a2d0dfd101en,
  r: -0x5ae07bd51bc59n
}, {
  a: 0x1247e52ca769311d1c768195a48ac0968d4fa118871d827842642n,
  b: -0x76b23bc5f29895092b5eeb9e5ecen,
  r: 0x2ebef0c0b574ad94b60405c9915en
}, {
  a: 0x66131011b8ce919c933880db1b42c24265b0eb68ad82n,
  b: -0x1de3dbc7143an,
  r: 0x1d20acac9f44n
}, {
  a: -0xa14e7360694421ecbf0bd64852f5ae4219c3580f474cadcfcn,
  b: -0x41a276571336140044ff44bffce26870f4fdn,
  r: -0x2739576bb9777489304f3cf4471a918a17cn
}, {
  a: -0x343681dad4446dda7758adef3711d8f66331c5b50f8a94ff126c09615d1c2e1b6fban,
  b: -0xd68ab13e7fn,
  r: -0x31720d88b0n
}, {
  a: 0xbc50adad1e175b940ac36fa8c4e8fe1a99b67da04a2f69c4a54e44ec72bd6e05f1cn,
  b: 0x28ac909b553952fe106309cc5f57bn,
  r: 0x1f828bfc7e5beec8c0c0bb4faf4b6n
}, {
  a: -0x11efb75a0a0aa7469edf0c35edab72006132cecb820669b4b6fc92fd784adn,
  b: -0x7200061136n,
  r: -0x165c5b050fn
}, {
  a: 0x7af04ddcdd44f8cc23effec3f8019edffcbc1b5371bc02017cc3ae66df4f0d2n,
  b: -0x9d4347f3c64abn,
  r: 0x1a1fe53b1be7fn
}, {
  a: 0x4d4d5c19ab9e3ddd009f4efdf6a7285bc1992408528bd35704b846d5cc56fn,
  b: 0x222f5cc57d1ec4c67f8n,
  r: 0x142e3560d16fa6fb9f7n
}, {
  a: 0xeb235f2bdd51c821d0d18c79ef8d03510612d62613b78b5n,
  b: 0xa322n,
  r: 0x4f13n
}, {
  a: -0x316e4fe614e7260dd72a68e25a2ee1fd0041e647d756ecabf8079n,
  b: 0x811ac9ab1d055079n,
  r: -0x24e9ec74eddbeef8n
}, {
  a: -0x55f0e350b9141d50a38d6658d782556cc289106a31d61bfac87n,
  b: -0xefen,
  r: -0x465n
}, {
  a: -0xb172ca4042da7deca3a0939bd46bfeba1be2a0cf523c9a835900786f558e97bc45n,
  b: 0x314ccn,
  r: -0x14e5dn
}, {
  a: 0x9c0a843b362d56626f67ddfd475a357e6fe1a08fe31bd48f6a08263ffc37d23a1n,
  b: 0x6db899c813ebd39187a1258ff9c76f07f46n,
  r: 0x26715bae652dfde649b05044d0758cd542dn
}, {
  a: -0xf99ccb783edd64669a378d6ba724441fd6784815bfn,
  b: 0xd1bf1fbc8a6c78dcac7380675be83f15187771n,
  r: -0x305b86c1bdb13c9d3924a62c28cd6392638397n
}, {
  a: 0xdd70d1e56fa64ccd464fe365b20ce92c6c17868f7f7n,
  b: 0xb2c3695d7561f5469a16b31d1n,
  r: 0x6cedabdf4aa2684ab9298b142n
}, {
  a: -0xc745119d896b4a9ea9aedb91bc6a4d332f4ebdf825b46663b1n,
  b: 0x98a49bf78a3fc4df7af84ffcb15d690f2f01n,
  r: -0x73e6a5d3bec3643e78cb697792ace67c1124n
}, {
  a: 0x2e2a2e58d398e9a0042144c4b56d18b74a427d89bd56dn,
  b: -0x5bc0afc8f4fn,
  r: 0x2357cbcc91bn
}, {
  a: 0x7fc33a0f0bfbf3133f7db612dc881f1ddea0ce469d3n,
  b: -0x61ed7e3de35860678eab05n,
  r: 0x1b64fb7b4f03fb52f09e1en
}, {
  a: -0x1996cc4aa59507d7c5c061785a45e2dc7d1e0943a64fac660ba986a99110c972c1n,
  b: -0xd70875n,
  r: -0x42fa83n
}, {
  a: 0xb189ed3dc286f710c3a97142a5d8b65dce285689943cf4d1831n,
  b: 0xf0n,
  r: 0x31n
}, {
  a: -0x27fc2876a4f964e565ee4bb2d72baf7911ee583e625789e15c699618b878ad00bc692n,
  b: -0x12dd9b9fb10c35ef39f6a8dn,
  r: -0x1154e99e8fd69ecfee149bfn
}, {
  a: 0x516ddf81291bad5ff84c4eaaf70ea3f3843b708ccac6418010a9n,
  b: -0x22af799f457d4b0926b2384c626abn,
  r: 0x1de81d7bf043971a79c4476ead523n
}, {
  a: -0x91d7febd1daa54cb18c415968926736944da4433e2d636095d0b2adbc21123dn,
  b: 0x9e804an,
  r: -0x99ff6dn
}, {
  a: 0xaebdbd80cbd32befda32cf8a7e8d36e2d04c8798bf17n,
  b: -0x692136e57n,
  r: 0x5a302376an
}, {
  a: -0xe7439b68b26d497ac2dc0691243880de2e6d3b9904dbfc0e22b960b922b44n,
  b: 0xd84d32964e4n,
  r: -0x1e2d10061fcn
}, {
  a: -0xfe1dd4ab7519921b88e5651d21b24d00d75bd551abc4f77defa1d96bb70c8c5824cn,
  b: -0x1781da107e65855e898210ba052317dffn,
  r: -0x1124a9658e8966813f65c911b5e36e24en
}, {
  a: -0xcdb974b41fbd49cbdbe0b34e8460ab8a4ffc5c42eeabf415a6a1b96d26522dcn,
  b: -0xa42adc5d3b6aab9b45290a4666bccf4b6f1aa44b9d400n,
  r: -0x243628f0d98b22cdfce573d6a6b3b80b1f1f4b7978adcn
}, {
  a: -0x39d4ea6f6d0d2e06280db4d8f78af1c00f03ae782900feef7n,
  b: 0x790ff73be27a209823fc1n,
  r: -0x13dc80cb86f37c970a22bn
}, {
  a: 0xb913e14b9595d2951f89211be9915e844cc8f3fe7f3c36731e5a8a43aabn,
  b: 0x2f159c4ee0956eaa18860a72aefb639ba6a01f02b5e75dn,
  r: 0xed6ce1898c09c08e3fa7686091c4ea2aeb0329b625e77n
}, {
  a: -0xb72f7d8f774839d9d714131f5d4c52287e8a849e12944679b018938n,
  b: 0x641584b614344cb811e3c12015ff59den,
  r: -0x4d2e3cfc510e89519ca61fb041602dben
}, {
  a: 0xdd151f123d1bdc56603b16fb2d23ac61f9eff937354fb291e412682c283ef4fe4n,
  b: -0x95f4f57b9441eff69n,
  r: 0x9453f9f2b949891e7n
}, {
  a: -0x3920c8bfd7bb5fab12901dc56f10d97a33f500f07ae9ac1212c853d07c26858n,
  b: 0x4f3010bb216082c7d125e676db6n,
  r: -0x21c5f411ee193188f21346d9f6cn
}, {
  a: -0xcd6afe89d9ff918aad6bdf6e87003a42cfbc413b2dn,
  b: -0x8c3d25d16e0bd4d1770ba5691a2171523f5e5n,
  r: -0x646856f07840aecc598e36c79622f2fc70b29n
}, {
  a: 0xa57c40450b20f5038ebfcce908fdcfe4b2c16645198dd3a5n,
  b: -0xc3b742abcd11c94acb5ae903571n,
  r: 0x652f17239a37b6e8e31d2e1bf1an
}, {
  a: -0x17a9e49d880bf855691f7ed7f76f1366eb60f96f2b5a6910d0615cb90c33n,
  b: 0x891408bd248ad0n,
  r: -0x346627e9ce37c3n
}, {
  a: -0xc2a4b2c101bae7bc01e483b8d6f00c275475f6d817cfa22f26a1d61267fa8en,
  b: 0x7cea9b9bf2bdcn,
  r: -0x35b45d73f3bf2n
}, {
  a: -0xfbcebf23b280ede60a8b95a472ceece7f7ea0bd362e2d0585e542df60f690b208b1n,
  b: -0xdn,
  r: 0n
}, {
  a: 0x97525fa369db79229e9c3eafebdd78dd97fb3fe6b520f0e136ddc9468b799fc3ed416n,
  b: 0xd04496de31d20889480630f07c808d9c22ba95abn,
  r: 0xa9bfd9262b370381c5ea469085445ae395ffb78en
}, {
  a: 0x72f7889334c6bbcf579786b44e291ba4b6b427b1b637ad7e7cc39b27e1347n,
  b: 0x46542855f7d3e349b0b7777719e6881n,
  r: 0x95a7d742185f324a5bce7949852c60n
}, {
  a: 0xb5cf38052d93b231f59a148ba79fa1e3c4acb2f0d24a5ca5eaef1bc82aan,
  b: -0x3ac58d7abn,
  r: 0x14a75ef08n
}, {
  a: -0x4148bd53a56060e7257ff2dda582db141afd22622c66dbe84ab80ee04164e48f1fn,
  b: 0x7c1cf02a2n,
  r: -0x23265019n
}, {
  a: 0xce96cd7db008d999e775b76e43011a11e15c77ce5b6c694fd8aa8f2f07dn,
  b: -0xc2712fccf659dn,
  r: 0x2d53f8f865f35n
}, {
  a: -0x4e2e143f4d5bd9a307dc15892584302e2e2c2bca92dcc77bab401n,
  b: 0xabf640d68419ac1b4193a458n,
  r: -0x8b4d9b659b81a01185bd1f29n
}, {
  a: 0xeacd31f2b626e6a34130a81d1946806e15923fa1458fe0f0n,
  b: 0x1f061832624e41e1be57d271c8e5c89c67019n,
  r: 0x1e7f9d4389dd33b9d6b8baab8d74441332bfdn
}, {
  a: -0x3fd33692c2ee64f3a308fdfda9f644e835a99344338e08f2706ca34a92378c7ac6e6n,
  b: 0xf249c2b296c94cc3n,
  r: -0x3f9e4737250f905dn
}, {
  a: 0xd08a580aa8086979ba33c6489f7919c8a33d89470b9412190ec61c8c961eef7n,
  b: -0x40cd67c82404e705b571cd191a007394n,
  r: 0x31756b37c918f07539ec7b4addf136dbn
}, {
  a: -0xec4e60cfba56505efd29a783d7f6cc57aaea6031d960d10f0n,
  b: 0x191e9050ebe169b3c3n,
  r: -0x18456b58f1e4072330n
}, {
  a: 0xa999a03e60b2c5393430580f07fea206f256864c1a33fa14dden,
  b: -0xeaa691fn,
  r: 0x99646f0n
}, {
  a: 0xbd452e8b2ea9ca02a8e7cadbd0aac9aeb6fa2e2db0f28e8b717n,
  b: 0xbc215b07afad4de94eed055e8c3e4f9fbb944d195bn,
  r: 0xbb6ad4b0b6b542b57d7c54e2bd850cf81ed3ec1een
}, {
  a: -0xc4fc324f5c79426a570a88987a46a3ca5cb91d1184699714750c7cd763e4n,
  b: -0x80beb2e27121fee677e3a65f4628cfaaaabc5c1417695n,
  r: -0x6074002cc8102e3aaaa478fed85f58f0ce33688c9f451n
}, {
  a: 0xb821b68223329c9e832507b5074637dcb7e3b1d0b26862ff411617bda63dcf90n,
  b: 0xf37a5e0c452b6b4n,
  r: 0x7ae9de6d41ad9b4n
}, {
  a: -0xb34a3915b90894618190e5466567368ef05d6112015a12e6b7b750566ec2dfd1n,
  b: 0x3bacb4281e5da3bn,
  r: -0x321144c376d45e3n
}, {
  a: 0xe5fb83417d12361953f1c27503bbeb0103879dd4f908ed9fd67906f28bf77be62dn,
  b: -0x3ce7471745addcea03f48f3c96b57611e9cc1143n,
  r: 0x2da821bb9f97e35ae4c2d806f032930fe7e8589fn
}, {
  a: -0xdd328ee1c1f6443edd34910ef943c3f63cf7b9749b0506e667eef02ffn,
  b: 0xd62315a0524f383564e060bef232f20n,
  r: -0x6547ca7711821bc33c29d7fc2d446ffn
}, {
  a: 0xf81df65e3e925971460400802785beab9e8bd090703ac509b30a3a3013n,
  b: -0x7b384c42e55057e8460a870n,
  r: 0x14e6d8d63b2de5f778497f3n
}, {
  a: 0x949a8ac5fbbcc6b65b74bae9ad1e9363f22cc54f64482c6b06e226012f1n,
  b: -0x7n,
  r: 0x6n
}, {
  a: -0x5220ca98f88b190e911a86228dd1d88554c9fb62822bafb4d55fa59n,
  b: 0x424ebbbc2fd972d1d0478bn,
  r: -0x3631d922c333c221fe15f5n
}, {
  a: 0x57dbff861bdc4b50344f359f70ae591a57209da7cc12n,
  b: 0x9166099e19303014c0f209a5886f40ad91n,
  r: 0x89102e77ad0cedfe5cf0ef3b6a12dc108en
}, {
  a: 0x66ce02468e44e37493293663c61b13585e109e337e1d9fbf5n,
  b: 0xe2fec7e67173bn,
  r: 0x3f09f867d7fe4n
}, {
  a: -0x7508df5b16268158d9aa7d1f670f4d13a00f9fa21a447a3d110a46d83572ab29cn,
  b: -0x1b436c9e6fc527e4b59734aa45cce13af204n,
  r: -0x6c3b6a91f71d6bca1fb1f47a8bf56cdc274n
}, {
  a: 0xf56fc62527ade257b035ac585d777d7452ccbed838n,
  b: 0xcdaa787n,
  r: 0xca9426n
}, {
  a: 0x8c9154d27353678b9fbdcd63295dabd2bdd8acc9f285e8a62ea4an,
  b: -0x2bf55896cc1a5e4a2b02c6cecan,
  r: 0x9ffec128017a54682894d7926n
}, {
  a: -0xfd57254a8f3b1c721f29bf8fe37b436863d1ae3ece5e1n,
  b: 0xad36da0e0af410946ab9cdn,
  r: -0x3867dba6898d143a662891n
}, {
  a: 0xbc053b1ef83353b95f9cb7c0bbc8e32660d6af0a06c63cbd61fa38n,
  b: 0x208329n,
  r: 0x5e3ban
}, {
  a: -0x990ff63b430aa6a834caebb3790f148f2e0c0c24172f9e9e9e772df9e1n,
  b: 0x34f2aa7f99eddee74af2116d5f5104c278cc705a6an,
  r: -0x1e6c3f161ef8cd070176cf564168b75a29ddd2877bn
}, {
  a: -0x28ef2c0b490f703b55de1453f88a9b3e60dc53b2424n,
  b: 0x85f316621430dac8bn,
  r: -0x5f4d0a87b37a4abb9n
}, {
  a: 0xe1565bbde08af016c81c4796a066705998a2392dc17d861132cn,
  b: -0xe7e0aa802d8b236826c491898ba72017ffa2dn,
  r: 0x817f18e19e42cc76267cb040a9fd75756a8e0n
}, {
  a: 0x9bdbb7d9550f392b47aa36c17cc4571fb4503b06a765ad44ed6fb601an,
  b: 0x75522149c1a980ec44f9fe5339a8d1a5f73d3bd1dd3ba8d3n,
  r: 0x4c8168b665eb8121415e3459ed1049ccc244b4de60b52d4dn
}, {
  a: 0x358520bee21b042c9e1467e2a9c246571f759831d9e927698n,
  b: 0x7e141eb1875be47885b49f4467fbf2149e1d9fn,
  r: 0x2f4822f3d5f9c2fcca1d574a8563fe7ad7c30bn
}, {
  a: -0x24bb387957397376f3885970d9894615149d9e4b65210a30fad89n,
  b: -0xb97ed7n,
  r: -0x4b95fcn
}, {
  a: -0xca47c8bf632fd4c028b505a5521a736bc3996478684f64eed488n,
  b: -0x7238c4031fb291a33b21n,
  r: -0x475a8a35a8838266dfebn
}, {
  a: -0xd8016cb8c373c76e175aa0c3e9137d90a9d46cb9d552e80efdb3182ean,
  b: 0xb63ca7f12239307aa03cad346da7a3b2821e6f3an,
  r: -0x15c89c4f21bf0cc7e222897b9804e947fe844d7cn
}, {
  a: 0x9c4316006b58f67f37b62f4f90c367241c6835ddf4739c653a72bd02d464n,
  b: -0xc5b8e730a2c4fb7b8247377b46372958181dc7n,
  r: 0xbd7aa78d5a59ca4ac7f9e3d3a507c4301ba7f4n
}, {
  a: -0xab8a2e7cd338f00d4ce59d966e3b50b5c1599c4ff0b64107db59de0n,
  b: 0xdd2c42d5011325d517f8c5743e7fb77f8e78bda3a3n,
  r: -0xd280148a3b84b4e17961fd2d7141ef8bc07885468cn
}, {
  a: -0x6e0c237c084aa8b2847fabc5a357b9992b3866c038543926daf8fc9140508d862cn,
  b: 0xdf8b122be70d61f458n,
  r: -0xbec75a053c408d8144n
}, {
  a: -0xbf456967baf91f801376923a0f54d4fca0161ed313e1f7381d06n,
  b: -0xdaf79n,
  r: -0x2e234n
}, {
  a: 0x32e65cd01c5640f8ea188a4016a94004359c3ed8830ae17a32edddb16a8c857f9f0fbn,
  b: -0xa6311n,
  r: 0xde29n
}, {
  a: -0x4006dcaebd355c40c2210643e69a9b98637fb5c76958n,
  b: 0x15c19d84e3174f404a951eb1efc0039e7n,
  r: -0x13464c9a4fc7d19ab103c1e18fde8f029n
}, {
  a: -0xb180487b355d19d12bfa57921c8921d2ca572755e315c4e52f49018cc976cf9fa0n,
  b: -0x7ab39c932e925e698217f04n,
  r: -0x204ac84dd43ba33fd95e0e8n
}, {
  a: 0x77c543a8ea4258fa03cd3d28fa596fe5f7f74a367c4862c2dn,
  b: -0x15cc242e50b65e45cb23d531dee4dc9en,
  r: 0x76b7a62f5e281305b136c913362a37bn
}, {
  a: 0x89fda615e5ccc26b6c239ea4bb232c7fa6c66bbb1e08a8289591482c5736n,
  b: -0x4931f1565279224ad016bea697f62a4c8047adb2fafb12n,
  r: 0x479fcdd22f75ca6aad8f339f017b212ad8ffb9fc534962n
}, {
  a: 0x5a08ac90ea8773c0eeb3a0a86bcca2a95bfbbf17bee45a8f9449f9abf4b9d3n,
  b: -0xb57a4100148cdb97b2ce66f84b6a0c1f821n,
  r: 0x814d692e609ba6cf58adfcb62efa24d2133n
}, {
  a: -0xd87fca99a7eb19acdd722db9e24e59b342a287f9a46b812f0270an,
  b: -0x25a7f6c38fefb9086943e98c58b426n,
  r: -0x17c7a3d5ba4ecc6427ca4a64f55c78n
}, {
  a: 0xcd64c442b352d60cf7794682bc93894b0e0f5bfb0f0n,
  b: 0xe40a6n,
  r: 0x37a8an
}, {
  a: 0x4a41f975f79f76e46afde7cdae8b1f1332193684a13f5e58ca35n,
  b: -0x199d9d414cf1f8311fae85bceee2677f3217an,
  r: 0xc38d68c4b5862ee51f906620fe5e67754bafn
}, {
  a: -0x924916afef2d925a47c0b64e8460f7677e32a5bf6f68d65f077e12044n,
  b: 0xae959fb67n,
  r: -0xa9e31bbafn
}, {
  a: 0x3c37c886306330e7e1924c6089659c8132ac7c1377fefdn,
  b: -0x9d5bc2aaeb2cd57bb3645n,
  r: 0x935c033bfc5babfb36d54n
}, {
  a: 0x7945c32f81f7b3dc1c7c2dd8d25534ab413457776373b9358d20c965ef91625fdn,
  b: 0x773a07872879da15aada760f7e46be30c2n,
  r: 0x4124a26c371af61077461cd37ab5e50a8dn
}, {
  a: 0xde94f3727c4c0cb1b2be40fb4b77434df124983ec78da2308075acn,
  b: 0x9n,
  r: 0x7n
}, {
  a: 0xe227cbe534be5d0a67d51577cd9bbf1ad54d26ec2819c7b39e01cn,
  b: 0x4bf8d983ebf0a61f8882078bb019e40bb2abf02d9n,
  r: 0x498e4aad87b69fb1740d2784f266362d8a645d91an
}, {
  a: 0xf488b02a6cdd9b512e37e76abef8a90b6a0597151a25adc66b62f3d2eb34e8den,
  b: 0x7262e5d80759863091112de1b7ad3f804e5124c6a9n,
  r: 0x38c0a60b7c4778553acc5710419dddbc608d5335cdn
}, {
  a: -0xc0788d08192bd3ac8ee95dd86732bb9b188fe571af34cf7ddn,
  b: -0x2bf53bd948d97289dd166c135d13cn,
  r: -0x262a182de5133c6a5e6ad9e9fbda5n
}, {
  a: -0x604eafc218afdc4a567202391ecf2300101068e05d50ff47e89f8219ea7fn,
  b: 0x199724f26065b5b67b0805n,
  r: -0xbdafc891590a19e20baadn
}, {
  a: -0x3e8c9e0452f7061213dc7bb904bb003a0bf3f1de4b9a3f0cdfa6a0ce14d2985c7n,
  b: 0x3e18c7d1c6adbn,
  r: -0x176608d927a8cn
}, {
  a: 0x1f29ebacad6ef178ab28925db450e4d07b175191df347996n,
  b: 0xaa82f1898597d0ed039ac273a4509277d63en,
  r: 0x1540ceaa0197b0f6ab253b15ec2715fbbe80n
}, {
  a: 0xb6b7bbd8005fb1e8b0fe2ea45fa571207ab10a01543an,
  b: 0x563941afbcn,
  r: 0x1974e47bd6n
}, {
  a: -0x4a0350c07e0dde6482b4e8cf73d283d876abed80f502n,
  b: -0xbed76c43733673a75bca07dccd8801f445n,
  r: -0x2f62cb255ff476af0679425a501cfe3dc0n
}, {
  a: 0x4322c3cbcd72b3f3c0e7539ec2bd4fefffca62b12d6359492dc6n,
  b: -0x15a965424e2dfcn,
  r: 0x26d9f8a818d6an
}, {
  a: -0xc4f198e65aa36e0ceb2e52f075e8acceab54390e9eb61e7bac30a3685559ed8b33102n,
  b: 0x76d916n,
  r: -0x51ca86n
}, {
  a: 0xe8ec4310b03b8bf7f73ccb720b94f18c29a5bbbd54b030b6948bn,
  b: 0x40acce0e31c893n,
  r: 0x7b0842792db66n
}, {
  a: -0x6340a7e5e562bf1a07fc5027dcf0244adecc19b5df2d18dce1d78257e8c9fn,
  b: -0xa9bf24n,
  r: -0x715237n
}, {
  a: 0x3b97386eb1140263956cae83052bdd8a13c8a09123d02f50d84n,
  b: 0xfn,
  r: 0xcn
}, {
  a: -0x657529703ef886ccab6ec4b17379361bd01845c1f8373fe3358acba694de9fbabc3127n,
  b: 0xe0c55ac86bff7b4ec011ac48956a634e677dd3d39en,
  r: -0x9d40a04957320ae078bb8baf9ddce0de456869b59dn
}, {
  a: -0xea32f726d18e4093ea6fe8b918032a98b38172041ac1c8609f93341ab0d0n,
  b: 0x59e03f32b0adba4556de8da5bad91487b857f77en,
  r: -0xe9563bcf130e71bd6d5d46ea52ff5c0bbb0e664n
}, {
  a: -0x7494cf73c896f25df35104ec114ab50eee403e5425n,
  b: -0xba0414d93dn,
  r: -0x6e7ef6f70an
}, {
  a: -0x469927c04be3f8f03fa39e90fcd5265d1291d5c23fea680895ean,
  b: -0x81b5911c5a29c84ce6196440202ce437e70d78170b0an,
  r: -0x25587411683abdb493b1c65fc90c253c6db29bc02358n
}, {
  a: -0x8570a048365e101034dcd65acfdb50a92b4344160e9550c5699n,
  b: -0x1819ce73b5fa28ae83344dd8d9ab580e437b217304804c3n,
  r: -0x1627ab8a2d3be269896a30c65251ca019165f5645b71124n
}, {
  a: 0xdbe83e16d4724987f0dd79852a72c4c621f51a227a4n,
  b: -0xdc3fbcb8f9fd6b59dacedc3d150560d732ee48441980n,
  r: 0xdbe83e16d4724987f0dd79852a72c4c621f51a227a4n
}, {
  a: 0x113ef66b4c50f2467fcc619bcf56842e7ac253d231252an,
  b: 0x640c966539002e4b8126605fbfbdcd8b2835n,
  r: 0x12e68fa682cc36260e7117c034721d1fe763n
}, {
  a: 0x22c4f773747f602a924934cb184adc34ad0d9a1cee47914742ee2b75638fn,
  b: -0xe371357b4fcb32c1190bba809e209936674b42385cfc95e4n,
  r: 0x2e8634f2e5a02cf788e77e187a58cc57ff1f37cb87bb2f63n
}, {
  a: 0x2e40028ddfed40a876a7a216e7663794304f4436642b6c82d2372b1fe36627b42fab7n,
  b: 0x5dc3f19aa61a38943ccc36215841026e4d3n,
  r: 0x5167227c58db5183ce9f7fdb42787034e97n
}, {
  a: -0x754ede9abf7044d710b02613f42fc15db556ab92d75df87c4b71bn,
  b: 0x1347a312dan,
  r: -0xf8ca0c371n
}, {
  a: -0x9851fe89ed4eadae0fe7ba670e53f5ef13f0655cc9e593a439n,
  b: 0xfb143266b8971e11a81b6ed20dd108cc8bcf079fd3910c85bn,
  r: -0xb16a2302579acc421584c10e68e60fc054bf112e2e3fc9906n
}, {
  a: -0xe9112262aaab28fd6979bdd680b9313abee3aa925c354efd11b1e1636cf74d9n,
  b: -0x1220dbc05a7412cbd0c54376d53d94c2n,
  r: -0xcf419275561f89b83ce54ccdeb75f55n
}, {
  a: 0x807ecab2e9a63ebcc55d9cdb32ef6a7857144a076f432e0be9n,
  b: -0xe9955a17e2e667fdb23fen,
  r: 0xb8bcd0b39b678d0679e0dn
}, {
  a: -0x9ef0af5bb785706218ee03d831d5e2ed7f51883b33a48c2637ac3b535410n,
  b: -0x36c8710f7206a7160f442a6c420e878n,
  r: -0x246deda878c1187431e025a323ab3b8n
}, {
  a: -0xa33ab5ed3b8aaced6d179f7e5292a7e11d979a4729b19n,
  b: -0xa318b68c27132b8f15ebe26861a542bn,
  r: -0x892dc77ec1783089d0803f4759c5995n
}, {
  a: 0x3f9b5956800a85fd6420c013032a821482827aef3518n,
  b: 0x30e803a1dc948eaen,
  r: 0x1da2dd08f2e4d1ben
}, {
  a: 0x616d54f5981627310d08d209954d8efc8250397567fa42e1n,
  b: 0xa39e4007c8569fd91de2cc86a2ae0f015ed87883a308d20n,
  r: 0x56450f137656d46ec393efdd9cba68bbcf675ab5c454cc1n
}, {
  a: -0xc36413e14158ea8fc125c08b42eebf20f5b73346956847e5557en,
  b: 0x8de5b82e3e5373edb94792n,
  r: -0x14a1d19995619be75c04dan
}, {
  a: 0xfb5fc8d2f1325cd3c1e49573169d9bb85871bbf2adaan,
  b: -0x18633995f1b6bfc36c9a4e5f44dd999826e5f2ca3n,
  r: 0x893439530320226bd7c37d7abea0df0171fc4809n
}, {
  a: 0x629f0fc34b437676f6a0087a5deea6aed6c0ee2926bde11dn,
  b: 0x49d2ac9dee1f5b8b42n,
  r: 0x47ce98e151119c3ab7n
}, {
  a: 0x930bedfef3bc53074ee9be57b43eda29dee12f7cf4c901f83dc74c5f30d7940f5f4n,
  b: 0xf171da56c54729199949b0903550d5b5c28a6n,
  r: 0x242be84c0195594ca0888b14700211eb55e82n
}, {
  a: 0xbbdcae9b419496fed9f723c2e0dcdf4aa7b69503b993b5185d2731b2349d0e6n,
  b: -0x9acdce20e1c8161ddbbn,
  r: 0x3f96b6b4c6888ca6595n
}, {
  a: 0xcfbebd54710aeed23c217589ecc0853effdde90de277eedd99501a23f03n,
  b: 0xaa873bd5f2166d8c19476876fa3d39a3f4d3787adn,
  r: 0x3243b4066b61a24e000dbdf11e194ab3c1be91d15n
}, {
  a: -0xcf93d0b8e91b6d9c6eb50114fe112e30d574c8cf01n,
  b: 0x6e8dba83c301fb5687be8ac8a662c017a1abe02n,
  r: -0x4fa6d491dd51d1a1ae5c608b0084c778d7926edn
}, {
  a: 0x180499660c1e0e5621f6f6a3f233f98d4ba629a33fbf01c57082f507a1cad03398f2n,
  b: 0x6b1629a528e7b3b4ab73c88f19e699311aabf2cf6cf1dn,
  r: 0x233814eff2f45c246b2313699ca4ea583f37715dc1260n
}, {
  a: -0xc18b444b60a07fe7f42dc1cc3ca35cd84d7ecb00e2fc5a4899989b8n,
  b: -0x72e6cn,
  r: -0x2624cn
}, {
  a: 0xc98a9166fc0b620c37dda1aa9cfe5d67607a5080ff63b418c7n,
  b: 0xd0cfff8b8bfb19c1a02b732938n,
  r: 0x309a20b76a304b6851318f46cfn
}, {
  a: 0x275dec7347f9f70511957e1f4cc73ba56e33884f9eeen,
  b: -0xb43c8c812224a72ee17b796cae9e62c2n,
  r: 0x4778dc0027233081bf9db0673d2e7b92n
}, {
  a: -0xcf789c61183083e3c5ec284da7d2b94a62810356dc0de712004n,
  b: -0xdf774a2ed032e0b7e09bea7a1eb011e75b976b1641fan,
  r: -0x1c1bb7c51544939227b17e876db1257995ccf179efaan
}, {
  a: -0xc405eedb9d246a830f2a1186420145a05469d79dcb521d42d477368f7170936ban,
  b: -0x8891984a21e6ef0dc28b9bf622c67e821c221bd0e6925f9n,
  r: -0x587ee4eb85c2815cc866f29fd756511323210fbf0ad1aa0n
}, {
  a: 0x8a4ed5dfcf791a4a5e42c1940d18f36c85bfedfc03635526c4c57b18fd7cca5n,
  b: -0x2d4306251d7057873daef8ecd0bbc3811721an,
  r: 0x207e08f4afc3faa40e1a94fe8284f5743508bn
}, {
  a: 0x1cbf4204c8b4c269eced0a25862efa2761dee48560426f0889c3f588ac4n,
  b: -0x32bn,
  r: 0x1fdn
}, {
  a: -0x21d43c2e5b18e97a8eb56c09c5fb67bc61ab360d3een,
  b: -0x70ben,
  r: -0x331en
}, {
  a: -0xcdf55ce0c2fbb78a6e6aceb5eedfe43904d5ba06becn,
  b: 0x91b3172f758d2f30dc3d343n,
  r: -0x2e65e7150d1f0d5d55090cbn
}, {
  a: -0xaab609b6a49b91aef6031ff48c91d6f34ca89126db2e7f3c63bc6aba367905dea7003an,
  b: -0xe7n,
  r: -0x47n
}, {
  a: 0xc40c96982cc512b35ffbe7f48478dfba4402671a7b613df4cfaf7fb3e6n,
  b: 0x1c13984d1d83n,
  r: 0xe026d4386aen
}, {
  a: -0xd084f81bc66d02554d429176262215c9aca8a1a2a035fb9519c38b7a824af322a725n,
  b: -0x65e55636df5601f1n,
  r: -0x61171f8d21814d8an
}, {
  a: 0x63d6cb3e3926e5c3c63f685d2a5b6b933367f970dfa1ec86a0bb7faa166adf00b74n,
  b: 0x41f33n,
  r: 0x24a22n
}, {
  a: 0x707bfb87655593f3d95f0c145ced1d93fcb28fc70b3ad806a2eb126643782n,
  b: 0x81aed33620d16a5397ae29bddba3cacb0ee79dcffdn,
  r: 0x310cfa1b0fa08a40e29f6212f236992ae48f03af66n
}, {
  a: 0x8adb4e39e68ab02e1e90ef6a3c4c366720ed539016f7b220aa2469c97ec08ac09n,
  b: -0xf84797d88e2529adn,
  r: 0x594ab470b5678562n
}, {
  a: -0x48b4bb737ffda05f76223376d707f9123076b73cc50923156bbba6eb48n,
  b: 0x61768898bbc629247192cd45cf33fn,
  r: -0x59d79f97dee854b873300944b6253n
}, {
  a: -0x7eade3c855f2d1ec77be3bec9ff64f411eed800df00138dad5f109797cn,
  b: 0xd39fd7d51902bea3fd1cdb50c9e51049e80fc8f6a90b086b4n,
  r: -0x639cc122229f2d80c1aa8c703c0655810b46361a0a6b70a20n
}, {
  a: 0x4f66109ddc0ef0527e2051a71c034bb5155b3012e5cbd8a68385738bdf5192744en,
  b: -0xcd96ba5ed9e951bc07ca059558c1ee2de0968cd4n,
  r: 0x9f265499e724072d826daf5d2bc17d61e920c516n
}, {
  a: 0x563f5219abd020ada1b306783de4191d9de21d721e26cn,
  b: 0x25d4aa280da60b59edcab47cd77965dc5fe578acn,
  r: 0x177bcf0d3c8014a93210937a90d2d796e77a8838n
}, {
  a: -0xa4931ff626d2c56f38398132efdf7ed2eca1d8bf16ccfae548ae7e4c754fn,
  b: 0x9ee93260338f96368225f8d050bbcfa96cd7eabn,
  r: -0x1ad9d9a21eff69beba4635cc0923b9d0035fbb3n
}, {
  a: -0xbebf463488b0932f56b099f2dca9409eed2e9d0ab2n,
  b: 0x82cb935n,
  r: -0x12a8fc7n
}, {
  a: 0x8a7a18a4d35f273f0f1dc1bd1a0f44642ed487bc87b38ebb733n,
  b: 0xf1bcd1b3b8bf39c8928bad279b25e03f0en,
  r: 0xaf0cdd97c292223e4903c4d4f8bf6d80abn
}, {
  a: -0x1a58c295e12e77171ade7c9e352f64f870a26ecd855d0261205017447a0411422513cn,
  b: -0x47dd754bn,
  r: -0x16f205c4n
}, {
  a: 0xca738dbdf5d120485d87e0c041b4340fe2ab836c06887588ed8fbe2n,
  b: -0x6721ac9dce01fc7f97d0a550n,
  r: 0x29325bcc2e273c11a45ef062n
}, {
  a: -0x183ffc1ecc3926ccfeaeb910e8af1403eabbd8f52aad8779n,
  b: 0x41f5687c0844b5bb6edb3339246d3943n,
  r: -0x1fe23c520909a43463e6f6170f5f82fen
}, {
  a: 0x20e7ab9b77e83f58a99a26b8a57af013097cd8c4b6333fn,
  b: 0x3fd6bf5ea9e9e9c86c23905a1e54c098cc3an,
  r: 0x3e5643b1ca8d3115f887ca8cac08daddbe9fn
}, {
  a: -0xae12e254353edcdcfa988308092a6ef2bd4a98387c49f6cd167c8f47n,
  b: -0x9e1e50d77648cad5f2ad52f9c68710fea204012bn,
  r: -0x9d0f5e5dd29bcf87b92a13aed3007c8ae767464an
}, {
  a: -0x982a9bb9c6d6761872fd54e8fdd3c9f33bb4011919ccf77n,
  b: -0xdeaeac4aa2479349f8506c163fd4cc490n,
  r: -0xcdaf86d5530a85ab7931c63a01982e887n
}, {
  a: 0xfa9240ae5a7eeef0303f7d83d517a92a1861d6c40647b914b43babaafad438821cb3n,
  b: -0x37e2723edfc6b34cdffdf4n,
  r: 0x8e692b0dba1642a77401fn
}, {
  a: 0x7e70f16bcd7b92ca227ede9961155d42fe380bf0be2n,
  b: -0x8822823ca4411e67994caf81d3e1941d0a5c0071e9c914n,
  r: 0x7e70f16bcd7b92ca227ede9961155d42fe380bf0be2n
}, {
  a: 0x91b340ed75f8d895ac3a51e96846fc8017250adfbb9428da55aff353f82578bn,
  b: 0x6b57e172dd2505f94aan,
  r: 0x510b19dc75c2ac2d52fn
}];

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.")