# ML-KEM-768 decapsulation (FIPS 203 final), NIST ACVP ML-KEM-encapDecap-FIPS203 tgId 5 (VAL), all 10 cases.
# reason "valid decapsulation": k is the encapsulated key; reason "modified ciphertext": k is the
# implicit-rejection key J(z || c) = SHAKE256(z || c, 32). Decapsulation succeeds (no error) in both cases.
# Source: https://github.com/usnistgov/ACVP-Server/tree/master/gen-val/json-files/ML-KEM-encapDecap-FIPS203 (prompt.json dk,c; expectedResults.json k; reason from internalProjection.json)
# libsodium: crypto_kem_mlkem768_dec(ss=k, ct=c, sk=dk) == 0

tcid = 86
reason = valid decapsulation
dk = 859384dfc0c207a6466ccbbc507c26dfeca413e06e46e30cf18528577b76c108c31e1b6efa8b41044a4fb2152d3ff391bc6443b57060ae655b0efcbabc889032ecc986d2a144153c8189505c37c6bb1471e5ea8c1521770d732e88a1a3b0624e5a2a42661c1743677591296b81447169635160f80d61f31c420a5d35f5adfea37e4254be39741e197056082c1bd9390a030b2a63fc37dfa561ae091dd9da11649bb7406464838bc23c872423b7515e3444fb862ba7d51becabcf9b458f302905cff983d00578ad89686721432221782ba7a134e052bba7879a36654c081e4c3b615a1c764c128afbd79ef0d816c7e5af135a51448c14cf3c6172e022741b889da485c208899190bb2cb8090bd2b7f8213213e090b27a9c3c56bf87024bd2e3001cea031be20e959bc1a75281b8a3639f487c12f40786e5458b14747d965e0e294947d6a487d44938d50829d0723a910806b9376e76480141960757cf37e2ac03b4a6767a68381a69f6b45c274c62b800403c1c992d0b84d336560d6b4bfed4a38edcca3c61699d31cb6bb88c10909cc6081d1bc9a549f604373576f2b5b14d453eec5c7673b5a39ffa8b6a223972019f0ee7300bc82da77414e4413648b68fc8e7b51dc6cbf083098c1a2f2cc680e52a9e7a8964eacb2df18b8da1d603317298b797bc17524ea03376ba3b410ff1b1b23526d3eb7a8255380793c5d938861e4983d4d23cad3a34bb256434dcc315c40c8d0a9d2132a595b78dfbb655f9f2361a379047706400e5cfa1654ac779841c0767ac8c1dd27254599137d9f3355328cd34e581e1e1bdd64c082eaa29a7f71610b65766882ca804106ce0bc5e20630a44bc5ff87db491c2cf7746b3150ba03abd907096d8004fa20384fb154f553659bbc451c09c0d42a43035994cc24b4f798bc7c961c6c64c92f2c63e87149d89e98221a9337f0a973226557056952bbc05abba46c7ec6ce1b2721a0487687c16cff6b50cd5bd59443ca765353848aa42323ebed3776c014d60d8a6b6d6b31de26f11c15822991249f76c3130735d2c22d5d4b4550a3428004349073e3f296a286c3a0d6572c383b3fd277439c85a03b42b584c97b5779a2d675b6de024949438aa8700aeebc9ffca10c8b327ca6b917b899d3ed817c4543cdf288b489c2ef3aa2f95f310b0688e3e81aa83005571812a5267781ac21c92f7c41f359de74877c19124fa462b3a181bd885a3c3534f16d99afea4bb6a434ce177c99020c880eb368fd211261172f0bb7ae4270fc9aa6dfdb5985a1c069f1815e9277bee24cdb1ecba0cf2c3c48100f540a24e4050f9b376868098805136e673150c957b73ea3e7bbab076b459d2157e9e501734500bd2b574b9c563a7ca8ad83b6cfbec76727b1d3c61c289958fc8805ae6e4455a5257e8903854e35112b7cd46185ea16339dc0838e118971cba5a78025f86749433a38ab79b58e6e6885003470e208735177f82d738c3f7a52d848b742a75d115a528f4915078632fbb639145668b504c30abb96929a75fec5deae90973b2431d685f74c98d36db263bbb6c73d71974993e13b50242167110262a8eb406c987481eaacd44069d53c2b967003dd2dcb979d81a97f62351344bc40a6b203083918c40aa459ea2e20892514749556294534cb3e3b948f1c0f7a941fde49874c609973a4e845b112456974b3aaf9877b3159b7ed0c4c423889c8a8b1c5b33409a8c6b26f573a6668a5fe0c74ad0ca28304d1c7a498a93bc08921d3943042f986438abcc61a358c6482839a524845b04ffca16cb741f7db5b0afd7b9874b6b53d156b3e036b3d41e963b27ac0c87b411436471591001635e6440903a0b38302a92c8777f264de5290dd1e511bc7c0a68e3266882cedd30aca8928596b7affb28b94d8711e31a8c9e5ac2a9567b55630d5ff8627e52386408a1bb3bc2d6b90a7c33c04aaa60e9046e10d89b41fbb8e3e26cbc27c1c062411436cc22d637dd021cb93b6972cb7aee5c98ad64006b0cd070b0ad99d467158c85852b88666ba1de29cfa3047396a5bddc76b1afaba62d622e17f846e17487a167ca9b45070309526ee08791647cee81b7aff21ca97c7d09a7b0a2880db0110461f168a8f5bafa045864373217b05ed1223fd0b00a1d7810e341c15ce69567e8265110918b857f2546beb5761de3849fde971e2cc649c363c0ef296e2dc94b07499869851ba3032248e4a628294d626c6f38c42530a07952d6b44b650112f77c8df5c5939102090c8188db61f3713e93c4a22a61c91fea79ea06bb1344a5ccd63812f540a8907ffcf62fbdd7344a744095bc5df65047dcf8362a38bff92b5b6098893ae96286f4199f857dc5351b962204807b9421602a0f00222a82b6f4785daf303354f9c097cb74a0723cbfda0553c4b0b4454e1ed11c6926396be9ad5cd16011d333a1a880e123934243542776a0848b0ccc442bcb117c24982c42d10510683e7d534ac47c6631acb187039d098b7de551b868a28ffc42112253aef0f86f4c358c778017b30c0c3510254e6abf50664fb54c197bacbb790c32a935783093c88927b65c5c696c695cab4a845b262219c639c4f07dcf663914094b1db58dd04105d7c6bc32b6392d481bf954abacac7570cb30bdf265e955ac1df3a356ab59c89b0cc6db7ecf4185f81ba9af7ba8ca47bf69a278681c1c8216cabb4887a366204118764669209d502be63bc8f21429e7434b381b55c95c53da864e333c13e7818644788a381215a4954cf3a038dae27ca4684b130268436cc22fa100ebd843d6d9a20dd0b8c4bc8d56899fd3e4272ca1301ac9429986977a9a4910a785990629dffc7ef2093aaa646741825e53ac6c43b962b5624a4d31a5e054436a2b7b880460a52062e4c5c9b2e72225dc2355d44dd6b22a18ca6a05094bf8d3b2a0c58c13777bbe448fd0182b876a596e595ad4e79db6f0c1b4e1435507802e2b539edc25820b23e7127655e11b34a5aaff25c11a7b617ed7083650c9030462a79ab77be63780a45f8ca96dcb15358e56aedc31360b2030010282ca67cde5169993fa808ee475bda0af49c216af9506330c9b0384bd2c3c51b814cff09b3c530ca754e67966c22e44f68650b7117f78235d8425929816526b0a46f647a85a7929b49d677a38418368091590fd1276ee9629e63944db4770b7c22e30b2cffba5b6d46a9a1217b7fa44b54b8266f07554b3ea970cc30d1e92c03f41ce2a2093f58a831a4353e02393cb8969a582d55545ec39a61104ba2e5bf082d0d9573988cc26089b222718d29bcfb365365bd9529c55aaba5635850809b305614091247e8bb47315503a07337ed40ca79d3c8b8d240d3af38c8a7a65ed18047b92600ff09eb509820f0e
c = f8ffae03ca26e156af3aa562e6f84159596d3a985ae42da4e45171ba7c8a1cfee2549efddc414b27ff697920bfc8a006be1651b0ecd18f91c91f1df9e6332178c3ba45407099c0c5c223e9c88d4bed9742d8a3e1251c6af4b03cf79f2671d8746e7c86eb270f0c54b3362f691387539f5e7b16680ab51c1f93d098d40cb8698827ae9eb1a85f52199589d561a0fb1140fad888ab0b03fce03a9d1d1069f0ffe274362f3f1b656e402e3075efc29cfdcd3d3a4163f74ce6b1566cf4626d14544a2a33ddf5860612af5d337c6b55a7eae01422ca01882baa591f9edda6976e2bfdf945277b4c145cdbea5f22b636dd9761f8edc518c33223fd46d771e39756b26dfd35798d3aa071f90d2250220d4869c59b3cad020b1e786eb8c856d2ab33ffa1605fb61cb91c64de695fcc1d61ba06941b5336cb67e648b4197af2b297f4eed2df996e213d63e0bfb54a86c47b286a9d5059580dad4007e4dc6fb944a53717f325d94eb6a514c13efc445f8e4ebffde3d7b00b955aebce826e4e9568c5e4eb69e0f3be52c7b441cb7f09ee441bc01058183accde0a9473881bf09c992a86c6511319ee5af76fa80079de11ea7c8b9d0947c308345a6586a8eda5d00aa7a26346c3e2c90c1709e52ee7ca292e89e1c22b5447449ae508ba0fe2c801e3a0f6d12e22c93bd98d19ce199aa055d209431fddc46beab5db20fad6b53b93e1e723785ebc29d486fb240d6a4813683e2e71ff05b4f53eb57c068c2c35f0b0ddabd8e17b48f8477747d1d97aff5434d1f09ce1dd325dc2bb5f79523dd4185dd38d3629b6e83f76257bbbdcd6963b1edffbdf4456c6a6d2641f035d08a7ee3a7f1c046cd3be550ab93853fc689913e0e136a83ba15f948d8f229cfd6e12d19c2fddc9f17dfde4b28a7eac09043f1d4f37ddd4923151e837d7c9c9fc4dc9de1576686b50f6934474402d53439d45a015ba6558c3032571e1b3263bc7e6cad549d1050fdd49f9b5cb2024cf543b6fb706b636106b54e938f8ea664d9cbd75ff7042ed9d81546bda255d177d7335a7df06b5d0edc98c6678318f7131ed7564d5344df54802241144502eedcb057be3ca1d3ff8c65fa7487521dc9d4db49265dff8158b4ce2a1893399bcb4bbfcd2c3f7d9c2286eedcd76518026d6586f10a79e02477efd8ff93931b01210c6ad0f75d23a62f68044200597dd277cebab9b5c21c74c5cd74b63a8b6d59789f5c50cace6676c93990db2f7b4f39e00f455ac002c12367d7bfd0cb0327ef077c45382f0454255b2e11a942254608bc41b890172be38e3edd20ed028c37006aa6ed5907c78614748e53b7ee3242a7c1000552eddb67a5436fe8808d53699e9bb3c190f5b966a1fdbb1da68e8fc630d841c63f5fbe7161baa0670bf970c3e617aaac12c83ff3c1d19761b7421685f1f6c9c93eb35900e54f10744d90f4d444e06c45e2a9faef1a96f0b752d4df1df86a9503d8d99cdf8a62622184a919e19df8230e7017d5f411a89da304b67e63cc3e3d901f998f563ca9bd4c9be
k = 34cfae7f2ca3b0b9c3e06afeed554c053f6e51d875d3bd3ff0eda2086ee79f3a

