# ML-KEM-768 encapsulation (FIPS 203 final), NIST ACVP ML-KEM-encapDecap-FIPS203 tgId 2 (AFT), all 25 cases.
# Source: https://github.com/usnistgov/ACVP-Server/tree/master/gen-val/json-files/ML-KEM-encapDecap-FIPS203 (prompt.json ek,m; expectedResults.json c,k)
# libsodium: crypto_kem_mlkem768_enc_deterministic(ct=c, ss=k, pk=ek, seed=m) == 0
# Vendored: the first 5 of the 25 cases.

tcid = 26
ek = 9c6839354086919bc7b8a547ff18b523075fd1706856400952489e4cd13ed8b17a817a3076e0947b860ec9558bd9d3c94df5418a7a7301763999c09996715ce32aacfef767a44969925949cc9b8120cb78953bcf6fb8282427cb3f4cbbc50ab23274493a8ba7e5c09088160fda731b55980867912bac53125b27073bb502afac5e74973e0f3601dc50ce08cc7f3fa44ce331a43f9673be745295e693077264a8e238f0a912c0a59c44d561e2a8bd831541fe869b3110b051100db3517f87510ecad8651ce4998bb648002ba41a5351fa2a4ed94a58cb707214a59f8876176cf82fceb99364971c7c0896e8b62c0544463ff101983c2045981ccd9173eb33ba18483ed915bd11ea950db3a8787c105263242e3a64c748b8b1a5947880c5bf3896e08b4b9916a39fd70c2ff8bd041a2b18e251d16a276e38100a613ea96a86cb3652dcc83f2d31cd9f8b79e42541a66752d191436cf5b5d8350ee7835cdb122855392c1da5c33fda12ad1028f2806861a2ab9c63785fd11e220346322c250936ab819254734a8dc9241971ac90cda6696adb90d1e327dc977841aba38324c8fb2092784942003a0808e5546d034592f03bacc19e3138c9070ccea80a933d536c49e4771091af8a70207d474574c64b9f1c8e47224174061117e98c18897a7b1b3c4478c6558c321a89a84b6c508947cb61c89204fbca43bcaa1d688f768b02e50babebf0c5fb8962b2355973c4193fa92e0ce4b9f8473e154828c986bf63e1cd985c6f0462c9b4374594d226c5e99b8a844978db8dd2839e27138aacf75e917635cec4b407a54f184c22f62981b9f4552fb334ff2b7ff68b470fd61b993c32581cc0f39881a5a6a769a60297f4b0579acbf52a8abb143885886245ca2636e20498959e4f2857ab96706e6409c4164ba88c7193e568e4446120215a6d8499c6b4bc559628a9f481c7db51e2e10df1f4339a647b4ccc0405b79f70a90ca9a8ad07789222ba6e66c3aff42b61baa637af15126c88b2e210a7cad9cb08cbb5123a7f9bb4ad63daaea6b43f9aaba561212823cb898a676c967b2d64f4b6333439f8993bd7b19687248926e077a9700431a59157b9668ee022b6d31343f15c08f14488877dfb30a552c06f96a16f354b9a3f19090b32a043b43256ba5b1088b56a4125588c8746d4099ea21c4f33ad8c5c7c32286dee2ca76fc2651d57aee9d847824ac609b5bfd5c87316c2afe0e153d6326af89987ecb70cf0a0a77fa000e0e0acc2685e2317429c3a7513f42873cb98f669703ae9146919226db58d6c2b93b6f50c7cdab677b505945a0f2523886c1b82a6a7cc7eba9251096d88360d7ef6473acbcd359a0d20414b95c209b2413b1483a3a061386377b28e3896bcd8c5e2692681cc803e1694efb6ce353082ffca4079ea9bb7b2025bcb68990466ed2803ab11516d80325dc4cde3da9e020653e084c45f837c88711df3aa6075741c1283121c8b1c691013969a62b2563e556206cf0810848691c7c408d018617a7300ad943e189a9b44512ef13b669831392f1329e2ac7c623aa044223079139b7f1c213e93682ed86165468377d40884310163a5539f27745e667adf506896ba933b002e4d50b2497ecff09d0bbca4f7e6f9db9e10c643d23701bd6385e163cf71c1e919a6e20a
m = 4e77596168711e913965d8175ac3bd76aab08b7f9385a02ae883cf6c6e17dd81
c = 0385e8044d17e2b96b3f50ed28c2502216322ac33f69d2ce34f0a11e9b3de339aebe98283a6010a34bdc98b0e5bbe142a38575da305066331d8d11d161f512b4b56b60fd049dfee3771473253a0310cd842c71cb7734474bfbdbbadd2b9b87c37804d8558b00d77b1f79f0fd2c94552a8d3b19fdd6a5511c4ebeea40aa839a489aec636b510bf51bf3782f24f53f752ee2db9fb4964e8379d0fa70603cb8c2c7293bc35a56b818257b65fbe6b2c98178b61d7ceb58c7e1a9100650a945c739e3603c188ba3c179823950c6d874d7fc8f8ddb7a9ee941f4a78a0f8a1eae080d4d77893aaefb0db452659b0275d171736390a1b23661c69058869a8c4d0bb46d1655858162012a057c7c067fd035d47d5d627e3cd27cd3ca021a34f8db6695c7e581ece67d898482d509e4df61dce5bbdfaac89465a9209c547b4263e9155940f8fcb1da3a4a7d25df2969f31644741a8c6fe8065d5f176214a4db8fe76bf41869b0f22e1f5cf5c34a5067b1d9f39f3ab4b0b9f6330d7cf6ec7477b53d9223fa70e4c680d49b32883d92b50c53cf9e61915437cf57eca49d6bbc88c64ccb222d4f20227cccd4f7e7c21f95ce74d6ab5dece17f600ad1715248648e4d1af6fe41a02023eb5cff871ec654756b7d156e601e82827e17dd0fe4f5357136120a810506a40f28a0b860c3ce75bf7796653327939b507043ab8be0175a9b312319818063ac40302eb42452da0b1cb9e3c2e43c49d740a03ac1b9057fb44eff830d548d12585f50dbaf7404c2dfa7f4403db8b7cee65df528f575c7f552d0632553fc6c90a3b09c1114492392c165e9b1b0a10e9556c72cde2bb23df6da784521249eec542012ec33599b97b95ff5234158a6d553b3bbae9704e630d64a66d658f74f27c8c30237e87686fb04551bb128d917305173e2788883352a0216fd8d0035d748c9b42a600073adba73f851bb5eca287ad325a3a3561769868c56e6d84fb661ed5a41649342ea342f82be528fd9bb4f492452c0a9426ed8677113ec6f1cac51233f0520425c3b27acfaa0d25a07bc2ca01115c90432ed14a1f4dda693c6e704a16bece8972d8218b62cec4f255058988b224d86f2bde4b221a3c672cb744ca8f9158a4e5c97d0c56af5dfc1c5f0191f64cb6d7ab86b14432eceb5a3ed77a8d3ea651a07c9a0cf95e631f41c2ab29191f66dd9a73271f47a455999c5fc8391550bbb346ca1bcad598a32a50cb52281156874f36de9d8ea5860d99703ea3f4907c640b47a75a285b4347845cd6c94407995f569fd8a4b12461d8236e4015ae000e2acaf2bd9f8d28377ec0d9e4cae714c481c5abae37448b3f84a291b84b4213c8fe1f6e0fdfa1a6d1a52c974f795c5947f667a8dbe162983ec0c71c0f0237e6ed8bcb7ac9e4c73b5a1ed85fd5e0fa2810c842d484d6f9dfcc8472f05683d9d1144ef6c36294bd06a019efec202fc46288eba2ade82aa3363faf32b9b027c75a7d615845cf2ec538141f1746009737600f697cc8d90c80c1e19f1ab2c08646c0e3958
k = 79d74f6c6c2d916bec47bd828fd9b67295a37f54927fab1263c0d122f1c6f1ed

