X-Git-Url: https://git.distorted.org.uk/~mdw/secnet/blobdiff_plain/b7a5ecfcbac18c56d0b044975f6ed6835dd86ab4..refs/heads/mdw/xdh:/f25519-tests.in diff --git a/f25519-tests.in b/f25519-tests.in index 96d4ac7..799b3b4 100644 --- a/f25519-tests.in +++ b/f25519-tests.in @@ -1,1235 +1,1537 @@ -### Test cases for arithmetic mod 2^255 - 19. - -add { - ## Some load and store tests. - 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20 - 0000000000000000000000000000000000000000000000000000000000000000 - 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20; - ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f - 0000000000000000000000000000000000000000000000000000000000000000 - ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f; - edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f - 00000000000000000000000000000000000000000000000000000000000000 - 00; - - ## Random tests. - bb8cd45b6185ee8ca34c4d7560425fd5c2fc22871113c6427198e8f9439a8523 - 98f16cc5e44b7228b7f3b6ed91930d68bba5071157d19259c48034d2817e30d5 - 667e412146d160b55a400463f2d56c3d7ea22a9868e4589c35191dccc518b678; - 8ef938a7b07a668c234c2c5bb65115b8e2e22a3703cda51c70e7a56a075d4f34 - 1f3cd4bf4f768058c4de1aa5aeb90e227338e308c7a0a199050ca1c38d1e034c - c0350d6700f1e6e4e72a4700650b24da551b0e40ca6d47b675f3462e957b5200; - 8b2c4678fd4f8b7254eea925e4da8d472db7f97d349d1b2134ced884b747ea7d - 58dca7954f843b7e4dc56b048903e7728df66ef6824f29932b2f568c995ddf2c - f608ee0d4dd4c6f0a1b3152a6dde74babaad6874b7ec44b45ffd2e1151a5c92a; - 9cd64f0cf439bccd224f7a789396b9f888998d1ba9759c93a5d6a27f45db0e67 - 12f724a127052612081e27e3915db9a540de9b64c566edc313914ad94424464e - c1cd74ad1b3fe2df2a6da15b25f4729ec97729806edc8957b967ed588aff5435; - 82e59fa9703b2557303665fe24e3d46259da974d78155f05c6b8891f92fc808d - 98a073ec62baf1354b681a3c78d62df1698ed5077dbe2bd68ba4a6e0233e3447 - 2d861396d3f5168d7b9e7f3a9db90254c3686d55f5d38adb515d3000b63ab554; - 686ceca221d0f4c6d98287e97c506085064e7b172672b88ee555dd0308bfd309 - 60adc3675be5e6c2921a74b5b8b24b0a26341a19567dae713a720786bc72df16 - c819b00a7db5db896c9dfb9e3503ac8f2c8295307cef660020c8e489c431b320; - a50a5b82d2451ed9a5844585712202a6dc0e0230501d57b8c00f4bd4771aed9e - 98d71b8b140aea02ad47d9b19e47d2a03257adc1d5c47611adc667652b78c87c - 63e2760de74f08dc52cc1e37106ad4460f66aff125e2cdc96dd6b239a392b51b; - 1637e3eb4c5d173b8cba29bdb13b930f48ae0599e354819f8ae0cf70f0f7b61b - ffeef1767df70de7a4a75864c03935d7934c6cf5228b9c3000813ed0e55447e2 - 2826d562ca542522316282217275c8e6dbfa718e06e01dd08a610e41d64cfe7d; - 9e8bf571c45bc5f37c9126e70498698978903b94d9c6712baef91894ab924fda - 480f68f8ee644bfb64e3fa514eaf16aea6368da6813802c4c3e6ce8f6540dfa3 - 0c9b5d6ab3c010efe1742139534780371fc7c83a5bff73ef71e0e72311d32e7e; - df9bdbd478bd1ec1ff078cdc76f2a5fcdc52f0198ba412e0b5a10e664b175dad - 080bc47bd2fb2ba3be6a07a02162f76020479f2cc6469c6766df23acf9517896 - 0da79f504bb94a64be72937c98549d5dfd998f4651ebae471c8132124569d543; - b6dd223f5d8a3dc5dd6f7a0679173ff656303017a17f17f4086fd4ecd3a23020 - 560d827aad23c26fddbfd16c3514a9b518a4586d6e3c5739860743662b14f4b4 - 1feba4b90aaeff34bb2f4c73ae2be8ab6fd488840fbc6e2d8f761753ffb62455; - 1d59691a670c40143ca7f7e693389ab64a911b17a2fe4368fba9097b40864162 - cb42d3ba12a8b90ef1622ea09241d3157c515043040914356d6d99b95089fa07 - e89b3cd579b4f9222d0a2687267a6dccc6e26b5aa607589d6817a334910f3c6a; - 82b48877e9c8c18edb52db3e1417d894e572a8edd84335d93c642158f2a926e0 - 93c6a39c1ef97f318c3b13bf8e77bea653b2eb130bdf43b00a0e0e40a362e819 - 287b2c1408c241c0678eeefda28e963b39259401e422798947722f98950c0f7a; - a6137481c5b9b8bcb3c87f3868c5f812da71aeb21c5ce18a508773120ea4f659 - 812eacdc5a8eb2e8fde0c23a19c2e33466d754ab3109d28ff48fb41dab8066e2 - 4d42205e20486ba5b1a942738187dc474049035e4e65b31a45172830b9245d3c; - 598fb4096a7054e317e66bc9633d56dfcaeabc31a7bbc9da13074b242edeca09 - 929b1bddd55c99b06b99a3ffbac5adc1d28823cb8354adcfea60b7a87fe32039 - eb2ad0e63fcded93837f0fc91e0304a19d73e0fc2a1077aafe6702cdadc1eb42; - c42183d915267e655409326b1b77a042d8918feefd75dd3d18551f398ef426e7 - e3729a6110686ffa57d1c69284a60fb36173148a89b1810d04614f03c8f90084 - cd941d3b268eed5facdaf8fd9f1db0f53905a47887275f4b1cb66e3c56ee276b; - 67b8b7ea7e7f9f52d686f906589c919b293bff6d3127e7ac581dc1630af7bcc1 - 99d18d2190ef0da148b843c014fea3efea59f9adbb28fa38407191fcc24e029c - 268a450c0f6fadf31e3f3dc76c9a358b1495f81bed4fe1e5988e5260cd45bf5d; - bc3422b79e01234fefd3637a19bfb2dd0a83bf2071b27bf5389918a50e579294 - b665dffe064aceffaabba94697cf27054d016427ebaf68858c5250cc5c1b770f - 859a01b6a54bf14e9a8f0dc1b08edae2578423485c62e47ac5eb68716b720924; - d419cbfd5514d9cffa1765b9f273fd7492000a3d110586ed0b8137760a2e808e - bcb52f423917c074464b2078d1c3f883fb793b02411b8b13c08266d17658a499 - b6cffa3f8f2b994441638531c437f6f88d7a453f52201101cc039e4781862428; - 2f7eb8051d16a52b797e2618881bd0857eb205bf97e581e09680f86308f7e082 - 9ceda63b29c3bfedbb6f3f0be2f3f2bd285bb9d21620c3edde69629b00b1c3cd - f16b5f4146d9641935ee65236a0fc343a70dbf91ae0545ce75ea5aff08a8a450; -} - -sub { - dfb53b4ff67c742728c564d50ae20e3e3617804478a95e511d37ff4dcf04fa3f - 9bc2006bb07dcf7bf0b461e7599e3c3cbfcdf6b6f41fc1db2219767ce9c43bcd - 1ef33ae445ffa4ab371003eeb043d2017749898d83899d75fa1d89d1e53fbe72; - 432ec65076c94af41e054a43f64fe4eecb23f50a303fd38e0172e4e846e67394 - 3642c84c5f5fcd5a0f3f2e37114beb8e7b614c39d354f1b32fe7e9cc918da5c8 - faebfd03176a7d990fc61b0ce504f95f50c2a8d15ceae1dad18afa1bb558ce4b; - 1725a986c03d9d53346ab2064545ba90ab38191e19ded9ecc2f44d422ab04150 - 11a20caef0239e4ffb5ab2f7d3576633a0d4a08c78a02f35765fafff5398c48b - f3829cd8cf19ff03390f000f71ed535d0b647891a03daab74c959e42d6177d44; - ec5d5cdfc8183f9aa3d47634d16427c3a399e2166bfa4ddfecbc911e5f33ceba - 649f8e29c483765c4232c369fd0e50a0026eac306eb4bd6924e7b4d7d3f73e26 - 9bbecdb50495c83d61a2b3cad355d722a12b36e6fc459075c8d5dc468b3b8f14; - cc9927c331884612d8fab9a2262ad0db38f55e0cc587e45b972ea8b1f504450d - 30c5c9f8d5491a350051bbc6bb78e568d98061b43cb1797cd3d7454e8a7aa1bf - 76d45dca5b3e2cddd7a9fedb6ab1ea725f74fd5788d66adfc35662636b8aa34d; - 662bc96da214e50f13e07a15b8e0b78f512c744a66975b2170ba28079ca7d03b - 84b072295dca0abef806ec5c1e594179dc5e9eb172c178af1902a42ea7a3728e - cf7a5644454ada511ad98eb89987761675cdd598f3d5e27156b884d8f4035e2d; - ed6f947157492eccc5fb1d0542593d58a47e2d87355dc0378e65376163fcf457 - cb27e06c5ebf42a61caadd4fb222799772aaef31487bf61ac84c15f58af265d3 - 0f48b404f989eb25a95140b58f36c4c031d43d55ede1c91cc618226cd8098f04; - 33c2fc57d8ffc29e6d670cfc4e25b695320055cf443ade53f49f6c23c452f644 - 3814860ccbb4391894c107961170d3af1594988a7972b97d0fb2169631b216fa - d5ad764b0d4b8986d9a504663db5e2e51c6cbc44cbc724d6e4ed558d92a0df4a; - d0fd0d5e73be5c534aa37645aecc49b202fadb30733f16d0de719a70bec2c751 - 910c7b4d317397cff70c91e5bf8ec42ba1700b0866adbbfe99b7fbb2c46c7093 - 2cf19210424bc5835296e55fee3d85866189d0280d925ad144ba9ebdf955573e; - e0f8130d6b0125e824b254ed57edc59455a8a4704a3f14a4ae8dbf8721595468 - 4e4f69af6f85742068ad70225e8850c85aef3d3fb3ba3b52c2be979db4eb979d - 7fa9aa5dfb7bb0c7bc04e4caf96475ccfab866319784d851ecce27ea6c6dbc4a; - 204d5f69ebab4597d2aa9295ecc2959480a2ab0b225674cc8a147cf7c1e59717 - 3abdd29c94819ec7507673bd5cc4fb267fcb17c1509abd5e462b46b012f815a8 - c08f8ccc562aa7cf81341fd88ffe996d01d7934ad1bbb66d44e93547afed816f; - e2d75c74060aee615b6cfc815c8618f826b07c4987e10f20d27ff74eab3ac7d0 - 7a06b32d284b5faedb91dac8e94cb7f76c678bad81ed78ac4e75eb9edd8d11e9 - 55d1a946debe8eb37fda21b972396100ba48f19b05f49673830a0cb0cdacb567; - 8d50b0573b0bb945bf128e1a9a37c151e991581673cf6295db5a6223d428ac9d - 47ca477794fdf378f3486355b5348960ee957470b8c74d62199ac48b4478c4ca - 338668e0a60dc5cccbc92ac5e40238f1fafbe3a5ba071533c2c09d978fb0e752; - b66b49190a99456aaac5c33beaec423a3fa79a84df0f00122aed29151185ceef - 13c06f7941743bfa261845d99772fd0d5f1a8258aeda53b161505ed8bdca1bc8 - a3abd99fc8240a7083ad7e62527a452ce08c182c3135ac60c89ccb3c53bab227; - 44ac89bb8d4de1a8756b00401236ea4e316a2fe637f6e5f052576da70c29c4ea - 05dd39ac32768d899b80ed10279aa10d6316d60ab2d061e877dc5f21ce8e1140 - 52cf4f0f5bd7531fdaea122feb9b4841ce5359db85258408db7a0d863e9ab22a; - ef0f6c7f56ff22260c66d583f79c7f581181d3a0f3167c93786bb6c89de4372c - be934afeffaf5e6755a92e6606ffd054627dbe1b18ad6ae543363a01da605512 - 317c2181564fc4beb6bca61df19dae03af031585db6911ae34357cc7c383e219; - 773e0db8f86c5182b5f51d10376f42cde275dac6a646ab1cab065760e045107e - 3f92ddafdfe67d357b4f9b61807bcb8b0f1f6c2dacba27902f48fc15a31db606 - 38ac2f081986d34c3aa682aeb6f37641d3566e99fa8b838c7bbe5a4a3d285a77; - 34860a848d0afb20e43f4a36b3c8941f5821864216da9cb3ce1a11f056565a3d - 9dfed86048acd45ec0009c1ba3b20a1ba645ec141070fd8ae41d25e159bbce9f - 84873123455e26c2233fae1a10168a04b2db992d066a9f28eafceb0efd9a8b1d; - 854ba91672ae1b8f6c29395dcfa4f3514ed97dc2c9e1e419f926825619fac55b - 7a700653ad355caf17f89045ecfb3ee821194b54048e55d8eed41fea2b0a22ab - f8daa2c3c478bfdf5431a817e3a8b4692cc0326ec5538f410a52626cedefa330; - 0c66b3d8c3916940b70d381d232ba8aecfe27e3ae63fa6cbb287216708f224f0 - 477186656245c4083dff93a95c6e5deb707916e52cd74abbd522743c24c53088 - c5f42c73614ca5377a0ea473c6bc4ac35e696855b9685b10dd64ad2ae42cf467; -} - -neg { - 0000000000000000000000000000000000000000000000000000000000000000 - 0000000000000000000000000000000000000000000000000000000000000000; - 23d767107e23d5ce14189cce939c4b5334d6736da3da40a715236b9d8319efc1 - b72898ef81dc2a31ebe763316c63b4accb298c925c25bf58eadc94627ce6103e; - 9bb944cfb58b186cc551e0a0eca74528c7618ff47485bf6a723f43d990f69f6e - 5246bb304a74e7933aae1f5f1358bad7389e700b8b7a40958dc0bc266f096011; - bff36d2aa923d5a9af5398e2cfcba4acdf3c3181a8ff00b8a1099cd97a4e8542 - 2e0c92d556dc2a5650ac671d30345b5320c3ce7e5700ff475ef6632685b17a3d; - 1b65a51746eabb7c0d8d9844dda03bde7128407e94661db2d5fd9c0f3790d120 - d29a5ae8b9154483f27267bb225fc4218ed7bf816b99e24d2a0263f0c86f2e5f; - 88f4cf29a610c4465f63a272fde2f19a4874a70a0829885014379b637ab0e82d - 650b30d659ef3bb9a09c5d8d021d0e65b78b58f5f7d677afebc8649c854f1752; - 94ca4d567efcf088e6bf1cb3698f6b8bf2164db4f523e28781aebfcbb501ec63 - 5935b2a981030f771940e34c967094740de9b24b0adc1d787e5140344afe131c; - 3f8d7ae4f1698921524e49ccb2ce4459e4c048f76f04c5e60179f5417d2d52db - 9b72851b0e9676deadb1b6334d31bba61b3fb70890fb3a19fe860abe82d2ad24; - 1eaa0c45af0d8f85d865cc66ff3d0dc3355f1ac36821cdd95a6b9232a27f9044 - cf55f3ba50f2707a279a339900c2f23ccaa0e53c97de3226a5946dcd5d806f3b; - 33e142c78ee87a7980ade6c796e7ff949cee6d3af0415bf5b6901f84c2db910a - ba1ebd38711785867f5219386918006b631192c50fbea40a496fe07b3d246e75; - 24a0c185c47787caf1a666a62002a503f2a3e591e5f2946e148a47b9b114a884 - b65f3e7a3b8878350e599959dffd5afc0d5c1a6e1a0d6b91eb75b8464eeb577b; - a8bd0c1c3f219a97de87b22e8cb3eb5daea33b5646589b6925ec4ec83ca37455 - 4542f3e3c0de656821784dd1734c14a2515cc4a9b9a76496da13b137c35c8b2a; - 1a340d2679ca205f6b198cff4bffadcde1afeeed124ef0c574655dbe8732b681 - c0cbf2d98635dfa094e67300b40052321e501112edb10f3a8b9aa24178cd497e; - da43c139a1f92ba1b5fc996befe5218368eac3c46b42e98a9cca8b8f6f1540f5 - 00bc3ec65e06d45e4a036694101ade7c97153c3b94bd16756335747090eabf0a; - 81aad864a31e5f4afa32c29eb97f22c103dfe5b1323db05fc9b1545312aa6c0d - 6c55279b5ce1a0b505cd3d614680dd3efc201a4ecdc24fa0364eabaced559372; - 28231ad38d214f1421df7005eddb4f4c12e522b10d1cbcd10ee26dfcc222a62c - c5dce52c72deb0ebde208ffa1224b0b3ed1add4ef2e3432ef11d92033ddd5953; - c1facefef35c1ed00db767ed0281ebfad1f3c915c6649f5e1c26a6f3f9478b43 - 2c0531010ca3e12ff2489812fd7e14052e0c36ea399b60a1e3d9590c06b8743c; - c2e4046e7200386ca2afea8ecc9c98c105fbf6e31b598e21e482796a69956040 - 2b1bfb918dffc7935d5015713363673efa04091ce4a671de1b7d8695966a9f3f; - a42fedea4eac90580a0bbcb0491a7e8cc82de7a99aa74ed35f705c536afa0236 - 49d01215b1536fa7f5f4434fb6e5817337d218566558b12ca08fa3ac9505fd49; - d1ab8c50d54279ceac870d0ce4a2af56bf8c03e87482dcb7775183a4908ac739 - 1c5473af2abd86315378f2f31b5d50a94073fc178b7d234888ae7c5b6f753846; - 1ffd85fa5ead53ff509756fc28051ef65eca040303b65f7b5b7e1d1a8508e030 - ce027a05a152ac00af68a903d7fae109a135fbfcfc49a084a481e2e57af71f4f; -} - -condneg { - 5330763b29dff20501a1d6c64025c36279083473721f5cacf89168189ff9810d - 0x00000000 - 5330763b29dff20501a1d6c64025c36279083473721f5cacf89168189ff9810d; - 9d9c36e2126d911a503e1cc1a8489ee74949ae2a8408dc7d72ed0d75e4350545 - 0x00000000 - 9d9c36e2126d911a503e1cc1a8489ee74949ae2a8408dc7d72ed0d75e4350545; - 47da10abec2cb54c5890e5945999deb1d89ffd268bbbe2eafc86f1acc8bf5f7e - 0x00000000 - 47da10abec2cb54c5890e5945999deb1d89ffd268bbbe2eafc86f1acc8bf5f7e; - 3e6ec07de86be6ffab2dfa1deb9ed67844645be92bdbb22b7ba91379babcdfed - 0x00000000 - 516ec07de86be6ffab2dfa1deb9ed67844645be92bdbb22b7ba91379babcdf6d; - 5f5c0730649586b5c0b60a14d3b669b3649eb6725d71d834e78ff2aa0e5450e5 - 0xffffffff - 7ba3f8cf9b6a794a3f49f5eb2c49964c9b61498da28e27cb18700d55f1abaf1a; - c357befcc6836d89387915e368e5e6162252b433eb58d94eb3cc4b783e98c226 - 0xffffffff - 2aa84103397c9276c786ea1c971a19e9ddad4bcc14a726b14c33b487c1673d59; - 713ad0f656a8fcd75fdee2c4ac248ee7ad09a5f357c565daa94ae46d8590d2c8 - 0x00000000 - 843ad0f656a8fcd75fdee2c4ac248ee7ad09a5f357c565daa94ae46d8590d248; - 909d669185e98b4a88a6531b830193b23035d64665929e34e86d53c4a9eef30a - 0xffffffff - 5d62996e7a1674b57759ace47cfe6c4dcfca29b99a6d61cb1792ac3b56110c75; - 8f23ec139f93258e6d57fa278339f1cb5da193c5d1ad7183fb2b151111262285 - 0x00000000 - a223ec139f93258e6d57fa278339f1cb5da193c5d1ad7183fb2b151111262205; - a9a5480c72157f389be80ae7ad63502434c380ccd1cef813dc9bd2e9a85e2f22 - 0xffffffff - 445ab7f38dea80c76417f518529cafdbcb3c7f332e3107ec23642d1657a1d05d; - 316f98b6697e7daa8775d3aa91dee8fbbae4e935a2f62cd2975e2d552f0c9846 - 0xffffffff - bc90674996818255788a2c556e211704451b16ca5d09d32d68a1d2aad0f36739; - 70128d6dd5fb42f287fba3533c71cb5dc2361b6d91c3d9626c58849e27f7d349 - 0xffffffff - 7ded72922a04bd0d78045cacc38e34a23dc9e4926e3c269d93a77b61d8082c36; - 66a6f3dc6274e4122dc401ef23529175d71d96b660a52cdcd64556073b5430b2 - 0x00000000 - 79a6f3dc6274e4122dc401ef23529175d71d96b660a52cdcd64556073b543032; - 3909505812b228e6ca5cc6c0b17824ef765923eded6105e6eb0f176781624c5a - 0xffffffff - b4f6afa7ed4dd71935a3393f4e87db1089a6dc12129efa1914f0e8987e9db325; - b7febd7d63efae3bcc60c1c344f2f6166b272eed785a9e541d3ff4f12e82a5f3 - 0xffffffff - 230142829c1051c4339f3e3cbb0d09e994d8d11287a561abe2c00b0ed17d5a0c; - d1cacc1db40de13351224046975319d7546ae9e88e1909c2a8f46792a140d279 - 0xffffffff - 1c3533e24bf21eccaeddbfb968ace628ab95161771e6f63d570b986d5ebf2d06; - 4c449a50fc1e145be1463e4c171b3c51c9683c41c45005d8aeca607911c9b3be - 0xffffffff - 8ebb65af03e1eba41eb9c1b3e8e4c3ae3697c3be3baffa2751359f86ee364c41; - c929c50eedbad6ceacdefb00bd58a32820c874c906741e9d93cd0f668819edcc - 0x00000000 - dc29c50eedbad6ceacdefb00bd58a32820c874c906741e9d93cd0f668819ed4c; - 1c57449dcfc7e8f9fab77d226d4b50d7dee06c29d08d3d4f4ae7c8ad238a0a82 - 0xffffffff - bea8bb6230381706054882dd92b4af28211f93d62f72c2b0b5183752dc75f57d; - 396a2ddc48f158e73c95dc289da3f0d3b2128875e20c401cb50fd6cc7a28dd18 - 0xffffffff - b495d223b70ea718c36a23d7625c0f2c4ded778a1df3bfe34af0293385d72267; -} - -pick2 { - e6f52222f35081896f3d9ecc0ffb27fa3e75c8ad1c98e161878d2c3cffd72c78 - a24cd71f7acb653466b7d67bb41efb5a29503d2627d2ce28fe19680ccd939be5 - 0x00000000 - b54cd71f7acb653466b7d67bb41efb5a29503d2627d2ce28fe19680ccd939b65; - 4e51fe2dac96a664d0675962116b7af4e605194a1c9fb774c621a3107994c9ed - 508934be10ce5e11e6940d56e84b148e20f48369e748536846763c80bab9af49 - 0x00000000 - 508934be10ce5e11e6940d56e84b148e20f48369e748536846763c80bab9af49; - 530175217081c3fb3ecd17702ad334ad48f05affd5ab3754ef10be5b0eb5375d - 8aebc7e01e2bb2829f21311462175948d85cd3e65d676eec893e3df13f639d07 - 0xffffffff - 530175217081c3fb3ecd17702ad334ad48f05affd5ab3754ef10be5b0eb5375d; - 0e53c5141d72c8c81d80b1a1283b0267b278f98e28ce08ccac7b010022e5adae - 2215cc15e950d6abfffa26113f269628f50f9ac37ad3260ae9189958d75080b6 - 0xffffffff - 2153c5141d72c8c81d80b1a1283b0267b278f98e28ce08ccac7b010022e5ad2e; - 3dc16434679d30686d5023fda4cc574563841caf1d588e965fe1ec1c4ba54398 - 4ca50330751d33ebba981277926a3fb801d216474cb183f90947680f5ea383a2 - 0xffffffff - 50c16434679d30686d5023fda4cc574563841caf1d588e965fe1ec1c4ba54318; - 09e68cb66b5ae2f3160a71738d1e9a042b9b76335eddc4b9466d0c6b8100eeb6 - 270eb833ae635bed17df9218a53a91b7afeb74f0df3bfffb8334c04773cf716d - 0xffffffff - 1ce68cb66b5ae2f3160a71738d1e9a042b9b76335eddc4b9466d0c6b8100ee36; - 831b8a99e3b44bf21cdd4f3c06da7c16a95e98f3dc42cf2ac282edec67d9b2ca - 482840e31c7620de6d290d747afc63ca199c60169f8eb62d28ca1142c5336990 - 0xffffffff - 961b8a99e3b44bf21cdd4f3c06da7c16a95e98f3dc42cf2ac282edec67d9b24a; - a022ace6772d82d30832328c7cbfedb622b710d1fe9313a77dc4cc5ca577a7bb - 39c86c57bf581c16d8c03b4ef0fe813815b5da1281f03bb3f2cdb0ddf19868d0 - 0xffffffff - b322ace6772d82d30832328c7cbfedb622b710d1fe9313a77dc4cc5ca577a73b; - 719d3f13c38b915873bcb14308bfd9bb6f4a6cfd249a745bceb55787ce480caa - c72de6e206ed24555d091763644d4405f2ee5dbd846a036d6a21442a6c40e0c6 - 0x00000000 - da2de6e206ed24555d091763644d4405f2ee5dbd846a036d6a21442a6c40e046; - 07cdd3cd677a3c1783bcf7855bf1dbb453809b66c66c7bbbb67690cea33ca581 - c9d889281ac117390875739e4b62df6dc3cca6c65439c46bb907c81d3a961fa3 - 0x00000000 - dcd889281ac117390875739e4b62df6dc3cca6c65439c46bb907c81d3a961f23; - a69a728035cc69d5d3f96dd4a8081864333e53e434820dd569deb9e58393d4b7 - 3f4ef71dfa1eccd817d3192dbe2e08466e4a66b4d836b0892b3636dc523098ed - 0x00000000 - 524ef71dfa1eccd817d3192dbe2e08466e4a66b4d836b0892b3636dc5230986d; - d249414415ac4960e934d29e08c75ff1b18431a6e18f7404e638293d3d8e81d5 - 33cd02e07762f74976834d1b6dd3b8eb7e2ad7a5d04ba90bbe747476071f10cb - 0x00000000 - 46cd02e07762f74976834d1b6dd3b8eb7e2ad7a5d04ba90bbe747476071f104b; - efb782aba4dca351a5c9279b370073840b977b2458c6c84c9c9046dc92cc5507 - 6d9f50eb56b84989aab77c54987f05c715b74185417863f2c275635d2d6f2eeb - 0x00000000 - 809f50eb56b84989aab77c54987f05c715b74185417863f2c275635d2d6f2e6b; - 10c4381ed467e27d756ff7a260a6ffd282ad757b10c9956c518a43117699ee91 - 9b9a70c67be3296ef9d65fdd8014c4b263c28fd31f3299f4461c688c469ff704 - 0x00000000 - 9b9a70c67be3296ef9d65fdd8014c4b263c28fd31f3299f4461c688c469ff704; - 5a30428bee407ee673ec7d2cb4854efd80b9761df5dec906463f888f60be7152 - fc2e139be53203eb73041e9335253534c420208164682c2e02f31f084f5582f0 - 0xffffffff - 5a30428bee407ee673ec7d2cb4854efd80b9761df5dec906463f888f60be7152; - 43c7cd903c7dd7cdab85c6b5585955163e0da7dd0c5b5882ac620246619af342 - 0eb52162c69425ad75b778c39746014789f7929119d4e122d4b98bf64784fcde - 0xffffffff - 43c7cd903c7dd7cdab85c6b5585955163e0da7dd0c5b5882ac620246619af342; - f37f3707e4609d389096c1fea551b572a6b4644fd6af2e9e7a0fa93a91ae38e5 - d10dd4d911346a5952e3123d4f156a7e40807d142c4afb4bc314ac6f9346dfa8 - 0xffffffff - 06803707e4609d389096c1fea551b572a6b4644fd6af2e9e7a0fa93a91ae3865; - a4f4c203cb892691a6d6e9dff8a10ac1a8d9470b13ba24e1bddac05d6d7f9c0e - b88145fabdeaa9fa108bb04a4d283ac034b4c8d8ffe1b2174de9a80254762c54 - 0xffffffff - a4f4c203cb892691a6d6e9dff8a10ac1a8d9470b13ba24e1bddac05d6d7f9c0e; - 649d8ce64f623228553de99b823c5f5c5ef37f00e2ddf658fc9bc2405afde715 - 0f24ace92223d2db75e2d82e8a5bc8b0e7981478216b999d2bdde9c72732d58f - 0xffffffff - 649d8ce64f623228553de99b823c5f5c5ef37f00e2ddf658fc9bc2405afde715; - 3f466e24ed4169ca3df624d747f054f97422d5eee3fade2fa3c4eba488694a6c - 37e3171c9aa56d07ffcde4f1fd0fdcc41e2086ecf93c9e53f3f6a4c3e4db587c - 0xffffffff - 3f466e24ed4169ca3df624d747f054f97422d5eee3fade2fa3c4eba488694a6c; -} - -pickn { - "91aaaaf3ff9e58f299c0f6d0a4a3851d100423e4b7380d5a32a86cde6cb19562 - e586b4ab140cd20bfc70aa5ae1c389941a8c631ce033f54793d77c91b5e3d50b - 911122291921aced748e1346261ce8dc0e50704bf59495c3d7c1a9806ae58b5e - dac7c42fc0253029c78310ea1508b2464db2c44689fa7d485fb5863b7c136f15" - 0 - 91aaaaf3ff9e58f299c0f6d0a4a3851d100423e4b7380d5a32a86cde6cb19562; - "e8864778a3aecd6f35f8afa097072e94c4e50680baf91a6036f4f24fb0dcf111 - 5dec44933a517f5a8bf6d858920e1200c74e65132baf0d08ca033e36e15a1c46 - 4fca88e6d122c0a460b5dd502281d80616edd30bede891226b4b3c4b3eb9eea0 - 5fbf4e034d45326d89ffe92bf4738a7120c63ea42568c25acacf4dd7915b9e8f - 343001277d416dd31dc770232fc47c7d02884fef3fc10eaddf6f8b42fbb00b26" - 1 - 5dec44933a517f5a8bf6d858920e1200c74e65132baf0d08ca033e36e15a1c46; - "f0cfc16fe0cb8910c26f6f46e69954dd34277d171044140c2dc448b6f63e053c - d54feccab8d55297eb24f622818aaa2ac5b7fcafee5efe872bb600cbdce85a3a - 5f1cb6c6b4e8eedb566150a99a7c92228e7f737efa1810b9d40f9a4ea020e56d - c762a32a3f3a6f8cd956412eacdaa75ee56b347b952a7c18dd19c0ee2e50b8fc - b6e76d1d2cdf04692036f26515ca6b92d57b1bba625f07553d2d4adf89de9611 - 874c9e94d425fe9590aa1cde396ec56531342207a0e3b42ef0ae710bc9b68418 - 872ebc0bbd45d07727887aa8116a5743880093c73b3048c3b46920c04e0f64e2 - 9cde037629d20a4481ba7050546eca2dfd293b0953aa708764531bd8d0fba387 - e9f7cb8ed4af14ac61722de66406e97ee9a87d9362dfa87e489a9c98f8b891b6 - 6c5bb4410d83505ad34d10409d02fc005a47ef802b5d9130f3b5d385ff78957e - ff40983b47e7263665a03e4396421fc34209afaf52d7d69012833b4a228e6c40 - 4588ed141f6401c460ff6ad4888172c9d19f15f214d96bedd59f818d7c03b720 - 99ede977304bc4e8f5edc44463b48fc13c001f5c584f2b100c791ae472fdddba - 8ba76d6aa98a062e1091ca60e05ecf21208657bf287f20c6cacaaeff41a537ff - a18760b118187f5b392637dd5c5f97ccce583b5b84b69f8e37d8caf77c616db0 - 7e921cc5caa3b3884358cb0ffd2d9d160ed54256049fa1540d861dbb6dd1631d - aa8102188fbba89c45259c52080b3969c234d070411bc4b91870a8b482eedfbf - d98da58b248507edf310beb9fb522dd23d88bc0412ef3b5bd7a13b7a15070647 - 0626183221836da09c9bb5a1dd07df570883af17a9a8fed1c4bc7e8770e348fe - 16b01a5593b3eaf0902d0ade7e00da7b7a57556c2e7169e8b6ba5df5c5fb02a5 - e40715b07034e109d79a95a8b031eebc6c59dd0bb77de6cb960fe65a6d1be59e" - 20 - f70715b07034e109d79a95a8b031eebc6c59dd0bb77de6cb960fe65a6d1be51e; - "e30f85631b4ea4aadb9487c76cbec40ab63101a482e5aa2e3ee329fc21071bf4 - 8bc9fdd41fe1ecf5c2cc2075c72e4ceab370b099ddc672ee16bbd7a7de19dbb4 - ede086a76fedddb463d9f0fb44b39ac7fb64665061eb96015d4ed39eb33cd772 - a7cd74dc0c94aa8bfa480a88396b7f293f1ac329e4ce79e04507be4edbf4fef1 - 45f5c114a46bf0b2c8be1ecb8fc7c81e7fef668a2e4e9769f2f2dfecf405af92 - 123d101a02348f81088beeb6fafb7f720b49631736829d2f19e95b8d833684a3 - ba936ae1b5555b05601c2e59bf9585846ac01b5b7f6fe4bbd45e0653e961deaf - 51c0c307d99e34a617ead92dd37e1a0f36ebe2e45ef5b3690fd114099d483dc6 - af94cee7979c057995680c3a5adfe26e7dea759e2640b0b09aff383fa355d289 - 6ddb6908532c513f463473e449747f88d47766460ad316734c2cca87963b3060 - 88192953b60710667d47633be71d87214d2dc8be882ceb6928daf311499d2e83 - 37da1b76c2c16025f0644b6451027c8bc9768379c3aa7ab8410d34d8c8222706 - 1a46c0531cc13f546e001a67721931f4f6bf8eeeadaaab667ee651db0b272509" - 7 - 64c0c307d99e34a617ead92dd37e1a0f36ebe2e45ef5b3690fd114099d483d46; - "9929839bce983fe53c4f8f9d07a462f82e8eebabba2c0daee1378abf585bb53d - 4e47d3997d6562c7b0347acc96925bd1907bf3a9c57d51b099c4a574d7bf8fc7 - a0de02656ba18dd1cfdb2938fbb864f9f59001110391ee1818f5c1dfee64f61a - 9c4153154f5b827bb847edfa04ce754e442f2e96ea001fc27f6d94ea8b06fc00 - 7ba90562980966abd857be3a84c1bffeabbb589415e722e51225f8317e829777 - ac4657b264ccfad4f5ba3f7a470458101d5c6025c45d00191ddd4bf85ca48705 - 8b11cfc6ceb02c5d4b3e19c19f1ae745fd0cdfd9da1a80e9df1be8f7bb99ace3 - 1202bae1f86d05ed8fca09965bb1cfa3fb696a3f2b7089ee10589394639da2bd - 143f799fc9ebec77aa444eb5ec95f64029cf61b875a2f94e228323844cb8eff9 - dcf99568b397db79bd2e8ae49778e1e49865e91525f932a1813d1c395420a43c - 84fdfee8137558f0b9f2441c375fce466e3212c0d0de3179919fb130e61b711a - 602454ffaf59610f76863a7456146f866539740d6dae63a3628d408e34db8e76 - 86ae4475d41ea312a97c821ac78b815e459dc6bb4d52c236a39e5e53ff17f5fb - 0fd56e878b74a2daebc2acc30c31c279f3dab146d748e7aa9b17eda7ac039c8f - e559e8bbd51113f84ebbe35ab16bfd46cf610a5c61307b986111ddbee3037f7a - bac90f3afdf4f4828368090958aef5e49aa83d25fc5dc15d9b8a354a30961e75 - 253eee8f614306e59a31d9fab5423ea269b67babd54c52243b86b8af1372f3ab - 69828b787af1831f772a3bb9a410dac8bc47909ac6bddc94a5c600a3167ce780 - 1903e9ca239847045875b0bd4e1575a724d9f729e3cbfc377de17ad29839a121 - 57bc65c0fd8495014f31e3be740967f3fd1884bee743b20b947339923530d63d - cf7427ebf6088e6f3385275f993b5c06ee14f738b59d49ecc327521ddced2a4a - 74c2a4122225e97b646d6a38584626a6ed811506ee7cd00b48ba563b7a776380 - 604f163d7d7f4987c8aaf2e7a946cec1597ebeb59aaeaad0dbd0737527b9350a - 30e7ae69cd5fb42ec00ca840988a59bf5688aa0b810bb2e9ea24fb5b322891a0 - 68caff542deb61b055bf65127a94d8ab107f5d2496764f97351dbbfbf34928e4 - c0d307ece7f18150d958bd88bf11912dc818fac7cae06ca9ec3fafd15d452af8 - 731b9ae286f29660fd0814568351bd6da114f3ee8b87c217cfe531746faa8c90" - 8 - 273f799fc9ebec77aa444eb5ec95f64029cf61b875a2f94e228323844cb8ef79; - "85b3448d0292edc0b14cfae9225989a16a61ee8441166d5b97faf876b0ab6c7d - 88b0f7c78f8390b6cc1de0afda111326dbb41e7603b82033902eb56ea542c2dc - daf45d38b24294648a7b203758ff0654d42507e958bbd98c72229aae0a9e5757 - 98b44fbbf6e45c81c2473b626307506881a9fa609c546741b3637b731ff62adb - c0779c0f0a35658998ee9cb6b0cb6b7e089b7f288ea171c18bd2664ca5c3fc1d - 8da42494a2c1e2034d2009fd486cc230085fcc8af171e2bc2cf428bbf9b4bc86 - 6dfb99cec539941c9e7d26e5640641e4ef2c3f1a732f9c85759858a95c346ea1 - 471a369f8d1d3341ac707f1c41e5f0655cae51d8a170037ee349b3c14e01be2d - c1b75b02941ae0c2e398a2c8871955c8306f6ab88cdc6d751e11b35605d10829 - ea508e41e33ca0b03b5d93a54ec359e01a5a00a98a80f7e6d998641a6cb7ef58 - bb009a72b5d5be344a3ba9509b6e8eafbafdab4b0ec9202c8d29983935c6937a - fdce2ff0df8548fd7df3b8a087aa30c819af0eff3b8931e5ddedfdb0f4450919 - eea3990f7f4045a3b6cdae27e4dc8a8062049ac4423ce46108ab464d866b80f3 - a18000f37c8c4a30195e71864b14f170a3f5c427f4769c736fbdc18b3fe68887 - ba9aa19e99a69b34f357f92d95a6c409f1bb331d1d27b693164cd0dbb552c771 - b5863e0215351b2f9b6f661ab94c833016bdef73a34b100b6db79ea8d4b22ec3 - 983eb31be6cd1cd4cb53e489e4535683e21c00e6c52f685e84bd3cfc98f9ab2b - c31c18c6c12feb3be4e51a1671fa6001c1dfadc0ebb35349766d9d07d5a70025 - 6f81695294071c711947499c2c3d96969a70948c29ea9506ff675d25052f0950 - 3b42ffd7fb054072e7fb93bfa63d24511e6c93455cdd5b9be3c8382a3cdbfba4 - 6d7463ce0227e29a2706b8ad6be0d6cefa173c261697520b23edb87a189d31eb - f6cea0722a490515f48632f42f167a911ba00fd9883604e52d713210f3d9475c - 6281bf17cc14876c75e9620d8bb9bfd6e4dceae1ad3cb675769f94623ab3a955 - 2c943465a6d4484c71b2c5ae26e1d738059667093450cff54e6b45f12a7588f4 - 3d9ba6aad36754c5c767a0f288b6dbfcd2f1e21bd14094f4ddfb7c4bb79ef882 - 052e95ca0672218808e36c18e1fdee412a945ad735ea883abd527dfe8343a51d - 3f8ec0ccd82005e01ffd1fd7413a2a1dce1a177cf53474904cc46abdffd22a22 - 2030168387fa230e7a77eae5f051b4e0f1cbc53a78a5df640479c9fc373b9d78 - 3abd6a4fb5a585bb1b4609cebbbd1035392c7565654331a173092c098e1583a2 - 6bceb64086f3874854b4c89d31d20d8772b2f48be6a5fa1fe572be9927345103" - 2 - daf45d38b24294648a7b203758ff0654d42507e958bbd98c72229aae0a9e5757; - "8a9e76766b2eeda9b4de923344005a825bd2475bc4d529b033de3510cd405b73 - 5206880a0e1c282a10e03253c787e005bc9a18613b6e238f1eb72c604844a2ab - acd4fe99d1df199ca20c743238a2bf9562ea4de7b82061d1a6861d77146bdfb8 - 6dccfdff241fd837508913d7e0b1ca3e7a426be578c2e82612f7d2b2491f08f1 - 76aa8f5fb4b3592ff58785ea27d287fa5f250fb84fc9838fad8d6a2cfc223dad - 71019d81508491afb6a33d8c99aba13d59c63bb88a2ba1182c144f171ed5a815 - f6ab8f0b95fcaad29def12e05f348a9a35449c7ef5e2859748e69c517f4f3f65 - 237b33cbba9ebcae93f8a4fd863f62a03651be2e936ddb5a62dd3b6a68734b2a - 4bbe3113be34a9f7fa26dd96258d1776797b8ea454a2f596ae076bdc0f5d0ff0 - 19ae0acbd7ba59869b51caa13e1041bcffed633235a858f39d0d583575a64123 - cc5e18fdfedf9a416727f81b24a227c0c0771565fff69fc3e19399a254d8c9c5 - 50765357fa421d9153c1f02adcc98f188d2aac6a39fc8d522c5e81fbb775bdbe - 10e3e53b7605240cadc28c4d3aeb1afe40b7d1d547f4ad60c8d03006b42fb499 - aec6bfd729a6e2898890c9ee15338aec209c94141dad7b7884f7be481a2f0d6d - 8f9620a5b985a3a1dc4825f1f4c683457a98f799118691bc57b17ab42713b593 - 92c24c6920edb4f37e73dd795ac9bbfcd8035dba28421fce290109c222bfbc86 - 45bdcd99b590e64aeb5173c7538e77a7cd10a9d786338c43e3a0946b33a9c822 - e0b86e6b4752ea2cae053b1bd897c6d749c7fa46308be876b8006c3ffa2d6479 - 6cb53b7769f0da52c697c8640c029099d84afb55c20c9ac84b959ff36c339e92 - a21436f9a4c876375d16c41bd3780f024b867f6fe6394c5c64b4ea5a6f306c7e - 93b40e751d291e90ec3adf902935285a5746781bfc1c594d520dc5828ba53d3f - 6dc080d82251557b9804deeaae90bb1a45d9895c5067f3b04dbfcbb5ab0be3e2 - 22783694c9ab9d652dc216306ea4fc09734e90bd08625e688b9bc1b8c73e3366 - 078b0d30cc5fbb248a5e84a416a3d849772ef6eadf20f73eeb82125f68a216e6 - 83dd79bd150e5f7bf7a357236ed41ca06b8c40bcce840e118f6cf457ff151654 - 72169420815aa9a38719072be9c824d68a0cc5d6b4251ff9180938def3dcb0ac - 63f1febc1579b537b71e1fd12687ec49885dbcf93db68f44660bca4780ca9aa8 - dc337f8a3699ff549dfa26c1a5ddab43cdac7062d90fc2a779ff528c414035f7" - 16 - 45bdcd99b590e64aeb5173c7538e77a7cd10a9d786338c43e3a0946b33a9c822; - "aa199ae7d7c298e11aa74e5bcff2f206fe6b53962f3bb39767ad6df19c58d93d - 4b95d1e296609760e06e7e476af7182db41712d73be94a3533b7332a7dbb780d - b72f91cbf1117db1982b035f0e76e51bf4cd8e968b932606450bdae0d588906b - a1de9fc4d0e579aad319de0280fb45b5fed6c9d38dab5216ff8401376fce0230 - fc216489a815b0c98969118c9ada3f7152c4eb07217abe54fae4fd4d63e96811 - b660cb7ac499821dc872c3400fb2590527659ecd72df16c7ec5376075fca7d7e - 3bbbd9dbbc9263d289de49b1648fd64751d8b0e6d5d506a356fee0ed6452ce89 - d17efdc8cff826d28ab55b51211209a27054f2d33f108f34ce7bdc5c71b918e1 - 21da90e37be817920404ff5015346dd05ef32e018632e09b7cea35d42eb1de1d - 66da40ef6fae8df49b5aca9a2400ea4fba527a9513c821e00985625615e71416 - 61e5b60766ca457b36aeca26a62e6f4831691ef79bdc72158c2a2b85fe3b5cb2 - 9a0917795f936a5384c4a504b2ba3d7056906ea4e34474c310b873f88890bd37 - af65ade7e8f0022420932d50d0a8587c43ac4436bc511248358886e2c7072c1f - fadd2a9fa72f438f147964180ffba490beaa55baf6275d8ca347ce5f5f94fd05 - debd9beec2527f284790a9ca8fbc074ec359f4a89974c2ff49780fcb21c5ea91 - f6a57794ba1265d9974e52f856acd3dddd0f6a50844172466c82f0d49eef676d - 97cbe03e723431b6c14bf1681e845d530e083ddaa26f055d3e162615f57c113f - b89054ac8b7135c1e6d215e4e5dcf679298fdcf6ef35301002be560389f8cd08 - 8ba6a9d5ee4bf15d87170e7c050699e858c6316bc92d5f4e19eeb3ed82e012b0 - bf0f272aabf63cd98397f4da2fd3c5742373529c91ab455fdf394fb6d0b8272d - 7a2a4980dec077abbd6a06f8b90219b818d4990b8f62b9dfc50bc4feec31eaf6 - f1d55b4e207cf5b7bdff5f59a63b55fbce6704b5ace5c5183f6be8e4770c567c - d55b23bebc2f16fc9adddf06ece363add71c4cfd73ab228461cfb926addee0cd - 76ac92ee62c2bb928bb5ec11673b51c2f1fec44ca27741a647cadfe55733eb41 - 1544a9b6c6cf77fec3e83bb08056bf18f3eb440611249f60cc97b58b5a93d364 - 702a0023d8ff6a108a2eadb777569f54df2c3b85634bb872611ccd8cf74e2807 - 8dc8889dae004e88a94f3c3beb4d39da7c074a038ff8899c5798f7a26fd17ec9" - 19 - bf0f272aabf63cd98397f4da2fd3c5742373529c91ab455fdf394fb6d0b8272d; - "63eca008f74f57babb34dde1fbaa5264656007f7479d8df3ba5cccadbe83925f - 001a67bf61d077528bf9b386694a99d7293d6b49f368ad54767a2829643621b0 - 4c124850c332a4e2a6a335e5f5676f803ede7958719b083f648137cfccb82f50 - 39f293fdd5b28c882b824d1cfef38a327334776139bc2d814834a86d6b2d93bf - 114df0c93aebb6a764740e43a67c6b582b49f6d0c393a23db42611023c044d9a - cd9e11bd49d7ee82e52f89d7100fd64c4474695054cd22442ed2bf17991cebe8 - 56931f05328bd38dea431af6537fe4a4f1e419a24c5181974e61b64367a65a5b - 2bec95a108b7a500937b5a3f3c54ae9b2cc7b11629ac581f7d8663b9c910af96 - 380777fd3ab97d140a142d3d37c7786264ea00b63083219652376d7fd56ea846 - f0fb2846d9cb0b88751db963f9360ff2bda25052eba9edd2ec561807c1f0fc27 - 34294c58ff5ff91f1472dc3d7b3099c81ef434126c58de3751c788a71f2a78de - 05c5a1c0bf29c1bef5da9298450b8ce6c5856b3f7e2037133734a03959573927 - 7fd9db5b2418267e94db49ea0534ec8d397f32f90981448c944a4ff3cb6d9c3f - 7015d096ddd557e669fcedd9b3b2624b910505f756e8ea160c5436bab604669b - 46858fe7612b43ba805a6c7999a3be02b1e635963792d228f1414fbdf13e175b - 70422706d36540ece562d1c36bfc5b178d1cf47c1ed87bea38be5a9f95010521 - 250e48d385aefbc10776582e71e4139148c99d6f9ea8c46a8e57194986eb2ef8 - 44accaac045de3183f7a45f89d4bdb5534594c90296ea664061f3f8a142f2d7e" - 9 - f0fb2846d9cb0b88751db963f9360ff2bda25052eba9edd2ec561807c1f0fc27; - "3fca772e14531611cf82782ecff97358f710763698b73e84479056a97d7d352f" - 0 - 3fca772e14531611cf82782ecff97358f710763698b73e84479056a97d7d352f; - "fd8d6560ef50712fb5f0707c342f618cbbe5697d261d249ad4887dc5ebac4f07 - 89c98bc89a81402e218e377257bd1532d524dd33a3b8c0458b2e5211d4d7b305 - e48938f9271a8861d46fa6063563b92c0a6fd59634151b075316faad9c87008e - 332fb871bf280cb18dc5d444a565ab1e505d274e52c231808af7d52cc28990de - 9073abe824ac2d30ec9562a5a67836af5cf9c038aee85ae1f7d387da64f558d5 - 04c3ffe8e6ed014162fbe6f3b8467114afdb6d5d51ad878c4462d8a926d9966a - 5864d08abd45dd3d4b6e59762a8feb76cdbcbab01a66e512d40bc070e2754ce9 - 0a780e6ecd9b4ed16cb4fd1b4b060c74d97a4268733855102b036f89cb4d5bac - 34bddd4d2ac8a920864e6b9cff04ab70f9978a16d0ceb06aee33aaa78e49328e - b65e8424be6a9247ad08f01a28e887bca33b3f5c28ef3adebf37798972eb99fc - ebd2aa397fc49104dc1c3f82f275bf625984c8c84a6f699e801b736c667a8cb8 - 8a704e508538e1d8a64c4c9052f46a07151c79dcf95e6359a8e5f41370ba40e2" - 4 - a373abe824ac2d30ec9562a5a67836af5cf9c038aee85ae1f7d387da64f55855; - "fb1b4c61b9b2fbe2faa5c0e3227e3c2fd4c8277aa629fc88fc18a4a29df3d6f0 - 3431d240f65ae76dcca41df165a4eb4c5af155027844d80a0c7f0d07ca4b5761 - 67e879347f3adcd41cac36e8c80a0f4c2ea80eb08ae9ee2b21e528769eb4c7bb - ce843b0190451928f2e637449b5ed95580645a0e0440ab017026631c619d2bcb - cc85641974b86dfa780e3edeafc0d6730da6f579826ba8f9bb8ab065b1e149b7 - 2f0c812e2c9114bef4810a01d108ff001fe328d575cff750e30133b464e2648b - 407a5a8964f840ca90aa4cf79a18f5760f7a8ff23bd6bf2d6dfc88c980728aaf - 26c2b3f4075ede77023b2de230edf8ce5e75a0cb9f1d81a0d154ba5d79de83f6 - cd98878185983eebc6f188559d9bbf8dc422eca6598a7df35449d0b39106c706 - 42aea74be96565c44c08df95a6aa58603085152d4f7fcf38375283859d17a46c - 31383c1609e8be3dc7279916eb5bb5d3e95e745a96f55ed3d69f296bfda19a28 - dc140f380ac16ab63124f9f7a02aa458ceeffbed4a9b8e31f45c67ce6ce1c394 - 81bb67da90b02b5b19ce9863902f12f33a85795994d7d22b914f0e82a44a4f11 - fd76e39b1d68f07e538353c0ffeb0c1225f5de64166ccd419c10134329f954de - e9f40437c324cacfc6974bee082cdb82c432a86d8465a0229a1e05fb19dec82d" - 0 - 0e1c4c61b9b2fbe2faa5c0e3227e3c2fd4c8277aa629fc88fc18a4a29df3d670; - "c2b1fe3853bbed5be05536475b2f1bb818eb5ed0111f3be6c6b3bb8ede2d0beb - a692dee2a40878814b9ded7ba7ba47a391585ac93af04a0addec3904ed912ec6 - 015e98f69b98f157f559f8282bfbd20e07cc4a9e2929feab5a8c246011d1098f - 76761cf13e45886da2b747f0de3a238be8aaf5868eca88c4de6b614ff3902e12 - b6b06a046fa5f2e43e698fc96818cc7bf888d5c4f4f2f0bda86cc35c1b48679c - d7ecabc614122bb6908ebabcf7bcfa9a4fae88bb8450d559297c778dd35279f8 - cdd96bbd24cc00b4fa5c8b20efa66a3db1d62e76f001dbd87800fc59f4a29a1d - 9c16ca817b43101672fd1cb3583a6b44bfe2ab5956794280a3a32bd2aa651656 - 4d7ba5f8240527b3c9de386b00dafc163314b3f1311bc30b8434993b50e08d67 - c4ab9766eee58337a92412440f12083a0205c39ba27e0877613b4288dfce9899 - 71ca275f3f7df242b5770d37c92425bde86184ab23c06c6b6bec799c47651433 - 49da5429ec1ade01eba828ad21d230cced84c8a28f239a69194cc0b5de9a0f20 - fc17ee1656b6f0de36158fe2db82ad3f63c196c54002728bde4c5e27e6c0d7db - ece944bcc82f520e8171aefe728863b99a9772cc48b714d82426224b302b7be2 - d2ea262ae062bc1167e79a7bd8abc2b6c7cbbdc03622495d1ff3a56e23c03f72 - 9be5176e8e873f9c320cff256e7b8801cdc1cee0b32ddd715d71abeaf909e0bd - 0e666632a0ea9c9c5cc3fa519a42c34313ed2f64057106e38dddec87d68146b0 - dc48385d46bcedbdf17f43e7b2de274556b411a0ac4b7e89a2f5f71a1d1ea5ba - 76919d83ecc757cfcd916e23e5cadbdda21793a322c0fadad4e581819ebc0b18 - 84830e7a1b4b50e6ba90fd5f8b1198aa60b0c8987c962e9eb12adc2cc389ee1d" - 11 - 49da5429ec1ade01eba828ad21d230cced84c8a28f239a69194cc0b5de9a0f20; - "99f065bb53134babd50f3f46adb63c64f7600acb39487718bc0a39fd3a5f4ebd - f70702612b9b45f7833232a7267492299c23caeffdc4f8a494653cde777861ab - 16c9b6b125cb9cbb201cd0a558fd58cc29f2d197b9b160a0cff88ac890b9e429 - ff87c5e3356c8fb8dbeb739aaedd0df3da2ec3072e5a806569a5847fcbcb4267 - 01d23260fa58bc7c077e05cac9e1359a9f4f2c9f2bc8312e0832376e3c3cc554 - b7b5071166d68c704410d4e9123a261631822060c336b8cf0f5685a7df6ae6ea - 621633e25b1ba392baaa31fc2d6a57e8286f6bf6e5edd5a0268a895af91d61c8 - a29ab1d52fde5e7026124c3cec2be1fa674d37692165f46d1d91bb9f41156a55 - 26d8eb53078f2e515bdee3adc377a16b54ae575343888c27c6d72e07dd7ded04 - ba5d57dae01659afb41b3b4712f0ccfa3b6b2a0d8a99fa5f1078203925897618 - 8cf51cab05199e2154a5bf655e6a9e9498c20cd08b564936b164b0a7f49a1e30 - c5b3977228539a7f573c88800633f1da39a3f1bff9e1018af48f94f211a812b3 - 149a93a1ded07e398fe248962a7656f9b0f15ce62c4aa0bba4a3c6f00cc362f7 - 234974b4054622b0672626f111ea5b44afd81dcb15f29974585c9b77476d9290 - 4be4b2338d92909e6a138d4d2e53e72707a4af62acc8cf2a121c8105ec4ebf32 - 1e6192c030263e3847898afaf5003000552b9ccba7caf6361c1f34fa0890b086 - ba698e634085f7dd38da012c8c97efb97a9b3c08c829d660e72e46d12eba79ea - 712198efd6734fb564278f1bd0dde082482078548dcf4681e65e6dce39328c1e - 8cff8caee2ed08e384331fc0509c1ab44b291d840d19ee991c9978bb7642b4c7 - 98a539cf588938c8ee31d80ff0254e13460f50d7907885f2debf7b68be91edf0 - f0cc67c038324ed37948dfd94ab50dc6fd07ea8b441009ea2c4e185f0d800b85 - 09ae723e872da1687e02c883a254e033e8c67e784ed33e3a28eb8cc92be37d32" - 6 - 751633e25b1ba392baaa31fc2d6a57e8286f6bf6e5edd5a0268a895af91d6148; - "97379391993ac07a0b019c4b6d2d08d4555e5761b4faa7bea8eac269844c6106 - a2aff4f6141eedf254a8f7122ee37a1403b97fddc2805ce4ad010829aee1575e - a54665a1ac19c8ab83dad06bb5ce855b45246a9ad338516c5d67948f86eb1aa7 - b8fa1fa064f6bd0af94d427686a09472b6a841576754500464ac3310cc147d40 - dbb4cd734b211f5ad48452a193489fa25b0c82a594105a96ad627c5cd5328596 - 5396b8de36ade038e4424344fb2083226410f771c8ec979e916f37710b56cffe - 039b59e759c9a380200b129e08d77ef53d703689b60ba5f117111ddd27f1674a - b3456d7bfa566b925ef014c6538c89251b7c0fa9fea89fd1806f97bcbfc3cdb7 - 4ab7a386cbc720b5676de0e76d584d6fa538a0015debe30c37e1839165763d5c - f7f55c12c67c1ca28b3947fb7bd7c4ed9a5240f962425b9b4810191d448af7c5 - 8dc0a95877c2ea17052b55c9f93440319ec38bbf80b375177e84ad14bab558dd - 246d97123750b41e5bf2d96f10b3c9e66e92759373999bd94191a65f25a864f3 - 5bfa2905cb0b0aef125fb39deb2cd392b3cfe3f3ec58f8361e8cd5f12bd2db98 - 192413efd53bb958417f65a818d48d6bbf94dcc77210d9623adbca15633bd7ad - ee95faf7a7f31c7afd13d393ff2ff4e448799c87c62092e9e646efa4c635d1f4 - 77c00984400bbdcc81aeb42085c44be70137db5a0464f6081aa9c8e646e96e1c - 743cd93d6f6a48161881d2224b7d7c0ce96d56d54adff0b719955cde417b35a6 - 92b99335dcf6b33de126d05329d8884802cc3afd0f93e9dea7db5f6dbdc6c623 - 584ccd19fe7395f9f2dc53f2a9da292e0cccfabe82bc46aa64c29581fc570deb - f9321c751abb9df278fbc2054e3fa368734cc852589891b49580332a52b6bf72 - debc2bf3cedb7c897924936aac0b485bc05eb89530c886299e8d1ccad277355a - 472d49f8ccc249b8271fd0630ab575721852e98015ea27732915ed06775b444e - 7b29b054a2347baeda4dbd1b739072e6d144aae3547adc8287c3af84285057d1 - d7a79b1f1ca757e17729436fe744ea7d99a64d13bf85737b6a71d41ab13343e4 - a957b6345193173a231d9db8acb3a6c09bb411d210e0e52c94e75a4d68602aba - 6277d818cbecae95f1aea85481ee631ff1e7c77c6693e6349d1804db784238f2 - 27e1d5a11dd9025508168d9d11cce0b8f0768b6846105161eca53abfa4aeeff6 - 1823372e2c7cb9fdcdc97ca64ffa06564907b09015472cfa73bf0a45d7c90bec - 08cfef24b9eb875598779315de4fcfc918931e05f49b374113c25cb5b23a4944 - 3a5d9db56bac2f413a3d33b6d7a2f54053aa3a641d6554d6f008779939f2682f - 22d0256cb1a53aaefd5d2fde14b63e5adce607ee5a22e8498f29982f88088938" - 18 - 6b4ccd19fe7395f9f2dc53f2a9da292e0cccfabe82bc46aa64c29581fc570d6b; - "91a76b64122a404fbf873d65089a7613bd3d93c4227a4b05817223640ec20ee9 - ab46f7649122de1d73278608e02d44a1367f4f5a7c01d1c17f2a50fb3148dfcf" - 0 - a4a76b64122a404fbf873d65089a7613bd3d93c4227a4b05817223640ec20e69; - "1c12d157172079be7ecc31716fac8946f5517a3da6612bf4a0db65707e72764b - 9d9ec126bd404e82448a16c187152307ab6319fdd5d4280f070275cedf1cced2 - 25be86a2abbf7619f7b92855cc50572af4fcf6ee071078d24baa24d623ebe4e5 - 9b3a13dd1b67a284a9ed869de2663d82035342bc0cad65484da1c7b60b82a55b - fb82840bfd348ccaa0d3d362c1123096a5103a09f979e2f4acdf7aa600e55a84 - c64642a4946ed50924eb1a4c6ab73b53942c5a17cc868f8c6c5ef92ce5986830 - 8e7aaf58bc15be92a31af4f0b092969a250222e7ccbdb638aa846f8253c33d50 - 375bb009118659c831591bd6861e9c9eaec85c0fd9a1facd5f2767ff27e3d36f - f5b4b72840ef438fb8f7fd1419aa5248dc38126cfc29099cffe68aa94b215b31 - 3b0cf55a0dc7856788375bfa1390fe4c628c271c99ea76ac78517ad5f36f61ac - 82cf74084903490f30152c730970f8b622de5414e1a60e1efafc6aa57ff2fba3 - 9d476226e3c4f844f392e7efea7726b02bea64c9aa1e78513efb28a000cf9624" - 11 - 9d476226e3c4f844f392e7efea7726b02bea64c9aa1e78513efb28a000cf9624; - "4f8b3919461d4408a4d4375688f8985332745cb5253671dd7fea3c58b8e33e5b - ecd4f6bf71be54fa88e51fd9d98f60c009fa1b4f15ccacdfa7b26a5ba52b1794 - b0bc276ac01ed6b25fb569ec8c614f4a9299faadcb93bdee4dc637c888381d29 - 2fbc1564ecd906f5d56838c9ceb3ba5b5f13925cadd653008f1ee9f54c18ea37 - 66e9f3ed35f45675f9601181ddcff688229371c6428c1d9dc67699821e3130b6 - 6b08a213ca51403db7e08bf6945b23ccb62465f582248661b901b6e550345516 - abdb83672459dad5b11c3cf9e4d21235ff92c01ab00b2d44aa6f10bfe9b274d0 - f609191b4efb288359af7170acd0904c57d45c7c658c0d670e0fb22f9ebc0044 - e4056ab4b8afad5e6951c8168477f15ee3e11fe3f236a1d19ea201f78b8898a5 - f3b253fd18515ee3dcfd4a14409838a3d993a5274bd77a1e5a7088d20ba6c592 - 710b8819a202ab80bcf308aa94d3305944dc739e33648df045bba215160f8ee9 - 1b63314e9fbd605ac063546ee4249bf9f37da0b6b78d99848f487c6880f70c3e - fb04f3e49a44c4eea104c213446b0e6b81da047a0862604f488e0c6128238d3c - 43b1624809a253f46b12d97aa08dc3f16b25613022483b8044cb01b6d23cfb28 - 0796291d8916b0b70ebdab0f42b8cc55c14734cf7a398d48f94b48d9871ff0c2 - c55cc772bb71392f13258339eaa1d8b01c402e8f6c9b6061f0e1c564feb98234 - 882ad3994d999ac7243ebe9955468a52b2242564a295a9740af8980043f9ef0a - 201f86fc5826d74580c3bd3fe04cda2a823c2a4d1ace3e862a9bf6873ba25055 - 5c39347c213f6e1b5ded1de9f92ed21d99721c4e4216d5abe207321caa426971 - 38ba53a577809f2d2c3cc33016e6141f4a87b6f57b75be70b9cd3d287f07ab00 - 7b9e12c5293fd99ed3fb50a2eac4587bca4aa8bb97c147626dcb9688593ad2e9 - 4852c30283c1ffa109aade1353d11e9712d8c4e6d416926f231a2b89b78fbdbd - 80d25270ef8002232cd0e35433ecefc135cbcaa06511ba3ac14484b6e41c953a - 6159366a1aee4692a9986a12234728c685cf766ad3e2c4cc842f1142c0fb856e - 95d34152d18b9942bb13c6bec8e533c259adfd69dbeb06da63c351997463cee9 - dd5890be52cd0207fecd0f93dbd3a6819aa2c5a592ca0975a419104e7ff4c284 - d9c3f02b7644b3580d190f03bfc9accc8abf9546463a2171d9cb19b3783e0c92 - e59449e7a9d07631450d85d108f3cfec2d67d63ad65a7311b310bb10137fcdbc" - 27 - f89449e7a9d07631450d85d108f3cfec2d67d63ad65a7311b310bb10137fcd3c; - "e5d98efcc2879f32793efa8f96dda9c87b70834fc9d468dc464b0940a7dc160b - 04d4bc5cd4690a0c6561feae82c6be57195c7553276f12aa16fb930ac47e315f" - 0 - e5d98efcc2879f32793efa8f96dda9c87b70834fc9d468dc464b0940a7dc160b; - "bfbed3f0a31b886bd96a817e0b65be1b1e374fddb237514e89fee7ce34a08c45 - eedd85cd817fc74938e60c366445e6bd5383dedd290db3633d5ed2ff320139a2 - 006b1e62b3aa1830de71c0ae063fbf090e536304d601e6c851800ff1d501d249 - a4a63dcc680646b69c8e651dd9c3e043bad07eb9bd6b55bc5bc854d82bbc6b00 - ffa2e97c95ef5efb87b78e89f35e95f89c1c1b2591673fd2166fcc9765abb4b8 - 030984d84d3d9667e436996578a3ae58853d44e111990221cd15795167475426 - da8350e83ac6d67029c24a8d386c6352a27bd22fd6a207474a952742790e4be9 - 0618b6f82b936b5eca87e9ab8dcd9a2e3744586bae01a75cfabb23b1b64f7aab - 5a3e077d0d0d28ba3b6d6fefecc6c2f7ca530fa63bf414976ac8b26ed6596a3b - 381e56750672340b18b60612bd462ade52d3b0d5b487f1af8438140740df484a - 65275cc865fc4b5d94023fdcb929dd27dcd64870773c79f015d4a5f30751ef2f - 724f96fe61888b5a885713d0c52e759726b877031b3f4f80ad24bcf417a3dbba - 17f55299b7cd1d851091052401612078978bf2b09fca8c9e2189474e9d24b81f - 14b82eebd7325586c1ed8be9353fe5ad9375290a92e76d13947c6405febb2f52 - eb5a5c7771ccf698a2e803a3a4e6db056ceb0da4d808db5758f2cb28ccc44bee - 96db7bfd64b7d41430ca6fd0714487926d02dc71571161f8deea0f6a3b52ba80" - 6 - ed8350e83ac6d67029c24a8d386c6352a27bd22fd6a207474a952742790e4b69; -} - -condswap { - 14e55571df646a69a8280bf8dbf8e9afc15bf5558bb8b8236ebcaa19a96053bd - 8bef5021598a8175565e1f2b522ed1c4306fef4e0e973b50d3a03db1fcf11a43 - 0xffffffff - 8bef5021598a8175565e1f2b522ed1c4306fef4e0e973b50d3a03db1fcf11a43 - 27e55571df646a69a8280bf8dbf8e9afc15bf5558bb8b8236ebcaa19a960533d; - 53d8c54864e18f8fc742b2cb996f1d7595122ca9c90de9f49485cf5a5ef05058 - 9aa95be655b6704a3dd482e8424f82d17443ae26ab41092fad95df9cac678787 - 0x00000000 - 53d8c54864e18f8fc742b2cb996f1d7595122ca9c90de9f49485cf5a5ef05058 - ada95be655b6704a3dd482e8424f82d17443ae26ab41092fad95df9cac678707; - 8c7b4ffbf50edf7edcf8d69b67796de38b56a5d4e3a9fb2201354cca0b1b7c57 - 856e707988c37e59fc6689d024b98bc01b71034484ba194ec7f45106267cb7f6 - 0xffffffff - 986e707988c37e59fc6689d024b98bc01b71034484ba194ec7f45106267cb776 - 8c7b4ffbf50edf7edcf8d69b67796de38b56a5d4e3a9fb2201354cca0b1b7c57; - c8cb24a636f6d8f2c045c8441b21314884a71d55c73d4ef7ad65620ac0d86616 - 02b47be53df7c8521d57589256e69b8bbeb1e838d84c090287c04a25d5c08e1a - 0x00000000 - c8cb24a636f6d8f2c045c8441b21314884a71d55c73d4ef7ad65620ac0d86616 - 02b47be53df7c8521d57589256e69b8bbeb1e838d84c090287c04a25d5c08e1a; - 7d96f47612fb7135edfa71dd4526d8b4c944d74ddf004e1653d3af52485168b4 - a4e83162602d20cf71a279c1071038ecf94f38be11ad1191927b3f480d393e1d - 0x00000000 - 9096f47612fb7135edfa71dd4526d8b4c944d74ddf004e1653d3af5248516834 - a4e83162602d20cf71a279c1071038ecf94f38be11ad1191927b3f480d393e1d; - c3a3d4462091b36bd6fd494e70c3166478be0a65bca7f7361246c52dda402981 - 62d0ae1abbe5cb909328f59e71330269e4f2b1d3c664e7f1f0780e0a4774c262 - 0xffffffff - 62d0ae1abbe5cb909328f59e71330269e4f2b1d3c664e7f1f0780e0a4774c262 - d6a3d4462091b36bd6fd494e70c3166478be0a65bca7f7361246c52dda402901; - 38c9b0d92be50270e29cc3181952e745cbf21c8d145ae0c0a6e59f25394ea59c - caf4896a2d3666200741d817ee1dac661652b9a1741ea966d5ed7cbc4c76217a - 0x00000000 - 4bc9b0d92be50270e29cc3181952e745cbf21c8d145ae0c0a6e59f25394ea51c - caf4896a2d3666200741d817ee1dac661652b9a1741ea966d5ed7cbc4c76217a; - d637a72affa4112bbccd2878208ce34fae442e97175e1b39f43c00b14d312a2b - 76209f8b1f152ba7e1e6294f707831021eb2ac03872ed3774ab8fc5e6a0e864f - 0x00000000 - d637a72affa4112bbccd2878208ce34fae442e97175e1b39f43c00b14d312a2b - 76209f8b1f152ba7e1e6294f707831021eb2ac03872ed3774ab8fc5e6a0e864f; - 12f3bd417fb3860b2a4fd04eb1c51c558a4c5a3dcc1ac457654a45a3cd45b0d4 - 46f802836c7bde099775f3fb4f5f6345364a7e158bae9e16c4c99aee0cfa5e42 - 0xffffffff - 46f802836c7bde099775f3fb4f5f6345364a7e158bae9e16c4c99aee0cfa5e42 - 25f3bd417fb3860b2a4fd04eb1c51c558a4c5a3dcc1ac457654a45a3cd45b054; - bf1809201f83a34cb07aa2e2372516631ba0513e600956e6702903e9084770c4 - 414bbc77d13d7b4e706acc07406e8d624f2485463f9948d81b72268c1e086a14 - 0xffffffff - 414bbc77d13d7b4e706acc07406e8d624f2485463f9948d81b72268c1e086a14 - d21809201f83a34cb07aa2e2372516631ba0513e600956e6702903e908477044; - bb8703f2ddaaaaa6ad19219684b1bde576b38bbe9065178b24c1bc55563fe525 - 1cb3ca7846a3c584b1bc05b25ee91d4779ab9ac64ecef0fcbaea8d311b55d618 - 0xffffffff - 1cb3ca7846a3c584b1bc05b25ee91d4779ab9ac64ecef0fcbaea8d311b55d618 - bb8703f2ddaaaaa6ad19219684b1bde576b38bbe9065178b24c1bc55563fe525; - a07c7110c32e362864a42cd2f371ff420bfd442d291cc15ec079d642b5c85bdf - 497fa7867fcd0617c4cd765aa6f46b89390744b5b57d11ab732153e075fcb607 - 0xffffffff - 497fa7867fcd0617c4cd765aa6f46b89390744b5b57d11ab732153e075fcb607 - b37c7110c32e362864a42cd2f371ff420bfd442d291cc15ec079d642b5c85b5f; - 10fddb7f48015b394512257da026938b67f65dd0a84dace51417d68da003a913 - ebd6706b7cd2ee2d97848ee1adaa990d8ddbfad48e43f51d7ef843fa7597410c - 0xffffffff - ebd6706b7cd2ee2d97848ee1adaa990d8ddbfad48e43f51d7ef843fa7597410c - 10fddb7f48015b394512257da026938b67f65dd0a84dace51417d68da003a913; - 1dd835e2173b936a91da37b3aa11e848e4497964a9a78ea929a19105eb981a24 - 3e6f1ab7d5c460dfb7ad1926c60b64a8dd48ed0115b0655a6d8619666b8c8dde - 0xffffffff - 516f1ab7d5c460dfb7ad1926c60b64a8dd48ed0115b0655a6d8619666b8c8d5e - 1dd835e2173b936a91da37b3aa11e848e4497964a9a78ea929a19105eb981a24; - c4541b1380e796a333d88affdccb4d2bc68bc5a1b3890ef2fc1a2c38dbcac725 - 6f6338ad8dc0562bc02e307743b81013ffff6c135fdf8603f9956b7f94eb55fa - 0xffffffff - 826338ad8dc0562bc02e307743b81013ffff6c135fdf8603f9956b7f94eb557a - c4541b1380e796a333d88affdccb4d2bc68bc5a1b3890ef2fc1a2c38dbcac725; - d71f16494f041d1547e5dd9ed539e6b9c1506cebb66f6424e6c7aaf6d0ace080 - 78c1e6cc0b6f64e161def3b2ede7465f21f6afe61299e9a3c52b1a7a080b9b26 - 0x00000000 - ea1f16494f041d1547e5dd9ed539e6b9c1506cebb66f6424e6c7aaf6d0ace000 - 78c1e6cc0b6f64e161def3b2ede7465f21f6afe61299e9a3c52b1a7a080b9b26; - 4d90838ab9cc0a79f4e2aa6a860bf8cfbce5f834aab428d4a06f8ef4a2da582a - 53124b302e7675ea5784e2e7d9fdecb38d9c8be158312dd81c51757bafb79b42 - 0x00000000 - 4d90838ab9cc0a79f4e2aa6a860bf8cfbce5f834aab428d4a06f8ef4a2da582a - 53124b302e7675ea5784e2e7d9fdecb38d9c8be158312dd81c51757bafb79b42; - c8e764092ea695b0dd8f0ecbca5a4e02096c821b0f5cd57de8e3e50d8b2a40db - db7fb38dfede5259a584dbcc697f259ce380110636e301acb308bf687449110e - 0x00000000 - dbe764092ea695b0dd8f0ecbca5a4e02096c821b0f5cd57de8e3e50d8b2a405b - db7fb38dfede5259a584dbcc697f259ce380110636e301acb308bf687449110e; - 34cf8e55b3d2494362a87a24907fbdab61cb4f452ef5a889a1aa40a22be6d976 - 679c6d6f6dca1b71bb098e3854c63ffb8ddb76f1a1cb246ce956fd71d6477c20 - 0x00000000 - 34cf8e55b3d2494362a87a24907fbdab61cb4f452ef5a889a1aa40a22be6d976 - 679c6d6f6dca1b71bb098e3854c63ffb8ddb76f1a1cb246ce956fd71d6477c20; - 9638ab322ced065068f98597cc61fc2bd846b5849dc39a881209b8efcbc95eec - 32922ff2b62e968417225b765f2787387c8a42fcab1dbec3815298f53813a8cd - 0xffffffff - 45922ff2b62e968417225b765f2787387c8a42fcab1dbec3815298f53813a84d - a938ab322ced065068f98597cc61fc2bd846b5849dc39a881209b8efcbc95e6c; -} - -mulconst { - 8d517a8804d934ae93388e1d59748c3c22866d7be6cec58a357ec43f6dd029db -319312 - 3f2fea85c9195f2246f4f6fd2e8d5de95c5065edbea45a174bc0d1ef3db4aa54; - 1b5d6a6c9cdd0dabd126e5f5ee2513f3d27c56dd3aad89c882fe9fd2d38a93b9 499342 - dd310555966ebe7f409dcce2933f91af8e14c8909f78e4f113606789dd7f504b; - 9e03b44e93743e0cf5768f65bd3c0f255e001de330d5e1a863d6e4dbb11748a9 -284189 - 6e8c7f8d0f1476cf2603f5702fe8e8bba5c01e86b6e008ac72987fdd6721183c; - 9cc65e302736aab9bf02dd451c216ac3dd2066af299d7f6bb361eb3b36777f74 -15738 - 8c067e5dccdafaf56301050be17b8895c07e7f13572bbc5ce1af8b5be043d91b; - 7f36ff91ed165c6ee44aca261dc09e3e124c2ed8167064c20d9b84fa226e2555 423857 - dc7415db1ab5e5a5658d089ced49bf97718bccc55e2f15b83a28157cbe47e559; - e8852c80db69c7e55d476ed00ca7c0735052f7f72f81198a57236feb89a5903c -140934 - 4923ee40bb01314c2fe9f2f87d0743823311b2d9265219eb7a6de5fdfd09a308; - 505ef65d294b77e260757bc867199c4b0922b5022dfd6a1fe7478ea27ec102c5 -307893 - b14d72c991a0bfc22b1b95934bbe589b6a4a1f9c76a89d7012f8cb03379a8844; - e410c260dc8c1838f3e9658ae586425039b373ee2ab88c750a51853b012af0af 471420 - 42ae337a920ee1b83768cbf0750f524cf1f9e98b99f195e869785f90a2356756; - e2d181914b54175190462d11402717f42efa37967b2fe0bc4433fd4c862fd646 492178 - 4c6e1ba6896d2d661fbf99b77f63e3095d3341f04bf258dc3e4f51e39c68f576; - 9cdda0d7da106ef5cfb34774f48308b64953e92869dab0ba804927080509d8a2 -312149 - 4e75e56793563268480efaf6232ad702bc5aef6246bd44e3499ff437810b523b; - 9dac4442858b8dcc324464911e6f23ed046e42612e8105dc3aa2b9eccea15dc8 -88818 - ce52a0897600a05383df0a0b99a451f0d5568146b4323392fc164153715ecb0a; - c9f92ceffa7027ffa71e64b714c36b28a6a18c3608f8170d11d51acbee3c62ba -259755 - 89582517069925572219b2eec2a25029e8e1c78772ca8c50bf23220d02740763; - 8f8bcf28f4920465680c8e15befba4ebd23c1e27b71c224c98461f69caf76eb1 -430350 - e96b93f0aab6ca70f7d2c1121110efc320aff34e1ec693d7bf17bce1a756d622; - 6f4d413a27388fe84a2585e809927bd470ba1b0dc749ae6e2dfa100617a5a7db 11486 - 1cf1f5bd0770d949ee36df858e5842805d121722de30d2ef6bc2b82d021fc14b; - e1d05a072d1ab70d895969271f44b7c9d1654171836cf234724d2f90434c04e6 8057 - e32b3c792cd3b6a770eaa2627ff8de8895873d73d734b961646fbce0643a443d; - d8564ee3ff02c80f0bf3e9cdfce42cd8ac1012ad8ea74f8c0f5754b5775a8de5 -304373 - 884266ea43a6a9b72d113b437dae63c664ef53884c893212fd864412f4e5e457; - bf66769ee0cf873764524e760ee654e8d5090aa774f2e96144d945f8da37af19 -159091 - d7438999b3bdb99a46e2f3dc8492cbaf52b0a19c651cc382c384940861bccb6b; - 72b7d02b1fe23adea87696864c0a9f0466db85e39db397f0eb428a50e277aa2a -521654 - a611bd153336e178a7f3d912adc2fb39b342132458faeedbdb0a35973efae23e; - ff5c39d4b7fff86810a7a3b14a58bc01e6ecf062116adaa78dac0d1bd3f6039b -140759 - eb9e32bf7d027cda198048da50aa79a11bc99f3b37a219a2104c78f4affb584f; - a6f1f7f30e3f9e5467f180f92d2c94165fd9427d0c7d383b9077ca9a7e50dac5 -317637 - 56a32847c50bc9609db9796e1650fbe97524aacea746d3cf285f0f2fced01a49; -} - -mul { - ## Easy multiplication. - 0500000c00003800006000004000000009000006000048000090000040000000 - 070000180000200000e00000800200000400000c000030000090000080020000 - de200094610090df0020fe0180270700650d00dc2a00f84100e0340040570000; - - ## Random tests. - adcc6f10734dae2273304a6aa493ee8f96e05f2402341c0d997dce58ea57ff6f - df3c8d5bb6380fa278d4ff2994c7865bcc146596d3c3126242f0dc3509b57449 - 5ee2615b75a40367ced4ed4bf1578d13e7afa4d415f38f802b7e7b374365b627; - 054bc4d5e9b78b068fd20645eeb1f03aef2e89a1f56cb50e5f1170a86529526a - f976ffa1d1b4a33d0fd866528897cea3eaffdc75e31aa65450a62ff765fe7985 - 0210280745f6c29a04433f07f880bfd2eddd758d82996e79c65de817c30e7309; - e361c6fedbbe081b7cd683d23a2bf0ac889806be7230b56d9398959713a300ec - c8121e53d78c2e9ba2ba7f51b7cb15cec970a63b4a642ac470aa1f2145f07bd0 - b48bb1c7ddd26cd9e5a2cb73bb3885dbe4a47e03886d4dfd59e5729d544d566a; - 463158a2077f931567d45e19deb4454a2ae77045db70a2c078e160ebdb74fd94 - 3f311e3f8d225016448fbce3fbfbe84002736e3b0d5a90f57d705ede8706008f - 44cd97e25c20ae2fe2ef4f2630981a1fe54c79ebd904bc40e39d9fa615ffa76c; - 1c73fca52556e01204d4b957a01d1049f2247c8666d90c1d3703cff16a38c8bf - e9afa0cc85577ec7eb1ac66d87260d5f3659936ff88cde8bd1c3fa1d499e8bcb - 0979a8baf734c86a4f57ae400b7790c4985fba3088cb1b265dfc7a66c794121b; - 6e2bab74e427b1a44f0cb181f9dedd6fed43cfd395d3708c4ae8fd2137215eb6 - ef400834f2dad8763a1a5a58a37d1b36a78873860e4dac808d3166f13724942c - 0d481adbce7bd82ebc5a3e5ed7a492e78a032ebf211a5bd2371c528c77954936; - cb3575b41d9521da5c85c6438af14903a8d6d9c3857aa8e101e5295fb277de7b - 9f76715d2ae3c8ca182406553d3481fc36d67727ca2d51f5db37940aa3208d8d - 0b2fa619265bd424b9e20d38bf4552ad63de8ab552166080d099edea5fbadf7f; - abd66cf3b20dc4c5a866f1a3b965f794a726f96dd00f576d16ead66eea3a1177 - 97f70fc92e0cda0e010f2a9d7608c33db954af18bc18ad55bf66e7d91ae31abd - dcbb2cf34274971ef030827865b093a00761de3da90e46f00e18d0fd934a2b7f; - 3b3c96ff9be8e17e0a0d3979ea5e5623fff5fa18914151abf79fe66639beef06 - 1d29c361677805f1dd2b839e025e56208a10c0b8d9f2a8c490b0a892c0e27080 - 0050873016bc67023d0c479fffa56a5a70512f9864d00b0a3e951f1e85c8b412; - b263d4a71b6d963e0a972819e5e5805b9522f142d3c0ff2738c51cce31e9f0d5 - 64f3fbcff2195c297292df3e1cf900aae457e09864c5a6248ea21ef8efd557d9 - 7e6f6f511cbf2743c0fc1c6431243908606cb257d20f8a8a0885e6ecd000e811; - 0df0497e1e01dbcc4a48d4865127d9cc31a9a0a56e90cc31619e65c1521b2369 - 9277f0c6a5bcd7c7ed8dcf7182795f67a12e856b126d09966689834c43aada47 - 798d270ae34aa2452694b4ff74049a6a5169d71c85bd1a9ac59625e9298cdf1b; - 1dc64bef2189eb5349f5a8983c1854a40141a5390ea4bf8535a15aa71d0289b7 - fb59dc9b08f9163881b10020ce040da296ed8c1a9a935c27ca0047a4d7f6342b - 9fc23104cefd3014a469e6d3a0631338eaf91e24994ecd50bfc0b4547317317e; - 975b108909e87803af98af9425d2a982865b6cc9c144985b32fe5bb842702e24 - a69e9130dc40be50e827dc50dac05bf900946cf67ec35f1bb1705001314e4fcb - 12d042e50d0cff7b43a5ede61ce827a99619bf84995d488fe9eb56a8de769164; - 39c0db5a4b161c368b0f71c7e8ef97dddc444e4a33181e0743519f2a879ae04f - d3cc45ff509ed45998bd5f218408ad51f7457b35e8ad69d5431f174047d7c6e5 - 96b877604f52782ff2a5b1a12d7db642371ca993b648c4971cbf593213503219; - f8c6715e4a327cbbdbb08d74121619abc73dc421d7267029e39b50c1510d2045 - 63870a83cad4c1c64195ae7b92f3b19c830f35f1a3186815565d846c787c7ffc - 286a0b8c6681a7b79a5f85426fb60819b7bd349e93c1e11943c41c8dfd57d00f; - 49c9bcaf5434b8205a348df290a96da27df084f34047efbf91cf544057a50bde - 54269f8b23c05b94c9c1cd74eae88d9227af12a6fb337548eb93c2a88a75a8a5 - 1e3dcab5d7361f00e70198b52e8fb6d1fba74abd79d99480527f6711b21b833b; - c7212b43ff0d10fc52d3a2a7e15bb9cf53856f7ce33b79df89e1d13f95a94511 - 5213ec20bd054491a5485f665075835da609ad4f3dc005744f061480862ee602 - e136339fa01067c6c0823a7ebe2f84d917600e244a9883191900bb95a3b59764; - a15d62c6308448f1f70602f43be1825696d228eb170bed55322a21d2b1afa915 - 58afe65bc8adbe22807026aa1b0d68af330bca268fdc054406aa41c820960e71 - 996c597e0a024c2ff0ffe289d8c7270e4ea1d38e294d7210eddeb2c0725a1305; - ea233ae033ca93034bc8fd8ea3c0625bbb15b00265264fdd61f62cc808b505fe - 09e12ef9b3426991f7119c2e8349278342ed0072317c4ec7ab24561b61396b39 - 1fd72191fe9f00b0cca6a635d14904bd0c1e0ccd1275e84ad0b7bde134866e2a; - fe1fd3da05524af4ccd538f1d2ede09582101fc2a47c2e63758a546bed6cc5ec - 523346406ef3df6ac9a455d0d2e7f732ad01c88245b07a888cc21c40fce11a76 - de6cac8fdc878d9c4eda6b78f8b629ecf776980e49fed56bab936fc03924f44e; -} - -sqr { - 4dc87ad85abe8938634492ce2ea10bf48dc4aa2fa37a6a0fde3e5a01e90dde2b - 346297c756d77b8ea312ddc455223f4577aea2a2e8d944cb24adb487de143b46; - a33aed91165d7fd13a543760d3915c1b5d411a21895cde81b2f3640b87550cc9 - f923e49da9d5f45e23a782f911fac1a6c2e67cbbc7b03ee4675a0c5fbec03641; - a1406e453db6c92ef808295d1919c5bb2491c0ce6d5326d276c57e57943e0acc - 18425bbd92149991c4545e65495af0e6372289e9a32649c127122243204bdd73; - 70a56b8484234ed002a68c8d535a4e527a61c360f7d4ee5b4970c8ace1e12de0 - bed1c435139f151d0650577e03c32428f63cdb7bc1920110b5fdbb27f08cb200; - 86c3236a6194f1585b4dbeb09d0247fb7d3ae08063ccf9fc4fde70fc23735710 - 9b6509acadd5d31c4c843e91cec78be00aec4fdf7d86132965bd6f62f078f711; - 0e5e83c51a8c091673425c38785e0aa1d74c7261a035a891bf734cca8c8a3db3 - 4efe5029e99438835a8a45d0180b8de357eac82ba9dd8e127baac0d758dfca1d; - 31c39a5afc33f8a8d3c570b9dc5389bea6fdaaeeb44cd7524f6c445b9583a34c - 359b7c8791cc87aa8b3c799c9d4d7e1f4062a4f64436d8c01071597e8c262127; - 5a06203c15d6c1db6ea0fcf468a1e3f09d68c4a0f64c3d7e30e70290545e708e - 07f8b435ea322bedf613458b1eb420f1d6bc96741d69695899bd40f7eca6f72a; - b1973433646474167b791b326827641260fb33d6a2c96d4e963a6b091f824505 - 52a62396dbbceead62912f8adfed2707fc25edb51aac19b2a274c246f1209f26; - 96b157d71e107168fac206dd63007f10f4ae1225b0761c470ee18ecdb4fff20b - 84ba2a84b156437cdcc39ecc8b1ad01bba934d8dfb7d504b9f2442db0ad01167; - 6167d77675e19785960c28df551b458e41dfd0dfe5e56e785b7367997d5eb0a6 - 79a558436af4310d3eaee93f9a7cab72bd817fdf59d267e2c530ba8d667a005c; - fb4b2ab08db932ce10dd62639aabbb266f9ce775fb5a5e0875864f18a3ee506c - a6013661f2f0ab875739836039bff6bff4c993aefdda43dccecf4c404b9a612a; - ea26bcf0bfc3e15d4df7ddbcac8b5b9e9a7215d74196d77c9e0524e861c6aeb4 - 113e06861e3d338618695f4713464cea536c8019da77ff0dd9946f3b860df062; - b67b1ffffec757ef147e86cf60898c5dac515f080f43f4e120017caab4eee5ee - 7d9748a1ff6ca9cdebeb3dd6668522767afb9ebf1c680fe7fb3f5848f7222036; - c122016f17f12e53f9ac031719fe428c826217b2b757ae44f2f33d1b8b1bb553 - dc068d032b97c98eea6dd6c8bc42e9a0a6250c81a36a8f64615489e191287c72; - 1266ff0654c08e6183cd6c3cc760cc5c88d1f49b918f2f8f587b3edd4adea513 - f07f17fadb2e2dbd282d296fe5a15cc5c2baf6b45f5fd5dc4692f252039bc862; - 4c4dd9c6e46fb2c096388583f2a0c969245452b23f16ea43e15064c45357ccef - 5127fd4415a84115997b8b3ebe88a590efde9f8b53a43e86b1a4d60782c91025; - 095d149c2616212e5f770f133e719d285a8bc888414271296684e732feb5473f - d8038bee551cac14d1c610bbc0960d943b01526072c589bc913ab51fd47bc848; - ad55f9f916d62bb13ceb1461b99e82d76b860c084ca408dd4a18f154b907754a - e5c86ee6350c9ab736229f3f53e2ab852641bb8a62fdda609444df377e9ca04a; - 2e4976f45acc671e38add93aa6a89669cdc9874975879b3134dd37c633c9eb14 - c6513f1a11346d33b05ad65eca13f11125cf70bdcdd6e666a8a7b9c5b6098429; -} - -inv { - 344ff33a2bc801f861bd13575797da35352c8164808d27f51ea7ca46931b2b1f - 07f678dfeef071b038d692bf825cb4e75bc1934bd3a6e3dfea99e78bdaeecf3a; - 670097e2fbbecf6516e949d98f6d722d3f732c33bfb4e62512f9d28d94546b64 - b2f5cbcd7d8c996ed33a813b1aa39c36f5826b436867bd89b4ce43a156c1e96b; - 234f3bd8760cdc8ae7fac9457da418cd082e42906ffe59a13e52185a7845e61c - 7488ff9231e4819684148e16ebc25440732ffe7d211eb3d3263db1af9f1d0513; - 22a39a35b1cabc6dfecd1b898593070f0c81bbd04b4b20f43a9c7c14b5dfe967 - 892024fdbc8937b9b3aef794f57b8ed8517510b6de3f6088987b1310c1dc7932; - d850c118c69198268826d05650958c6bed55b181090cf1c96493ecc4635a913f - 7aeae1b0dc5211f374872e78da8f225325f3f33f9c42bfdeff25d425dff7710f; - 33ccdc0e39f7cd0a61782c87ac089eb7bbcabce4dd222f05088d3d6332efe959 - 668f87e23239e965c80740d4daa9c913609388f291c11f950684f45e689a061d; - 7c06f93b2f66001c74073b8ba7536049738e89b0a0d859a8a73710de3fadcf79 - 52df0aa24bb4a7474e6ed9852ba542c1f4c5219372a7b5d60988890e2955491e; - 9a0ce9ff4026bd58abcf8a128dbc55a19c446005834a143634452821d5f9f0ee - 79eaa93b6287705c0ba564c31bab1854c7f4354845be065c4bf94d38a7a8b421; - a13a127490bd3443fdba99baf61d113f3aadd6966c9732cd16348f9fbed32e0e - 67290b25e6bd7328dd804309a6203c02a75657f593c7e66e48c9192524e5b87b; - 35f7ac3eaa36c4ed338388fe7eda61cf237eff6ddc0847cb0c95255bbaef8ddc - 4950601d2cfe75eb9c4524e2f40f404fe82d0014c916dc43d9416cd2e274992d; - 8a058593035986da3a19e63dacaf40fb3db4cf382205fc4e4802e0ff0c61c8d6 - 6a23b743dc2fa4a4132780cf6edfed4c219760f3b31343b08710ea18d2c0fc43; - a10d03234e700ec92270b6105fdb787d8edd3f960fdd78ea2e169f49dc708d45 - 101dad1720604d0b093831baaa97fd0701ce773b9c1be1db0403533ad4376c0a; - 52d3b9e030a5ed574f7f9489c47e73f78ef88a39b570045f9ef73c9a3e65f425 - 83da3e088dbc9a3cbe06496c5a52edc8d7abcbb8a0f839361762137b119d961a; - 9928b5f14ec80a036479d7b08c128e601db880daebef36adde6fbd1f50f82629 - 8dcaa9a2439b77cbe44928ac2877e09755c505f58df4d0ffb9b23fc256b12779; - 5a956523956f8ace6166ea6cb3c7421f8d1142d26084a81d615f00d578e03448 - 658a3ee24ec5b5f1d2d12614e535247c9f2f259131b00f654e09b4517c63ea09; - 157492cd38a07802351ca0d1a5615d5c5f254692acce930fb6be351e9a52f088 - 32fec1eab85ddf8d27a437876e7f5a07f012b02e7971869811c3c31230204164; - 2d07c109c332847567621ef4338e149b99c5bc3bf6e50943695da7fed5d8141e - a81472d28a8235bff43ad5cc012d52e95ece3dbc5ba2962dc54cf9e7f81bee04; - 7e172f6c03415e83d4671e0191151d49e5257651ba73848254e68fad0a095c50 - 1a8efdc57ae9d39ffa64afbc5d2dc1f25a29d365ac3dee0d8529977c14aa4415; - 1934546e37b0bac80319fa7f2f86c18e83de8da830b9d0b5019c26768974eda4 - ffe55479771f20518d8fc6491055368b5dcce9b4e193d19897f1e116b9cdf946; - 90324ccfe0e34e9b08db1862be3bc17798a8581ee097be76545e3bf9d586a2e6 - 0f5ccf4920d617c9b4f7fe6e2c9e95e89b5516555d5e3f5f9900485451d7425f; -} - -quosqrt { - 18798551568191dbfe6bcacf95bf4bf00290de4c773a1d4233d1eae272b3085b - 2ee52110807ab6e31e0ed7b4de818d6474b514c63c99206e58a6df38e149123f - 3819accb91d97a3f4dbca732f19723fc772a19b3eb4d307acad706cc7c7e1c1f - b5e653346e2685c0b24358cd0e68dc0388d5e64c14b2cf853528f9338381e360; - 8671a0ecb7344f2e44fc9066aeb42661e848417e8c51b353680573830857d90f - 9c4cfb1aa650924ceaf3e23b260d02b7d8b7dd4445360cad0bd4270428f55292 - "" ""; - bb0d27e1743f444e2f612c2ff575c6c6663f01869eaa8666774b8baa59b2a714 - 2fecb156c393d27d7b9a5e4cc2b57cb5524d5b945e92c5b4bdccdd6d00e684c6 - "" ""; - 59af963f7245901807a46a59d4e49bab5b1fdf3001f63ef4e600ef8150d0e13a - b5ac3372ca5435577c416ba46a57879b0ca1df29057c540cac4edacc507b5e23 - "" ""; - a7b8659775a53e1fa315066be6a37a3f645d782cb69ec6b4f27fcf4daed3d82e - 4550c4697a5d29d1a97b50ea65e98ec839567a3fc556ec3790b016c24b867d89 - a190875f536f94ae2af8aae90bf0afabed437b36cf640d85529b150155eed53e - 4c6f78a0ac906b51d5075516f40f505412bc84c9309bf27aad64eafeaa112a41; - 7163512100699c32d5fadbe3583f2f6f314c347f1e66c434b15ac06a5733f3ed - 2806d76598a43c24820daaf87afa5a9a4d414e5d8f51993f1b01166bb5479c27 - 01d5d023a6c5f7ec1d5df3179bb240e3003a9e3be8ad4e154c6e8f7cb7af6536 - ec2a2fdc593a0813e2a20ce8644dbf1cffc561c41752b1eab391708348509a49; - e950533666a4a1edc3dae30637d6b005e34b614fe75555be0e1759def06a2aee - ac5a603347a585ca19eba141b1dd1b8833855e9807776627e8c9f92001a4b9b0 - "" ""; - d3c5ccb02442548901b3ffa2ed5564735b0b041386fd38e6c40844dc9183006e - 5e6f23ccef94660e569bc42093d2b862ca605b81d64bb3589331d015082b4996 - d7d578a72f1ea2dcacd0a96be285e9635230dc297fa7f6e1f2b9754e2d29190c - 162a8758d0e15d23532f56941d7a169cadcf23d68058091e0d468ab1d2d6e673; - 37cad075017c111f99135be6a0f553535d56153cef8839eee1e70614d65df1c2 - e5f9944a377be3ab64daccfc9e711f4aa522c68a80efd0a70c72cdd4507014b7 - "" ""; - 85dedba748f478537d016f20b9871e830e513514fbd27141aa54ca77b2a673be - 950bc6fb51f6d8c36b7ddc8cb28d9efd498690a46c57888b279de0e549e84c52 - fb7871031556b171a25dfd0483f0e2ed8d24a8acc2d9fc201f42f0b892fd541a - f2868efceaa94e8e5da202fb7c0f1d1272db57533d2603dfe0bd0f476d02ab65; - d70f399a983c6ad48acca796d9106c5e7681f34bdf34248f6dc54620282bb327 - cad23bcd1fb96331bc8139f2a8f21d24492e56a7b80e343a7002acc96a739454 - ff70c5bffe08911fb5522b21beecfd80fb018f0afef24fe85cfb7e4a5024960a - ee8e3a4001f76ee04aadd4de4113027f04fe70f5010db017a30481b5afdb6975; - 71ee96ced0b50bc560f2477a88ea2447573490f71850f084ae0b318cafd8a75f - 15c61eefd2c05d72fb07e44a006dfe314d8797f978bab1fe9f9276bcc82b542a - "" ""; - c27a9f169b8096308f313ab5a521886084f03ec6d9e8b30e4773d0a3ab1a7c67 - a7ca0e7fc5566dfc3790a3de164ef26d6452715db428994d438e79f65034d174 - 129427bd4c2195fac5a0da4c52ff634c697f18c3b02d0e7aad45a64d03b6e922 - db6bd842b3de6a053a5f25b3ad009cb39680e73c4fd2f18552ba59b2fc49165d; - dd73476aeab865af0775723ebd2128ca71621b1d95231813c3d3cb32b805f418 - dc6621f2ba82deb8272243baa5d2e177a60b1b780daa3ba081040e05b1d1b2f9 - 32ae54f7a7dfa101bad00f723898d29a7307454f86cd1197c44b07d1b997fa1f - bb51ab0858205efe452ff08dc7672d658cf8bab07932ee683bb4f82e46680560; - 3a3ee482bf7075fa38780616603133ecea7b56acab59d96ebf7192e21c49a806 - b7e6d647792961137dadce55ce69634379338bbda45fbef9d56be52620738d06 - 122b696683c2d1f3feedaf6166037ddbd7281e0c4c875724177f240b54e0dc22 - dbd496997c3d2e0c0112509e99fc822428d7e1f3b378a8dbe880dbf4ab1f235d; - 71f31797a8a36123e4a0b173ee4bc5a04d7799d1eba246df51cf943aeba0270c - 7340069440d6c72b4536018eec373f50a1142c9e79de8a5396f994e53c64ab18 - "" ""; - 0d2a6a9de4d52289cc724840670abcc5a4ee04f1197bd1d230689431b01afce0 - 21457f6784da81822df90f09b44782bd50a12c4fb378091cd33b177c734e0728 - 2b272304b3cca59e26431d91118a95c965bd542191c7cef760b085673e96a432 - c2d8dcfb4c335a61d9bce26eee756a369a42abde6e3831089f4f7a98c1695b4d; - 288b09090258a71747c1a08a51b0894a0c096f5b88ee38ea56a3aaefc1afa0f5 - a7f6391e06b8972b18e899753bf3853270cae7971774041fa9bf09a55349f950 - "" ""; - e912e39e2199c3980c5fe3cac6d8bed394367f28213524f006a9b2c0cce4a6dc - e6b4a592e37fb5d3af73c486cc211a57d4077c093a161276dcb6eb44303d3ec6 - "" ""; - ec6785be59b890e07176c09195430b7f5daee0b0898ee744e578ac25873012b6 - b3cd2df2c2531beeca882607d73f38403d8ff384f99be1ce582536bc3d4bfcd1 - "" ""; -} - -sub-mulc-add-sub-mul { - ## A very basic smoke-test. - 03 01 5 01 07 02 37; - - ## Stress the bounds. - 000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 00 - 0xfffff - 000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 - 000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 00 - 00000cf2ffdf4400a09a000079fdffea040098edffa73b024072ffbfe0feff65; - - ## Random tests. - 6f0dc2547ad77f7b3da324876e63c724c1f69cb2bc70ff960f1594f90202e17f - 23a2d45c26880166516e6831ab5070dd2247992418ad7cc41155a9362744f763 - 4783 - e145b5f91b683918d1efe6193de27909bf9051b0157acfa458bc3f63e5272de5 - e694fc475a442bd72cbbf11206474e3169fa74ad453aec3034c1dcc1f1dfbce0 - f9b4f1ac9369241a302f874305cd2d2fba362b5735d36d3e072c7198d7dd4005 - 08518c9f52236272202869bf7cb549c667f6a27d1c4f18ab58605d63821a6c61; - f1b3d663fb9458ba8e4521e8e2c976fafc8936433b62e316c6dcff794b1ac8d0 - 2185dd6948ef2339c9a43518dd02eac6518852d1c35858dbdf5c1acf1d995884 - -128133 - d7a628aa59d409b755a1ff0d76f37ae8e4a73d47375940c61351074f3c42ad2a - 4a353e9e7e9a0700ab2c043cc05f9795cc267e001b64799ca1849f024a42dfd7 - dbef6513fba5ca19c545b162718eeba960b0930b8ce99c3edac5facf5fddf4f2 - 9dbfe69897a273171ab4a697f88a0d4b420a3ada7a7f9e67d0ba871e2097026d; - e8624dbe04a1b19102019d7fd9e06fe502764afb92330d03693279e872e84f81 - 8da8b04024ff708a8b5fa31a6a654fc31d3748f74a897898aa42c2bb65494586 - -118148 - 83f63df59ce4b3161427b932ecbd7796bd162b553b70bbfef8a990ba6f20c23e - 9d896d69ec478456fb6cad67774c6e3e0e313aadc0564d759380981fb12dc3b8 - 0e8799aa8de1b1ac4aeae4d1e8cd5936c66b8a0a60c8d17ec23bc9c9f94421ea - 2221a87687c127b352e077bf7e975c83c667c8ce603e9d9fa5e02b195c7ad873; - 2527a8ab98898038e9e132a1bc8349a33e2c2f6ec8b6c15b06410177297d30fb - 71cdbe058a0357295dd5134fb95a630055f39d9bd8fa0c759b1b70fbef6147d0 - -14780 - 0fe111e19ddf5d11d40b584a31888aea4a388540b86d14b962a1a7135114d5b3 - a6386eeff2764007a570ba7e82a214667c2949a793fa0a52b7665c09285c6661 - a7557aaa000c8840e08163b7eec08bf24ba275a35d85bfd7813aaafcc22715c8 - 867491333fc048b229ddb4740b1fe6dca1feebf1d40660814feeb1fce97fca12; - fe07ffcd6b14f75efd74ff983e8e5c20f379b0c78907f0e453753b457fb53159 - 617f2f7c1153eaea3ccae7dfb07fbe804b2cb5c8205d657c3106b5a60100cafc - -128312 - a0af624a3f54278e2f7cc77f5d0f10750179bb18e07da059feb0bc98fb1d688f - ce432859e6d7e691ba9b44d467e8a5f1a97979facd2d3c7deec46e121193133b - d60050fad0f5c4b2e042141e4f7a418d3e8a8a308acc96651728f363ee793628 - b9e4e8873e006d41104b1cd6a32282fa2b94ade000dd57dee6dd506cceb34c34; - b46e84be433f9e4f43ffa2f1f5200013953d820d292e3af978c54401a252111c - cb7cec0c48efa4e0e54f05ac18574d5f67bf1a1193d6d58f42183abc9f5bdd49 - -3288 - 18603c0562c4d893a699fa6258e2de57e1cafd3e8ad756806d09db0c1ac9f86c - 0854368c6b459ba6fcaa95db92605c9d791bf4dcc57bfda2ef318b48f7521d73 - 0c83d0b2d331ccc62bbcd2d2771b18bc0b909a3bbebcdcb99020952672f050d4 - d54073b190601f1cc36c25109a5b44f04b6c2240c268bc71cb983d3dfb25cd64; - 1f490365c3b82416fd3866a42a03f3bd643844e0d0cbebb66af54aa35de3efa4 - dc805758c7e714a2acbc1e467520ecc3b9d23ce5133fe79e377e6d4520cd5196 - -129141 - 1a53a3728ef3587085d0b530be8ae95e367927f9ac3b7126445d32b46f3abfad - 0af6ce5107ca06fdfe732d11161b197830a963ec667065c5293bbdf843e23672 - 5bbfb655a175dcf7a4f4fc886a03e3d99cddbd34524c3cd2fb13b793bb2132be - 7e5576020e7bac35c7f5b3dc6b60b2c1cca55f6c98141682efb4737963d0307e; - 09e03f5d67a92cf076740e4261833f244b60da6d02cb42278e2ed9183b6eba3a - 5a8b665434e91158559cfecf1d43d562c307518a3ce889165b406b1aae38a674 - -13299 - 16e0d405bc40f2075f5dd901769def19f15759faef9a5fb6356b94c5c48be3e0 - 101da726c0dfd102c8eb2178640054248225a6fcfac1bab28a09b59cf38703d6 - f268d102402d31a33e52a941a06c64a30a721ed55184edfcfcd85db6fe3db676 - 24fc9112ce6d3d70e8c245f9e2c883290384462065a5a1ab5821b9cf9d61953b; - f86ba345a367c676d99450d4893ef4033201c8ddbb631c4658e4ed24ece98749 - a3c51a17107327742f44cc2e265482522cf39b6bcbff919bcf99fc033d76348f - -88039 - 5dcbe0be5f9f80b46d2e651504b10a3e481257a4bfacf40d8ccacea9d73dc2ea - 2ac88350fbffcbc743d36fe45c80a70a8cbe88be36759943c8e124163e432dec - f54685e704df0e499e495b3b77e64aa0ec0c9fc0bb18ed456a412ac6079fe9d2 - 3e7c00ea9ee49825f5fbb9b704dc720b062d8e08ee8dd410f3d34d255602b56b; - 1cd810875f48ef4c71ecb0997acfa31249ebcc9280e7c2f741038a0529f653d3 - ba2e564cae8cdc2bea40d64b5598493ac2b11902d91b5aec7a0e4a8649aa7ab2 - -77488 - ca4929fb0fed99fd9dca7a21275dbd97185900d4eb362eb09bcb5ce7098aaaa2 - 89b395b440fab27d3b32e0740caac3ce38affbd80b2f8f7b6709294d6770873e - d2cd5ac1ea7b0e1f45bd3cc64b651518dcdf9f25078de7cc4970bf54976a0c8d - 06ea5e15853bb29db5cfccd62db2e64067c90a97eab43039cacf4ee639ffe979; - 9960c3131e513fba3241b1f9bdf44fdbe06c43d9cda9e05fdb451eda3e8df394 - 4c5f72392dddd1b8e84db5bfc2db04985fe3d1226a470c851a489f98d954e6ec - -33449 - 04eacb794c87c19087b793a0e2d187cc7e0b07d265fd6cc46946780d2ab83810 - 414db559bd22f12717b431310c1063534de5e627e983f4967b2fb38f2c5f87b0 - 599bee129778596ba77c27a896020fa55123b8635ff3d9efd56fe406de878146 - 26c7d591e0028dd611d6e84969da716eb740207e49f5ea02f17a3224612def12; - 2cfc4c9cb8ca259bd4ffcbbd498510f8a65cca584303a28ed475584bd1eed111 - 3223cab1344be86c0af9995a769276cddbf70eaf55caee24dd4ec0d06c2f4309 - -53728 - 3a48f8bd8a229fa9f5b9d7c4135ef6c3a251b0ce451f482471f017e963839405 - bec0e71a657e85e024d91c41b3a2f75f478528d8ae1afb70bdc5da255d20de06 - 53dc48614937bd5ea1bce51b166bc9947e248a98cd0fac55f632cded216e9cfd - 2999f607e716f0c769e9fdeff636568674f3601166d6b7f566a369b5d4e2797a; - c37946f39bde051e4a6f91a18fda21ec2bfcc375b703bbb81fdcc7ff15cfedf4 - f37e2f1bb6b71763263e742cfd1ce8a9e004a5e06faf0afc52cf49ea89ad9244 - -69223 - 0592777a8c77c1713a72b2ce18fa318fa93e9c6e6b870e54723a43408b502b74 - cf575224b26f636b4b4f28c90995b87d900f6ca5ec9de6c24e65b747d303d221 - 8ab7d691dd76d7cd63d3456c677987a9e53904a4895f053e3de08786d564c837 - 1d667ed7c9b93f2972de23f4d633bcb5f2e56e446cba103c3cf2cf0931687b13; - 2afb15ae6438b8eef9d07f2491e43e32a2b9287381c7bf036dce2a1b0a3542e5 - 18c9bb7c91d5e5ed96e6effc6609fe40e72c5634cac2cf6fb55b083c3339f40a - -33255 - c0c870e0ee2116aa1182b2b4ee4bfde446f721fa6f1bba3a2ed4fb703855c673 - 91fd148ae6d53a419983999020d845503cc923e012e6869201615fbb8e460360 - 5d02294b16e04ca4a7fa4fa5dc9f12c7156e2a68c02495ea171a8cf13d35af99 - f1f90c61c85c137e2e9d5ca7a6b388afd954f6c93548e5fc3b82e02fe875923e; - a7a7193315006fd85c97226f44708d61ecddad2e184d69b0db62f9fb2bc678bb - 87a64ef3c67f464441927c08fd1b57d17bd644a422b96f151aa2d7920989e4ac - 67151 - 6b31a270025004a878f214f100a764165033e170ea5e4c52832673cf88f9f0b3 - 0c0af67c56e0b2336ba06f447ea4f9cbf052147e35f16216b306ef1211ce4142 - 54fec5270095dfc21f44805ba17565386bc50d45bd1f797ebfa04da5040ad08c - 92fdbcabd91ab43baa827594672dede4f0c71d8302b4cc8cd79270aa0c96d915; - 5d72825031c526d9e1efe34fcbbbd81b91460112f9f950e78e12c777a2994a59 - 4334ab5246765e241435c6faac0a00add3a5adcdafe017121d03b9561d0d3516 - -66199 - ef3211bb4e1bac43430e48594577d1d271f76b46ea7e44542c23524b3d6236bc - 1bfb4fb8d8429f0dd7a6cbc23dc2357ce9c1c72be3acf0a49abc331ac751e68a - 7cf2ea00463d76152e230cb5465ab55d30f09afbd007d2b55393cfe8e348cf9a - c0a66f24e5800bec2b9ff65207afd4b29326525b910381d233bd91d51530d046; - 01a66900161a4ad98f028a8da8f10142b4855712a7eb8ffbd699b13b7cc1a471 - c6f8a0b42c3f2a1109201c7a97e3307f6cb56a1a27f13e4567456d9eac2a2f4e - -71473 - e2eef0e19682ebb44cfdf84c71cb556311432fd948951a661d4240e16bc68d1c - f69b44aaff31db04fa4e8f14f51051d353e50110b1562b27d4493ac5e44a5b07 - 29039f65da48a24be024cf8f1af95ea9b09a08a54eec810e97018add81eec1df - a827fcc698403d01f8c2597a582ac8ddd612e5c2a520b0a2428e8dd35c58002d; - bc607923665e36ea0f8206b358fb3a327ef9a70ddcadb2edc49660891e932726 - 33e905cd1b262eba320c61428704c1d7c354361043ea7233c69f1f691f7c7175 - -101999 - e1b804b366c155d0f1a09fdbede434c669bf7f188daa96b8542dcbc9bbe66b6b - 413d410937fbf0575bf34c0b70ee6cd5737e17b6058e774f889104b2f6cacc7b - 0784aeb89be679694477cf399b605473c2c48887b687a980d7d333632e060e6c - 16edc745e1596492fadffd303c31ce5827c3971c591c68f9e2b4f62c967aaa6f; - 904e1b99ee3f860409a2db3aa4e539b2b50cebc57359f23fca21b5bb1306dc50 - 133d76a1f768d77a6801d73a570b35f6dbbd98aabfa4258445684143cd30a39f - -50858 - 547270fdf41f753a4189d2a9630ab17b4c6034829770a40fd8346e75e92610cf - 076c4e34375857b9e6289287e03c744fd60d76c377a772f6edef3ad30e4afafb - f2e8a830fe203901f5f34ae6e606aa8f6cffb504b166cba4cdd84d011b783b90 - 659233daf8ebd47c77b9d46ac65237e1bfdeebbcc552c7db5cf8dd2d4bd1aa2d; - a6f4bce9adbe5a68585c205d20b05c6662748f5f1dd2458defbc126792837a63 - 8f1110929626587241fd403c8332b2ebbc398d4dd7042b993fc24a18b53e3847 - 81985 - 012aaf1e00a521e8e0639ed116e15476f0f8f1c6dff47d860ed60e0bb7c156f7 - 13aaf4f9f20d64110beef21bde5c7262c4bff80a85a08db1e098d45ec3d69457 - eb3230fdacce04518359bfa7cff0c9d6d015966545e40e1c1da18b760031b2aa - 607f7b77fc8d3ca15cdf6e2abba71853fa74739f83589a4458854ae2db0a4727; -} +### Test cases for arithmetic mod 2^255 - 19. -*-conf-*- +### Extracted from Catacomb. + +###-------------------------------------------------------------------------- +test add + +## Some load and store tests. +x 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20 +y 0000000000000000000000000000000000000000000000000000000000000000 +z 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20 + +x ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f +y 0000000000000000000000000000000000000000000000000000000000000000 +z ecffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f + +x edffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7f +y 00000000000000000000000000000000000000000000000000000000000000 +z 00 + +## Random tests. +x bb8cd45b6185ee8ca34c4d7560425fd5c2fc22871113c6427198e8f9439a8523 +y 98f16cc5e44b7228b7f3b6ed91930d68bba5071157d19259c48034d2817e30d5 +z 667e412146d160b55a400463f2d56c3d7ea22a9868e4589c35191dccc518b678 + +x 8ef938a7b07a668c234c2c5bb65115b8e2e22a3703cda51c70e7a56a075d4f34 +y 1f3cd4bf4f768058c4de1aa5aeb90e227338e308c7a0a199050ca1c38d1e034c +z c0350d6700f1e6e4e72a4700650b24da551b0e40ca6d47b675f3462e957b5200 + +x 8b2c4678fd4f8b7254eea925e4da8d472db7f97d349d1b2134ced884b747ea7d +y 58dca7954f843b7e4dc56b048903e7728df66ef6824f29932b2f568c995ddf2c +z f608ee0d4dd4c6f0a1b3152a6dde74babaad6874b7ec44b45ffd2e1151a5c92a + +x 9cd64f0cf439bccd224f7a789396b9f888998d1ba9759c93a5d6a27f45db0e67 +y 12f724a127052612081e27e3915db9a540de9b64c566edc313914ad94424464e +z c1cd74ad1b3fe2df2a6da15b25f4729ec97729806edc8957b967ed588aff5435 + +x 82e59fa9703b2557303665fe24e3d46259da974d78155f05c6b8891f92fc808d +y 98a073ec62baf1354b681a3c78d62df1698ed5077dbe2bd68ba4a6e0233e3447 +z 2d861396d3f5168d7b9e7f3a9db90254c3686d55f5d38adb515d3000b63ab554 + +x 686ceca221d0f4c6d98287e97c506085064e7b172672b88ee555dd0308bfd309 +y 60adc3675be5e6c2921a74b5b8b24b0a26341a19567dae713a720786bc72df16 +z c819b00a7db5db896c9dfb9e3503ac8f2c8295307cef660020c8e489c431b320 + +x a50a5b82d2451ed9a5844585712202a6dc0e0230501d57b8c00f4bd4771aed9e +y 98d71b8b140aea02ad47d9b19e47d2a03257adc1d5c47611adc667652b78c87c +z 63e2760de74f08dc52cc1e37106ad4460f66aff125e2cdc96dd6b239a392b51b + +x 1637e3eb4c5d173b8cba29bdb13b930f48ae0599e354819f8ae0cf70f0f7b61b +y ffeef1767df70de7a4a75864c03935d7934c6cf5228b9c3000813ed0e55447e2 +z 2826d562ca542522316282217275c8e6dbfa718e06e01dd08a610e41d64cfe7d + +x 9e8bf571c45bc5f37c9126e70498698978903b94d9c6712baef91894ab924fda +y 480f68f8ee644bfb64e3fa514eaf16aea6368da6813802c4c3e6ce8f6540dfa3 +z 0c9b5d6ab3c010efe1742139534780371fc7c83a5bff73ef71e0e72311d32e7e + +x df9bdbd478bd1ec1ff078cdc76f2a5fcdc52f0198ba412e0b5a10e664b175dad +y 080bc47bd2fb2ba3be6a07a02162f76020479f2cc6469c6766df23acf9517896 +z 0da79f504bb94a64be72937c98549d5dfd998f4651ebae471c8132124569d543 + +x b6dd223f5d8a3dc5dd6f7a0679173ff656303017a17f17f4086fd4ecd3a23020 +y 560d827aad23c26fddbfd16c3514a9b518a4586d6e3c5739860743662b14f4b4 +z 1feba4b90aaeff34bb2f4c73ae2be8ab6fd488840fbc6e2d8f761753ffb62455 + +x 1d59691a670c40143ca7f7e693389ab64a911b17a2fe4368fba9097b40864162 +y cb42d3ba12a8b90ef1622ea09241d3157c515043040914356d6d99b95089fa07 +z e89b3cd579b4f9222d0a2687267a6dccc6e26b5aa607589d6817a334910f3c6a + +x 82b48877e9c8c18edb52db3e1417d894e572a8edd84335d93c642158f2a926e0 +y 93c6a39c1ef97f318c3b13bf8e77bea653b2eb130bdf43b00a0e0e40a362e819 +z 287b2c1408c241c0678eeefda28e963b39259401e422798947722f98950c0f7a + +x a6137481c5b9b8bcb3c87f3868c5f812da71aeb21c5ce18a508773120ea4f659 +y 812eacdc5a8eb2e8fde0c23a19c2e33466d754ab3109d28ff48fb41dab8066e2 +z 4d42205e20486ba5b1a942738187dc474049035e4e65b31a45172830b9245d3c + +x 598fb4096a7054e317e66bc9633d56dfcaeabc31a7bbc9da13074b242edeca09 +y 929b1bddd55c99b06b99a3ffbac5adc1d28823cb8354adcfea60b7a87fe32039 +z eb2ad0e63fcded93837f0fc91e0304a19d73e0fc2a1077aafe6702cdadc1eb42 + +x c42183d915267e655409326b1b77a042d8918feefd75dd3d18551f398ef426e7 +y e3729a6110686ffa57d1c69284a60fb36173148a89b1810d04614f03c8f90084 +z cd941d3b268eed5facdaf8fd9f1db0f53905a47887275f4b1cb66e3c56ee276b + +x 67b8b7ea7e7f9f52d686f906589c919b293bff6d3127e7ac581dc1630af7bcc1 +y 99d18d2190ef0da148b843c014fea3efea59f9adbb28fa38407191fcc24e029c +z 268a450c0f6fadf31e3f3dc76c9a358b1495f81bed4fe1e5988e5260cd45bf5d + +x bc3422b79e01234fefd3637a19bfb2dd0a83bf2071b27bf5389918a50e579294 +y b665dffe064aceffaabba94697cf27054d016427ebaf68858c5250cc5c1b770f +z 859a01b6a54bf14e9a8f0dc1b08edae2578423485c62e47ac5eb68716b720924 + +x d419cbfd5514d9cffa1765b9f273fd7492000a3d110586ed0b8137760a2e808e +y bcb52f423917c074464b2078d1c3f883fb793b02411b8b13c08266d17658a499 +z b6cffa3f8f2b994441638531c437f6f88d7a453f52201101cc039e4781862428 + +x 2f7eb8051d16a52b797e2618881bd0857eb205bf97e581e09680f86308f7e082 +y 9ceda63b29c3bfedbb6f3f0be2f3f2bd285bb9d21620c3edde69629b00b1c3cd +z f16b5f4146d9641935ee65236a0fc343a70dbf91ae0545ce75ea5aff08a8a450 + +###-------------------------------------------------------------------------- +test sub + +x dfb53b4ff67c742728c564d50ae20e3e3617804478a95e511d37ff4dcf04fa3f +y 9bc2006bb07dcf7bf0b461e7599e3c3cbfcdf6b6f41fc1db2219767ce9c43bcd +z 1ef33ae445ffa4ab371003eeb043d2017749898d83899d75fa1d89d1e53fbe72 + +x 432ec65076c94af41e054a43f64fe4eecb23f50a303fd38e0172e4e846e67394 +y 3642c84c5f5fcd5a0f3f2e37114beb8e7b614c39d354f1b32fe7e9cc918da5c8 +z faebfd03176a7d990fc61b0ce504f95f50c2a8d15ceae1dad18afa1bb558ce4b + +x 1725a986c03d9d53346ab2064545ba90ab38191e19ded9ecc2f44d422ab04150 +y 11a20caef0239e4ffb5ab2f7d3576633a0d4a08c78a02f35765fafff5398c48b +z f3829cd8cf19ff03390f000f71ed535d0b647891a03daab74c959e42d6177d44 + +x ec5d5cdfc8183f9aa3d47634d16427c3a399e2166bfa4ddfecbc911e5f33ceba +y 649f8e29c483765c4232c369fd0e50a0026eac306eb4bd6924e7b4d7d3f73e26 +z 9bbecdb50495c83d61a2b3cad355d722a12b36e6fc459075c8d5dc468b3b8f14 + +x cc9927c331884612d8fab9a2262ad0db38f55e0cc587e45b972ea8b1f504450d +y 30c5c9f8d5491a350051bbc6bb78e568d98061b43cb1797cd3d7454e8a7aa1bf +z 76d45dca5b3e2cddd7a9fedb6ab1ea725f74fd5788d66adfc35662636b8aa34d + +x 662bc96da214e50f13e07a15b8e0b78f512c744a66975b2170ba28079ca7d03b +y 84b072295dca0abef806ec5c1e594179dc5e9eb172c178af1902a42ea7a3728e +z cf7a5644454ada511ad98eb89987761675cdd598f3d5e27156b884d8f4035e2d + +x ed6f947157492eccc5fb1d0542593d58a47e2d87355dc0378e65376163fcf457 +y cb27e06c5ebf42a61caadd4fb222799772aaef31487bf61ac84c15f58af265d3 +z 0f48b404f989eb25a95140b58f36c4c031d43d55ede1c91cc618226cd8098f04 + +x 33c2fc57d8ffc29e6d670cfc4e25b695320055cf443ade53f49f6c23c452f644 +y 3814860ccbb4391894c107961170d3af1594988a7972b97d0fb2169631b216fa +z d5ad764b0d4b8986d9a504663db5e2e51c6cbc44cbc724d6e4ed558d92a0df4a + +x d0fd0d5e73be5c534aa37645aecc49b202fadb30733f16d0de719a70bec2c751 +y 910c7b4d317397cff70c91e5bf8ec42ba1700b0866adbbfe99b7fbb2c46c7093 +z 2cf19210424bc5835296e55fee3d85866189d0280d925ad144ba9ebdf955573e + +x e0f8130d6b0125e824b254ed57edc59455a8a4704a3f14a4ae8dbf8721595468 +y 4e4f69af6f85742068ad70225e8850c85aef3d3fb3ba3b52c2be979db4eb979d +z 7fa9aa5dfb7bb0c7bc04e4caf96475ccfab866319784d851ecce27ea6c6dbc4a + +x 204d5f69ebab4597d2aa9295ecc2959480a2ab0b225674cc8a147cf7c1e59717 +y 3abdd29c94819ec7507673bd5cc4fb267fcb17c1509abd5e462b46b012f815a8 +z c08f8ccc562aa7cf81341fd88ffe996d01d7934ad1bbb66d44e93547afed816f + +x e2d75c74060aee615b6cfc815c8618f826b07c4987e10f20d27ff74eab3ac7d0 +y 7a06b32d284b5faedb91dac8e94cb7f76c678bad81ed78ac4e75eb9edd8d11e9 +z 55d1a946debe8eb37fda21b972396100ba48f19b05f49673830a0cb0cdacb567 + +x 8d50b0573b0bb945bf128e1a9a37c151e991581673cf6295db5a6223d428ac9d +y 47ca477794fdf378f3486355b5348960ee957470b8c74d62199ac48b4478c4ca +z 338668e0a60dc5cccbc92ac5e40238f1fafbe3a5ba071533c2c09d978fb0e752 + +x b66b49190a99456aaac5c33beaec423a3fa79a84df0f00122aed29151185ceef +y 13c06f7941743bfa261845d99772fd0d5f1a8258aeda53b161505ed8bdca1bc8 +z a3abd99fc8240a7083ad7e62527a452ce08c182c3135ac60c89ccb3c53bab227 + +x 44ac89bb8d4de1a8756b00401236ea4e316a2fe637f6e5f052576da70c29c4ea +y 05dd39ac32768d899b80ed10279aa10d6316d60ab2d061e877dc5f21ce8e1140 +z 52cf4f0f5bd7531fdaea122feb9b4841ce5359db85258408db7a0d863e9ab22a + +x ef0f6c7f56ff22260c66d583f79c7f581181d3a0f3167c93786bb6c89de4372c +y be934afeffaf5e6755a92e6606ffd054627dbe1b18ad6ae543363a01da605512 +z 317c2181564fc4beb6bca61df19dae03af031585db6911ae34357cc7c383e219 + +x 773e0db8f86c5182b5f51d10376f42cde275dac6a646ab1cab065760e045107e +y 3f92ddafdfe67d357b4f9b61807bcb8b0f1f6c2dacba27902f48fc15a31db606 +z 38ac2f081986d34c3aa682aeb6f37641d3566e99fa8b838c7bbe5a4a3d285a77 + +x 34860a848d0afb20e43f4a36b3c8941f5821864216da9cb3ce1a11f056565a3d +y 9dfed86048acd45ec0009c1ba3b20a1ba645ec141070fd8ae41d25e159bbce9f +z 84873123455e26c2233fae1a10168a04b2db992d066a9f28eafceb0efd9a8b1d + +x 854ba91672ae1b8f6c29395dcfa4f3514ed97dc2c9e1e419f926825619fac55b +y 7a700653ad355caf17f89045ecfb3ee821194b54048e55d8eed41fea2b0a22ab +z f8daa2c3c478bfdf5431a817e3a8b4692cc0326ec5538f410a52626cedefa330 + +x 0c66b3d8c3916940b70d381d232ba8aecfe27e3ae63fa6cbb287216708f224f0 +y 477186656245c4083dff93a95c6e5deb707916e52cd74abbd522743c24c53088 +z c5f42c73614ca5377a0ea473c6bc4ac35e696855b9685b10dd64ad2ae42cf467 + +###-------------------------------------------------------------------------- +test neg + +x 0000000000000000000000000000000000000000000000000000000000000000 +z 0000000000000000000000000000000000000000000000000000000000000000 + +x 23d767107e23d5ce14189cce939c4b5334d6736da3da40a715236b9d8319efc1 +z b72898ef81dc2a31ebe763316c63b4accb298c925c25bf58eadc94627ce6103e + +x 9bb944cfb58b186cc551e0a0eca74528c7618ff47485bf6a723f43d990f69f6e +z 5246bb304a74e7933aae1f5f1358bad7389e700b8b7a40958dc0bc266f096011 + +x bff36d2aa923d5a9af5398e2cfcba4acdf3c3181a8ff00b8a1099cd97a4e8542 +z 2e0c92d556dc2a5650ac671d30345b5320c3ce7e5700ff475ef6632685b17a3d + +x 1b65a51746eabb7c0d8d9844dda03bde7128407e94661db2d5fd9c0f3790d120 +z d29a5ae8b9154483f27267bb225fc4218ed7bf816b99e24d2a0263f0c86f2e5f + +x 88f4cf29a610c4465f63a272fde2f19a4874a70a0829885014379b637ab0e82d +z 650b30d659ef3bb9a09c5d8d021d0e65b78b58f5f7d677afebc8649c854f1752 + +x 94ca4d567efcf088e6bf1cb3698f6b8bf2164db4f523e28781aebfcbb501ec63 +z 5935b2a981030f771940e34c967094740de9b24b0adc1d787e5140344afe131c + +x 3f8d7ae4f1698921524e49ccb2ce4459e4c048f76f04c5e60179f5417d2d52db +z 9b72851b0e9676deadb1b6334d31bba61b3fb70890fb3a19fe860abe82d2ad24 + +x 1eaa0c45af0d8f85d865cc66ff3d0dc3355f1ac36821cdd95a6b9232a27f9044 +z cf55f3ba50f2707a279a339900c2f23ccaa0e53c97de3226a5946dcd5d806f3b + +x 33e142c78ee87a7980ade6c796e7ff949cee6d3af0415bf5b6901f84c2db910a +z ba1ebd38711785867f5219386918006b631192c50fbea40a496fe07b3d246e75 + +x 24a0c185c47787caf1a666a62002a503f2a3e591e5f2946e148a47b9b114a884 +z b65f3e7a3b8878350e599959dffd5afc0d5c1a6e1a0d6b91eb75b8464eeb577b + +x a8bd0c1c3f219a97de87b22e8cb3eb5daea33b5646589b6925ec4ec83ca37455 +z 4542f3e3c0de656821784dd1734c14a2515cc4a9b9a76496da13b137c35c8b2a + +x 1a340d2679ca205f6b198cff4bffadcde1afeeed124ef0c574655dbe8732b681 +z c0cbf2d98635dfa094e67300b40052321e501112edb10f3a8b9aa24178cd497e + +x da43c139a1f92ba1b5fc996befe5218368eac3c46b42e98a9cca8b8f6f1540f5 +z 00bc3ec65e06d45e4a036694101ade7c97153c3b94bd16756335747090eabf0a + +x 81aad864a31e5f4afa32c29eb97f22c103dfe5b1323db05fc9b1545312aa6c0d +z 6c55279b5ce1a0b505cd3d614680dd3efc201a4ecdc24fa0364eabaced559372 + +x 28231ad38d214f1421df7005eddb4f4c12e522b10d1cbcd10ee26dfcc222a62c +z c5dce52c72deb0ebde208ffa1224b0b3ed1add4ef2e3432ef11d92033ddd5953 + +x c1facefef35c1ed00db767ed0281ebfad1f3c915c6649f5e1c26a6f3f9478b43 +z 2c0531010ca3e12ff2489812fd7e14052e0c36ea399b60a1e3d9590c06b8743c + +x c2e4046e7200386ca2afea8ecc9c98c105fbf6e31b598e21e482796a69956040 +z 2b1bfb918dffc7935d5015713363673efa04091ce4a671de1b7d8695966a9f3f + +x a42fedea4eac90580a0bbcb0491a7e8cc82de7a99aa74ed35f705c536afa0236 +z 49d01215b1536fa7f5f4434fb6e5817337d218566558b12ca08fa3ac9505fd49 + +x d1ab8c50d54279ceac870d0ce4a2af56bf8c03e87482dcb7775183a4908ac739 +z 1c5473af2abd86315378f2f31b5d50a94073fc178b7d234888ae7c5b6f753846 + +x 1ffd85fa5ead53ff509756fc28051ef65eca040303b65f7b5b7e1d1a8508e030 +z ce027a05a152ac00af68a903d7fae109a135fbfcfc49a084a481e2e57af71f4f + +###-------------------------------------------------------------------------- +test condneg + +x 5330763b29dff20501a1d6c64025c36279083473721f5cacf89168189ff9810d +m 0x00000000 +z 5330763b29dff20501a1d6c64025c36279083473721f5cacf89168189ff9810d + +x 9d9c36e2126d911a503e1cc1a8489ee74949ae2a8408dc7d72ed0d75e4350545 +m 0x00000000 +z 9d9c36e2126d911a503e1cc1a8489ee74949ae2a8408dc7d72ed0d75e4350545 + +x 47da10abec2cb54c5890e5945999deb1d89ffd268bbbe2eafc86f1acc8bf5f7e +m 0x00000000 +z 47da10abec2cb54c5890e5945999deb1d89ffd268bbbe2eafc86f1acc8bf5f7e + +x 3e6ec07de86be6ffab2dfa1deb9ed67844645be92bdbb22b7ba91379babcdfed +m 0x00000000 +z 516ec07de86be6ffab2dfa1deb9ed67844645be92bdbb22b7ba91379babcdf6d + +x 5f5c0730649586b5c0b60a14d3b669b3649eb6725d71d834e78ff2aa0e5450e5 +m 0xffffffff +z 7ba3f8cf9b6a794a3f49f5eb2c49964c9b61498da28e27cb18700d55f1abaf1a + +x c357befcc6836d89387915e368e5e6162252b433eb58d94eb3cc4b783e98c226 +m 0xffffffff +z 2aa84103397c9276c786ea1c971a19e9ddad4bcc14a726b14c33b487c1673d59 + +x 713ad0f656a8fcd75fdee2c4ac248ee7ad09a5f357c565daa94ae46d8590d2c8 +m 0x00000000 +z 843ad0f656a8fcd75fdee2c4ac248ee7ad09a5f357c565daa94ae46d8590d248 + +x 909d669185e98b4a88a6531b830193b23035d64665929e34e86d53c4a9eef30a +m 0xffffffff +z 5d62996e7a1674b57759ace47cfe6c4dcfca29b99a6d61cb1792ac3b56110c75 + +x 8f23ec139f93258e6d57fa278339f1cb5da193c5d1ad7183fb2b151111262285 +m 0x00000000 +z a223ec139f93258e6d57fa278339f1cb5da193c5d1ad7183fb2b151111262205 + +x a9a5480c72157f389be80ae7ad63502434c380ccd1cef813dc9bd2e9a85e2f22 +m 0xffffffff +z 445ab7f38dea80c76417f518529cafdbcb3c7f332e3107ec23642d1657a1d05d + +x 316f98b6697e7daa8775d3aa91dee8fbbae4e935a2f62cd2975e2d552f0c9846 +m 0xffffffff +z bc90674996818255788a2c556e211704451b16ca5d09d32d68a1d2aad0f36739 + +x 70128d6dd5fb42f287fba3533c71cb5dc2361b6d91c3d9626c58849e27f7d349 +m 0xffffffff +z 7ded72922a04bd0d78045cacc38e34a23dc9e4926e3c269d93a77b61d8082c36 + +x 66a6f3dc6274e4122dc401ef23529175d71d96b660a52cdcd64556073b5430b2 +m 0x00000000 +z 79a6f3dc6274e4122dc401ef23529175d71d96b660a52cdcd64556073b543032 + +x 3909505812b228e6ca5cc6c0b17824ef765923eded6105e6eb0f176781624c5a +m 0xffffffff +z b4f6afa7ed4dd71935a3393f4e87db1089a6dc12129efa1914f0e8987e9db325 + +x b7febd7d63efae3bcc60c1c344f2f6166b272eed785a9e541d3ff4f12e82a5f3 +m 0xffffffff +z 230142829c1051c4339f3e3cbb0d09e994d8d11287a561abe2c00b0ed17d5a0c + +x d1cacc1db40de13351224046975319d7546ae9e88e1909c2a8f46792a140d279 +m 0xffffffff +z 1c3533e24bf21eccaeddbfb968ace628ab95161771e6f63d570b986d5ebf2d06 + +x 4c449a50fc1e145be1463e4c171b3c51c9683c41c45005d8aeca607911c9b3be +m 0xffffffff +z 8ebb65af03e1eba41eb9c1b3e8e4c3ae3697c3be3baffa2751359f86ee364c41 + +x c929c50eedbad6ceacdefb00bd58a32820c874c906741e9d93cd0f668819edcc +m 0x00000000 +z dc29c50eedbad6ceacdefb00bd58a32820c874c906741e9d93cd0f668819ed4c + +x 1c57449dcfc7e8f9fab77d226d4b50d7dee06c29d08d3d4f4ae7c8ad238a0a82 +m 0xffffffff +z bea8bb6230381706054882dd92b4af28211f93d62f72c2b0b5183752dc75f57d + +x 396a2ddc48f158e73c95dc289da3f0d3b2128875e20c401cb50fd6cc7a28dd18 +m 0xffffffff +z b495d223b70ea718c36a23d7625c0f2c4ded778a1df3bfe34af0293385d72267 + +###-------------------------------------------------------------------------- +test pick2 + +x e6f52222f35081896f3d9ecc0ffb27fa3e75c8ad1c98e161878d2c3cffd72c78 +y a24cd71f7acb653466b7d67bb41efb5a29503d2627d2ce28fe19680ccd939be5 +m 0x00000000 +z b54cd71f7acb653466b7d67bb41efb5a29503d2627d2ce28fe19680ccd939b65 + +x 4e51fe2dac96a664d0675962116b7af4e605194a1c9fb774c621a3107994c9ed +y 508934be10ce5e11e6940d56e84b148e20f48369e748536846763c80bab9af49 +m 0x00000000 +z 508934be10ce5e11e6940d56e84b148e20f48369e748536846763c80bab9af49 + +x 530175217081c3fb3ecd17702ad334ad48f05affd5ab3754ef10be5b0eb5375d +y 8aebc7e01e2bb2829f21311462175948d85cd3e65d676eec893e3df13f639d07 +m 0xffffffff +z 530175217081c3fb3ecd17702ad334ad48f05affd5ab3754ef10be5b0eb5375d + +x 0e53c5141d72c8c81d80b1a1283b0267b278f98e28ce08ccac7b010022e5adae +y 2215cc15e950d6abfffa26113f269628f50f9ac37ad3260ae9189958d75080b6 +m 0xffffffff +z 2153c5141d72c8c81d80b1a1283b0267b278f98e28ce08ccac7b010022e5ad2e + +x 3dc16434679d30686d5023fda4cc574563841caf1d588e965fe1ec1c4ba54398 +y 4ca50330751d33ebba981277926a3fb801d216474cb183f90947680f5ea383a2 +m 0xffffffff +z 50c16434679d30686d5023fda4cc574563841caf1d588e965fe1ec1c4ba54318 + +x 09e68cb66b5ae2f3160a71738d1e9a042b9b76335eddc4b9466d0c6b8100eeb6 +y 270eb833ae635bed17df9218a53a91b7afeb74f0df3bfffb8334c04773cf716d +m 0xffffffff +z 1ce68cb66b5ae2f3160a71738d1e9a042b9b76335eddc4b9466d0c6b8100ee36 + +x 831b8a99e3b44bf21cdd4f3c06da7c16a95e98f3dc42cf2ac282edec67d9b2ca +y 482840e31c7620de6d290d747afc63ca199c60169f8eb62d28ca1142c5336990 +m 0xffffffff +z 961b8a99e3b44bf21cdd4f3c06da7c16a95e98f3dc42cf2ac282edec67d9b24a + +x a022ace6772d82d30832328c7cbfedb622b710d1fe9313a77dc4cc5ca577a7bb +y 39c86c57bf581c16d8c03b4ef0fe813815b5da1281f03bb3f2cdb0ddf19868d0 +m 0xffffffff +z b322ace6772d82d30832328c7cbfedb622b710d1fe9313a77dc4cc5ca577a73b + +x 719d3f13c38b915873bcb14308bfd9bb6f4a6cfd249a745bceb55787ce480caa +y c72de6e206ed24555d091763644d4405f2ee5dbd846a036d6a21442a6c40e0c6 +m 0x00000000 +z da2de6e206ed24555d091763644d4405f2ee5dbd846a036d6a21442a6c40e046 + +x 07cdd3cd677a3c1783bcf7855bf1dbb453809b66c66c7bbbb67690cea33ca581 +y c9d889281ac117390875739e4b62df6dc3cca6c65439c46bb907c81d3a961fa3 +m 0x00000000 +z dcd889281ac117390875739e4b62df6dc3cca6c65439c46bb907c81d3a961f23 + +x a69a728035cc69d5d3f96dd4a8081864333e53e434820dd569deb9e58393d4b7 +y 3f4ef71dfa1eccd817d3192dbe2e08466e4a66b4d836b0892b3636dc523098ed +m 0x00000000 +z 524ef71dfa1eccd817d3192dbe2e08466e4a66b4d836b0892b3636dc5230986d + +x d249414415ac4960e934d29e08c75ff1b18431a6e18f7404e638293d3d8e81d5 +y 33cd02e07762f74976834d1b6dd3b8eb7e2ad7a5d04ba90bbe747476071f10cb +m 0x00000000 +z 46cd02e07762f74976834d1b6dd3b8eb7e2ad7a5d04ba90bbe747476071f104b + +x efb782aba4dca351a5c9279b370073840b977b2458c6c84c9c9046dc92cc5507 +y 6d9f50eb56b84989aab77c54987f05c715b74185417863f2c275635d2d6f2eeb +m 0x00000000 +z 809f50eb56b84989aab77c54987f05c715b74185417863f2c275635d2d6f2e6b + +x 10c4381ed467e27d756ff7a260a6ffd282ad757b10c9956c518a43117699ee91 +y 9b9a70c67be3296ef9d65fdd8014c4b263c28fd31f3299f4461c688c469ff704 +m 0x00000000 +z 9b9a70c67be3296ef9d65fdd8014c4b263c28fd31f3299f4461c688c469ff704 + +x 5a30428bee407ee673ec7d2cb4854efd80b9761df5dec906463f888f60be7152 +y fc2e139be53203eb73041e9335253534c420208164682c2e02f31f084f5582f0 +m 0xffffffff +z 5a30428bee407ee673ec7d2cb4854efd80b9761df5dec906463f888f60be7152 + +x 43c7cd903c7dd7cdab85c6b5585955163e0da7dd0c5b5882ac620246619af342 +y 0eb52162c69425ad75b778c39746014789f7929119d4e122d4b98bf64784fcde +m 0xffffffff +z 43c7cd903c7dd7cdab85c6b5585955163e0da7dd0c5b5882ac620246619af342 + +x f37f3707e4609d389096c1fea551b572a6b4644fd6af2e9e7a0fa93a91ae38e5 +y d10dd4d911346a5952e3123d4f156a7e40807d142c4afb4bc314ac6f9346dfa8 +m 0xffffffff +z 06803707e4609d389096c1fea551b572a6b4644fd6af2e9e7a0fa93a91ae3865 + +x a4f4c203cb892691a6d6e9dff8a10ac1a8d9470b13ba24e1bddac05d6d7f9c0e +y b88145fabdeaa9fa108bb04a4d283ac034b4c8d8ffe1b2174de9a80254762c54 +m 0xffffffff +z a4f4c203cb892691a6d6e9dff8a10ac1a8d9470b13ba24e1bddac05d6d7f9c0e + +x 649d8ce64f623228553de99b823c5f5c5ef37f00e2ddf658fc9bc2405afde715 +y 0f24ace92223d2db75e2d82e8a5bc8b0e7981478216b999d2bdde9c72732d58f +m 0xffffffff +z 649d8ce64f623228553de99b823c5f5c5ef37f00e2ddf658fc9bc2405afde715 + +x 3f466e24ed4169ca3df624d747f054f97422d5eee3fade2fa3c4eba488694a6c +y 37e3171c9aa56d07ffcde4f1fd0fdcc41e2086ecf93c9e53f3f6a4c3e4db587c +m 0xffffffff +z 3f466e24ed4169ca3df624d747f054f97422d5eee3fade2fa3c4eba488694a6c + +###-------------------------------------------------------------------------- +test pickn + +v[0] 91aaaaf3ff9e58f299c0f6d0a4a3851d100423e4b7380d5a32a86cde6cb19562 +v[1] e586b4ab140cd20bfc70aa5ae1c389941a8c631ce033f54793d77c91b5e3d50b +v[2] 911122291921aced748e1346261ce8dc0e50704bf59495c3d7c1a9806ae58b5e +v[3] dac7c42fc0253029c78310ea1508b2464db2c44689fa7d485fb5863b7c136f15 +i 0 +z 91aaaaf3ff9e58f299c0f6d0a4a3851d100423e4b7380d5a32a86cde6cb19562 + +v[0] e8864778a3aecd6f35f8afa097072e94c4e50680baf91a6036f4f24fb0dcf111 +v[1] 5dec44933a517f5a8bf6d858920e1200c74e65132baf0d08ca033e36e15a1c46 +v[2] 4fca88e6d122c0a460b5dd502281d80616edd30bede891226b4b3c4b3eb9eea0 +v[3] 5fbf4e034d45326d89ffe92bf4738a7120c63ea42568c25acacf4dd7915b9e8f +v[4] 343001277d416dd31dc770232fc47c7d02884fef3fc10eaddf6f8b42fbb00b26 +i 1 +z 5dec44933a517f5a8bf6d858920e1200c74e65132baf0d08ca033e36e15a1c46 + +v[0] f0cfc16fe0cb8910c26f6f46e69954dd34277d171044140c2dc448b6f63e053c +v[1] d54feccab8d55297eb24f622818aaa2ac5b7fcafee5efe872bb600cbdce85a3a +v[2] 5f1cb6c6b4e8eedb566150a99a7c92228e7f737efa1810b9d40f9a4ea020e56d +v[3] c762a32a3f3a6f8cd956412eacdaa75ee56b347b952a7c18dd19c0ee2e50b8fc +v[4] b6e76d1d2cdf04692036f26515ca6b92d57b1bba625f07553d2d4adf89de9611 +v[5] 874c9e94d425fe9590aa1cde396ec56531342207a0e3b42ef0ae710bc9b68418 +v[6] 872ebc0bbd45d07727887aa8116a5743880093c73b3048c3b46920c04e0f64e2 +v[7] 9cde037629d20a4481ba7050546eca2dfd293b0953aa708764531bd8d0fba387 +v[8] e9f7cb8ed4af14ac61722de66406e97ee9a87d9362dfa87e489a9c98f8b891b6 +v[9] 6c5bb4410d83505ad34d10409d02fc005a47ef802b5d9130f3b5d385ff78957e +v[10] ff40983b47e7263665a03e4396421fc34209afaf52d7d69012833b4a228e6c40 +v[11] 4588ed141f6401c460ff6ad4888172c9d19f15f214d96bedd59f818d7c03b720 +v[12] 99ede977304bc4e8f5edc44463b48fc13c001f5c584f2b100c791ae472fdddba +v[13] 8ba76d6aa98a062e1091ca60e05ecf21208657bf287f20c6cacaaeff41a537ff +v[14] a18760b118187f5b392637dd5c5f97ccce583b5b84b69f8e37d8caf77c616db0 +v[15] 7e921cc5caa3b3884358cb0ffd2d9d160ed54256049fa1540d861dbb6dd1631d +v[16] aa8102188fbba89c45259c52080b3969c234d070411bc4b91870a8b482eedfbf +v[17] d98da58b248507edf310beb9fb522dd23d88bc0412ef3b5bd7a13b7a15070647 +v[18] 0626183221836da09c9bb5a1dd07df570883af17a9a8fed1c4bc7e8770e348fe +v[19] 16b01a5593b3eaf0902d0ade7e00da7b7a57556c2e7169e8b6ba5df5c5fb02a5 +v[20] e40715b07034e109d79a95a8b031eebc6c59dd0bb77de6cb960fe65a6d1be59e +i 20 +z f70715b07034e109d79a95a8b031eebc6c59dd0bb77de6cb960fe65a6d1be51e + +v[0] e30f85631b4ea4aadb9487c76cbec40ab63101a482e5aa2e3ee329fc21071bf4 +v[1] 8bc9fdd41fe1ecf5c2cc2075c72e4ceab370b099ddc672ee16bbd7a7de19dbb4 +v[2] ede086a76fedddb463d9f0fb44b39ac7fb64665061eb96015d4ed39eb33cd772 +v[3] a7cd74dc0c94aa8bfa480a88396b7f293f1ac329e4ce79e04507be4edbf4fef1 +v[4] 45f5c114a46bf0b2c8be1ecb8fc7c81e7fef668a2e4e9769f2f2dfecf405af92 +v[5] 123d101a02348f81088beeb6fafb7f720b49631736829d2f19e95b8d833684a3 +v[6] ba936ae1b5555b05601c2e59bf9585846ac01b5b7f6fe4bbd45e0653e961deaf +v[7] 51c0c307d99e34a617ead92dd37e1a0f36ebe2e45ef5b3690fd114099d483dc6 +v[8] af94cee7979c057995680c3a5adfe26e7dea759e2640b0b09aff383fa355d289 +v[9] 6ddb6908532c513f463473e449747f88d47766460ad316734c2cca87963b3060 +v[10] 88192953b60710667d47633be71d87214d2dc8be882ceb6928daf311499d2e83 +v[11] 37da1b76c2c16025f0644b6451027c8bc9768379c3aa7ab8410d34d8c8222706 +v[12] 1a46c0531cc13f546e001a67721931f4f6bf8eeeadaaab667ee651db0b272509 +i 7 +z 64c0c307d99e34a617ead92dd37e1a0f36ebe2e45ef5b3690fd114099d483d46 + +v[0] 9929839bce983fe53c4f8f9d07a462f82e8eebabba2c0daee1378abf585bb53d +v[1] 4e47d3997d6562c7b0347acc96925bd1907bf3a9c57d51b099c4a574d7bf8fc7 +v[2] a0de02656ba18dd1cfdb2938fbb864f9f59001110391ee1818f5c1dfee64f61a +v[3] 9c4153154f5b827bb847edfa04ce754e442f2e96ea001fc27f6d94ea8b06fc00 +v[4] 7ba90562980966abd857be3a84c1bffeabbb589415e722e51225f8317e829777 +v[5] ac4657b264ccfad4f5ba3f7a470458101d5c6025c45d00191ddd4bf85ca48705 +v[6] 8b11cfc6ceb02c5d4b3e19c19f1ae745fd0cdfd9da1a80e9df1be8f7bb99ace3 +v[7] 1202bae1f86d05ed8fca09965bb1cfa3fb696a3f2b7089ee10589394639da2bd +v[8] 143f799fc9ebec77aa444eb5ec95f64029cf61b875a2f94e228323844cb8eff9 +v[9] dcf99568b397db79bd2e8ae49778e1e49865e91525f932a1813d1c395420a43c +v[10] 84fdfee8137558f0b9f2441c375fce466e3212c0d0de3179919fb130e61b711a +v[11] 602454ffaf59610f76863a7456146f866539740d6dae63a3628d408e34db8e76 +v[12] 86ae4475d41ea312a97c821ac78b815e459dc6bb4d52c236a39e5e53ff17f5fb +v[13] 0fd56e878b74a2daebc2acc30c31c279f3dab146d748e7aa9b17eda7ac039c8f +v[14] e559e8bbd51113f84ebbe35ab16bfd46cf610a5c61307b986111ddbee3037f7a +v[15] bac90f3afdf4f4828368090958aef5e49aa83d25fc5dc15d9b8a354a30961e75 +v[16] 253eee8f614306e59a31d9fab5423ea269b67babd54c52243b86b8af1372f3ab +v[17] 69828b787af1831f772a3bb9a410dac8bc47909ac6bddc94a5c600a3167ce780 +v[18] 1903e9ca239847045875b0bd4e1575a724d9f729e3cbfc377de17ad29839a121 +v[19] 57bc65c0fd8495014f31e3be740967f3fd1884bee743b20b947339923530d63d +v[20] cf7427ebf6088e6f3385275f993b5c06ee14f738b59d49ecc327521ddced2a4a +v[21] 74c2a4122225e97b646d6a38584626a6ed811506ee7cd00b48ba563b7a776380 +v[22] 604f163d7d7f4987c8aaf2e7a946cec1597ebeb59aaeaad0dbd0737527b9350a +v[23] 30e7ae69cd5fb42ec00ca840988a59bf5688aa0b810bb2e9ea24fb5b322891a0 +v[24] 68caff542deb61b055bf65127a94d8ab107f5d2496764f97351dbbfbf34928e4 +v[25] c0d307ece7f18150d958bd88bf11912dc818fac7cae06ca9ec3fafd15d452af8 +v[26] 731b9ae286f29660fd0814568351bd6da114f3ee8b87c217cfe531746faa8c90 +i 8 +z 273f799fc9ebec77aa444eb5ec95f64029cf61b875a2f94e228323844cb8ef79 + +v[0] 85b3448d0292edc0b14cfae9225989a16a61ee8441166d5b97faf876b0ab6c7d +v[1] 88b0f7c78f8390b6cc1de0afda111326dbb41e7603b82033902eb56ea542c2dc +v[2] daf45d38b24294648a7b203758ff0654d42507e958bbd98c72229aae0a9e5757 +v[3] 98b44fbbf6e45c81c2473b626307506881a9fa609c546741b3637b731ff62adb +v[4] c0779c0f0a35658998ee9cb6b0cb6b7e089b7f288ea171c18bd2664ca5c3fc1d +v[5] 8da42494a2c1e2034d2009fd486cc230085fcc8af171e2bc2cf428bbf9b4bc86 +v[6] 6dfb99cec539941c9e7d26e5640641e4ef2c3f1a732f9c85759858a95c346ea1 +v[7] 471a369f8d1d3341ac707f1c41e5f0655cae51d8a170037ee349b3c14e01be2d +v[8] c1b75b02941ae0c2e398a2c8871955c8306f6ab88cdc6d751e11b35605d10829 +v[9] ea508e41e33ca0b03b5d93a54ec359e01a5a00a98a80f7e6d998641a6cb7ef58 +v[10] bb009a72b5d5be344a3ba9509b6e8eafbafdab4b0ec9202c8d29983935c6937a +v[11] fdce2ff0df8548fd7df3b8a087aa30c819af0eff3b8931e5ddedfdb0f4450919 +v[12] eea3990f7f4045a3b6cdae27e4dc8a8062049ac4423ce46108ab464d866b80f3 +v[13] a18000f37c8c4a30195e71864b14f170a3f5c427f4769c736fbdc18b3fe68887 +v[14] ba9aa19e99a69b34f357f92d95a6c409f1bb331d1d27b693164cd0dbb552c771 +v[15] b5863e0215351b2f9b6f661ab94c833016bdef73a34b100b6db79ea8d4b22ec3 +v[16] 983eb31be6cd1cd4cb53e489e4535683e21c00e6c52f685e84bd3cfc98f9ab2b +v[17] c31c18c6c12feb3be4e51a1671fa6001c1dfadc0ebb35349766d9d07d5a70025 +v[18] 6f81695294071c711947499c2c3d96969a70948c29ea9506ff675d25052f0950 +v[19] 3b42ffd7fb054072e7fb93bfa63d24511e6c93455cdd5b9be3c8382a3cdbfba4 +v[20] 6d7463ce0227e29a2706b8ad6be0d6cefa173c261697520b23edb87a189d31eb +v[21] f6cea0722a490515f48632f42f167a911ba00fd9883604e52d713210f3d9475c +v[22] 6281bf17cc14876c75e9620d8bb9bfd6e4dceae1ad3cb675769f94623ab3a955 +v[23] 2c943465a6d4484c71b2c5ae26e1d738059667093450cff54e6b45f12a7588f4 +v[24] 3d9ba6aad36754c5c767a0f288b6dbfcd2f1e21bd14094f4ddfb7c4bb79ef882 +v[25] 052e95ca0672218808e36c18e1fdee412a945ad735ea883abd527dfe8343a51d +v[26] 3f8ec0ccd82005e01ffd1fd7413a2a1dce1a177cf53474904cc46abdffd22a22 +v[27] 2030168387fa230e7a77eae5f051b4e0f1cbc53a78a5df640479c9fc373b9d78 +v[28] 3abd6a4fb5a585bb1b4609cebbbd1035392c7565654331a173092c098e1583a2 +v[29] 6bceb64086f3874854b4c89d31d20d8772b2f48be6a5fa1fe572be9927345103 +i 2 +z daf45d38b24294648a7b203758ff0654d42507e958bbd98c72229aae0a9e5757 + +v[0] 8a9e76766b2eeda9b4de923344005a825bd2475bc4d529b033de3510cd405b73 +v[1] 5206880a0e1c282a10e03253c787e005bc9a18613b6e238f1eb72c604844a2ab +v[2] acd4fe99d1df199ca20c743238a2bf9562ea4de7b82061d1a6861d77146bdfb8 +v[3] 6dccfdff241fd837508913d7e0b1ca3e7a426be578c2e82612f7d2b2491f08f1 +v[4] 76aa8f5fb4b3592ff58785ea27d287fa5f250fb84fc9838fad8d6a2cfc223dad +v[5] 71019d81508491afb6a33d8c99aba13d59c63bb88a2ba1182c144f171ed5a815 +v[6] f6ab8f0b95fcaad29def12e05f348a9a35449c7ef5e2859748e69c517f4f3f65 +v[7] 237b33cbba9ebcae93f8a4fd863f62a03651be2e936ddb5a62dd3b6a68734b2a +v[8] 4bbe3113be34a9f7fa26dd96258d1776797b8ea454a2f596ae076bdc0f5d0ff0 +v[9] 19ae0acbd7ba59869b51caa13e1041bcffed633235a858f39d0d583575a64123 +v[10] cc5e18fdfedf9a416727f81b24a227c0c0771565fff69fc3e19399a254d8c9c5 +v[11] 50765357fa421d9153c1f02adcc98f188d2aac6a39fc8d522c5e81fbb775bdbe +v[12] 10e3e53b7605240cadc28c4d3aeb1afe40b7d1d547f4ad60c8d03006b42fb499 +v[13] aec6bfd729a6e2898890c9ee15338aec209c94141dad7b7884f7be481a2f0d6d +v[14] 8f9620a5b985a3a1dc4825f1f4c683457a98f799118691bc57b17ab42713b593 +v[15] 92c24c6920edb4f37e73dd795ac9bbfcd8035dba28421fce290109c222bfbc86 +v[16] 45bdcd99b590e64aeb5173c7538e77a7cd10a9d786338c43e3a0946b33a9c822 +v[17] e0b86e6b4752ea2cae053b1bd897c6d749c7fa46308be876b8006c3ffa2d6479 +v[18] 6cb53b7769f0da52c697c8640c029099d84afb55c20c9ac84b959ff36c339e92 +v[19] a21436f9a4c876375d16c41bd3780f024b867f6fe6394c5c64b4ea5a6f306c7e +v[20] 93b40e751d291e90ec3adf902935285a5746781bfc1c594d520dc5828ba53d3f +v[21] 6dc080d82251557b9804deeaae90bb1a45d9895c5067f3b04dbfcbb5ab0be3e2 +v[22] 22783694c9ab9d652dc216306ea4fc09734e90bd08625e688b9bc1b8c73e3366 +v[23] 078b0d30cc5fbb248a5e84a416a3d849772ef6eadf20f73eeb82125f68a216e6 +v[24] 83dd79bd150e5f7bf7a357236ed41ca06b8c40bcce840e118f6cf457ff151654 +v[25] 72169420815aa9a38719072be9c824d68a0cc5d6b4251ff9180938def3dcb0ac +v[26] 63f1febc1579b537b71e1fd12687ec49885dbcf93db68f44660bca4780ca9aa8 +v[27] dc337f8a3699ff549dfa26c1a5ddab43cdac7062d90fc2a779ff528c414035f7 +i 16 +z 45bdcd99b590e64aeb5173c7538e77a7cd10a9d786338c43e3a0946b33a9c822 + +v[0] aa199ae7d7c298e11aa74e5bcff2f206fe6b53962f3bb39767ad6df19c58d93d +v[1] 4b95d1e296609760e06e7e476af7182db41712d73be94a3533b7332a7dbb780d +v[2] b72f91cbf1117db1982b035f0e76e51bf4cd8e968b932606450bdae0d588906b +v[3] a1de9fc4d0e579aad319de0280fb45b5fed6c9d38dab5216ff8401376fce0230 +v[4] fc216489a815b0c98969118c9ada3f7152c4eb07217abe54fae4fd4d63e96811 +v[5] b660cb7ac499821dc872c3400fb2590527659ecd72df16c7ec5376075fca7d7e +v[6] 3bbbd9dbbc9263d289de49b1648fd64751d8b0e6d5d506a356fee0ed6452ce89 +v[7] d17efdc8cff826d28ab55b51211209a27054f2d33f108f34ce7bdc5c71b918e1 +v[8] 21da90e37be817920404ff5015346dd05ef32e018632e09b7cea35d42eb1de1d +v[9] 66da40ef6fae8df49b5aca9a2400ea4fba527a9513c821e00985625615e71416 +v[10] 61e5b60766ca457b36aeca26a62e6f4831691ef79bdc72158c2a2b85fe3b5cb2 +v[11] 9a0917795f936a5384c4a504b2ba3d7056906ea4e34474c310b873f88890bd37 +v[12] af65ade7e8f0022420932d50d0a8587c43ac4436bc511248358886e2c7072c1f +v[13] fadd2a9fa72f438f147964180ffba490beaa55baf6275d8ca347ce5f5f94fd05 +v[14] debd9beec2527f284790a9ca8fbc074ec359f4a89974c2ff49780fcb21c5ea91 +v[15] f6a57794ba1265d9974e52f856acd3dddd0f6a50844172466c82f0d49eef676d +v[16] 97cbe03e723431b6c14bf1681e845d530e083ddaa26f055d3e162615f57c113f +v[17] b89054ac8b7135c1e6d215e4e5dcf679298fdcf6ef35301002be560389f8cd08 +v[18] 8ba6a9d5ee4bf15d87170e7c050699e858c6316bc92d5f4e19eeb3ed82e012b0 +v[19] bf0f272aabf63cd98397f4da2fd3c5742373529c91ab455fdf394fb6d0b8272d +v[20] 7a2a4980dec077abbd6a06f8b90219b818d4990b8f62b9dfc50bc4feec31eaf6 +v[21] f1d55b4e207cf5b7bdff5f59a63b55fbce6704b5ace5c5183f6be8e4770c567c +v[22] d55b23bebc2f16fc9adddf06ece363add71c4cfd73ab228461cfb926addee0cd +v[23] 76ac92ee62c2bb928bb5ec11673b51c2f1fec44ca27741a647cadfe55733eb41 +v[24] 1544a9b6c6cf77fec3e83bb08056bf18f3eb440611249f60cc97b58b5a93d364 +v[25] 702a0023d8ff6a108a2eadb777569f54df2c3b85634bb872611ccd8cf74e2807 +v[26] 8dc8889dae004e88a94f3c3beb4d39da7c074a038ff8899c5798f7a26fd17ec9 +i 19 +z bf0f272aabf63cd98397f4da2fd3c5742373529c91ab455fdf394fb6d0b8272d + +v[0] 63eca008f74f57babb34dde1fbaa5264656007f7479d8df3ba5cccadbe83925f +v[1] 001a67bf61d077528bf9b386694a99d7293d6b49f368ad54767a2829643621b0 +v[2] 4c124850c332a4e2a6a335e5f5676f803ede7958719b083f648137cfccb82f50 +v[3] 39f293fdd5b28c882b824d1cfef38a327334776139bc2d814834a86d6b2d93bf +v[4] 114df0c93aebb6a764740e43a67c6b582b49f6d0c393a23db42611023c044d9a +v[5] cd9e11bd49d7ee82e52f89d7100fd64c4474695054cd22442ed2bf17991cebe8 +v[6] 56931f05328bd38dea431af6537fe4a4f1e419a24c5181974e61b64367a65a5b +v[7] 2bec95a108b7a500937b5a3f3c54ae9b2cc7b11629ac581f7d8663b9c910af96 +v[8] 380777fd3ab97d140a142d3d37c7786264ea00b63083219652376d7fd56ea846 +v[9] f0fb2846d9cb0b88751db963f9360ff2bda25052eba9edd2ec561807c1f0fc27 +v[10] 34294c58ff5ff91f1472dc3d7b3099c81ef434126c58de3751c788a71f2a78de +v[11] 05c5a1c0bf29c1bef5da9298450b8ce6c5856b3f7e2037133734a03959573927 +v[12] 7fd9db5b2418267e94db49ea0534ec8d397f32f90981448c944a4ff3cb6d9c3f +v[13] 7015d096ddd557e669fcedd9b3b2624b910505f756e8ea160c5436bab604669b +v[14] 46858fe7612b43ba805a6c7999a3be02b1e635963792d228f1414fbdf13e175b +v[15] 70422706d36540ece562d1c36bfc5b178d1cf47c1ed87bea38be5a9f95010521 +v[16] 250e48d385aefbc10776582e71e4139148c99d6f9ea8c46a8e57194986eb2ef8 +v[17] 44accaac045de3183f7a45f89d4bdb5534594c90296ea664061f3f8a142f2d7e +i 9 +z f0fb2846d9cb0b88751db963f9360ff2bda25052eba9edd2ec561807c1f0fc27 + +v[0] 3fca772e14531611cf82782ecff97358f710763698b73e84479056a97d7d352f +i 0 +z 3fca772e14531611cf82782ecff97358f710763698b73e84479056a97d7d352f + +v[0] fd8d6560ef50712fb5f0707c342f618cbbe5697d261d249ad4887dc5ebac4f07 +v[1] 89c98bc89a81402e218e377257bd1532d524dd33a3b8c0458b2e5211d4d7b305 +v[2] e48938f9271a8861d46fa6063563b92c0a6fd59634151b075316faad9c87008e +v[3] 332fb871bf280cb18dc5d444a565ab1e505d274e52c231808af7d52cc28990de +v[4] 9073abe824ac2d30ec9562a5a67836af5cf9c038aee85ae1f7d387da64f558d5 +v[5] 04c3ffe8e6ed014162fbe6f3b8467114afdb6d5d51ad878c4462d8a926d9966a +v[6] 5864d08abd45dd3d4b6e59762a8feb76cdbcbab01a66e512d40bc070e2754ce9 +v[7] 0a780e6ecd9b4ed16cb4fd1b4b060c74d97a4268733855102b036f89cb4d5bac +v[8] 34bddd4d2ac8a920864e6b9cff04ab70f9978a16d0ceb06aee33aaa78e49328e +v[9] b65e8424be6a9247ad08f01a28e887bca33b3f5c28ef3adebf37798972eb99fc +v[10] ebd2aa397fc49104dc1c3f82f275bf625984c8c84a6f699e801b736c667a8cb8 +v[11] 8a704e508538e1d8a64c4c9052f46a07151c79dcf95e6359a8e5f41370ba40e2 +i 4 +z a373abe824ac2d30ec9562a5a67836af5cf9c038aee85ae1f7d387da64f55855 + +v[0] fb1b4c61b9b2fbe2faa5c0e3227e3c2fd4c8277aa629fc88fc18a4a29df3d6f0 +v[1] 3431d240f65ae76dcca41df165a4eb4c5af155027844d80a0c7f0d07ca4b5761 +v[2] 67e879347f3adcd41cac36e8c80a0f4c2ea80eb08ae9ee2b21e528769eb4c7bb +v[3] ce843b0190451928f2e637449b5ed95580645a0e0440ab017026631c619d2bcb +v[4] cc85641974b86dfa780e3edeafc0d6730da6f579826ba8f9bb8ab065b1e149b7 +v[5] 2f0c812e2c9114bef4810a01d108ff001fe328d575cff750e30133b464e2648b +v[6] 407a5a8964f840ca90aa4cf79a18f5760f7a8ff23bd6bf2d6dfc88c980728aaf +v[7] 26c2b3f4075ede77023b2de230edf8ce5e75a0cb9f1d81a0d154ba5d79de83f6 +v[8] cd98878185983eebc6f188559d9bbf8dc422eca6598a7df35449d0b39106c706 +v[9] 42aea74be96565c44c08df95a6aa58603085152d4f7fcf38375283859d17a46c +v[10] 31383c1609e8be3dc7279916eb5bb5d3e95e745a96f55ed3d69f296bfda19a28 +v[11] dc140f380ac16ab63124f9f7a02aa458ceeffbed4a9b8e31f45c67ce6ce1c394 +v[12] 81bb67da90b02b5b19ce9863902f12f33a85795994d7d22b914f0e82a44a4f11 +v[13] fd76e39b1d68f07e538353c0ffeb0c1225f5de64166ccd419c10134329f954de +v[14] e9f40437c324cacfc6974bee082cdb82c432a86d8465a0229a1e05fb19dec82d +i 0 +z 0e1c4c61b9b2fbe2faa5c0e3227e3c2fd4c8277aa629fc88fc18a4a29df3d670 + +v[0] c2b1fe3853bbed5be05536475b2f1bb818eb5ed0111f3be6c6b3bb8ede2d0beb +v[1] a692dee2a40878814b9ded7ba7ba47a391585ac93af04a0addec3904ed912ec6 +v[2] 015e98f69b98f157f559f8282bfbd20e07cc4a9e2929feab5a8c246011d1098f +v[3] 76761cf13e45886da2b747f0de3a238be8aaf5868eca88c4de6b614ff3902e12 +v[4] b6b06a046fa5f2e43e698fc96818cc7bf888d5c4f4f2f0bda86cc35c1b48679c +v[5] d7ecabc614122bb6908ebabcf7bcfa9a4fae88bb8450d559297c778dd35279f8 +v[6] cdd96bbd24cc00b4fa5c8b20efa66a3db1d62e76f001dbd87800fc59f4a29a1d +v[7] 9c16ca817b43101672fd1cb3583a6b44bfe2ab5956794280a3a32bd2aa651656 +v[8] 4d7ba5f8240527b3c9de386b00dafc163314b3f1311bc30b8434993b50e08d67 +v[9] c4ab9766eee58337a92412440f12083a0205c39ba27e0877613b4288dfce9899 +v[10] 71ca275f3f7df242b5770d37c92425bde86184ab23c06c6b6bec799c47651433 +v[11] 49da5429ec1ade01eba828ad21d230cced84c8a28f239a69194cc0b5de9a0f20 +v[12] fc17ee1656b6f0de36158fe2db82ad3f63c196c54002728bde4c5e27e6c0d7db +v[13] ece944bcc82f520e8171aefe728863b99a9772cc48b714d82426224b302b7be2 +v[14] d2ea262ae062bc1167e79a7bd8abc2b6c7cbbdc03622495d1ff3a56e23c03f72 +v[15] 9be5176e8e873f9c320cff256e7b8801cdc1cee0b32ddd715d71abeaf909e0bd +v[16] 0e666632a0ea9c9c5cc3fa519a42c34313ed2f64057106e38dddec87d68146b0 +v[17] dc48385d46bcedbdf17f43e7b2de274556b411a0ac4b7e89a2f5f71a1d1ea5ba +v[18] 76919d83ecc757cfcd916e23e5cadbdda21793a322c0fadad4e581819ebc0b18 +v[19] 84830e7a1b4b50e6ba90fd5f8b1198aa60b0c8987c962e9eb12adc2cc389ee1d +i 11 +z 49da5429ec1ade01eba828ad21d230cced84c8a28f239a69194cc0b5de9a0f20 + +v[0] 99f065bb53134babd50f3f46adb63c64f7600acb39487718bc0a39fd3a5f4ebd +v[1] f70702612b9b45f7833232a7267492299c23caeffdc4f8a494653cde777861ab +v[2] 16c9b6b125cb9cbb201cd0a558fd58cc29f2d197b9b160a0cff88ac890b9e429 +v[3] ff87c5e3356c8fb8dbeb739aaedd0df3da2ec3072e5a806569a5847fcbcb4267 +v[4] 01d23260fa58bc7c077e05cac9e1359a9f4f2c9f2bc8312e0832376e3c3cc554 +v[5] b7b5071166d68c704410d4e9123a261631822060c336b8cf0f5685a7df6ae6ea +v[6] 621633e25b1ba392baaa31fc2d6a57e8286f6bf6e5edd5a0268a895af91d61c8 +v[7] a29ab1d52fde5e7026124c3cec2be1fa674d37692165f46d1d91bb9f41156a55 +v[8] 26d8eb53078f2e515bdee3adc377a16b54ae575343888c27c6d72e07dd7ded04 +v[9] ba5d57dae01659afb41b3b4712f0ccfa3b6b2a0d8a99fa5f1078203925897618 +v[10] 8cf51cab05199e2154a5bf655e6a9e9498c20cd08b564936b164b0a7f49a1e30 +v[11] c5b3977228539a7f573c88800633f1da39a3f1bff9e1018af48f94f211a812b3 +v[12] 149a93a1ded07e398fe248962a7656f9b0f15ce62c4aa0bba4a3c6f00cc362f7 +v[13] 234974b4054622b0672626f111ea5b44afd81dcb15f29974585c9b77476d9290 +v[14] 4be4b2338d92909e6a138d4d2e53e72707a4af62acc8cf2a121c8105ec4ebf32 +v[15] 1e6192c030263e3847898afaf5003000552b9ccba7caf6361c1f34fa0890b086 +v[16] ba698e634085f7dd38da012c8c97efb97a9b3c08c829d660e72e46d12eba79ea +v[17] 712198efd6734fb564278f1bd0dde082482078548dcf4681e65e6dce39328c1e +v[18] 8cff8caee2ed08e384331fc0509c1ab44b291d840d19ee991c9978bb7642b4c7 +v[19] 98a539cf588938c8ee31d80ff0254e13460f50d7907885f2debf7b68be91edf0 +v[20] f0cc67c038324ed37948dfd94ab50dc6fd07ea8b441009ea2c4e185f0d800b85 +v[21] 09ae723e872da1687e02c883a254e033e8c67e784ed33e3a28eb8cc92be37d32 +i 6 +z 751633e25b1ba392baaa31fc2d6a57e8286f6bf6e5edd5a0268a895af91d6148 + +v[0] 97379391993ac07a0b019c4b6d2d08d4555e5761b4faa7bea8eac269844c6106 +v[1] a2aff4f6141eedf254a8f7122ee37a1403b97fddc2805ce4ad010829aee1575e +v[2] a54665a1ac19c8ab83dad06bb5ce855b45246a9ad338516c5d67948f86eb1aa7 +v[3] b8fa1fa064f6bd0af94d427686a09472b6a841576754500464ac3310cc147d40 +v[4] dbb4cd734b211f5ad48452a193489fa25b0c82a594105a96ad627c5cd5328596 +v[5] 5396b8de36ade038e4424344fb2083226410f771c8ec979e916f37710b56cffe +v[6] 039b59e759c9a380200b129e08d77ef53d703689b60ba5f117111ddd27f1674a +v[7] b3456d7bfa566b925ef014c6538c89251b7c0fa9fea89fd1806f97bcbfc3cdb7 +v[8] 4ab7a386cbc720b5676de0e76d584d6fa538a0015debe30c37e1839165763d5c +v[9] f7f55c12c67c1ca28b3947fb7bd7c4ed9a5240f962425b9b4810191d448af7c5 +v[10] 8dc0a95877c2ea17052b55c9f93440319ec38bbf80b375177e84ad14bab558dd +v[11] 246d97123750b41e5bf2d96f10b3c9e66e92759373999bd94191a65f25a864f3 +v[12] 5bfa2905cb0b0aef125fb39deb2cd392b3cfe3f3ec58f8361e8cd5f12bd2db98 +v[13] 192413efd53bb958417f65a818d48d6bbf94dcc77210d9623adbca15633bd7ad +v[14] ee95faf7a7f31c7afd13d393ff2ff4e448799c87c62092e9e646efa4c635d1f4 +v[15] 77c00984400bbdcc81aeb42085c44be70137db5a0464f6081aa9c8e646e96e1c +v[16] 743cd93d6f6a48161881d2224b7d7c0ce96d56d54adff0b719955cde417b35a6 +v[17] 92b99335dcf6b33de126d05329d8884802cc3afd0f93e9dea7db5f6dbdc6c623 +v[18] 584ccd19fe7395f9f2dc53f2a9da292e0cccfabe82bc46aa64c29581fc570deb +v[19] f9321c751abb9df278fbc2054e3fa368734cc852589891b49580332a52b6bf72 +v[20] debc2bf3cedb7c897924936aac0b485bc05eb89530c886299e8d1ccad277355a +v[21] 472d49f8ccc249b8271fd0630ab575721852e98015ea27732915ed06775b444e +v[22] 7b29b054a2347baeda4dbd1b739072e6d144aae3547adc8287c3af84285057d1 +v[23] d7a79b1f1ca757e17729436fe744ea7d99a64d13bf85737b6a71d41ab13343e4 +v[24] a957b6345193173a231d9db8acb3a6c09bb411d210e0e52c94e75a4d68602aba +v[25] 6277d818cbecae95f1aea85481ee631ff1e7c77c6693e6349d1804db784238f2 +v[26] 27e1d5a11dd9025508168d9d11cce0b8f0768b6846105161eca53abfa4aeeff6 +v[27] 1823372e2c7cb9fdcdc97ca64ffa06564907b09015472cfa73bf0a45d7c90bec +v[28] 08cfef24b9eb875598779315de4fcfc918931e05f49b374113c25cb5b23a4944 +v[29] 3a5d9db56bac2f413a3d33b6d7a2f54053aa3a641d6554d6f008779939f2682f +v[30] 22d0256cb1a53aaefd5d2fde14b63e5adce607ee5a22e8498f29982f88088938 +i 18 +z 6b4ccd19fe7395f9f2dc53f2a9da292e0cccfabe82bc46aa64c29581fc570d6b + +v[0] 91a76b64122a404fbf873d65089a7613bd3d93c4227a4b05817223640ec20ee9 +v[1] ab46f7649122de1d73278608e02d44a1367f4f5a7c01d1c17f2a50fb3148dfcf +i 0 +z a4a76b64122a404fbf873d65089a7613bd3d93c4227a4b05817223640ec20e69 + +v[0] 1c12d157172079be7ecc31716fac8946f5517a3da6612bf4a0db65707e72764b +v[1] 9d9ec126bd404e82448a16c187152307ab6319fdd5d4280f070275cedf1cced2 +v[2] 25be86a2abbf7619f7b92855cc50572af4fcf6ee071078d24baa24d623ebe4e5 +v[3] 9b3a13dd1b67a284a9ed869de2663d82035342bc0cad65484da1c7b60b82a55b +v[4] fb82840bfd348ccaa0d3d362c1123096a5103a09f979e2f4acdf7aa600e55a84 +v[5] c64642a4946ed50924eb1a4c6ab73b53942c5a17cc868f8c6c5ef92ce5986830 +v[6] 8e7aaf58bc15be92a31af4f0b092969a250222e7ccbdb638aa846f8253c33d50 +v[7] 375bb009118659c831591bd6861e9c9eaec85c0fd9a1facd5f2767ff27e3d36f +v[8] f5b4b72840ef438fb8f7fd1419aa5248dc38126cfc29099cffe68aa94b215b31 +v[9] 3b0cf55a0dc7856788375bfa1390fe4c628c271c99ea76ac78517ad5f36f61ac +v[10] 82cf74084903490f30152c730970f8b622de5414e1a60e1efafc6aa57ff2fba3 +v[11] 9d476226e3c4f844f392e7efea7726b02bea64c9aa1e78513efb28a000cf9624 +i 11 +z 9d476226e3c4f844f392e7efea7726b02bea64c9aa1e78513efb28a000cf9624 + +v[0] 4f8b3919461d4408a4d4375688f8985332745cb5253671dd7fea3c58b8e33e5b +v[1] ecd4f6bf71be54fa88e51fd9d98f60c009fa1b4f15ccacdfa7b26a5ba52b1794 +v[2] b0bc276ac01ed6b25fb569ec8c614f4a9299faadcb93bdee4dc637c888381d29 +v[3] 2fbc1564ecd906f5d56838c9ceb3ba5b5f13925cadd653008f1ee9f54c18ea37 +v[4] 66e9f3ed35f45675f9601181ddcff688229371c6428c1d9dc67699821e3130b6 +v[5] 6b08a213ca51403db7e08bf6945b23ccb62465f582248661b901b6e550345516 +v[6] abdb83672459dad5b11c3cf9e4d21235ff92c01ab00b2d44aa6f10bfe9b274d0 +v[7] f609191b4efb288359af7170acd0904c57d45c7c658c0d670e0fb22f9ebc0044 +v[8] e4056ab4b8afad5e6951c8168477f15ee3e11fe3f236a1d19ea201f78b8898a5 +v[9] f3b253fd18515ee3dcfd4a14409838a3d993a5274bd77a1e5a7088d20ba6c592 +v[10] 710b8819a202ab80bcf308aa94d3305944dc739e33648df045bba215160f8ee9 +v[11] 1b63314e9fbd605ac063546ee4249bf9f37da0b6b78d99848f487c6880f70c3e +v[12] fb04f3e49a44c4eea104c213446b0e6b81da047a0862604f488e0c6128238d3c +v[13] 43b1624809a253f46b12d97aa08dc3f16b25613022483b8044cb01b6d23cfb28 +v[14] 0796291d8916b0b70ebdab0f42b8cc55c14734cf7a398d48f94b48d9871ff0c2 +v[15] c55cc772bb71392f13258339eaa1d8b01c402e8f6c9b6061f0e1c564feb98234 +v[16] 882ad3994d999ac7243ebe9955468a52b2242564a295a9740af8980043f9ef0a +v[17] 201f86fc5826d74580c3bd3fe04cda2a823c2a4d1ace3e862a9bf6873ba25055 +v[18] 5c39347c213f6e1b5ded1de9f92ed21d99721c4e4216d5abe207321caa426971 +v[19] 38ba53a577809f2d2c3cc33016e6141f4a87b6f57b75be70b9cd3d287f07ab00 +v[20] 7b9e12c5293fd99ed3fb50a2eac4587bca4aa8bb97c147626dcb9688593ad2e9 +v[21] 4852c30283c1ffa109aade1353d11e9712d8c4e6d416926f231a2b89b78fbdbd +v[22] 80d25270ef8002232cd0e35433ecefc135cbcaa06511ba3ac14484b6e41c953a +v[23] 6159366a1aee4692a9986a12234728c685cf766ad3e2c4cc842f1142c0fb856e +v[24] 95d34152d18b9942bb13c6bec8e533c259adfd69dbeb06da63c351997463cee9 +v[25] dd5890be52cd0207fecd0f93dbd3a6819aa2c5a592ca0975a419104e7ff4c284 +v[26] d9c3f02b7644b3580d190f03bfc9accc8abf9546463a2171d9cb19b3783e0c92 +v[27] e59449e7a9d07631450d85d108f3cfec2d67d63ad65a7311b310bb10137fcdbc +i 27 +z f89449e7a9d07631450d85d108f3cfec2d67d63ad65a7311b310bb10137fcd3c + +v[0] e5d98efcc2879f32793efa8f96dda9c87b70834fc9d468dc464b0940a7dc160b +v[1] 04d4bc5cd4690a0c6561feae82c6be57195c7553276f12aa16fb930ac47e315f +i 0 +z e5d98efcc2879f32793efa8f96dda9c87b70834fc9d468dc464b0940a7dc160b + +v[0] bfbed3f0a31b886bd96a817e0b65be1b1e374fddb237514e89fee7ce34a08c45 +v[1] eedd85cd817fc74938e60c366445e6bd5383dedd290db3633d5ed2ff320139a2 +v[2] 006b1e62b3aa1830de71c0ae063fbf090e536304d601e6c851800ff1d501d249 +v[3] a4a63dcc680646b69c8e651dd9c3e043bad07eb9bd6b55bc5bc854d82bbc6b00 +v[4] ffa2e97c95ef5efb87b78e89f35e95f89c1c1b2591673fd2166fcc9765abb4b8 +v[5] 030984d84d3d9667e436996578a3ae58853d44e111990221cd15795167475426 +v[6] da8350e83ac6d67029c24a8d386c6352a27bd22fd6a207474a952742790e4be9 +v[7] 0618b6f82b936b5eca87e9ab8dcd9a2e3744586bae01a75cfabb23b1b64f7aab +v[8] 5a3e077d0d0d28ba3b6d6fefecc6c2f7ca530fa63bf414976ac8b26ed6596a3b +v[9] 381e56750672340b18b60612bd462ade52d3b0d5b487f1af8438140740df484a +v[10] 65275cc865fc4b5d94023fdcb929dd27dcd64870773c79f015d4a5f30751ef2f +v[11] 724f96fe61888b5a885713d0c52e759726b877031b3f4f80ad24bcf417a3dbba +v[12] 17f55299b7cd1d851091052401612078978bf2b09fca8c9e2189474e9d24b81f +v[13] 14b82eebd7325586c1ed8be9353fe5ad9375290a92e76d13947c6405febb2f52 +v[14] eb5a5c7771ccf698a2e803a3a4e6db056ceb0da4d808db5758f2cb28ccc44bee +v[15] 96db7bfd64b7d41430ca6fd0714487926d02dc71571161f8deea0f6a3b52ba80 +i 6 +z ed8350e83ac6d67029c24a8d386c6352a27bd22fd6a207474a952742790e4b69 + +###-------------------------------------------------------------------------- +test condswap + +x 14e55571df646a69a8280bf8dbf8e9afc15bf5558bb8b8236ebcaa19a96053bd +y 8bef5021598a8175565e1f2b522ed1c4306fef4e0e973b50d3a03db1fcf11a43 +m 0xffffffff +xx 8bef5021598a8175565e1f2b522ed1c4306fef4e0e973b50d3a03db1fcf11a43 +yy 27e55571df646a69a8280bf8dbf8e9afc15bf5558bb8b8236ebcaa19a960533d + +x 53d8c54864e18f8fc742b2cb996f1d7595122ca9c90de9f49485cf5a5ef05058 +y 9aa95be655b6704a3dd482e8424f82d17443ae26ab41092fad95df9cac678787 +m 0x00000000 +xx 53d8c54864e18f8fc742b2cb996f1d7595122ca9c90de9f49485cf5a5ef05058 +yy ada95be655b6704a3dd482e8424f82d17443ae26ab41092fad95df9cac678707 + +x 8c7b4ffbf50edf7edcf8d69b67796de38b56a5d4e3a9fb2201354cca0b1b7c57 +y 856e707988c37e59fc6689d024b98bc01b71034484ba194ec7f45106267cb7f6 +m 0xffffffff +xx 986e707988c37e59fc6689d024b98bc01b71034484ba194ec7f45106267cb776 +yy 8c7b4ffbf50edf7edcf8d69b67796de38b56a5d4e3a9fb2201354cca0b1b7c57 + +x c8cb24a636f6d8f2c045c8441b21314884a71d55c73d4ef7ad65620ac0d86616 +y 02b47be53df7c8521d57589256e69b8bbeb1e838d84c090287c04a25d5c08e1a +m 0x00000000 +xx c8cb24a636f6d8f2c045c8441b21314884a71d55c73d4ef7ad65620ac0d86616 +yy 02b47be53df7c8521d57589256e69b8bbeb1e838d84c090287c04a25d5c08e1a + +x 7d96f47612fb7135edfa71dd4526d8b4c944d74ddf004e1653d3af52485168b4 +y a4e83162602d20cf71a279c1071038ecf94f38be11ad1191927b3f480d393e1d +m 0x00000000 +xx 9096f47612fb7135edfa71dd4526d8b4c944d74ddf004e1653d3af5248516834 +yy a4e83162602d20cf71a279c1071038ecf94f38be11ad1191927b3f480d393e1d + +x c3a3d4462091b36bd6fd494e70c3166478be0a65bca7f7361246c52dda402981 +y 62d0ae1abbe5cb909328f59e71330269e4f2b1d3c664e7f1f0780e0a4774c262 +m 0xffffffff +xx 62d0ae1abbe5cb909328f59e71330269e4f2b1d3c664e7f1f0780e0a4774c262 +yy d6a3d4462091b36bd6fd494e70c3166478be0a65bca7f7361246c52dda402901 + +x 38c9b0d92be50270e29cc3181952e745cbf21c8d145ae0c0a6e59f25394ea59c +y caf4896a2d3666200741d817ee1dac661652b9a1741ea966d5ed7cbc4c76217a +m 0x00000000 +xx 4bc9b0d92be50270e29cc3181952e745cbf21c8d145ae0c0a6e59f25394ea51c +yy caf4896a2d3666200741d817ee1dac661652b9a1741ea966d5ed7cbc4c76217a + +x d637a72affa4112bbccd2878208ce34fae442e97175e1b39f43c00b14d312a2b +y 76209f8b1f152ba7e1e6294f707831021eb2ac03872ed3774ab8fc5e6a0e864f +m 0x00000000 +xx d637a72affa4112bbccd2878208ce34fae442e97175e1b39f43c00b14d312a2b +yy 76209f8b1f152ba7e1e6294f707831021eb2ac03872ed3774ab8fc5e6a0e864f + +x 12f3bd417fb3860b2a4fd04eb1c51c558a4c5a3dcc1ac457654a45a3cd45b0d4 +y 46f802836c7bde099775f3fb4f5f6345364a7e158bae9e16c4c99aee0cfa5e42 +m 0xffffffff +xx 46f802836c7bde099775f3fb4f5f6345364a7e158bae9e16c4c99aee0cfa5e42 +yy 25f3bd417fb3860b2a4fd04eb1c51c558a4c5a3dcc1ac457654a45a3cd45b054 + +x bf1809201f83a34cb07aa2e2372516631ba0513e600956e6702903e9084770c4 +y 414bbc77d13d7b4e706acc07406e8d624f2485463f9948d81b72268c1e086a14 +m 0xffffffff +xx 414bbc77d13d7b4e706acc07406e8d624f2485463f9948d81b72268c1e086a14 +yy d21809201f83a34cb07aa2e2372516631ba0513e600956e6702903e908477044 + +x bb8703f2ddaaaaa6ad19219684b1bde576b38bbe9065178b24c1bc55563fe525 +y 1cb3ca7846a3c584b1bc05b25ee91d4779ab9ac64ecef0fcbaea8d311b55d618 +m 0xffffffff +xx 1cb3ca7846a3c584b1bc05b25ee91d4779ab9ac64ecef0fcbaea8d311b55d618 +yy bb8703f2ddaaaaa6ad19219684b1bde576b38bbe9065178b24c1bc55563fe525 + +x a07c7110c32e362864a42cd2f371ff420bfd442d291cc15ec079d642b5c85bdf +y 497fa7867fcd0617c4cd765aa6f46b89390744b5b57d11ab732153e075fcb607 +m 0xffffffff +xx 497fa7867fcd0617c4cd765aa6f46b89390744b5b57d11ab732153e075fcb607 +yy b37c7110c32e362864a42cd2f371ff420bfd442d291cc15ec079d642b5c85b5f + +x 10fddb7f48015b394512257da026938b67f65dd0a84dace51417d68da003a913 +y ebd6706b7cd2ee2d97848ee1adaa990d8ddbfad48e43f51d7ef843fa7597410c +m 0xffffffff +xx ebd6706b7cd2ee2d97848ee1adaa990d8ddbfad48e43f51d7ef843fa7597410c +yy 10fddb7f48015b394512257da026938b67f65dd0a84dace51417d68da003a913 + +x 1dd835e2173b936a91da37b3aa11e848e4497964a9a78ea929a19105eb981a24 +y 3e6f1ab7d5c460dfb7ad1926c60b64a8dd48ed0115b0655a6d8619666b8c8dde +m 0xffffffff +xx 516f1ab7d5c460dfb7ad1926c60b64a8dd48ed0115b0655a6d8619666b8c8d5e +yy 1dd835e2173b936a91da37b3aa11e848e4497964a9a78ea929a19105eb981a24 + +x c4541b1380e796a333d88affdccb4d2bc68bc5a1b3890ef2fc1a2c38dbcac725 +y 6f6338ad8dc0562bc02e307743b81013ffff6c135fdf8603f9956b7f94eb55fa +m 0xffffffff +xx 826338ad8dc0562bc02e307743b81013ffff6c135fdf8603f9956b7f94eb557a +yy c4541b1380e796a333d88affdccb4d2bc68bc5a1b3890ef2fc1a2c38dbcac725 + +x d71f16494f041d1547e5dd9ed539e6b9c1506cebb66f6424e6c7aaf6d0ace080 +y 78c1e6cc0b6f64e161def3b2ede7465f21f6afe61299e9a3c52b1a7a080b9b26 +m 0x00000000 +xx ea1f16494f041d1547e5dd9ed539e6b9c1506cebb66f6424e6c7aaf6d0ace000 +yy 78c1e6cc0b6f64e161def3b2ede7465f21f6afe61299e9a3c52b1a7a080b9b26 + +x 4d90838ab9cc0a79f4e2aa6a860bf8cfbce5f834aab428d4a06f8ef4a2da582a +y 53124b302e7675ea5784e2e7d9fdecb38d9c8be158312dd81c51757bafb79b42 +m 0x00000000 +xx 4d90838ab9cc0a79f4e2aa6a860bf8cfbce5f834aab428d4a06f8ef4a2da582a +yy 53124b302e7675ea5784e2e7d9fdecb38d9c8be158312dd81c51757bafb79b42 + +x c8e764092ea695b0dd8f0ecbca5a4e02096c821b0f5cd57de8e3e50d8b2a40db +y db7fb38dfede5259a584dbcc697f259ce380110636e301acb308bf687449110e +m 0x00000000 +xx dbe764092ea695b0dd8f0ecbca5a4e02096c821b0f5cd57de8e3e50d8b2a405b +yy db7fb38dfede5259a584dbcc697f259ce380110636e301acb308bf687449110e + +x 34cf8e55b3d2494362a87a24907fbdab61cb4f452ef5a889a1aa40a22be6d976 +y 679c6d6f6dca1b71bb098e3854c63ffb8ddb76f1a1cb246ce956fd71d6477c20 +m 0x00000000 +xx 34cf8e55b3d2494362a87a24907fbdab61cb4f452ef5a889a1aa40a22be6d976 +yy 679c6d6f6dca1b71bb098e3854c63ffb8ddb76f1a1cb246ce956fd71d6477c20 + +x 9638ab322ced065068f98597cc61fc2bd846b5849dc39a881209b8efcbc95eec +y 32922ff2b62e968417225b765f2787387c8a42fcab1dbec3815298f53813a8cd +m 0xffffffff +xx 45922ff2b62e968417225b765f2787387c8a42fcab1dbec3815298f53813a84d +yy a938ab322ced065068f98597cc61fc2bd846b5849dc39a881209b8efcbc95e6c + +###-------------------------------------------------------------------------- +test mulconst + +x 8d517a8804d934ae93388e1d59748c3c22866d7be6cec58a357ec43f6dd029db +a -319312 +z 3f2fea85c9195f2246f4f6fd2e8d5de95c5065edbea45a174bc0d1ef3db4aa54 + +x 1b5d6a6c9cdd0dabd126e5f5ee2513f3d27c56dd3aad89c882fe9fd2d38a93b9 +a 499342 +z dd310555966ebe7f409dcce2933f91af8e14c8909f78e4f113606789dd7f504b + +x 9e03b44e93743e0cf5768f65bd3c0f255e001de330d5e1a863d6e4dbb11748a9 +a -284189 +z 6e8c7f8d0f1476cf2603f5702fe8e8bba5c01e86b6e008ac72987fdd6721183c + +x 9cc65e302736aab9bf02dd451c216ac3dd2066af299d7f6bb361eb3b36777f74 +a -15738 +z 8c067e5dccdafaf56301050be17b8895c07e7f13572bbc5ce1af8b5be043d91b + +x 7f36ff91ed165c6ee44aca261dc09e3e124c2ed8167064c20d9b84fa226e2555 +a 423857 +z dc7415db1ab5e5a5658d089ced49bf97718bccc55e2f15b83a28157cbe47e559 + +x e8852c80db69c7e55d476ed00ca7c0735052f7f72f81198a57236feb89a5903c +a -140934 +z 4923ee40bb01314c2fe9f2f87d0743823311b2d9265219eb7a6de5fdfd09a308 + +x 505ef65d294b77e260757bc867199c4b0922b5022dfd6a1fe7478ea27ec102c5 +a -307893 +z b14d72c991a0bfc22b1b95934bbe589b6a4a1f9c76a89d7012f8cb03379a8844 + +x e410c260dc8c1838f3e9658ae586425039b373ee2ab88c750a51853b012af0af +a 471420 +z 42ae337a920ee1b83768cbf0750f524cf1f9e98b99f195e869785f90a2356756 + +x e2d181914b54175190462d11402717f42efa37967b2fe0bc4433fd4c862fd646 +a 492178 +z 4c6e1ba6896d2d661fbf99b77f63e3095d3341f04bf258dc3e4f51e39c68f576 + +x 9cdda0d7da106ef5cfb34774f48308b64953e92869dab0ba804927080509d8a2 +a -312149 +z 4e75e56793563268480efaf6232ad702bc5aef6246bd44e3499ff437810b523b + +x 9dac4442858b8dcc324464911e6f23ed046e42612e8105dc3aa2b9eccea15dc8 +a -88818 +z ce52a0897600a05383df0a0b99a451f0d5568146b4323392fc164153715ecb0a + +x c9f92ceffa7027ffa71e64b714c36b28a6a18c3608f8170d11d51acbee3c62ba +a -259755 +z 89582517069925572219b2eec2a25029e8e1c78772ca8c50bf23220d02740763 + +x 8f8bcf28f4920465680c8e15befba4ebd23c1e27b71c224c98461f69caf76eb1 +a -430350 +z e96b93f0aab6ca70f7d2c1121110efc320aff34e1ec693d7bf17bce1a756d622 + +x 6f4d413a27388fe84a2585e809927bd470ba1b0dc749ae6e2dfa100617a5a7db +a 11486 +z 1cf1f5bd0770d949ee36df858e5842805d121722de30d2ef6bc2b82d021fc14b + +x e1d05a072d1ab70d895969271f44b7c9d1654171836cf234724d2f90434c04e6 +a 8057 +z e32b3c792cd3b6a770eaa2627ff8de8895873d73d734b961646fbce0643a443d + +x d8564ee3ff02c80f0bf3e9cdfce42cd8ac1012ad8ea74f8c0f5754b5775a8de5 +a -304373 +z 884266ea43a6a9b72d113b437dae63c664ef53884c893212fd864412f4e5e457 + +x bf66769ee0cf873764524e760ee654e8d5090aa774f2e96144d945f8da37af19 +a -159091 +z d7438999b3bdb99a46e2f3dc8492cbaf52b0a19c651cc382c384940861bccb6b + +x 72b7d02b1fe23adea87696864c0a9f0466db85e39db397f0eb428a50e277aa2a +a -521654 +z a611bd153336e178a7f3d912adc2fb39b342132458faeedbdb0a35973efae23e + +x ff5c39d4b7fff86810a7a3b14a58bc01e6ecf062116adaa78dac0d1bd3f6039b +a -140759 +z eb9e32bf7d027cda198048da50aa79a11bc99f3b37a219a2104c78f4affb584f + +x a6f1f7f30e3f9e5467f180f92d2c94165fd9427d0c7d383b9077ca9a7e50dac5 +a -317637 +z 56a32847c50bc9609db9796e1650fbe97524aacea746d3cf285f0f2fced01a49 + +###-------------------------------------------------------------------------- +test mul + +## Easy multiplication. +x 0500000c00003800006000004000000009000006000048000090000040000000 +y 070000180000200000e00000800200000400000c000030000090000080020000 +z de200094610090df0020fe0180270700650d00dc2a00f84100e0340040570000 + +## Random tests. +x adcc6f10734dae2273304a6aa493ee8f96e05f2402341c0d997dce58ea57ff6f +y df3c8d5bb6380fa278d4ff2994c7865bcc146596d3c3126242f0dc3509b57449 +z 5ee2615b75a40367ced4ed4bf1578d13e7afa4d415f38f802b7e7b374365b627 + +x 054bc4d5e9b78b068fd20645eeb1f03aef2e89a1f56cb50e5f1170a86529526a +y f976ffa1d1b4a33d0fd866528897cea3eaffdc75e31aa65450a62ff765fe7985 +z 0210280745f6c29a04433f07f880bfd2eddd758d82996e79c65de817c30e7309 + +x e361c6fedbbe081b7cd683d23a2bf0ac889806be7230b56d9398959713a300ec +y c8121e53d78c2e9ba2ba7f51b7cb15cec970a63b4a642ac470aa1f2145f07bd0 +z b48bb1c7ddd26cd9e5a2cb73bb3885dbe4a47e03886d4dfd59e5729d544d566a + +x 463158a2077f931567d45e19deb4454a2ae77045db70a2c078e160ebdb74fd94 +y 3f311e3f8d225016448fbce3fbfbe84002736e3b0d5a90f57d705ede8706008f +z 44cd97e25c20ae2fe2ef4f2630981a1fe54c79ebd904bc40e39d9fa615ffa76c + +x 1c73fca52556e01204d4b957a01d1049f2247c8666d90c1d3703cff16a38c8bf +y e9afa0cc85577ec7eb1ac66d87260d5f3659936ff88cde8bd1c3fa1d499e8bcb +z 0979a8baf734c86a4f57ae400b7790c4985fba3088cb1b265dfc7a66c794121b + +x 6e2bab74e427b1a44f0cb181f9dedd6fed43cfd395d3708c4ae8fd2137215eb6 +y ef400834f2dad8763a1a5a58a37d1b36a78873860e4dac808d3166f13724942c +z 0d481adbce7bd82ebc5a3e5ed7a492e78a032ebf211a5bd2371c528c77954936 + +x cb3575b41d9521da5c85c6438af14903a8d6d9c3857aa8e101e5295fb277de7b +y 9f76715d2ae3c8ca182406553d3481fc36d67727ca2d51f5db37940aa3208d8d +z 0b2fa619265bd424b9e20d38bf4552ad63de8ab552166080d099edea5fbadf7f + +x abd66cf3b20dc4c5a866f1a3b965f794a726f96dd00f576d16ead66eea3a1177 +y 97f70fc92e0cda0e010f2a9d7608c33db954af18bc18ad55bf66e7d91ae31abd +z dcbb2cf34274971ef030827865b093a00761de3da90e46f00e18d0fd934a2b7f + +x 3b3c96ff9be8e17e0a0d3979ea5e5623fff5fa18914151abf79fe66639beef06 +y 1d29c361677805f1dd2b839e025e56208a10c0b8d9f2a8c490b0a892c0e27080 +z 0050873016bc67023d0c479fffa56a5a70512f9864d00b0a3e951f1e85c8b412 + +x b263d4a71b6d963e0a972819e5e5805b9522f142d3c0ff2738c51cce31e9f0d5 +y 64f3fbcff2195c297292df3e1cf900aae457e09864c5a6248ea21ef8efd557d9 +z 7e6f6f511cbf2743c0fc1c6431243908606cb257d20f8a8a0885e6ecd000e811 + +x 0df0497e1e01dbcc4a48d4865127d9cc31a9a0a56e90cc31619e65c1521b2369 +y 9277f0c6a5bcd7c7ed8dcf7182795f67a12e856b126d09966689834c43aada47 +z 798d270ae34aa2452694b4ff74049a6a5169d71c85bd1a9ac59625e9298cdf1b + +x 1dc64bef2189eb5349f5a8983c1854a40141a5390ea4bf8535a15aa71d0289b7 +y fb59dc9b08f9163881b10020ce040da296ed8c1a9a935c27ca0047a4d7f6342b +z 9fc23104cefd3014a469e6d3a0631338eaf91e24994ecd50bfc0b4547317317e + +x 975b108909e87803af98af9425d2a982865b6cc9c144985b32fe5bb842702e24 +y a69e9130dc40be50e827dc50dac05bf900946cf67ec35f1bb1705001314e4fcb +z 12d042e50d0cff7b43a5ede61ce827a99619bf84995d488fe9eb56a8de769164 + +x 39c0db5a4b161c368b0f71c7e8ef97dddc444e4a33181e0743519f2a879ae04f +y d3cc45ff509ed45998bd5f218408ad51f7457b35e8ad69d5431f174047d7c6e5 +z 96b877604f52782ff2a5b1a12d7db642371ca993b648c4971cbf593213503219 + +x f8c6715e4a327cbbdbb08d74121619abc73dc421d7267029e39b50c1510d2045 +y 63870a83cad4c1c64195ae7b92f3b19c830f35f1a3186815565d846c787c7ffc +z 286a0b8c6681a7b79a5f85426fb60819b7bd349e93c1e11943c41c8dfd57d00f + +x 49c9bcaf5434b8205a348df290a96da27df084f34047efbf91cf544057a50bde +y 54269f8b23c05b94c9c1cd74eae88d9227af12a6fb337548eb93c2a88a75a8a5 +z 1e3dcab5d7361f00e70198b52e8fb6d1fba74abd79d99480527f6711b21b833b + +x c7212b43ff0d10fc52d3a2a7e15bb9cf53856f7ce33b79df89e1d13f95a94511 +y 5213ec20bd054491a5485f665075835da609ad4f3dc005744f061480862ee602 +z e136339fa01067c6c0823a7ebe2f84d917600e244a9883191900bb95a3b59764 + +x a15d62c6308448f1f70602f43be1825696d228eb170bed55322a21d2b1afa915 +y 58afe65bc8adbe22807026aa1b0d68af330bca268fdc054406aa41c820960e71 +z 996c597e0a024c2ff0ffe289d8c7270e4ea1d38e294d7210eddeb2c0725a1305 + +x ea233ae033ca93034bc8fd8ea3c0625bbb15b00265264fdd61f62cc808b505fe +y 09e12ef9b3426991f7119c2e8349278342ed0072317c4ec7ab24561b61396b39 +z 1fd72191fe9f00b0cca6a635d14904bd0c1e0ccd1275e84ad0b7bde134866e2a + +x fe1fd3da05524af4ccd538f1d2ede09582101fc2a47c2e63758a546bed6cc5ec +y 523346406ef3df6ac9a455d0d2e7f732ad01c88245b07a888cc21c40fce11a76 +z de6cac8fdc878d9c4eda6b78f8b629ecf776980e49fed56bab936fc03924f44e + +###-------------------------------------------------------------------------- +test sqr + +x 4dc87ad85abe8938634492ce2ea10bf48dc4aa2fa37a6a0fde3e5a01e90dde2b +z 346297c756d77b8ea312ddc455223f4577aea2a2e8d944cb24adb487de143b46 + +x a33aed91165d7fd13a543760d3915c1b5d411a21895cde81b2f3640b87550cc9 +z f923e49da9d5f45e23a782f911fac1a6c2e67cbbc7b03ee4675a0c5fbec03641 + +x a1406e453db6c92ef808295d1919c5bb2491c0ce6d5326d276c57e57943e0acc +z 18425bbd92149991c4545e65495af0e6372289e9a32649c127122243204bdd73 + +x 70a56b8484234ed002a68c8d535a4e527a61c360f7d4ee5b4970c8ace1e12de0 +z bed1c435139f151d0650577e03c32428f63cdb7bc1920110b5fdbb27f08cb200 + +x 86c3236a6194f1585b4dbeb09d0247fb7d3ae08063ccf9fc4fde70fc23735710 +z 9b6509acadd5d31c4c843e91cec78be00aec4fdf7d86132965bd6f62f078f711 + +x 0e5e83c51a8c091673425c38785e0aa1d74c7261a035a891bf734cca8c8a3db3 +z 4efe5029e99438835a8a45d0180b8de357eac82ba9dd8e127baac0d758dfca1d + +x 31c39a5afc33f8a8d3c570b9dc5389bea6fdaaeeb44cd7524f6c445b9583a34c +z 359b7c8791cc87aa8b3c799c9d4d7e1f4062a4f64436d8c01071597e8c262127 + +x 5a06203c15d6c1db6ea0fcf468a1e3f09d68c4a0f64c3d7e30e70290545e708e +z 07f8b435ea322bedf613458b1eb420f1d6bc96741d69695899bd40f7eca6f72a + +x b1973433646474167b791b326827641260fb33d6a2c96d4e963a6b091f824505 +z 52a62396dbbceead62912f8adfed2707fc25edb51aac19b2a274c246f1209f26 + +x 96b157d71e107168fac206dd63007f10f4ae1225b0761c470ee18ecdb4fff20b +z 84ba2a84b156437cdcc39ecc8b1ad01bba934d8dfb7d504b9f2442db0ad01167 + +x 6167d77675e19785960c28df551b458e41dfd0dfe5e56e785b7367997d5eb0a6 +z 79a558436af4310d3eaee93f9a7cab72bd817fdf59d267e2c530ba8d667a005c + +x fb4b2ab08db932ce10dd62639aabbb266f9ce775fb5a5e0875864f18a3ee506c +z a6013661f2f0ab875739836039bff6bff4c993aefdda43dccecf4c404b9a612a + +x ea26bcf0bfc3e15d4df7ddbcac8b5b9e9a7215d74196d77c9e0524e861c6aeb4 +z 113e06861e3d338618695f4713464cea536c8019da77ff0dd9946f3b860df062 + +x b67b1ffffec757ef147e86cf60898c5dac515f080f43f4e120017caab4eee5ee +z 7d9748a1ff6ca9cdebeb3dd6668522767afb9ebf1c680fe7fb3f5848f7222036 + +x c122016f17f12e53f9ac031719fe428c826217b2b757ae44f2f33d1b8b1bb553 +z dc068d032b97c98eea6dd6c8bc42e9a0a6250c81a36a8f64615489e191287c72 + +x 1266ff0654c08e6183cd6c3cc760cc5c88d1f49b918f2f8f587b3edd4adea513 +z f07f17fadb2e2dbd282d296fe5a15cc5c2baf6b45f5fd5dc4692f252039bc862 + +x 4c4dd9c6e46fb2c096388583f2a0c969245452b23f16ea43e15064c45357ccef +z 5127fd4415a84115997b8b3ebe88a590efde9f8b53a43e86b1a4d60782c91025 + +x 095d149c2616212e5f770f133e719d285a8bc888414271296684e732feb5473f +z d8038bee551cac14d1c610bbc0960d943b01526072c589bc913ab51fd47bc848 + +x ad55f9f916d62bb13ceb1461b99e82d76b860c084ca408dd4a18f154b907754a +z e5c86ee6350c9ab736229f3f53e2ab852641bb8a62fdda609444df377e9ca04a + +x 2e4976f45acc671e38add93aa6a89669cdc9874975879b3134dd37c633c9eb14 +z c6513f1a11346d33b05ad65eca13f11125cf70bdcdd6e666a8a7b9c5b6098429 + +###-------------------------------------------------------------------------- +test inv + +x 344ff33a2bc801f861bd13575797da35352c8164808d27f51ea7ca46931b2b1f +z 07f678dfeef071b038d692bf825cb4e75bc1934bd3a6e3dfea99e78bdaeecf3a + +x 670097e2fbbecf6516e949d98f6d722d3f732c33bfb4e62512f9d28d94546b64 +z b2f5cbcd7d8c996ed33a813b1aa39c36f5826b436867bd89b4ce43a156c1e96b + +x 234f3bd8760cdc8ae7fac9457da418cd082e42906ffe59a13e52185a7845e61c +z 7488ff9231e4819684148e16ebc25440732ffe7d211eb3d3263db1af9f1d0513 + +x 22a39a35b1cabc6dfecd1b898593070f0c81bbd04b4b20f43a9c7c14b5dfe967 +z 892024fdbc8937b9b3aef794f57b8ed8517510b6de3f6088987b1310c1dc7932 + +x d850c118c69198268826d05650958c6bed55b181090cf1c96493ecc4635a913f +z 7aeae1b0dc5211f374872e78da8f225325f3f33f9c42bfdeff25d425dff7710f + +x 33ccdc0e39f7cd0a61782c87ac089eb7bbcabce4dd222f05088d3d6332efe959 +z 668f87e23239e965c80740d4daa9c913609388f291c11f950684f45e689a061d + +x 7c06f93b2f66001c74073b8ba7536049738e89b0a0d859a8a73710de3fadcf79 +z 52df0aa24bb4a7474e6ed9852ba542c1f4c5219372a7b5d60988890e2955491e + +x 9a0ce9ff4026bd58abcf8a128dbc55a19c446005834a143634452821d5f9f0ee +z 79eaa93b6287705c0ba564c31bab1854c7f4354845be065c4bf94d38a7a8b421 + +x a13a127490bd3443fdba99baf61d113f3aadd6966c9732cd16348f9fbed32e0e +z 67290b25e6bd7328dd804309a6203c02a75657f593c7e66e48c9192524e5b87b + +x 35f7ac3eaa36c4ed338388fe7eda61cf237eff6ddc0847cb0c95255bbaef8ddc +z 4950601d2cfe75eb9c4524e2f40f404fe82d0014c916dc43d9416cd2e274992d + +x 8a058593035986da3a19e63dacaf40fb3db4cf382205fc4e4802e0ff0c61c8d6 +z 6a23b743dc2fa4a4132780cf6edfed4c219760f3b31343b08710ea18d2c0fc43 + +x a10d03234e700ec92270b6105fdb787d8edd3f960fdd78ea2e169f49dc708d45 +z 101dad1720604d0b093831baaa97fd0701ce773b9c1be1db0403533ad4376c0a + +x 52d3b9e030a5ed574f7f9489c47e73f78ef88a39b570045f9ef73c9a3e65f425 +z 83da3e088dbc9a3cbe06496c5a52edc8d7abcbb8a0f839361762137b119d961a + +x 9928b5f14ec80a036479d7b08c128e601db880daebef36adde6fbd1f50f82629 +z 8dcaa9a2439b77cbe44928ac2877e09755c505f58df4d0ffb9b23fc256b12779 + +x 5a956523956f8ace6166ea6cb3c7421f8d1142d26084a81d615f00d578e03448 +z 658a3ee24ec5b5f1d2d12614e535247c9f2f259131b00f654e09b4517c63ea09 + +x 157492cd38a07802351ca0d1a5615d5c5f254692acce930fb6be351e9a52f088 +z 32fec1eab85ddf8d27a437876e7f5a07f012b02e7971869811c3c31230204164 + +x 2d07c109c332847567621ef4338e149b99c5bc3bf6e50943695da7fed5d8141e +z a81472d28a8235bff43ad5cc012d52e95ece3dbc5ba2962dc54cf9e7f81bee04 + +x 7e172f6c03415e83d4671e0191151d49e5257651ba73848254e68fad0a095c50 +z 1a8efdc57ae9d39ffa64afbc5d2dc1f25a29d365ac3dee0d8529977c14aa4415 + +x 1934546e37b0bac80319fa7f2f86c18e83de8da830b9d0b5019c26768974eda4 +z ffe55479771f20518d8fc6491055368b5dcce9b4e193d19897f1e116b9cdf946 + +x 90324ccfe0e34e9b08db1862be3bc17798a8581ee097be76545e3bf9d586a2e6 +z 0f5ccf4920d617c9b4f7fe6e2c9e95e89b5516555d5e3f5f9900485451d7425f + +###-------------------------------------------------------------------------- +test quosqrt + +x 18798551568191dbfe6bcacf95bf4bf00290de4c773a1d4233d1eae272b3085b +y 2ee52110807ab6e31e0ed7b4de818d6474b514c63c99206e58a6df38e149123f +z0 3819accb91d97a3f4dbca732f19723fc772a19b3eb4d307acad706cc7c7e1c1f +z1 b5e653346e2685c0b24358cd0e68dc0388d5e64c14b2cf853528f9338381e360 + +x 8671a0ecb7344f2e44fc9066aeb42661e848417e8c51b353680573830857d90f +y 9c4cfb1aa650924ceaf3e23b260d02b7d8b7dd4445360cad0bd4270428f55292 +z0 +z1 + +x bb0d27e1743f444e2f612c2ff575c6c6663f01869eaa8666774b8baa59b2a714 +y 2fecb156c393d27d7b9a5e4cc2b57cb5524d5b945e92c5b4bdccdd6d00e684c6 +z0 +z1 + +x 59af963f7245901807a46a59d4e49bab5b1fdf3001f63ef4e600ef8150d0e13a +y b5ac3372ca5435577c416ba46a57879b0ca1df29057c540cac4edacc507b5e23 +z0 +z1 + +x a7b8659775a53e1fa315066be6a37a3f645d782cb69ec6b4f27fcf4daed3d82e +y 4550c4697a5d29d1a97b50ea65e98ec839567a3fc556ec3790b016c24b867d89 +z0 a190875f536f94ae2af8aae90bf0afabed437b36cf640d85529b150155eed53e +z1 4c6f78a0ac906b51d5075516f40f505412bc84c9309bf27aad64eafeaa112a41 + +x 7163512100699c32d5fadbe3583f2f6f314c347f1e66c434b15ac06a5733f3ed +y 2806d76598a43c24820daaf87afa5a9a4d414e5d8f51993f1b01166bb5479c27 +z0 01d5d023a6c5f7ec1d5df3179bb240e3003a9e3be8ad4e154c6e8f7cb7af6536 +z1 ec2a2fdc593a0813e2a20ce8644dbf1cffc561c41752b1eab391708348509a49 + +x e950533666a4a1edc3dae30637d6b005e34b614fe75555be0e1759def06a2aee +y ac5a603347a585ca19eba141b1dd1b8833855e9807776627e8c9f92001a4b9b0 +z0 +z1 + +x d3c5ccb02442548901b3ffa2ed5564735b0b041386fd38e6c40844dc9183006e +y 5e6f23ccef94660e569bc42093d2b862ca605b81d64bb3589331d015082b4996 +z0 d7d578a72f1ea2dcacd0a96be285e9635230dc297fa7f6e1f2b9754e2d29190c +z1 162a8758d0e15d23532f56941d7a169cadcf23d68058091e0d468ab1d2d6e673 + +x 37cad075017c111f99135be6a0f553535d56153cef8839eee1e70614d65df1c2 +y e5f9944a377be3ab64daccfc9e711f4aa522c68a80efd0a70c72cdd4507014b7 +z0 +z1 + +x 85dedba748f478537d016f20b9871e830e513514fbd27141aa54ca77b2a673be +y 950bc6fb51f6d8c36b7ddc8cb28d9efd498690a46c57888b279de0e549e84c52 +z0 fb7871031556b171a25dfd0483f0e2ed8d24a8acc2d9fc201f42f0b892fd541a +z1 f2868efceaa94e8e5da202fb7c0f1d1272db57533d2603dfe0bd0f476d02ab65 + +x d70f399a983c6ad48acca796d9106c5e7681f34bdf34248f6dc54620282bb327 +y cad23bcd1fb96331bc8139f2a8f21d24492e56a7b80e343a7002acc96a739454 +z0 ff70c5bffe08911fb5522b21beecfd80fb018f0afef24fe85cfb7e4a5024960a +z1 ee8e3a4001f76ee04aadd4de4113027f04fe70f5010db017a30481b5afdb6975 + +x 71ee96ced0b50bc560f2477a88ea2447573490f71850f084ae0b318cafd8a75f +y 15c61eefd2c05d72fb07e44a006dfe314d8797f978bab1fe9f9276bcc82b542a +z0 +z1 + +x c27a9f169b8096308f313ab5a521886084f03ec6d9e8b30e4773d0a3ab1a7c67 +y a7ca0e7fc5566dfc3790a3de164ef26d6452715db428994d438e79f65034d174 +z0 129427bd4c2195fac5a0da4c52ff634c697f18c3b02d0e7aad45a64d03b6e922 +z1 db6bd842b3de6a053a5f25b3ad009cb39680e73c4fd2f18552ba59b2fc49165d + +x dd73476aeab865af0775723ebd2128ca71621b1d95231813c3d3cb32b805f418 +y dc6621f2ba82deb8272243baa5d2e177a60b1b780daa3ba081040e05b1d1b2f9 +z0 32ae54f7a7dfa101bad00f723898d29a7307454f86cd1197c44b07d1b997fa1f +z1 bb51ab0858205efe452ff08dc7672d658cf8bab07932ee683bb4f82e46680560 + +x 3a3ee482bf7075fa38780616603133ecea7b56acab59d96ebf7192e21c49a806 +y b7e6d647792961137dadce55ce69634379338bbda45fbef9d56be52620738d06 +z0 122b696683c2d1f3feedaf6166037ddbd7281e0c4c875724177f240b54e0dc22 +z1 dbd496997c3d2e0c0112509e99fc822428d7e1f3b378a8dbe880dbf4ab1f235d + +x 71f31797a8a36123e4a0b173ee4bc5a04d7799d1eba246df51cf943aeba0270c +y 7340069440d6c72b4536018eec373f50a1142c9e79de8a5396f994e53c64ab18 +z0 +z1 + +x 0d2a6a9de4d52289cc724840670abcc5a4ee04f1197bd1d230689431b01afce0 +y 21457f6784da81822df90f09b44782bd50a12c4fb378091cd33b177c734e0728 +z0 2b272304b3cca59e26431d91118a95c965bd542191c7cef760b085673e96a432 +z1 c2d8dcfb4c335a61d9bce26eee756a369a42abde6e3831089f4f7a98c1695b4d + +x 288b09090258a71747c1a08a51b0894a0c096f5b88ee38ea56a3aaefc1afa0f5 +y a7f6391e06b8972b18e899753bf3853270cae7971774041fa9bf09a55349f950 +z0 +z1 + +x e912e39e2199c3980c5fe3cac6d8bed394367f28213524f006a9b2c0cce4a6dc +y e6b4a592e37fb5d3af73c486cc211a57d4077c093a161276dcb6eb44303d3ec6 +z0 +z1 + +x ec6785be59b890e07176c09195430b7f5daee0b0898ee744e578ac25873012b6 +y b3cd2df2c2531beeca882607d73f38403d8ff384f99be1ce582536bc3d4bfcd1 +z0 +z1 + +###-------------------------------------------------------------------------- +test sub-mulc-add-sub-mul + +## A very basic smoke-test. +u 03 +v 01 +a 5 +w 01 +x 07 +y 02 +z 37 + +## Stress the bounds. +u 000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 +v 00 +a 0xfffff +w 000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 +x 000000feffff030000f0ffffdfffff7f000000ffffff03000008ffff1f000040 +y 00 +z 00000cf2ffdf4400a09a000079fdffea040098edffa73b024072ffbfe0feff65 + +## Random tests. +u 6f0dc2547ad77f7b3da324876e63c724c1f69cb2bc70ff960f1594f90202e17f +v 23a2d45c26880166516e6831ab5070dd2247992418ad7cc41155a9362744f763 +a 4783 +w e145b5f91b683918d1efe6193de27909bf9051b0157acfa458bc3f63e5272de5 +x e694fc475a442bd72cbbf11206474e3169fa74ad453aec3034c1dcc1f1dfbce0 +y f9b4f1ac9369241a302f874305cd2d2fba362b5735d36d3e072c7198d7dd4005 +z 08518c9f52236272202869bf7cb549c667f6a27d1c4f18ab58605d63821a6c61 + +u f1b3d663fb9458ba8e4521e8e2c976fafc8936433b62e316c6dcff794b1ac8d0 +v 2185dd6948ef2339c9a43518dd02eac6518852d1c35858dbdf5c1acf1d995884 +a -128133 +w d7a628aa59d409b755a1ff0d76f37ae8e4a73d47375940c61351074f3c42ad2a +x 4a353e9e7e9a0700ab2c043cc05f9795cc267e001b64799ca1849f024a42dfd7 +y dbef6513fba5ca19c545b162718eeba960b0930b8ce99c3edac5facf5fddf4f2 +z 9dbfe69897a273171ab4a697f88a0d4b420a3ada7a7f9e67d0ba871e2097026d + +u e8624dbe04a1b19102019d7fd9e06fe502764afb92330d03693279e872e84f81 +v 8da8b04024ff708a8b5fa31a6a654fc31d3748f74a897898aa42c2bb65494586 +a -118148 +w 83f63df59ce4b3161427b932ecbd7796bd162b553b70bbfef8a990ba6f20c23e +x 9d896d69ec478456fb6cad67774c6e3e0e313aadc0564d759380981fb12dc3b8 +y 0e8799aa8de1b1ac4aeae4d1e8cd5936c66b8a0a60c8d17ec23bc9c9f94421ea +z 2221a87687c127b352e077bf7e975c83c667c8ce603e9d9fa5e02b195c7ad873 + +u 2527a8ab98898038e9e132a1bc8349a33e2c2f6ec8b6c15b06410177297d30fb +v 71cdbe058a0357295dd5134fb95a630055f39d9bd8fa0c759b1b70fbef6147d0 +a -14780 +w 0fe111e19ddf5d11d40b584a31888aea4a388540b86d14b962a1a7135114d5b3 +x a6386eeff2764007a570ba7e82a214667c2949a793fa0a52b7665c09285c6661 +y a7557aaa000c8840e08163b7eec08bf24ba275a35d85bfd7813aaafcc22715c8 +z 867491333fc048b229ddb4740b1fe6dca1feebf1d40660814feeb1fce97fca12 + +u fe07ffcd6b14f75efd74ff983e8e5c20f379b0c78907f0e453753b457fb53159 +v 617f2f7c1153eaea3ccae7dfb07fbe804b2cb5c8205d657c3106b5a60100cafc +a -128312 +w a0af624a3f54278e2f7cc77f5d0f10750179bb18e07da059feb0bc98fb1d688f +x ce432859e6d7e691ba9b44d467e8a5f1a97979facd2d3c7deec46e121193133b +y d60050fad0f5c4b2e042141e4f7a418d3e8a8a308acc96651728f363ee793628 +z b9e4e8873e006d41104b1cd6a32282fa2b94ade000dd57dee6dd506cceb34c34 + +u b46e84be433f9e4f43ffa2f1f5200013953d820d292e3af978c54401a252111c +v cb7cec0c48efa4e0e54f05ac18574d5f67bf1a1193d6d58f42183abc9f5bdd49 +a -3288 +w 18603c0562c4d893a699fa6258e2de57e1cafd3e8ad756806d09db0c1ac9f86c +x 0854368c6b459ba6fcaa95db92605c9d791bf4dcc57bfda2ef318b48f7521d73 +y 0c83d0b2d331ccc62bbcd2d2771b18bc0b909a3bbebcdcb99020952672f050d4 +z d54073b190601f1cc36c25109a5b44f04b6c2240c268bc71cb983d3dfb25cd64 + +u 1f490365c3b82416fd3866a42a03f3bd643844e0d0cbebb66af54aa35de3efa4 +v dc805758c7e714a2acbc1e467520ecc3b9d23ce5133fe79e377e6d4520cd5196 +a -129141 +w 1a53a3728ef3587085d0b530be8ae95e367927f9ac3b7126445d32b46f3abfad +x 0af6ce5107ca06fdfe732d11161b197830a963ec667065c5293bbdf843e23672 +y 5bbfb655a175dcf7a4f4fc886a03e3d99cddbd34524c3cd2fb13b793bb2132be +z 7e5576020e7bac35c7f5b3dc6b60b2c1cca55f6c98141682efb4737963d0307e + +u 09e03f5d67a92cf076740e4261833f244b60da6d02cb42278e2ed9183b6eba3a +v 5a8b665434e91158559cfecf1d43d562c307518a3ce889165b406b1aae38a674 +a -13299 +w 16e0d405bc40f2075f5dd901769def19f15759faef9a5fb6356b94c5c48be3e0 +x 101da726c0dfd102c8eb2178640054248225a6fcfac1bab28a09b59cf38703d6 +y f268d102402d31a33e52a941a06c64a30a721ed55184edfcfcd85db6fe3db676 +z 24fc9112ce6d3d70e8c245f9e2c883290384462065a5a1ab5821b9cf9d61953b + +u f86ba345a367c676d99450d4893ef4033201c8ddbb631c4658e4ed24ece98749 +v a3c51a17107327742f44cc2e265482522cf39b6bcbff919bcf99fc033d76348f +a -88039 +w 5dcbe0be5f9f80b46d2e651504b10a3e481257a4bfacf40d8ccacea9d73dc2ea +x 2ac88350fbffcbc743d36fe45c80a70a8cbe88be36759943c8e124163e432dec +y f54685e704df0e499e495b3b77e64aa0ec0c9fc0bb18ed456a412ac6079fe9d2 +z 3e7c00ea9ee49825f5fbb9b704dc720b062d8e08ee8dd410f3d34d255602b56b + +u 1cd810875f48ef4c71ecb0997acfa31249ebcc9280e7c2f741038a0529f653d3 +v ba2e564cae8cdc2bea40d64b5598493ac2b11902d91b5aec7a0e4a8649aa7ab2 +a -77488 +w ca4929fb0fed99fd9dca7a21275dbd97185900d4eb362eb09bcb5ce7098aaaa2 +x 89b395b440fab27d3b32e0740caac3ce38affbd80b2f8f7b6709294d6770873e +y d2cd5ac1ea7b0e1f45bd3cc64b651518dcdf9f25078de7cc4970bf54976a0c8d +z 06ea5e15853bb29db5cfccd62db2e64067c90a97eab43039cacf4ee639ffe979 + +u 9960c3131e513fba3241b1f9bdf44fdbe06c43d9cda9e05fdb451eda3e8df394 +v 4c5f72392dddd1b8e84db5bfc2db04985fe3d1226a470c851a489f98d954e6ec +a -33449 +w 04eacb794c87c19087b793a0e2d187cc7e0b07d265fd6cc46946780d2ab83810 +x 414db559bd22f12717b431310c1063534de5e627e983f4967b2fb38f2c5f87b0 +y 599bee129778596ba77c27a896020fa55123b8635ff3d9efd56fe406de878146 +z 26c7d591e0028dd611d6e84969da716eb740207e49f5ea02f17a3224612def12 + +u 2cfc4c9cb8ca259bd4ffcbbd498510f8a65cca584303a28ed475584bd1eed111 +v 3223cab1344be86c0af9995a769276cddbf70eaf55caee24dd4ec0d06c2f4309 +a -53728 +w 3a48f8bd8a229fa9f5b9d7c4135ef6c3a251b0ce451f482471f017e963839405 +x bec0e71a657e85e024d91c41b3a2f75f478528d8ae1afb70bdc5da255d20de06 +y 53dc48614937bd5ea1bce51b166bc9947e248a98cd0fac55f632cded216e9cfd +z 2999f607e716f0c769e9fdeff636568674f3601166d6b7f566a369b5d4e2797a + +u c37946f39bde051e4a6f91a18fda21ec2bfcc375b703bbb81fdcc7ff15cfedf4 +v f37e2f1bb6b71763263e742cfd1ce8a9e004a5e06faf0afc52cf49ea89ad9244 +a -69223 +w 0592777a8c77c1713a72b2ce18fa318fa93e9c6e6b870e54723a43408b502b74 +x cf575224b26f636b4b4f28c90995b87d900f6ca5ec9de6c24e65b747d303d221 +y 8ab7d691dd76d7cd63d3456c677987a9e53904a4895f053e3de08786d564c837 +z 1d667ed7c9b93f2972de23f4d633bcb5f2e56e446cba103c3cf2cf0931687b13 + +u 2afb15ae6438b8eef9d07f2491e43e32a2b9287381c7bf036dce2a1b0a3542e5 +v 18c9bb7c91d5e5ed96e6effc6609fe40e72c5634cac2cf6fb55b083c3339f40a +a -33255 +w c0c870e0ee2116aa1182b2b4ee4bfde446f721fa6f1bba3a2ed4fb703855c673 +x 91fd148ae6d53a419983999020d845503cc923e012e6869201615fbb8e460360 +y 5d02294b16e04ca4a7fa4fa5dc9f12c7156e2a68c02495ea171a8cf13d35af99 +z f1f90c61c85c137e2e9d5ca7a6b388afd954f6c93548e5fc3b82e02fe875923e + +u a7a7193315006fd85c97226f44708d61ecddad2e184d69b0db62f9fb2bc678bb +v 87a64ef3c67f464441927c08fd1b57d17bd644a422b96f151aa2d7920989e4ac +a 67151 +w 6b31a270025004a878f214f100a764165033e170ea5e4c52832673cf88f9f0b3 +x 0c0af67c56e0b2336ba06f447ea4f9cbf052147e35f16216b306ef1211ce4142 +y 54fec5270095dfc21f44805ba17565386bc50d45bd1f797ebfa04da5040ad08c +z 92fdbcabd91ab43baa827594672dede4f0c71d8302b4cc8cd79270aa0c96d915 + +u 5d72825031c526d9e1efe34fcbbbd81b91460112f9f950e78e12c777a2994a59 +v 4334ab5246765e241435c6faac0a00add3a5adcdafe017121d03b9561d0d3516 +a -66199 +w ef3211bb4e1bac43430e48594577d1d271f76b46ea7e44542c23524b3d6236bc +x 1bfb4fb8d8429f0dd7a6cbc23dc2357ce9c1c72be3acf0a49abc331ac751e68a +y 7cf2ea00463d76152e230cb5465ab55d30f09afbd007d2b55393cfe8e348cf9a +z c0a66f24e5800bec2b9ff65207afd4b29326525b910381d233bd91d51530d046 + +u 01a66900161a4ad98f028a8da8f10142b4855712a7eb8ffbd699b13b7cc1a471 +v c6f8a0b42c3f2a1109201c7a97e3307f6cb56a1a27f13e4567456d9eac2a2f4e +a -71473 +w e2eef0e19682ebb44cfdf84c71cb556311432fd948951a661d4240e16bc68d1c +x f69b44aaff31db04fa4e8f14f51051d353e50110b1562b27d4493ac5e44a5b07 +y 29039f65da48a24be024cf8f1af95ea9b09a08a54eec810e97018add81eec1df +z a827fcc698403d01f8c2597a582ac8ddd612e5c2a520b0a2428e8dd35c58002d + +u bc607923665e36ea0f8206b358fb3a327ef9a70ddcadb2edc49660891e932726 +v 33e905cd1b262eba320c61428704c1d7c354361043ea7233c69f1f691f7c7175 +a -101999 +w e1b804b366c155d0f1a09fdbede434c669bf7f188daa96b8542dcbc9bbe66b6b +x 413d410937fbf0575bf34c0b70ee6cd5737e17b6058e774f889104b2f6cacc7b +y 0784aeb89be679694477cf399b605473c2c48887b687a980d7d333632e060e6c +z 16edc745e1596492fadffd303c31ce5827c3971c591c68f9e2b4f62c967aaa6f + +u 904e1b99ee3f860409a2db3aa4e539b2b50cebc57359f23fca21b5bb1306dc50 +v 133d76a1f768d77a6801d73a570b35f6dbbd98aabfa4258445684143cd30a39f +a -50858 +w 547270fdf41f753a4189d2a9630ab17b4c6034829770a40fd8346e75e92610cf +x 076c4e34375857b9e6289287e03c744fd60d76c377a772f6edef3ad30e4afafb +y f2e8a830fe203901f5f34ae6e606aa8f6cffb504b166cba4cdd84d011b783b90 +z 659233daf8ebd47c77b9d46ac65237e1bfdeebbcc552c7db5cf8dd2d4bd1aa2d + +u a6f4bce9adbe5a68585c205d20b05c6662748f5f1dd2458defbc126792837a63 +v 8f1110929626587241fd403c8332b2ebbc398d4dd7042b993fc24a18b53e3847 +a 81985 +w 012aaf1e00a521e8e0639ed116e15476f0f8f1c6dff47d860ed60e0bb7c156f7 +x 13aaf4f9f20d64110beef21bde5c7262c4bff80a85a08db1e098d45ec3d69457 +y eb3230fdacce04518359bfa7cff0c9d6d015966545e40e1c1da18b760031b2aa +z 607f7b77fc8d3ca15cdf6e2abba71853fa74739f83589a4458854ae2db0a4727