tcid = 87
reason = valid decapsulation
dk = e5b72d1ad506add04ecef45db1147b6ff265454496fcf3ccc9826c4f7352c82a96315790a18a458c89cdfefc71f85b7145eba2a4608eb039ccb215ac76e33dce848d1fa56d562b22ba208e994213ea17c4a37601c14b6d5287b37d9cc28e3b02d51a6a4de282fc4babcf3badd6d978a8d89c35b37969d5bb5a8016c9c77e8b571272d28a4b8675ed17b610380f1b718fa5e2c8c6807a3862bc70aa340ac11116f3718e2780e2e9897541208d5a7f5de05c4ad66a6011aa9bf72783f552b8ca767f0cc174a6204f587aef4abd35c47a2f0c8bba8b7cb5d444a1c70c752845b6ab1f653048ca65cbd4630762b2b5f4d1b1d410364cd2363bd66d1f68c9b6e01f99e97a617a4a923bab6b476582e41a519269136a2cff79cf409717108a53f3d3267eb1495899729b8c39dfe5517652920b8c6ec5b811d5b69b0686b538d36cc8a27d9bd81009472abd310a4e4b6b122c4e3794408c892409166429d328102521a0ab175310ba0de68abfcb530d3a0e77f9ac93da9aab18aead743e01e0c044ea54d5e890599b5e75032034069e3fd47db761b40a0a24c217b67c0433d1a1bd081b1d0e1a9463c82440d2c9383b5123a3c217b112be7a1af18972a97c7819241596ea3a7f6389635c685a0c2b8015a63f2032993833ccb25030098404cbb6fe3c303182c6b21223cc7c816702acf0504eff12be05712833710634453f9a0ace1ac29194f99539741c9a314074db7dd8e34f6c7981fd93ba2bb745bb13acb7209edce87ff62b30f799b6c6525d9e03a418e750ee12bea4709898120301c829272b3ddebaac6bda7d4ee56364e32e40cb7f37a059a9fc49753620e0eccc25022d1e308f5cf94721330035f98b78d15f8982799bf34eb7d54d774660d5c010173307e62b969cf5701d91a8703225bed2c67c99020e005ddea17c3a60b7874b382e5b7e4f963ce0e841dca75ed9500e340704aee68c89b117d23c3f044536df9970fe2849eebabdf4b958b7a47b4e3848f1992cfae4826b218d953974a432a1868a7600ac767d89ceca0433c20045dd637369b06b5f6182cfd7c3c9b475ed542daeeb76e0632bac3a57e6a3364aab1c0903c0654020316c7573bba5c72a5af0e86d14074dc394399de6369360bb1eec70568801093548f0698b68a7bab4184e7d82753d8c31b99c7a80837ce9a79ef22c681cb3100fc786da5192e710a45bd0860f8921e4d6330e296a27739854e52a25576d19c6b127f593516bc367f56567f4695a370b3257ab74223f3f332656343502413d24e70a4697b970fc00abd1575685c14816ac7902c345249dc19a54bd57b0f3d94d49a0ad80a4b76e9640bf4b499746c681b73de500b3eb896b29c241efd4c5fa8c9bcc6993691941e434bc40756a03f3158d249f86265a82e08b28dc3d7c69b3cd9a3e94e3c24128958bb270b7ba1f46dc707834a648aa8d46c4c439b510828922c6f912902a284a61ab94b86b89f78a8543acc1511efa2136409544eff8732c981311973b7579cacc8842a794875f619e028715dc4a2ef204b770a045a2164e72851c72b13316374341b1bbe9f606bdc221a240cc045c745413256c06cfadc92d198b0d3c7000e801703ef814bb193ac9f558a18202545a97a542b25aa1bbe40926ab797868045024479c3fa71d1baa9486807180a3c4b1210c5d9a10c37212af528d37f12d45b3939d747d17b98f319296675834fd38afed0843c4d9bdbb95ce757c095960ae26a8abe736395f59392f08650db601e3151cd4d9c72a5371fb1331cbecacc9e36ca70574e1b88ad05ccf4aa0ca08d33d20839b261a3f4ed004bd1356b90877013b005c852e165340c3f3465fe89bffb916c1a2796546090b5628f49543fc2270f5679ce4bb0d33ea5d62e579a588bd90657208f80a522581a22020814318614a92c000b54697a3424b253eb0038722253cd24783e703a34aa7a8d8691a6bccd514ca01e54d2ed56fee996768916781a81c2cf6c5c275bb7ee1be1ba34a5241ccef0a281ad3c3f24508d7e11e687872ae0865f706bbeed1bc4bb9cb338a8337172cde084913573331b8cfa0eaa51cd11aa33584beb86e4ca641bd302141515a8bb7553f2020a92c04eb079d7640b01d6c9d0c708d8bbca3160713d7368ae211a47305cc1115ad403c285f349e81546d03278989f4a010538b2d53b28c624942a410c05236bc9c8162080903897b77a3ccddac0ba490804b1a6c61ec45c088a523cb8dbd2b5f4efb643eb44817882c86e729b2d6698dd19f7570c9d8dc21dd6ca8ae9697f64bbeb013cf6890b5abba996e7bc06423be51113f3bc4b7cb591c02215de20b9b7710acde542202818f43657f93572c1b5aac80e98e1ba51c90978c8b5c4c5df27f79d06ca111c7f5c67f6dd09ee31cc5745140ebb08b4f738180c833b42750210699a5a7bf8960708c43af325628de870394b7b960abb4420a8c6bf28d25e11a8a497331a45ebea97aa0b889bdb861dcd1ba063a448e288499530c4f391f25a3593933ae65a1bb1f02b0cdc00ff3d56bd9e6b8104a5c5d6133d273a5d30c8d19b084cafa5209e0c48fb0317b2133a7174b5314c06d78556697bfec0b780c0375485a6731388cc50189576976e270a160ca9abdba9d83f519af20a31f27411576c9c0876478a53e5fb6086f096964f51b10fb13822883a9b8747cb57f264baf2561a70fc23f6e527c1520cec706855cf9598e62c41e4604ada5046878bc49c7a05f9844848461c92240a5f817e9543c1b17912fc711d0b8b0557c6c8a952610a6c495319c62ab0b9eea89b181b1cebc0bddd1bf6f0492b948c3fe8044ba3a1429a6bf31e74176427017835a5eb1469007c39cd1a88dd0c179197cb1ba506a282335187bac1b8b3ce348ffcc024fe956111b92354018e321b69ce22bf566a63982adde58754551627a9909fa48763559b509e240e9633b42f14ce0d25af8591531c779010705d6f749ebc8a6ef090702a4bb9d572250476a02c08ef359229be38c58f78d6b4859d2e315f927109ae85e00b684aaf7af58004e60e2c360806469463b3a569aa54c9100ea3c900366cb3b972f17160ae5ab3e328c60e98305797d577c6f1d2ca60ab670f793073b459b0cc70ee083418d47993fe6baf9d075fc4bbf301cc9c904a8e15a45701047e510b1ec4647941117565829f13bac8ce22a7d7840508a71a82b64b5b176b94375e4384f037386628cbaab0bbc1c3c2ee693c191d59a5cb16166a02bc7eafe50e2e3bc093157330621e711f3d9c0a0663ccea5c9a1ee2407e52a4e3dd905f9e307619bc884f2d05ca31e601a767537b40670a93f89d6626a6c919196def74f81f100ef038407e454063c098f37bd43f4e53acf69f1ca97a211
c = d3b682c9cb59e6a0509e07679feabb08740f1c325ca5721416e1426683f766277cb3b3b875a84baf89b1ed91b6ea7fff40c5fc4a5267fb90e9b21e7409d08ccf2c8c12187a3644e178493d0a3f5d6be9a9c1284a0eae2354e61ad9698ca23e5e5347ae0b1b05540681ab952c171bb7835d1c03669a7fd97166192b2a49538ab983660959989940308fa30fcc1eb333fee202e0f71398fbd22ca2a7aa48f9b5ea8021ddadec5ab1c3774be7eb796b418802d5f40ea37e1e8e8ea8207e837a27fa58d156fd60fd0f188b4a939dac76b55984eacd2e35d6b4bf5673f5f25396809281e6ee5336793d716f00040211c01f73dbfbc55e21d8abda1b81cb0de5f742dd2016b88631386eeff7e81c66c1193df559f98bf30aeedbb3b9fc89e91113d770bc32fd32bc41bdffd4bdfd3f94499d4690c955c7c1c0566b63ef4675e892d33b0884829c1f8c346500d44cd6c9c3828b3142185b6b292004fcd62aa2abeae07428c8f9375b84fdc3d63c41e01527aae740d469c8e291474b15b8c145480687d8a441f588f8075151d58f3f72749157c942f17608c81a5ac4a91c487121095786a7a75470099d53d8968011b66d1cc6582cd9bfc658a8bf06a19ab2bded165b1839ab13675846f689cfbf63909fe04771d9cd7c6806a61c67d491f81668602eb6fbaf6ac2aab35c61248617da27fabb786f936121dd49094fa1b0b370ee941eeabc6281d6c6c1690f1e0f34e4ed8a562988b4ad4969b0c442681b54897986df5c10c0ee068becf55678f3facfb4d34cb6f5a139f5234556df3fb2850089c2cbbf425918c53e2762d392a6061330cb2866792097b6b42911066d57a133a731fc5d65635d56eb0551d9f3d6c31856ed5095055a03aeed8f3573bff024ecca36f79ab46a7411cd5ad668947fb5aa16a0f2082011e651efd3b192e338b53a21544f266474618cf9c35f1771f97883f66e93f464c5dd814e3edd0ebf8a2021e13de8e7803437d0a9bc7b9159fc510f3f8a3c9c02e25ba92979c450c37906c1a91b59f8ddce99b365c43e2bc3ff7e1ce9508cb76c1cde84ede89c2f0cdc514526b30d4f396a5019a3c2a6904d8fcf28a4d93ec0c36e5fa8fc1abf3453b41c0639e2db26fc484da5beac19bd2cf4d44e1c6e7f00b1856e99f6587703b3f08e0c65554d6a4a88bb7bf89c169d4ff490ee637d58f3ed5cce4185c61d9ef46a9d3184bf1c8e5defe6c925e446e13fe432a236502b69a29dadc8919caa9e7f2b4c3c5266b0cb4aae56974ecda26add535c107a493641c207d615c5848c0cb93eed2c73a9af4aee53ee30623d84e207d2f8a6ffecdb9665e56fc1e9a9a891dbd73d634d8eae9bd1ff406404128ce914452425c895de4743c548c7ce258d6b1981a5065a9a6460805eb78b6dceba338a382aac02a1532429740c2d686ca6a54dcc9719bd56d9c880af6352a2a27e90bf2d469e9e5512a7805aef46f49bf1a17e06952fb63c21172053b84a45c567ae96ca2cb00f83f6a9dc95854eb3593437f56fc4bc741d72f4
k = 14ab4268433ff8d0ff6036eb4057f04aaa3c282b45ed65a3f211e71f79a9457c