tcid = 27
ek = 8f36923650b30812c5f59a973b55acc7c930b305817f1aa3168bc5e982275f66a2ee0016ebebcf596481a463baedfa83f2c513bc11138ae4802eb131dc167fff09c0778374b5d263c9f88687229015699ad6513d580b79d5aa7f1e6b0ec019a6eab20bf53b3650f89454097ff92091ce7618d307b1070c3174c286b805b0ec5a15de672133d5851b825c875c0849c1048337ae7ff8350cf4656b1519db4861c23b44bd304f241552d82466c39a10ca861d1b4b2eab05a3c4392b66e40cb1029daad62eeec0c583097e1e8395d7e25296f7a285e14ea7f6578a4b0f4866a674b86566a83070683d36305e912450c4252f74370b8596c8e1e738f7949df36c87d3a88593c0cadf5492094bc546129a60d99a82e18f8a8cac5d0a35eb09c0a1292398c539f17c02e3656ece6108dd82370a343b42ab3579a6a194191dd4bac760ab4e27760849426029b0c2bebb41cbdb5a5dd13e18a0a8eb59aa5e746bd98882298c2043b953fc6750139ab7877c227616a74868b999e1a843b47d84e67221f0587e707fd21b6c1ba8cddec25477c540e8886b885315db26687dcaaf41080039b4b3bb2b93ade8acee656ac8c35f78cb9e3a828f184a7fee04986157cd7af54bd3c73c1381557bb1ce8a769b811265d787699da6c1b67b049c90cec6518a65204689634d3353bb6eba5d941579429869dbc229b788c38ac6315d3522840312f88b966c972e8f096c5b4a9cd897b19c0460ad844b49155ef2912ad29109ef157332190bd1320adcf169d6a405a0b3af537593b0894626d366ff110abc652b95544e2423a9dd679c6d1a6feda7908df709f9f365dc61a52c761d94805fa9c59123411236f66a1d79af7b393a0475b24ff39d97561c88b0c42acc623bd726a9407de38297562041957ace57ac88da578690dc8e0309417afc8a83c3caa660846b3b0a88b70a020620e8937b1251c01e42aa56e693b667502f71aca30c8e0e50c4cf85c043682fa78ca9e5eab09d7665c1f23858ac157238879c320cbaa52e6e8a97daea1d7e201f26e87d99da1e7a56c3279aa526349f86c87864c539a519c412421e5a3789fda4a51b79029ef49c1e54b34e1c464f0c81243877c9b92ea115ab2947151e810776f883f7fcc4d149cc7da5285dfb8e3ce2046c11ca411a269289b739460659f61eaef2b0db479ad2471d041a9e4cb6b40b66b90aa2910be27c6ef6a9aac030f9c4194a1b837dbbab480a219e5c757ed9be428930cc92871c2705ace9257fc641e3d6bcd5b83956d92e231157e5c3393a11356fc05d8444719c269d72471a36111c311458e634589ce666ec755b69b18ac71b1369e0ac9c90b18e72661a4a3bce9294f51a3fee0299d0e90e192b69415206bd036e55588ffc2b784a8b07cc52a3f2a2b4ab564b1b8b0fe8949dee085887a059395b6834b09b4ee2414b8b53bdf063a2c480c351baa7eaa17b6516af698d590ba6fb9a244820a62aa51921519d6e9a29a9c19e97b288e855269db88a21d444504a97c1432c76f1cd7269c422601c61796769ca25c749a74627785fd86987f889dae04990c810fbd609c9a004ffb02e3a01394631caa5a4311cec084608ceeaa3935b15cddc22afb984a5515449e1b52cc3cb100a106b8724f6dfba51fac39be80911295d2c3fb4222eac
m = c465031f7464614109c7ddb28ab216181db5002ae54eaf6c5d6a6eefc4f72b9e
c = 05c7b5c57ad8e10248514c6d4d6052991332b23c1d27720a79b56f5bee064866dc93b02bbf8f77e6929758b9cdf03bf3845a523bbc7db1f729b8cfdaad7abd3183ed2f112b9a984610b253f08a1fd47eae9d15791e9f980f243b6298a787acf192143a1691f70b222821285935001a054cb441cad6247b5bfd348e4920d7b1684ea8fb7d6bde3583ac80f7fe4a798c11e67c76e85dd8b9d379ee1b9196fdc34e52a1c1e7fc3b2c598841da3756d58dbc21983bf37201b238898074ed6b55bcf69f5f19897c5897e290107f9711cdaffbd64bb09475b2a089ac0cb7c49913ddb73ca202865d2d24b98bfac396c268141e2c77b27636b95d2335b18d527ee9ce896c7d7b881cefc90a5ae26ac824fd077cf05c55a2befea1b63f859effd4f507b87ce41b1782a18e3cb6fac02e842deb5b8fef662a83db8c9f2a075198afb4ab59d4b88393b5820cdb64a714f5383018cbe2c98a50a893dcf742a81b67a47af14d0d9d8d1f5d542e7da540a626b8c49665670edf8b56af6bcc74ceabee0ef919acad766a6520a62cc2252efe958482c9ae904f26fdb02cf2e3afaeda5e7449c54eb1c06007d474f410e6fb28e06c235a2ec15105732f9bd22d67be1230a08f277d72fc7f86ead57bb38da2e85b6d69b565137a6ab8f8287d6082395083527c0fa47bf2058b2f2e9a1dee73c840dd5a14e78a791cf3d9e4d1b6f41871a5a87fe14a41f87e56bf312b153f41ee0a69742da9d21d1e92499afd94f03e8da2c5a83cdd7b3169259fdd5e90dfac8ebe21c95fe0552128fec46cb5dbd020f597d55f42f8eb4fc015e37af6646f78aac295c3c328c527b8fbba05d6257d60bf388a712b90a70d19f8b95380a94562246d74e67cde5b9f3ac2158f392674726de0e1d603b16fc5a8284cac9210d7581ec0691a4e8d2eadc308ba22e30fea73676569527c26dc93fe658282c98c4328157d7615e50e431e2e47dec95223a8ad5450c9cb60aa507d77815acd66221d46cd89256ae820b3421644088afe587bb3c039cff7eef878a966b8197ca934d47d90ff301b0463a2326b5dcf6e436581e04df7f9b8ab9ef53f1d0202b3a8fd1bc60067c4e997f90733674c188d04fd908df965b90c1f8f6c303bf20012a9c342c6cc0ced10cab964335de335de8edc3ff0b7b8acf50c0c6d872221d8c41665285ba7a83615c3558183ae78859ca70e00c92591d0b016aed87b264d0563eb6b20f1f360958c8f37670dc933e64ace2b2f2c6bf08a7e483bca8fb37ab5504e21d7d79dec81177c3375110a5ae42de5c843c3d9efb543ebba60c62816b7db3ec0a376c05d39a0daee2764febadfc5cb6aacfbfbb48a0c33ba050439270583611b52a604cc7a57c4b482543d7e9450dd763492fdded617e42c93e7f2d6295f21c92d91dbbfe81a521055149afa6c16bf46499092e53ce9f8b293bd772c31a55a43de043c8a9bdb040bc397360b36223a041749ebfbbf096ed35310aed1d3d9535326a3427fd91e5e73c9d042c8d4b52bc5723191e503f63283
k = 3d58d95a3556fc5f5784b5b537f4a99c3d83cb0c9d80b1e4fa96f8d1ab08554e

