dk = 5961ad4848355fd421beb06e2557b15909a87fc4c5a662964fc96d81692bd631002f341727359eb02a779be4285932ba25f96ea170a4a11c51f5352d8f6c0d20c02151c567aef2ca08342c7e09b68aea38b11c2989fa1942eb66946240e5cb4d57384567f800fa0102fa0505d891b529124f0f796e3f85cd26b0ac63d865a63476fde55593db3a9c69ce175bb97fc864f333ad074a887428733698ba808a605bc846fb72be53cb8c43b54e2bd8340d197c20dac1cc028ecbb136c126895fca2fd5463f0c021a57b15627c1011b01b180bb3f27124a01f74a0392460bfb896d3bb8b7a9af588874fe8b9205771cc5a079c0a21dcc88b77cba67162646f88b4decf97fd96a226b39a8814ab915c19b50ab22901c3627acb86062155b164e007c411522a571d71455e22778b49c038316fcd6cadf4111753292f7f0276e39737e92272e811298c471afd24d18f2a70e7574c9f7a385c8490669868e3374dd6496030bbec527b400fa5aec089e225776a868594af22ec2f96bf3220374875b39e07184696881077c9e70bde1f052716118b7918ca7b475cb5b4d86669ad35373ee49bbead52f210464ee27ad6b4c1171b1980c974a1a8489b3f3c47a1cb7b5cbc841f960b226bbc7394a056013ee49897c9a4c82b3ab5d4a2068772a22071f15fc428217361e200745ab94cb2c63235a9a746403fb0a72d2d2c36bac110bcc9fc37335266616b86875deb560dc2a19fda2bf17352966d00a07f24bc4b60c24d54c07b0627a3c507ecc48b22a32fcd423d6c3a6014c0ec7a75b3384a5044019e8f211d8623785167b18e5398fb63e22ab6e62ca8c6316110ab4391a13c067060aea5b47788b55a9aa3bbe41acd5599d952c8f1cb4770d267d8c10a98df31be6681e23b01e4b48031565123a5656c13165b46690497c0b25d4467cf839389220c3639f5d57a03090cd261a9a36c59d032674231843986022e0a2190de9657c0a350840b47c06a036c047c8816947da4b1c16a7c6e0c63971208968331cb2b368d98428596b75562076a330bc1cced9978049c15e111967159130756c69cd939a5b904ccb23cf669a01d44a0d329bbd75eb42aef97402a1cd9263909cd678630656f4162b55b881144595f693c114b32aaed662c20787ab48c71a67b7e1d597ed493f3420cb561cac812549c2cba5c135b563e9592ba195d1fb8cb4444fab75191579618dd43fca27515f110641c352df20780ad0089112aa64d34eeb00a6490ad09bb4bbc6c42d0ad804726bc1bf5bcad24746eb1a4b8701acaf2a82f0c0a2d9d84777b395ec4a953c7cc213b3070e7714e82120c92c173c3661862899da6832240955a372737f055b4d88688a5c2c55c4a3b70780119b3653ab7692c3c731ba7c91e55f89637d8fb29262618e32e9cff14abc3648024c64310b47027ee4cf1d5985de9251520bca3d716eb9989123d298587c7029c714202132a6f14d51920cfdf2b89ff58a4bcaaec8bb7b888013c155a0e93558e2ba3ff6e8058f26156fbca16702c599d2cf323bb771945e1fdc918a428a00f69573fa3cd8088b6228480b91cbe27aa3e5da2571363880a235cd664fdff18bb12c68989476ee56386ea0883be2c458864949ab3524a4be228763c27524593b25d8e95af656942f77b820d42055454f07f2085fb11305513ba8511f9a4360caf09bae125ebbb972988acd1b6a16e9537e27713a7fa865cf426d97d266bdda5a99b19066b8b03872c6299591b40a2833c57ad97754b8b88440637fc9b332c039b4c2c2261b548ad384098efb7d100693dd9a30cc779f7a7187e146c9d1d93ab7e96fe13504ec043bd6c465b365786b244b7990195f76c66efcabe0ec92f0b302a749817953836d3070da8a4596545a0afac70dfc989bb0b16fd05e0db948cb1b8995c8c4d73730bccb0beb7336d7f2074270275f1b734f977c9fe641f45770fdec292f28c85ae0488b9c32e90730e373bce63966228a0622e4a17cb04d3c608f3ba3633dfb727bb1ab93fa2543f972e3e45d9d481288cbcbfc9a6fa8d656c7a7563e028e65713ac94023cfd15e244274244c38d57158e7e360426b84191a94c55537c18c4a7d0a880939a0097a798f1534d979ca79dc224f48068552561e11163b6c2a79c5c6dd3ac8203c96672935c131558e1550841be848115fc8aae866ceb49f6ff7cc2bc19cddda6f052930dc583aebb50ec2e2baedda9ee6f8771c312a796dd418ae26fa0f65cace005792076f44f152c8cc97c8b4802a4b5d4550a8eee465eed6b36666e929d5d4095a12ed
c = 00f16e1645a08634736c206fbd6f6a5942f609a3449a18d3bb8cdae503f69cd728957ded842f7cb84abc7802b346acfbd1881aad3168d452e5359e002641de5ff04f067e1a68192ad966b2f127a56aab0bfe4789122000e356f71556e5d414075269b128e21168770560b5a4e92fefff74233e6836e1d4fc18f8ef3f93d17dca8fe41c2fcb93a2217fc53c551e7ddf947f43b07e1c60fd8a7aff778a7227aaf00b6349287a44303e7b3e9779744695061e45a26113b568879b8685fbae6d3513983ad39e8604abe448ea5c950c43d6dded934bfae51c8c34ae22f4a3e0e35781bab8a4fbdc888b9057d553b9679185481c2f18caead15704143e7bd3f3497ebc232ea4172767f462c0e14c597d8ef008a776c1134283acf777746f4fc63a56e57217e3ecaf6f4065924ec52f6429b2bef71ff1ad5736c54c07a44bf544dfa60dfd9893f2f8746642dce0e5d463300056c4375efdd299a1211fa1605a46d52e3b3a4f1031db95c88f6772c03eb076c49042fb2d59dcf45c1fc589f773117c3895aa7aec83685049d489ed7173aa1d8aa75badff731acd50ee2e569920f7c7941b47a7dec566d09958a907f0779b7a0b1dcf6409b3078960adfa494004fa201b714d4b46d606ae3cb7e30feacb137a0679c1b0df51ca1f523e8603c76b8a9114945215d883857f7aded8d16df86dae7cf6dc838fe4c3606c9cefbba0d428656a4615063dfb7336c4aba005d7703883a70292e736461ef562737c9b86ab349d9fb852ae69c570e3c353692d8c0fb609c6f8beb862f4e4fca4ce1eb14ceb0cf667e132c086a2ac4acdfb3f7d50abb40f805e533d715c6bc120a14d337a0fa06121ce367c727d61b8e7fcd34f575b4c4549614f1f5a9628d29f3a11491c04d3630cc2753de0e6b2d7be78a0c4a94453c53437131809763c9b82311877399589a34f395ce035e0d462a123723e5684677654ffda40f65474dc2b2175292a4e443773595fb9e9c3ded7eb05e3aea1b90cd2621669fd2046f486259fbd6fd41d2163725ead11a1f0a7e99c31de89d421d3327d3312f29fe34fb5c8645aaeeaf486e04c7a
K = 3f238984ba263b21b17267a4fcbc3d6d803d2d4f122f746b44e9a5a1592ea6b7