tcid = 88
reason = modified ciphertext
dk = 5de17b5a596d15390d5695541cb03fae4073e601c7557894ab341fc31982bba0c92e04badd2a826fdc166e72af2838703fe94f87bab64cd971879b6bb8c84a52c318834c46ae1028cb839fd912773714c651dbadd69a7323e1193059bd4799b14f5cc2ca92219780b3befab65c91b637023b4baa4a63a37d83240393442bb9386b625a977a5388abb435fb3453e34633a0b803ec28be691c258fe610364b89557c7809357a4c691925ac7d4bd2621f76a07a4b26b3b45a109957d6e236e8359271f8b4fc054af05158ed6026140543f2d905cc144c3436c966e92e89aa24885c044eca3610921cb1a508e71b2a3f979e0a33c1edb61c2303057842c937453904c80f4542bf5db886636c8bc392cba8b74afd210b3d3400b7257ea2c2ab03d577c95170d5c7771c54b63f9c6030cb6f02f9516502c478002af1bac2e11b58ec2009fb085aa8b48c51d4b13375679e7742cb97548b1b8861216e3b739146487405466ccbe1a3ebeb9c6553013cc86ea0fb2cdfe8bb93e38e66b762af97a98ad17b6f6b1afa935a50bc3e7154229904578fb90d07030ea8716a1af9c787f789d4b2174673131021092a84145d183421ecca36142f4316614c2001bb33ce044c257eb592b3c57fa7cb7a3e1ac24da08c15a5a0af31900fb2147bd83da4d58b6aa5a109608d53b0a86aa13147435a6fdbad926bb65b83b0df6c432af258f2ac57abb63dd5e6c272c50e5d6ac34fba51573245d3a06a1d593fae29240883883a5c5b25058b99f49ca6894e9ac225bf44213537204e824c46f9704b89c3c16a52bb133781583317968010c86758c5bf7c190c34b8b7331b8242c84cc96278ae586f8472225e795663b379a93c4696407c00504c810c5fc499a98ba67c0ad6718ba32d4049713b65147ab1192fb46a2ea7023423aeb6526a80585f551610abd45726864e0af9482f498822778471cb895d1cb1aaa144409873b1eccaecf65a5f5298cab685caa0a193584943dcbaa84c255df35ce752630a110a988536c8e02ff0554b5725221ef98614e1bdab923bf222567882869bc819ad470145589d3d749372333ba5977e2664c56c729e7005b4500544184652d2e1653f813c4829c8787a6e63aab5ee171c18ba4b0c5b3994da4af6c5399c71c910811bdbf48d0267737cf6a7917b80d6c76aea1c091c943d1dfb1b6f280414d93898e759717509770b215aeb819dd4b1c425cde0259791129f090ab15d81488adc92bd8707edf3c1ebe228cc01c8d2dbc7c7024b96b2125b965af626aaabfcb7ec2c1a33487c8bd3745fe49c7869172e1b6a8d92632d712b56886732e480d4100a36d8b8b56107a26c8cf6f5a07d51b9ba54a52c9a40ad4c31eb687acd445d580107b6948119e555c0c357a8e0bbb8c62404c46d3b232c8f0a40af3b7a05b8bb71f04ed5eabec380b75bbb4d262ba1da07c11a958f04cb6483b4737462c2a9a346761c22888a99233511c31a0fb1cb7c97d6a3fbe78addb6c8df1575d7293e98d3cba1dab3d393a55f3c73a38b8ccd6bcc42b31274cbb7c46acc8c56a85e58bd5f49b736423bf9a050f4e5cb6d395f499624046011c3b02e7b98a02e9b6fb561298da8883ec2b2de4a2db0aa938c6a9c67a137342bba5a1a7191c17411a649e9b9b47f0c3522264c38f66437438c7b75588787bb03b1c073d668b355239e7502840a7183e9c9e49270a1339941e17733792d4beabe4dc50a2351a3f1aa11323490511bb00371ad9ae72f4589bd5da732ea52892d8a6f98386e67d3b8cc97af61ca9c15c23a97725ba5c820452786cccc34751ccf13f72d2af1a0b7f81f698b5b8ff9a2cd5b076d23a6219ca9457338236c743360cf9e8a19dc83cea7f5be17d084835b8ed700cb0a1c9d7cdcc4f5526b63c34d623749c9992a19957aa5c0894a623821acc3cca0b9410c0f8cd59757c53899c1a0d327733c0b7f1961b0c74b9ddbac662c166c5f787141f81d19b907e8a042fd2b01794b8968486e69fa02fd136ded53c6a633899a368442acca49f66eb4766a16247128c38b7e0287d3bbb1594324d6b1c9c80a368c5903a0080ebdf6c72a27aa10286859382349d39f9c91acb06800152b9edc9cb965a5ac9e7c8a6f1439b18b2fe1942c9b9943ee830a7adb5eec6501f593361e0c95625b7497a02a30173faf47c74dcc4e99a436864a5110130b2b6c8007015d1ebb15c232bf91ab19dca7711ed97d98637e051a1e686b21f9eaac8652129b69102eb4a4ca0906ec9489daea054dbb7afbcca5c4c8c511b753e8847224f95a3fc8b12a65614c8c04ef58a56ebc1170a48886f04e24976411e88e44220f1ce13bba414775e463e9826572b6a879625b348aabc7a6445e95052c77b13db39f1c719ff597b688a73a23d7912c3ac06b6b8324153e3b2b4c63b361be77267573c5f2a88477a25971778151a96b1c8c3033d0a43c7378736a2caf73143e3cc348fa239f74a3ddd51cf10acfd78735f1136576c97718d7822635b2bdb159ca2701493489f4fc8ba27a5c891abf9d73316c7583248956bffcbb790c3519b010018887fc891d98b33aa62582f0d9cd790626afe183269834c742589497155c5545706c0e397b25909b18ec3c734b824a6095c2b0843a0a165a88729dfc1bc0319797946ba4e3d85e3d20b1e0cb1eab0547ea30c41056835d3c78a7487f6cb774b9d68f7e613f5668717bf81498617fcbc730f93377656c9a6033347a4ac0749374ba8807e2440758788cf7056f9480936524608704281499a7b04a46fb595c7bd274568b2c7007442059bff1851795739568334b2dd3517092632d839961f7a2b23b33cc3831217ab6ded0a413118f369b859507ad1eea019d0c82b1341146b58da521535e55904ac7145bdc7174c82e5bc877dafa993049ceb9d3ac2a81955c5508cedc1331a28bce2827d127a0109a8512fb78bbac2cfeb31a997a091af60414e637597a3824684213588386055e64a515da5a5c670a81ac972b2f6cc6e82abff1150bf5901fb0f0186f4ab76ee22a3638a0018c8dfa04777357cdc5c667f0f81e1b6a833e67529c71854bb32d206b39ab3247db61ac2874344d82a8b818178c8589e5419d558414f3fc53b72823357b0b50138d4c80864db3685944732793467f5989f283589178994aa63b01a68d2ac8cad2f3b3b62c6f5aa7ad4bc2cabaf306dc37cf46428855f23e6988bd2b21349bc1223a819b54473f397c60f6d4777dd1775e3685ead34b9a162c0625e876dd243debe6b4d6e1a2829abdf70d120c02c34ce876bec17a724317826d17b0b62b5fd188ab789f3e51172428146a05978d22a98642c3ae4003571a76168392f72fdfb415510f1125c8bf5f5474a27277b71147c9eba71cab9a
c = c4ff0334ee9e01b04014ca57fd3c1f02f6b4fa91490864fe7be3f3601a0ba87791c73ac5a54097fbf4c21a8c5051a5ea8a32150ac7f4dda59280afcf938b6b5e7a023235c2aa330cdc0a976c5387bf1e92ae9c9d195436904cc9a4f9d7f2fc90317957b9744a6f4278bc48094bfe26c9aa09cafe0d7d8e1fc04416ad27c37e950dbcfb696a6f9bb96325f99d7143770e9f45c1e011bf6b9e550f28e8dc151d561a0b3048b1fcc07b2ebe0790a589a16c7bc75fff4cdc90dfb571bcd0dce00dcae5495b54f66881548a0fdbd1b90e529ad7fa2921874088c96af8fb99c7f621560ecc6691c69a8d02322d671f67d67c663bba9b0ba451798eefb2c148324961c145737325731fd6b8383137400409478737e792f072a0ed2e7f43768cd132eccdbbb393ac435934d1fb8adc17551d3c2a1d9db4c205888f58b630c80f2c98eda00b7e6f2e3e0c6d4124866964c98bd086daa126215a98293957c6ad68724b2bd0e4cf55a45fec8c03622b3b358d3fb45b619d3286e5d7bc429d9e06342b38485767bca1898691208b4786a3258be2e9a6bb5ab2ec7b8cf3752bdc0e4e6767f5e46d7221bc8e8bd69f36f1b14c6f4b15272b780c18fa118aac52a390a28e8862773789113371cdcefdc4b45547be5f26a9bc3151fcb87fd9c50a99cf4338562023a15b13860aff9daac05a2409834c0b68ee3a635261053546407e8cfa75046f55978ad9b2afecc8a79d35b8349e0a33f90f23ad6648761f400228d83fa22366f0d2613814b505c29069fa8f3cb0b6143de9baf4e9dfdaf2b606cc577d06d2b32794c41199f06517a475313fc9f9d433099fc7b310c99fbaa132082b05c332b00cb3871d2dcc60fa33f8956074b87a2c1e4ea6609670f0e81dfd75ad8b68ddc91217127930659c6a29e07a9e5102908e218f101d5feec11f9c3e759e381e74379f648c29f7033bb58afca6590f0f84fee54510a78ed12528c960a93a691ff1667e319d641f97c16cf1d45399daa03bd5ea15c806f19d4e759d641fe1071449cf4e13c70d1c58d2265d53eb07a5cbe012cf9fd6768221d27e69d727af657e2151593207909d1ca11a8c96e2ccca095c3bb811c87ebe14e995ffb7f763b47ed0eeb604a0cccd74ab0c29dfcfe3b4620f5e8eb3ffd74ae9bc7a6b48ae4651d430871d4651e64c2b2fbe5701e2c64e20f5279157b55e3e9d166caf03fbaef2472e960d1a0160a92f42d1834b5d493e52e9d0897dbfaa373208eadc16fcff3ce8ae40226a469abc60b9a1b67244c5aeebf1abaecfe9dd9f9c1183f125d3b6172afb2c6cc29125a9f8c3a8b31fa880fc447719c5e58c50c4199e17ef9a061eab483bbfe370f277b9ca09b3e3e6ff39e97ae392c0ef0b623f9be056db4d21e7704b5127d42f7fea27fea8f9186044e49d2c2d51758329c8cab35b00df58c91a5e2f6fc6faafcd2037ba982052f02f204508c9b2c7d6ef53955372010fb3505c8c8e27677ef37ef07bd619342aa3fa6de31eb7e6089ef5f0bf9c4aeb024f9161897906c643
k = 2cfb695710a6c4377f46c20c13480aef7ac56030d47a0ab5af07ddd6062c28f4

tcid = 89
reason = valid decapsulation
dk = bd5609747182c554abe03abc2814c58df995f0a475b242048a8a334267554cac97f88cc7c3f75ec077217e646fe2293c33b71b11c096c7d870eb4a4c8bc7cb5c114c9cdace1e3974eb53a04dc78a23834332f39b3561a5a2ac47fdc871099ab97a8b45dacb4fce49a4062ca08a810bb8568f7e1255e3b84beec93ad2d33bfbd70fbd5511b057a62ff26e927853d3f8a3ca6abcf2e1141e169e060715488794f146a74b97ade8d092a9c91b682470d94b01d734a41532a7a77858438a638db15010d72adf58bcd97c36066052106066e9a29b8fe931d95c7bc22271fab16aa3ea1d7f5b7c8ac03280599c63348eedac7313778d30a3cbffa0647d1b6be60a54fd4a23a21b8e465c8ee342a156e89339354ca4343061411a2efac6060323cdea829dc5b937e37c0490530b7625a3b1945699bbdb3a5f997a077d2836929793dfb80d97420013355eb6d52d6f7416f6bc1c6baaa67dfb435e035d2279cd28c713b9ba2ae3695c996506abe792d63cc231f73208e7abe581c1edf84d62f4c9e54740cf92b8e349031c3228b075ace910185346a87ef75d7347040049c4708068f1cc6bb924551398658ae9382b59a0769a2ac9593cb6c9cca1fc41524517292123afa86c83679cc4a30a9669afbd1141e1abbe6ab4ae14a1a0a2b54368c27da0eac52ffa6bfd4ab45057c26542382d9764992cc65cd3b17106b5abd668cc703fb0842da3cb286e540ef108388778b8d2655f98f45c8224ae56668aed2c436e464f6b453e504b21abe3ab5098ba9096477de25edc0126d6744293b4b34eba94daa9573439375e76ab6b7928b64052c09136ba16cb8d01167b2ab3f13974daa5087f492bac8482d648213f438a4a16bccaf79810bbc8f5a013039800676bc2ece388172ab690f413cea66d4db2056a868e535766be8856d1043ccb5c3dc8a5b639134b65a496f0693c0aa229adc0bd7063bcb0ac49d8d260dd40a6d4871dcb4803ef105995078e29297789ea5c46449d7871684fe6c2f0f3bafe98473bc0b1ffd535ec6b0e19ac3ec7b3506b6c72a562a1bae70bfbe744e9dab91fda04afac5224b0458f912567b582ee4aa6dce32e85d14cb0cb8e7ae41b66068f42099c775a6de5c1a6011bc724f9be8200d00ab5609148241325132e504d4d969b516505a897446d246d28013c863cc7e9b308ff39300c7ac0e29523dc8c34acd52ace7b83064bbbb2fc1aaf42175da46fab790245726308c8b816855a48331ccba711ba47b603a65111e7751fd35290f4b5aaf2b9afda9bca9a55f489aeabd9c637ea4a9587b40d3254d25239092c2084e45a73246d8e45acaeb5969d1477db233661ac177a69c37de1c98147a6369c9e1e1202c026b888345394dc067af538fce0ac03c255fd55ce8d711465059486013e191291db1c26d9e7b6473700b8d9c42905946ea978609554fbd7ca8e34b45e2548a142859d9005832055b1c26e93a18447e15d7306a868372ece05cdc596b35d313e6a8ca822293506d465942814c10b2c372885a625a6c21c40e9902ffcb9364d8c34670735a60a4d1f89227b600438f147299c2f6c31607bdaa7cffa505ee225fb954f94a9b5bc749b8f669fdd560d736ca604fa7af7c0341b175bf044bbb3522ba6eb7fb21707b1cb337caabdb3205a8ed36c39833d7d83148f641ddd0373419374e50911da550296c22492d50d4ce180dd2abe4779b60bb5c276255f3a93a850c80202b9437bea86262c95e0c38fead91351e09492a90df685266f060ad6ab32bb4c04e7c7ae6eda0d0694a0f1b5c093bc589a5b8811e9786862524c33a2edb61b0de12d18cb64e93216072a9ec866874db44a81fc99ae36797ea77a5ce38ccbd34c44787db2911eea471256e956a728a472dcb4aca4ca7583c351c478c0742fac91a71e8586a013bdf0c518958b0daa637bf763c8dd7a1004f7559581424227082eb759d1925ce2a74baf7b08c7161aafa22afc029b05d3c99f6592792c6836eac794176ba9902492235e96dc6c8c777c525163e0910fe7a37902f32727cc0d0b2781de872d660378ec1b52d6e86517c30097e1497b90b1af145039a818046ab089593f000871b188820da593cf596f78bc3455959c2cd27452b5a88c52afa59c94926c39b66b1872acc64b173934d14750196f40560a445429937855c4877846b52410d60a0fea4086269389a59e4a59c402bb39b252a882376b95896e9cca4cb0e1c5d567c21c6b80d63a8d05c15f654550a4255c35fab92a7110ceba9ac160366a291151fc0093bb5b30d3c79cea47b73b703b075226b65658787c2d72aef734cbc359439939a8136ab67a9341f6e9794088b3f5e45bfa576267ea94e8a416fc9253c2002ec2957f3130b35936c7e62c4207062ceb5c527e019abba7a299a6be64b6ad644c962022c9991941d3a271484bb09d13c1170a4979cb05ce561531fc5cacf97cdae22bbd5b35df1a5125c95b5ef53d3baba27b535ff2b33b3238a15cd19019228ecfe5a19d165d1b1b77142c4d76c94bebeb50819628a7a8a6b117242b6090bb0c9c3dc82c6df355cc8099faa50b08743963d2651d5b926147c47be49957015cd78b8c354c24b2a196718b4e8c110ec69562ea9c9210a308b7713e29840580859c2ae70e78fcaec8ca0ada56095dbaca91c7240d82060b838efecc34bd9a93f0655967927b5bf1bc9a56a18b630208524055f097a15924fd07952e8b4e4a2c4f0e04507d0a2e27662439f05d82b398554603b4372e5bb0b0ccc93e76ec7b9f00548225962749af8a043da0cc1671863d659ba26ca750977977853b6784105bc145cf4a177524015b6085c3427b89f6207485c4a07fd5b0cc649a80612e2c759874b11f2b343673b76b66840412b691f571236cd29e4b3729755a0086633ba4086202286b2526076b3555ebaa1c39739cbf505f016321466bc06f2182bfbb5fe433b29b81072328106fa49f2bc685b94a6b0d44b01dc593dbd7ae30d6423348145e141fdc2ace8f002a6ea5a237b5b86da8519553b7a77662db089b5497600fb45fa337a412f6365925c825e59ff7994631d816baca92c0bab2568bccdb62cd965082b7d2984bfb4ed0c76208c8641b15a2be6a9694c47259f8836ba61b46257ac5672fecf406e17206749aa96df65fbbd5763691a383743524d451aaf19e65d1c3aa550bc7a2851e49171fa5cc6f9559b7c584c7477e0667995aa74ec0bc33678a723cec5f5f9028a3b4591c364613f6bfba14fd4e546a9a3260d6188f44acb2cd05757b11d2efa05c68af4eb53628271de2c7d6e0f7b3421e9fb5d5c05fa0abce9e0ae7c175a65c5dba9fb1f4e5b5e0b81524fce6ec2ac1697c5ff3c0ea7b74214c9f63080550b514da6674efba
c = 6f59fd4c5e85e4845452308357e277a3e943b9ac97e0b41b47837d825b44477f137701cde03995496ef89d71330b59ba9e459d2b224b049a8198a3ff9c3cc53240ee67cb06f7398b6f752e3cae6bf650ca74f35082fa2236344b5ce837ae185525a91e30fe7adc0d0ba3cf0b3d08701518a5a37be43f71f53e92f889f25fd590c6ee00562d849bbc551460dcc4798a90eb22ef5c96dcfcca52532aa3ad98fa96b8c2511d26b7d06e439e0a646d8528fb17911f6104dc6384037b0786026257ea7ee569d703ec4f02b40d059395e6b1a6aeff2611760270a44e9e015c8ddebda7c0216c0c038264e5aea950111a3ceaabbec721a15896184084d294de285d307b857c474c8cd2ad0bd6e98abc850f6c6099fb4308ab40f0d6d3e2dac9911cde4d2ff18a17603f5168fd7fbd3c847059b5684be63b90e453dc36ec0789dea003ba20274559b575b1c3e87ef9afe18eafdc992fcf7f17a9d09787f091b609102a68c014c6b7c9cd1587d3110ddc820b78e4b925f9b28465ea6ad4464a4fe440dd118e7efacb42a24edd778160a0ff22dc8af0f6b9dca922c14e83129d4cdcb31746aa618cf61d83a212415d55d596cd0c555477e7eaff5645ae958fc0652b23678061b2ed0bce6cc0507ae19fe73613944c3b845703ee79bc33f7911fc3869e059bdef620fe65db2f2b801146d2036048eadbb582fc6afe16ce2755c992d87d4ca92ea809617949be170320a7d499bf600fd2aeddc0982acdf325421e51a0cd8f4977efe44fccf8dfde151754c1c51372d473e3cf37eb5e1e1bca4e9017bf1043dfe2c6da1f8a312b58d61dbd1cbc95d892aafc27bbde33e5597a3391e655e296ede6e821f43986f6006b45fc0e9eb341febe5ae49ea98fd013b7dea3ea38d9a8d96181512314113b9b4fdc15b891520cc3328a62e044d4f1504358fcb8220ccf27ced45ccfdd4c3dd7d1194db6623528c11fda90213e96ca460643fcf8de0778db7888fd7f7a1475ad748e8ba6f29335d247961b212b053834884691fa51f339499f84ae67adf1223ee78d41733ed2f595688f8a7d6d90a8a45a49331e39dabc50491362c79e42875c3dffb740d2e4bd8f998e30e1939584a2a5441f143088543c33d0ada6bca886032cf431d2029da5906efa89d5beeb7122560df707e70800ff43f7ff0f5d317351b9b70ece5e0988b7414385e206a5cf611b48708e309ee5f9f747ad948bd1a1a41e06c6889933612143a263444c0b71531000811913b589675ce06035767cb860c7fb1513cc7c5021b84753289248fda571ccef221b1b972c4fa6ffd163a785688b9d0de1e9221e284f6763c288e45b50c305bea35b60405f613960a7d96ad7f131f0f4e960449db719ebd569c9104b5d9d07f3b94e2932fe85a8027d2e930021c7eab3f06a0f1e27053f84e19a9be3961a6742811ff05dd65cb6401d85534d52dd2ca641109a7c739b6645c5dd07f529596f870bc830b02786f06d552bde7390632e9d29ee73dedf01f98430c89a87ee3224938286a90efa
k = 6c8c7afc5b05f3aa94d30fed24a6ff89c5c84625b5792cade7e89af988f45447