tcid = 28
ek = 3f72c39f66512ce83665f31c4a0b7890d6a7cf73343324ba763cb124214268f768f54519ece4307a30b8a1c772e00b2289900bc1dacb00e1acff91ba3d32a9978ac534f4c260cca4e7558e0068227fc32802204ca0c95912aa4ec0f4435be3128601787e63be79bb968c5c108a4a6b34da61e098c002e75a310a126f54a52269102e7212d3750d92ca1e89f2c431b609ae8815f338cd13ea0b3d9586fc1c7e79490891eb1ec5027c68e1a9cf532fa73891208579ff8ab8ec500df1f93141556c21385259457c11ab7565d54622883d69e0b37918150584c7d48561973c026f77c9dd528320d812665a2e3c7a2be1667890ac2c4cac067c468a1d90a86a400304f70e458b1f8dc133ead0cd528c366b12b33aaa5b83d7426177309a6bbadd037f97337d6fb61b5cb098e91389e3301597bc28133175b5f737f1e1c1d9c20e07da083435196492647c8aa77f6b6cff7946bf712bd19667705a1a08db0f6e3771e4a4cf9e463470549f5e39c5887549a0b2c884e21f505a6b147bc7c27551cd465955372ebc8badb69321ebf787a988afbd440a4e37b9a48642103b3f9f5c603b000d8fb55d8a461e81d0b99f041fb5296d5ea6890514cde7fb33e04205e7b13276c4c4a50ac68cf41b3c232c10691d3875a5c8d30328ab4bf2436f820cc956990d00434b348c3c2c9bc1dcfa6658b16bc2292e2505382914b05eb3474fd533493042d5d4c492d82f1ed177d313245cd91c2c4a665cf966cc6c7c802168a1d44d8db669c9e97ee21c51b4ac8af24b3fb3e88d92c6a58aa50c8a13171ad53c394c8704bcada98a7431d10f08f06275b1644a420552416d80dbc4cf462777e689d85033dae103d0f02d1ef849d65748abc4c1f4543119a339c9d01b0b856b4b09534240bbb11687047b314c050c369c219d92c5e3c5aae77aa6dd69614e6896cb37a5067a8bd7a93f52b67875b35f8349a956684bbf8990fcba7a5dd90eb7681b029680ae551a9228827140cf9b7aab2fa8610ae39aab13455e7c88fa476897652213ab1ceffc6130993b0cccacab89b302b65af621c72ad97dd23c9d6a404e5c695dbdf05a0bb4798c02a822f95d3047c9170ca48ed2035bf01e2527408728a6a1541344b4ba47f9a503d7b7d9f861f6f6549ce9a691101aac45a5285210bec2acb720bcb4c250b8a73ec36554745467ede211ba01c7354c019f8a26fa1522cf80716d410c1b3bc427d7b3d904818faaa260aac8785b033b514860071ac763c3ceac427b827c8a013faf019966f84fd637637dd354c9e3995c35564f8a9cb011a480456f2f0acaa414847bc04fbf9b799058b175fca06c5494b95748d103111987c412840ffe0424cfb91184e1cb4d5c921c70a787936ce701a98c822f9b5a5ea2363c753796b3f1980cd0416288c2010a05cc5b8d64a9a4c3a7a270438670b7b0b6c8b5a82a503dec13dc424749498692f162baa9a96ad88496333cecf4b009648517a0b52119880b837097186b0b12a2d6a2c8cfa83916aa6ac41a6d7c30a23c44569c18ce383a3c7f85399544abe7d73f3d22278e648a166404d49cc56d13783e64ae43b866e992254e93902f74c318d186d81671b421a9df3754ae3c628a3ca5bf87118ee7047d4b5af216cba41e6a044bfd095d35601536e3a0259831d2843e
m = 536a7bb351925c3fd11646fa4bf620f57755482f3f891e96e2fed5c847e7f0bd
c = f475c846d6483e36452e79aaabb7f179ed7d8408d3355d1c759c977a04a7eb4a332bb785f544be472acab078f7005cf9f7179ee2b1cca4d130420ca0df153b1e59a8da1115248e716674642580ab6c80fcc181e4a7110c2072a9363c4fb7d61d008cb0cd47229ba0f5afcf45af706ffc9bcfa44e3187da9ad8e5b1ee514d20c09f053ff7621e9441fbda80abc1fac05d0d83a0a583c1c897a5424daf6109a98bc4aadf2877aaca81c960271e0c68e4191ff3d94d5ad0fd802198da3a7994bfd638e1bd0a11766b45b3785a8d4185188dbab9ada67c56f9d4bea91ec4ca6b6f1f6da9d43f61c2ecc3e4fd7642708f1cdcdb4abe0678901baebc226d09a6fc4500f5888e68d4d6046025d56628ee8d1ef6c355e5e5b3f06c1e9f2d3e24c208601b4ba2a9a53f8a9be291b2742df28feac49fe33076e311dfd0220e605373c6c8ff818efcf381f7842138a916e1150aac993305b32223282e1b9442f0016dd101640f9e4c8c38029a061dfdccc2631770e09145f2e3dcd7de20f4cbcfe5c0aedeaa83a7cd77b666eff9ef67251a93285bac503e05860252f2b1968307c7bd7d4950f3784f809764b32cc938c13553869dbab289073415f0cbebd2d81d722243dd4fceab345c0ae3453f0e5b30dd7f70e7014786f129574bad1e2c850b0404f724ad3b8b3b5763b1672bb2fe2846c6eda7818acd82d6f314c482c404c55c96d23fcb40789527efd41b99800445bdb040774d7385ecfdcfac5f59ea81af4e0c553f14867e48158d5eb5a7791abf3b1e2b041ef1459304715686319bee17bc52b04e938c6d004b87d3ed8690e639db539d12c606ad1eb9efd40fb6f91cb6ef089b68b66172318567e4d24e48259725d106c3d6c9043d562e6e73e80331d1a6fba0fb07eaaf4ce0b3204375b3c1edd04167fc47068625064cb211b2b116b0450da5a5a77f5ad4827219a48f0c7e940c4649d9d7efb0e69dd52f9075e92af88d8ac0baddf76163f6432cbd6d662c1d6c3a25aa724379fae91673396014e95e3c3b4b48174300c6952630947657b64f9625b5d5ade335b36968b0eb5582d96cc67d873d52378af9305ead36038e8a9db280b722854374d39eaa4397d7c1c79a0e8158745e7d52ce8ab0d9ec6b3baa9fac0052379db953fbb7d041a58a80803e78ad85dd43a1daf967fc74705569826a2fa4c3d3aeaec0cc536560e1a56367b4fd3ac4c8fdc2821019390a69e6aa1f25791567f5ae9eb15f9a6e8749b00c290f8fc7ba910431367e587135cf503d80c54276b9afc6457d806f6497725259a8fd8727db8e82557aa06f1de3bd5645ecc3c14f72581fb1b7d3ec92fe423c9a66e76bdc6af9e1b4705f4ca11515b70e70b4ccca2b4fb64f1e2481cf318b589bb2f7162d134983f0253611a3486421cb8df532b94a4eab79a6024324a48b5160b3d31b87a53e787ab72d11f3de6853988dfd7685506c7dd12e5c8d1d40424051f283013d78a348655ab4e772588089a70f3d2382fd060920f3712ca291b1c75a08ce27389d40e3
k = edeacbd5254d20113da8f7d9391e300634ea574fa1a3303a65c8e3fc919152f9

