d = 8c7238e1965ddd73b1114b897e1bf4b308c0d9cc710d0482ab8b9e737405354a
z = 8476013560151d986dc7834dcb57c75f845f8d7ee71558d0955f3f4feb723cf2
ek = a9bcb364f93cdcd97d0b004c5b42443d19cf74d80dadf9bae0fa5bebc00bf435568f2acef6fa1e3e22189a6207db208b2367856c591e10376a6e92cb165b2e05c7a3feb91744588e59d51fe323a90719a7018c670374a579201917f62d5e29bce6d7294f301853b239e97329f7e312c9090706a83d6c8702f1c462944bb487187f6cd1cc4040b542bc4cb4106eba18168029b5fd17bc6e0c6319283b799ac6415cb1730268602115eeea5e38665ef7ba38ded2bf9743ca40e29d16baaf9b0a0d9e7679959c7fd7112b64d85ab4837e7263c35ba81143c973ad833962c9944ae7bc16e54755fa19ee7a72f6041981549925212910f0924710c1501c2937089ef5b9bd49fa51fc222978093d3d9226fc25a275898707669e0d980c53b0b9525c89f25baa174a1ffba361e33a0c3d4255335c3225b2ccc8a6c58da868d0a2262963b9048559084814694240ec2061b2582e60a82b207c2750c1aff73a86f5f7ca8261117c741e138b117d5ab0a61c6a1488747cd3200e38b705194490130f88905a95e52ecf47a78a14725d6cad6085434fb21adf579ebe090279979d6a53b2ffd7182ab464a85b3299fcc4b7175b6cb5c392ec65fd892676b74b1591af3670bb02f39bd6b9cd3c015dfebb8cea2a24c723872e606961e10ec2946ddf9b05fa6a7c72845a5d4abd6e2a6ac0f0115f51849a38203b0a467788b3a8062fd1a826bb463c5567c271c50e43c6952f01410c970495c41faba3a54983cf145ab395b2710875c181314a55f121f362639644aa8e67b34d434174168518a2055b433c19694d36530fa89bc7a9da09a4e3affdfb84bb3099a0337719ac12418281af0a17034522626a21a02b9c71092616f0115055051ca67074854db077a4604852ab7435cd1c38cbf75eb7566fa853749a406317a6b22f324e1beab1a046595814af28304190cb8d0fe14a8b787fbefc17ab694dc5c9409c00320f08847d07c6d117795fe1531efc7b9f3695bf16016dba79800042a4312327a31921a847c28b2cdf3481027427e4cb3a01a30749eb37e29c28dfa447eaa2033dac11105aacebb52c6cc2c5f65556a21623445335978b18566c837f12a6f261cbb51b315a7c84bdfc4c2cba4b251686ebdca8f50c83c83061ca0386daa9b8f2ba03a88551f713aac58941835593ddd822cdb2b5145a4c63fa5054d898e3496fd8f1a7d523a995a3c896a26ee3b69caa9b243688c1648b4eb831b09d43b970620c6cc3a883b447f309874ac19a30d5a515b6b3f57c9383b0b57cfcb8c677b509d70f45fb36f8c698cdeacf8bb0a1004c42e58a5ddd60c916134ea6878a809c96c32aa971cc1da0a800de90973f76b97c200fde6730a7127a20458228c53f64dc07502a7debf279bc3c17f876661f9307ef914245312d0fe76556c6b3353b1cad2c48a2374be689c25a04cc0a7369c2514becd91aec402f198c93a1097c7bb67aab441e7b48506e13798f51bc996204487b3582b361330102c8a74c61cc4f3ba61641a2717c34886332a3dcd80846163f5286116fd16e4572b0ddd6961b39a02a6a1aa96c7d74150e9e4796b0804ff0e59a11981217884a5c9c868fe915a1341a8b2c6758f2510649257be6ab91583d252c5998eb0f43f95fcb35b0f9b9b7821832aea82dc9ba84ef13c0bd8bc2659808f3d9286d300c8e603b7b156f7aa2b727bb63ddacc441452d7fbb9132cc00cb99ca9873b8f3e0b9963a929d4427a9cb8e74122fb18b121527a0a6390e4cf4557a9b321cb1036799a0d517bbf9080356c8179b8984fe164cf06a972ec84eaed7432ca287e51947bb2cbe998462d52b2604203250b46c02e9c4288427ba59ad4828887797a93f92ad2191a30df08f2f29990851b1100cc142a5a4ab1bae3f23bd06cb5fb9cc89403154ecd4a63115ab9db960f6fac9727b6f96eb53c0745ac8f14525bc3215c107fae97cd16004525135e3da51f4d50fdda569adb21657fbb19cf2a34344b503348cbb567e911c04e72b3628232ad11832cb1277c58733ee923874410ce506820dd9b018947c07375890e317ea152c0255896e7703601982624acaf8b98f1971a91aba26548ba2a006aa83471933ea71c1660166585a9c6bce13242f368b45a5e63b0823a3e3190089256968f54dca2a08ddf81870f17f5c3c6fe50d06fc1bbbffafc56ab7050f2773ee8ef8d28ca4b97b43c8d7202e71
dk = 38b3964f66210f78a9c59cc189cca21d3605692c015e8197c089303af1884a977649d7c262828938d23c7716557241927876862538a5da53bba1311bc111862a30cb5148b1d3c49a7dd9c5dde0c05ca3c15637a8ebf3c5d2155b458546a9411ca1cb735eea5cb4d0953559acf9f7985ae86adb2ca0b086c69961c89115990f0543f5d65349886894182f11dbaeeb3cc5740c6bdfbc8ccab88f8583292be46b1666be3b053cd1230641e83d686a9186501759ec2dfca01ea3725f3f5846699b8321bb90e2d3b567e32b70ecca53b5ab1f421a99ab01a5d4bd8531261a86cf676553a51cccd8d3c027176c2e5abf341cc3571c8bf249c76828cef9e52052247f2ff1a6e5b231ef99907a524e4540ba067875675719d13821f67633d9b3c810078c7a66220c385374a2759a693339227f90745eeb83c7005ac6dbab52d4526e673c92a2160563191646e246090b5969a8a37436c3dcf433f626887900ab7fb65b00590817684ec9e826cb86b156c48c81a59dc9633266f6422e2ba95a8b5e7d06b96db36cdd3c5bd984caf036634e80484871c7b53387c4645da4d40214d2cbb5597b85706273ba0a3618a3cee7397fdb336ef5c5b1f418dc1b8f077c2e7ffcb9d96b6c61486751a516eaac34c98692f2296fe5d041ec9302c072ad847b1610aaa93e2572e2c045e4eacc7da437e11965b0106803f9c84035b741499583f958c2d7c2699a421b451aa0f17af4c33a7d8ccaca5a2230402e63d1973e56ba44236542a21844557643c9a606ca0aed651d98e19f800c4f22b78b9c170901f4485fab5d382351e1f8c49a7642c92b58fe1a163e61bff335760184cd3bb827184b4e0772096b69c802a9b72c754014905556679b136105bd05a77a292756a39a4237a1b746c9f98a51a52b526aec6368c4b6f56386ab23474672b03b90bee473b06053497db540ddcc42fe85b434c734e9d0b71b48177860473435986d86caf24708800aa6abc1a5d8591f3fd6bbaa9bc923bcc89bb2bfd1ac34fc4062d452b7116c0f532577f8351b33f08100695998eb18a2f46ebb7a4d001913300193a9e6cc666c30b72722caf0c027dbb98af124aaa06b43c53f10751916533c15582081235192c13266b86c88e09f276011a617a63e038637a618ad0c3164c354c223283b5b7a363c7773506ae8471e85ca7670bc209ee949f0b791e3b58e0c934a5f0898f2e73994bb96423251255072c69862b7142df8b37af586939d6b8639b426da940a0eb6b5987c733302452494a73327356567cb8c0c8f6e79424e23ba86c08d75474be52191bb344f06b929b3eb61bf27a077a679df00489c9ac352d75482461636695968118608a26f45e0c88f870fe3210ebd114c2df3081e786aeb5b2d00a51689780a99bb4c3d8c5fdd579ea1e628bbfb59858704b4fa6315285384a5b3b0982c329a1476d4b9d7840fcee04753c78a41848c33e1a0b93a26ed3a657eaa084deb48747cc5003b4acc8107e2411f08897e60b750aa29bc74c69759b361ec92504c922b28387eb97b50a2790f3fec75619bc3ab069502aa5e46076e20b80b256798ac2125edb870d3b764b6534098777379c389a26422981128b04192e8bcacef3b6865b87439e61948c2cbc3355f14e2cc55eba13eb08020182c865a90fbeb67b772262b2ac6df64219d8a55091425e4eb4f598277a7da73368717b1f78ef0e2c7c083708793229dbc20b5c1a52fb78900741bb6a572ba064bbe5cc07dd794d3e749d64022c77a211f7a71cabc470ec6a6fb974805134cfe24193042a94f901876064bde67242a0badcc8c8625329429d6797ceaa93807a92813884b38220c641330c86321ba245a99a79e68610c165966a9223c339c54c641e7b86638917945ba6d5611852cd65764528bbfa81602e69db38532fb15c2bb70aeacf53f230ccb7341aa4d7c5ab10abba978be01574a81f3906ac7a257a8b7b8a974c77b447c679900ac3c5aabcb1d98764f377dfc59bf9058459bbc1cddb9949db5a61149268387222bd0237977361a282ee7509b9dcc5c54859cf377cd41e92f2ee92b72e02bc7760172b9b958066ddfbc7a1f8a04aec4839a367fed2559d80a88f5c07454619f3879ab2296980ad1770e8b137f1694ca705141ebc6a4b4708eb93d2c63b18522b5a9bcb364f93cdcd97d0b004c5b42443d19cf74d80dadf9bae0fa5bebc00bf435568f2acef6fa1e3e22189a6207db208b2367856c591e10376a6e92cb165b2e05c7a3feb91744588e59d51fe323a90719a7018c670374a579201917f62d5e29bce6d7294f301853b239e97329f7e312c9090706a83d6c8702f1c462944bb487187f6cd1cc4040b542bc4cb4106eba18168029b5fd17bc6e0c6319283b799ac6415cb1730268602115eeea5e38665ef7ba38ded2bf9743ca40e29d16baaf9b0a0d9e7679959c7fd7112b64d85ab4837e7263c35ba81143c973ad833962c9944ae7bc16e54755fa19ee7a72f6041981549925212910f0924710c1501c2937089ef5b9bd49fa51fc222978093d3d9226fc25a275898707669e0d980c53b0b9525c89f25baa174a1ffba361e33a0c3d4255335c3225b2ccc8a6c58da868d0a2262963b9048559084814694240ec2061b2582e60a82b207c2750c1aff73a86f5f7ca8261117c741e138b117d5ab0a61c6a1488747cd3200e38b705194490130f88905a95e52ecf47a78a14725d6cad6085434fb21adf579ebe090279979d6a53b2ffd7182ab464a85b3299fcc4b7175b6cb5c392ec65fd892676b74b1591af3670bb02f39bd6b9cd3c015dfebb8cea2a24c723872e606961e10ec2946ddf9b05fa6a7c72845a5d4abd6e2a6ac0f0115f51849a38203b0a467788b3a8062fd1a826bb463c5567c271c50e43c6952f01410c970495c41faba3a54983cf145ab395b2710875c181314a55f121f362639644aa8e67b34d434174168518a2055b433c19694d36530fa89bc7a9da09a4e3affdfb84bb3099a0337719ac12418281af0a17034522626a21a02b9c71092616f0115055051ca67074854db077a4604852ab7435cd1c38cbf75eb7566fa853749a406317a6b22f324e1beab1a046595814af28304190cb8d0fe14a8b787fbefc17ab694dc5c9409c00320f08847d07c6d117795fe1531efc7b9f3695bf16016dba79800042a4312327a31921a847c28b2cdf3481027427e4cb3a01a30749eb37e29c28dfa447eaa2033dac11105aacebb52c6cc2c5f65556a21623445335978b18566c837f12a6f261cbb51b315a7c84bdfc4c2cba4b251686ebdca8f50c83c83061ca0386daa9b8f2ba03a88551f713aac58941835593ddd822cdb2b5145a4c63fa5054d898e3496fd8f1a7d523a995a3c896a26ee3b69caa9b243688c1648b4eb831b09d43b970620c6cc3a883b447f309874ac19a30d5a515b6b3f57c9383b0b57cfcb8c677b509d70f45fb36f8c698cdeacf8bb0a1004c42e58a5ddd60c916134ea6878a809c96c32aa971cc1da0a800de90973f76b97c200fde6730a7127a20458228c53f64dc07502a7debf279bc3c17f876661f9307ef914245312d0fe76556c6b3353b1cad2c48a2374be689c25a04cc0a7369c2514becd91aec402f198c93a1097c7bb67aab441e7b48506e13798f51bc996204487b3582b361330102c8a74c61cc4f3ba61641a2717c34886332a3dcd80846163f5286116fd16e4572b0ddd6961b39a02a6a1aa96c7d74150e9e4796b0804ff0e59a11981217884a5c9c868fe915a1341a8b2c6758f2510649257be6ab91583d252c5998eb0f43f95fcb35b0f9b9b7821832aea82dc9ba84ef13c0bd8bc2659808f3d9286d300c8e603b7b156f7aa2b727bb63ddacc441452d7fbb9132cc00cb99ca9873b8f3e0b9963a929d4427a9cb8e74122fb18b121527a0a6390e4cf4557a9b321cb1036799a0d517bbf9080356c8179b8984fe164cf06a972ec84eaed7432ca287e51947bb2cbe998462d52b2604203250b46c02e9c4288427ba59ad4828887797a93f92ad2191a30df08f2f29990851b1100cc142a5a4ab1bae3f23bd06cb5fb9cc89403154ecd4a63115ab9db960f6fac9727b6f96eb53c0745ac8f14525bc3215c107fae97cd16004525135e3da51f4d50fdda569adb21657fbb19cf2a34344b503348cbb567e911c04e72b3628232ad11832cb1277c58733ee923874410ce506820dd9b018947c07375890e317ea152c0255896e7703601982624acaf8b98f1971a91aba26548ba2a006aa83471933ea71c1660166585a9c6bce13242f368b45a5e63b0823a3e3190089256968f54dca2a08ddf81870f17f5c3c6fe50d06fc1bbbffafc56ab7050f2773ee8ef8d28ca4b97b43c8d7202e713e8a5c61bf743019116026877c8e08dddaababde8395b3e088b6ab4338ff4ee18476013560151d986dc7834dcb57c75f845f8d7ee71558d0955f3f4feb723cf2
m = e48f74ad416e99631003ded1478aec62a02c245d88ed7f2fae92aedf13ca03b3
K = 5895ea3e868881674be74cf26faef68471dc731ae965a9c2094ed852349ae477
c = ec8f4c4fa1c52108712eae2b1d6e4a6eb55656855298fe1f1b76b30e26c4457e862c523dc9d56dd0c584853bb35c1eb038a84abb1a1a35ddb0f893fcd84340cb315b3205285479b8f3d64f3bc38085155c2de0663052007416b682e6dcc5e1702a4845ce1efbfa5f5619183f657f0341bb510f2d07a87019c971b87561d74414c1cfb00cc95fe769d6c6f45351c370fa66d323405085d4c33c228ce02d6883ae116450252605a62da9a1dae2d685e2e6821a0d17957b86320a45a5ee34c73e69f97a0f00e2fbf35402a8ac31c70454a318268c3637907e9f7911b3af8a2f491cd7ee5513c3471cb6ffe5c38e2263933641c4a3adfe112d04713a01a855f9d1085b59f20cabe401693a56a54f5e8917cc388310ab93be04d0711d7a54d599b8ddb8ea23ac41a6c41681ae1beab6afdd15f2c8b19cb94b5a9f3d9a4ab069ec01619e211b1804ec04689877660cbdd01ba2be1265793184a60a4ae7852f7639b25b2a284f29476f4fe15beaf168584d8a54240de7440a6b7f33e4be116d4440cee4de53a491e7e678fa75bd267d1ed22a070b057e61a4a9228e0323ec4ab050521fc7cac40942b0dfc6a7762e503b86201b1f50a9fbc908c3b5ebfad92128fe65e4ba5510f2ef9ad4281a14d81830f437fafe2241ca772bb4b89d702504d042741f618ee0311f40db4df310d4e2e0291f48a758ec0322480cb1c48373459e0660fa2497938fbe8d07a95d058b40c606f9e6735cbc6f4167860ce45f4f0290aeeab04c48fe5ef8d0ddbb411e480a02c529698e250d8c67e5e43035479cb22056485a16138994c2633085bc2ef32d11300768e69a224808789ed30f425c4c59fe818163d78a9edc5a5a21f63393dd8c7225c1621740da61ed448a28153379dd3786cd8732d302c2948efab43b802b672658349569ac6b65314c4607c0e11b5ce13b1a3109ab6a631e4ec77bc4468f823851189dd35855fd2cb525d7c9155bebb1641d15f5790b2a92a17423129fe14a3b405da197642ca55ee542e14f68cc6a8638127be899d9542b564615eea93846879ddd9cff77617f20bddbfd7ebc11feef658ffad35ab9ae20e8913477935653b07f4351b99d6140ee2d12e1d8a9f9874841a90833ff1e33d9e0443d5520b8f2bdf40bcee595a9763eab90d3a4a9a11aecf19bc6993f60d8219153d2818634b2156b33a25e692abff327cd6d6fea37fce4c57050ae5407a0cad67329f4342e6a177be7cd150a6c1f42244885b852b39d292078945e4bf3a5e967e2b658a8780d8dfbd1eea7c9fc5352d254d114b3a244f8408e5de03cbf73769c02d1c20243c0c19b7e28abcc69c9d3e72d833ab12beb090e587ea57b5ba4e094c95ad3c29772d34b81f1c793e77cbf9af28c24224c8af92934653a66b2fc6760bb21b4c0ed86164616adf13f0f899e1e95da201906302e13b57bbda436482e57c10b84d7bf83b7e669c5b2e959f738e4530597bfa22d36d2e55708b2a1b1c4bf6d96b42546a307539024faa06db9937e5c643760739626dd8d36233eb8201a2c4062d97dede500c61f94a44cd26f330f0f93b9590543866e9775be7e70868b7f3c7bb2b2860e350daa39d77fb94beed9f6646d401e10eeb4f739735b1711929e5adff3d45b09e72cd1b570f8f11d091166b2705ae0534b77081f1800cc94757a61783f6094b21fd9ac7e4cba8bc08f6948e12ebd482243f553272ff5ca7abb8f39eca6a8bf54bb45f1e1f55d09bff59ba2c7de869e2acaf7815a27925b7c6c39181565d7247dc3bb5b21c99a719529b470e0eefb4a9d3d3d9f36f0226adbaa9cb415c17d8ae9529499e22653a889abb74f0625317b3f4a8cba7ac0fcda16016d9abeba3bdc229f4c12bfbe69c3f43521cfcdfea42b20a4b8ab28363748ac2bf8b043399ef10dda976f5d8afee604749213302f250260465c0a2ad73184561a571b1e44b6df1723b1ba714736a99c2fc59d08a0a9b627f8d589b67b4fd2d9be6f74a1108c9d82576fbc3615d662ef17bf29c3d213b41af34ed14678a073c62d2c37aea124c4d3b7d479696a0ffc758628e13e82ed2832dcf30ec45e0f57fb33ae667bf9d8a4d3e33ffa56daf21a39d1ab4631e0ce716f7940a4bcfde7d1198823bd985c79a5a7ad098107763c2fc93429c10ac92dfde340df1eb38c88f97beb58404716ebac6b04b0c0038daa1753d0b250daef0d28f0a86783