tcid = 90
reason = valid decapsulation
dk = 50c65fd3a0155e67a47e15778bc0aab7a86074852ee305385d3c33fcfb5d462a6deeb22aa513459489cb4f96883f63aaecf673b188c039a60f817551607b8c6e650876c7bc8fa639c5a609ec34cb15b34fa331331fd13c3bb8bd246562e3a96c93614d13f61f449b39d356230277b56a14ade4c75de877660800bfc41b0662436e63acbf0258622239bca5780929488ef9bb7419cc05a89137b5111f8e427dac345b508c5556a76937c4305ab590e9f74c00408812d0b7b7eca4f0585be7b42f41a75f8ce405d0364d6d6c14ad3b2df8c5215dfb472a5bb0a8b85d2b12aa296c6c4dfac5a63b8eced35b28b67644b8cdbea1cb808aaa9094ad1c818a45143e3f127f59033dbf057f88c23e47dc1f0163c476d46f8cd12ef8e693a8b846a9686d24373b619531733a76e113453efb1de3eccc23526b04a00f75e83e07011f4e4bac0a253762062eb1f879abb62d60c31176f47d8b239b70b88e82301a4bf08bfdf39e61118e707a6ca80669efd51c95b49eb67079d762379cc3b4995848f0661ab309cdbfea0b52b399f8572eee649f68450d0bb5a718f747b0d066eeb83dd3a3ad4aa0077c73c140a69125bc5ca5b8a47b69961f62a4fb6b8c69430801c38259b151b9360fe6c8741ed4420a6a7eb4548d8816a8f6c2549bc9ce5ca523b96531c23975d76c3e8c52a05304336a434b19573a644400705b43496b66207a84ec89661df9329324c6cf61b108603594c642a57c9187576db3b554947b4c8f29c0521600af895b9110b03704bc3a3c4476d0c3e3f36e48842e240530579caa4b80b6905029c8e47194413d88a67559137c644776f068a9c3c27a2f01aad528a57e4864f28c8a7079bd762bc3a67184b5737d08b041041346c1148d3e4a1249012227894c68a9174f961c2ab42bce830665accb2178093adb1d9a2c6fed349bdde04234fb7ac2fb06048b1710814f3e751a88368fc95a62cd59786f8439c592935eb720e6020230884b6bb590edeaa0d700cabd819163504fe1f298f9a255c6b370cf6707e6c65b3257b5b565738f027814313cd3b2252793c09d66b339e559a7831fab323b2b68671cf25803e454ea16638dfbaf8efa55f8c5beffe54e55108f72d0782f48ba876863769b82f4c249fcb0acb1646f48455ff163482620a4195a7a1f88c878b52ec30c5a907b9989208877f3019f0a92b48c1df99a2ad3238008eb300b1022e5d7767521ccc9490b0d295f054764f559bc36f93b4cac13b827557a896f0e32a6fdf1304e54bb04caa3e965781f307d6a4b3d0f1575f0e4073b93b2890427cb987e5cc87fa0b9228e691ee21260de782435529de1f426a7643023638bae7c8ee50ac75ad52045748651b2c4dcd45702097a212027530bc97253cdbd60b011f2b1c2142864d83b075678d3994aadd517ba8acb473015ab355414591ee49a0502a873fadac02b251abd5c3abdb710e939648b8c9824f7bd2cf093beb0a59121627cb5797db81e73448574d4a2c4c836f6a521baa97a5978892444120239b60df30dac793a223504b207693caa8bfa7a412e38b84c58071650be973a5ffc91cb58a50770d8b5777ac9fcea44d0ab8b01b9af48e03db26b9bc33c1ba8bb23a7e1c3ced27f9ca295b84a259e2b719f551e773056ad365bad1c259ff8103ba4c6b1cc2acf657b39ec5d4e7c65e9984c7bda17d5d82c76d89e3fe38a111ca08bac6fe053581c6529ca46ca5c112fb391cea5709117e35d9f7b44853609d52c9971524443c134160215be222a5fe821f06776466391be23464a6b908452057bc1c4ec769dfc65631a1809b4db49e2c495d2b01cecfa47bec4398c1277ccd09e05f37ee82329d3084131496be3b88030ea412f204b5f81ac6ba1ccc06cbbe3d66c8f31395bc4079f90be3fd01d7b574635443ad1b202614616d6f49e7b66b0ed1c6ebf44268fac7b5e26771596bfa7604309b132ad61b03a77bd4b099d49168a0045277708a99072b8fc4b5b1cb565ed153622a8b95d532caa56b375420844b70f71780b418b26d8e55f9ab48b3571ce560727c2151496a21c750a02eeb60da8b48ac00c34d61bac8b94995d2a9ba7f282bbdbcd827b5802e94fd0ecc7ca9c61d6f4a00bf657aa696bfbc748fd629711328590cb725d318eff2468d06a5766189ac66ccb4c53aac0659bf218a5bfd6135d2b1e9f2786cdd5adbf73a4e09938a1f568f7cc8fd745b9e5974a7e5c588632959940b242d548f34a3b3b287c5311aca9316201eac0fa0756d24021cb10c0cbab3a7db6bef9d167a19a9630887aadd1c36ca730f8f49fe54ccda1db5bfb01619d07b7579287543abd648a3707a7397d5336f1b04db5ca166b984303829fc732992f47380aaa0597308b00e39fbd9766cff0b927553a27309db8eb931820bfd0d434a24c72e1f6a589976a12f294c14b081016bc0d4297958407ea3743cf9b6bb7d9826df1cbdf05423b30616930be2e92217b05b3c57b85a6cc33cb82bc41d8736a225e85c71d9cf194fe3a158dd45e738012fb218aed033aee787cf27957e238079d8374e745179fb71d0221c1fb5b4c45d6638e65a98232ba1c14c128a86728267241e71a70634b6097781504a67739c8f1193d02b7b328cabe21129bc2378781a6bf1d6693c661b042e26be1e608bb24760e19a95eea67e9b65cbc0b0830476dfd418bd0273007162ba8bb45a3d6b44287a3278b536b5c7ec4ca6d2f460493b7b761b4c7538a9bf1dc7a0d248b6564aee17605080774473b295ccc2283645c9477b42152cccd438c49801b28eb6bd0a4602d0b959ba107a07575c402b8a9da97c12022dd82119c139a64611442e14725e6764c66a63410799d62a790080af791a3b288a2a9c9b3590cc04071149582091065752ab72c628c432f323ed7e05804d191fd454c64c08bb5ba30c5955a97daa78bdb144aa400c90bc38c412abfaa2abb30a22d9304c87332aeb3146d0060e5d4839571899d8ba827b7445a77a4039519000a5a49f2785faaa94864a90737c8d10c13eb77b568a1047faa53e484960375b057e0bde1a90c61044fc7f248f830385e76c11d8b8e5fab37aa3537178b847dcc537e9a1d2df82f72528fa8ecafbe2263fc7266bbc6273ba8759852b0443b817e1550fefaa0efb03ff7133ff3bb41a7543a208a590718bde3a00b44890395f28e29d384fe24704a00a9136b54b072836f7b3765f3cbb9b060b48c37bc962d442c1ca851597873ab8aa8200d70683ff294dd1797b58c2a0816a5154a7db3dd9a85b444e83c9409d5e215b951b664a2fc1c7dabf8c8400a48b690e9ce3841f5113591d93b2f2c840d2065c27e43d09c79dc6521e5a52a7438d52326ada1f8e3694c41117262db1ca660accfdf2bea
c = aaaac5ca7b3dc1ee2276936ba9482e5c1fb810f3925bd11bfd079e4823803b4286189470317e3eafb9b947fef4cd37f3e7d22f1cfcc42061e4e59e16689351be4a66ce88b214a7bdab6affae4dd8d443f3151b8a2ea492e9106bb735b53061360a9dc675eccca42b5bd2a5aca88a40c6659956eeb60c0d559168ca8b3c1d6b7e53e066b2d786474547d347fa764080daa9533062b12283cbeb9ff23635d912d521c82625f804b9734555c2e9a79220db89a14d7cda212408589694c3311b0ea7f93fd10c846bd912ec9c695ac6aff980a3dfad374e20d93cb9b0e0784ceab733cc3102f7508d0e20d4799323dbd469b5eeaf8194b00f470de4255859670a9a9beb72aa83464a1dcd8705cd465ae7b180d417c7434348f94a3bd796eaa6d6347edf58bce2b5e7d57586fd0ed8903a7262293c5d306a02b57a819efc621692344dbc7d68456ade6fa3a51e707f9adfa485ad300aaad09875e8e66a5e3c5130130334a2d1694e2cd6c29b960a682a4c971292cbea73c60b941a26d19506de8f00273829125c0a4028140a7becfcf3d8150ff81d35c1d3090652f06480adbde2a1395f0db5564b33eef197e1ee31741ae1e8883990230f24ebb2dd3c02bef922c4dfe3fc45e7ede85785f3ef7d091718e5b0acd9144aebdd0813541fad1344bb95db6f6e286f16a656558118dfba4861d5d2717fbc993483f2ac33c9362f25f8ae6f4d8633378d9365e2525a0f25506ac4e77976fe0636c8981ab3307cb9a619287edef06014b49d6e546b2b19b074d7bf30f50b7e783bd5b0e18f39c2335ef48e2ccfe3544bd6279a5739f91ac87bcff21f14d99afdb336470ce0dd08e0260d21bdfcdc504962c59ba7ce3d8e1988adbb55549db2b288fd738ddea67b9d12025ef51b8c15ea39b41a5f87d742d09fe95484c9be48a77331f2b6a9c4c6cea2a1e668a35b4934240e5ad6188b03a8f501ef836ac4eafa7f73758a8fe482e868d492153a403a9f89f42ec6844d5abfa0a0be01af24451e07ebeffb6d9eead961e4ca330a1b0482a6ddf5757c3eb8caa72a8846af6fd6b8a8a115b31228f768a4a9a64bca5ff8d17de1a51c80acbda7bd31c32c7183a2bc36c0b00d6b96116c6888db77465020129330f619cd0e02f2a10b5dc069d2aef1941c48a970d4f021cdd175e6a1ec62fe3ff6fe22dd1785b1286bfcb279071b1661bf1a1ccaa1f5159547254f343320a49e3c24cd9d8a5b61b996eb0e16991dc665531f4a1d89a3cccf2c4e2b37f4cfc0054ca19a2e8e5772b0205eb63a9aa75254f4a9273846b23142ded1c0a6dac94c68c8566ff452acfa6c644eb88407eeba2cbdbb33c5e740bc041188c50b8076cb5af74109315a84db802548206cce82cbe2ba631ca97b51a651d8322fef92044e73cab2006731f8428df7bb58f589cb72aca271a58f49ce33982bc37df44e98f032a173d58fb9dbbd0f912a2c328ed5096f086d99cb9f5fe6d2f4669532b4bbc91ffaddf4d99767fa8899f9e866511318454c35160a8a26287b11f42b
k = d3dfd4f274195d4b54df61bf6155f7b2e1c9aa4721201cc3f44c5167bef4dde2

