mdw@git.distorted.org.uk Git - catacomb/blob - math/t/f25519

   1 ### Test cases for arithmetic mod 2^255 - 19.
   2
   3 add {
   4   ## Some load and store tests.
   5   0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20
   6     0000000000000000000000000000000000000000000000000000000000000000
   7     0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20;
   8   ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f
   9     0000000000000000000000000000000000000000000000000000000000000000
  10     ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f;
  11   edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f
  12     00000000000000000000000000000000000000000000000000000000000000
  13     00;
  14
  15   ## Random tests.
  16   bb8cd45b6185ee8ca34c4d7560425fd5c2fc22871113c6427198e8f9439a8523
  17     98f16cc5e44b7228b7f3b6ed91930d68bba5071157d19259c48034d2817e30d5
  18     667e412146d160b55a400463f2d56c3d7ea22a9868e4589c35191dccc518b678;
  19   8ef938a7b07a668c234c2c5bb65115b8e2e22a3703cda51c70e7a56a075d4f34
  20     1f3cd4bf4f768058c4de1aa5aeb90e227338e308c7a0a199050ca1c38d1e034c
  21     c0350d6700f1e6e4e72a4700650b24da551b0e40ca6d47b675f3462e957b5200;
  22   8b2c4678fd4f8b7254eea925e4da8d472db7f97d349d1b2134ced884b747ea7d
  23     58dca7954f843b7e4dc56b048903e7728df66ef6824f29932b2f568c995ddf2c
  24     f608ee0d4dd4c6f0a1b3152a6dde74babaad6874b7ec44b45ffd2e1151a5c92a;
  25   9cd64f0cf439bccd224f7a789396b9f888998d1ba9759c93a5d6a27f45db0e67
  26     12f724a127052612081e27e3915db9a540de9b64c566edc313914ad94424464e
  27     c1cd74ad1b3fe2df2a6da15b25f4729ec97729806edc8957b967ed588aff5435;
  28   82e59fa9703b2557303665fe24e3d46259da974d78155f05c6b8891f92fc808d
  29     98a073ec62baf1354b681a3c78d62df1698ed5077dbe2bd68ba4a6e0233e3447
  30     2d861396d3f5168d7b9e7f3a9db90254c3686d55f5d38adb515d3000b63ab554;
  31   686ceca221d0f4c6d98287e97c506085064e7b172672b88ee555dd0308bfd309
  32     60adc3675be5e6c2921a74b5b8b24b0a26341a19567dae713a720786bc72df16
  33     c819b00a7db5db896c9dfb9e3503ac8f2c8295307cef660020c8e489c431b320;
  34   a50a5b82d2451ed9a5844585712202a6dc0e0230501d57b8c00f4bd4771aed9e
  35     98d71b8b140aea02ad47d9b19e47d2a03257adc1d5c47611adc667652b78c87c
  36     63e2760de74f08dc52cc1e37106ad4460f66aff125e2cdc96dd6b239a392b51b;
  37   1637e3eb4c5d173b8cba29bdb13b930f48ae0599e354819f8ae0cf70f0f7b61b
  38     ffeef1767df70de7a4a75864c03935d7934c6cf5228b9c3000813ed0e55447e2
  39     2826d562ca542522316282217275c8e6dbfa718e06e01dd08a610e41d64cfe7d;
  40   9e8bf571c45bc5f37c9126e70498698978903b94d9c6712baef91894ab924fda
  41     480f68f8ee644bfb64e3fa514eaf16aea6368da6813802c4c3e6ce8f6540dfa3
  42     0c9b5d6ab3c010efe1742139534780371fc7c83a5bff73ef71e0e72311d32e7e;
  43   df9bdbd478bd1ec1ff078cdc76f2a5fcdc52f0198ba412e0b5a10e664b175dad
  44     080bc47bd2fb2ba3be6a07a02162f76020479f2cc6469c6766df23acf9517896
  45     0da79f504bb94a64be72937c98549d5dfd998f4651ebae471c8132124569d543;
  46   b6dd223f5d8a3dc5dd6f7a0679173ff656303017a17f17f4086fd4ecd3a23020
  47     560d827aad23c26fddbfd16c3514a9b518a4586d6e3c5739860743662b14f4b4
  48     1feba4b90aaeff34bb2f4c73ae2be8ab6fd488840fbc6e2d8f761753ffb62455;
  49   1d59691a670c40143ca7f7e693389ab64a911b17a2fe4368fba9097b40864162
  50     cb42d3ba12a8b90ef1622ea09241d3157c515043040914356d6d99b95089fa07
  51     e89b3cd579b4f9222d0a2687267a6dccc6e26b5aa607589d6817a334910f3c6a;
  52   82b48877e9c8c18edb52db3e1417d894e572a8edd84335d93c642158f2a926e0
  53     93c6a39c1ef97f318c3b13bf8e77bea653b2eb130bdf43b00a0e0e40a362e819
  54     287b2c1408c241c0678eeefda28e963b39259401e422798947722f98950c0f7a;
  55   a6137481c5b9b8bcb3c87f3868c5f812da71aeb21c5ce18a508773120ea4f659
  56     812eacdc5a8eb2e8fde0c23a19c2e33466d754ab3109d28ff48fb41dab8066e2
  57     4d42205e20486ba5b1a942738187dc474049035e4e65b31a45172830b9245d3c;
  58   598fb4096a7054e317e66bc9633d56dfcaeabc31a7bbc9da13074b242edeca09
  59     929b1bddd55c99b06b99a3ffbac5adc1d28823cb8354adcfea60b7a87fe32039
  60     eb2ad0e63fcded93837f0fc91e0304a19d73e0fc2a1077aafe6702cdadc1eb42;
  61   c42183d915267e655409326b1b77a042d8918feefd75dd3d18551f398ef426e7
  62     e3729a6110686ffa57d1c69284a60fb36173148a89b1810d04614f03c8f90084
  63     cd941d3b268eed5facdaf8fd9f1db0f53905a47887275f4b1cb66e3c56ee276b;
  64   67b8b7ea7e7f9f52d686f906589c919b293bff6d3127e7ac581dc1630af7bcc1
  65     99d18d2190ef0da148b843c014fea3efea59f9adbb28fa38407191fcc24e029c
  66     268a450c0f6fadf31e3f3dc76c9a358b1495f81bed4fe1e5988e5260cd45bf5d;
  67   bc3422b79e01234fefd3637a19bfb2dd0a83bf2071b27bf5389918a50e579294
  68     b665dffe064aceffaabba94697cf27054d016427ebaf68858c5250cc5c1b770f
  69     859a01b6a54bf14e9a8f0dc1b08edae2578423485c62e47ac5eb68716b720924;
  70   d419cbfd5514d9cffa1765b9f273fd7492000a3d110586ed0b8137760a2e808e
  71     bcb52f423917c074464b2078d1c3f883fb793b02411b8b13c08266d17658a499
  72     b6cffa3f8f2b994441638531c437f6f88d7a453f52201101cc039e4781862428;
  73   2f7eb8051d16a52b797e2618881bd0857eb205bf97e581e09680f86308f7e082
  74     9ceda63b29c3bfedbb6f3f0be2f3f2bd285bb9d21620c3edde69629b00b1c3cd
  75     f16b5f4146d9641935ee65236a0fc343a70dbf91ae0545ce75ea5aff08a8a450;
  76 }
  77
  78 sub {
  79   dfb53b4ff67c742728c564d50ae20e3e3617804478a95e511d37ff4dcf04fa3f
  80     9bc2006bb07dcf7bf0b461e7599e3c3cbfcdf6b6f41fc1db2219767ce9c43bcd
  81     1ef33ae445ffa4ab371003eeb043d2017749898d83899d75fa1d89d1e53fbe72;
  82   432ec65076c94af41e054a43f64fe4eecb23f50a303fd38e0172e4e846e67394
  83     3642c84c5f5fcd5a0f3f2e37114beb8e7b614c39d354f1b32fe7e9cc918da5c8
  84     faebfd03176a7d990fc61b0ce504f95f50c2a8d15ceae1dad18afa1bb558ce4b;
  85   1725a986c03d9d53346ab2064545ba90ab38191e19ded9ecc2f44d422ab04150
  86     11a20caef0239e4ffb5ab2f7d3576633a0d4a08c78a02f35765fafff5398c48b
  87     f3829cd8cf19ff03390f000f71ed535d0b647891a03daab74c959e42d6177d44;
  88   ec5d5cdfc8183f9aa3d47634d16427c3a399e2166bfa4ddfecbc911e5f33ceba
  89     649f8e29c483765c4232c369fd0e50a0026eac306eb4bd6924e7b4d7d3f73e26
  90     9bbecdb50495c83d61a2b3cad355d722a12b36e6fc459075c8d5dc468b3b8f14;
  91   cc9927c331884612d8fab9a2262ad0db38f55e0cc587e45b972ea8b1f504450d
  92     30c5c9f8d5491a350051bbc6bb78e568d98061b43cb1797cd3d7454e8a7aa1bf
  93     76d45dca5b3e2cddd7a9fedb6ab1ea725f74fd5788d66adfc35662636b8aa34d;
  94   662bc96da214e50f13e07a15b8e0b78f512c744a66975b2170ba28079ca7d03b
  95     84b072295dca0abef806ec5c1e594179dc5e9eb172c178af1902a42ea7a3728e
  96     cf7a5644454ada511ad98eb89987761675cdd598f3d5e27156b884d8f4035e2d;
  97   ed6f947157492eccc5fb1d0542593d58a47e2d87355dc0378e65376163fcf457
  98     cb27e06c5ebf42a61caadd4fb222799772aaef31487bf61ac84c15f58af265d3
  99     0f48b404f989eb25a95140b58f36c4c031d43d55ede1c91cc618226cd8098f04;
 100   33c2fc57d8ffc29e6d670cfc4e25b695320055cf443ade53f49f6c23c452f644
 101     3814860ccbb4391894c107961170d3af1594988a7972b97d0fb2169631b216fa
 102     d5ad764b0d4b8986d9a504663db5e2e51c6cbc44cbc724d6e4ed558d92a0df4a;
 103   d0fd0d5e73be5c534aa37645aecc49b202fadb30733f16d0de719a70bec2c751
 104     910c7b4d317397cff70c91e5bf8ec42ba1700b0866adbbfe99b7fbb2c46c7093
 105     2cf19210424bc5835296e55fee3d85866189d0280d925ad144ba9ebdf955573e;
 106   e0f8130d6b0125e824b254ed57edc59455a8a4704a3f14a4ae8dbf8721595468
 107     4e4f69af6f85742068ad70225e8850c85aef3d3fb3ba3b52c2be979db4eb979d
 108     7fa9aa5dfb7bb0c7bc04e4caf96475ccfab866319784d851ecce27ea6c6dbc4a;
 109   204d5f69ebab4597d2aa9295ecc2959480a2ab0b225674cc8a147cf7c1e59717
 110     3abdd29c94819ec7507673bd5cc4fb267fcb17c1509abd5e462b46b012f815a8
 111     c08f8ccc562aa7cf81341fd88ffe996d01d7934ad1bbb66d44e93547afed816f;
 112   e2d75c74060aee615b6cfc815c8618f826b07c4987e10f20d27ff74eab3ac7d0
 113     7a06b32d284b5faedb91dac8e94cb7f76c678bad81ed78ac4e75eb9edd8d11e9
 114     55d1a946debe8eb37fda21b972396100ba48f19b05f49673830a0cb0cdacb567;
 115   8d50b0573b0bb945bf128e1a9a37c151e991581673cf6295db5a6223d428ac9d
 116     47ca477794fdf378f3486355b5348960ee957470b8c74d62199ac48b4478c4ca
 117     338668e0a60dc5cccbc92ac5e40238f1fafbe3a5ba071533c2c09d978fb0e752;
 118   b66b49190a99456aaac5c33beaec423a3fa79a84df0f00122aed29151185ceef
 119     13c06f7941743bfa261845d99772fd0d5f1a8258aeda53b161505ed8bdca1bc8
 120     a3abd99fc8240a7083ad7e62527a452ce08c182c3135ac60c89ccb3c53bab227;
 121   44ac89bb8d4de1a8756b00401236ea4e316a2fe637f6e5f052576da70c29c4ea
 122     05dd39ac32768d899b80ed10279aa10d6316d60ab2d061e877dc5f21ce8e1140
 123     52cf4f0f5bd7531fdaea122feb9b4841ce5359db85258408db7a0d863e9ab22a;
 124   ef0f6c7f56ff22260c66d583f79c7f581181d3a0f3167c93786bb6c89de4372c
 125     be934afeffaf5e6755a92e6606ffd054627dbe1b18ad6ae543363a01da605512
 126     317c2181564fc4beb6bca61df19dae03af031585db6911ae34357cc7c383e219;
 127   773e0db8f86c5182b5f51d10376f42cde275dac6a646ab1cab065760e045107e
 128     3f92ddafdfe67d357b4f9b61807bcb8b0f1f6c2dacba27902f48fc15a31db606
 129     38ac2f081986d34c3aa682aeb6f37641d3566e99fa8b838c7bbe5a4a3d285a77;
 130   34860a848d0afb20e43f4a36b3c8941f5821864216da9cb3ce1a11f056565a3d
 131     9dfed86048acd45ec0009c1ba3b20a1ba645ec141070fd8ae41d25e159bbce9f
 132     84873123455e26c2233fae1a10168a04b2db992d066a9f28eafceb0efd9a8b1d;
 133   854ba91672ae1b8f6c29395dcfa4f3514ed97dc2c9e1e419f926825619fac55b
 134     7a700653ad355caf17f89045ecfb3ee821194b54048e55d8eed41fea2b0a22ab
 135     f8daa2c3c478bfdf5431a817e3a8b4692cc0326ec5538f410a52626cedefa330;
 136   0c66b3d8c3916940b70d381d232ba8aecfe27e3ae63fa6cbb287216708f224f0
 137     477186656245c4083dff93a95c6e5deb707916e52cd74abbd522743c24c53088
 138     c5f42c73614ca5377a0ea473c6bc4ac35e696855b9685b10dd64ad2ae42cf467;
 139 }
 140
 141 condswap {
 142   14e55571df646a69a8280bf8dbf8e9afc15bf5558bb8b8236ebcaa19a96053bd
 143     8bef5021598a8175565e1f2b522ed1c4306fef4e0e973b50d3a03db1fcf11a43
 144     0xffffffff
 145     8bef5021598a8175565e1f2b522ed1c4306fef4e0e973b50d3a03db1fcf11a43
 146     27e55571df646a69a8280bf8dbf8e9afc15bf5558bb8b8236ebcaa19a960533d;
 147   53d8c54864e18f8fc742b2cb996f1d7595122ca9c90de9f49485cf5a5ef05058
 148     9aa95be655b6704a3dd482e8424f82d17443ae26ab41092fad95df9cac678787
 149     0x00000000
 150     53d8c54864e18f8fc742b2cb996f1d7595122ca9c90de9f49485cf5a5ef05058
 151     ada95be655b6704a3dd482e8424f82d17443ae26ab41092fad95df9cac678707;
 152   8c7b4ffbf50edf7edcf8d69b67796de38b56a5d4e3a9fb2201354cca0b1b7c57
 153     856e707988c37e59fc6689d024b98bc01b71034484ba194ec7f45106267cb7f6
 154     0xffffffff
 155     986e707988c37e59fc6689d024b98bc01b71034484ba194ec7f45106267cb776
 156     8c7b4ffbf50edf7edcf8d69b67796de38b56a5d4e3a9fb2201354cca0b1b7c57;
 157   c8cb24a636f6d8f2c045c8441b21314884a71d55c73d4ef7ad65620ac0d86616
 158     02b47be53df7c8521d57589256e69b8bbeb1e838d84c090287c04a25d5c08e1a
 159     0x00000000
 160     c8cb24a636f6d8f2c045c8441b21314884a71d55c73d4ef7ad65620ac0d86616
 161     02b47be53df7c8521d57589256e69b8bbeb1e838d84c090287c04a25d5c08e1a;
 162   7d96f47612fb7135edfa71dd4526d8b4c944d74ddf004e1653d3af52485168b4
 163     a4e83162602d20cf71a279c1071038ecf94f38be11ad1191927b3f480d393e1d
 164     0x00000000
 165     9096f47612fb7135edfa71dd4526d8b4c944d74ddf004e1653d3af5248516834
 166     a4e83162602d20cf71a279c1071038ecf94f38be11ad1191927b3f480d393e1d;
 167   c3a3d4462091b36bd6fd494e70c3166478be0a65bca7f7361246c52dda402981
 168     62d0ae1abbe5cb909328f59e71330269e4f2b1d3c664e7f1f0780e0a4774c262
 169     0xffffffff
 170     62d0ae1abbe5cb909328f59e71330269e4f2b1d3c664e7f1f0780e0a4774c262
 171     d6a3d4462091b36bd6fd494e70c3166478be0a65bca7f7361246c52dda402901;
 172   38c9b0d92be50270e29cc3181952e745cbf21c8d145ae0c0a6e59f25394ea59c
 173     caf4896a2d3666200741d817ee1dac661652b9a1741ea966d5ed7cbc4c76217a
 174     0x00000000
 175     4bc9b0d92be50270e29cc3181952e745cbf21c8d145ae0c0a6e59f25394ea51c
 176     caf4896a2d3666200741d817ee1dac661652b9a1741ea966d5ed7cbc4c76217a;
 177   d637a72affa4112bbccd2878208ce34fae442e97175e1b39f43c00b14d312a2b
 178     76209f8b1f152ba7e1e6294f707831021eb2ac03872ed3774ab8fc5e6a0e864f
 179     0x00000000
 180     d637a72affa4112bbccd2878208ce34fae442e97175e1b39f43c00b14d312a2b
 181     76209f8b1f152ba7e1e6294f707831021eb2ac03872ed3774ab8fc5e6a0e864f;
 182   12f3bd417fb3860b2a4fd04eb1c51c558a4c5a3dcc1ac457654a45a3cd45b0d4
 183     46f802836c7bde099775f3fb4f5f6345364a7e158bae9e16c4c99aee0cfa5e42
 184     0xffffffff
 185     46f802836c7bde099775f3fb4f5f6345364a7e158bae9e16c4c99aee0cfa5e42
 186     25f3bd417fb3860b2a4fd04eb1c51c558a4c5a3dcc1ac457654a45a3cd45b054;
 187   bf1809201f83a34cb07aa2e2372516631ba0513e600956e6702903e9084770c4
 188     414bbc77d13d7b4e706acc07406e8d624f2485463f9948d81b72268c1e086a14
 189     0xffffffff
 190     414bbc77d13d7b4e706acc07406e8d624f2485463f9948d81b72268c1e086a14
 191     d21809201f83a34cb07aa2e2372516631ba0513e600956e6702903e908477044;
 192   bb8703f2ddaaaaa6ad19219684b1bde576b38bbe9065178b24c1bc55563fe525
 193     1cb3ca7846a3c584b1bc05b25ee91d4779ab9ac64ecef0fcbaea8d311b55d618
 194     0xffffffff
 195     1cb3ca7846a3c584b1bc05b25ee91d4779ab9ac64ecef0fcbaea8d311b55d618
 196     bb8703f2ddaaaaa6ad19219684b1bde576b38bbe9065178b24c1bc55563fe525;
 197   a07c7110c32e362864a42cd2f371ff420bfd442d291cc15ec079d642b5c85bdf
 198     497fa7867fcd0617c4cd765aa6f46b89390744b5b57d11ab732153e075fcb607
 199     0xffffffff
 200     497fa7867fcd0617c4cd765aa6f46b89390744b5b57d11ab732153e075fcb607
 201     b37c7110c32e362864a42cd2f371ff420bfd442d291cc15ec079d642b5c85b5f;
 202   10fddb7f48015b394512257da026938b67f65dd0a84dace51417d68da003a913
 203     ebd6706b7cd2ee2d97848ee1adaa990d8ddbfad48e43f51d7ef843fa7597410c
 204     0xffffffff
 205     ebd6706b7cd2ee2d97848ee1adaa990d8ddbfad48e43f51d7ef843fa7597410c
 206     10fddb7f48015b394512257da026938b67f65dd0a84dace51417d68da003a913;
 207   1dd835e2173b936a91da37b3aa11e848e4497964a9a78ea929a19105eb981a24
 208     3e6f1ab7d5c460dfb7ad1926c60b64a8dd48ed0115b0655a6d8619666b8c8dde
 209     0xffffffff
 210     516f1ab7d5c460dfb7ad1926c60b64a8dd48ed0115b0655a6d8619666b8c8d5e
 211     1dd835e2173b936a91da37b3aa11e848e4497964a9a78ea929a19105eb981a24;
 212   c4541b1380e796a333d88affdccb4d2bc68bc5a1b3890ef2fc1a2c38dbcac725
 213     6f6338ad8dc0562bc02e307743b81013ffff6c135fdf8603f9956b7f94eb55fa
 214     0xffffffff
 215     826338ad8dc0562bc02e307743b81013ffff6c135fdf8603f9956b7f94eb557a
 216     c4541b1380e796a333d88affdccb4d2bc68bc5a1b3890ef2fc1a2c38dbcac725;
 217   d71f16494f041d1547e5dd9ed539e6b9c1506cebb66f6424e6c7aaf6d0ace080
 218     78c1e6cc0b6f64e161def3b2ede7465f21f6afe61299e9a3c52b1a7a080b9b26
 219     0x00000000
 220     ea1f16494f041d1547e5dd9ed539e6b9c1506cebb66f6424e6c7aaf6d0ace000
 221     78c1e6cc0b6f64e161def3b2ede7465f21f6afe61299e9a3c52b1a7a080b9b26;
 222   4d90838ab9cc0a79f4e2aa6a860bf8cfbce5f834aab428d4a06f8ef4a2da582a
 223     53124b302e7675ea5784e2e7d9fdecb38d9c8be158312dd81c51757bafb79b42
 224     0x00000000
 225     4d90838ab9cc0a79f4e2aa6a860bf8cfbce5f834aab428d4a06f8ef4a2da582a
 226     53124b302e7675ea5784e2e7d9fdecb38d9c8be158312dd81c51757bafb79b42;
 227   c8e764092ea695b0dd8f0ecbca5a4e02096c821b0f5cd57de8e3e50d8b2a40db
 228     db7fb38dfede5259a584dbcc697f259ce380110636e301acb308bf687449110e
 229     0x00000000
 230     dbe764092ea695b0dd8f0ecbca5a4e02096c821b0f5cd57de8e3e50d8b2a405b
 231     db7fb38dfede5259a584dbcc697f259ce380110636e301acb308bf687449110e;
 232   34cf8e55b3d2494362a87a24907fbdab61cb4f452ef5a889a1aa40a22be6d976
 233     679c6d6f6dca1b71bb098e3854c63ffb8ddb76f1a1cb246ce956fd71d6477c20
 234     0x00000000
 235     34cf8e55b3d2494362a87a24907fbdab61cb4f452ef5a889a1aa40a22be6d976
 236     679c6d6f6dca1b71bb098e3854c63ffb8ddb76f1a1cb246ce956fd71d6477c20;
 237   9638ab322ced065068f98597cc61fc2bd846b5849dc39a881209b8efcbc95eec
 238     32922ff2b62e968417225b765f2787387c8a42fcab1dbec3815298f53813a8cd
 239     0xffffffff
 240     45922ff2b62e968417225b765f2787387c8a42fcab1dbec3815298f53813a84d
 241     a938ab322ced065068f98597cc61fc2bd846b5849dc39a881209b8efcbc95e6c;
 242 }
 243
 244 mulconst {
 245   8d517a8804d934ae93388e1d59748c3c22866d7be6cec58a357ec43f6dd029db -319312
 246     3f2fea85c9195f2246f4f6fd2e8d5de95c5065edbea45a174bc0d1ef3db4aa54;
 247   1b5d6a6c9cdd0dabd126e5f5ee2513f3d27c56dd3aad89c882fe9fd2d38a93b9 499342
 248     dd310555966ebe7f409dcce2933f91af8e14c8909f78e4f113606789dd7f504b;
 249   9e03b44e93743e0cf5768f65bd3c0f255e001de330d5e1a863d6e4dbb11748a9 -284189
 250     6e8c7f8d0f1476cf2603f5702fe8e8bba5c01e86b6e008ac72987fdd6721183c;
 251   9cc65e302736aab9bf02dd451c216ac3dd2066af299d7f6bb361eb3b36777f74 -15738
 252     8c067e5dccdafaf56301050be17b8895c07e7f13572bbc5ce1af8b5be043d91b;
 253   7f36ff91ed165c6ee44aca261dc09e3e124c2ed8167064c20d9b84fa226e2555 423857
 254     dc7415db1ab5e5a5658d089ced49bf97718bccc55e2f15b83a28157cbe47e559;
 255   e8852c80db69c7e55d476ed00ca7c0735052f7f72f81198a57236feb89a5903c -140934
 256     4923ee40bb01314c2fe9f2f87d0743823311b2d9265219eb7a6de5fdfd09a308;
 257   505ef65d294b77e260757bc867199c4b0922b5022dfd6a1fe7478ea27ec102c5 -307893
 258     b14d72c991a0bfc22b1b95934bbe589b6a4a1f9c76a89d7012f8cb03379a8844;
 259   e410c260dc8c1838f3e9658ae586425039b373ee2ab88c750a51853b012af0af 471420
 260     42ae337a920ee1b83768cbf0750f524cf1f9e98b99f195e869785f90a2356756;
 261   e2d181914b54175190462d11402717f42efa37967b2fe0bc4433fd4c862fd646 492178
 262     4c6e1ba6896d2d661fbf99b77f63e3095d3341f04bf258dc3e4f51e39c68f576;
 263   9cdda0d7da106ef5cfb34774f48308b64953e92869dab0ba804927080509d8a2 -312149
 264     4e75e56793563268480efaf6232ad702bc5aef6246bd44e3499ff437810b523b;
 265   9dac4442858b8dcc324464911e6f23ed046e42612e8105dc3aa2b9eccea15dc8 -88818
 266     ce52a0897600a05383df0a0b99a451f0d5568146b4323392fc164153715ecb0a;
 267   c9f92ceffa7027ffa71e64b714c36b28a6a18c3608f8170d11d51acbee3c62ba -259755
 268     89582517069925572219b2eec2a25029e8e1c78772ca8c50bf23220d02740763;
 269   8f8bcf28f4920465680c8e15befba4ebd23c1e27b71c224c98461f69caf76eb1 -430350
 270     e96b93f0aab6ca70f7d2c1121110efc320aff34e1ec693d7bf17bce1a756d622;
 271   6f4d413a27388fe84a2585e809927bd470ba1b0dc749ae6e2dfa100617a5a7db 11486
 272     1cf1f5bd0770d949ee36df858e5842805d121722de30d2ef6bc2b82d021fc14b;
 273   e1d05a072d1ab70d895969271f44b7c9d1654171836cf234724d2f90434c04e6 8057
 274     e32b3c792cd3b6a770eaa2627ff8de8895873d73d734b961646fbce0643a443d;
 275   d8564ee3ff02c80f0bf3e9cdfce42cd8ac1012ad8ea74f8c0f5754b5775a8de5 -304373
 276     884266ea43a6a9b72d113b437dae63c664ef53884c893212fd864412f4e5e457;
 277   bf66769ee0cf873764524e760ee654e8d5090aa774f2e96144d945f8da37af19 -159091
 278     d7438999b3bdb99a46e2f3dc8492cbaf52b0a19c651cc382c384940861bccb6b;
 279   72b7d02b1fe23adea87696864c0a9f0466db85e39db397f0eb428a50e277aa2a -521654
 280     a611bd153336e178a7f3d912adc2fb39b342132458faeedbdb0a35973efae23e;
 281   ff5c39d4b7fff86810a7a3b14a58bc01e6ecf062116adaa78dac0d1bd3f6039b -140759
 282     eb9e32bf7d027cda198048da50aa79a11bc99f3b37a219a2104c78f4affb584f;
 283   a6f1f7f30e3f9e5467f180f92d2c94165fd9427d0c7d383b9077ca9a7e50dac5 -317637
 284     56a32847c50bc9609db9796e1650fbe97524aacea746d3cf285f0f2fced01a49;
 285 }
 286
 287 mul {
 288   ## Easy multiplication.
 289   0500000c00003800006000004000000009000006000048000090000040000000
 290     070000180000200000e00000800200000400000c000030000090000080020000
 291     de200094610090df0020fe0180270700650d00dc2a00f84100e0340040570000;
 292
 293   ## Random tests.
 294   adcc6f10734dae2273304a6aa493ee8f96e05f2402341c0d997dce58ea57ff6f
 295     df3c8d5bb6380fa278d4ff2994c7865bcc146596d3c3126242f0dc3509b57449
 296     5ee2615b75a40367ced4ed4bf1578d13e7afa4d415f38f802b7e7b374365b627;
 297   054bc4d5e9b78b068fd20645eeb1f03aef2e89a1f56cb50e5f1170a86529526a
 298     f976ffa1d1b4a33d0fd866528897cea3eaffdc75e31aa65450a62ff765fe7985
 299     0210280745f6c29a04433f07f880bfd2eddd758d82996e79c65de817c30e7309;
 300   e361c6fedbbe081b7cd683d23a2bf0ac889806be7230b56d9398959713a300ec
 301     c8121e53d78c2e9ba2ba7f51b7cb15cec970a63b4a642ac470aa1f2145f07bd0
 302     b48bb1c7ddd26cd9e5a2cb73bb3885dbe4a47e03886d4dfd59e5729d544d566a;
 303   463158a2077f931567d45e19deb4454a2ae77045db70a2c078e160ebdb74fd94
 304     3f311e3f8d225016448fbce3fbfbe84002736e3b0d5a90f57d705ede8706008f
 305     44cd97e25c20ae2fe2ef4f2630981a1fe54c79ebd904bc40e39d9fa615ffa76c;
 306   1c73fca52556e01204d4b957a01d1049f2247c8666d90c1d3703cff16a38c8bf
 307     e9afa0cc85577ec7eb1ac66d87260d5f3659936ff88cde8bd1c3fa1d499e8bcb
 308     0979a8baf734c86a4f57ae400b7790c4985fba3088cb1b265dfc7a66c794121b;
 309   6e2bab74e427b1a44f0cb181f9dedd6fed43cfd395d3708c4ae8fd2137215eb6
 310     ef400834f2dad8763a1a5a58a37d1b36a78873860e4dac808d3166f13724942c
 311     0d481adbce7bd82ebc5a3e5ed7a492e78a032ebf211a5bd2371c528c77954936;
 312   cb3575b41d9521da5c85c6438af14903a8d6d9c3857aa8e101e5295fb277de7b
 313     9f76715d2ae3c8ca182406553d3481fc36d67727ca2d51f5db37940aa3208d8d
 314     0b2fa619265bd424b9e20d38bf4552ad63de8ab552166080d099edea5fbadf7f;
 315   abd66cf3b20dc4c5a866f1a3b965f794a726f96dd00f576d16ead66eea3a1177
 316     97f70fc92e0cda0e010f2a9d7608c33db954af18bc18ad55bf66e7d91ae31abd
 317     dcbb2cf34274971ef030827865b093a00761de3da90e46f00e18d0fd934a2b7f;
 318   3b3c96ff9be8e17e0a0d3979ea5e5623fff5fa18914151abf79fe66639beef06
 319     1d29c361677805f1dd2b839e025e56208a10c0b8d9f2a8c490b0a892c0e27080
 320     0050873016bc67023d0c479fffa56a5a70512f9864d00b0a3e951f1e85c8b412;
 321   b263d4a71b6d963e0a972819e5e5805b9522f142d3c0ff2738c51cce31e9f0d5
 322     64f3fbcff2195c297292df3e1cf900aae457e09864c5a6248ea21ef8efd557d9
 323     7e6f6f511cbf2743c0fc1c6431243908606cb257d20f8a8a0885e6ecd000e811;
 324   0df0497e1e01dbcc4a48d4865127d9cc31a9a0a56e90cc31619e65c1521b2369
 325     9277f0c6a5bcd7c7ed8dcf7182795f67a12e856b126d09966689834c43aada47
 326     798d270ae34aa2452694b4ff74049a6a5169d71c85bd1a9ac59625e9298cdf1b;
 327   1dc64bef2189eb5349f5a8983c1854a40141a5390ea4bf8535a15aa71d0289b7
 328     fb59dc9b08f9163881b10020ce040da296ed8c1a9a935c27ca0047a4d7f6342b
 329     9fc23104cefd3014a469e6d3a0631338eaf91e24994ecd50bfc0b4547317317e;
 330   975b108909e87803af98af9425d2a982865b6cc9c144985b32fe5bb842702e24
 331     a69e9130dc40be50e827dc50dac05bf900946cf67ec35f1bb1705001314e4fcb
 332     12d042e50d0cff7b43a5ede61ce827a99619bf84995d488fe9eb56a8de769164;
 333   39c0db5a4b161c368b0f71c7e8ef97dddc444e4a33181e0743519f2a879ae04f
 334     d3cc45ff509ed45998bd5f218408ad51f7457b35e8ad69d5431f174047d7c6e5
 335     96b877604f52782ff2a5b1a12d7db642371ca993b648c4971cbf593213503219;
 336   f8c6715e4a327cbbdbb08d74121619abc73dc421d7267029e39b50c1510d2045
 337     63870a83cad4c1c64195ae7b92f3b19c830f35f1a3186815565d846c787c7ffc
 338     286a0b8c6681a7b79a5f85426fb60819b7bd349e93c1e11943c41c8dfd57d00f;
 339   49c9bcaf5434b8205a348df290a96da27df084f34047efbf91cf544057a50bde
 340     54269f8b23c05b94c9c1cd74eae88d9227af12a6fb337548eb93c2a88a75a8a5
 341     1e3dcab5d7361f00e70198b52e8fb6d1fba74abd79d99480527f6711b21b833b;
 342   c7212b43ff0d10fc52d3a2a7e15bb9cf53856f7ce33b79df89e1d13f95a94511
 343     5213ec20bd054491a5485f665075835da609ad4f3dc005744f061480862ee602
 344     e136339fa01067c6c0823a7ebe2f84d917600e244a9883191900bb95a3b59764;
 345   a15d62c6308448f1f70602f43be1825696d228eb170bed55322a21d2b1afa915
 346     58afe65bc8adbe22807026aa1b0d68af330bca268fdc054406aa41c820960e71
 347     996c597e0a024c2ff0ffe289d8c7270e4ea1d38e294d7210eddeb2c0725a1305;
 348   ea233ae033ca93034bc8fd8ea3c0625bbb15b00265264fdd61f62cc808b505fe
 349     09e12ef9b3426991f7119c2e8349278342ed0072317c4ec7ab24561b61396b39
 350     1fd72191fe9f00b0cca6a635d14904bd0c1e0ccd1275e84ad0b7bde134866e2a;
 351   fe1fd3da05524af4ccd538f1d2ede09582101fc2a47c2e63758a546bed6cc5ec
 352     523346406ef3df6ac9a455d0d2e7f732ad01c88245b07a888cc21c40fce11a76
 353     de6cac8fdc878d9c4eda6b78f8b629ecf776980e49fed56bab936fc03924f44e;
 354 }
 355
 356 sqr {
 357   4dc87ad85abe8938634492ce2ea10bf48dc4aa2fa37a6a0fde3e5a01e90dde2b
 358     346297c756d77b8ea312ddc455223f4577aea2a2e8d944cb24adb487de143b46;
 359   a33aed91165d7fd13a543760d3915c1b5d411a21895cde81b2f3640b87550cc9
 360     f923e49da9d5f45e23a782f911fac1a6c2e67cbbc7b03ee4675a0c5fbec03641;
 361   a1406e453db6c92ef808295d1919c5bb2491c0ce6d5326d276c57e57943e0acc
 362     18425bbd92149991c4545e65495af0e6372289e9a32649c127122243204bdd73;
 363   70a56b8484234ed002a68c8d535a4e527a61c360f7d4ee5b4970c8ace1e12de0
 364     bed1c435139f151d0650577e03c32428f63cdb7bc1920110b5fdbb27f08cb200;
 365   86c3236a6194f1585b4dbeb09d0247fb7d3ae08063ccf9fc4fde70fc23735710
 366     9b6509acadd5d31c4c843e91cec78be00aec4fdf7d86132965bd6f62f078f711;
 367   0e5e83c51a8c091673425c38785e0aa1d74c7261a035a891bf734cca8c8a3db3
 368     4efe5029e99438835a8a45d0180b8de357eac82ba9dd8e127baac0d758dfca1d;
 369   31c39a5afc33f8a8d3c570b9dc5389bea6fdaaeeb44cd7524f6c445b9583a34c
 370     359b7c8791cc87aa8b3c799c9d4d7e1f4062a4f64436d8c01071597e8c262127;
 371   5a06203c15d6c1db6ea0fcf468a1e3f09d68c4a0f64c3d7e30e70290545e708e
 372     07f8b435ea322bedf613458b1eb420f1d6bc96741d69695899bd40f7eca6f72a;
 373   b1973433646474167b791b326827641260fb33d6a2c96d4e963a6b091f824505
 374     52a62396dbbceead62912f8adfed2707fc25edb51aac19b2a274c246f1209f26;
 375   96b157d71e107168fac206dd63007f10f4ae1225b0761c470ee18ecdb4fff20b
 376     84ba2a84b156437cdcc39ecc8b1ad01bba934d8dfb7d504b9f2442db0ad01167;
 377   6167d77675e19785960c28df551b458e41dfd0dfe5e56e785b7367997d5eb0a6
 378     79a558436af4310d3eaee93f9a7cab72bd817fdf59d267e2c530ba8d667a005c;
 379   fb4b2ab08db932ce10dd62639aabbb266f9ce775fb5a5e0875864f18a3ee506c
 380     a6013661f2f0ab875739836039bff6bff4c993aefdda43dccecf4c404b9a612a;
 381   ea26bcf0bfc3e15d4df7ddbcac8b5b9e9a7215d74196d77c9e0524e861c6aeb4
 382     113e06861e3d338618695f4713464cea536c8019da77ff0dd9946f3b860df062;
 383   b67b1ffffec757ef147e86cf60898c5dac515f080f43f4e120017caab4eee5ee
 384     7d9748a1ff6ca9cdebeb3dd6668522767afb9ebf1c680fe7fb3f5848f7222036;
 385   c122016f17f12e53f9ac031719fe428c826217b2b757ae44f2f33d1b8b1bb553
 386     dc068d032b97c98eea6dd6c8bc42e9a0a6250c81a36a8f64615489e191287c72;
 387   1266ff0654c08e6183cd6c3cc760cc5c88d1f49b918f2f8f587b3edd4adea513
 388     f07f17fadb2e2dbd282d296fe5a15cc5c2baf6b45f5fd5dc4692f252039bc862;
 389   4c4dd9c6e46fb2c096388583f2a0c969245452b23f16ea43e15064c45357ccef
 390     5127fd4415a84115997b8b3ebe88a590efde9f8b53a43e86b1a4d60782c91025;
 391   095d149c2616212e5f770f133e719d285a8bc888414271296684e732feb5473f
 392     d8038bee551cac14d1c610bbc0960d943b01526072c589bc913ab51fd47bc848;
 393   ad55f9f916d62bb13ceb1461b99e82d76b860c084ca408dd4a18f154b907754a
 394     e5c86ee6350c9ab736229f3f53e2ab852641bb8a62fdda609444df377e9ca04a;
 395   2e4976f45acc671e38add93aa6a89669cdc9874975879b3134dd37c633c9eb14
 396     c6513f1a11346d33b05ad65eca13f11125cf70bdcdd6e666a8a7b9c5b6098429;
 397 }
 398
 399 inv {
 400   344ff33a2bc801f861bd13575797da35352c8164808d27f51ea7ca46931b2b1f
 401     07f678dfeef071b038d692bf825cb4e75bc1934bd3a6e3dfea99e78bdaeecf3a;
 402   670097e2fbbecf6516e949d98f6d722d3f732c33bfb4e62512f9d28d94546b64
 403     b2f5cbcd7d8c996ed33a813b1aa39c36f5826b436867bd89b4ce43a156c1e96b;
 404   234f3bd8760cdc8ae7fac9457da418cd082e42906ffe59a13e52185a7845e61c
 405     7488ff9231e4819684148e16ebc25440732ffe7d211eb3d3263db1af9f1d0513;
 406   22a39a35b1cabc6dfecd1b898593070f0c81bbd04b4b20f43a9c7c14b5dfe967
 407     892024fdbc8937b9b3aef794f57b8ed8517510b6de3f6088987b1310c1dc7932;
 408   d850c118c69198268826d05650958c6bed55b181090cf1c96493ecc4635a913f
 409     7aeae1b0dc5211f374872e78da8f225325f3f33f9c42bfdeff25d425dff7710f;
 410   33ccdc0e39f7cd0a61782c87ac089eb7bbcabce4dd222f05088d3d6332efe959
 411     668f87e23239e965c80740d4daa9c913609388f291c11f950684f45e689a061d;
 412   7c06f93b2f66001c74073b8ba7536049738e89b0a0d859a8a73710de3fadcf79
 413     52df0aa24bb4a7474e6ed9852ba542c1f4c5219372a7b5d60988890e2955491e;
 414   9a0ce9ff4026bd58abcf8a128dbc55a19c446005834a143634452821d5f9f0ee
 415     79eaa93b6287705c0ba564c31bab1854c7f4354845be065c4bf94d38a7a8b421;
 416   a13a127490bd3443fdba99baf61d113f3aadd6966c9732cd16348f9fbed32e0e
 417     67290b25e6bd7328dd804309a6203c02a75657f593c7e66e48c9192524e5b87b;
 418   35f7ac3eaa36c4ed338388fe7eda61cf237eff6ddc0847cb0c95255bbaef8ddc
 419     4950601d2cfe75eb9c4524e2f40f404fe82d0014c916dc43d9416cd2e274992d;
 420   8a058593035986da3a19e63dacaf40fb3db4cf382205fc4e4802e0ff0c61c8d6
 421     6a23b743dc2fa4a4132780cf6edfed4c219760f3b31343b08710ea18d2c0fc43;
 422   a10d03234e700ec92270b6105fdb787d8edd3f960fdd78ea2e169f49dc708d45
 423     101dad1720604d0b093831baaa97fd0701ce773b9c1be1db0403533ad4376c0a;
 424   52d3b9e030a5ed574f7f9489c47e73f78ef88a39b570045f9ef73c9a3e65f425
 425     83da3e088dbc9a3cbe06496c5a52edc8d7abcbb8a0f839361762137b119d961a;
 426   9928b5f14ec80a036479d7b08c128e601db880daebef36adde6fbd1f50f82629
 427     8dcaa9a2439b77cbe44928ac2877e09755c505f58df4d0ffb9b23fc256b12779;
 428   5a956523956f8ace6166ea6cb3c7421f8d1142d26084a81d615f00d578e03448
 429     658a3ee24ec5b5f1d2d12614e535247c9f2f259131b00f654e09b4517c63ea09;
 430   157492cd38a07802351ca0d1a5615d5c5f254692acce930fb6be351e9a52f088
 431     32fec1eab85ddf8d27a437876e7f5a07f012b02e7971869811c3c31230204164;
 432   2d07c109c332847567621ef4338e149b99c5bc3bf6e50943695da7fed5d8141e
 433     a81472d28a8235bff43ad5cc012d52e95ece3dbc5ba2962dc54cf9e7f81bee04;
 434   7e172f6c03415e83d4671e0191151d49e5257651ba73848254e68fad0a095c50
 435     1a8efdc57ae9d39ffa64afbc5d2dc1f25a29d365ac3dee0d8529977c14aa4415;
 436   1934546e37b0bac80319fa7f2f86c18e83de8da830b9d0b5019c26768974eda4
 437     ffe55479771f20518d8fc6491055368b5dcce9b4e193d19897f1e116b9cdf946;
 438   90324ccfe0e34e9b08db1862be3bc17798a8581ee097be76545e3bf9d586a2e6
 439     0f5ccf4920d617c9b4f7fe6e2c9e95e89b5516555d5e3f5f9900485451d7425f;
 440 }
 441
 442 sub-mulc-add-sub-mul {
 443   ## A very basic smoke-test.
 444   03 01 5 01 07 02 37;
 445
 446   ## Stress the bounds.
 447   000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 00
 448     0xfffff
 449     000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040
 450     000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 00
 451     00000cf2ffdf4400a09a000079fdffea040098edffa73b024072ffbfe0feff65;
 452
 453   ## Random tests.
 454   6f0dc2547ad77f7b3da324876e63c724c1f69cb2bc70ff960f1594f90202e17f
 455     23a2d45c26880166516e6831ab5070dd2247992418ad7cc41155a9362744f763
 456     4783
 457     e145b5f91b683918d1efe6193de27909bf9051b0157acfa458bc3f63e5272de5
 458     e694fc475a442bd72cbbf11206474e3169fa74ad453aec3034c1dcc1f1dfbce0
 459     f9b4f1ac9369241a302f874305cd2d2fba362b5735d36d3e072c7198d7dd4005
 460     08518c9f52236272202869bf7cb549c667f6a27d1c4f18ab58605d63821a6c61;
 461   f1b3d663fb9458ba8e4521e8e2c976fafc8936433b62e316c6dcff794b1ac8d0
 462     2185dd6948ef2339c9a43518dd02eac6518852d1c35858dbdf5c1acf1d995884
 463     -128133
 464     d7a628aa59d409b755a1ff0d76f37ae8e4a73d47375940c61351074f3c42ad2a
 465     4a353e9e7e9a0700ab2c043cc05f9795cc267e001b64799ca1849f024a42dfd7
 466     dbef6513fba5ca19c545b162718eeba960b0930b8ce99c3edac5facf5fddf4f2
 467     9dbfe69897a273171ab4a697f88a0d4b420a3ada7a7f9e67d0ba871e2097026d;
 468   e8624dbe04a1b19102019d7fd9e06fe502764afb92330d03693279e872e84f81
 469     8da8b04024ff708a8b5fa31a6a654fc31d3748f74a897898aa42c2bb65494586
 470     -118148
 471     83f63df59ce4b3161427b932ecbd7796bd162b553b70bbfef8a990ba6f20c23e
 472     9d896d69ec478456fb6cad67774c6e3e0e313aadc0564d759380981fb12dc3b8
 473     0e8799aa8de1b1ac4aeae4d1e8cd5936c66b8a0a60c8d17ec23bc9c9f94421ea
 474     2221a87687c127b352e077bf7e975c83c667c8ce603e9d9fa5e02b195c7ad873;
 475   2527a8ab98898038e9e132a1bc8349a33e2c2f6ec8b6c15b06410177297d30fb
 476     71cdbe058a0357295dd5134fb95a630055f39d9bd8fa0c759b1b70fbef6147d0
 477     -14780
 478     0fe111e19ddf5d11d40b584a31888aea4a388540b86d14b962a1a7135114d5b3
 479     a6386eeff2764007a570ba7e82a214667c2949a793fa0a52b7665c09285c6661
 480     a7557aaa000c8840e08163b7eec08bf24ba275a35d85bfd7813aaafcc22715c8
 481     867491333fc048b229ddb4740b1fe6dca1feebf1d40660814feeb1fce97fca12;
 482   fe07ffcd6b14f75efd74ff983e8e5c20f379b0c78907f0e453753b457fb53159
 483     617f2f7c1153eaea3ccae7dfb07fbe804b2cb5c8205d657c3106b5a60100cafc
 484     -128312
 485     a0af624a3f54278e2f7cc77f5d0f10750179bb18e07da059feb0bc98fb1d688f
 486     ce432859e6d7e691ba9b44d467e8a5f1a97979facd2d3c7deec46e121193133b
 487     d60050fad0f5c4b2e042141e4f7a418d3e8a8a308acc96651728f363ee793628
 488     b9e4e8873e006d41104b1cd6a32282fa2b94ade000dd57dee6dd506cceb34c34;
 489   b46e84be433f9e4f43ffa2f1f5200013953d820d292e3af978c54401a252111c
 490     cb7cec0c48efa4e0e54f05ac18574d5f67bf1a1193d6d58f42183abc9f5bdd49
 491     -3288
 492     18603c0562c4d893a699fa6258e2de57e1cafd3e8ad756806d09db0c1ac9f86c
 493     0854368c6b459ba6fcaa95db92605c9d791bf4dcc57bfda2ef318b48f7521d73
 494     0c83d0b2d331ccc62bbcd2d2771b18bc0b909a3bbebcdcb99020952672f050d4
 495     d54073b190601f1cc36c25109a5b44f04b6c2240c268bc71cb983d3dfb25cd64;
 496   1f490365c3b82416fd3866a42a03f3bd643844e0d0cbebb66af54aa35de3efa4
 497     dc805758c7e714a2acbc1e467520ecc3b9d23ce5133fe79e377e6d4520cd5196
 498     -129141
 499     1a53a3728ef3587085d0b530be8ae95e367927f9ac3b7126445d32b46f3abfad
 500     0af6ce5107ca06fdfe732d11161b197830a963ec667065c5293bbdf843e23672
 501     5bbfb655a175dcf7a4f4fc886a03e3d99cddbd34524c3cd2fb13b793bb2132be
 502     7e5576020e7bac35c7f5b3dc6b60b2c1cca55f6c98141682efb4737963d0307e;
 503   09e03f5d67a92cf076740e4261833f244b60da6d02cb42278e2ed9183b6eba3a
 504     5a8b665434e91158559cfecf1d43d562c307518a3ce889165b406b1aae38a674
 505     -13299
 506     16e0d405bc40f2075f5dd901769def19f15759faef9a5fb6356b94c5c48be3e0
 507     101da726c0dfd102c8eb2178640054248225a6fcfac1bab28a09b59cf38703d6
 508     f268d102402d31a33e52a941a06c64a30a721ed55184edfcfcd85db6fe3db676
 509     24fc9112ce6d3d70e8c245f9e2c883290384462065a5a1ab5821b9cf9d61953b;
 510   f86ba345a367c676d99450d4893ef4033201c8ddbb631c4658e4ed24ece98749
 511     a3c51a17107327742f44cc2e265482522cf39b6bcbff919bcf99fc033d76348f
 512     -88039
 513     5dcbe0be5f9f80b46d2e651504b10a3e481257a4bfacf40d8ccacea9d73dc2ea
 514     2ac88350fbffcbc743d36fe45c80a70a8cbe88be36759943c8e124163e432dec
 515     f54685e704df0e499e495b3b77e64aa0ec0c9fc0bb18ed456a412ac6079fe9d2
 516     3e7c00ea9ee49825f5fbb9b704dc720b062d8e08ee8dd410f3d34d255602b56b;
 517   1cd810875f48ef4c71ecb0997acfa31249ebcc9280e7c2f741038a0529f653d3
 518     ba2e564cae8cdc2bea40d64b5598493ac2b11902d91b5aec7a0e4a8649aa7ab2
 519     -77488
 520     ca4929fb0fed99fd9dca7a21275dbd97185900d4eb362eb09bcb5ce7098aaaa2
 521     89b395b440fab27d3b32e0740caac3ce38affbd80b2f8f7b6709294d6770873e
 522     d2cd5ac1ea7b0e1f45bd3cc64b651518dcdf9f25078de7cc4970bf54976a0c8d
 523     06ea5e15853bb29db5cfccd62db2e64067c90a97eab43039cacf4ee639ffe979;
 524   9960c3131e513fba3241b1f9bdf44fdbe06c43d9cda9e05fdb451eda3e8df394
 525     4c5f72392dddd1b8e84db5bfc2db04985fe3d1226a470c851a489f98d954e6ec
 526     -33449
 527     04eacb794c87c19087b793a0e2d187cc7e0b07d265fd6cc46946780d2ab83810
 528     414db559bd22f12717b431310c1063534de5e627e983f4967b2fb38f2c5f87b0
 529     599bee129778596ba77c27a896020fa55123b8635ff3d9efd56fe406de878146
 530     26c7d591e0028dd611d6e84969da716eb740207e49f5ea02f17a3224612def12;
 531   2cfc4c9cb8ca259bd4ffcbbd498510f8a65cca584303a28ed475584bd1eed111
 532     3223cab1344be86c0af9995a769276cddbf70eaf55caee24dd4ec0d06c2f4309
 533     -53728
 534     3a48f8bd8a229fa9f5b9d7c4135ef6c3a251b0ce451f482471f017e963839405
 535     bec0e71a657e85e024d91c41b3a2f75f478528d8ae1afb70bdc5da255d20de06
 536     53dc48614937bd5ea1bce51b166bc9947e248a98cd0fac55f632cded216e9cfd
 537     2999f607e716f0c769e9fdeff636568674f3601166d6b7f566a369b5d4e2797a;
 538   c37946f39bde051e4a6f91a18fda21ec2bfcc375b703bbb81fdcc7ff15cfedf4
 539     f37e2f1bb6b71763263e742cfd1ce8a9e004a5e06faf0afc52cf49ea89ad9244
 540     -69223
 541     0592777a8c77c1713a72b2ce18fa318fa93e9c6e6b870e54723a43408b502b74
 542     cf575224b26f636b4b4f28c90995b87d900f6ca5ec9de6c24e65b747d303d221
 543     8ab7d691dd76d7cd63d3456c677987a9e53904a4895f053e3de08786d564c837
 544     1d667ed7c9b93f2972de23f4d633bcb5f2e56e446cba103c3cf2cf0931687b13;
 545   2afb15ae6438b8eef9d07f2491e43e32a2b9287381c7bf036dce2a1b0a3542e5
 546     18c9bb7c91d5e5ed96e6effc6609fe40e72c5634cac2cf6fb55b083c3339f40a
 547     -33255
 548     c0c870e0ee2116aa1182b2b4ee4bfde446f721fa6f1bba3a2ed4fb703855c673
 549     91fd148ae6d53a419983999020d845503cc923e012e6869201615fbb8e460360
 550     5d02294b16e04ca4a7fa4fa5dc9f12c7156e2a68c02495ea171a8cf13d35af99
 551     f1f90c61c85c137e2e9d5ca7a6b388afd954f6c93548e5fc3b82e02fe875923e;
 552   a7a7193315006fd85c97226f44708d61ecddad2e184d69b0db62f9fb2bc678bb
 553     87a64ef3c67f464441927c08fd1b57d17bd644a422b96f151aa2d7920989e4ac
 554     67151
 555     6b31a270025004a878f214f100a764165033e170ea5e4c52832673cf88f9f0b3
 556     0c0af67c56e0b2336ba06f447ea4f9cbf052147e35f16216b306ef1211ce4142
 557     54fec5270095dfc21f44805ba17565386bc50d45bd1f797ebfa04da5040ad08c
 558     92fdbcabd91ab43baa827594672dede4f0c71d8302b4cc8cd79270aa0c96d915;
 559   5d72825031c526d9e1efe34fcbbbd81b91460112f9f950e78e12c777a2994a59
 560     4334ab5246765e241435c6faac0a00add3a5adcdafe017121d03b9561d0d3516
 561     -66199
 562     ef3211bb4e1bac43430e48594577d1d271f76b46ea7e44542c23524b3d6236bc
 563     1bfb4fb8d8429f0dd7a6cbc23dc2357ce9c1c72be3acf0a49abc331ac751e68a
 564     7cf2ea00463d76152e230cb5465ab55d30f09afbd007d2b55393cfe8e348cf9a
 565     c0a66f24e5800bec2b9ff65207afd4b29326525b910381d233bd91d51530d046;
 566   01a66900161a4ad98f028a8da8f10142b4855712a7eb8ffbd699b13b7cc1a471
 567     c6f8a0b42c3f2a1109201c7a97e3307f6cb56a1a27f13e4567456d9eac2a2f4e
 568     -71473
 569     e2eef0e19682ebb44cfdf84c71cb556311432fd948951a661d4240e16bc68d1c
 570     f69b44aaff31db04fa4e8f14f51051d353e50110b1562b27d4493ac5e44a5b07
 571     29039f65da48a24be024cf8f1af95ea9b09a08a54eec810e97018add81eec1df
 572     a827fcc698403d01f8c2597a582ac8ddd612e5c2a520b0a2428e8dd35c58002d;
 573   bc607923665e36ea0f8206b358fb3a327ef9a70ddcadb2edc49660891e932726
 574     33e905cd1b262eba320c61428704c1d7c354361043ea7233c69f1f691f7c7175
 575     -101999
 576     e1b804b366c155d0f1a09fdbede434c669bf7f188daa96b8542dcbc9bbe66b6b
 577     413d410937fbf0575bf34c0b70ee6cd5737e17b6058e774f889104b2f6cacc7b
 578     0784aeb89be679694477cf399b605473c2c48887b687a980d7d333632e060e6c
 579     16edc745e1596492fadffd303c31ce5827c3971c591c68f9e2b4f62c967aaa6f;
 580   904e1b99ee3f860409a2db3aa4e539b2b50cebc57359f23fca21b5bb1306dc50
 581     133d76a1f768d77a6801d73a570b35f6dbbd98aabfa4258445684143cd30a39f
 582     -50858
 583     547270fdf41f753a4189d2a9630ab17b4c6034829770a40fd8346e75e92610cf
 584     076c4e34375857b9e6289287e03c744fd60d76c377a772f6edef3ad30e4afafb
 585     f2e8a830fe203901f5f34ae6e606aa8f6cffb504b166cba4cdd84d011b783b90
 586     659233daf8ebd47c77b9d46ac65237e1bfdeebbcc552c7db5cf8dd2d4bd1aa2d;
 587   a6f4bce9adbe5a68585c205d20b05c6662748f5f1dd2458defbc126792837a63
 588     8f1110929626587241fd403c8332b2ebbc398d4dd7042b993fc24a18b53e3847
 589     81985
 590     012aaf1e00a521e8e0639ed116e15476f0f8f1c6dff47d860ed60e0bb7c156f7
 591     13aaf4f9f20d64110beef21bde5c7262c4bff80a85a08db1e098d45ec3d69457
 592     eb3230fdacce04518359bfa7cff0c9d6d015966545e40e1c1da18b760031b2aa
 593     607f7b77fc8d3ca15cdf6e2abba71853fa74739f83589a4458854ae2db0a4727;
 594 }