tcid = 29
ek = ec2007e08917c0a9281594cebb8c33db5174cd58936f10484c6ca6c1920538e37422b40b9c0ac2b58788f2458995eb438d335a83e57c1d843818f8c7adf38ce8942bbd3765a3ab2f3b54696b2790a65756d4bb870c89c52ed515c1670e9719b5773c67ac081862e39debbc3f98f32518d15ea139862ef90ef733c0fcf534e5c8508c8a3493b865493a2892ec8403fac23caa7f5b11509f4446d2918de54866546148a07c31a21c846c9b5245565ed8e7c236430146acccba853f3df2120e42cfd7b947e5e2c383d8a4510a445f0302ae5a97cff02ebf1b6f72fca9b4328a64f5121e7491412002c268a0f4045eb90a1f50ecc31099c366e169a5cb65042b8e2973a24db74fa6a1c523d0b2168994270b15e147ceff9a4cdd172f20396f9898047f125c207a5b7fc74897083f61a72cde786fcdd37afae59af42c2735804e5835c94e420e4ee63cdd0425efbac140919e9e87122a09a4e6748ee4632ea37b06ceb32dd702854342261e827cfec28116c2a6d2743cd00a683a575515b42a66e9adc710ac6b6750ee466835a6559374472d203210eca3e9b4c332c142c7c350d5ec5528c6a2ba221819528ca56041b67785871b165e37b44705669e1c38e4b223f4d794831c79fba567ad949fc94475c67c6fc6d27af2532e98e5ac1c38cf3ce6184cd4a0b5800736a6aa2714a787a884acf846f4a10ac111390330035eb002f70208dec66b5772902fb95d64830538f832eac5117041a6a8fab7699589f82b38d4b6980c84af0e696ae9c415d561ad630319f683c8b4d9c4d834565f3142b4a38e7030a0f15c46a43530992c917a9ac586247e99b96f12ac0d48b06b58b3a253c0a83f96c6390842c2d02d7189b271d56b78c00601b8ae1fd81e61b88a6e706f56f254ce270955c9a5582b597022cded967cf200b1cbc34a9f60b87ba9b6b8013725427b9f722dac77040971776cc1631e130953a323dd5128a95a0f94d7b3fb150312371891406243d482bbbcb5eeb299d0044d103833c8b612061cb836a13b77965aa23a7a2a037e0a8806282c9c1b94af80fab69a50025b6144876b4c18e324b21bb7d74a5998c1a1ab035233da1798d300d0c96f1e48b044332391d93e2e8115aa0196ca983b3312551aa7a4a3818e95ac7a09cb045c8920df3673f7d7aaabe1a06ddc4fc7163e0fa1b8aa9a3dbf50a00365c885a88073ec111e7c43d670c52fb0855b8c6395157b3bb7823bc1c2d784020c371120e103d24819b389242eb9519146923b611dec660c3c327c4f6b71a8abc410a44f889a937fa64861a7296068542385afe9accb83263787f3a848b149500b8170140df6f28e43b39068d50cda50802507294580c37f32cb98ca0601378706c767b3b5c5ba7b429de367daf5b1cf1169a9c3c773a66639c33ed2b1292c70169abbb7cbc7bd0b48112222693583c86ccb9ec640b8dd41833e77787ff209c3874ad13bae994b5e164807c90350badc190b114a1c1c0dc3053a853394fcf30f598c3a96807b60ec175dd6308721961826bc5f957419e681a8688d91396c74428a35b045032cba08e25f76a07690f833ccf17536cc33843099a532a6ca6c2b2773413c0a07cb33b166e334dc6a4b28979ef1b616e0ef6047ab4c4c63ec1a455be76695f5b76424a69e94774a02c0
m = de7978dde147bd26153b145d328fdf79ca7ffaddaf07703d303b088be8aa16cd
c = 0b1c40715fae271e14944e013219b7813a4ed954a4510c798c7a8d4356cc3a413048d09913fbf627a1427a71d18115ef4b654264a2219cac16716b58df40b8a5039de25dcc8801e4bf1d7d343a319ab8c16f60dc48ab21b1c7f1a0a1050ad6e9c3091c9d8aa29c7d6da8610e818e5d8893eb03e9da397b4bef0782280f92c1c6a936d6bf3a9e52505f0adddfec85212b964e8c96976a3bab9773fbe6b17e03ed4bf787253080f5389d42319b58076e2150dfd04db5d53cc8a5a6080306cb99c6b14236d1d1de483f8cf30e4b1b888ca3e77f1132dd1290877303a7adc47369cd880c47c8091deeafb1da99befd7aba34521119d91b2ddffa4c017cd573eed9eac4318481d3b7a288cd3b512e82f69b3dd491649aad95921492fdfe5da6a8c0dc40e010f1e23b44df8ad4d6567c0f12ebc121a841d313f5384ddcd88eb9a77ea8adbced7d713ba96d82ec17ece2f1c4047684151e342d73205bf298204cb47f23458bf56aba99f3324fbf3fa08de77f3bf22874783187ed79aee42579a244341d66554038d978b4067958ac71f060d25818ec0a7e2803f7f7e96b7e87ee37f3306c8d2a37e322bd8afee15c1b94f80f682f26ad43ce33f498805917d13df12e5ddf386a60ec0dd8b785308018e2df572270ad49c0e710d83bee439f826e48c84d0ccafffe82e134ea3b3e208c98fbde1ade9bc3b9817202596756e635b5b0ef9ca429809f4794ad1e02db2d7a5a8843a3196d59f94fbee079cb0a3428e0a590f992613793105bf427c4e083f0e41ea46a7fb69d6378fde79248be921e3ff2441362120d37a4c3e4b6d286cd77cdc8c42ed36bd1c9172547ac3657ffde220a2c28c2e1c034979335269945d935e40bae3c03a32fbf0ca7e80db215515359e3c957ed42b63b90176ca01c638952b196c782860d4ebb1c65230558c393726c9d6b2d5150306c21255a4f913df622230082069e458bd2dfea0a9df107f9310206378bb999ffbce7a00c2fdd40b537a8af4bf2d443c9a1b643ae1e8cbc888f98a3a3a889a77f72f041697db751f5bee88fbb604ae706eeb07ec87cfbeb02dc963240c566455c817b911d2a04ccbae797e126127dbf2a0dd9b896a7b46020e4ad1cf6617161e2d0cda64739ae39c31c500a41c571b0211706943650ab1846e3f6c246e0c4885d535d8f9bc56f81063ed83f40971bc72c9206daed2456c60595f1dd15a8ac1da97a29efb7a04ef1990335b072afd09a29436a70ffe72c95c871cd6001882eae2d4b3176696fc23c6ea87401bb525730822e983c66c75d4b7e2f1027b330919d69cf5b130aeea31102d1a01583e6f99e9f4882a6773b4f2c9dd25a43c4977d81c516322130fa8869619d28019781899808e436831d0c77b21760b9c9ee866cb57a67c8e756ce9c1ae02c3625a4d7350691e636afca9656e83050c780bded44ac78a50ff96515f85cd72b9cf70850e99b506c7a1abdee2327f3711a9cb7ab8a3cea4e2a393d9a05c460794aa0e29bf2732542b438b5b2a15f516698e5d5ae
k = 637b5251fb3643d1ebe9441519f9f0dd4c029d6dd7d21045866e151ef497d584