tcid = 91
reason = modified ciphertext
dk = 82f00f5824819f456b00384e376b586a2739a01628ab1322b0206a3975b20e61753f5b2aa035728554295632982e304f6f9c4dadbab573bbb38025906419581e0c6a4936b053a3cd91f54d7a737444813c48b44d3ab2ab27c7c0f68404f72809803b362e2a9982db1f0b93bfc931cc9fa98a2edb6e1e879f6fa402d65a3fa8c0c47b812d8a6a3b28c3acc60c76d773131c7012d286ac6708bb96d676e7c8a123a6788ad60b06da82c496c6deeb8fa345a27119b89855ce9fb6bd8da798e59700daab257ab693c50bbcfe148e79141e42257bc35cb700d2b216525ea07b5e7270c31d453a17c42533e9ae92c4476902692ef8c2f6d252f64ab89b776aed8335ddf8b2c6c0204116ab1fba1eb3d601e9ac3913f5a45321b1fc22393a9c285ba0688cfc7f690006dca10d5b246adddc644de02718b66121fa730a0c5851269a23567cf77309a876cb4d3bbec2f290e244b5dbc9338c56829a756a7818220082c8f535373ed723da0cc91938cd94a87f6654172de10b364abf730aa80448537943c99bd99ca8d239e55a31ea8a8d3d8079aaa418ef03b6f76cb14ec89f358860f7d6230df6263d4c800285a987a5a9d0b05a6aa5cbf98008c494622c7a50b1830ac65a5a8e8cc3a9751c5babab29b73260a73f0c55163b4c4d77398d9b03ab51772346927a74967e2af783fc5409a632a0ec95b1f6679cd0b09e15d0174ec3b33829ce72869da048a8ad82b2444a9c972c3c66f6769256cd5842776aa6a41fd9b86ad570c2384d929585deb494bdd42f5af35c8fb1cc2e5c76450346de08bf7cd84db2d714b6568466dc59fadc3141d9ca10287279f12a77014824ccb668c77ce749bd522b6006aa487e3b9bc0935ce363b596e45e463b4f59599a46b16512d82b8e4650f273bd26fb6d30b96692109b26727f5a768b94219d70ccbc45c37b0d9c2405a4295aa88ebfa9140e077889379b7d53043030661b5a8c1a15001e4a491e797f8550552d7034a04335c5b1a109ea8a29fc1b1a98b7e0c2334cb49b6360905b16bc3b2634d592957760ce84701d7b163d5b59429890b4e1f1484858635d474a3d4097faf2122ca54da4db47f9e40e8be729b3307057c4b5b02ac72826906ca91fe1b193d5263dc8f711d2769d4521b63882cb3ec1c7d52593b976a8ccf3697c1cbd5302a0cdf82297ec18bf244fda56a13ec99421780d0790bbac31a1e1913e9bd523e0220b795ac2c37a77f1848e4940a19942b6adc63856b9c6e3498614808d0463b166228baebb7110278f81b74aae040a333b27058c27e965a160b4238eb17cf0671aa3864f26e51823b48cc2b76d47e9227eb93d321397ecb38b946a9c07a266bf167f3295192dca1290dab61cf2230a53cf8730c217e74daedb2aea97592ed89672f3a702d1b57cf20383a78b6be5c1ae5a47ad26c27c33b8303b9deed3ae956c76334cae8e86c03250822e303bc07927b438138222bec0555462da92fd911a212c9184f93be96490f56131cf385a27b80297b425758ac2793c4d99689ebd3c27d653692bfac7dcc7b038e35912b86a5869b5196116beb34b576b9813f835ce8413f3026dc98b18d7f1929f70acaf91c29d56bb6735384f8203ce0b8a0e63736f74704b641f55c505d10204dd3b0ddf6ab4be8a38742b68cdd843af057c442c89e3408025629242d8ab71527a440c401ac46a4cb18f388ab5330843e9eb4654585249f5b38f1ccf16baad3bb7b2973146b68cb65815a08464445e62b41b130fab64065d2c4ccbcb2f902a93ba505d3121af10c8972dc474fd804dabda4e87541bcdfa173d333582cb50c9748e7ab197fa134445a5151bd6a3a7f9b0e5fbc00355757cfb061176602b30b54d79231a374be0c95993181f802420bf93ccaf36858560681b5595435aaf128119d1480513110c6bc91ac27739cb5cb056d865d97a468da1b2b972820b0c4364f7677806b1e4f9ac1b7cb0d81485d62741529629099c01cee909eb3bb192655b38a13c2f18437094283a5a58c866b997192799d270c296be8fd7360f039aad867400f18d7774920259ceb711c3893818d04b2e2f16b969251ba6b276d6f46eced6469a8b88dce97187f8603ce0b7143cc5195a671ef0bf88e30edea606bae2237a7b1935f95f7ac6475baaa48db81d4b26708d5b4ac47501f063588d4ba9fce65cc77036577a7f1c097d4a0a7494376b769aa3e936c13b3335c36246672c4474129ecf094fa691aae2bb78ed563efb8885992c6b8e987c37f384dcf2cc31054dfe13bd43d7041102c063389217c9b4d15c4b9b287eb13ccfd8c27c6dac690a581c8b96a5ae624feb946f667830706a7ad7acb7881446542b17cf9924ad7b8d98138dc056c2fed391453b70558cca530b0827f4ce3dc5c905bc4d75aa710b856117e9a33ec99a61b982f5a4aa59b12db8a0102e360eadb046c5623ff9a44a84c39013079b3c5106d4a194299aad0d241141b19a89d92660a8201ff2556afa27b69b27974bc0cdb58dbe0c9d85947f2a9737b4c372aee3a7605674721b4c41d7607db34afa2a39d5835cda8c63cf9558dbaab9b16735298b0a1ad5130b679a557536416a0884733bc7f81531693e85255366918644495605f80dfc142a05188bc35703b54960f594aa42312d59699b368854e65457a6cc5f8b3183153c9508c157d6971664b63f3492b29f354437491ccac1a23a694ef6b565f4f382f779c2a59156d99a0eeb61a23d890bacd262a01b797b086d534686c49897a0a06c6204d043354d8bd054ed026e984c164dc675b423a863e626c3b6bae533841c549257c90d3589cd26f4b5e9b11e17292d8a20b82c563e70593db83b49c3b311fd31523246cfa7808c297679daa6b5abd1a5c3a9360d608ebacb9c25640af5fc4036911748d1083041ce0025a98ce012bbc83e51d67097c942eaa864d1f5a4a121ade2d62a79d633d24696078371ddb40385f34e58493be4d1b3fb85b9b6da98cfa845eada649f410c6877affda91d79567a818c0a386972bacca3abd45ccf63a8fe9ccf15473f05016b5ef9953d892a8a221043ca59998ba909dbb20a52b064e98bb426b9a506b0ef9c9030ba10215a328df817b0b228d570371d1c594b16474cb03e0c041b0becc7a43080c3742d9e24485888c91f607f2a391cb9bc5431dc1963e2b3e20aae27eb4e40f3091e5b2ed2598f05816ffaa97817b83dfcd9273fc5c52c27c3b3a6a070209ecd70af654c9ba9465f8b9414a98dbc40ed3c254866c1800796cb36ee20403239969e2b82cbdfbb0cdae06805ad6d1c85bcc30bffddad41dff71ad871846e3c533d5d3266bcf5f0224e74ffc67054a9910d18a752411bede8fd33ad4ad6d951a6138c551fe06683d23aca9e3d
c = eff946e09474e724a95a3411c60c0470e1ea4a6b6c77d9878888e675613cd479f7cbee8926114c358930a264b651755337bf71d30ebea2ee94fd1ebb449aa49c508621dd7c34dc591b394892b2040e84194e44d466a967bf749a6b42e6c74a226bd0d1f0a3955b51150ca0d50ae2b97feb74c1ab4d6b35720390183db63fcda19b33fede7d7641fa8535d6dae1a00dd95dd1f046eeed570ae1f5c4f82e754dabb63ae4343ded6141dfb9b17d9a6b012b90193da9de82f198c3330f624e17212c8911565af46f9ce91b9edea1a128695163f5d9dabec785bd30de64cdc16acfba4e3c883730a84d5e82bbb926c7a74a8e3d4028f9502d8c293eaebdd9016646b706d7e2d7e4f73d29d299ac2757c83052b79c06c40f37db564cf936b26b252e1efda28693ee61dc872994a2e8a6021bc25bef5ce650d9a13ebc2d6fa3a4b46c900e43a6b0872313538371f7f2dbdde474d82c1c442202afaddd63d6689a8af90bc0eeda7d369472dc3f52e9ad5307a93f77b5cfa54a52b2fcfa159e63cf8df9a3ee275aa8c0012edba894b4fa3e274802696cd8601fd11b6babf6aace492f5b691bdafae5a7dae8aa0924314505c5683b21291320ac92bdfde5f68f0f58694122a3e3d84991880d712f6515e762c0de677f67203ec9a4e371abb59994faa58c66fb3145a79b459505a209a12ad5915ff125f93e78c25857f0e5b964ec49a9b27bcc25f9cf625110155ac83e415ca85426f67c28e3e136aefaff26c36f8099dc7e7b4e8867588d37ac744b2eedc99180db5f1e0ed8a1700707db8fd6220bd8a9db8450e90c71ed120e03d24393799a6070129146c249b6c2a9fbc258b969509a763911eddc7d870f681fb49ecafe77dd39343e4de33bfbdaccc35744b2637927811743e78e4ccd1844c51c3701219e346cd579a805f3870dcacc9aebbe2177b29141cca7c7c48b145d230b586b958ddba379a24d31373514a98257237ca0d1bc4bb9f3be34472d02e6d4466552f018fe8e0341731eb47bd994b8e21f788928c62751069d263517d16afb705b9ab655b38daaeb63465e1215dbe08e36731800ca4973d7e36f8ddd783d8836d27bf94c767e195bb2edbb6511ed52d062fe7e7d94e6d1626683f933c7f987d5b75af86bed1db3060d26cb03272c79908fa40f1b997f6009bc8dc67e3374bbe6f2b91492fc3d0c3b1327b1337f151d9d506e2cf692b3d2a4dcab3b111033a7ba21abae2ee98623382a645c99125622055e087cb43786b189dc37c15e36f1db883934dfeb09d3f83e22815ac28fbc88917913739802c72c796bd891400156b3d2d57fe203e8089a8fb2d98c639241ece9d70f5c81d694ee3b8da4146a1421b2220a5dd601745e062e0b395079f613563f025310cb13f1dc5b51ea4d9ad870ee8bbd99ab4e4a9c48b081dee51e0b4cb40ddc8fa0e846b6871fb22a1df86072584ec1d16980af05352a1839b7df80d77cc42dcce7994d39abfaa050128b6f74a2275c96b94b7608a79bc65db5d65eb322d925e58edcc8b3
k = bb3e6608364dcf4135de42389467d4af58785120a5b58cfa67867570da9a6b10

