@silvana-one/mina-utils
Version:
Silvana Mina Utils
653 lines (644 loc) • 257 kB
text/typescript
/// Auto-generated lookup tables for optimized scalar exponentiation
/// Generated using R = 0x149fa8c209ab655fd480a3aff7d16dc72b6a3943e4b95fcf7909f42d9c17a552
/// BLS12-381 scalar field modulus: 52435875175126190479447740508185965837690552500527637822603658699938581184513
///
/// This module provides 3 lookup tables for O(1) exponentiation:
/// - TABLE0: R^i for i = 0..1023 (base powers)
/// - TABLE1: R^(1024*i) for i = 0..1023 (powers of R^1024)
/// - TABLE2: R^(1024^2*i) for i = 0..1023 (powers of R^(1024^2))
///
/// Usage: exp = i0 + 1024*i1 + 1024^2*i2
/// R^exp = TABLE2[i2] * TABLE1[i1] * TABLE0[i0]
///
/// Maximum supported exponent: 1024^3 - 1 = 1,073,741,823
/// Total storage: 96 KiB (3 * 1024 * 32 bytes)
import { createForeignField } from "o1js";
export { Fr, BLS_FR, TABLE0, TABLE1, TABLE2 };
// BLS12‑381 scalar field prime
const BLS_FR = 0x73eda753299d7d483339d80809a1d80553bda402fffe5bfeffffffff00000001n;
const Fr = createForeignField(BLS_FR);
// Use the proper types from the foreign field system
type CanonicalElement = InstanceType<typeof Fr.Canonical>;
/// The R constant used for exponentiation (raw bigint value)
const R_VALUE: bigint = 0x149fa8c209ab655fd480a3aff7d16dc72b6a3943e4b95fcf7909f42d9c17a552n;
/// Get the R constant as CanonicalElement
export function getR(): CanonicalElement {
return Fr.from(R_VALUE);
}
/// Get entry from TABLE0 (R^i for i = 0..1023)
export function getTable0Entry(index: number): CanonicalElement {
if (index >= 1024) throw new Error("TABLE0 index out of bounds");
return Fr.from(TABLE0[index]);
}
/// Get entry from TABLE1 (R^(1024*i) for i = 0..1023)
export function getTable1Entry(index: number): CanonicalElement {
if (index >= 1024) throw new Error("TABLE1 index out of bounds");
return Fr.from(TABLE1[index]);
}
/// Get entry from TABLE2 (R^(1024^2*i) for i = 0..1023)
export function getTable2Entry(index: number): CanonicalElement {
if (index >= 1024) throw new Error("TABLE2 index out of bounds");
return Fr.from(TABLE2[index]);
}
// R^i for i = 0..1023 (base powers): Lookup table for efficient scalar exponentiation
const TABLE0: readonly bigint[] = [
0x0000000000000000000000000000000000000000000000000000000000000001n, // R^0 = 1
0x149fa8c209ab655fd480a3aff7d16dc72b6a3943e4b95fcf7909f42d9c17a552n, // R^1 = R
0x5df995de0eb4fd377c1c4487338e6b2cac86012ba7ad28007b511f2e832ca5dfn, // R^2
0x4b3ead8c3dfd654f6e562478086b876b1b00635d558749f78d9e67bc730e33e8n, // R^3
0x1b7627cf3b0816f9e23fd6455446e6131fa1a6e39ada47481e8d13563cbf28f3n, // R^4
0x5e8ff2b9cdf997eaf93fff82ba1ad706e126842cda04aa98e5823641f0e104aen, // R^5
0x1fc84f346a381aaf5a83870a6c99fcd60ad57a819c5d0358158a71df8f30ca9bn, // R^6
0x6e2c601106ed0953badad4c2002a1cb669b68f97dc64bd1e6e65c4ff37a9c19fn, // R^7
0x7366a137b8ae4e5a287f8197096a179cbfc3ebf633d6e9de9c61d319c23f931an, // R^8
0x1cf1dabd25b6d47c5f55eab1e5da855faead0c3e0ea1f006f26d96603b370070n, // R^9
0x28b5085e0883923a5fe9bf9d108f8be3a432bd97156020d87dfce14ca429a152n, // R^10
0x5830b95fdb00a073da69509b71a80f3343004a16aa1018dfd8ff13bc73f974b5n, // R^11
0x5a32550797ab926c17788923bd556bdbda00d919d6bb8fec5406edb5d9d24bbfn, // R^12
0x1b6f299e48c145f90a27df014c50086b6f08e41702e19e1ebea3a998090c372dn, // R^13
0x53f29e90c29a5292a2699e9d56fd4d3ed80c583ab292c81c6f96d8667ad2a326n, // R^14
0x3ffe313e31dbf4382757ad449c2c8135e31b5460b7ebc15a18b13f8bedcc7217n, // R^15
0x3becfe52d6af64a31dedb53bc29ed2bc860fe0c214357baf25b840156666f865n, // R^16
0x1b027a226b227e964410ee322cde8e09e17d95ac365f6fe415f0862b29bb14e8n, // R^17
0x19aebbf7b44580dab6b54d212722234f73fda2644517b892f5bbd641953544a3n, // R^18
0x4a405283f982615a3128fb0dad9d309559c5277b6c2553ce65d5d7186b1b5855n, // R^19
0x71048a6425b6aa932506dc55a0dfe6cd695b168977abd8c8429b8d38dfd173ean, // R^20
0x62dee991e60cecc791f149ba4b96ec037fdde9e88b456d1c138e6f9ad5afb9fbn, // R^21
0x49dffef70692d2cbb8b5a4852ba3c9f25912563756921205ff289b1a34473ec5n, // R^22
0x2324bad90fc4792859c95ec12fb97248513bcdd6b4ce61c3e337edea3d677056n, // R^23
0x085ca5093e7a3e8d6408f73828aef93b6a95a489191fd769c028187f029ffa8dn, // R^24
0x3a61a8141101de545fb223b0b81f529690fa9ff542b9a8bdec88b6e14e047017n, // R^25
0x6d46459211a98cbdf9a4c3c1d25b6e5a2b3d27528a8d091c32c1fbe3f2d5fb72n, // R^26
0x524edba268a718d737deeb2443c7469faa3b5754d71ea5fea364291e044b8130n, // R^27
0x0e810fa53d537adb3fd5dd3fe854d0bead36c9f29c59e258d3a94024caa501den, // R^28
0x6a6bfbda1e831f027e9d5bb7b8c94d0a1d364a6959d19005c30c3c9993a64038n, // R^29
0x2fce864b3fea12712796eebd5a9b956e6a326e8b790973eb509e534a0027de2dn, // R^30
0x3b52aa155417fc8e117550174516a87c5edb985767f4006fc26dc50bf5425166n, // R^31
0x592db301afc2f04738f65ac64542881694928726ee7566f32531b6605088ee26n, // R^32
0x6bd958c72d264724572440ef2ce7d5188d0ca7dda91d216be87cc2ccbb1f21den, // R^33
0x393ffec28d4e3f0051d5fe3d3d61f7dbe49b5a414000178ee8f64eca9cecf2a8n, // R^34
0x3289382cc64971acbbdcff51667ecbaceb55fdc8a223790ebc4a82c168260a23n, // R^35
0x4264b815382a2c319d4a625406b0d736c13fb70660ca9a34f245ab124ef97b65n, // R^36
0x2b3ea1db90651f1cf09ac638f9434631e5b82201fe66c5f336778c14f4eceafbn, // R^37
0x52ff9470f870231d00fcdeac4869f8f9f70a9b0ff09a3bb7575f1dff68698d80n, // R^38
0x2667eabe1b9dab6c6d864cea6541b95a7376840f3c3e150d09928df9cc47a3b7n, // R^39
0x50045bc8bdbb0aeddc3148a6583c36975617b166c6da1279e43025139d299a59n, // R^40
0x300ab6e0b724119d1d197e0e31efff97ee1286af1602b0ffaddaf810f07f0661n, // R^41
0x45bbb7ad234842932f2d99e66cd9b8c7681a9b6a966c42f3394cd6870e16669fn, // R^42
0x10d663727245c978edada6cb2bf1702631142c2b28df35c0c878e6403e30371bn, // R^43
0x0d2549ad4f12f22bca6088380276c22125f36f05ada3924912d95f25129b5684n, // R^44
0x1767cdb24e30daa2dd564d5906f6fbb01c520da4a44060560258f4d1c3e13122n, // R^45
0x5434915e0b118a0d0b6229af4382101050a76eefdc66e0166155bba96cde58a1n, // R^46
0x71bc23874177c13de04e2541a9d47c49b3078da760803001b32a82357ef7b2f6n, // R^47
0x3aa5f7ca2cf54226e7ce899e404ef6b6b216fb0a9b2ad8546a7fe2ed5c9ce0c8n, // R^48
0x5c8466cd98ccad2c96762de43e850252842da79728440f665a3e0333891d5d87n, // R^49
0x1797ebb8557501f1adcea37658666664e54385f3fea6fc7717681fc1837ad183n, // R^50
0x58d3a829f86ba498794a7167f937870522fc774eea4b923a393c339272d091c7n, // R^51
0x233546374310725810c53fafe49a1691b2865e85cfdb6c17cf8e3d2cf6ecc9fbn, // R^52
0x011fd8729456057bf219a7e1034a7db7fcc3739d49c589224baee0d03fd64c04n, // R^53
0x1f3b34478cfc619a3fa58dc62473c9eed6cf3bb2c9f2e5eb570a07fe128ab5a0n, // R^54
0x691f8153655e0820c3a1c7dfbda63a1a823175f288341f2c4da51090ec82950fn, // R^55
0x665303958e333369495f47dafe7e873d83867fed1e2e86a9f7f196a1d454a35bn, // R^56
0x3ba197949d37404e2711e06bc9e49b3b1a6e3b710f6c93fdf77ea86546f2a302n, // R^57
0x056257f4793d20baffa7c27c2f290a07ddc58fc66283d3bf1d6f4294236cb59en, // R^58
0x418910649db13cb7ed1d5aeac6a805556b19a5cc8af76ac88638e68270080928n, // R^59
0x479e065423862aae362d7b2041bf47212e0b3f8f27754ef86a2dff4600e2920dn, // R^60
0x22668f06bbf654ed335c9426848db56e433f3d9d7f42e4f5b797b081caa13f9bn, // R^61
0x303d5ca14fb65dfe56c00334cb6d543a78be91ca1d1e4ee9c0ba2653f5ddbf30n, // R^62
0x0c8c636e0f8f4844dd4cddc47575973e2dfcc902e31214a1e993fe1e2fb1aaeen, // R^63
0x2aff5949c2776194793be80e1ae48b4740331e37ed6fd502c5adf476b0abf418n, // R^64
0x555021ba609370c7217521647e07a51858f0c5706d8f61cd11045c9bb96e395fn, // R^65
0x0c76744b596fc8428e71f968a5a963bd7fdc376f15bde5670e2f9cfece6b37d1n, // R^66
0x4f42f2352ee6b7a8eee14375c46c162bf73823a0ee7958fa52f9208108d4e54dn, // R^67
0x150357a92d53e68a4e61315ab039e4df1a1d5f38f318488f3689ded47c56f181n, // R^68
0x05a7330fa4615a2061e3f5df1a124116110e2e50e58914d8ecf6fb33f3706eb5n, // R^69
0x2e45b7b2d79ffd9a45db6aac90657d9dd1c02359856a19c6471a8c6ea0b2cd06n, // R^70
0x47fc64f748cda684b5d3fa8eb143e92b72a4f9c3d75ce81c45874ba8245e0367n, // R^71
0x136471c895de77f8fb3692b25cce4abbd5e22e09a525175ab7f6cea0cf4f9085n, // R^72
0x2185d4586e6dbc8b4169b7084e7195f6f3ac906ab2543d1849e09f55467873den, // R^73
0x22ab4e97717bf25b5916f3c5309162471ee898b4e39cb3b30bec96b53b3196adn, // R^74
0x641b9ff0b2c779ce14eaa3932fea99eb5b2f892a45ee912088e596f6962adc7bn, // R^75
0x2b56dfbe36e5fe627968401832f81c32d46009e3e6580facf5ee60043d145433n, // R^76
0x601a57b1bd147dac676e847afc1606469b7789d5e863662032c5e11d699020can, // R^77
0x2b65f59af053e633c27d8e5eb4cb4340e4a80af259fdbc904d1a32d548b63974n, // R^78
0x0741fbdcc27dfb732921b2ddbfca28dac8d4689421503ad94273f6cdafacbf09n, // R^79
0x1fe5ea93fd0bdf7075a1787fcfa73546e78c5b20d199413b3f5bcde71dc72b19n, // R^80
0x376e2dbca9eb1376c68381dbfc5a445de82cef6403f4d4b8ba7dfefaed3775b2n, // R^81
0x045edc20ad076ff3ec8a1eed4c1cf414d2d8f71e25e8507efda7cc5f5bf468a9n, // R^82
0x144b3f1a0fe9e383cf8b715f87c84746e04149ddd09df2fb90251c3aa208f021n, // R^83
0x58c5b53104730e95e271dc577d3f94728b4fdfd0762c07491aa622763e9ed30cn, // R^84
0x388045906969960ce01675b856718e13a054d0679c4ddd1f1e621d98a9c2131an, // R^85
0x220cc13329ddb31f5fa7dc88c655e55638dc6618845c70879feac23e9f03a0e3n, // R^86
0x4fff59248021ec9f92235b063848e65fb1fb43a4f8c38d86a552496671476bb7n, // R^87
0x06bf179d6e58f60044a98df24a164a58ea16f4cf6ebd72f7051121810e117ec6n, // R^88
0x0e272099e31b4f435abc6bb48e7e9815dc67f97603b84a26e70ef728a7845654n, // R^89
0x691dbcd47b78d9948e9a3daf3e6131ed0daa201256f0cc5ef1bfa26d33b2278cn, // R^90
0x15e08415c3efa64a59bc6ed10998a1bed28565abb3e2f5f416b2a34d5a59398dn, // R^91
0x57c95d787c3d05843f716cf1be4a0570f86cbd12a177aea811bff85ae81eadbcn, // R^92
0x469014bb801c91f2ddccc30214a0ec0d3c6dae76d9111dd46cdb8243bd5e0b3cn, // R^93
0x4d6a91dcb8faca87e6e50038e79b8f5dd5744d883019c37d3314f3022ef37866n, // R^94
0x1ad2f2d028ce2d0a29a830513ec0f2d1c68ec35b7384fcc1abfb4c2d79697587n, // R^95
0x143e93d97ba23deffc1be7c8c5e2b1fa5f277dcdbdf2c347f06f3e3f46ae81afn, // R^96
0x2ecbdba8b450f5c5ab21dc1721b35dd9817ad0fc10699371761f67d543828ab7n, // R^97
0x5f7a04795cd88bbb89fedba9c01ae9f7d99b43085a5f7077d2257f8b5f4f3ce2n, // R^98
0x64ff491c2ba66d5e6ae778eeafb8fe746cc34064ae5f6d02bc545efb8a446c38n, // R^99
0x0a2d99b4b12e9eab0c9d3e52bd199c0467603f4c9b4a1563bcba82005a1dadd5n, // R^100
0x444c8900af25033fa461eb36f82c573736647ac746cc1da5e4c4fca54d7314a8n, // R^101
0x5c2af7d089fc9dce15641543bd26c7e3a0f475c45c06f6072b280a8c0dffc3e8n, // R^102
0x65bb51572cfe3db70e4ccd1332a80f22d063e0f2e32196d8cb3081dc06ea76d8n, // R^103
0x08967c2aa5ff0ecd83c6928d03baffbb88a29502d435fefd9ebaea72ffe5e1fan, // R^104
0x0a6b410dbcec882bd372a61d891e6a5d1de3f80260284d7f8ae945354d31f668n, // R^105
0x0b313bb490ce7fceedf61e46fe1c990b60eb0e01f44770e1479843ecc597e3f8n, // R^106
0x1e1920f40aa58ad2db33fa31eb3d4e701a63e64c5d5b16065aa13ff77ae30de4n, // R^107
0x00f62ce55d0279f5e6caff0aa0e5d980564f355f416ba8d2d854e23c086de8d0n, // R^108
0x1ed28964baf790fca577a337751e32e06b206c245f4865a0cd07be8ef35052f9n, // R^109
0x676f48d85daec70b0d1ffc08d9e4b8ac182befd8fe971d6be324b1fe9a65f6d5n, // R^110
0x10f7e28044aa06d7ad0869412e345b2b10b76ab14e741e93fa1fd5edaa5c0fe3n, // R^111
0x2554dab03b7e98fb55fdedc9ac3fd1840cce14ad96e1e6bac59bb2b58079d0cfn, // R^112
0x1987bf0d594f93cd866793f4c27bd7f1f2e98aaaad76de61b143c602d298ce7an, // R^113
0x447641cb10b3dc61f8829244b91d872c627ea51e49ed4c5103260324ce4991dfn, // R^114
0x3ef0ff9b55281d6981ad12887ab6014771fb9cf35e971be2530efe9adebc6186n, // R^115
0x33da8b8ae0fcf906e131f2e117b8fd89da5aa51d3668b04e2f1eee826b1ba8c9n, // R^116
0x126d5451d37a6afb06307f84d12a15037c4d1768911cb5598e0e691672640ddfn, // R^117
0x5c89013ddfb97b8f86e581e2b1531734f44f6f1398fce9f864d64b65405eca2fn, // R^118
0x207b21305c991e6bfe0342ea561adbad4e1f151c439026f1b9eed0258c40b753n, // R^119
0x192c703ab84fed4f2558914866cc391ed2e787757cdeca007cb1b4b4d9a35736n, // R^120
0x469f01e235c13866b00f5a3439e765a6da8496dcd545395de5180f750b909afen, // R^121
0x374566097661a061d4ed7ec6f62588b3ca462575258910106d0ba1dba21c90ecn, // R^122
0x53c7b8f93c7846d2107845229a6b27196ec748566b41f3edfaad043489a9b96en, // R^123
0x065bdfa02632b09356a70cd9ee41a3216194d924fb1a9a0ba77eb28867a566d0n, // R^124
0x2fdb899403f0f96976bb4c12dd386aeb093d182d831a311c08514ceb9198ce00n, // R^125
0x03c1949f4cd3ff586a534738f3f5df219cfe25928e9e140efa503d0897d1acd8n, // R^126
0x554c63debb27983d60fce8f2be0f5362651a1b91b485d165aa2fa89c2e6b3c2en, // R^127
0x336fb795c1d1208fb3bddabc65462891adbd9a3da3192044897915d41341155fn, // R^128
0x3b5e903f900bb536ebdfd78def85110838e74d8bbccc013e7d8a9278e466bfb7n, // R^129
0x4934ebd154813cc0c4564bf6dcc6075b0afc23dff1bc97b6b5b1bcc5b0cbac77n, // R^130
0x3e140999e41f17c1dfad7dc01c0da365d31b33dab0f5172f14e59415ac87e61en, // R^131
0x596e506644eabc3d0e3e27672c28ddf43a1cd0a5de9fae02798d6b852ebf0c59n, // R^132
0x29a4c98ca1b9e7a0972f64b2a4989edf2209044663e0dab084904eb8ced6d49en, // R^133
0x628899795c29e95b78173836f2b1fc75ce36d5b36179d2973e25d69c9ac71b68n, // R^134
0x3ee0519b2319e0ad3e12ebe021891c20dfec88a6a5c975e9a285c79f051cdd06n, // R^135
0x5d871b2cba25f7d151c0208046ea73c22e36434a525178089aa34af5eead9cfbn, // R^136
0x29dedf8b00d37d51536ddf44d662515b5a652903647c78b9762d4c6f925ea2ean, // R^137
0x2b4248fc0e7afa076957816b55e9f06b7b9ded380a37877d6a060577eb1f97bfn, // R^138
0x2082ec86f4ef1beb21c506025b79e32876c384620296e7074b1de0f52ae48946n, // R^139
0x44b11e7492cdd3940d0ea3084c7c107891fa9fb3ebc039fb87bfea5bd64d92c3n, // R^140
0x5168043a9e9f5c14da9d371139c189e72f6e378d2eb27b4d632d711e0a316f6en, // R^141
0x4f5e539919a4aed2a9b4835aace30e1f2ee245354d1a4212a72a7ac10ff76ce3n, // R^142
0x4da48e7883511fcd33bb53196849d41673fc9e725d3993ff1d21415dc50f8664n, // R^143
0x2667c07493b8592582079254f7505019390089e3f2539cc1bad894caad194eddn, // R^144
0x16003d13b674c0faf861d8617b7eb90e34284e867ac8de00ddb0d19bb1801b77n, // R^145
0x2591ba8f397052d7fefaa678a34a6b639f32d7f53f13ca68e423d15de97fb48en, // R^146
0x2263462baab91118747ba96e48a1b089716cffff12faa6521a347ab2b9e282e1n, // R^147
0x6951f56641e5f4f14ddd2738e1140a7b41ca5093fdda99eb2fd1c7566f758e98n, // R^148
0x18685789636dcc7bd04c5dedbd2251c08a31de485f84f35d7b40a0eef12ec1afn, // R^149
0x18c445727e059a0a50efd20ea4b5c74823cbe7b54fb2ef41a85a8c4d38be9fb9n, // R^150
0x627e93f072d68f120fbd54afed1600d9c0fc86f5bd7ce68dd82c6711bf15984dn, // R^151
0x5a7e477a8e2cae26b5e3ddbb4cec01ba3f6979d6c202bd4160cea4d8c636c5b1n, // R^152
0x1abf587aeab5a4710b6f8427226298fe35fc90f3880d7f36d8f9fd4b61e879d6n, // R^153
0x0cd2374305780e14a525d4c14c946f62bc41d7a840b11c4083e40b684390c4f2n, // R^154
0x38deb4d5994aa44a5ff219540e37430c863183c0201b748d110af49027e92dffn, // R^155
0x298f1aa3bc621c56f7f3dfd1520cdf4f309d947166028b6d1433e481cf64575dn, // R^156
0x5a28927ba5b6a3d5342437cfb7c94a696540cd41c9b5e07cbd84c69e738ff044n, // R^157
0x4c630a7ec02c9a31b5b1d3d87015ee2e67af5d2234fe58b61bd1ddbeb42beba1n, // R^158
0x332c1fc73c11605039a58159f035d4067d742d78c13f1932e6a520ea11b25422n, // R^159
0x3f81fd12a1400bb04c883c0626f06e6d44fae2da7208ea6308f2b70ea2e02b54n, // R^160
0x5f46061bc8ba26a17e322ccf6754b064b09984238b4300cfd3a5fe56515c9685n, // R^161
0x2b4e6a4e9c9433d559ea7baf45bb878f093aa29c58ba94505fa417b67d32a661n, // R^162
0x0a8bc18fde8ab8369668e324c254f50e11dfc68bca80b6679d69bdfa095294c4n, // R^163
0x3ab72c4f2bbe1d4a0297a83a16eca10e5fb1056be5ec2fed06bbd5f401e06936n, // R^164
0x732f10d2734898b98d884e1613894f76ebfb0d8b2bbc6838231090e2b61f98ffn, // R^165
0x6e0c78abbca2d2d562e627d35e3c26780ad8fb10e2ead5e10f91d7d365c34ccan, // R^166
0x25ca23b04d1c891492ee961bd0c721118acfbf825966646065cafff8286cf4e4n, // R^167
0x1c63aa2bf12f2364ae27d0c9f777cbd2dd9a03dacf97075ff690693ec86f477bn, // R^168
0x219c12969ee6d08e8797d8f5282bbe1df7c7858d998bb8b31ded39b1e9556b32n, // R^169
0x31544e6c4329c1da4413a851163da56b020dac921f4a40948f1c17e9c8cff93bn, // R^170
0x0af6423f53e386722bd111f88abb8e7bfd74b4ddf013881a5a8e45fa78f051e2n, // R^171
0x4fb026fa66d6248b880a2d1e2540bc9a4fb00e6503a2d330f549fde26011b86dn, // R^172
0x2f03b829e24008bbbba8cd689a692fb7c29e60dd13d29bb465be3de83b2af31an, // R^173
0x3fb39fc1747792eb98fbee9ddfa6e5e55ca8eddd000f89b1e88fe710990079e2n, // R^174
0x1bb1a9a79992d865c4980e35f321ce8dc596055a9600843311632de197755271n, // R^175
0x0ffa93a72e46974786214b479d381f7a0855ab0a8a5af56ea79887c6c695acbdn, // R^176
0x64856d0e3c7b3f6d4a6b9eaff267a9eacbed8f6d086f9b46844c8812fb9ac25bn, // R^177
0x5186a03cdd3fbb2862292a549a204cfb0ccfbafc257b0b3f5686de6bccea5918n, // R^178
0x2f5445c0bfbb42fe4fa45f52c07f53b58197dd2e627db1c281a8138710aebab8n, // R^179
0x5765fcf13f4d0e910abf4f9ff08f6ba764650d43f993a7fad5504cabe469068cn, // R^180
0x724ae2c1677fd1ae1b58b22f1c47ee9e9c14776742f9ac09eca136b91a7bc377n, // R^181
0x456a58aaa43769426d18b1b05cf97e11b81c0649af1d5e5e4985e84e986a10e6n, // R^182
0x47694fce59655022e60d6541ba1bdb4d905fd16f550318177fcb96d2045e6c60n, // R^183
0x13ce6f65422a0f06549b8d8bb31bf3c7f81dd38f95e91eb42ee218db85958b97n, // R^184
0x7178828f6ef5ec9269dd82fa93884932f2df89b892b434edc6a3e13cf2dacca0n, // R^185
0x54af6ac515c59407c1c672eb2d5a66cb966d98f4267372376fc7362c70502659n, // R^186
0x3d45109c5a24257a8b871ea74320f770e6ecc6a7226d1f614a1c990b57aaee36n, // R^187
0x3f8fb851d19ec34df7f869fca65cd9a2bc5aa6e62b902893f7c0105b43f2bc36n, // R^188
0x55a0e2b4a39a81f143c19cfa9e077d3fc8beaf14a21409c7fd71ed79a7537874n, // R^189
0x2f83b346861b781c5b27b2df5696d2489c3dc4ecaf2be6140d02f00520fbc0fan, // R^190
0x1a268a04f21d3b23284dee52783f7fb0f4801946101b04b4dcb06f8bcd5d068an, // R^191
0x05c870a723ac0f75d4efaf0eca2c953271f17994d6482e648d6bf645d856380dn, // R^192
0x04c14a344a2274caacec0651a6f1adb8ba5422c67ac190b2a66b33b3a78f909an, // R^193
0x179b20a47ad98165f2e94784bc08bea7acdfbe7683762a365b35388258b20c8bn, // R^194
0x204a9b09da887879beb71decd147f51bf0b3f383759f944b248ed71360908b72n, // R^195
0x19e06db86b737d3381dec64503990eb5b75f54400bf8b5e08211c4fd7e6810b2n, // R^196
0x6a60fe284c322246ab408c605e755c129ace7919df49e3fce7dc6136c12f5a2bn, // R^197
0x3789f6e2197f13fa0c43d479dad82ae3d3cbe3f3308ecc46b6b91e1360045400n, // R^198
0x46c21db793ee4d2e688d6f44012e8cd10eeb61c273db9931f7d3845817488c61n, // R^199
0x5bc23ed2c47cf343a00f5172b1135d5f6468c350ff3418d22c721a26745fef90n, // R^200
0x50fb920cb27c2454d3a6c92578d89ad1f7f9852972144e3d418a9f679a7da081n, // R^201
0x3a7ae74cb99bebf8b537d82377f05d63f08e13a452bd8504baa2b95218a00418n, // R^202
0x59a84739993f74e60670c3f19a08577963885afff0f2a52077fc5e19b627764dn, // R^203
0x6d596669e0e7e5ff49d6d72deb46531b2505f3d04580a6deb636dbe744cc3a2dn, // R^204
0x1fdc536c3b3dfe6368e97a9fea5e442149ef6671b82266fa452036ad22bd10f5n, // R^205
0x27177d64d7d086c3db5a7f0986cdf1a94da9469980df78de83a48c9a876a6383n, // R^206
0x5cdac4aecc38a19dddad4a648028725f2172f9d4a3ac9b8bea8e34b37da70823n, // R^207
0x44cbd50c05c62f7d4b69c6f6bfc5b650df7ee5ec065288a76802947d224a2bbcn, // R^208
0x0e1d734476c9a669f3dcfcd9d3357b4b5f1bf7b09e9178d0fcd793cf50aef059n, // R^209
0x670b0ebf60474bd9d4f81e584b6d60e71c16ab60936f927b5ffa79d12894288cn, // R^210
0x4123419dffceb0096bf9c53082f3fbd4feb5ef8a0bac4c8aeb5cf7232fe44575n, // R^211
0x20760ddc6f8ca3e1338de75e471c9d8a5d2b177f5629de072ed18de2094961d3n, // R^212
0x026f13f9ee6c0013081e31760e8cd1f38ec3945d0197f0c3f80014b004d02b9fn, // R^213
0x5397959d21f396d09af59319fc24d951e4fdd481bbae155a0282169dd5659d80n, // R^214
0x0d9d9f7d2bd3bffae6edd6c08c3a0edb3cddbf67e1140cf3eed8e738f2be0cf5n, // R^215
0x6170b6e78a6c647d417e01bc46d9f928318a6e9c8f5213f7676e8664aea6da93n, // R^216
0x356c3e86919da0979d2bcdbca42cec58bea689d4749f37d69c331bc8adc4506fn, // R^217
0x5ccd42301e5ce4ecb749cfd52594bd213edb8edf8bd604d3e15f14abc19eaacan, // R^218
0x6627394818217a1847602fb2beb006f0923e3dfe9d1905e4318086ce7e2e4396n, // R^219
0x445f6c06bcdf4d609a90ab2a03c23b1289f39ced49c4b617ed2b20dd424efa6cn, // R^220
0x0ec60d4387df2f5a43dd875c57356fef4c4fb03a0a92f6c289aab0b96690427dn, // R^221
0x3cee834e51d9746808e26d3c56bf8779d3a5c5d2e2f9265ca78d9fb4eb913dd4n, // R^222
0x4729e293053ac847eaaf5d0c7b2e0355f7574aad80284dda58b8d4c3ef2d6e2en, // R^223
0x6cd310ca8a3d1aa2d42a5a56fad8f0704ef6cb40639b8355d90a2a64241006b2n, // R^224
0x3aecc3ef502b0eb8bcb3b1f791868fe1d6f64f9de9ec8099daa92a86c090827en, // R^225
0x1757236358de4847b8ba68a9372536036e688a485948b578a87254113be8f575n, // R^226
0x70f72ba67186c0b5f17ecef7cabd8089db3541336f0de684158e5c3c4fb54a87n, // R^227
0x5bebb91b0512cf30d6a249ceb3f616df828007a5f5ad9a1b23015691126450b6n, // R^228
0x366b920a65532cfabc08a447f32befe2500d147f4aaf96ef6c1810f72a958018n, // R^229
0x5f8a511ac493a0cf40b1fea98f9bf030b0d5dc83cd0fb643e0cf404710da2930n, // R^230
0x73533ef9b64756b57fe247d3c8458e13de27d3722f6cfb31f075b72a730f9aebn, // R^231
0x5fdcb5999cdbc4b3c34af881afc56e80e6b5e1472fa6b374baa23c26e5c9b825n, // R^232
0x37515dcc05349b6ac0eb2d1fb0618f6d1a0f8e0f1fcc69f3e6b2bda42d5bedf3n, // R^233
0x62faf38b57f88395b08d4d157c9eb411fa62304cf59f33d101256f55e692221fn, // R^234
0x63295eba7e2ddf0db37d6b8fb3d00316e6e42ee5fff2c9cd9abb939f43980ca7n, // R^235
0x18e8c253169ea2472a308c9355feeb7f6c9522e02924e55db15e3e125eafcf94n, // R^236
0x4491ad1bbda364eb151607699e545096b4a11c3482983bbd4bc1d2fbb1bea54dn, // R^237
0x49ba3c830b6a8851f6a7c83df4d0e976a36e67a2ba51b53001fe58ff487b82f3n, // R^238
0x49216b4aa4afe4a26b1cf43bb2aa5f0a8fce81c4d70996ccfc01657242d1fd8dn, // R^239
0x5a8ed950a895dc8da33a02edd1ee7fc56fdf2dbed423497d5d30a462ce6e337fn, // R^240
0x7294aa5b8789ee765ae417c528a7fca4b6b7aa6fbb2ef473bf228553028e162dn, // R^241
0x4d87cb5d977a90b4bb368105847e490153e9018e39ef82379dbddd253d127993n, // R^242
0x3c312d9a0ab9928a2e582d92e1ea9093670f19df6cb0a018e047feb48c175294n, // R^243
0x72bec38fffe6923d8d13bb3f4d6a9c809fb5004a3628a4d79fb265d8349034f8n, // R^244
0x5a2ef84d539417b7767ef485e92c2bf6c89e1fdd508170e1f1b4c7e5b0a8916an, // R^245
0x33d021bef785ef572ac8a4ffda57ca3a94254cf2901ffb07cb189e7b5b96290an, // R^246
0x3491d4c30f5f8e1d53efdd799f58d9f13c07756b569c657ed218ef9be24e222cn, // R^247
0x60a0e7ab0512fe55e7108cd2356daca3eaa04766a855b212df0f29fa79533564n, // R^248
0x4a831af2fb1531354ed9c72516ebb1653ececab43c916566eee662a093d05f14n, // R^249
0x099d24c47d0bc2559b2a46a2d45f852a98e4de66e46e727beefbcd7754ece14cn, // R^250
0x360145c4428a8efe48142c34bf0158a693d39415d7694dfcee835ccd2acfc143n, // R^251
0x0ddec3f9c157845a7a99d042b066381ebc7b24500e72422934fe6e0f6c7d110dn, // R^252
0x4ff9c4a50525fa76a2db35a603ea7a9a83b6cf5ba8ac9c6d9cdb50ea16ec4186n, // R^253
0x4b7f7af1d9d4c46129714b89023ee7dcd9efcc344fb555627c2fb7786eaf4703n, // R^254
0x499ae009fcbca4170171fd26de172ee387674ef73e7e950f366cd85bfc6a4967n, // R^255
0x0396b0c01a2fcdb310c8012f78813a81859f54c083cc86a81bb13ce6d1b99b6dn, // R^256
0x221f6180b362e33e2c14516bd32f7b8732edaab9cb561a958c7250e08dd8aa7an, // R^257
0x6cb619b6d1ad3b980d5d00f95f7c2a2c2f265d735b63090271335dc934e3207en, // R^258
0x483966d1f319d33f4cbeee156d1fa633d4301084dc58497b01fbc2a1faad931fn, // R^259
0x3bb3d150b2d0da08a846ac950a3dd1476f9e204b0da7ef8ee6e9516f1235bf9fn, // R^260
0x1388456149bce9c5aaa6fb975255cd9fa67d1129caac3430bbd8f9e347acb250n, // R^261
0x60d846409bddc68b713c4927e8898e8881eda18cd4e698081bf32db8d2126f5an, // R^262
0x05a157b215c98195f9897c266eb5ffe4946f28d00c8b31210772a24b07c936cdn, // R^263
0x642601b3e73a5fa25b69fd4593b146a0970bacb57ee7c63f49be07e92854cb05n, // R^264
0x538fd9614fc4abed2010a7ed387303a911a255bd55ad1bb8a2929d0e24289bd1n, // R^265
0x5c7dee5d6e3abbbb9bb5f68f7288c061c76b31ce2036cabc3da9c25947ac7415n, // R^266
0x18cc5a32c260284a7c032754323de1d02b2c129e56e7384e8057943e9e723a24n, // R^267
0x44129391a1d7493397bdc9df32541bad3a9de60704befec137416911a531b03cn, // R^268
0x2fe7700787a193f982ffa16b4864b27a7db2ee60749eb3b5170d1edac9ef58edn, // R^269
0x3c5c5b8e7949f8d95b5a5d5f4a35e2fcfda9c053217f956586289fbc0c8a1966n, // R^270
0x176567e8bc9644df171ab3fc3db1e94314bc3a2693ce0edc8c2d943e48be8de1n, // R^271
0x56c46036422b99593274f7016b72d04f47546fb1a3a9319e2e8aef96cae04276n, // R^272
0x67947bc55c363308c800b9ab0e969cd0f24c283dbb56bd63ac89c42a83ab1873n, // R^273
0x31700e804b8e7729654c8c3f94805b073e6cd24e68342c2640ef2b08b03b61ebn, // R^274
0x6f13905884b77b3a99766000b649e982550a4bfd92a0d5c308d73e892e1c7403n, // R^275
0x5b20a115154e91a8ba93c20f2b59b938f8d75f2f46002ca4b32bc9d47ba38712n, // R^276
0x244154418f33c772cd771d898e318f676f48013368d4f6b5d5d0db3a3d6e55b8n, // R^277
0x5fa68f8c0c9cfbb0e7a9dcc71b78ee4ea704c83e9ccdb3562fa98b1407c84866n, // R^278
0x5ca4a922b28687c7ba64b0c7a352a8f55d3e424470b641ea917358d2dedfba2bn, // R^279
0x17ed04745f0d621b8fd423bb90f876687cf28b557491418845a834256127b252n, // R^280
0x0644206e79f7091edc6798b941cb618fdd7cf2c144ce7390686c6e30391045dbn, // R^281
0x53a8b8dcdbabbae9b179e250d0a70c7e8605279339ed8674b9c5ff0f6dda24a6n, // R^282
0x2831edecb7d435b5969b8f88c2a869ba52a0c7ebe4772a53a1735f364040625cn, // R^283
0x586f3b2361682c660b59c6093061bf43a4ec773f02a2ff5334057883049678d0n, // R^284
0x4617cf1b89bd7fc4ae588d3a52acf3a82378ec5b166377266ab8e5d17787c253n, // R^285
0x6c8bc42e796ff1d51032f75b83e532eb6b9d400b054f0be4e6cc72603176df9bn, // R^286
0x2f913be83d03b312d7730f363deca91206ed51b3df28b41e8dffe19a5fa1de84n, // R^287
0x424298b9292da1c4a0ad2d6c08a1848ec5a9e8acd8ebefd1b18a36585407b595n, // R^288
0x5ed754eebd87382ca5fe09e3e8f2cceb63ed1b7ad414b60b0404c1ca4dcf60dbn, // R^289
0x5f810afaf7c1a07d110522500f40caa1ef50d44d55ba105a81ec40162e7f0a27n, // R^290
0x63ccbb742adb4c30565d83fa23f6bb00c205fef49b6aaaf8b4fb322e63b0b857n, // R^291
0x706ab73d643f51e1a57fbb19f3ccd28c29a262ba8f174fdc2ae50d27ea1e2e48n, // R^292
0x1c41c68cfe21a3473edd312fa7d283652e38ef48c0759d8ed606be24be908177n, // R^293
0x2a58b38e5089543961024fc6cadf3706bcacca32d09a7b86155189c3987cc227n, // R^294
0x1d787a4c5c1ccd53aee239f5da681768c8d01804f15251e3a4b485cf4d668f13n, // R^295
0x3792aa784c744390d4c72e0c136d49937461b2a8bdd2972a883dd62c3aa67d9an, // R^296
0x41c289781442d4f70768c40d1e720480a3618257891dace2fe9e8138bfb832c2n, // R^297
0x1de8922f2f221178b2b5005fa18f875b7dc5db318039fb1dee2625cca8f0bf88n, // R^298
0x38cd4a270d5095a57a9cfa7ca66efba32929e3b8ef2deeda61df5155badf0035n, // R^299
0x50351d331d1a7cea033485c80b5bd1ad61aca3c72ac1740a59985782609f9777n, // R^300
0x2e5ade3bbae83a86e2930e1da6085f32007ac0dbe1dcd5809f169568c9241e1dn, // R^301
0x1fec05c6729fdbb5ed3455986a93b6447762916efaf20cbfa22f453d107d6caen, // R^302
0x037c3815e7c0d63f8995f21c024f3b946d591535184b0493577561682f3655b5n, // R^303
0x3e1ea349ee03070f87a6f24f1c5ed231519e5b4fc841a2b3a2d05fb0df78dc21n, // R^304
0x6f7ec8b01a04a9a25fab8854b04ae8e16bea3d0540d7dc53cfb4a908e00fc29an, // R^305
0x1860b4094c1addae8844972c52c55c3d48f0c0e1444109f576feb948ea740b68n, // R^306
0x36275f26c233a3820910c47da04233f9c9bd46556f45940f5c23ca3949e55c1fn, // R^307
0x6bf3327c0ea25aba9c8ee5c1fadca990721993853fbd522471ac56186dd8d715n, // R^308
0x327bbf5ee1b08131181af02af88496d545f9152e7e486395b68385553f2c2298n, // R^309
0x2914f5500155067797cbd5a0259e3a2972c05a3f78d352d591d4dac20c61b01en, // R^310
0x6bb36e6275d28c1693943f295024b0c1d328ee3a4ece1f1295abed02f2789267n, // R^311
0x73d56df0c94c50d5f225f5d1ad1770f55af92437701814d691d910a0ffd21aebn, // R^312
0x23e76c0889d102221f8efc143b375911656c6314f34242ba5f6148457142c027n, // R^313
0x5b189d29285af710dc59669b41075dc794e8b36bb6e90121d1f07d9a33710552n, // R^314
0x4ae3020a8d4a9438d6f903142b9015649edb4dadb8744c75b6ec53f6b96c8548n, // R^315
0x0a804452fb81d1dcb79755fcb81b0e0ca9df4e63d488f76d7b43643fc840151en, // R^316
0x58ab6d185971ec6e5ade2258f5bddc2b109b57a1ae46f933195c5a704c88a02an, // R^317
0x59fdf1af7ff312a02acf26e11a343b32347db3463c6a77cb17cc903cc482634cn, // R^318
0x50da52658dc226314af7011e042f59bd1578fd620d879c1a2b4c3b3a75d2e888n, // R^319
0x0f64bb974a8952ae4631e13ba114121004b13ca2ce83c08c208e0b5022bbd800n, // R^320
0x18254e470622d3faed246a42874e4f16a915b8a6fb77f8ff740b4bfb348daed2n, // R^321
0x5eaa14e04400ffc94f44836fa246e5a56e58c243cf87c2fd5283af4da435b4efn, // R^322
0x71ce93fc0d7c603cfeba1246bfbbfe49efe7a40d5bf1f7009cbf1e1c1b8079c6n, // R^323
0x0b6379ebb1fa6d78cbf230a94affa172bf5930063522bd94a938df0550ca16dan, // R^324
0x18bd3f65f19dc752ff3be1eba5598e1925505e8dae1714c98f300e295d513c36n, // R^325
0x1eadb407bae1eebd62d61651b6f192db669309d94bbf7df7673079e75863d90fn, // R^326
0x2a5bab8fbbc517d203bb4285dd8c4aadca35070c0dd694ba5864dda0da083aden, // R^327
0x14fb625efc00c49efa3368b3efcd7a52cbdd0fd699f704e31a7fbcc745973380n, // R^328
0x10b8aecb06e1d4258ae48bcb3790c03a345c7c4f9e6010e42b2eda9bc5b9ffb5n, // R^329
0x50ec88b9d6a7f1e09b2eaaef42f378ae6916cf47e4bfe553ca29f4ce06be9becn, // R^330
0x6a27e11b0fa7c5ac6dd62e70cac1233528bae314928a38f54a01973f08278a2an, // R^331
0x439cfb99f0280a4c67bcce6bc789531589a13e0d7b128707d2298fb42c0072d0n, // R^332
0x3b54e70d9472bafb037190254ab304649392e5105754d92a0b01366cfa058012n, // R^333
0x5e400d800a8df1b61426ef5686ff053a20b1bad12338276216cba03da8b6ad6en, // R^334
0x588b74903e426e2d73bf771b6612fd99f09f3fd28977f71bfb4402ba623eb629n, // R^335
0x1696e23f168ad223fb2227a2487e150e3c404f176821e70bf2e7df2f470700aen, // R^336
0x28d45b722f339ebf40313346fc2bba7456d6eda8e9992ebccb8da970a525e410n, // R^337
0x14501ec44e64efbbd45eb300f71f78987aea4bab35a1b118c6418b0818a44446n, // R^338
0x0f4b17c624f692f2acd6cb4fe6a904df7c51c2b717c42975462b79d0656f08e4n, // R^339
0x24037e0ecf99c17e99992a3e541d62874478758045641ac71098073c586ccd1fn, // R^340
0x32a828d8d5c13e76ffc5d83e48a55bff6a6ace04269eabf6e306e7458b3bf7d1n, // R^341
0x00b96f3f6d3a46cb335e45c3b0738c7b2984371913fb9d475275e83976974aa2n, // R^342
0x641fba6e69017a6f03adafea296707a951811716495062156a5cc67f40f681bfn, // R^343
0x23922b3d5ca0daf50800de7e3a4ab709b5acb785ad01c19d95b5dd07e8d622fcn, // R^344
0x154e62a9ed7d8c3bdf6e175efa78b766c2e6f1c64826b707442b0c14575c5c5cn, // R^345
0x06c0c18ac2bd43905be4aaf41aa5f21fe51e67df37228b2dc72cce210192eaadn, // R^346
0x0a4b0d2e8692aee3653cb49ebff2778b9b8bd2559845488297ed3f1e84bca123n, // R^347
0x18e9a0ee4912d01d7ed486869d46a132ccb5b6b6dd194e7b1ddb723a3ea441c0n, // R^348
0x29897ef835df6e3ef2a5447a2a2a689012e0c74d856713df2669a75f5a05c551n, // R^349
0x6240da0c544780597f3f11411a792bbdd50c44ce1de95be154dd4bf1a1b8f20cn, // R^350
0x452b51b7ba22c37bb07502ae96e787faa6f2b8320c01c6d2ef06d4c74d78f72dn, // R^351
0x2bca910742ffa2585b3df9667ef93e326c074b8edf7c833909107df844c31e11n, // R^352
0x568ded2e9244ece7fc025d7b890dfff129bad98e62397b5606712a1b9ffbe352n, // R^353
0x0a529a3cdec7e826e152508aeb66a521af82fe902f8dd970cbb99cc119e2cd67n, // R^354
0x736202f3b29ac8ca0fdb288fa8b4e4b3f7f82822c23360596c82343c56f7d2fbn, // R^355
0x3476a0533113c2b8ccd64f25b11fc4f412ec8176c17f35892d3f56a4314525a7n, // R^356
0x256df683605ddf61439aadd70db511153b42c7ea0e8543d5f9cd5dddeff4f94fn, // R^357
0x258f1b6cffcb24677e5a65f8c15e4f22ec20eb4a33a0117c4300183b1bd9bedcn, // R^358
0x6d691053aa6236168e22a674a8c27be0ccdd9605481c2aeaf7ed187508b85c57n, // R^359
0x360bf53000c329678c4ddb2f47ac697f1e56b5288e70fa1185a6f7103958dbc2n, // R^360
0x3a949fd16f961465f6467ff85d4fc01a20412b2e5884b278e446bc1cf5dae21bn, // R^361
0x1c5b5a9d16dcd55814a2f9028d92021d2ea693911bbb455563d5e679ec59ad3dn, // R^362
0x5d923b4c8da1dc36552d62197125809bcb1ce4f0436942164f978ff661d11df1n, // R^363
0x43335c47603e3a74c42a5672e2ea4da7732a9a879edeb6907fd0fb074df795f9n, // R^364
0x398531dd632f14fd669e06650ec736d3615f1790b433c5e67b686a1e60180b81n, // R^365
0x4d9292e238455d5bd3038818c33add0451ecf0f62aa1cea04f1eed3f714164ecn, // R^366
0x104018ad26e3b418d53e054d0ca87c19c86703b75c25cc65dbe96adbac4bf794n, // R^367
0x31ea49f5b3ec0c03f47ec60ef209f68bc36016447e4e12cf0bd8bc689f5c7bd2n, // R^368
0x4ddbbd0787aec42fff47783be1068167a39c8e527d624e781b4b7fb38214b5b9n, // R^369
0x708061cd6779766077cc4080570f01ce5c06318d2454bbde2ae625a6dcfdd1fen, // R^370
0x336d1703a7235b13f1cb110d650466cfb2140e25d445f006e4770504dcf54f96n, // R^371
0x5b157ce4e4c44dfc0509fb49cb842cc7bc54ee3ef63fea77f0ba4fc4d92a194fn, // R^372
0x11f781b4d46ce01ffb06e2430c22110ceeb5c511cf2fa65ad473fae901f62162n, // R^373
0x0763f0cb1df1d5a0e49e7a822a1117440a4cc54eed15e270b02016f3dd5b8eban, // R^374
0x309bd279b25e082dbf46a2232b6da5d709e51dfb1f37388d632761b6b6d3c753n, // R^375
0x0269561ed3051b9d041e0055b8c3147147790bde853c4371f354177a20a5d71fn, // R^376
0x3a5ab3ad379139fca2be06cc8487a93362d52aeb3991329ee0d53490cec09449n, // R^377
0x5f23ab64ea88d3e09be7421590265d55596093351f38cdd04389c0b91ab35f9en, // R^378
0x1d1fd07c6405edc24fd12e5108c252f6c5d29146dc3c2f17432843c85a0dd3fen, // R^379
0x1ce0a047bbe47550315a0a8735bf2894e25710859cfe99e49c4368272c5b3d2bn, // R^380
0x6fa1c5e7d8e8b8adac68e00fa2d45a919480e2e472e5b7273784c21f596af7ean, // R^381
0x685c0b19d77072bcc4650d1d326df9f1ab0e2410db68e0c1f32b3ad617a2dd97n, // R^382
0x4cc6bbf23ba680be797428d0336a718aaa181d23516490d6ba6daa29fd1c3919n, // R^383
0x6eb80242ae1d171ec52f7f344e812733160fb71fa833ecd7889976649c4cfc60n, // R^384
0x554e8e94f0a7a04ca81ee2752af121b29c0290426f059c31996eb5e2dddc0816n, // R^385
0x6e29df32e1124971be655e1aad08644a0eefacbb3a687514d1130336040e5735n, // R^386
0x1073b3e04c7714991010918d740caf0c5d3aea6a42b1d2abfb215056a8c0cd3fn, // R^387
0x4599e90799fadfa84906271147ecae273915e58b8ca9714715ad982cf43523a5n, // R^388
0x3934bb56c5a83cd14faa22f6d5ada6ec862b21f7c1848b11766c5e338f5041a0n, // R^389
0x0f267dd168ab40dc67c4b490272fbfbca3f535341ea12c81b0dfc217ec7d475cn, // R^390
0x6bbc4dced2f8a0166c3c666f442a21bf5f158aed1a2a21f139ad4b8c386e8f9bn, // R^391
0x24e1a7701e00945247b29ab92c3e0c90407f8636e5829f5664bf5cbea817f039n, // R^392
0x2372053e633b328e3110a0360af3738043192fe977f23d4f38febfeb27fbc80fn, // R^393
0x140996dedfe3d16fedde1f85d5737aabd62ba38dce236ca6a1f0f01824e89cfan, // R^394
0x20848196bde87bd7e14d3b0abde5843a4a9c54e7bdddcfceed9e927589831041n, // R^395
0x72f580317c999ed504f2922a1c3dd1a476fcb16da8ff5d301cede4eae214e8bfn, // R^396
0x343e454028993b154ae106ec975ac03577ca425747524829218c56659c8e5afcn, // R^397
0x1d9dfe9aa752d2ad30fa475f60e99ce28090bc4a3f76c6bd2da325ee1ecee306n, // R^398
0x73b0c3a399e29cfae0a9411bec4e880f89db12bc38446ef0eb0867cdbd0e59ean, // R^399
0x297db577aeec2aac9a20a99bbb30a69dd337fbd33ef87fd488726fe11ff3d0acn, // R^400
0x1e36e20b98343bac89b969de29efd3ac2a3cf10107d58b247bc438a7cd04d95dn, // R^401
0x18085cd389e51d18efccb5bea148659da2e4f00d9319587fb8c86a36d780e7aan, // R^402
0x1e43e466b0b1453f6eaa3b9abeb9ee428869423b08e210770f7b197e4dd1a9d5n, // R^403
0x0c0097bf55356600042fe10497bbe6adf61ff0aeb20ed60835d3ed917d56f6b7n, // R^404
0x1c4ab8d52a5cea2fa8ecc8d552056f13f40e20eadea13abf65a6dfb5c6ed0c6fn, // R^405
0x39a91edc4ebef79f97f2682e2edd8c89f2ff212a72c3642198fe8f361474c1c4n, // R^406
0x597244bb954810d854c9ccbf4e0bccf55d23e3a10955698e2b590fd94cfdc3d7n, // R^407
0x62531e650dd93a674b702681e793fa96e5912cd6f21a951b1f84ba37fd5bdff2n, // R^408
0x28d4b8f164e9ee92ae2d5aad1d838f7892a1c61b079bab746bcf9803613fa0den, // R^409
0x26c86cabfa3e21800e18eaca4f12b66d7e0aec46f1c80464f701fb52c3e3c514n, // R^410
0x630b84c767053c5c8bedc2dab30d26a5b0de94b46838631e8fa3bbb0ddd994abn, // R^411
0x0c70eab147a266491e33068cef5bddaf22e90832ffbd3c911342967e8b74936fn, // R^412
0x3b7d5760e79320659a9e6258e50053054d6b2da613a61366bbde1cd363e70950n, // R^413
0x6e4f0881187c0d78d47d57b1558dcf09da15c8481a903a6dd58b1073661790ddn, // R^414
0x2daf1294a573288ad5bdb4c17fff32df85b738c3b7fc149d275df0f9bb229211n, // R^415
0x0474738fb4d2bc77463a9af75160fbd53f07a9205d257760e62aa5982dddd9e1n, // R^416
0x39da859e851a9200f151ac5eeee01ddb043463b6891488348a776a7f90d2c299n, // R^417
0x6f24f471398cb02421eb8ed7dad06090416fd9bc21c1fc7f4104e91715087be2n, // R^418
0x6f86ddb1c7fbc54f8d3b78163d6d07ebff490a38a9f557aa737111cd6b6386bdn, // R^419
0x5c00cbf5f4e3e66fc0eb2c22cfe7e2aa9666286c5921ae952df1b2ae38194c95n, // R^420
0x2e47799a898251b81d4b6a0800634d36bf62f7bd43133a397552a2c882bb4e21n, // R^421
0x1367b42fc75d93e34ff2463d6b2d1e1fb7e6a95d00a40dad47e09b82302f5ed8n, // R^422
0x01a15831187ef871f826c4ae652c40fbb6ca6255fe16e216e6ab0f8ae5fa7507n, // R^423
0x0fb4de330d782713e22653797c49e69fa8a22a08f61f9187e7b93d547d77d929n, // R^424
0x32d334b8ceb09712883106c6dc7df604daabaf8df5a89739659fea3799537fden, // R^425
0x4a7fbfa273db5df4a78a53c22b85c1d79665a744c67fd66837ca585e3f515357n, // R^426
0x37cbd45c8ffe404001959e72e51542bb6b99aeedeea40b123c7467551761bea8n, // R^427
0x5c588b46286ad6b7b34e7c65e9f7cbf0eb3489ea657c37ba64a3b52bead68bf0n, // R^428
0x314795d4e0105f19700ff19c87a6cfa6674fb7c7d7639833274685df41b35e94n, // R^429
0x496045abceee43b4fe7996af08b89a5b0227b9eaf0af964d21ebbe5f3e60502cn, // R^430
0x72f0e1ad677ed48ab1df0ed837e5a0e0d2c94730ad3bdf6d02214dcd7bf04af1n, // R^431
0x721b5092d467c2d13e49a5d7078fdd2bfb4d6b00af4845e4a333f2fd957e0190n, // R^432
0x4c36af0ecc44d8841ef4fcc28cf43711730275ee3672c24d111ada1278e57e82n, // R^433
0x2d3349925bae77f4c5bca2ad7e9ecbedc763fd70bbfd4f9a40266da826c8add8n, // R^434
0x21423bd464e47847304e189b2e56e21b3e26e616858a4496b6dc41788decca51n, // R^435
0x1f360ac4cf7f45061b5a3a88608d33235ff3605f7ef73cb3afda07a761ce84c0n, // R^436
0x3950232e179fee1afefdb54d10b977cbd99baaa3d8dfb558d1a668adb99e859fn, // R^437
0x454a41cdca524fa45220b379ade063925c58a4a5bd10257caf4fcc2c95873447n, // R^438
0x44dc9ac3bf3db5ad1b5ca9c16efd1f3111bb4462f9ba4c5d3911734ded5bfeabn, // R^439
0x36a912617ae88b8ef8f7b20cba46c33bc551cc717564685693bf5cafb3754e2cn, // R^440
0x0e7bbf9c18c328e5241e8094a00ef2c073fd63507fe0270806e42a47435a1b06n, // R^441
0x4f89cf68db1b5bcfb356e9e179fe7025761b8982b32294c62c322e56a25eb143n, // R^442
0x120824d06e03efd0a44e37e29d7193696a1e19849398a171fa01ab4a13adc81cn, // R^443
0x6595eaf28426cd43d09e18fa50b8e14beaadac5f3b9eb722fac50825d2e03e58n, // R^444
0x5cbe20f19cc7625b347685524348b1897b226dd15e4b6317ff27034c2110e21fn, // R^445
0x077923e4f03a83c24e5c884731dd9d2fba2b34cb81646ea358b4fef12b59f0e1n, // R^446
0x4377cb51e022f09f13dcabe394c5c4415af94111f5ee28fbf895a958ff5584a5n, // R^447
0x73d2dd755595f40e5f3c864f37f1b83a94740a98d78e4acc6be928d3151fa7d4n, // R^448
0x69c9892ae3ad8eb9cbe6d9260d26cb67f5cf2d12ceae5632ed4c400cf31c0434n, // R^449
0x4ddd7aa8f560b1bedac7ca89bbad7cafd7d24efb2b9bff3377b6f32866d216b1n, // R^450
0x05b5176bdf8fffc7a6ddbd94c09bcefb63f4fe7e9fe62b820101bdfd3b4f453dn, // R^451
0x3c8271831d903a42d76d6ffbe9ed9a9631d94929a74d2ba22cee63dfeec11769n, // R^452
0x193cf9b73089f7355c473b51f7d1967a836b3380bdde2038f4d86df8dc196969n, // R^453
0x4e57c5ffb91c0f5a82330cdad962ac08248a2cb4a4de05f08e173b815312549bn, // R^454
0x25af2656cb568125ba24015b3d654ee6342ec1b201ae4edb3b28af9a1c4a014bn, // R^455
0x0b2de16a8baa4b2da87be2145a983e3ec35898c276db8666b06d5ba859cf2aa8n, // R^456
0x72115a2f25dcbde03f9325b894fc1fbcb9d5053a9b41da8c615a97f99726167cn, // R^457
0x2153b0a2de50a39bb3bdc25d59495dab4ddd1aad3843ce8907d29199fa44ecb5n, // R^458
0x0b2fba52c2aee3ce7da7664d26e951a17d0e02ec390226990503b18350585102n, // R^459
0x21aaa75781ab0bacda128f9b7a56998c9ea2e111da8ea359b7e078ee766b4cden, // R^460
0x1fa65dbd6a859f38076603cd514b35c3bee3c097e3a5ff87d6751b6389fccda9n, // R^461
0x1773d4fb4490ce9fbc383951ec078f72954ab7a88c6b337dd0c6427f34be9fb1n, // R^462
0x43a7d87db6ae29ceaf18054111047ae4f516f6af73a0bcfbafe57ea0fe5505a6n, // R^463
0x4e0730c1d1c6686c3a99d3f60f17d900c11bd92d7ac71a06e7de524a23a69ea0n, // R^464
0x4c92f6068311ffedb62d5782244fbb0284d94e575e520145ce8b2d5ffbc5d97dn, // R^465
0x1e4138360c1f913ad6e0716520f735e3d3f01034121494b90f00c300419e9ec0n, // R^466
0x5150572ae31f369315745b54de67d9a34c42e0dc5eb42d384ec02463b1582717n, // R^467
0x114e4ddc44fd6afe80beb35038037f5803aa69a3c46f447148998ac63d6a7f68n, // R^468
0x4a53f11d6348cd34b69fad3d4646765e2d4d860059d50fb38f52db478ee3427cn, // R^469
0x0a43baeee01ebd5d08c159baf3555c003075ec65bc62b88af1d7e32cb04504e6n, // R^470
0x133d1726de7a52364b24d667f6e17b58b325aea64dc0241d84216931f16e87fen, // R^471
0x66ae36590151cd85d540cd42fcaefe53d3c79ef44c3670cae88508254c0fe3b5n, // R^472
0x12000be1bca2583da7d5bdf7ac8da7f78e3cfb0cc09e0ba810fa649739f3a744n, // R^473
0x1dca0a0875bacfbb4d41baf63847286b775865955dc1d827360bd4ba422c1eecn, // R^474
0x72b084ca21e9f0c7bd0c806914fe9539dc79c71b7d37880f3ece744243a02b2fn, // R^475
0x4f3347377d2d948b4f14beebddd0987c27a7ad5c81b2328d8087a426c5a53c8fn, // R^476
0x591d5c8e61c8452fed7eb4801dd7eb671451809af085671cc804ee7c0248b3a4n, // R^477
0x59e5cc98e331d949f8f06410e527ec9ef3ab82522b029c60bb66081d69657754n, // R^478
0x42c40b6fb77716b88d2a23671f8eb50ac010640ccd6fc722857085b204533c92n, // R^479
0x00d40349e9798841c393a538d85b7e492676ed0faf6e3e745ae3fed48b33c39en, // R^480
0x474c5e33a8668d3d352a8ca553783f857e433c20a115dd20c19829109aabe932n, // R^481
0x234b8a6a5bf081ca22b2216ab412dd33f178247f326f2539cb0da3e772d25573n, // R^482
0x2caffd55c1c3588df7b1964177cc602f960d5abf401b50ec41713bfd94495e63n, // R^483
0x0a7f2846113de3c4bb4a736f0acba361a17d4c6365467fd4ae33a631a34946dcn, // R^484
0x273f154ccfd797986958adbddf719b3011f33ef8492dbf772f702bd4e40fda52n, // R^485
0x0370e9ed1cff84e18d9be8fbda5d9be1f7bf6c0ea1e48e40024c78644561d2c4n, // R^486
0x52be7c14d802ab1d4b6baf896e47d14bcfaa347480fa4cc7681ceaf3d07c640an, // R^487
0x4261d724828a7c18e3710239902b751aa0687dbdfcd68b43fcb7af6c232b5012n, // R^488
0x686575702d8b9cfc591d1e22f94f4f59c99ef57bedc5208ba65664cfdcf60657n, // R^489
0x6c6103f3a3dda03fae44a7a5e6b61212798048e3a1e7450e26fbea38525b82edn, // R^490
0x2207ff2bbad26a97bd05c1c5b00c4748d5be48277c179d728ce7602a49a3a3b9n, // R^491
0x1ee204350775187c4f65bb3022bd928e8af6cf6078ec53d7fda053ebe97bdf41n, // R^492
0x3e7fff641fb4f8beaaf507b45526340b7ef849f7f675dd7a279b4ee69dbd2eb2n, // R^493
0x379444fe49141c97e8807fe0b7fb2718d31bde30bff184c909d09dd3ac299308n, // R^494
0x4724ddc511ceac7c096f1192aa5ab8e65873d7cd3e429e0664e8ecd623a9eac8n, // R^495
0x0d4d21b11fc5ff44f645cc49fe6a76ca4a17a15664fb2f65b82925c97a076a60n, // R^496
0x566348f4c638d49def97a09e6ce6e323856590b5d1dfc0560f5c82769dc519dan, // R^497
0x4e89089420087cf2f7c981bac7a3fa1a6a53052d3c4524b1cc60c2e167a62471n, // R^498
0x606c3c856fdcede2648cbfafbd6e7e969280ef86b3a4f40be58acb35bd639aeen, // R^499
0x5c0253f3b13d7584fd90834d434503c266cdc56552670d7ec2fc557786019c46n, // R^500
0x70991b59b415d77ecfb863d0ca3e739eaa90ac630b3808470487880b71d92d2an, // R^501
0x3dd1b37b14f391de1a920ce25db795410e5f07445b83c9918cff0ee9d9e9e139n, // R^502
0x61f834a092c34a502ebc4989f7f0d3800c83a2bac7a2be4d682c319c4464b62bn, // R^503
0x282d56858b0024c27e9498cbd39ec0568bf96dc15d54aa37f7459ee58fa68fa9n, // R^504
0x352c0af1bcc10d4abcc218550f68df57958f8f985b2023bcfade254c139fb3acn, // R^505
0x6af57a6f6af6808931ef8b7e5a8945c1477b262b6b335fc7022b8de204773f0en, // R^506
0x2755e8868d12d9278bcc809b9399c07327a4340af79587fbbf16c495755d0c61n, // R^507
0x3f3cf8157ec2e01fce68d4ea7afb3090f1c1a744c959f05e71a6ff8ace58bfe7n, // R^508
0x48f3731aa628ccec00ef9aebc1f76abce13a6a24497996400076f45bca973aden, // R^509
0x472c2df653e9ec882e0d65ea1c09d66319fa926cba7096c4ea0c478933afd2e5n, // R^510
0x236a62490105f4af8668a77bd0cae522e87621f5a20559abee0ca3f95cb64342n, // R^511
0x26e081dc48879b1790a626f1c7d8a8b26d288d843b8e2b92bd8f66bd61df91cen, // R^512
0x6179282ee3f7969e8e96d14cc175d4705f4d3fcfcfbea5d7146e4cdcc8940a3bn, // R^513
0x6af50968afe1f4f6c60e38a9f9803bb29fb389f759cf9044d5d7b3d5d6e84242n, // R^514
0x69d2de81386cdcb79ee8edc114953107d02578d882b2743b5aebdb6d1d13c47dn, // R^515
0x39c885ff18512fa6cf66d24642b59157342156a8e095638909ae440eca3305ccn, // R^516
0x3dc2e1fceb594e9ca91c84351e17f19851c15c516ed82529cd4bc01f003acef5n, // R^517
0x4cfcca35bdc0236e689bbfa935a6e17b47f77f51a8277f5e8f3eb6f6081bf697n, // R^518
0x5c6240b501316d015ceaafeeba503d52d2055d7df359c0c154899f2a72c2ed2en, // R^519
0x38248068fe26a5120d6abc854ca4bd3222260ca8e9aed96e591c0278bfde68can, // R^520
0x08a976819d8909c058afb9d122dcc74f16a48651854fa49b62616dad9753d1b6n, // R^521
0x5e5e3bc1781f2b791e465ef29a4418a4e70cb5feaf0275a9064a2d332a464003n, // R^522
0x06b739b6551de44e10c4e29926c354a339fa043925884f3e0f5feb24653a18fdn, // R^523
0x58c798fee1569296cb00271c48bf116005b001d989ae4ec32b87697780c62362n, // R^524
0x54ad6dc099df80397d9b067dc749e243864706a7970af1888c7ec11df0aff457n, // R^525
0x4a08577ba2019763008db7ff5eba89b1c4159deb709e1ba2dc5e64b62f58ad54n, // R^526
0x5c793dfcbb591de12c675dcebfb2e5d43c265490128c4a9cb9c596b503aab840n, // R^527
0x42a12757f5a53d187b2f96976188376143ad7af3ba7bd1fe33ccce21b970841bn, // R^528
0x43a9dd399902c64cfbbdc0bb9dbb79e95dd85c3434bebf4a8fde68944856be3dn, // R^529
0x6c8eebdafc8a81669a5e3fd164a34c8a769a8c987248e88fac37e0904ea16d43n, // R^530
0x1c1f883f2402ff86e4b6942cc349ef074d2eed604a79544066062156760ab0ddn, // R^531
0x20d600723f6fe0717722943550396b84086a493a53bf0a1eebf79aa2c49d3153n, // R^532
0x502c7cb7deed29d769b543e8df60296a5d92857e1565c8984a7619223d0d8c94n, // R^533
0x5dbcbd2fc6ebfd4155c1060ba8775e15ffd0101f56e301152635a1d77654bd95n, // R^534
0x0f846c67b46f5559bee20c00ca6c0c84e16f8cb1e3f091ff998bd8f8dcf46109n, // R^535
0x03737740c0c5b1c2c364ce8d12f63bc984167d66a1def637e9eb00ab69bfbdcdn, // R^536
0x35f15568ab68ea3cacd41f5c424a484016aa76c088f286a4ed8410963b265db0n, // R^537
0x7029ce8dd2a19623abc43da303168025a4f48b71aa16181570de37405a79fae5n, // R^538
0x38f60f8eb075f04b1dc9290a96e8ed9550769046514e85ce256e2afb8cd8f575n, // R^539
0x168e0e194c11b05f67cf08217b6aaf68cddb17f901ad3bc7dec08ca45cc97be7n, // R^540
0x059066f180c567e95eb18b8762634406b4a058628bc88396d484a64615b5f5c4n, // R^541
0x0c85482ccb14c03bfdbd7829bb4b6eda94dfc3d1cb8c2c028a83b9520fedc9c4n, // R^542
0x05db3b21abc46d45ca199e70c0be699a7ddac46e0f3b90ae229a65df87606158n, // R^543
0x41209575d950416c481772c11cb1acf09fe159ed02d5a43eb741c950f3407806n, // R^544
0x34e1b5e3acbfae70f68e937ed6fa1bcf294fd40996410bb22beb057abf63a2c5n, // R^545
0x176e5cbf0f69a52a06883a9ceba064df06ad28ed70004d330a4fe67191ef1567n, // R^546
0x412c27bd2b85410b345491636fa4cd84205991d8b6c2c114d4446cc62f1bdc1an, // R^547
0x4678ee5fa6347f2b1b8d94e348c5451e8e8acae25068483b29712e209adf0a86n, // R^548
0x160c1beee9a78e0baf8b93e9a9b91077a422e2b4ba15e5fda2837aa34608c740n, // R^549
0x13fde71d0d21a10b33138e521e810fbe7812cab165fd727a0985807524f0dbe2n, // R^550
0x5950c816d2353935476ace44bbdd5ef2e2fca9ebbbf2e9c018d5d1ef89697bf0n, // R^551
0x0e773fd8a6c5e9975a1270e6d19d95d5bf8745306b74fa4c5ec6f895a3030f97n, // R^552
0x3f6ab471a181b7dedede18b6b794d4146db55d636e717f26d1b40e8e939cb90en, // R^553
0x12c1f9af3754996e57ebee2fae86732cf8bf38a9e19fdd2e2b8fe2214cc4d4e8n, // R^554
0x18302db57281b9f07b82d62992e84aa45feafeb738e7a3ddde50258e9124e973n, // R^555
0x2715ce0b5ed54ef2ab63918d6d6b0f4ebbf0f4fd6b2e07030efe05a57855bf83n, // R^556
0x2d7e50bcb98fd6f50982daf9ce3c943896c9dc0f2c0e707c51f479d91170d6ban, // R^557
0x0efc85d2434ae82a8fe21eacc2d2c7711b12d8463167ec94c82a691d3f1f2c6dn, // R^558
0x59d2d9ec82292ffed406034d1799c876db4b281ab4a8de79dcfc645ccdff9601n, // R^559
0x45a74d20cecbc240757e545224a2afdeece30e681adc0a8027d837610584abebn, // R^560
0x45d4262d418228d8e5e7cbbfa8414e09c7e43a72d9baa8b6390dd352fa6e3708n, // R^561
0x2229be52a713f19bc8948cc1c38cbddf3af0a68ecf36d435583361e6582771fen, // R^562
0x53eb04f6dc5391413d6fa9ecfd6f5fe03ab12532e866fa2a92dce2a84d9478a1n, // R^563
0x5d861c14784346a800970031ebc51118db3d09bc3cf1485a3bbb3fae824078can, // R^564
0x0f7e646737fc5addaf733cdf4d896f9e415f46c7aa08258cedd4ccb9f62d334cn, // R^565
0x044cfba0873c67a8993dfc0d00397d409f443cf6b3acf00b427310aa158d4d08n, // R^566
0x5448dbec3ad3e850e4c6eba1db24c5378514a6acbe25082d0bc2a932ceeee48dn, // R^567
0x6394545c9b3a244c51fb98aaedee25bdc5428ac3b3f8b547c11fe36145287923n, // R^568
0x1605fe6bfc87a93f8f7447ba44e63a37cfff02d153ffd9f6274a4bf1a33d53cfn, // R^569
0x1783e77adcbcb85b82ace85c47ad328449418c1dbcfa18c1705a24745cc5baecn, // R^570
0x0476c4c737e11abcbf46b84248801562a82560509972487e79f1c8b8fd9e81e7n, // R^571
0x62cf88149608779a42920b174925a0e1cf654e8a7c4f878a2c9d3f06a59f1712n, // R^572
0x32e5b1a658bbc19539361db3339c32e5a0ca1ca82e1614b495cd45ec0927e7e7n, // R^573
0x5c0a53cc5827f879c8799c295649ccb8e02ceedf674ceec0970f30f17b74b225n, // R^574
0x5a4aa94604037f609ab2415d1dfad5558e71b266f98175160be59ba49ab132e7n, // R^575
0x17817a49ddc5fba8bdbda452475549be546d7a829901feefd3177452d5c028e5n, // R^576
0x1bc26db295028f21815866b6dfab4fdc2c4067f6bdaa073ea49b78904c134f71n, // R^577
0x57441d077aa392e52c9ee12b20af09bc319ff0e68a5b9188d7973316f816f83bn, // R^578
0x73c12f7b545dffcfe883a2c37c8b34dbdecd92820a4b48b6b82792acb82118ecn, // R^579
0x316e73c32438944dafe6fe5cda8af5a4039f2f2350ca9e308d9ab24307140ee7n, // R^580
0x3ae8805d82437181ac5fa16e3ca30484ab74031ceaee9b197a9ac84a919884ean, // R^581
0x585700f798fc3ea3d538b1ecbec31f08ab30d0ad6a90621a101f7b27b38df23dn, // R^582
0x72f120e89c3c6eb0df66593c645bf73d9c7b4e297e003ce9b0fac6939e348241n, // R^583
0x4a2978f44bb0fc9be899dde33dc0ba2020e218629cd8ec4bcab7523a226b14d4n, // R^584
0x0665a851233a9611ad60cf0fbe54adad3f1ff594cdd7a4e4fc84a6fe98ecb37fn, // R^585
0x1743edff0d5dfe821088dfd58d0573c13c031ff2b0bd9906b8d124717f09dd23n, // R^586
0x40e3c650b83a6f67a9dde91b5d5680db59b95c865f14cc608625284f47dba72en, // R^587
0x09c1cfad4ab1c021b2d8bd15a1bc732f6b1100e6741ff7bcf9ab16b1f9dc1992n, // R^588
0x4872ddb65a19a7fe8d678d14a4c8f434445220adf59656d18a05b1e314f7750en, // R^589
0x0ad0ccc9ba37d7e279768dcf7afa7bda2c65641aba02b12e3008fa8362c5cc62n, // R^590
0x6ab23f8959c2af54485ba3096ef5ef9d761ed8869219f815fd9b5ba2281645aan, // R^591
0x5df16160dfe4c8ff40f090c8c3d3ae77fc7f19df3b1241ad0eac538d1c36b339n, // R^592
0x138a7e56f99230f0be10ccb21bb76d71df9d112bcefff4a607e8e3e7cea7f702n, // R^593
0x5db2b80969a3d931c96143e1652bde3e905d3d6677b1f41ef2ec4d0491e8ddben, // R^594
0x11a9b2aa8c8be78f080ca0752cf6e0f9c2d3d0628dc7e0bde4c488ae82d37886n, // R^595
0x2d6c444ca98c36dcae9348179d43728773507c8e1dd03baf9fe12f9581f98cd6n, // R^596
0x5c3a6fc87714f49386848aa1e2ff5342b35f97051780530ef3489c2354138d5fn, // R^597
0x0b849f374df46b91705e5a9abeb906be753fcbbda609a09d7936a3c54f58f537n, // R^598
0x6ae95450fbab29a893c