tcid = 30
ek = b0ba2905e4c64a52079c441758cc1fa519a0e186243296c9cef44ec737a60659a195a2389dbc680b6a468bc071439a7545f18d3481752e7116d067b4a6d0a6b52c0deb360b8a269aeb4ab7df74428983098c70cee870a29435c60336884dca00c09c20bfd0323c9985a1cc9b57423df016c19e17b206e705d1fba156211caf311f99515c17f14944192b5cf9c338257ff0554a50687f8e3b5754fc219912bb888892e9701d5cd018ceca0c93e8994dbab6324a62b4fa52410b2b4004b2fa1c219ec8997f19a8cc4188f9c09b244b388206a90abcbfd05aa52e3cafc065a5926cae955b870f2542cbf501ff6c5392603f94994d4de85066842bb8bcbee3d8250fea06795b038f80a6b767282b0813b4c82474f64da38610980234f2e76e57797f47a081cd221deff2a02ca82168aa065c2c1b5bfc5f97d7375ecb510ee0c68faba7e8f29f4f845720488199b6c6e6e82628bace1b460a07d947bd3771a83b63d99c36527593b15b2755534f00a4339de6198e83937e816b7db883b011653c6116c2997baa5a008c558c81a1aad4ac32b3a413e0c212a6359fb4d53021cc4433f54cde833938fac5f942365e0696d3fa4c58617039bb23286811d67140874594cdf7313261b61fdaab3a2c956f85855efa45fec16f0e026b70662cd1096a471a5af1905c89b112e50b3e9c318cd7732caa8b2fa7684c6556a44b5a1984506f5609875f657db3c4b3a40ca72f539b220bc2398c4f78b2ce83a19a0d1c76d4741a8da56b4093ae1938b3ab017bfcc42afe8481d6680a1f512f3fd28bd5f857e8bc305c5784c6800c29e3cb5fb4a408bb4b141b0c5e15ba4cb0acff672ee4ca447377ba32aa5b0e82c9c78527909b16e44832dd58b4c81926793c61c5a4105d6a7edef163664ac7e004035227b1d6809dd97004bba78b5b88499a01a11190b1501a11a42b5055741fb79b8f98dcc7718833a0f10fe057963815620fe5a7689aa6934420818c547e66026f71c0ae9ace5f91669859a01bfc9e663a402d38bc480550ec67a52c3a9392b40a7717036b036794e7be2483b68240643fc49e344c9068e85b3b65558ddc47f511746f9b4e89a5ab50b083d36b78c044275ba457b54849432c4fb8531cf3f0c92cc2650e8b0da9f6abc53292a16c6222d8a09b132ffcf639c7f95dfea926ae2024bb4784e8ba4ffe30807003205972a6a5f9cc0e87bf1e6089f985ac30058ee9277802087ab7642b043968b3bc6c2cdb01a74c0daab63cd828b79603168202ab6bfaa0ceb7960d8c3463b7cb2a557bc5662e7bc99f66a45abb65056a0354e64b08ec4054fd8a974403cef5987df22b3d1f5a32147319c45b716b80340fc48675561238963b86a09aad1631288b4a9b801dcda58265684c2b80b2ee5c7c75aa0238ba71ce0c3124c13a23bac1faac73766b7096a53f555590b7d46dcfa3234ce05dda6bb948bb8fc4370fbb617f2b181826ac05f6e155a1e3b53f72530e22c69a151d72f0c4ebba92c04863d32b05770b1a32324c33d721bfd8858be301e50541fee59ff884c71860c7e737865e208749e6301a871f468bb048147f86360623d498c8a63cc89483b1062a2a8804903a23f1f400c5a51c2cf95483392af4cdb4cb24bf3e0b89f2a2ddfd9778d806e0337547f103ca4056d35904
m = ab2edbc8b36e25ca035eb04306c4d179cc4ab93d2c25de3f86ab551cbf1bc07f
c = a19406214c883aacbc5ca74bca57be5d7c7d152a9ccee409c10e9c3bcc851ba8cac1ea2a00d36940c120cfed1aff537859b5b1ced216cb1e0d235b05ac23f32992a2086036dc7cccbba632d138f6c429f2e9ee1b5ca97d4bb566a17c691736835b51beeffd59d891996d2a3d98d57f4e279bf724dc0cc6b9175ab0ce9254a931d4d247c82561f75169d3c78166579923e94c99205706ce60888d81f6ffadcd611d21edf7ae7526b93b325c65b975548a182ea5875ea99e4d393dabe7679096c94e9934af830d14626e7347b1045cbfa3d9d241632a8b8c4a9b05d289b20bfcd3864d90f1e3b14596a9d86160fcb73ea7f375b3373b80ee69543901c53969e2348ea2f86c1ab93f23f39995b5b9f292cd7e5427960cd519694423878ead669725a7cbdeb584bc05b06d564b4deeb1f4fab44992d4f302d3f4a83ff9206669462e81a2bcd2edd0e12e9d93948d94332073bd88b37a825c7661bec48d316ec40fdb6a384101158517b788b3bcbec294699b38591d871c0cc4106b8240b3201eb6eddfdbcd6c6e4770d453c8ca5c7c9ab5ba36efe8e6414670618ac903b975ae5391cc9c918257033ad79a1fdf30dd4da74707d7be559ccd34bd30b7da2e9d9adc23cba500ca81a2cf4db5ff4f63a0e63d48ff4d55c36608eaefafbc50c9dfc76e549b014d59aaa81d10ff3f44b2ed84ecdf475bf7540bc9fefee621389bbb59338106c6d28ef805dccafe5fca346dae138f5e2712c87f8dd5224af6e7b552b9bcf9dff96aee7390324ed2db3d87297e930baca59f93282db8a626a404a0225bbc71d3582766dd4fb9c3ddfdb83cf02988e3f00d7caab31f4044c24326320d2a6580e7d1c74ae1043f82bf93847b7b8f4cf238b8795f4605bc1b3baedfe9cc86e7f6612d7c817dfd9134a710a8624669cc3f3bdbce9791c6e270733c21e43a8155bda2309999c39d7122e67f856009afcf4aaa53a0585d0104854620e01b72a4fb4d31976dfa05ee66904e5dc742f33b741f38bb6f65f7486f57c89e36ab2cf97b492153ac8e17f077c10794696b81155487b0daafe5004f2472540e3a4e54480221fdf8645d4903cadb161176f05a2ddb0f7d7c23b92016cc28b7c8b95c48d1227171893410e050888ece29cc6a9f519c8b555f34050ad817462ddb471910fdd04372a8a398cdd6d614efa0c9fb8dc9bdc2c9cf2aeb0a3054059d57eaa6637f34058281186f6493811161e8e7bec2c14881ae2f69c5b785823f793ab438409cef1352675d07a302a87922a8a1a88fd21f90c82eef4bba9d4f2a943857345634992ac2f7ecbfcc427839a7435656223cbb3a39604a9937554df612b825d8305ba5acb07262c9d19f059ebc85a25722f3717284f69c41bbd61b04bcec997d8b703e9c0a05fb642ecebb8dd645ceffde1fe4f6fae39f0153e43aefb0e12afdfe33f07ad708ca47cad6f7d1b37504d15b281402fa10f268986f7317fa4919c7782800e47ec21fe6d2d3c116d802b8c9ce0a171bab2379a8846d117e237b492ab0bb091d
k = fc003f15fcd1a4aa8d1569f1f791c2992bb53490b3359c9e3518c1407062dadc