tcid = 92
reason = modified ciphertext
dk = 9473644c57828767900ef03b144b8b45f58966308f2771797762af6b13942b50a02e1a167032574dbb9f8752a0db9bccacabae1bf80b8d98a57bb89f9865b90becc268a23a308ab5841758e2626dc810cbab78508088af33b91d437a13911766c6645ea51925d555157dd63b35f3cce8ec74996866d022537262bd9e801a4de17ef9f15a44a71c03540ee3788cd8d848c395bcca727126339a87249dca368608ec7fda6a1d4afc1c9898889fc09e295693f4362d73452d736524a8a1cc71875465d93f8d902b3513333795179accc5baba27ef13691f0787c061386cbbbcf8c9a79ce55e23215c65593541951156830032421b65cb9fe07520f5897199a6ca6ac6c68210ac1328ce6403d081e56c8655b8d9713067b7453286ced9a55ca76c622658774b404c612224ccebc522256d7e7c8670589b6d9020e250a99eb0cec94c0266e344ecbb22daeabb695a7c6d52982bcc9cbaa76ba1e72befd5a228c0b1bea94eb04b5901b1bd68e6bd9af59cb505978e206801f8c4bcac5c84e189081121c6c78b8f453c14e7905d25b098d995b9663ae1e4baa5bc1323999523cb6d3f2236eefa5e8a338f27cab5393518130a271c4548448761b940aad81950641bb40b9c32c1315746dccf0419479d0ba88a8aae7e423c9aa40ae0696f040b9a8750a08830986635bcbaba0c18a9bd84e0c4c3b073c6f744bb687d41ecb10c708a57c768f6493358123506a0777b65659a12b970532e512766a5a60e8e6ba34fa95b8c557b5d312fd6d0005a8b6ecca25e00e3057cb8918f8a5b7f281140da56976501c6b87ea04854546a08dadacd78b473126c33033c7211cb42dc8a741b177101a6a98ceca993ac3ba152c6c7bc83b0c98cb1223ad3a9b5e01b7564458b49079e88614f55c15847152b34c7045a859ebbc7658381ca42f5c4f312c9b4150eb845a743b76aa956c764f878b3a02585c504f561875c3482462638b8a9220a337615c5ade72a7013220c2cf71310891ae7f76d46ba61c6821043c6826ff27c01db4797a01b30612865b60f55e144f57bbf355c423eb4ae0c27b12fa604d9625130748b5e4807ccea91a042cd359cb2493a6948ec4b67f2571ed78dc02a31a12977eca9cb51ec5c46a838e7d18af5d3061e731ae7fc015a157b5f4126fda03e5fac35a0a45e0d103a7a1bc6da158b8fb12aba861ee9e23b0a60ac9235aabc9b957716050116b209221549b3b8a3a42a3c1483f547be080664d2774cbeaa8429690b3e0c11246ccc1542a9334a4ef70269eb056f7199b3a5dc43201953f321ca35aa199c236d90e1c8d7b88ad673ceef958e8796bb1ce2051523983ce69182dc9ae0077c9bb45a48494c127003f4c337e4ca3f7e180378426272f87900adb6f5d34b4722ae1b38911d1073b4d47d478c229b2c2157e13089138f26248a9fc718c775ad94d58acea4b0c8764df28413618c80fc7595b6b7bbe874b374a470852a809cd9416ae5ac9050257fe525152bb52552a523c843b98a06bf61ba2e1c4442538cf2b7179f8b6ae681b7601c236453556e904480a75827813106ac5807cb5352924051c31172d03a7cd88ef2e00ccf097790f276a7d68b9744073a367cdf874133319cfbe12b9018402f8956ddf7985586579f2210aaf9c1043209f08369e527c3b788ba2a2b4829d37302326090ac6588ecc2ae2252b91886d518a00795abeedc492b588a3bd009b6d68388344c4a9652b6f5199d8a3b73ea4bfa614c421273e6c095a100914a074adc58939b94894708cabc1cc277fb20d161596fb2a9b7767a96db215e8898c4a3901b49334deccb65d056acac4ec7e678ddc7c988a66d87e63d14a7ab958731c9d6b75261bfbf939e2059afd9ea1b8e9a5ea308135df74a8d8941b90cae36396b7cdcbafe731042b34af78093b8634a15209599113d80c0931c072c5483815576c65b604eaaa7422ff0b0f3796db2184c9a748480d0bcebb42ca5928d38c887b2b10d4672bd44c1544d62025dc3cec54a682a432f79b1a1a3dc5c84044fbc249029552b0eb51a142957ead99f7b573489c1ca55c1398ef49adb339edeb7af1c03cf66fc871cf2aef81aaa99c11e3df88ca82c5f96e608e7208c79f68783b5c568648e0355836da35b69662e0cb5295c290ba0406f47a45586c5b731170f44a5252c6c23b88020e6ac25d8a05a40747dc5133581f4c78393a352826436ab64dd1c1b571887caf86433f604d248ac8cdc3bc149746047c21e97a22ff804a3b2635589cbeb21878a654437b6a505d8002bd300a924422f052ef8b5360684a5ea1887cb9258e71bb6a521289ba2108eb603365b18fd7ab2b9aa7ca792760338b7bac6549aec4b97d733eb50c13f515c59799d19b35377674011613240430f4df43d9bb6196ef068c2285f93aa2fd5f4c4d34274e4c49072c7bf5388b978158c13550544c55647686347d152f657a79285559617489af91204310b86e653fe8a8df03059ed2092e25c91d6492ab0973c988617ec92cd7f962a7f4957cd037207243bef496bf0d20cd9f5ace6a20ca2a20052389a9e80ce7166431959c9c9563b76a92bf9782fc9317a0bdc602ad79fed841e124a9a4c3bca4da20052423a364b3a7088247a48b3721c1c7e4883a84310846c1df25196d073a59882b105080978bca267d85462d9610664b4b0db6b6d8b0697957b516abafd99041375a54ecc553b068a02f65b3cdb7608a8a886a9be466527037c635ff952a6a07c5b168ce111a2ae366fb0016023d77d000144a3ac6ead5765204021039840761b76c9bc2c749bae3ce744f43348a3c69fec2405697a6bf5700df283904d24014d4c476e40ac0b153f21412749e0ba368c75b0d49c22d36df550c20b35c16a8b4b97a2a6027b629774988280781a18cd3746ad310913470c194ed14395f9c91b32c5db64940b50a3237c362fd632bca202d4b2b25d4709a2a3a4a0c9ad52c2bb310c7473d4bd53c759b25762806a659ca826b4ca397b930a679b61dd6a4db1e34d3538ca3b28bc00a4ce3e9170935121cb8c24dbe9cff4ebba5bc05abcb09bdee9b7f3b2acf852c19aa78546cc206de00464c84705da9b7dc3708857394f300938876f1bacc24e433956023c2e7b9b492517ec6377a9365e5a425a18c2b4ad1630ece793516963d0da4c01242623267e56d02481732ce5699b54c71f581c3971fb9eae6538983ccbffe79d5f0652575819d4f50776d33c3c66b3a321a12ca609cc25b22ffec03ee9135351ee7e5db6b99dd2a647725d5931103189b3ecbd83025d0ad6f81d14c9d106bcfe3e0e6e6f1248feef35b337d4607d16493995f1973ace47339bf4791d08038412282ef4fea6dde80be8daaa89c67ff35b2116dc9633df5e5b
c = 73ed2104e70f853b7901c08aa1b89b33adb4f94d3fb754388f075d171d40b198c0bd0e4e904977a5d06c209dfa2884c11b2d8d3bc3958f06d2747fd6e6c8fb37ed6f4d122e840ff5138956728120201cf1e42d70cd438b1342e90f1ad940915322ecaaf2de1d7bef7260f0af788080b10ff879a02ba636bdd1443e1319040f95bfd9e9f41fb0bf86003fb9c7a2aee74dd0f2a7108e273b2b7f8b62034b0ba3bcfb4c28253e7c5dc2efc950d935b6a444eb1453a5d1e9f24c6bcef302d843df1f1ca97ed56e26cafdc8589ecda29d2a3fd78a8b19abe2b9b36f184dda1b094765428ecbab7891d33ed69a29370aa5a9697b76dc22e685395a238ff5238c792dea2990cad16257c1d7b265bd300f5c3a8e1a5677f4a55ffbeb67149b1e648dcabe2b0cd2b854212d41de15862f2ac8bc58ac5a22eab6f92bf7f204c2a9823def245e4eb7269aeb4dc5ba13a58b9bb7b9b054718007c19a2971958025bcedbc0d0389326323cf1c6d78aed159b5203a476bca6c9338822d0681231b9ef382a3e9f90e64f995a0044beb4b9073956d8a2f10db8f0acd230e2839fb148473b398dc1497cb526a1e1b1350ea8f9a57b92104ef43dcc7b8541738f3c8a44839bcfe05261684951502797ecb518cf4681cd7928c3069e30c5b92241aafc269c188934c69c8b72624e6f570e501cb80ade539976bda712966205a44794661a5acfcd570b6b7c7b3a74bda57e51822d2bc3d8f7e8dbaff03326f027e8b638c9b65900eb662857de60b7104e710efa4f47d09cbef8ca9481a1b6b5f42305e7444bc4a637a175d255d906c90537fee1896455dd31da0b11c2e2ef332a4f920eb3a40d2738a1cb65c16196aa1a8a366f2682ef9c683dace0cab9ed7fc162b2a78496036fdefde562adaf3f72af452d679ff0770c5503d6ba35eae545ec2221a786e1a83edeb18be3534db488a5b331d469d7027938317591d288b58d6f2fee7817f78ea0fb359ea1f11aea0db9126460aabf78123912dc7b34ca4ff3c84d44a1c8ed247acf624666dfb55142efa20cec09da201fb7e3bd9839d4a856acecf96fc8758dfb79ca72bfd50686f962d4fb3ad517cc7c7a3c42232eee1deac10b17e413bb575bb2fe573799236b6b6303d653ec065cd9c7631da41040d1356d3bea526cc754f6687c973018483ceab944f85bb80f7a701b7e8bfb3aeafc70876602069291f8b7adbfff10889402896fd90a81a962f5335064ca5d8a97c9ee7e375ee73f39d1039af273fb2d43bbe90f9fc0513d9e4bdfffbc335181481c31c84740015138125495906545610d8afdda17a4af99f18ca6c745144e64f4511187a652ba1b0d4db13b45d5486c1cab847fd69fe945328462f9128c9b3c5ed3a32a2c72bfba835735ab4184900b3a84e407863aa52b0dcd34d64e62bfcb1f71ac727c07866cf170531d2a326febb2e68a00d44529a607ee49a14bdc18901f8df51a2351c8da5c28b9d40f7ee7f55c478cadcd8afa14b3d2cc6a1328bc3f51df8d744f30ce12d33202e14ff
k = 8a0c2eb06e3e2c07b8cd39acfc3d0c56a1ff25573ef853aca438e543d3929352

