-
- 1d84890139ea943aaff05e8050875ad3
- 4d4fa99f86fef735264ed3d4fc9c0019
- 08ea0caa89201aafce27f5cf8c2d0babe4add1023cdc5545522caa26e9cbde9b;
-
- a29dc17954d2401b8c523e6846b8801d
- 95d8c5814661dbbd70e984eafa1a389c
- 5f2f842c60d41962701062926eda9bc7c94b462db3f9f2f1bc85415ec96669ac;
-
- 7d8d16b1fdc261a8dab34a97a67b8b7d
- 978d1c4cdffec143d9447d05763c7bf3
- 4a536cf99eef77cd30a115a77cdb8d9b47a84bc929a8ecc8b50864a1b29676a7;
-
- 74343b6d685b9973642a4c31e7211957
- 7799afe6dc99ef626ab3304bb6b3082b
- 364a0aafdf95e4a8b3b337d1ffceff866eec36193aac68278ffa3c406d2ef99d;
-
- 0a09e7fc90bec4eb64cb10e4e75c6ad7
- 5dd5a810d092d68cc0371b2a9d5423a7
- 03adfa1beec3c996e9268e0cf27288ab3c88d6ff24b056d959661d1379711741;
-
- 10abe37b5f9c4ae712a1bb25521b18ce
- 73663a4db4fdb6521651f41a78487289
- 0783df7910220f62eccf06aef2f0b36ee91947a8884851e7d6726db48b7c023e;
-
- 75142f87a6a86fc67402d57e96da6d20
- a24f01ef1d073eeb4284eeab096b6c7e
- 4a3ae830f1a185b77964d7ac1827ceb576496c459d6fa43f5487db7421eb35c0;
-
- a53985bf9e73e36b24ebc5af72f9a33b
- e706a52c88d692ed64ec71a09acb6040
- 951b31a3dbe0d2f49059f52f44672853ba121c666438696f85d49f004967eec0;
-
- 086ffb56c05db6a7f060d949b2fe21ff
- 131f72a18f76808812702b7a7c79e684
- a158fe10dc686014a9711c0bd7458b2457c389664342d02612fbec331ba17c;
-
- 773ca7cff8e378f0d3bfbe137fe4afa4
- b97782907edfc90839902cb40a267981
- 56627f4766f72b93c37746612b8de68c1a0b36c2a9a6cde2d9959965039905a4;
-
- 6186ed3d76c5e6c016d0fc1ccbb96abb
- c9fec3054270bed526231f3df361ca54
- 4cf3fe706ce56b18d083f35c101ee86ec6d32de26841d4d79877b75318e9935c;
-
- 030a3d74ce79826cff754fc113dc6e53
- 96ea50f14e74041715ca6b2b9a46889d
- 01cac854ae86c8634d704250d001ae3b8225197da1715fc946afbd8b617dc0e7;
-
- df9c25f4901820bab91929b121f73b41
- c251d71d0403b22f7688efb8f9c7a7d9
- a9bbd110d3a63d38bd48d3e34d1a89c48f5959d11e1b52bfadce09d75abfa119;
-
- 58e0b78e3996fbe7369f42459abfa30e
- 61349cb4f0ac16ae4caa4070a6d863fe
- 21bf6999ee200e26c3007fa0d2a1eaf0a6d0046fb5cdc932e19e57744e0231e4;
-
- adb6347cc0f3ef1d6674ae34c9104a55
- d6a34db1ef09742382ac6acfb4408b62
- 91a51f9c3fb21ab593d5afe9bf5207ca76572ac09c8be9caabe25e7229d89b8a;
-
- 40b8c873e24afb21d82214f61ed54be0
- 63bff45ebfa43ca544a0889e4b0a038c
- 1937fd2a7254468ffb3ad85e7936c055fdcc5877ee892ea2c97bdec4f3491e80;
-
- 0c48c20a8df571d8355bab32c2e04fea
- 446bc105015217f874b25d5e2ce27238
- 03487f36ffe480457b9dc246ba542fed0eac52466650edb4feb1ff91493baf30;
+
+ 4162c300b3e157e9cd1301d499c20121
+ 10549901fc6dcb85882440087bd398ff
+ 042bc7ac8fe08ceefb098f286cdd84fd037906ead144324e361c488a221db7df;
+
+ f4c0a35591d6567a3ead2846f4350141
+ 58bb07247f8a7591b7acfa727118ad8d
+ 54d507b0e32175976a30766da14de0726a8ffbdc7ef0291a7389759422229dcd;
+
+ 5d0965f58c9d794ca477ca2349900193
+ 2cbff5f50dbae1965e3aec1108c36d17
+ 104360ec53eef2e669285143dc0d01c9ccf31a77dc302bf8d45356feb794bb35;
+
+ 1a438b12e1babb4c68ae4606694fd1be
+ 5bac6d40fdea39c2f1f6ce285f028d36
+ 0967b3069413a0fac34c03fdf67e2f5187232be344bbc6011849688052d7e414;
+
+ 59e648d1f656407efc7c9b622de6bc6f
+ 0dd07d6e4dc035816236aa0cd512e424
+ 04d9e8da01ea1a42b1b9670a4a14694cd104406f346a0598b65e0ae58f135b9c;
+
+ 55c69d7a662a945e6a535911e7abdfc4
+ 9883a7ea2c89f5a873b5bae63cf5ac73
+ 331a0a66497eb713fb09b260f8774aa97765c13bb040d7917a4b7cb9a321350c;
+
+ bb15812991a5a01c6e803475d5f2f1c8
+ 66782adade0952e8ab51a2fda6a5f611
+ 4ae262dc95488914177d07869caf42dd008ecfc3c092df3007fca8702f603e48;
+
+ b06a37683348e8e46ccd954ff0348a82
+ e158b834e442cf83aa863dde751525b7
+ 9b4a7e266b977f83598e6288efafd0f517d9658a2bda86adec7e1835143dccee;
+
+ b7f66a5ca27d276bdbad5995aac0f676
+ 8f05519b9acbe85369aad7a865a0bc5e
+ 66c677de9ba98e4c527c86b80ad1485c41782c3e0be53dba2f547fa0ff992754;
+
+ b7f43225f41056548b095f359b6a3b83
+ 966a8ba6772991700ead0e01bde39120
+ 6c15a4d835ec2367ec41c566ce63a098c496aec8a5b041fc7c91e6601525a360;
+
+ 87277faca81e1bb28e0e24e4bbf5e8c3
+ 5f126e08716855110489045453e69dcc
+ 3231633f7a7eb05793df2c7761d793a634faeb021fda1a404f05b2edefe71264;
+
+ 3358074e192e79ba42c186ead80404a9
+ dc1df51ac8c3328107638e83b17f777a
+ 2c25a8688faf32cb8b1d4b454cd4a2ad1130df69188cd2ec44cc8806f8ebc78a;
+
+ 7ad1d7a04f7588af0ff7bf29c13533c9
+ 0785d4d4d5f1d25aa6dcf744662ab2d6
+ 039bf2064b716e3befa638d510131596518b1d91833200ba19ae6aff15750c06;
+
+ 8b8a4c2ef785abd1607b663b3088e37c
+ fcc67dfa767e06d97cfd5341ded07e42
+ 89c854a034d2cc29ebb34f379d6a74a9996d261774b1e7ba965e98204001adf8;
+
+ 1c9ea6a1b9aba96124dd8abfd3dd78b1
+ 93ecdfc3f4c188819e777f082b77e4c6
+ 108994f4961164206f1a97cc0f39edc29faf2bad99d164fc60c06ccff20ffce6;
+
+ c6d9a8a4760fffb11ac2d38b62f62a89
+ c0989f4e8aabd21f7a2b38ec27afb783
+ 9599cb75abf86c37db000858bd671992ecde9d440cc765855287391f8f06b31b;
+
+ 5d48ba3dba86c0e9d3922cab8d88c5b7
+ 5186010a8c3fc4e3499534669a13f219
+ 1db4d7602500cc34de718d5892f79db44096a6c6705cf6e9ca8b438cdfd74cdf;
+
+ d009f15fd77915f113e471884e464462
+ cad68bffeb24842cc083f5496b10e36a
+ a4d6328ac530f0615ca3b0aebeaf104960e120609c58710eee206cc3f3db3694;
+
+ 343f0033e5648741936c20439bf044c3
+ 9b26545821fb1270515566d970e566bb
+ 1fa9f7b01c40607bdc8f554e57555de879784cdb1eebfcc3a75918d27656ec71;
+
+ 08d95fc1d6dd6b9423c7bb033598df0c
+ 6c03f5958677efd383509141bf257375
+ 03bbd76f19ba19e3f255c24063f6384d4ac913d9e582392589a525195bcc547c;
+
+ # --- Karatsuba regression ---
+ #
+ # This bug was caused by kmul (a) choosing the split point too low on
+ # odd-sized inputs and (b) not allocating enough workspace.
+
+ 21a9269d7b8b63cf18faa933b3c868ba1e8cb3f00b57e197709abf96eeb9bf12e8fe22b3
+ 0144c992b68e3ca712678215d5bc968702ccfea17717737ba501a38d26fa5091ba
+ 2ab495f91afd7c36f85ece6fd58577f995de88d62a98a07c6d9e3500ae67b0f100bc709d1f30894662774d0cadfba091788c427cc6f4bacb26e42cf92f6e4494e03c990e;
+
+ # --- Larger number tests for Karatsuba ---
+
+ 416e63549e2cf08fb225058b3545cb4a47cbf9
+ de38c473c27f7bdef02a084192b3e17f435cf7
+ 38cc3c7f360737411df7b52a222a3672c6e0d39f0a868479176a6143e1129d44d5aa61be493f;
+
+ aa20b1355073f21c57530d2f90bc40e47ac463
+ 8315dfa60e97ff3dab7a6f61fcec2cd5b6f127
+ 571d43fda6ce14a78534ac72c50b58738d62630766a59a7cec1a63433e499b1b5eac5ef71e15;
+
+ f641594177c8c364d922c659a8f7ae0460c7d74b266c8cc258ad5f
+ 5948dd29fc5172c37c31da6957779a1bebe452d8deba26c5d3d390
+ 55e2cf27aa49f938584dca4044d944077e226206c6f8c7688e8760f3b5c106413fd0ef4b63a97991da86fd113ff4822a41f76913d270;
+
+ a4170f55dfa135c4bdd3a921a8c1567eebc6b799fb62b0dd27b089
+ 7b7d619e07a5d01427348c05605f67196b2923b074787c375977ac
+ 4f277232c75290f0c5fed384dba2aaa23fe4a360ea63ee45fb6c0134b36a09a9163f3c767d498b8dcd31e5deaef386d4a9b7d85b4b0c;
+
+ 250e7a0c7035df81429572d3f772720e723b710d54b9eb5f16814117980f0559bf12b82e00c5b3904e
+ 1be3c88b01ce53a70c12f74dcc247823846ac6c06a9cb41b86794900006045f05e29da23b81523aa9f
+ 04097fbcf75616fef7b6b91680963f7e0cf1bf72bc5f453e46136fc92b20ae8a30d7ae7965f8271de854442b93562ebaa9ee09fba4a7b79ef8b26718b12424419dc301496dc0d6cfb04e4f7a3a3729046c72;
+
+ af3148a72dcf1340f6b5a3b2fc1cacd7e6f9e60a13de5c91c37bb850f0e930683c2dc96882a9f62b76
+ 48603cc656908b34c70ed826da8c3414d5845100f53cb6f9f370a4c7708a9b8ffd787537048f89493a
+ 3187b8818bf644805c880d189bbf606ca23e01431cf5b3b633db48a1202aa346f6a0e3958c7264fa1de2d92660345e820f4f3659cf0040a28fb9b725f7ab83610c9c056062326f776ce871696eede0507ebc;
+
+ 0b1cc934a2f6244b93c8ac10881de20349d133642ac19fa0be3acacbf4429d0ec7bbad2f41534a693647b7c02e683cde249e36f008fb68e96de65c8a268eb1ea
+ 12444899c13f0ee85a4f47024f06d8a5746f0d9fec02e57c6d87a7bba17c1454fe6387bff5b96e38ce6142b9eebe249865c52b617b8966e6f93b16f612a91155
+ cafcf1ea9f16a56f9ac4635d58992a789c51b6d7e53b5e1d8b59d5c1850c5c6ac2297839af44b29d5cf440772f98fd9d090ccec2d56adeb113bd3459d620b0b02679b72f3170ea8e2bd4486eebf2496d8be01cfe86923e5bbeb6f91582dfb95c6ef0a52cbc068081dc363b31dbd2ed80e3267d973ea39f82e276002eab9cb2;
+
+ 3ba5a9c550b8cf6c3b87cc106b6551221a0dc90ac193ebcc526e4e5f53cf012fa6e05b155dcb3c4c0e1a90a01062a67ec434f6744195349194770711ea836a8b
+ 54f04f121d22db842523e9bf75727d5b0e9ef17e6d727918894927fade87ceeb2106684c4af7c49653425e29f7a91abf8adec4de2ca499df2534644397e454ac
+ 13ca59703f4c087c16a9a7bc7022904a37a469c1d0fd9fa7ffabe8f7d887fe1572c0bf5c75fde6913b565f8106bba9c26c9bbce190a9b8967112d74c0ac3d4ff9d2a385b96833e3c456d5601c74d8d2c9fff35abc60e7cc15d7c680f20757c13a415f1b8fbe3c6c32434aa36c528473dd20ea39f0e5ee22d1cd23040900d3164;
+
+ # --- More Karatsuba bugs ---
+
+ 3fef06998b0ddd140e01527426ea409b2b9e640f223dfd652229fd17eb99d44f6be6d4935505df676f48c8fcbfe2d5096345d6509267aa40c54d427f0cce45cd0f8fa7e4a22492d7ed4ffa45e3c0e5e3c25c841943fb2cecd6ee9275ae93c4e15e2d9f8f317c44c541ed52a6338b0fb9f7f7f4dea78cf7ef5201837c00a6d4d2
+ 0260acc6378341b2b894dacab3a44b914f19292bb32898b155584a406161bb04ad9c14db20888dfcdab613b368b5c699305c4e9b226d90f9523fbcb6293407bd2bb18bf7bdba8539fb577f19b72124c2d83a2bc31f44366e917ddc705085b79fe9e0df0e98e4f6ae3df63d9b321382c18b95de1dc4d1db93b3092c9c6f8c9764
+ 9802d5c5d5a73f9d4e694a8920f951ce4bfe80c13a35cd5332a556136b83495a2e9b4d2ed53aae1218d2e1c41349311f86b1ee1f2ad5cd3c5b264e8e68906ca45bd7d0fc8e8a5a9648f458cecba41fd0848a04f506bb11ddb378f3214085cf865ba5533cfd73b28b1e12784f447b156f59a3b68e6ec68303ddfce59ce33ca386ff3316e6a5e6f9b4201682aa9e59a6d7cb9315a492457640acca19fc7dc3a25a316fea9a0f1d32838b7f911650647f996551263c2d001fa1c720753afca316c7137300ff93f2ddd2846ce14c55d0ead626f681bd11707f9674905396a9bc9a889eae721ab6407586880a95575a968b43bdf50323627aa0fcddfa4e198b0008;