More test vectors from new generator.
authormdw <mdw>
Sun, 14 Nov 1999 13:53:12 +0000 (13:53 +0000)
committermdw <mdw>
Sun, 14 Nov 1999 13:53:12 +0000 (13:53 +0000)
tests/mpx

index 0c6cad0..45f7705 100644 (file)
--- a/tests/mpx
+++ b/tests/mpx
@@ -1,6 +1,6 @@
 # Test vectors for low-level MP functions
 #
-# $Id: mpx,v 1.1 1999/11/13 01:52:59 mdw Exp $
+# $Id: mpx,v 1.2 1999/11/14 13:53:12 mdw Exp $
 
 # --- Load-store tests ---
 #
@@ -46,65 +46,65 @@ lsl {
 
   # --- Random tests ---
 
-  bcc239a4d4abb0e831dd8a0ea6115a04 72
-  bcc239a4d4abb0e831dd8a0ea6115a04000000000000000000;
+  13bbec3a734e0b8b5155600b0826b913 90
+  4eefb0e9cd382e2d4555802c209ae44c0000000000000000000000;
 
-  2b355f77dd25d38d36f4491e99953632 16
-  2b355f77dd25d38d36f4491e999536320000;
-  
-  ee07dc8438368ea7ec21bf193be9aa61 5
-  1dc0fb908706d1d4fd8437e3277d354c20;
-  
-  509780c8ff8277649e8f2a62b11972f7 72
-  509780c8ff8277649e8f2a62b11972f7000000000000000000;
-  
-  0afa722d181a44a2472ec3a8831d9232 64
-  0afa722d181a44a2472ec3a8831d92320000000000000000;
-  
-  ddaddd8f1f959603695c0afb1a438182 25
-  01bb5bbb1e3f2b2c06d2b815f634870304000000;
+  d6ca6a99fe49b256f80e9643e2bd4f3e 80
+  d6ca6a99fe49b256f80e9643e2bd4f3e00000000000000000000;
+
+  c94784b40d54de614084915915531ddc 59
+  064a3c25a06aa6f30a04248ac8aa98eee000000000000000;
+
+  a63c314a39cc37f950b3d530c95ead00 84
+  0a63c314a39cc37f950b3d530c95ead00000000000000000000000;
 
-  cec1f22febfb47811a321daac9446798 63
-  6760f917f5fda3c08d190ed564a233cc0000000000000000;
+  842d03a339f5004cfd311e2bb23216ac 62
+  210b40e8ce7d40133f4c478aec8c85ab0000000000000000;
 
-  797589c9cf931930f6005eb774e7023d 29
-  0f2eb13939f263261ec00bd6ee9ce047a0000000;
+  9a8e659739bf9ee7aa908b7c058c5e7e 123
+  04d4732cb9cdfcf73d54845be02c62f3f0000000000000000000000000000000;
 
-  9aa77a79a9f189b96b2dd657efe3b64f 24
-  9aa77a79a9f189b96b2dd657efe3b64f000000;
+  287f5774f212db87bcd83a1bbb7b1ad5 6
+  0a1fd5dd3c84b6e1ef360e86eedec6b540;
 
-  b6c14bf06adf6c54ae0cd644b7cd5665 67
-  05b60a5f8356fb62a57066b225be6ab3280000000000000000;
+  ec1739174d9d4438d3093cf378605a5c 63
+  760b9c8ba6cea21c69849e79bc302d2e0000000000000000;
 
-  f08c1a2da72f8d1cd459a95d1abb37c1 99
-  078460d16d397c68e6a2cd4ae8d5d9be08000000000000000000000000;
+  3dfa8ad6a60a783639d05aa5fbfd993d 46
+  0f7ea2b5a9829e0d8e7416a97eff664f400000000000;
 
-  62eb1217d11d32e36388c2a0a793396a 78
-  18bac485f4474cb8d8e230a829e4ce5a80000000000000000000;
+  e4e93a80b6d25b34c23aca3a0d06d76c 63
+  72749d405b692d9a611d651d06836bb60000000000000000;
 
-  c6f42d4e8961489e9f7da8c23322be61 101
-  18de85a9d12c2913d3efb518466457cc20000000000000000000000000;
+  5a4cf5becb4b64a1a31637c91b6415fd 102
+  16933d6fb2d2d92868c58df246d9057f40000000000000000000000000;
 
-  21e4331e965b142bda426a86267c8b33 31
-  10f2198f4b2d8a15ed213543133e459980000000;
+  d92f60928b67416c1e20bd9e09026115 69
+  1b25ec12516ce82d83c417b3c1204c22a00000000000000000;
 
-  0b0a787510b01537010ef5f9d23fe3c2 54
-  02c29e1d442c054dc043bd7e748ff8f080000000000000;
+  eae78f56200d7734f7eb68479fe09d51 18
+  03ab9e3d588035dcd3dfada11e7f8275440000;
 
-  4e78f26838f7173f8f56f688cc45eb22 90
-  0139e3c9a0e3dc5cfe3d5bda233117ac880000000000000000000000;
+  4c9c215ead951513d969d66614016f6e 28
+  04c9c215ead951513d969d66614016f6e0000000;
 
-  0788ff83ce364e53c95203b68898563c 82
-  1e23fe0f38d9394f25480eda226158f000000000000000000000;
+  5cb1e4d625eac0393644fe6a7e3ff788 33
+  b963c9ac4bd580726c89fcd4fc7fef1000000000;
 
-  5824b46fef8fa064f9b0c4a54ca76314 68
-  05824b46fef8fa064f9b0c4a54ca7631400000000000000000;
+  68b23795968766c77b1897c88a5d6ba8 78
+  1a2c8de565a1d9b1dec625f222975aea00000000000000000000;
 
-  d00663fdb9fb48f0d5a828c590a5e545 115
-  0680331fedcfda4786ad41462c852f2a280000000000000000000000000000;
+  3d96cd168c74f9015afb691d629f3f6d 72
+  3d96cd168c74f9015afb691d629f3f6d000000000000000000;
 
-  5a075e7730281f73721aff78bae971e1 62
-  1681d79dcc0a07dcdc86bfde2eba5c784000000000000000;
+  38fa8f63dc426399e0f9b5c01231e02c 95
+  1c7d47b1ee2131ccf07cdae00918f016000000000000000000000000;
+
+  90176b493061899ec95677ccc58b8cdf 78
+  2405dad24c186267b2559df33162e337c0000000000000000000;
+
+  0706e95da68f32a4231ab184d16cbff7 33
+  0e0dd2bb4d1e654846356309a2d97fee00000000;
 }
 
 lsr {
@@ -131,65 +131,65 @@ lsr {
 
   # --- Random tests ---
 
-  5e16f1a9af75c78c1b59fd8fc04ddd9c 33
-  2f0b78d4d7bae3c60dacfec7;
+  eb4f57af83f78c0d67b3a6ad84e62378 120
+  eb;
 
-  a0bce1b785e7c8e67c4402bdff0ce280 61
-  0505e70dbc2f3e4733;
+  c6a207d80522139f1fe168028d6afa8c 45
+  0635103ec029109cf8ff0b;
 
-  a5973431b4be31362e95ab483ed9b3ba 21
-  052cb9a18da5f189b174ad5a41f6;
+  6027a129cf726a80445bf42a310ecd30 51
+  0c04f42539ee4d50088b;
 
-  823ab9448d831601c35e46eac564b0bf 86
-  0208eae51236;
+  fb0cc20512774733c783bfea0ea3b503 36
+  0fb0cc20512774733c783bfe;
 
-  da5f73cfba0031e51fb4b379af1cf245 89
-  6d2fb9e7dd;
+  4f9884d0ec9fc9e3be6ac15382803eaa 107
+  09f310;
 
-  17e0aec0bad38775e81fce8ae128b17b 48
-  17e0aec0bad38775e81f;
+  e47895de118466ac7b16188284b35fb9 55
+  01c8f12bbc2308cd58f6;
 
-  39b8f703b08c453f726b41119198d44f 110
-  e6e3;
+  22dfd1386bd2a5c4b6da0d619485e735 10
+  08b7f44e1af4a9712db68358652179;
 
-  e3f998f9fc256ffaac02e56d7b8ea93c 78
-  038fe663e7f095;
+  489fab826eb8ce9f41084c2b4ea3bb25 117
+  0244;
 
-  617cb59206909241eaccca7c94740412 89
-  30be5ac903;
+  f6f7735e7d89edfa05482a6b19b1d7b6 53
+  07b7bb9af3ec4f6fd02a;
 
-  76ecfa69b18b41373011f2ef45dc3466 31
-  edd9f4d36316826e6023e5de;
+  bd4eda78b316190a28840f382a90bc63 80
+  bd4eda78b316;
 
-  7ccb864e1f0f8ed89718664670f40275 44
-  07ccb864e1f0f8ed897186;
+  af9f01ddcecf1d21b0af4c318df98e4f 39
+  015f3e03bb9d9e3a43615e98;
 
-  50f626568657734cdf0f967dcf49fbe4 55
-  a1ec4cad0caee699be;
+  64d53464e8524ef2529389b14f2b9940 19
+  0c9aa68c9d0a49de4a52713629e5;
 
-  688c4006c4e3de849b39f507668e1972 35
-  0d118800d89c7bd093673ea0;
+  ce49d3be79896131d044f41274ff13ee 99
+  19c93a77;
 
-  634b9be8fe592427f0908d876276ad9e 36
-  0634b9be8fe592427f0908d8;
+  25a05fcae2ed3d9e2486cd633bd51070 18
+  096817f2b8bb4f678921b358cef5;
 
-  e8a61ffa8f3a38f58e456ba733d9c04c 71
-  01d14c3ff51e7471;
+  8a29be64acc97626d097231c4f3df4aa 82
+  228a6f992b32;
 
-  ec193ba3b8f943b51a0d9c07cbbc8ef5 74
-  3b064ee8ee3e50;
+  ac27fc4590675fb16ecfbf774dc8e591 14
+  02b09ff116419d7ec5bb3efddd3723;
 
-  9bcddc16266b3eddd8cdc6d6308782a3 23
-  01379bb82c4cd67dbbb19b8dac61;
+  b72f02eb26b965133db98adcedfe1e37 44
+  0b72f02eb26b965133db98;
 
-  a2a882380b875b1d7f5be67277ed9f89 61
-  05154411c05c3ad8eb;
+  afc634103a039f37b8f9f98b1d94ac85 52
+  0afc634103a039f37b8f;
 
-  e47aad1d2f5562c9c24c665f12284b0f 38
-  0391eab474bd558b27093199;
+  f670a78a3801b81e0a00e5b5deb81a47 57
+  7b3853c51c00dc0f05;
 
-  a7783518dd7185c0462bb185e4094644 58
-  29de0d46375c617011;
+  3a1d23d0d00fa4e165ba2b54eccd8f8d 92
+  03a1d23d0d;
 }
 
 # --- Arithmetic tests ---
@@ -223,65 +223,85 @@ uadd {
 
   # --- Random data tests ---
 
-    44cd8885b07bd0da90c0936c150b12120f63cfa1cb4aadc38a272acd37213d7b
-    efc5009f41d17ad2920d3fa71852b928b589c980d377445e9f6e2cd69069527f
-  0134928924f24d4bad22cdd3132d5dcb3ac4ed99229ec1f222299557a3c78a8ffa;
+  272724be3cc4179a4b387bcd1acf24e1107be9bbb4dbd68408303df3537c83e0
+  c80ff7173b00d75c83bb38948118fecd9c16ec3bc2d5d051057a1ad8dbfa3349
+  ef371bd577c4eef6cef3b4619be823aeac92d5f777b1a6d50daa58cc2f76b729;
+
+  257099bff6868847d89969cfc691e1f5e0af7516360493a8dae919704eea7385
+  b4408b380c648d50175dfa8b9c1d8aa68f71f67b540045ed3f92f2aa19145cb2
+  d9b124f802eb1597eff7645b62af6c9c70216b918a04d9961a7c0c1a67fed037;
+
+  11978446632ed887ce26aeabf9997a9ae9600da7cb6d431e6ab5dc932b427eec
+  652931ca2eb81d3113453615d16e60de08b3777a6060d7f1775c916253b1e666
+  76c0b61091e6f5b8e16be4c1cb07db78f21385222bce1b0fe2126df57ef46552;
+
+  73d3697b4f886a8b242c21cb39151055937f36a6000849d0d1e526ce666a7d52
+  209e8d770ab7352e5441f74af428a2e9b791dabb655fd78d8a722055e896d7fe
+  9471f6f25a3f9fb9786e19162d3db33f4b1111616568215e5c5747244f015550;
+
+  3e47ae33e633861903e0960b1ef8c8c8900a659cb3e03a1cf1ba04eed5e3f93d
+  b844b1b685b21fce078e0db2b960e22dd1e81aac33062b6d9ed1ab68b8cbbd67
+  f68c5fea6be5a5e70b6ea3bdd859aaf661f28048e6e6658a908bb0578eafb6a4;
 
-    c73052fa5512dfb9eb28346277591dac7c48b71259f2a7c99baebb676562572c
-    92aa26e8bc06a1a82fd50ba72e2853ab710abecafd6694981450007ab357a646
-  0159da79e3111981621afd4009a5817157ed5375dd57593c61affebbe218b9fd72;
+  23156b15f2b9a6598b6703cda3177d7432016bb388989d5e33a5cb8778aca38f
+  77197a3167c282ed511bf0eb865be89624e4b5e1e9dd4b7d44acd59d41287639
+  9a2ee5475a7c2946dc82f4b92973660a56e621957275e8db7852a124b9d519c8;
 
-  29974053a6a851f0f91c21854515fc5345f370f7dce64afc2fbce307f217181c
-  af596f5502c146fbdd6881237d7e76c272e7b94ece044afec02e05b3451ecff5
-  d8f0afa8a96998ecd684a2a8c2947315b8db2a46aaea95faefeae8bb3735e811;
+  ed61746de1ab76f33cf25878088b24a389d79ecd65df792954a5788a887982a7
+  b673af9ad91712c6d64f05cc14fbd503b04345aca5695ef26cad9ca1f1460496
+  01a3d52408bac289ba13415e441d86f9a73a1ae47a0b48d81bc153152c79bf873d;
 
-    df49df444cdb33c514f048414aa0ce79727a33ca9edfb3ec70a83c37d12db9b1
-    7798f5c37328888819d0c9647098dee31211adb1f1619d6209da99db08528d7f
-  0156e2d507c003bc4d2ec111a5bb39ad5c848be17c9041514e7a82d612d9804730;
+  46a147c2b345b5ba782b600d1811975cd6a75b9bb6fa6db6bd8c594ecead30b3
+  3dff366370a27aef1ec46b32c4946f90ef75c7263f71703be87074ba18705391
+  84a07e2623e830a996efcb3fdca606edc61d22c1f66bddf2a5fcce08e71d8444;
 
-    9f79382bec6690faf222e274b103b0c3d41c3b322f5434ecbdad4883361f0ed6
-    98470184ae917fa0b361156564c62839e2646b11b8a0fe754d47f98466085afe
-  0137c039b09af8109ba583f7da15c9d8fdb680a643e7f533620af542079c2769d4;
+  a1756514e2f8c5805538ad1b85bafebeb1d4ba9c61d19fbf2f286518eeac08fe
+  4646f60744b71c5d7e2a5f66250e0295fc6ddf5acae1f2397ad37403a6881e24
+  e7bc5b1c27afe1ddd3630c81aac90154ae4299f72cb391f8a9fbd91c95342722;
 
-  f0351c4eba4c71674ff8cf26dd0dd5ff40d26dcb03f582812f3dbd237ecaf66f
-  0012bdba5f2f22ae28f1d405ffaa043f7d710a80668d0296cabfba4989b0b889
-  f047da09197b941578eaa32cdcb7da3ebe43784b6a828517f9fd776d087baef8;
+  cf5f959a7c1d3d0027f62303d4a517bd5acadde74db6f18bee67aed2ee1bbb23
+  76e38874ce5c3b7fe616b20f2ace6cf550190d9bad4b2fd80bf6deaff8a329c5
+  0146431e0f4a7978800e0cd512ff7384b2aae3eb82fb022163fa5e8d82e6bee4e8;
 
-  06f706cef447e3fdb36f5604707b3e40db808c6641f07ac1fd539fda89e7a48f
-  dfab5dd3f241d0a5b127aa21a2e8617e69eee5aadf5f6bddb30bb73cf35bcbd2
-  e6a264a2e689b4a36497002613639fbf456f7211214fe69fb05f57177d437061;
+  1dee3d9ad0cc6212e5843a57d736fad4675c422efbbac6d625a0f45ee90b7d73
+  d6df29c49292fe633ec60e597d0c5688eb0ba6c134b7c041689fed3e72535c55
+  f4cd675f635f6076244a48b15443515d5267e8f0307287178e40e19d5b5ed9c8;
 
-  c3e6631ee694b69218154d10f19626362f71b29458b96e8a5348a35a1d981fe0
-  7e83fe6517b4f730ca4541bcdc67f30cd9a5a0315f0ebcb2565f0d73f72d5476
-  01426a6183fe49adc2e25a8ecdcdfe1943091752c5b7c82b3ca9a7b0ce14c57456;
+  3ba228e4e40cb50141845ae8b7318b43c6643765ace7ce83a069f1787ece6058
+  06b3792dbbde4db5f47be20035524962224fdaa18be7dd9eda23f1671e6ad33d
+  4255a2129feb02b736003ce8ec83d4a5e8b4120738cfac227a8de2df9d393395;
 
-  92b69d7e5cad1ff6271375b532c5c37802ef579375490104b0ac13d1af93bd41
-  4a5abfa608df9d2ff212e425d7a79dda97f56d0c3f6f10ef1b24c1cab77e0c01
-  dd115d24658cbd26192659db0a6d61529ae4c49fb4b811f3cbd0d59c6711c942;
+  e7ff758bb68a5a6106962113f72f9705dc0641ad029741f7c57a5320d030ad32
+  7fd185b393c432dba9892a0b67aa12a85be6e1643cdfe8404963fe92f4f668bb
+  0167d0fb3f4a4e8d3cb01f4b1f5ed9a9ae37ed23113f772a380ede51b3c52715ed;
 
-  caee73c8e35cf5dc4c11e0b70078e798168d9a70d0a4f18f7d511c73c99a8e93
-  89025c6d5f514aab622a6262a34afbb9d89629a93a1b39b86c562c36f0bbc97a
-  0153f0d03642ae4087ae3c4319a3c3e351ef23c41a0ac02b47e9a748aaba56580d;
+  a5bb634cb6ffda70661189874605f802cc34a8960a137130f238638d9a9e72c1
+  ddccdab554733987e04a5aa8674b5eba27f594f37cdec51b3b5745dfa159aab7
+  0183883e020b7313f8465be42fad5156bcf42a3d8986f2364c2d8fa96d3bf81d78;
 
-  89fdfe850befa6d52d66d310703853298ba0db3ed2316569d1d5784e070ca391
-  0aa2171591bdeabf23bed094f724be82c499c197ca27009cfc78ea04858d958f
-  94a0159a9dad91945125a3a5675d11ac503a9cd69c586606ce4e62528c9a3920;
+  76888f3fc82690a4681e30b5f94efd08d03b7eb1c814ed01cde866847e3c75a4
+  78d0869abb1b1fafc582ccd8bb0c27d7ba51de9832d3b0cd8ca366d27d268788
+  ef5915da8341b0542da0fd8eb45b24e08a8d5d49fae89dcf5a8bcd56fb62fd2c;
 
-  5587392e6ac948f8526165f810ece85e36de8e100c0dfbcd0aecc4ca03242958
-  ab6287162bd00f7e31757641615fa0973d2ea84a3ca4184690dc1093013aecad
-  0100e9c0449699587683d6dc39724c88f5740d365a48b214139bc8d55d045f1605;
+  24fbb9214449c926753d15573ca07552ff219c97c43824182a6dbabed6872610
+  be3795a426052f168129345d33c6dded8ae8de0e0cbdbcc7c2b3f3386031b548
+  e3334ec56a4ef83cf66649b4706753408a0a7aa5d0f5e0dfed21adf736b8db58;
 
-  d5c8a06c311bb9970caee9bd4b7f58189dc3e221078d0d6a45968d0cb608898c
-  d02af80145b2995160820fab0267c49f2ba6c13334ce9d79652a851c320fa803
-  01a5f3986d76ce52e86d30f9684de71cb7c96aa3543c5baae3aac11228e818318f;
+  97b74ea8ef087496a84b73ee7d8713a13a511f40cc9a19f613a10891774fbc9a
+  fe8dd31272be1f79ee524d736c7fbd3a2c1718b918b072025612a1f2176cf53b
+  01964521bb61c69410969dc161ea06d0db666837f9e54a8bf869b3aa838ebcb1d5;
 
-  ca33cb876803ee0bbdfce0323fe5e16696be8c6aec737e291cdc109a04adb1cf
-  e17c574a8045553e413570811b51e8b110741cfde89b26057836a07de3514cc5
-  01abb022d1e8494349ff3250b35b37ca17a732a968d50ea42e9512b117e7fefe94;
+  66a6b572a25f6f97ec5b7e7e393bfd686b69c083cd673feab076b9923133a46a
+  e7b501c43dafc08bc521b15be8a1ca9dffe174c282111ea9eb0bac34fd0584b7
+  014e5bb736e00f3023b17d2fda21ddc8066b4b35464f785e949b8265c72e392921;
 
-  dacd4ef6e248346fafb0d415af59679ce7bfcbca350b54891754736e691df743
-  eb453ace8d6f3d3c201152cf6aba6c5279381daf4471395bc5adca2fcac172b5
-  01c61289c56fb771abcfc226e51a13d3ef60f7e979797c8de4dd023d9e33df69f8;
+  59a803f729f14d54c35de20cdf9ce5b8e2f430016448c80e9d3e2ec608f8bd67
+  7a5a9cf43d1d70e200c5bc7baf4dad57e5892866bb3ced09eb0ed096214509b3
+  d402a0eb670ebe36c4239e888eea9310c87d58681f85b518884cff5c2a3dc71a;
+
+  d26914575527153ca24945f0e83df5b0480c8840e1e6807b71d008068b082c7d
+  281c235d8f8773649c75baba0c302f99f3c526c971cf3daf976deba0bdb3f38f
+  fa8537b4e4ae88a13ebf00aaf46e254a3bd1af0a53b5be2b093df3a748bc200c;
 }
 
 usub {
@@ -299,69 +319,85 @@ usub {
 
   # --- Random data tests ---
 
-  c41ffa68b595f9a1928b6d88b1f090e1f530a68fabd0d984a428e37e757ef039
-  9deba253809cf51228639ada532bbb495b62d90632b28bd7db6f5551ed468b8b
-  2634581534f9048f6a27d2ae5ec4d59899cdcd89791e4dacc8b98e2c883864ae;
+  a024729f63161b8fbb711008eb863b9e2044a77ccc7bccf19437471e51a4beec
+  9239ec16929055e3a156768fa1432c56d997ba51c1efbed4c791f062d95641a5
+  0dea8688d085c5ac1a1a99794a430f4746aced2b0a8c0e1ccca556bb784e7d47;
+
+  8ab8ea06c7afbdfe6636590f748fdd376a2dd9c708e7923541e134687fbfd526
+  8896da6b7c98b78a0ea2c9cae23d7065a94daea56d1c919a7db2583da936bd8d
+  02220f9b4b17067457938f4492526cd1c0e02b219bcb009ac42edc2ad6891799;
+
+  fedfecaf26399ad6eda68c7c5cada4aed095e82182e3df696cae47e521c382a4
+  7510069be2896480db0beedc6c5497e79bd7ac5e9fc14bf9ca460c7f99aa6834
+  89cfe61343b03656129a9d9ff0590cc734be3bc2e322936fa2683b6588191a70;
 
-  a0b3854388ab68fdee71148082d258cb2ef472317304e06ab86216fdc7317067
-  2d3a9812a3d42524754309169110bed7485b9ba7027e91aff7b481ab44651b72
-  7378ed30e4d743d9792e0b69f1c199f3e698d68a70864ebac0ad955282cc54f5;
+  ffb81ed18909fda98730e146735c21d3914122faf84882dc688237371825739b
+  d7eb8f85d95888d2c4dc7b9fbbe689e2ce529f8870b2487ce28d192ef3ac2317
+  27cc8f4bafb174d6c25465a6b77597f0c2ee837287963a5f85f51e0824795084;
 
-  3dc1ee5c9378abc228f30a498e56286289eaafd22e886c375a0f68a1cc4f2d0a
-  111c66a4951266bd05710693c82ff5511aa423482d9080879fe8296c38577649
-  2ca587b7fe664505238203b5c62633116f468c8a00f7ebafba273f3593f7b6c1;
+  c3c2c77bc0867d30c58c1eb786ab7feed60f9e0e2dcfd6ed97725fff364c7b5b
+  a936ff836dd8dd063ab05e4fc7176e8c05a45ddaa7f701e4184b4fd371ce968a
+  1a8bc7f852ada02a8adbc067bf941162d06b403385d8d5097f27102bc47de4d1;
 
-  fe9b804e286cec9c9d692bfda5d37fbb49c352e02bdfb864153e40024e041e4c
-  2deed6644f8deb9e73317c8e5f3ca8821675449696678dd8393585dbed0fc41b
-  d0aca9e9d8df00fe2a37af6f4696d739334e0e4995782a8bdc08ba2660f45a31;
+  ef76a6e2dc6ba3317dcec6e338a20cf12eb852388204efe290a3b1536f6b198b
+  3eb8d18b7903d682d713859f258ddbc13aae32392a4267b0cd1481c036ab5baf
+  b0bdd5576367ccaea6bb41441314312ff40a1fff57c28831c38f2f9338bfbddc;
 
-  ac29a21eface012500e45ddcadec251000b2862a08e19025e5179c2993fc183f
-  aa30c9b372d02ce22b32e237dbc98e4862148d7529555b651c038776437b60ee
-  01f8d86b87fdd442d5b17ba4d22296c79e9df8b4df8c34c0c91414b35080b751;
+  5cf09a0f0488a077e2983b4a854c28fc7a11f7befc196824f7990fadacfc26db
+  0f46fbc396b81c512b7a0ec003759de05a967101a3ec50b7cbf84f42708f396c
+  4da99e4b6dd08426b71e2c8a81d68b1c1f7b86bd582d176d2ba0c06b3c6ced6f;
 
-  c7ee50b4057c5d6cba06edbd688d1e6eb39325f9ac8161e8c7aac219f6ae56bd
-  9ca672a123d00dddd6fb9a3f88b8ad3c4bd236f85397e11a41a43438528af6ee
-  2b47de12e1ac4f8ee30b537ddfd4713267c0ef0158e980ce86068de1a4235fcf;
+  ea9b202602ad3219e3d3a8fbaf042c3cec8a3d7f16923855b0ae67b8ebf57b50
+  850568cdebe8fe9f91c3d8bb4bc525158bd8590b235f46d6d556bf969e2f24f4
+  6595b75816c4337a520fd040633f072760b1e473f332f17edb57a8224dc6565c;
 
-  8d659c5d85060904a8fd896e66893d169345e7854a5402a94ed7f2855472c1e1
-  0510e560d0206aac7ea1f484c668ffceb00a07d1f1046d7d5ff9d448377c803c
-  8854b6fcb4e59e582a5b94e9a0203d47e33bdfb3594f952beede1e3d1cf641a5;
+  fab03a9f849f408b4af55746316f8e3a81c6359b3c3ba1ebd1d8b9e7a983a03b
+  a60ecaf59c0c7d0ce3ef4d6d9006880efc9c6e0edcafbf7291b009e7b3cb03e4
+  54a16fa9e892c37e670609d8a169062b8529c78c5f8be2794028affff5b89c57;
 
-  aa61e8465ac278e26d74a939726545fa734b0df8a1f9fb55b58f223e61a4970c
-  0680536142cc43af40ece8b3522eadc57ababe1bb4b971694894a8aa393fb63f
-  a3e194e517f635332c87c08620369834f8904fdced4089ec6cfa79942864e0cd;
+  ef7de9bf497c4c47d323a379a42789925606f700e786622b280aec1ee6e13901
+  8a4197e881f1d2f6a09296e6d826ea628aec658b4bf7e9c436ab7e70746c4c87
+  653c51d6c78a795132910c92cc009f2fcb1a91759b8e7866f15f6dae7274ec7a;
 
-  8155e4dacaa29374d584cde1139b0c0f02bd3bfbb8408747017d59f97ace3cfc
-  2320d7eec36a6298ef2f7a02cb8712cd444dc9fd8e51458fce9f89496dc54590
-  5e350cec073830dbe65553de4813f941be6f71fe29ef41b732ddd0b00d08f76c;
+  9cf0d943545ee18ca59af6f547cfb45de41b1d52c996f482728fe68993d3a966
+  58ad4b10fc09cf4f4f4a1488e36ed3beb0a2a9e8c8ec042aba113b2144ff1939
+  44438e325855123d5650e26c6460e09f3378736a00aaf057b87eab684ed4902d;
 
-  eaadcec668ec474fab18c6e1aca9d048eee832d90129af092394f11131eb4e1c
-  991ce202092952b5421896efc26637b04f6a8a5194395ab7ce4cc9ff37171cd1
-  5190ecc45fc2f49a69002ff1ea4398989f7da8876cf0545155482711fad4314b;
+  3e0e637d1f4ff5b6d58549f8011ae0a885bbdcb5c478777417e6293c108c7c0c
+  09e06b0b986110817123a2a5aad0c178bac3005315628424d849216a43b71ac4
+  342df87186eee5356461a752564a1f2fcaf8dc62af15f34f3f9d07d1ccd56148;
 
-  610a9c737e8b0854d4362bd5dfcba7b73bfb05ca0082efcbcf3b08b41f051281
-  0faff48e3afde20f330ee412da8cc91588cfdf8951ce5421095dd62962e8aa72
-  515aa7e5438d2645a12747c3053edea1b32b2640aeb49baac5dd328abc1c680f;
+  c3b4cb636f76027a876150753e266774af9350d3e68713adcc39cff5e389e285
+  a4abec0b5d38bc91310f3b9e3e12d0c4af2984ba710a6309544340ac3c94e121
+  1f08df58123d45e9565214d7001396b00069cc19757cb0a477f68f49a6f50164;
 
-  344c313534bf5212d0f7bddb2e7d674c9b83fbbf372248f5b6aa2e481aa1f94e
-  1fc4da8000e78d1dde10a4ab0b37bf8b1d1e1caf23b32688be946139916f72b1
-  148756b533d7c4f4f2e719302345a7c17e65df10136f226cf815cd0e8932869d;
+  175402d43706fcdb3caf41cd8de6822447e39f3a0ed2f00d4d315a1cc03b5bfa
+  0ffd7d0692776dbce6e112902472edba5ec4c1500412d9bcd24472da90889b7e
+  075685cda48f8f1e55ce2f3d69739469e91eddea0ac016507aece7422fb2c07c;
 
-  d4ee443b04b30d354b9573a6a1cf466d1c8d7921c65cd6af6a8992d8bb11578f
-  11a170c467156fd13097883d5a0b5ca0cb4d460c0439e3b5e80eb2e36d327e7f
-  c34cd3769d9d9d641afdeb6947c3e9cc51403315c222f2f9827adff54dded910;
+  f6060bfae1e558606d44496967e0eafe805e6f60d1c4a8f886574c9d6c6989da
+  e933391716ffc61eda9c547e7bdd41799ecc56e05178ebd7e2068d32467aace6
+  0cd2d2e3cae5924192a7f4eaec03a984e1921880804bbd20a450bf6b25eedcf4;
 
-  11e03f0bfd28ee2435aebd8873d43f09b98f4acc8db9b83ac4f8db8bef215500
-  011a9975f91de9e3260dc09952c517b795e54f4012fe6febac0a40a1c7f746c9
-  10c5a596040b04410fa0fcef210f275223a9fb8c7abb484f18ee9aea272a0e37;
+  cfd8ba6b7173b72451f370c7a7dad7754ea2323e52f622c1490ff2d3ccf5753e
+  b4e23f1700a3fe1d5f0465cf3666235f1c7460ffebce87c8b8d551ceab09ed1b
+  1af67b5470cfb906f2ef0af87174b416322dd13e67279af8903aa10521eb8823;
 
-  54e22394a26744c5d192f1c002531b120a4966b18cc77db523dce28971ca34c5
-  43bffa793fc043b0226a4e2cef6f615a0fb72d54a64261cc285b5e2d6695e8aa
-  1122291b62a70115af28a39312e3b9b7fa92395ce6851be8fb81845c0b344c1b;
+  ebf9500e9cda50607204618fa6cf2f29f2e0af023237034f1a3e72787364370d
+  0e826c97712e73f32d850d4cf63925fe8c8ed86396350432b9971900a4068cbe
+  dd76e3772babdc6d447f5442b096092b6651d69e9c01ff1c60a75977cf5daa4f;
 
-  befad4be8c75125466021b8682d4a2bbd79cf28ea0d1225fa59cd6263ca76dfa
-  a241b82eb7cb831ece9ea45073460b4be3fed984cffce37498ba9bd46109cf04
-  1cb91c8fd4a98f35976377360f8e976ff39e1909d0d43eeb0ce23a51db9d9ef6;
+  c4f9d29310ea767aa8dd0af418447dd3dc2c220c48591f99b6dbf0521f7a5640
+  6d72f5441ca9dbafcbf4db9701d6c667c1d5376251de09468e3efbf1fb04cd95
+  5786dd4ef4409acadce82f5d166db76c1a56eaa9f67b1653289cf460247588ab;
+
+  91af1ae9122ba385deae3f9b478c8270a2d2221396fb3639b44e06e3a1ae9817
+  08966b342d42332d2155fe03fef2d3f84b415d1fda1168a5c63d0f9b86b77cce
+  8918afb4e4e97058bd5841974899ae785790c4f3bce9cd93ee10f7481af71b49;
+
+  976e1fa5146093d794691c63d1aff7ceb5851bb6196909eb51fbe4640829b208
+  1e8a3a0a9050c307cd94a65793371f88eebe42ae8893b1ff984357d597c884d1
+  78e3e59a840fd0cfc6d4760c3e78d845c6c6d90790d557ebb9b88c8e70612d37;
 }
 
 umul {
@@ -375,73 +411,85 @@ umul {
 
   # --- Random tests ---
   
-  1d84890139ea943aaff05e8050875ad3
-  4d4fa99f86fef735264ed3d4fc9c0019
-  08ea0caa89201aafce27f5cf8c2d0babe4add1023cdc5545522caa26e9cbde9b;
+  4162c300b3e157e9cd1301d499c20121
+  10549901fc6dcb85882440087bd398ff
+  042bc7ac8fe08ceefb098f286cdd84fd037906ead144324e361c488a221db7df;
+
+  f4c0a35591d6567a3ead2846f4350141
+  58bb07247f8a7591b7acfa727118ad8d
+  54d507b0e32175976a30766da14de0726a8ffbdc7ef0291a7389759422229dcd;
 
-  a29dc17954d2401b8c523e6846b8801d
-  95d8c5814661dbbd70e984eafa1a389c
-  5f2f842c60d41962701062926eda9bc7c94b462db3f9f2f1bc85415ec96669ac;
+  5d0965f58c9d794ca477ca2349900193
+  2cbff5f50dbae1965e3aec1108c36d17
+  104360ec53eef2e669285143dc0d01c9ccf31a77dc302bf8d45356feb794bb35;
 
-  7d8d16b1fdc261a8dab34a97a67b8b7d
-  978d1c4cdffec143d9447d05763c7bf3
-  4a536cf99eef77cd30a115a77cdb8d9b47a84bc929a8ecc8b50864a1b29676a7;
+  1a438b12e1babb4c68ae4606694fd1be
+  5bac6d40fdea39c2f1f6ce285f028d36
+  0967b3069413a0fac34c03fdf67e2f5187232be344bbc6011849688052d7e414;
 
-  74343b6d685b9973642a4c31e7211957
-  7799afe6dc99ef626ab3304bb6b3082b
-  364a0aafdf95e4a8b3b337d1ffceff866eec36193aac68278ffa3c406d2ef99d;
+  59e648d1f656407efc7c9b622de6bc6f
+  0dd07d6e4dc035816236aa0cd512e424
+  04d9e8da01ea1a42b1b9670a4a14694cd104406f346a0598b65e0ae58f135b9c;
 
-  0a09e7fc90bec4eb64cb10e4e75c6ad7
-  5dd5a810d092d68cc0371b2a9d5423a7
-  03adfa1beec3c996e9268e0cf27288ab3c88d6ff24b056d959661d1379711741;
+  55c69d7a662a945e6a535911e7abdfc4
+  9883a7ea2c89f5a873b5bae63cf5ac73
+  331a0a66497eb713fb09b260f8774aa97765c13bb040d7917a4b7cb9a321350c;
 
-  10abe37b5f9c4ae712a1bb25521b18ce
-  73663a4db4fdb6521651f41a78487289
-  0783df7910220f62eccf06aef2f0b36ee91947a8884851e7d6726db48b7c023e;
+  bb15812991a5a01c6e803475d5f2f1c8
+  66782adade0952e8ab51a2fda6a5f611
+  4ae262dc95488914177d07869caf42dd008ecfc3c092df3007fca8702f603e48;
 
-  75142f87a6a86fc67402d57e96da6d20
-  a24f01ef1d073eeb4284eeab096b6c7e
-  4a3ae830f1a185b77964d7ac1827ceb576496c459d6fa43f5487db7421eb35c0;
+  b06a37683348e8e46ccd954ff0348a82
+  e158b834e442cf83aa863dde751525b7
+  9b4a7e266b977f83598e6288efafd0f517d9658a2bda86adec7e1835143dccee;
 
-  a53985bf9e73e36b24ebc5af72f9a33b
-  e706a52c88d692ed64ec71a09acb6040
-  951b31a3dbe0d2f49059f52f44672853ba121c666438696f85d49f004967eec0;
+  b7f66a5ca27d276bdbad5995aac0f676
+  8f05519b9acbe85369aad7a865a0bc5e
+  66c677de9ba98e4c527c86b80ad1485c41782c3e0be53dba2f547fa0ff992754;
 
-  086ffb56c05db6a7f060d949b2fe21ff
-  131f72a18f76808812702b7a7c79e684
-  a158fe10dc686014a9711c0bd7458b2457c389664342d02612fbec331ba17c;
+  b7f43225f41056548b095f359b6a3b83
+  966a8ba6772991700ead0e01bde39120
+  6c15a4d835ec2367ec41c566ce63a098c496aec8a5b041fc7c91e6601525a360;
 
-  773ca7cff8e378f0d3bfbe137fe4afa4
-  b97782907edfc90839902cb40a267981
-  56627f4766f72b93c37746612b8de68c1a0b36c2a9a6cde2d9959965039905a4;
+  87277faca81e1bb28e0e24e4bbf5e8c3
+  5f126e08716855110489045453e69dcc
+  3231633f7a7eb05793df2c7761d793a634faeb021fda1a404f05b2edefe71264;
 
-  6186ed3d76c5e6c016d0fc1ccbb96abb
-  c9fec3054270bed526231f3df361ca54
-  4cf3fe706ce56b18d083f35c101ee86ec6d32de26841d4d79877b75318e9935c;
+  3358074e192e79ba42c186ead80404a9
+  dc1df51ac8c3328107638e83b17f777a
+  2c25a8688faf32cb8b1d4b454cd4a2ad1130df69188cd2ec44cc8806f8ebc78a;
 
-  030a3d74ce79826cff754fc113dc6e53
-  96ea50f14e74041715ca6b2b9a46889d
-  01cac854ae86c8634d704250d001ae3b8225197da1715fc946afbd8b617dc0e7;
+  7ad1d7a04f7588af0ff7bf29c13533c9
+  0785d4d4d5f1d25aa6dcf744662ab2d6
+  039bf2064b716e3befa638d510131596518b1d91833200ba19ae6aff15750c06;
 
-  df9c25f4901820bab91929b121f73b41
-  c251d71d0403b22f7688efb8f9c7a7d9
-  a9bbd110d3a63d38bd48d3e34d1a89c48f5959d11e1b52bfadce09d75abfa119;
+  8b8a4c2ef785abd1607b663b3088e37c
+  fcc67dfa767e06d97cfd5341ded07e42
+  89c854a034d2cc29ebb34f379d6a74a9996d261774b1e7ba965e98204001adf8;
 
-  58e0b78e3996fbe7369f42459abfa30e
-  61349cb4f0ac16ae4caa4070a6d863fe
-  21bf6999ee200e26c3007fa0d2a1eaf0a6d0046fb5cdc932e19e57744e0231e4;
+  1c9ea6a1b9aba96124dd8abfd3dd78b1
+  93ecdfc3f4c188819e777f082b77e4c6
+  108994f4961164206f1a97cc0f39edc29faf2bad99d164fc60c06ccff20ffce6;
 
-  adb6347cc0f3ef1d6674ae34c9104a55
-  d6a34db1ef09742382ac6acfb4408b62
-  91a51f9c3fb21ab593d5afe9bf5207ca76572ac09c8be9caabe25e7229d89b8a;
+  c6d9a8a4760fffb11ac2d38b62f62a89
+  c0989f4e8aabd21f7a2b38ec27afb783
+  9599cb75abf86c37db000858bd671992ecde9d440cc765855287391f8f06b31b;
 
-  40b8c873e24afb21d82214f61ed54be0
-  63bff45ebfa43ca544a0889e4b0a038c
-  1937fd2a7254468ffb3ad85e7936c055fdcc5877ee892ea2c97bdec4f3491e80;
+  5d48ba3dba86c0e9d3922cab8d88c5b7
+  5186010a8c3fc4e3499534669a13f219
+  1db4d7602500cc34de718d5892f79db44096a6c6705cf6e9ca8b438cdfd74cdf;
 
-  0c48c20a8df571d8355bab32c2e04fea
-  446bc105015217f874b25d5e2ce27238
-  03487f36ffe480457b9dc246ba542fed0eac52466650edb4feb1ff91493baf30;
+  d009f15fd77915f113e471884e464462
+  cad68bffeb24842cc083f5496b10e36a
+  a4d6328ac530f0615ca3b0aebeaf104960e120609c58710eee206cc3f3db3694;
+
+  343f0033e5648741936c20439bf044c3
+  9b26545821fb1270515566d970e566bb
+  1fa9f7b01c40607bdc8f554e57555de879784cdb1eebfcc3a75918d27656ec71;
+
+  08d95fc1d6dd6b9423c7bb033598df0c
+  6c03f5958677efd383509141bf257375
+  03bbd76f19ba19e3f255c24063f6384d4ac913d9e582392589a525195bcc547c;
 }
 
 usqr {
@@ -455,56 +503,65 @@ usqr {
 
   # --- Random tests ---
 
-  7b94927f1dc0fbb34cb3c0c604511e83
-  3ba81affdd67160ffb0cf4f97322efccd521a69f46696064ce84554c6a88f709;
+  d573446554727d0f05ad3ccd03665c2f
+  b1f903b723d65fefeb935ef5c50ab18da09777b28b8a093adab73a5cb0a5d0a1;
+
+  27ed6604397ef6acdb3f1906e5c0be25
+  063a313b55fe82206c4e69624c2afd726dcf52c1efc9d0f81c948907f6baf159;
+
+  869593eda5bbb87109593218d3c99f86
+  46c0ee42519e3a8ce80f19b6bd60332254e1e144350898d77e803ce2c7d3ba24;
+
+  94edc3ffcbd975677c95b44e7f4a8164
+  56a3c77441629088100fea8b3e510352c9904877e9705b9e150e7b004735ef10;
 
-  f15f0fc21e5e6a514ca7834b8d3e77c9
-  e3941ef83038a10115d33778cf1b460b302b02ef9c1c08ab9f5dc4f7a7687bd1;
+  4a3b7b546f9f15a09bd35d6de3b33f82
+  1586711ee4ddaaf121f7e4311d3e182948ed5569def0257e099be8d66b8d3e04;
 
-  d3998c40e8ea19ef4fa5c483b964b327
-  aee6794bf25f5dc8d2ac51f0575c9ad1766e0f183d633adc77ebc474d1d78ff1;
+  adf038609b8f95940806994831db9409
+  762e8d9c53ce25e6641019bd974169acd1aa3e95968b13e80c97d2120f006851;
 
-  fd4c6079bd59baa679e1ac3c952dc5fc
-  faa00d7a0ce7501bb69d56439b259a426ec1fb7b37abe93a0365bec68bb5d010;
+  337e87847e2ddf24444fac6f64c6cc66
+  0a5ba888786f7db6d9c28a7482545e31ce687996024edfdc05ae3a8480fab8a4;
 
-  c23e9dbaf7cf571cf0e9c1445ee7049f
-  9362f660275524f7692cd1b9df042aa56f4ae0d7a51d27536c4eaa561b075ac1;
+  0b2c882b8a7dcad93cffc77be4436e62
+  7cdb72d54cb539de9fc55d68b9ca4731ad6b1bef79fd0dd12c9c8d86e45d84;
 
-  ecd70f464c7093e2ee74fc2aa0dfbcf6
-  db1d38d445ed4605e48cbacabf5225795ac9b0d92771e8465176c076400e3c64;
+  298a1b9f23f7e77dc288c177a492843c
+  06bd875ac41323efd9b958064f96e74d84faf58a2c43f4bec525750ff8bdee10;
 
-  62f727e3f5eca344795ed878c15a1a68
-  264229288864fb8fa2b6066acfe65f3caad90b410bbfa19f97713d0763d94a40;
+  f58345742a51bd04c80b3791a688871e
+  eb74864080bb96f90ac10021b82af6ea9acd21af8b8c103739a14c06bf30a784;
 
-  fe9fe42b9b88a2be128ab395a96635b9
-  fd41aca3c22c0b24552e3f88d666ef03ec7f1ec1116d86bf7fa75b171cb21fb1;
+  0c720ed1384848bc57e6f92cd98541cd
+  9ae434d07874574a5702724fcaf6d27f5686744f03aa444afe9762f9ebbe29;
 
-  2a3e9ab5ec12067bd1e49276233d482d
-  06f89a12ff13a4291fd40b9cb6c766b9c7796fb9f65d42f671d3ade3c7cb57e9;
+  37e91e1c9a3f237a08dda2e6919dbfa8
+  0c35ff381de29f85eb03c278ca9623be8603ac9f744c826d08e91630f38c1e40;
 
-  5822befe400521765d0658d61ba2fb79
-  1e57e806160aebe8fb41bc8e51d80772cd93e76baac0a1f7f807671ac22a7f31;
+  8b270d9328ea8561db59a8ac4e651d05
+  4ba36eb2f1fd6b0cbd6f71ac36aabe1be53e21ae9afd4c9ce1715456f53c2219;
 
-  279469187b9301a94ff00d401725d114
-  061e8e0f251ac43180b35cee5c4e95748594902a97ac84bfc9bc6327b289a990;
+  5e64af22a077e8832538dc9ff235bea0
+  22ce1836b8b5c880ea1e00f95f339ee776d8edda0563e498c98f726efc31e400;
 
-  50eba27574d0144c1d0873d8dc70bba1
-  19941e6d13bf60702b12b3c36dde5958a0af3c1fe1cc6ee838b139d16e649b41;
+  8e6d67cd33ac976b183475e54afdb715
+  4f3d8de934283d046ebdb7263c73978e60c2e68179cb3edf79c266dd867107b9;
 
-  d5ef817ea1be4b65ecebd00bfbf5cd31
-  b2c86d8fc519886dca10a1e77cf5874148315b14c48be0421c812e967a418361;
+  27f566956e3fa7141088402630e929e8
+  063cb07f0ab7d5d22828664724da2dd261c14526d80f7760aa04b4f44f2c2240;
 
-  d6787d5da30d4a031c7dd2f7bba1a11a
-  b3adaa4e51c7a7ad7055cfb219624209fd5140bb3464c541cb1d0f940415b6a4;
+  e26c74de93a02296693ee98e552d5524
+  c843ac4bcdcdc37c3ef17997e8d013d1d4ecff5a58a22e2be50d1e80f2f8ed10;
 
-  650b6ef5bd3ef19916d969a252088e74
-  27e20610a08a08916d2f82e7b17f2c2ea752b1ca997fc7dc62a0ee5b8684e490;
+  ca53baed02dd4ba78cf7a3963b438395
+  9fe83e60c6b25a7b58d1f84a5905081769b4c5b5c9b1d63a5bec2110d19fd4b9;
 
-  c265ede35f7e35225fe5350a3afd161b
-  939ea5222f336ae03249d96bac34e5e1e7af5725ca07a9330ad29054ef46a6d9;
+  d6e517000ade8ef62963e890a472d530
+  b463cf763a508b234fbf75a75781c97b5a9963b8f8456d23d05a2aa81048e900;
 
-  6ee04a9584bcef1480526180d336fffb
-  3005849b197570290520e5ff80f19517838a4975f217d952900be6c8bfda0019;
+  c4245e0ce04fe1151ca17eb8aeb6e3e3
+  9647b52e4da6dc80171bd5495ab519835e871bf915ee7e59f1fe2ac165a05b49;
 }
 
 udiv {
@@ -517,93 +574,103 @@ udiv {
 
   # --- Random tests ---
 
-  ccf89f84f1d372a1a22c3110057ea5029ed41f80b228b4d60f715a2c762aea43
-  8ac7135d39
-  017a1b1251a33756c0394200aaac9b92c34e3941f7376aca98fcef4f
-  1a570ceeac;
-
-  70b42f42a8009b7487ef72d92d953e7875f504931a51fc8a12827526351074a6
-  a4e86da483e12b735305a1e943195f391ef2546fefde827154
-  aef59897fb0e23
-  54013b962521a1f3a188122c466499d2361b694091fdac5e2a;
-
-  f34ad29dc7c79d103de95f949f7cea0bb281fb9c449d5d04f91bc1720bb19ffe
-  729bc43939d47622340ac2b1f5ce6377ca00bb675dbf607881d3843372822fe4
-  02
-  0e134a2b541eb0cbd5d3da30b3e0231c1e8084cd891e9c13f574b90b26ad4036;
-
-  91ec8a90dce0998a829f7e1d14a19d67fbdc385e900499a4454e8b2cd75a8868
-  13f823f492ae76312c
-  074eb2dee8aa8a051072fc85cda9b0eff449112b6814d00c
-  0d9de812f2ea6c7a58;
-
-  2eead8eb14366761116edadf05e5158e1bfa3b083045cfed87f667de43502671
-  ff5d4e35c5b04733
-  2f08bd1cf2e4f98dd3499c68d6d3964b24c9e439bde5719a
-  fa8e5da73038cec3;
-
-  a9708c69513c742bceaca8aabf5346e8404cd0a2bf349d75d8a961780b6b06b4
-  921d2ccf92589e3f0048fe538ee794dbb7379aecd410c57d713e89dd
-  0128de2fd4
-  18a1dc9645456613f27da18841d006b1a1238b82d8cb4a28b2ab48b0;
-
-  38c227704fedabc6510a9acbe75b7e4bfe28f8fd8f042056664580576254fd9b
-  250c66
-  018831895ae3e9ad0e8648cebc387b8379e4bf897b25d18d77858ea91905
-  0fc99d;
-
-  827a593d2b359870f364c6aa20a5725df0e3cc3c84f072188b856dfdbb920e3e
-  687b
-  013fb30f46f66f3d85e29fbae0d5389df15d587cd9ece18e16d50c789d0055
-  5d67;
-
-  681f8273f0116c8a7210c79ad77eaa87f3f96b8178edf46c0a3be80b82632feb
-  b15e72c3cafc36dbc3d1b2427b3a3574a5
-  964868d951607b1ed391705aa3d9ef
-  1cda643b01015c91184b150a6d938c6ce0;
-
-  f93e69eeb878e055aceb9df3f0d3920d3a1d9dbd3cc894b0251ca8acbb3f40b5
-  a9a33622848ccf6f29c260fd556d3772
-  0178224081d3eb75b2422bced0f03ee8be
-  930cd441adbbb8db02013a2e0c54ca19;
-
-  8e458afb2147921fef71189dccc20dc6b6cb2766460599cd3b84bf69094ee098
-  6b93b5b225d4a297ed3f64af4d2b661852cd5f
-  01529004c1b96fef630ad9ea8d6e
-  668c578a24484fe7b96f434c2bafa9bac74ec6;
-
-  92b4756ef93bfae27e96c9c1e68b46aeaad82f65ba779ae36c34e008233891b6
-  0724e6431fc8c1b592839c1dc94ac8a17a2e5cf1c83f5efc20662059f8d6
-  1488f6
-  679029a6e071fde2065524719e8b24e29452cc17d5acbcf5adcfd9c412;
-
-  d9f36f886f9e1971fd3c070a0156282803a733f747f2ec9df7c3a2172fe27808
-  e8914686aab784e6bf8ee815b610195e4411a637fd442fc1e646f1
-  efe925f08b
-  ed1ee96dac1ff9131c231eb19fbc2d033f9fc8f4fe886b83032d;
-
-  dc283159b054eaee94a941d3c075f1231c992101ee17d7abea233125fed5efdb
-  2034ae741f9c09c9dedc8953cdac7067ce7256e54902d06c34f66a09e5460705
-  06
-  1aec1aa0f2acb0335b7e09dcee6b4eb445eb17a23806f522ac5cb4ea9f31c5bd;
-
-  8bd46fce7eb788108fd223cf2be26ac36e48ab048fb622ec056e87efda1bab65
-  1a336ed2bc7e628ea231ba849b7ef2e429f773e01a60e688e8d5620380c8
-  05563a
-  0ecee92e7189260c0b4b541fcbf2eea8c4a6822f1ad940072e98f4254e15;
-
-  049a44b4b7e4fca97415cb5bf2da86d15fe572cd5e5be03639f7b0730800960c
-  dac151bfbefa33d3c68fc6a0159700fa0ace5866
-  0562e0cfbfd280e5c6d15e2e
-  a27eb3df5b333ae2a1368bb64187357a43313fb8;
-
-  e0ef0f2eee0cbfc761e1eae2c4056c9dc067194f56584c47396c24d791fcb171
-  c0a0dbcc60a22e418d1106927da452e4bda23a16ee814f5ba626eca3d75e
-  012aee
-  b9c6ad8e1f2812baf3682193555a6afff4dea36409aec2ce5d30d8f70c0d;
-
-  9097d696bbe69c0cb38186dc7fbc400c7325adf453026dac0392960e24dae8b5
-  be4c2ca5e8395869bf35e97c75f6ef
-  c283fc9af122375dc1c7abac24f0267b3d
-  4be3e17c0d0c7b8fa0300017a03cc2;
+  8ab316d0d1a2e88535cf77c1172881ead70d592c59e9c5fbc16e4b0c4dc49481
+  18ca3bf7ee3c6d7bab3f144b015ccc6c25472843d346b461
+  059850f995ddeb799c
+  02c1815029b766b96ad4507dc1af8151307961c6d161d065;
+
+  8117d1663ee63341eb8faeff304549f0f8b32d587acc2fd5597ea6a31625881d
+  dc85df77dfb61876805623bcbed325b99d00c2cd65c252c879
+  95dc734282eb19
+  395da02e8a6c66476467c4e04f328d8208cc411e3d1e96e14c;
+
+  63791966f2ad44a6df11bcc87c6b7c2400c74e69f7e3ca02fcac12b3bf56238b
+  a49e473b8f7539d89cdb002d73182558773eec10db93cc6049d8c5533e
+  9ab11a
+  65caf6833baa118b53c7bdc44a831605ca382b5993beead59f3971d13f;
+
+  9ca438db3e0f79305987292e8ec6174e6c313f7904ebb35a349a700e3ae63a37
+  b24c93d499c7073b8f7aac718c1f12da1a8fc8bccdd47b49
+  e0e779304869fdc1
+  46393cb15e38cbbc8a85698151a113f28081b4c8f6ed232e;
+
+  8214fd17858a4a913015412b5331eb9654faeb5156a674b1e5f6550a68957146
+  c4f0ebaad6c0ee0111c57667ea8e0a254f3068f212949e20ededa89a7da6
+  a917
+  3fde916ba21d19414d4316041420ca59d8b01aa2acf3f3ef106245c1915c;
+
+  55a487a70935360158bd55542eb46271f90f7312e77344c4ca6a580a80810612
+  8996dd0613f846
+  9f58fe011d73a8750454d9bffb55906e9bcf563e0c48b5b608
+  4cfd95e3e17fe2;
+
+  6a13e1be50ecdd7011f9ced42269615efb38fcd3e5477bc57377138cf1ff9519
+  fda103ff99ff21
+  6b11bf2670bf080ef7c5aa0fa5989324e88e3e581c0e7507ba
+  717db69e0d501f;
+
+  367aa8f5ba9ac4e8e2ea198b8af2c3b3081deab392ffc05715783b245a62a6fa
+  72e2c37447f8bca34c4a39b130ea8e5c9a7d8b54564aa88ea773
+  7965572732ac
+  08e8c03ebf398c63d71d8fd7ca4ece12367a8dde180ca650afb6;
+
+  6da07a0a1f9a7dd93e1f82be23fd5e7814b84fc74d4566dd83914adf368c1689
+  3cc71e64
+  01cdc15d7d825955c50ccca72fc5a16f9a7dd04363b12d8354d3088e51
+  299000e5;
+
+  001f5d985f594315d8c58f2d654304c8417f683b65d6d3246b89960e5f6c133c
+  5bbc034d956a17998a30a3
+  5787e7e94449592b493486bd9a323f939ad9bfde
+  1298fecf49a80ad72148e2;
+
+  ae2d84438ac6643fc601c1634351aa75b284fecbbe5faf3a132be9dd1a326e6c
+  c33c890f030644d88cc65f8ccf99c625c9b9fa21d4eb153e52ef89df54130855
+  00
+  ae2d84438ac6643fc601c1634351aa75b284fecbbe5faf3a132be9dd1a326e6c;
+
+  65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
+  d8a1d326fee87d55f39f15b5b2cfe71f5146083928
+  7805090edf620d22dac08f
+  859c41164983547c03134b99530e25a0f874315964;
+
+  5d9e7037d70e822c2ce4b3d93f3e20d437a047aa94103296cc041e1b7ea0d9ae
+  d2b14235853f6bac6fdba208897d
+  71c036bc8940293745e65c49f9b0bc1a8aa3
+  700473d994c1cd61ab24f661ed17;
+
+  3a826450bde36cf03de1d6829f7e21af52beb2655e2c902ed634f84e135b241c
+  3023b54e1deda493ad0b4558
+  01372549e716f70dd3c6bb31f193682b7a9355a7fc
+  04359aabd8bfdf8dd3ce797c;
+
+  bdcfd9593348eb1567377e0d4f4bfe8a26acac14b56f7dfd82beddb4f11c2373
+  1f0356b60ad66f4fd7dda57cfc6d1aa374108bd4841127c8
+  061ed1e07aff1c094d
+  0e313b6052859863725786d1459434762ccad8540bad244b;
+
+  293be875d1251920e18102446ceec021da8d8d24aabe49c5911d19ddc3db516d
+  b66e4ce3aa7390a9d888c5d22176bea5c36ae962ae8f252cdf3642556641271c
+  00
+  293be875d1251920e18102446ceec021da8d8d24aabe49c5911d19ddc3db516d;
+
+  5f1085256c5fb856ceab16f2372b6b7024c7d1fcfa7039a0555bb1496c0bc92b
+  c46c1fcd4a8a9cb91775f901af0ab42e39015e09fc737ae2011899b34322cd
+  7b
+  b091ddc98f1f09e065684e681146ddef6429ce2e24bd95bed4df704aca10ac;
+
+  82ea5bd086409cf3681e55e6133626ce9579db9eb01a0411db9c8521c3c66c2c
+  605a13a7d4b75f1094260227cd4cab
+  015bd5405d6bfd4571e54bc47a1b089abfd7
+  3074a3c84ec3bfa32e0db1b349738f;
+
+  3b68662228026ec9e9be8206d3226edd265552a3dbe15a7aa399eba05a69a6c3
+  a0f4265e8f59474132846bfb15
+  5e7d40f138e2a107a52f85a0eb6f92a1c3ec97
+  1508f62d27e7fad09e3d423160;
+
+  82a5058150e570c9eef1f4e5d55d3cf261de28a17f4735caec8bb38e1813978a
+  620d87bb63872a40fc2092b0ed7d3ec4b648be41
+  0155177e99a8a5113226ff8270
+  2ea2205327e66d75990cc999fc2380883ee4591a;
 }