tcid = 93
reason = modified ciphertext
dk = 8cf67e29231c88cc45d76436f3920c279c1c4dca2d9c1328ea73400129cbe30b9103211a4da142b9551d849237a9a6386178a40d4bb5d0f73967c1b07e5b552499714be832740c742b6cad2ebc54ac0821e3a99248e77c077042cbf3c200ec789fc7aa04c24286f076a5bbb4ac5aad6dc69f4c192c5cc69ed727b6ebe291c12cbb37e56c3c263d3a5c120cc85543f3b0b65079f87465ad5591b8f8569c809011d93f95000dc11520046850507b8fdaeb9c85a10da5fba450093bfde5095889500b5013762bc927234aef633ac3aa669a402da207c48b0828bbc908c877c37d61b6e37a18d18b9b03e50f3de630ceb479e2a3845087c56e4703b1687ae0e936f3288b4203c8d1aabd944a28a05b189f9a9202269a8b90ca3d486e531c169ed267e4522b7d5c09e697a4f0b04d0b782dd7b3223e047a3ee66aed4b2017f75ecd162cc0d25b4043bd769919ef96076bdc890bea93a8f99090a6647bc21f3863546930c28a636687e2971f8b5dbfa446d0d2547bb25ddadbbed233c386b703d6522934a482e26303cf4a8fe5e00d1d790324a16c1bcc11d9bb753297b581a39aea454f842a9ca232ab580c2345f436ddf43c97c2c12a4810dd731234cc5ff71c669701cf900caacf46276d87208fc25acfbb84692895c1110eb425924265c5c18452c162b33e3bc8596ab9cdc87ba780650fdb900a25b433a51b94d31ed92775dee07cf63888ba2c48eab206efc7832a2497c79404c75a621b802516373baa5c04aeb59b1ef72ffed3c1c3f549194b922ba37532e594ded26fb522180aa323b802cb23d9596891cad1f70307b651388a8da9f7a6165a6bfb5518a94618f67b8c2e80b5c449557036142f934dba466a2886c70114bf8b18bd146c2589901ca83a7348ea72a69145b35782ba916fbe7390a331805939ae6bab0105b9704c684e199ba7a132715a166c92238678f877ea4c948e28257a2a7750da3a7fb23379e2bb371b66eee4700ca45a9daa8adf2261bcd89cd68610b9a4a9fd75c07dc87f578a1f924b4a8b72ad6a74a0669459c608a50f2457d0544320f993e10c966fbc7518b9197d741397b280bc6129c505c1f5e65098e7cbfd965811e9535a8a9a00c74752c4b0d73b638827624117a4bd3b6870167370534628c585aa7c20f39918413587c342657cf01021a53a9e27b0f4667c3d1444aaeb818762cca2a2c11535c0e91ab5286424b2ab3b16c242c24281b3b8bcf3ab4da7bb0c60729a09a4a0fe7c8dc4b0a582526f94f8ba24760ad2ab5dcd94b05c91418c208139842fe1c5385d16883d998450f659eafc7405b03f4cf2317d5ab0437c2674b84a3b7903e69ccca1615c9b3442b1d3cdb16192b0d9ca95f54d4524c1142665e3cc1c27738718605c87ab35940b6883c11324dcae1c514c4bd274f39439fd8208ad60aaaf003a450b9426b2c702147b099732059a9a25f440a33a91220998c58ac2dbd03b0a03a8562242f49a0edbc664e8068141433bb07ba535539da9634f37d690b4aa0c94f5a7c19355a6fc9c200a5faccc0131c73aa9991d336b26b8f426ed150fde98ae043b3aab58b2fd3c99b00275f47a21516648adf0387f3620813b19046166f281c65ea61e16d66d5fa14da6cb5410c6a7416b82f4d3cd2de54239e61ae3f4cc50d749fb5bc0e9d56fc5769aaf88367714962056b84a98b8c27415dbbc8b52e209713a7aa2117a9e551a5a3c2d41085aa73863eac4870bc11aff73c471275929babef6798060f78cdfb0aacdf543616701ab4226d2707a55c9c997800520e3aca29711c93b5aecc5c0f04253973a762048bc1e504b54125be26a8d00cb26e8b972a5e53560dbb97b617d4d23a047816282521e2a3a75240aa8e3295da6fcb15f76a19443a46b666ce866b1cf980fb3e0af611b521d0bb8c56422e0ab46a5f34418887b1b320d66a8534a7cb49307010a4b2e2c92a3f0ca9ec9817b5cc6a847e6173ef17d691074578656be06399b91c27cdc786b017167cc00c408d0fabbb0a13903d7353487b963caf630e6516992a1665f382d1e540598b7624c74940b247d8c122f8659951a289a96f43704f9275a3935d76ac8821896621651dbb81f35b8727b2aac0d8b5f4175b3c802662ec24d6326722611a79d04a45840a61e96a97aa652e54bc2a9c61756901fd9891d82c446301895245100d7babf953ba076661366d687895ba3b23995d4dc04315c49c20254fe826c475aaa598b207acb69537470ebcb6725b1221a543a1405c85530b2ab62c0eb7b7644c17c0d26a21887634a725476a8327a379d1cf8082547c37d4449af6a3752e80a5783ac65794edc075299a88983bb7f1209002c70c010199b0a9ab229359681cbc6f662c388944272b2191e3a59383669c115884d8987cfc0a3ba52350dac22ef6106715c8062c3641b393e3a40a178434ad1780d9cec87c0c94d77aa204f8b0f0f07a422517368980544f5648d5a1134da4bc107818239127fe069cc6b1064e1917d522a6db49987d36f4158775979936d197e428ba1a95389d1e21cb67ac7ee2c6c9a080c4e99b741246245d76ceffa40bbb35e122628a37aabb19b4860227472ec59529b7080701d5c9b3299b4461fd1b45623a6ff12bdad2cc47da215b16675dd482c97635adba494882c14ad98209e4088cb4670c5025621b6b85b7a8e1e31689c638eec98a8de1b1ef9493391c874014432aac0cc89993666fb6821202eec9cbe8a4694adf43a8094191682c235b78c9510c2c76a6ae39c575c346018faa4c45757cb2960a2782d4719a54e1067439ba29fcb99b6c4925a7cab15b777b9c394e6f0cc58121137a86ad43410c68aa1a1825780db0ff35c605622318c0b16947898bdba556e4513629792dcd1c14dbc8ad0aa9857f605e3563cd5793a67b810a3577ba732a4eba90cb76c5e90e28b4f4195cef596892745642067006115f3692560a1a64c0a0a9bc648a5ebc1f1974fab4020f13571ea71995e35a8084351694ccb747746b1e8322c97ca2505220211b08d2214159b85abe00a8b316dd63032b491996cf35ad9b56c893790e9636da451b0c0c725898623456983e1a28abe1480f6b8b8eaa3c2e34a2f5cb5940f89bf8685cbc522723c976529705935739ce60cb2f3c1a824036b9c7a452eb002dc9746b5f2c67d761322a4306f78b9db2510ae27675c3c9256620b1776b4dc33900367c937a326255c371a562a9ed71b62fa4aba685777406d4ea0c1b89c233ad160bd1d22d57b6a78ae5b8dfec87bb44066c7bb0ecd979366b27eca6f6cbb04d1d25577217da971fb5dd1184f85575abec9915ad959e75940c1186c6c7a7277a9f61f015464c1a02f11c802ecaafe119a3b0d30eabe1ad118f5534ab5ee68
c = b1d55219dc929d5f04c4718687911f55dcfb3e7ec61aae0ebd4a5d0eb891da03d4ee5608e63897eaad93be0913bbc6f97d53887149a509dd81f3000d79c3ca1b2ef2070838151793d94b21fc41672bc4593090e2c30b869fef92f3447b8678e8078625778e2b8f8a0dd9cfc9d96c31e461c0d558c21ab07ea759a561291f18ebdb6debcc539520441dbbbcdf2b22e93f6fb2a01f3d4430ad0238b38236f505aa7bb9253a09e6ce742274ef3083e73a963021941bbef9e252db246600ce18f7f6b3862affeb048e182fa2c6d8e579095c2781ef2438aad11cc85c0ec19eb602f49c813beeceb79a8b3336af6079ceabefdf963650a1de5350008f8c98910278445edf35fd8cbd374390e05e64f8ae21d16f6f9d91279fd24ba3de2776bf69844c616fb3db39694bfea2714b1903baf68c25eaa0ef3923d2546c0b769f10d15c2b855ac6ddd711211a3e0ef23f6aac315064a2c7c2a87358bdf02a6bcb9d1ada1d83f937ead006624a687d35addc4f11d9c133abc83f5adff40cd272a1f5db154a94917f2ea712f7718780287e120f1b55651678ed67398931649321d6b99e3fc81dd233e26a4ed3c6bc497d15639e9aad82d5e9b862c86d07c865e4ef22c0ad3cd638180e75158f304565f76036aff06ea98253ed0e52eaa2fe50e1cb077fae2d2e4e5bc1e71d5f7cc7cf18f444c40d7287518f03a0ca484c8cbc280eab210b1568d673e3c9b1ee09d4cb24d8aef9e4d30cdf77749b2b72adf89e9d39d49eed0c0adb6a30c5a0ff6ef3a6e4ab8866a03b6521a582a2959d59554afacbaf7c4046247657c3a029d022062aba81ecb77d851f256a527c0c49b9fbad35abdf748b908d77195dacd093edf4f46f764ce7526d5483079c1c82c2d1657808fb14ab155d4dd19364fe366dc5ce2325512f84b4f5ef92019083b958ef68f8e735e9aa6a62b9bdda751079b044957cf5526df97044f678094da19af75fc0ae9ca075a370ecd86ebcc3c73c0ff4c4615faa54344291022840b0b6f7a60df611d56da947f227f0c83480239bae2dd0b60e74c5ae58cab5666b4696d64f390eb6f466c843662c2b48928f189e03f2e40527a006b2368fe4a19b5ed3c493a9422da902902eeeb12a4c237547156323876fd9b2dac8574b4bfebe30b0369d184d2f278ae1f61842ebbe447bac8d876182a83abd94e3ddaa29a4fbe413575ee0d9a0359ef79ee458a0dead8b522064be26ce20aa8957b91ade8caff2c342efbea88c98ed015fd355170ee2f6f1e5f616386dc976dd981bacbec6c630d5ffc550d186198eb46ae645de76abc234ccf72cba27a907ff30692992de4f233db93b852080ccc38bae5db43c1f61ca42e937ad4fdd52f117cc2735ebef8ed80075af5de61169bccb7a7ca07d56ba72336f7edba9281a8a68abb53f462f3659e64836d15e98eff80fa984342e7d13f17ec01018a6aec7a6361be422b80d6b40eaa39d72aa69818bc925b70d3906d3d2accac78755f362a55391562efd45f26447acb10e484710741ba9ccef
k = 92818af863213e6c5ca6e0463b23d97c9b5d08eba80bd8b747960324cd080ddf

tcid = 94
reason = valid decapsulation
dk = 33d454ef99175484bf52683fd8346a24290b69ab2f49fca2f5a5c32af1b338804610e712dda7c404a7b879bc827b9ab308436285ea34765918e494b5a68836ccc4a330e716a5850d5ec3554a538ba36664a8049bb06acc336394c38aab97244ab21baf3b688e334a8df969218bf782292738e90bae3e765d0c2921853b48739c9064e528ec3ba2af1939c0636199b2995150adf41b1c3c7755b434702168772d856c8e1ab962b9922585a633f59d2f579a6964c5d8279e52505326d468108669c0253eb67b26d4b28658bc37b3852d602976dce982da553e97d52d41928fca66ac95b8b863d0b5914917ec8ca377748fcda03175575b6ad6178606007a8b016e9b7bcd3267d3ab9052f7a3ec622095a229c54134339c1d9ada8ce836b343f995a9383e297711d8026e7d03447e5b7c513588d5ab6a6dab241c5189cb1c760a731f7374ab9b6b84ed0c5341b29073027d41d4ba1b23994de519c276a6c42474dcd568ce014abeec95ebf24d66904d213aca18345ded82669532ad47973d1bb2cce41560aab8032bfb3d22544853310fbce99179097b0d60b456c0b90767b984b87f2565b79765882db7aa7a577f71a409d9d53ad95aa7d4cb706108588628b2ba705c33205a715916305528cc907a515868dfa2bea8c351dcf3c97e604e4a392680059d35796c6d723337c6656b55a89a612189b219ce33ceccd60a7f84b58ef7b5f201082e7246b8b730613baef0f4292467563062cb5b9bc08f1404b2b9291bc7429ab2a2401c1ca31c199abbb05881b027e492e4499e11acc147c656a59b00ac7023e2a737f193c09ad1b955e5988d5ab7c56a7470140f70d956eb3b2f0399857a558dbd133334774e83b535f4b90604f5260dc1bc95da274a22cde8d39148f6275c787b6a33388894000695869ee3cfb0a161c23495b1e7956109c4a0f718ce8abd0460c0bec0b398e087302a6030b921bf64bda2823f9b1c5415da2c3ec213f7c48fa979aafdc4a3ee937249840dc4221cc37509fc105a0d014ff7f67ede67a0f10a934ce1cae72523722b76274636aef35b13242e2c710b81e02038f25c89611846d7c09eea1ae1583cf3b36a20734945d9162c7c895510c2ad269d8b5a798b3838bb8c275e1c57cb7b3d4f9193e5d357adc07ac5335f9f0b11e583349285cb7b9a05435796d5105a06a65e87c157a437c37404515a0568a8ab068dacafa5d76c2ad938517500e90ca5c447942aa31f97081970d17338e874cad4192f398e895cafbc343bf0941d75c116462a63b4941e61963df0fa1b879b8bb03456aa2c3d437756f7e3b821449ee19b7ad88445d9160ec5357356875b3aa261a9c945141782f67a47ad359a3bea86dc99a4a42437c87c922b21cca9706ad38810d685129b11610ad1927116053f08aef281715f3220b4725b4d46108ff1c04c0ca17d9cc0387075bd737bd233c0bf1130f858903b24b66a953c4e68711340b5f5c4bf8998b1c631109a9156ba147902920f8834945a2b9999d71cd8c3602048b17c86553173a61d3a4d27c634088bbbb7a07e3644376aab50dd632b5fc02e52820873d6acd3eacf7786947dd4c9dbe2655e76af0f9237373483653a4cb01c2a0ab415cb41b04a5b0b19321ff9d02d686545c2838b0f6c9778632f4bc61d748bcaf3227d9998031425bf7c56bea67c53e2acb887a441f464b4c3c803b823269644228a5b9ba4eb8ceacab4ccfc94664a29724120dd4619fa4b0072f78fc5619967eb1eedb5b3c7e20cd0301b3acc8c2ab309420bd0e0c2175454cac80281aca94961c7bd7bf6b45a1c718e6433464694fc85847cd9b8c51874874bc11b1b76677655a517bd6a49c3918cceb0b52f44b465f36408f2eaa00a6a08d0f216e14519142c0113e0a5dc72be59d4accd23a546babd726569430a0bb4a8413e158e5c25c3d511a850569a93c3bd9c68b9000d97dbe4546eb4a8658699d3e5630452477aa04241fb98c2a8382f3980c4e08f9a627dd0031001b3a933a63d87b72deb69c94e6889783c89ba10837030cafd9150ecc88c54898fd7913f2b66baa7485105343aa7e6380519b0604512063b419f369284066652e720ab6229d8fb898bdb4e64146e9d0201c6c250c8b4a3f984c216383f3a83315e352ca5a497c9a56e0abc0ae6b17e6b01a6f39c4b16da616ca53caa1c6719f79dccc6224737caec4a042a34370c35b197b0805505a3da1841dae339ca4580075c4adb77a319eaa521f2027cac52be99aa68328af113cac535341d558e2d090e4a9446f42555e0b5a53b65c3af1b9f6294bf0daca80ed546122a8644f7abc26abee863121a2014a6ec61a222bd4383abd02211a40407e395912d5905cf4988d5404dbf780434d56c278530b7a952f97152d639ccc3478b264462dfb7a8e0908bc8e299f6db9df1881e5b2a82849110545c3f24801016c82d7b19a9376a4e4ba43fe6179ce1125d4b3442e4e10ac3b82ef58127a1db4a460a45287c935b364e65372a242b00bb8658991728c6a6bf076a90d9dc68fd9201cc46770f7654a2b8a844c72fb2c5b8677cc525b609ed7165e88507e000131b62c8da780a44654ad5a1003b8c7fa8101271b4a1913c3bb4032d005547985ca615b935ce7027173835143c2d8119b6eb3aa0c8d9055f91537e5b0e633c968c4c78fffc1644d8c1e5642eb9f511933b7de0e4187ad0beed562bcd531ebfe63d7570072ec473c07247869305d6a12e2a8a351db888e191c4c3152709170cafb91eb3c7ba6ac77fcd544c22b2542b264482aa528c09860eca3d867488e4a94826a5b988e823b4eb987bcac8957741b8b4468579c7aaeb837e71b4c88c5d75504da52c2f0425b07f43134bfcbe1b51575da5a7dce23bd459b07d1c7966a0a606e09d9982c3082334743950c4631271aac56cc58238832f16142cebaa45932b05d80150e02888fbd5aa19533c8936235b10921b0c669fb462b6f4c05f27a755d055df2cbca3240a90798729470e03cb84eaf00ca7177cd4a343deda1a0be4ba2728a177930093ec347202700de83134d8462e4591aa47350e5b404808a3cd4b89851631cfb36bc1427404d1720f4a73ed56b96c5475148185afe3c0783912b0e43fc4892625b36b4cf2c2ed99456579984e09af50379b8099312cfa769163208b495754820929893879dc4d933541a9b19815436828d21e407c45a30a0a52ca451a392130399fd8d33576102c1c076122c6416846b295483b8bd3961194eb134c36dd77281e59aa21304765540c469dc36ecc6d0760dfca9841dcfe7eff3f09157d59caea0b1e439cb7a9d4e87581cc2998f8dc84b7734b3cb1084d308903b1d09bcd092bff4379b841e332d9af128307b1152c24158610abd6d0f9
c = 6f7701c607dbcb8ba727c2a026fba56c34d473c0ed13a6c446e8aa45586df328d45929c21bb9be04ebaacf1ce52bcde1647b89ccec03f0ca9aa4774451331bfc4402bb61cf5f6ec672a4d9253f9c977acf97636a2ed79452498dc1462a34cd8f89b8dbaddd0b38d15371551138baeb37cb5d4bc094386baff70720043cd153ccb7edca5a600a58bb634e193ad0461559fd5a91499c8d6c3a80154667c44bc4aa965ad888c5fcc101d549ce739675f7bf20e6cbd8e0462c7fd5fba581b241ce0614487bb190d9f189fb30c991c39932598732cb643feabb2f9060d324a50417aa2fb5ee2ad11acdba9a46c55ab739b92f0012ea2e6c9f0b6ded36a5b2e7c0a6ce702e0b688a140e9dc1c2178d654acb2a66a1884105299454c5750079db1347aedbdb3e01b1d8790e069e8a1ffc7a325b5acb80d1dbbc5174626bc76386151116de904da77ec61faf97a918ea9b573dd633c8743c70ba9310e72ff3fdc9d9747b4cfc2f2225448b58add506a208116911800b535e07f0c0afb2bf2d6b8969df3f291d01c8b90b43a45c964f4cc185fcea728862fa76defcede72a9398659d9e8166e6a2ebe28bcf9b4f63bf08db8a280fa7ac85eb04e20d85cabae4e5af97d761ff3b3e6868fbba38da872a8308a1788727e801458f8acf2e21465cfbfd49ed3091457250959fc2e9a29b770f906caa0d331e381c44ce1d35b475cbff2aff900f3adf4768983bf4ed0de810a73ebebc98532edb38fe824fbeb76efff560b46dd89fee3373067ce5d495e625634c32d1f51548ba9bf14ba0bad8bb9eec8118f28adfcf235ce70222b759d3da9c03b026c0753d75aa5476d32ddbe5ce36818f63b669a36ffaa2f95e494b3d06b9a136c8400050cfb24196dd50de75d65cc994e41c01325be206c38e150611a4c5dae38aeb30130db543fb7a4b83df6d14be201186be754b299787211aaf12a4421b354c0f09e3a9c544ecd145306182919f34318346ffd7c381f7a2278dc65f177d6074b7151501552a2c54b98e6c35792af81c42f78547dc9a1231e528da508689ff549976be48cf9ae32aa7b7b281680e8efda467dc2c5464c0effd7a68d928d757a147c63ae4969479f905b150061aee9d664182bdc337add8d782ceb6e39a759c9dff559d90c1d20fed654489c03f6c74198d6a80acf3e9fb8deb3ce76c45e9a1ef49806790d12602cfc1d8b79b321c8c06b371dfb46525bcdfcc591812b0a1c81e7c79c922919bdfd0660a4e2af236386dcc67afa50a9c3e9d5dfbae1946eab52bc25666407a8919e21a2c05d6b4fe692f1c74502ac6d2137986a602ae6ca689b8c2f422e3a8c6f0f1d492c045e1609cd29ad5740864d078feb30dfa733c184a04cbb19d99b5b77bad0149494051832cf6b6ac39c4a778191067febb43dbaefb1141774e4638fbc037032c7254e8c6a88eb765feb434314cbaa279a495137f9391ba9848be3ca962bc88a922c59c1008dbe79309adb2f763f377852845cd58aa8cedbf43be8181fcee18d6580fac1bf99e37
k = 07224454eada42655247644b44db66a0cf73a1d35b398fabe249b6bdd0ebdba0

