dk = 50f270a298b166e770a8db8a23e25caf5103dde4a166502e2f73c68ee86e13915f1201216c914520870b987c140e9666239b7423142d6bc013be956d55a7b9de90391497be646811d53302d4e7b613631f92c7277f09ac692b867c717118a45c34b288ff35813327343f649248701cc15257500b4d07e3b865700747ec52d105bda94ac8e5959f55b405c4d68771114320985a8f1845d0900d59453fec74b460d9431d8017f9010163a3bb758b7985aac0f38b57eb682a60356e4595805b99132ec12303a4a1a2988d29d3171b0ac591440d7d951bc2c4bab18c32c20c394ea01d07974e8fa166c52932cb56170237194551b08aa246b2f88a9999b27c7552f8c89a911419f2c022ac4a0cb7e20c61ca43f8f03319810030902c3e8b9a8345a117eb7e2a464337a82709d73143817ac9e13c2871b491983ab85b81d1a874c894a9520749feb30cd21308b5f04e4698744ab853a40978f10b71cc2b821a70acbcb49e7035a23447b780d369ede739dd3a1584e093a2839f04aa604ce746deb70ed9005cda374fda7c8a06d19c3e34564482251ef67d5c295172f9178811014d982ec25ac921522d1a348161e4156751076de0c980fbcc59c95abba409ca2533d3370f79a2a2a323479d7829292b6d8c0a583454905a737628b44ab7f3c09184b813786d17b6c84ac73872f1afc1e787b35416d5bbad881b6a59546da4679c382ba3fac18fe4696e69fc7ea3468749fb2ef45153a54361df05af30f39686645ad7342c0f132e47a52ca3a53943212bbf5b5bf67156589b3e9a7b32276b46ab0c29635537f737789d04c5a428060c0b0d86e6c582373587702afde88d7b210fadda659293ce6e9a30fca39b9383431be19e64ab7adcc2bedcf672542bbf13137f82e7a4b799b8a1bb50be99b21c82578fa8465ae7584d0b072bb9c3ec623400470c48c6059d7a2114c022e235b78a33c491fc95d4359e4ef41c1ca02a50808679c05aa6c7a888977cfb8950b23597e6398588794e1de956cdbb69cb211483dac97d20127498c122d2601a30918f276332aa9652832d3ae3c4b97c3593433074a99e8193781999bef7888ee754328e8b0e75cb43a05c2d89eb2ac98060c684b12de824aaf475801480bc575150866eeed64924b383cb18456e265e78d932172445cb8315c047410bca529dd85da5666bf098b0f954ae04169af9e62e652505f52273b3b80a251a0d18a675fb833ed1649eedfba2e1933f6b8012d354a2ba95733590c4da039691c66b93f4cf1173c9c39a7deaf984529c7fff4175a5e2128dda7da4d1512ada61e8cb48ae860908801ccf631ecc36c161545acf21c16efb641c6cc8f43ba00bb5c537b59f277211e1935131f80d0b994f2e30b2a7398884335da7f81c7dd4679c1218517953d52c62b1da4a5d7721d6ca035240b220f003c9a33415e65213476067f433efb7347f62b05764cc3a503c1920593a51caa8ab1e05348f7e602c772b92297a5d899600e6894146765312cb83a5884dee4a3748989cfb3c713727a88d260560a9a873eb6f4d283179e305361812ddb38371da4680e66a4494192a8b465f9387a106bae5f666044370f5fb3670f8bbe5f89c58658d87143f08d10e6f298ea41a9e74cc43c202bbfa1c1996a0a7230bc26d92388256119c03b0073c8b17c802ae15bea9db3516a00fbfd0948a434bc6a3cf3d46c6dd95591da456afe89a310a7839373243a1bdf867b6e092353eab1ba94c3384668e2251620110719cd780ccc41a87a37b30eb99a477439a19a383b2007f04036f42935c028c1ca517122571704c2f418a9287e670db2112e4c0925626996d9735d7f8156d50275f40c35bf005b646adfc842d8f175e8562bab24b4cd0da7941ca0e230833c67a0558d9a6936492eeb4bb8256bfeac676a867760915ade68b7e719321c7c08e0fb29230db8d6762c0e07119ece95f1a592cad557185d71b97d71708d2b3cd9751cebc8e5116cae9858a6d419d1e83a887d2386ff556dd283f24664df9f27e10e9b4e4d0b4a753cb27cac56d65bbb6eb9bcd74ba971c6b9dfa3f83a211c822a241d92e2c078f7c02292350580fc819809c9dbaab1c2fa4483815219ecb97beec1f57aa51918c6193c3b075676026f4899e041b44504f1f453fd4d93e25547e9a5b9881193a45036c5002409dd902b2382c7a462d647aa924c43003737fade12006bb137b89bcb9480140b67aeee79c4e1256c1b79f2701d08f186256d4906cc173257c3f13932fa8cb4ce4a19e316121e9b3158d4aab19ab8c74c20593b81cb4cb37dca943632caf4d2a572488bc9a4c756743c9f4c31949e93cdfc0bb18b121597b3a28d908ab5847f571b073d3769c0c1575c609d9717df799a41771c910a24008a75401954cd4a73e2601ba85c73bdfe0447dc75be3e64d2d554b6d30a100a6bc73f6628325209bb5aab21b1d78954619862b9e5a6a6ec8030b093603ac7d26945393352fb611c89e936f30f973842578bcc617cc6301ee76472788755bd6894d9c7f5dd7b3b22183f380bd2b702fd5766d78c8654e0409b960625ed9b97894af25656d715abff2b03bc1e94087f4837bd67e6882126dda71efb8c81c3c8b573c9cdf8387bad10d8e6b3d06ec318225cf0ca80a21d3202e0a24e041609de2a22254958e84481ee97648b37b162954e0d4bbbbd70d0efc9c576052e15314fc930f7bdab5bbb2469a2c64725b0c230b5b6b726d782545cdfccce0dc7a1a80a118551f21456d528a8f5748815b000e2bc65e633aa9d3267ead075ecb47405f907dc485bab9d6c96b88c42cbc6329284e43817e3747b88a62893b5b900bd0397987bf3d295e67243993b448bcf651b65267de69c45ce88a283772d520157ae68d663117a6db8602030ceaa8aa12d0709a591d84662c62f8b7a80874fdaa0ba4c3983c861e58f4124b808b17fb81d35c4f1ad3c6d9d667a4d43db0b87ff62bc360646719449604947c18bc8aaf6c206baa7bc21429950621814cb878a7236778bc55c71351c08305d0c8acfab70250829195b453072b7fe07b584a6a929b0d59ab2915443fc135bbfac0b25e005a3e1a6e8c619110265160a8ab1e02cf339c7b838bc551390b3dc4bff0aa7d24ea23aa87a9677bc94db843bfcc1341d3448fd5a0cd13ac46eaaa3a3cce4c1752493c25997c7609cc44a1415f17d64b92292a78c953bfb8a8e96c7b548b0398f0a75ed96f88245110743eec403d2f70b141873f6d91aeb94c52bcfa4f827b7749746acf86b6e93754f08736945a3b936baacb131a72771681207291e7c61ab4aa132528b9e16cf75493c15cb2b66288489848aa2b6a09783d70091bdf3369e328587610212211b2f5c99ccdac1150a77b10880a90b924b93263e0708004b10928338f0d872e1ac77dd15892fe5a444fa56f13f584941b861ebb46874a0de5255045d317de96b90366572f4735d4363608783b46f746fdc44b65d0b765157bc6585bb9e60e04510f6ad043dd058c6b16a60aac543fbc0f24d16b03800acb6452ded6ae11b1273210a6791478ae095b1b616ff38a21a3c656cba94707167eb4862d02fb9eb8bc3add809cbdfc28d0365c7bcca218a8b8912c77ac6c41ffc605003d32d85a973ed1b44a034d2ca5004c161a21d2af83972313920728c82591e7c1170643ce4bbc09cab1f5e4ad2df5b994e48835d69ce64627bc0acc7ca09d4229673c398063ab69f697bc85221b3092b914c28f174440dc783d7a6485df0a7959473e0577c7e220cffcf80f0c093e4de4ba9ef71504a782f4633526c181c7ec2d2a6a7b7b68a699291b1550902983aaf9f07aa44b936d125da005a7aae7c6586a0b1e957d1742674c070519a3441ad01c6aabb30301b40ff90eb8623ade74920e028b408cbefec987d4411aee55945ee100b7b1cf964802d15c5ddda84e0bbb8a21409412e6b567403342c7447ed9354261505d7ca4a331551f439bbb606da8a66ce91607a5381c7a76b4e2e5cda6937f6d1911bdb13d5b76223d56292a5a54d021c072a00cc4f9af92683d4a90393e9356a9d8079fcb7f9714710a67ce9b14ca91246bf9b910824939fb4cbc4b4b4ba30975ca443e8940353a5111ce50160bea1cfc48a9647cb792c386e4b923d0317fb71760f9a1127bd24cb49940c9a83c6b750092b67a5fbb20aa8bb826087cd8a6633d50c62f1772b3ac0934894efa4bb02d99ce94b218959625e43020971460311b10fb1966fd11c98666012800b273d04a13f3baf89ac45a7757e6a37589703595fa561b6114c5ec0189ac7232e189b72b8abec94dc51522d7357648a2bd2ac13fc3029066647c989537c1642b6bab1835bef491e8d616819456a8105a26f089176989510d4f9a7e0e66e62785c03550767e9181d37e771e6eb642a2a51cc458138f163fc916097a441c8eb5962c4a73b8b0965c33ada29e3b395d7007f27e28c9b712ef
c = 00841583c166562ba812d6b7c8cf33730e7e8f90ae302f2e201e7eb4fb12382427ec0e9a8b6b530225e2802514d7498afc401989fb7a7834665ace77b437fe127a72de61f178a56d4f42177830fd5901fcc20a111f8fbc4793ccbbacbd4d542fa97b9d45e44cc9692b0a8d880cbf942ebbffddf5594ea61a6451caf67d3c61c8ad0006bcd95cbb09923679134903eadf3c7f436f2c7e5f290a78c089efe0045811cd7b2242b0ec17614c9d4ab3e5efc064388d0e195252ae0a0f8fee4de7f8757763ca282224f3bdee808d7b004789a1546f687ca17cabd389de94426eb95dac260f18ca74a606b8f157e3352df4ed208e8a5763893cae7cef0a1a2c9f80cc66ea6a622d7eb5118422852f62a1cba127f53d6a87a5d90552b43cdc447d6c5ac613110b76d55d5d30503569d25d5d90fda552509080ce66b8007e1e7e8da084ae1dde1ab618887b5100e8f4130e479462be2221e3ff850958526364693234e6c81ece3b691ab9ffc9de007297d8d350897be22149447bb57c09bf945ab209de2ac86e33e596911b9074b832822f3493da7a8fcb87f313324a434d5d1e3f9bda3ae96c356371472dbbeab931d38cee523aad20664f532cf6c110dea6ec45e77a59efca7a19275e3176c2daf65f7e7bd886382151e05f2b5f88a0a842cf8aa3e8ccfc37c60e1b093342863e3a56484a48ad54a547ea672bf626d687530abd5d441a8795d216fa649405c960e087ebcb8a95a59539b7eb3a0f7afa016baddf0e41d4defef049051bb8e400a47ef1cc4b2a7751e5916e793f2f66a51ff17c29973a85306453c9b6342cade367095740a6db91b40ceb8015c20adb502e188cf3706e34a6ddee8f51d836a0bcea615f9829b349c4cb7523a3eb1c9d79a7727a100567d5a303588fe195120256c473f35b0502e24edd07b5371ed5500e8f6712f8e1f890b5ccf932c8a8b213f1c2574c3d89bdfcd68e4e6e2efce652fe00befa343dffd2c748d72bcabd98a94d8a0732cc7d4d7ff1b0d5765747965186ad70e3c0add8b37ba945b4884f5cc22efa2463181b26fb0d46461da4a1145443e05f0b42f5397212da9859969b667f7d671bbf4988fdb0a0899cfb04c6277b4ef534fd8d3b5d5248b11cb26b2ae401e6d8f46c9b4876a46d624df56c3ca2fa0a6dbfe6eb5abd0400471492ad9ea3ce40cf8448f8d00716486efc0832af4dd92fa54e7042b7e3079a51bc95fea5a1d323447d782ea1c8c6d1beede1ab05676688673a2f42b6db31325cd3aa3c7065807d3db9b6986035b78117a9ae79c04b5c1f48bf6c284719a2dacf83f5d9953441aeab142740d30bf13cf0963d4e4fbd79f3b00e417fd04a3177ff571a6d7b13b29959c9c3828f95e7abce734e0a4b8480f179daaba489e4053d3dfb1b6ff2e68aa4c0dbdb8ffda1a8d44842924ffbf583335ffb7fa7c3e767b1f66338aa49e140c87f0f722312d98ed3a93b329ad1623fd078915d443b7fb907d333a85d9fb4ba4be70a8c9e4031bc435e4eef328c6a8eeb52e7c8674f5c4df0777c10571aca220083a99891aaeaa703de92fee836ec6211cfc35e123a05a5e573e9bb7594d5316096fba90e3e6f53f6a17a2c2d89e75c8245bc86cef5463da7d9e1016b749cc5ceb319f770c2e99044dd06a4f545cc7ce33dbfa90888611a15ddcd150f20dc03a022abcf2bb03207cfef5660bc48aaf1a634e36a0d5d96b5edded93c67a8a88d9ee57d83a949e455d8b4442195cb470fae644fb92ab1c4c1bc0203d7337c43d98b63df6cdb0a8a003a7b21cfdf013026a0ad192488c1c069087cbfde7b328e3ce62309ef966ef7888f7a09b62abb4c2149ca1d4711870ab2775beeaf60e13c620f49167a3a7282bb4451871ef6ba91d8771153d069169c22d170a03ffaccf4771ee2b80b89333cfcced7271e0cebe8c92807b2e13daa011d070780351d303a02677245644b3ff8935282f60d1f361c8cadb140ff0be4c88180c0366378db09b1049d356b37147df7aeba67ab81a2639dbf695adc287fc4f9af6afbcd1d192c334168c3d47bf471c0ad685f0ce040ac548af8b58ed2b6ca5c1a9c63af6e0389e970dd9fd09ee48476fcd7cb3a75be3481ab0558d44f7122db575decd907e9b4b40826c6a399672bdd4939793c95c3b697ac9b5f4fabfe7a483504f58b9bf7217a4de48fe4ff1e7b3f34273be269eae67b3f9fdcdee483f48c
K = 92ae6010b30669d2dec5d2774979765103889a9cfa3e2812bb3543762ea4df43