dk = 8c65b853a6bdcaa8966106bd29f7aee2e386efb5a0b0c6605562577bcab1ef330fd04625e86a1957408586da127291ab9e245fb52b044d2a201b5c0db9d806cc39ac9819aa66f59db5c816c2ac0d0e2a846130ab01786bb0e459c667769311242f49a2db96223128a33f05b4f28291df7c414b659b2354385d3036324c100c49af75e3c393a1b840d8084fc2afdcd134352954af8c9f95707cacb6b58c881d145682b4772213061a35b15cfe7a620a71bcd48a11e5f5b430ab3a8350407a654642209fe005319187081c434826c54dd1947e4ae1a65d5a918b17b167271920283f4738ba3ba7425727c88f87b5b9193d61baca86947b8c2b65ab619edff5364c58ab9363ccbf17ccfa440690e30db4acb04cb7a676babda48122283c56fc267b44c0c3d4ac9e04b79442f216721a7718612781801b0e909cd2a3b29dbbb770b58f07c3be33f1b4e58857c8d858f7227add741c85da3f205241f2e74054d540eb980dfc6b6051024297ba751aabbf3a44b499d1b116f6aff65c59aa794e31d4bb407abd904055198271ea4909f50b3cad87c65de09ecfe40398c195248633d220867cb01a5034438cf604d403c0d2f5936030a4afec94cc17bb009b40aa09c3f2fa3711811d6f1709714347bf05a28434a6cedc5baa0072e253ca7230357ad9715b9139cfcb46793544c0952041d4b41f105c578a3de183a1f0093ee2f07070d180730a203899a81101217862cfb8e3954368584695afc37a9d52901e66fb981455710456b8196b9bd677762c021392d0865eeb640f1539cf6ca1a08a7e5204676b311ac1392843193dfcab93f8d17c7350beeb1900518a4db3224766d2cb1ff42cbe189055c4449e97ce3bd2a80e745a574021c72234cc87b4991802427c0ce6c59c950218c96ca3409414267c006b8b7cbdd49dc2710ddb246f06207b59a9bee1118d18e379e2458c44d64b978b6d94972a177a17bbeb2085c683c4095b9176b61e8a6f3de251ada307f46c56ef3a7d22b477633a3f1fd52dfa9904f61b0264184c0f24816cc3339b0a0d1182abd972ad77729a4d5016f101bad4c02b44b1c1c912bb2f963efb788aa336c491518f09f40b72ea8292328252f186d0719cba3a8528a8059c574cf874313f4a41ef63ae4cd630ba8b7485b0ce3b3898e62b9e7cb9be5a4c0c74919692a8996f4a09f95a0e8537325527c75df6b9b367c14c6867817a19c468a14da728b9dc4f2877369c7b10cc5972d71810d3719aade06f187533674c4026b767b6f75611027ca8868116211e953c00ac401f5940a1f17b0ac8c1450e02c580e77a2f23a3acb11b8e53295a546bf5f40f87fac6a42bb200ed0a053c89556050e21c65f7290f68b2670381cc06d8aff43c962d122987c0ab57934dfc167ec8eb07546891eebaab4427097958bd19ca5650f42bac5890f781540f790501e63686d71c82f4c9ba739974fa0886ab4e325673b3a1413f5aa63870b22d052596841cbb89a59c58087b09208d876d9587c492c268bc80129f860bc9e2218a060d299342cc44b25d26b7726a1a22d8c657d582162c2b99a41b1666a4870b88f032ba09318596cbbb9b8711622b436f68508734532b70ba414b6ffaf695ebe8c1e120215deaae438a2abc183cc50cbe397a5c00bd1498da324b9a159a30957ae32835781c52743d72876c860c1dcce37e0c0c8ff3c2b36acb52ffab61dbb40cbe4b7a7e755a12d01ae7b95129f50cd7d494e290913d30013f99a4a15c2fcc5a03e1702e8575937cf752c3831150c95b51d3676a08c070c454eff93c37947b14bc564594be715a7dea960c0250cb4d219036556c94f2cca7191db03c443970339d92cabc6601cfb31e7d46a94994af8bdb790e468b79491a237bc397f70000181299828f164799c7225000fa6ab542a2da301d7e0a105f80886f0c79f1a4bf85a0a33d21ac13008d259cc0a54520c48b438afc3b28379975c18b40e0b28ba6227674820990bac4f3c99f1c4932c59cfe726bfbb967a7227ce9a00cce9b0647264d73d5c935161108549b5636caee3cb6ca47136a125372918d8bcc2994f23ddc1646948b288cb5707b4934d28cc719d0a98b323d05a5a444bbb47ee09aa8a0cf1e7b6eae14b5740987cb629cafb74144727d21a230ed456d8ed41f11eabd23623b51b520aae80a0807baaabba3fa755a9e12a92be7715c7c98ac6527b9e1a74c20abe1966c0f9c2086892e3e172c23ca9d63e73e8c085f2852c12e6a475b7218864a8da5503940a195b5b621ce085b3f7a398f99cfe10a1fd45178a4972964024f5f2242b0d60c53bb06f8db30e806529b786c1a571241c55de0114e4f2a27090321b2e5b0bf5c95b2611b379025b1ca664bd4ab1c86049efc236e2b903e7cc80c1751ab946f3ec001a857926a2604e5ac3e0316912ed5606b08bfa9e82cb5e54a6d3a4978e1c32833a0c8f0102ab916d4979a840432df700192cb9efa3096abc446ae938432276f7d3b12237cc067387d4d31a0d8109bd2a51c69d8a0840b38ec474d8405038219969859540f938156802e729a9a7335378cf10ffd338956dbbd6a7380d8376b7239260e3b8f9f3769c720c7e1969ec7097b18746db674c0ea724e5443909a8b5ed4a5c9a418ccf937634afc06feb832367b8c0d44135771bc14107f2a589816077536aa6cf25b3c11b969bcfa78270ca74a1a38c03566fb87810722276b691b8f51bb93184662b868a9159945771d40a23c750821c5e5530ed6a4df38ce27381448893cce9928f67691ea7b705dea7b15c89b9d0a19380987c22046a1a62df9480d6790b3ff4823851173c3330e92e8c10b021b12a31d36f2953ca9c1a6c510799634f637837ae12e7c52b435daac2cf451556809be3504c1b191d0b6aad9502258a1541c4c95986b7c2a0aa22d0b180350aeca7c840d298ff1b59b974b816eb38fcaa7b805e07167e34c25236658c56624f03073414d6c794b24b19985c123aec7aa017c19202894905a11d484a829955382d992506333966c1428098be4ec9702681805d26193ab935d9077153b7b52012d38e522d8c1b1f23a3014629db6d6c747449bf5412fedc015236a3ea003bd9c5296d67547ec4c1c107166f50263df890c531088e9d557e8e62b373c21d0c724b1f732c1dc202a34c6ae342087942c8034a45717bc70920cab1853552432d430b0021a51d0834876ba52205598a61372c6d48a18e841f6db19eb5ba57f86087c350eae351d4ba38678fc9420cb08e2d862b424ff2d56098fd50890b85d1130c97b1555ed7ebece6dac6d2ab22846bbab3a9a19e98f697cc6e08263641689dbbe1c3a1405d10ee38e793ff2c756df34322bf6853bd5867f32980974824b3e0df89b4237881e
c = 00c77baf0a8c8a66376873139cbd94b7a528efab474501a1019d065ffca8641361251af7fe361a1c1cd2570ac64f67fa37379828a825ffc5d75044adfec86818652b3157cbfef80bcb6d70cabc16e0b8deb4e6f992c8373490725189118fc0df53a24531896a4a873e55f994bb9e685d98f38d0e6b0e13c13c3c2fbf919db5eaac31149a78d835a83b5c0122610746ba6587dd54e25383f19c019bab1c3f4393801ae4723675ad2489ef0e340ed199ce5868db18a805eb750c49e715826b6b4c017f50b829a976bc7aec666663ce62f131e0fd5c7087f66326308877f4950885f807f46745b1f003f7d74c08c638c293cabba2edd2c1e2004a791557641a87aec932c0e54615c859065fa0be7cfcbfea6695533117874c55939fc3c919d5326eec4fad95aaf2a01c66312e35d35369005d98560bd7a7763db0511ccd8f72ae59a8f0890167bb8428a2928b4a850561cb8588d629c8dd789d075c1b93e6a6d0f474515a20dafd55588b66e5067fa1f66df8351b4f589dd0115bd07b8c4d7acf186afd75879d8ffbbe555959df6e2ae0d5c5d0f922a4439f9255d524c53906d0997a7df7a57f79e77363ca5c2df8db2c348fd7f2b75a5c7714f634d902060e260a4677544c452f9e90f4c5629a7adb230aea7176df1d67690bcc7de74580d7db707284dfc371498bb7e0167966f1afc97acb195c04a2622555e138016b3ecf085ca0f3e75f8442168ff5c97998cb9f68944d10efbac2e9591b89179a1a045cc719d2c6216239376213d4e1284295e524c952fe1aa7787b473b82dead91dd4b724da82275e28a763b4de06fee9b1a8eab3967033cd9fc24dfe9a124362de988eae7369801d9339026e5fd958183eaf2173ce9bcffaeb2b42c5bd096c2ff86a18865809ff2d49c7fc942a1675fced4961637c997f27378ddab949e548f692f0f0179b714d1a1c36b798c1a73af883553c9d04878e5927e13036a1d44837fb7d533a26aef429c40625a813ebfa041c48a5582e76e5c894ccefdcfdab1866ea64fbbedcd309cdcff8477d0ff00d342930e88a6393099f165659e4e90cd156543027be51393df7cddfaf965bc8863c295b9a6af043e9ea7166443fd62d837528acca6f1b983037a6ad8f51f4f1f47f8034823cd679565ccd59cfc428092ffd2c7bc88d414f6a9e3b71e9f8ae2b5151a54245b5f89f8ef841e18b87b1b205cc8bb1247d4f00119f3fa35d31f62b9e4efb08781cadcde489895bcf29447ccf9da2142a52a8709e3e46de387b27d0d974b708d8de64bd1863098595088d88f757338df744c549f4ee84f3d877c461497d5dd01efa0dbc46a1e8255001f50051f4a6b4a7b7e0a6dab50f59edf89ef11c14e8ef09a488ce7288e2cda39b0f36a5b004362e5aae833175785a3463470c982a6f995a08e0afad65225e3eb7da2d3cf4fcfe25fddbf67888230866feb6eb5f7c18b38158bcdd94d8d656e7fcf9e45ac23b8e9ed56cb5397858e29856c5c7ee4cb440c3c92e52b455bc2466f2d0df8f231260ce733
K = 3776199a4a9dc4c731891e6b45da7b9324972df6f6cf61c99699f60e374bb561