tcid = 95
reason = modified ciphertext
dk = c13aad9a9700fd64c6b4f2b6fe3c65bc53878f33621614522ae5c219a70cb9e70f65c0947cebc85457bfa9f869639618fee40f89d26638d6b1af4b9e10ba483cc4a3f63ccd41e0cc8f6b18dd83110c53079d9a755689642ad9137b482bbe5446d694ab29a2b6e8b55df71c37a42341c14047c791a657aa3e77cc7b14b9c9d70b78213082dfd247ac3229cf8848a3266e74ac27fe92c98460c09efc0fdcd795083a6ed3dc84e730a66e65c1f3b4ab6895c9905613209a647c5a67381265599b14d4aa973fd32c0aeb299c120e52484a8c42c451208a01d372247a2d8239af85364b7ac3a7f641ae995ab2363944a98902321212917c78af2a8f64ac11d2b50640a50dd3d87910e5cf4791c7d1388c69196241cb9d1d715dac7253e644804275a7e161199244b7b794a0fbf3096173329972ae45c7be9c8ccbd6abcae71134a395ba5e052159c7740d7c99f0f7526d785eb5c5a687147d58645fbe928ab04b7b69a092c44c3fdba15d2007c10f0c1e7fdb34a536b85ee21f7ce89b0413c58bb51ec4d6bc95776d756943adf529c7225ee061a907a6c4f75a5a75f52133691053782ee8750dcc49b1bba75786ab438678b9a7d75fe2d4a93b71bf38e48c18b6240c18b8a2f909a69007e22681088bbd581cb53a761c4ae506ee70c352e5c1ee746e25b49e73211e73589acdd2afcc4541c542c4f13c90de7b26f0453a2400a07e54c530a08a589b74400a521decaed8f00b00036590dabd0930ca98159aeaf3642c681c08184d4f88acc335c91f170aa10b1c798366de1ba89f75143357161ff187db092a4f90a0c1da4db1eb4a8a99cccf01546e5315d2aa8bdc159729ec75a27143d9c71de1c748259942a9898cf741b00bb01b7abc3112998a081c23b381759ffc06feb030ab12230fd28e3efca6967145ef87c23ef44bfeb2664873ac4b88448aa13ab2b2addc26c6a80b8c4fd8106e308a2fbc71c9872ada8073c46609e571926de3253820ce22b9659c2839a4192fec5439622671b11b815f7819fbf9cd8f62699a7a5da05084e0e708f4d2439cf6a3bee0b735502e75613f93112939767a5a28c866329e937baf927c0d54852593dcce4bf8a48ed6a5bdec5b23104089b2b3923632463464e0d7a9922342d4e527a911b5b79a49da2b6774d7776955bc544788e3c971c75233493c93586a8d4c87473bc368f3d59b29986c302968d428b493b7a3a1b53a3d5a09af9aa5be11cc9bb486aea17b458cc1ce3c39c7b57074a18596823a46410920e01e069663cf8651c1154dce4bcb9228aa13d79ff2024d8071c961651d68b16cddc9bd1654c97f406204496abaa6af5c0c7b7341660420aab6f69c812255650aaff3f0aa2cac5d6b279fb39cbba0977a5b4a574f611f86c99b5fb0a2bf348a4f2355fe9438b852c35f3b14930ccc55586e98042439aabec0617115696bf41bb189846aed5556a86b58a910a2edd61d0a1c7d54f05cb396971df14aa8561fb691ce0147b55eb3983f884dcc1aa0df2383be2a7dfd504ef294a93bca938e22579f739c4bdc34b3fcc5dd841427f445c34cbd2fe5c1cdb377beaa1da81b72b1e971d8eab5ae1396e0568419e2463a5a74a8431964975f9817b0b58b024cd81f6509930799434e48457a1508758cb10c524775932ea339bdecd34f2bd76ad58caf9c07944274ae99ba1a1f786007b41cbeda35ef1b3301bcadfbe47e9d021c3de5222c893a68879ad1aa24c433a119684a02840ffec715952b083aab23a9f52caf239638baa46d7bcba26741f96980827466edb2a9f4955664c21b55ca50783a9614ca491d4a72161c7237e50fc2b83c50e0cc1ce3057867346648b2816120ca946adab05cb04ac4e8ba87186c7ac6985bf5601dfa799aba1c5d548a68631801cb851074435a9c35929326cfda0c56a2ab2588ea123a9216219301842ba3a3e7b39d93c760f15b3cf457f9fc147f7211ef96247a2b619444464491444ec071429958c7d11c3b984dae660e2cc1719a8577bb13098392ad669a9cc6a036a3c6b10bc976b873b322976fa5e4821da8030945679e2b166e0b6996c907a8e6be99958d00396750369ed1ac8d2b779846e7b0a0019f9465b7ec7403ace4cc10d3889e7504b7cb39f82ab7e18825f74b2d0061b01694c41eb5bc2e868f3369a792e61c905b71bc471a688a78b7318e9b9721be452378244fec17a093169ed092c92262355f964f11313d21bc07b70bb599944967571678721f47298108eb0051d2858c81260727c4a3a48699346f05f9241da033b8677a0dcb3dd0c90bb040c7ad67200bf77472598f587ca25f0317b1721d7f2c55cf385a2ef20579246d65c695e806b6270ba2b008a00b64912685cfdb80176d1c64ce99b697e75da30754396abbcff91b3200800f0591e7346b82711560295affa057df579d3c182648aaa09f265c5e276b4d5590bd168f5d1759ed206463e8acb417cd588447acdc65f01766e8f067acc273dce401ab4ba3f6d49fcee962d8fb4bc85c1281314a88e47694578d04f987b366224a3bc72fe88483e47c9c2c5ba607531e2c13999c19ed13163ea21191588aa1c88738dba7adb308b634c8ea62b04b98582beb9278773f6e1603b894a35d6335adf14fa7abb723607b9546cd79075d5ad54ffa8ab1d8391e45310544b8ade113592ae3438869cae407c47ea3b79d34025c2937fbb89986c546eb95286faa07f851339113af26e6a3599c9c371777f1f7b3d00a003d898824a93cc7dca8038b3936f730ab8caea0201bb68c01923194eb47b227748cfc383fa4e785055ab9dcb237543b3f1e3c72463ac24300606915c682c9741a842e3f1c32b33a92c755275b393fe145c4892197f89b6d3ad74552361d3e2ba0ac2a87fc9700343966b7bacb8e749ca5119b1f90cab0e308d8f4c8216ca087b618a502629985ccbe998dde50c70e707743311e5f2a1e670253798bc2204528c1f3390f812ff9d9a84d963d9e424f6d602a4fbac46feb9961284ccebab948102da96215f0157adcf068ca2469c679903dba159e9766faabbd9785003f69c311e3ce07b97180dc4de6f98d3c4a3d289610169872f08bccf1f44b25a3872e496efd19a76fa340cb2a95b2d08ae86044b55b417a5828b5e045cf377b9ea9424cc2c121257159b57a5066990fa56545dc4400e2b38f226ab1ab34da66b21918b27db54e521319c99a87a0aba40ab182f0c6c7e9c006a408b728b668ed05ce432281641babb8065f8c5897c42d2108b0712c326547ee51d1f1622924ba92efaedc3199548d55c6e001e8947ccdcf7885ad6a276fb6aa68bae5d0e833caae757900406241814866aedfc6f51ee8488f5b3e44cda84ca3d725697cf5ff42b81d7742b789aac4
c = 3a83275e78133a8225ba5622bb2e91ef4ab91b9c39fc260c7d9088f522b558868b098491de2b851340aa396787373d60f078f6a7e16e0dd435bc2aaa3960165f5ff396a9df881c8a896831108c6733702ced578ffcf8db54063491e3163c7c3432a3d8854b0f65ab6195d1feaadd237c453babd4dcf49316130a238defc60872592d27ef1f03b2858028831fe211b03a2a8521282559dbfd8d9511a4fdfd4efa5c194e0ec27b5cafdcdd99a01f7c19295611d7e7235e2c3d452579009e910ef4934d71c4c2c6424bad2a3f3d42f9175400a2e9b5706cd9d09ba43363b5a3d972ab91a4e00d88b187d9c932b2957ab0f7ad5e446da57bca1c00a4bd7238d7c1d24537c618768b0c71375d2224bacf94115c9a7411ecf3be88c50bbdf76d82d826d8afd88a281814dbf06a4176dc68ebc49700999e0b8ac04134d2d4110f114c59ad89e14c66793cbd9e9c6ba34b8d115c3e5a77cec491be76a302479b0e8887b2f744edcf56111732dc983b8de1b44bcba007a3025da4e3828f5a011d1e8cfb61da2b72274ea0b89c4dcd13c040f936377742a2c4e1311f7d4e655bec24b3aca8285b9394fb5367765605b50c32b5681246c0c576c3a8ff5ff40c4db517317b0ebb96c0fdf9922d5ad9742739ffacdb236cd9d0995c0a0591c0e04f15c1885ea8c1d197059933d2037a699db9965bb1154454a3eb5eeca4bd608366fbb6ef6b0d5b031a3c3cdc6492438c511155e3a3e1d4bfef97b38b16a37abd1ac8714e2d760baadf36e56e327ac0012b06188d5c3de95d4bf70183045a8380dac4fe37ecd8390fd0f134e25f0735135ce6d105efda15c66f7cfcf27d7717366550b21633a008a5e15471729dec0daced5f132a05f9c5831d1e36ebf0cc0c39ec6269c0d744269eaf1d2427b6eac4113920b660889b5dbc32d11ec442fbe4c2f98caa9104d248d23b527dfc1d7edc1c04541b7a77079c438650981d1259c342a3ecebc564744f1eec065f550f7d5174b8777e8ddd6bfd1cd3167fba86a5c4fecd69fe8be0d3b435e5b9f466fa5e84f001296854f80189e0f083dbe0c9ed1a17812a2593892fc4b0edfd334e7f10bb4b7a502e63522866ba040bddb8c07619dacc7695362018ee1fadec72ddfa4163341d783128da6f540492c79b1fcf8227b92a71f75a0bd2a87c8f5e2577cf0a01a4c8059ea88eb2a7a5bca7a337c17a689d76cce57bc533a09f7d1c67cf5eeee5f16c0ddcb289eef392ea550b9e5f058de961b53537411e1d9aad0ebac67ddd7c0f65863616832fbb3b3f172dd746791bc3443d78f306014773afd4e88b41332420cc2b5340a3187765ccab6e34efc2e23f165b47d75b200a567f9246808015930b78c813f4ec816ddeb8ca1365202baebef9653b5fdc18c33a604f6948d60a103aa4b66805c68c123b9e293351d47f5d8041f17630a99c7f96b6ec7531d738bdbcf6018ebf5ec309047102713a0b38d6524f4c281f0247c5a8d4c49f8c1e442b394bbb6952b3340069209f16c5d869e4655e344683ff67
k = 2d1c76a6aa0d1d47e13e5570debfc78a83eb9a8694c204e6aeaacd55bc23e7be
