# Imported from Wycheproof's mlkem_768_semi_expanded_decaps_test.json.
# This file is generated by convert_wycheproof.go. Do not edit by hand.
#
# Algorithm: ML-KEM
# Generator version: 

[parameterSet = ML-KEM-768]

# tcId = 1
# Valid decapsulation key and ciphertext
K = b4d29cd55bab43e16554b74b9098cdfce583996c968bcd2cfd1ad9455e351fbf
c = 1708d1877e99d8910d48df9625973d7954e187b29405a4ccad6d287becda31215debb762add5881cf7af0dc6deaac229e8716e64058785680ef96baf05a51ffcd7f969214f07ad69e3ea71ba334b3cf0aafb010f902df78a459a3311806c095141f341578ce44dc5b2068708f06df7632dfdee9c862ba2a46fe5d4cdf01a234998c43fad4d861ab3db4befab842f070413545ac1a46f9a144360954c73c4e7a5befe51c41e10600ec723a25f602888cb2834c6e2b9543863d1e8789d011608e139f1b6f88d59d74a5a73fe5748b500554db2dd232e6f8b12b0016a4bf6c795542a73408553d4fdecb1180cd4e7f0adfb3a882e17953eac46ba59798fc6bec1fd5c64d458b693427f8b878b5024d284244887a1901cb3f2aeff996fb9179cc141bd140d20cb8ad6f43849582fb80aabdfca969dbb75a5cc8f2a27b1b562dc52da9b4caa479bf0676718245eb0889ce3eec4e209b0de3ac318e080e3e78917e836161bc6a392f869b234fcf2ff74b6170cb4180816b476dc08f174a2502af1b02f027e28b562b336410868399fe3b16aa8119cebbcc3c82cbdbfb3048a2c16eabc27d685a37f8764e097958ea04bd89b085eac32fa292dd3887b3a51d5a79fa0e98922201a30d798b3701edd119515662d2ce03b9f95a527432c70594ff4763b52807b6f330c8371304ff31693a80265e3e746ac8a5b604671422f60652e794f3216adc6aaabd11e74eb48eb17f4e9dc32c5d7045b47fa107ce17457a21bceb57981b227456ff4b17c08a98c9e560a3883a20bbdc2a07d535c666b1ac85e23bfe7694ae185e25f1311ef9f52227f107d199258266189ed3010380e8ab8a2f819eff5e0063be138fd3e73299fb78bd61a6846322b9f76391dcf5eb8b7fb0950472174e0d95c4ee294a03c8901a4cf8716ebb1f86eec56f48daf5c0dc4a2b3e99fc9fc8c1fdd1dea4681aca7a3a769de0fe815d5729ce7f5c0e443d096570e8439ec69998878103546a469b10f5763dced2d68a6e801953d22b881d343bc755fc87e9b921984f9f5c588fe372816c82ef6193aae99f56ad6a498434058d3005cc70f9db222e3e61d5a1533f919f78130c653a5d77509657ce010b4327c3b10974ae7b7f60d7236ee00fe99e841b840c8d2fbaed2918e8c3cefdc8cb359790217335820c60e1ad80a79e3e7ce7298db9cb7b17337fe7f93b34d132af1e23e89a2bb142fbb72ad8209125edc610b89afef33e7f63d146f5e76abd6fc519ba662c34f16bd325fae403c35d0458d77035382e1a1980e12823c20363ddb5c776a4d9358f57ef287522cfa2f12092447e7aa91f09de74377b83db250506ff8d278e028c24abae0397e8b8394da66bdba138aea35a06a740b4d9879c5dea207faa3a1f5001fc6bc2a5b31d880338dc3c50e3a17f36de19e580c98cdfdddc0bd3bfd5b4331b8205a9b7c90fb0995573fc49f86d45a85cb105f79954844236acc7e72e9b42fbcffce53edb4fbd767eb8b4eda3a77d6b8036edd883189da227ecafeaea0d49a31
dk = 79aa9d810589b8e80bc0799bf1eb8b866a6b5c8bbf99881be0025eb98902d282b432bb5174bc4e566b6cf8dbca18ca9a5894c589331fb1361625977d1f9210e8db618fd1c12a999d3ed2907270761d8a88262c696e9c6b08b7950d9171e2409fceba0ce0e54776532a3750c6126728fa364df2118f6497b9a6a68694b99ce4715935a57e02ec2103dc64efa0cae986b6dc78a01fb712c549b795c14540e3a65efb6f77566835dcccb89449ca0b192909cc97fc33c995cad7694cdb819ed807afe32b182d5c45da0b1c26b73abaa3ba870cb73baaa86b1027a9d973df15b0d6cca7e1bc40cb017c571c709e8cad89c8b52db10afc164efa45029686746e8913b13ab234e4529303580f0653f80514f938951e1b964b769c13ab01373aad41d8ba0df3589b1338bde96e73e187b425310b48c9a6e948916703f116978ef9698b091307d9a7c8052cd6487d82720524b0b8ee5a8924d630feba52cd79c0f3973adc10b40f24695b57018a66acae33782bb2344afc877e8c81b8598d1835503e8a84a58c134336b3b7083407756053474456a43dd0b5c3e14aad8dba324e6c8e2aca55c566a4d62b7450e6bdb8a13c1a47c22b863b37d1c74b3999be70ca9b34677740b13d0469db433d71805a4c78686cb231bfc66868721335ea5fe787917f450d6a456f3fcac3b5e79c9fa68b4aa2b9b85c3509da787c31551565402802aceaf99bda268a1ca4435d1a9801380d8cabb45aa7204e5678de9c1b4293ab8435a90d60bda5c2c5b560cbfe19a0268ab1c29885c25c2e9f4354602464160017e5447a5c5407fb212faca62dbae54aed7b553ae22143e20e74b02b2612ccf3a45e23b43b16b8c5dd666bb1cc681d947ab3c80da0665ace802b74894a4f19617ce6827367666117a71b0c6d2d4561ad627521c9035b49a353d2c42dbc484ce833ddd1877d04b4174041d985b16c0c6a9193b35fa66d559a7bcfe28a17415f002c89fba47ee033085ce14241d825fc22486e804d07fa59fb41072c64b73d9b8d3d3a81cce787bcb05b893b36c6d38f211996e2fcbeef29af07cc1b54f7c829a4cbdbf07390d31ef3a25870486e97b15454386a5ae712bbf3ada33622001748c2211b73e580e0677d5d7aab732c0c570a7083b6aa19a51f87030253689d6ada6f374370938c5fd78c0f10d74c3563757f4a7ba29193ce2a472e4205c9272f7ad7bb83dcbaf120a156194f798cb080429971c6728f127f8a089cde945a1a3111c9a27784d87384513931934a224595657268ed875d820917bc42b2d70749b270532a2294167cc4ac8ba83302a08b67167b3284d456aa0937385968cd4eb96b4ae79f54db1e5194915ed03d307c25dcd00595f710272519c8636a6f883cb6599e23da1f45f41e853684b1dc72cdf430fd1308535577ae3a7e84054e517160842635a0699ebf2970305c39bad1cb338164f5b1239837a389998a459b9290c11d54b8448596721386b7dd190b4a24a7f9b97eb9c7188f57008043754c4883f2e42e9e6c579442152e500c9480a1d9bcc0773b0fffd484c9078d46c30dfc74b8a7a17f799a1ea38554298ca224a0c4e976161fe7115ab55add0cbabaf0361fa355ca39001f3104254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e6707f81a8b0e266a3ee92d3a63cdae5cff921905544c9dd797a849e1d054180eca0000000000000000000000000000000000000000000000000000000000000000
ek = 254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e67
result = valid

# tcId = 2
# Ciphertext too short (1087 bytes instead of 1088)
c = 1708d1877e99d8910d48df9625973d7954e187b29405a4ccad6d287becda31215debb762add5881cf7af0dc6deaac229e8716e64058785680ef96baf05a51ffcd7f969214f07ad69e3ea71ba334b3cf0aafb010f902df78a459a3311806c095141f341578ce44dc5b2068708f06df7632dfdee9c862ba2a46fe5d4cdf01a234998c43fad4d861ab3db4befab842f070413545ac1a46f9a144360954c73c4e7a5befe51c41e10600ec723a25f602888cb2834c6e2b9543863d1e8789d011608e139f1b6f88d59d74a5a73fe5748b500554db2dd232e6f8b12b0016a4bf6c795542a73408553d4fdecb1180cd4e7f0adfb3a882e17953eac46ba59798fc6bec1fd5c64d458b693427f8b878b5024d284244887a1901cb3f2aeff996fb9179cc141bd140d20cb8ad6f43849582fb80aabdfca969dbb75a5cc8f2a27b1b562dc52da9b4caa479bf0676718245eb0889ce3eec4e209b0de3ac318e080e3e78917e836161bc6a392f869b234fcf2ff74b6170cb4180816b476dc08f174a2502af1b02f027e28b562b336410868399fe3b16aa8119cebbcc3c82cbdbfb3048a2c16eabc27d685a37f8764e097958ea04bd89b085eac32fa292dd3887b3a51d5a79fa0e98922201a30d798b3701edd119515662d2ce03b9f95a527432c70594ff4763b52807b6f330c8371304ff31693a80265e3e746ac8a5b604671422f60652e794f3216adc6aaabd11e74eb48eb17f4e9dc32c5d7045b47fa107ce17457a21bceb57981b227456ff4b17c08a98c9e560a3883a20bbdc2a07d535c666b1ac85e23bfe7694ae185e25f1311ef9f52227f107d199258266189ed3010380e8ab8a2f819eff5e0063be138fd3e73299fb78bd61a6846322b9f76391dcf5eb8b7fb0950472174e0d95c4ee294a03c8901a4cf8716ebb1f86eec56f48daf5c0dc4a2b3e99fc9fc8c1fdd1dea4681aca7a3a769de0fe815d5729ce7f5c0e443d096570e8439ec69998878103546a469b10f5763dced2d68a6e801953d22b881d343bc755fc87e9b921984f9f5c588fe372816c82ef6193aae99f56ad6a498434058d3005cc70f9db222e3e61d5a1533f919f78130c653a5d77509657ce010b4327c3b10974ae7b7f60d7236ee00fe99e841b840c8d2fbaed2918e8c3cefdc8cb359790217335820c60e1ad80a79e3e7ce7298db9cb7b17337fe7f93b34d132af1e23e89a2bb142fbb72ad8209125edc610b89afef33e7f63d146f5e76abd6fc519ba662c34f16bd325fae403c35d0458d77035382e1a1980e12823c20363ddb5c776a4d9358f57ef287522cfa2f12092447e7aa91f09de74377b83db250506ff8d278e028c24abae0397e8b8394da66bdba138aea35a06a740b4d9879c5dea207faa3a1f5001fc6bc2a5b31d880338dc3c50e3a17f36de19e580c98cdfdddc0bd3bfd5b4331b8205a9b7c90fb0995573fc49f86d45a85cb105f79954844236acc7e72e9b42fbcffce53edb4fbd767eb8b4eda3a77d6b8036edd883189da227ecafeaea0d49a
dk = 79aa9d810589b8e80bc0799bf1eb8b866a6b5c8bbf99881be0025eb98902d282b432bb5174bc4e566b6cf8dbca18ca9a5894c589331fb1361625977d1f9210e8db618fd1c12a999d3ed2907270761d8a88262c696e9c6b08b7950d9171e2409fceba0ce0e54776532a3750c6126728fa364df2118f6497b9a6a68694b99ce4715935a57e02ec2103dc64efa0cae986b6dc78a01fb712c549b795c14540e3a65efb6f77566835dcccb89449ca0b192909cc97fc33c995cad7694cdb819ed807afe32b182d5c45da0b1c26b73abaa3ba870cb73baaa86b1027a9d973df15b0d6cca7e1bc40cb017c571c709e8cad89c8b52db10afc164efa45029686746e8913b13ab234e4529303580f0653f80514f938951e1b964b769c13ab01373aad41d8ba0df3589b1338bde96e73e187b425310b48c9a6e948916703f116978ef9698b091307d9a7c8052cd6487d82720524b0b8ee5a8924d630feba52cd79c0f3973adc10b40f24695b57018a66acae33782bb2344afc877e8c81b8598d1835503e8a84a58c134336b3b7083407756053474456a43dd0b5c3e14aad8dba324e6c8e2aca55c566a4d62b7450e6bdb8a13c1a47c22b863b37d1c74b3999be70ca9b34677740b13d0469db433d71805a4c78686cb231bfc66868721335ea5fe787917f450d6a456f3fcac3b5e79c9fa68b4aa2b9b85c3509da787c31551565402802aceaf99bda268a1ca4435d1a9801380d8cabb45aa7204e5678de9c1b4293ab8435a90d60bda5c2c5b560cbfe19a0268ab1c29885c25c2e9f4354602464160017e5447a5c5407fb212faca62dbae54aed7b553ae22143e20e74b02b2612ccf3a45e23b43b16b8c5dd666bb1cc681d947ab3c80da0665ace802b74894a4f19617ce6827367666117a71b0c6d2d4561ad627521c9035b49a353d2c42dbc484ce833ddd1877d04b4174041d985b16c0c6a9193b35fa66d559a7bcfe28a17415f002c89fba47ee033085ce14241d825fc22486e804d07fa59fb41072c64b73d9b8d3d3a81cce787bcb05b893b36c6d38f211996e2fcbeef29af07cc1b54f7c829a4cbdbf07390d31ef3a25870486e97b15454386a5ae712bbf3ada33622001748c2211b73e580e0677d5d7aab732c0c570a7083b6aa19a51f87030253689d6ada6f374370938c5fd78c0f10d74c3563757f4a7ba29193ce2a472e4205c9272f7ad7bb83dcbaf120a156194f798cb080429971c6728f127f8a089cde945a1a3111c9a27784d87384513931934a224595657268ed875d820917bc42b2d70749b270532a2294167cc4ac8ba83302a08b67167b3284d456aa0937385968cd4eb96b4ae79f54db1e5194915ed03d307c25dcd00595f710272519c8636a6f883cb6599e23da1f45f41e853684b1dc72cdf430fd1308535577ae3a7e84054e517160842635a0699ebf2970305c39bad1cb338164f5b1239837a389998a459b9290c11d54b8448596721386b7dd190b4a24a7f9b97eb9c7188f57008043754c4883f2e42e9e6c579442152e500c9480a1d9bcc0773b0fffd484c9078d46c30dfc74b8a7a17f799a1ea38554298ca224a0c4e976161fe7115ab55add0cbabaf0361fa355ca39001f3104254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e6707f81a8b0e266a3ee92d3a63cdae5cff921905544c9dd797a849e1d054180eca0000000000000000000000000000000000000000000000000000000000000000
ek = 254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e67
result = invalid
flags = IncorrectCiphertextLength

# tcId = 3
# Ciphertext too long (1089 bytes instead of 1088)
c = 1708d1877e99d8910d48df9625973d7954e187b29405a4ccad6d287becda31215debb762add5881cf7af0dc6deaac229e8716e64058785680ef96baf05a51ffcd7f969214f07ad69e3ea71ba334b3cf0aafb010f902df78a459a3311806c095141f341578ce44dc5b2068708f06df7632dfdee9c862ba2a46fe5d4cdf01a234998c43fad4d861ab3db4befab842f070413545ac1a46f9a144360954c73c4e7a5befe51c41e10600ec723a25f602888cb2834c6e2b9543863d1e8789d011608e139f1b6f88d59d74a5a73fe5748b500554db2dd232e6f8b12b0016a4bf6c795542a73408553d4fdecb1180cd4e7f0adfb3a882e17953eac46ba59798fc6bec1fd5c64d458b693427f8b878b5024d284244887a1901cb3f2aeff996fb9179cc141bd140d20cb8ad6f43849582fb80aabdfca969dbb75a5cc8f2a27b1b562dc52da9b4caa479bf0676718245eb0889ce3eec4e209b0de3ac318e080e3e78917e836161bc6a392f869b234fcf2ff74b6170cb4180816b476dc08f174a2502af1b02f027e28b562b336410868399fe3b16aa8119cebbcc3c82cbdbfb3048a2c16eabc27d685a37f8764e097958ea04bd89b085eac32fa292dd3887b3a51d5a79fa0e98922201a30d798b3701edd119515662d2ce03b9f95a527432c70594ff4763b52807b6f330c8371304ff31693a80265e3e746ac8a5b604671422f60652e794f3216adc6aaabd11e74eb48eb17f4e9dc32c5d7045b47fa107ce17457a21bceb57981b227456ff4b17c08a98c9e560a3883a20bbdc2a07d535c666b1ac85e23bfe7694ae185e25f1311ef9f52227f107d199258266189ed3010380e8ab8a2f819eff5e0063be138fd3e73299fb78bd61a6846322b9f76391dcf5eb8b7fb0950472174e0d95c4ee294a03c8901a4cf8716ebb1f86eec56f48daf5c0dc4a2b3e99fc9fc8c1fdd1dea4681aca7a3a769de0fe815d5729ce7f5c0e443d096570e8439ec69998878103546a469b10f5763dced2d68a6e801953d22b881d343bc755fc87e9b921984f9f5c588fe372816c82ef6193aae99f56ad6a498434058d3005cc70f9db222e3e61d5a1533f919f78130c653a5d77509657ce010b4327c3b10974ae7b7f60d7236ee00fe99e841b840c8d2fbaed2918e8c3cefdc8cb359790217335820c60e1ad80a79e3e7ce7298db9cb7b17337fe7f93b34d132af1e23e89a2bb142fbb72ad8209125edc610b89afef33e7f63d146f5e76abd6fc519ba662c34f16bd325fae403c35d0458d77035382e1a1980e12823c20363ddb5c776a4d9358f57ef287522cfa2f12092447e7aa91f09de74377b83db250506ff8d278e028c24abae0397e8b8394da66bdba138aea35a06a740b4d9879c5dea207faa3a1f5001fc6bc2a5b31d880338dc3c50e3a17f36de19e580c98cdfdddc0bd3bfd5b4331b8205a9b7c90fb0995573fc49f86d45a85cb105f79954844236acc7e72e9b42fbcffce53edb4fbd767eb8b4eda3a77d6b8036edd883189da227ecafeaea0d49a3100
dk = 79aa9d810589b8e80bc0799bf1eb8b866a6b5c8bbf99881be0025eb98902d282b432bb5174bc4e566b6cf8dbca18ca9a5894c589331fb1361625977d1f9210e8db618fd1c12a999d3ed2907270761d8a88262c696e9c6b08b7950d9171e2409fceba0ce0e54776532a3750c6126728fa364df2118f6497b9a6a68694b99ce4715935a57e02ec2103dc64efa0cae986b6dc78a01fb712c549b795c14540e3a65efb6f77566835dcccb89449ca0b192909cc97fc33c995cad7694cdb819ed807afe32b182d5c45da0b1c26b73abaa3ba870cb73baaa86b1027a9d973df15b0d6cca7e1bc40cb017c571c709e8cad89c8b52db10afc164efa45029686746e8913b13ab234e4529303580f0653f80514f938951e1b964b769c13ab01373aad41d8ba0df3589b1338bde96e73e187b425310b48c9a6e948916703f116978ef9698b091307d9a7c8052cd6487d82720524b0b8ee5a8924d630feba52cd79c0f3973adc10b40f24695b57018a66acae33782bb2344afc877e8c81b8598d1835503e8a84a58c134336b3b7083407756053474456a43dd0b5c3e14aad8dba324e6c8e2aca55c566a4d62b7450e6bdb8a13c1a47c22b863b37d1c74b3999be70ca9b34677740b13d0469db433d71805a4c78686cb231bfc66868721335ea5fe787917f450d6a456f3fcac3b5e79c9fa68b4aa2b9b85c3509da787c31551565402802aceaf99bda268a1ca4435d1a9801380d8cabb45aa7204e5678de9c1b4293ab8435a90d60bda5c2c5b560cbfe19a0268ab1c29885c25c2e9f4354602464160017e5447a5c5407fb212faca62dbae54aed7b553ae22143e20e74b02b2612ccf3a45e23b43b16b8c5dd666bb1cc681d947ab3c80da0665ace802b74894a4f19617ce6827367666117a71b0c6d2d4561ad627521c9035b49a353d2c42dbc484ce833ddd1877d04b4174041d985b16c0c6a9193b35fa66d559a7bcfe28a17415f002c89fba47ee033085ce14241d825fc22486e804d07fa59fb41072c64b73d9b8d3d3a81cce787bcb05b893b36c6d38f211996e2fcbeef29af07cc1b54f7c829a4cbdbf07390d31ef3a25870486e97b15454386a5ae712bbf3ada33622001748c2211b73e580e0677d5d7aab732c0c570a7083b6aa19a51f87030253689d6ada6f374370938c5fd78c0f10d74c3563757f4a7ba29193ce2a472e4205c9272f7ad7bb83dcbaf120a156194f798cb080429971c6728f127f8a089cde945a1a3111c9a27784d87384513931934a224595657268ed875d820917bc42b2d70749b270532a2294167cc4ac8ba83302a08b67167b3284d456aa0937385968cd4eb96b4ae79f54db1e5194915ed03d307c25dcd00595f710272519c8636a6f883cb6599e23da1f45f41e853684b1dc72cdf430fd1308535577ae3a7e84054e517160842635a0699ebf2970305c39bad1cb338164f5b1239837a389998a459b9290c11d54b8448596721386b7dd190b4a24a7f9b97eb9c7188f57008043754c4883f2e42e9e6c579442152e500c9480a1d9bcc0773b0fffd484c9078d46c30dfc74b8a7a17f799a1ea38554298ca224a0c4e976161fe7115ab55add0cbabaf0361fa355ca39001f3104254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e6707f81a8b0e266a3ee92d3a63cdae5cff921905544c9dd797a849e1d054180eca0000000000000000000000000000000000000000000000000000000000000000
ek = 254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e67
result = invalid
flags = IncorrectCiphertextLength

# tcId = 4
# Decapsulation key too short (2399 bytes instead of 2400)
c = 1708d1877e99d8910d48df9625973d7954e187b29405a4ccad6d287becda31215debb762add5881cf7af0dc6deaac229e8716e64058785680ef96baf05a51ffcd7f969214f07ad69e3ea71ba334b3cf0aafb010f902df78a459a3311806c095141f341578ce44dc5b2068708f06df7632dfdee9c862ba2a46fe5d4cdf01a234998c43fad4d861ab3db4befab842f070413545ac1a46f9a144360954c73c4e7a5befe51c41e10600ec723a25f602888cb2834c6e2b9543863d1e8789d011608e139f1b6f88d59d74a5a73fe5748b500554db2dd232e6f8b12b0016a4bf6c795542a73408553d4fdecb1180cd4e7f0adfb3a882e17953eac46ba59798fc6bec1fd5c64d458b693427f8b878b5024d284244887a1901cb3f2aeff996fb9179cc141bd140d20cb8ad6f43849582fb80aabdfca969dbb75a5cc8f2a27b1b562dc52da9b4caa479bf0676718245eb0889ce3eec4e209b0de3ac318e080e3e78917e836161bc6a392f869b234fcf2ff74b6170cb4180816b476dc08f174a2502af1b02f027e28b562b336410868399fe3b16aa8119cebbcc3c82cbdbfb3048a2c16eabc27d685a37f8764e097958ea04bd89b085eac32fa292dd3887b3a51d5a79fa0e98922201a30d798b3701edd119515662d2ce03b9f95a527432c70594ff4763b52807b6f330c8371304ff31693a80265e3e746ac8a5b604671422f60652e794f3216adc6aaabd11e74eb48eb17f4e9dc32c5d7045b47fa107ce17457a21bceb57981b227456ff4b17c08a98c9e560a3883a20bbdc2a07d535c666b1ac85e23bfe7694ae185e25f1311ef9f52227f107d199258266189ed3010380e8ab8a2f819eff5e0063be138fd3e73299fb78bd61a6846322b9f76391dcf5eb8b7fb0950472174e0d95c4ee294a03c8901a4cf8716ebb1f86eec56f48daf5c0dc4a2b3e99fc9fc8c1fdd1dea4681aca7a3a769de0fe815d5729ce7f5c0e443d096570e8439ec69998878103546a469b10f5763dced2d68a6e801953d22b881d343bc755fc87e9b921984f9f5c588fe372816c82ef6193aae99f56ad6a498434058d3005cc70f9db222e3e61d5a1533f919f78130c653a5d77509657ce010b4327c3b10974ae7b7f60d7236ee00fe99e841b840c8d2fbaed2918e8c3cefdc8cb359790217335820c60e1ad80a79e3e7ce7298db9cb7b17337fe7f93b34d132af1e23e89a2bb142fbb72ad8209125edc610b89afef33e7f63d146f5e76abd6fc519ba662c34f16bd325fae403c35d0458d77035382e1a1980e12823c20363ddb5c776a4d9358f57ef287522cfa2f12092447e7aa91f09de74377b83db250506ff8d278e028c24abae0397e8b8394da66bdba138aea35a06a740b4d9879c5dea207faa3a1f5001fc6bc2a5b31d880338dc3c50e3a17f36de19e580c98cdfdddc0bd3bfd5b4331b8205a9b7c90fb0995573fc49f86d45a85cb105f79954844236acc7e72e9b42fbcffce53edb4fbd767eb8b4eda3a77d6b8036edd883189da227ecafeaea0d49a31
dk = 79aa9d810589b8e80bc0799bf1eb8b866a6b5c8bbf99881be0025eb98902d282b432bb5174bc4e566b6cf8dbca18ca9a5894c589331fb1361625977d1f9210e8db618fd1c12a999d3ed2907270761d8a88262c696e9c6b08b7950d9171e2409fceba0ce0e54776532a3750c6126728fa364df2118f6497b9a6a68694b99ce4715935a57e02ec2103dc64efa0cae986b6dc78a01fb712c549b795c14540e3a65efb6f77566835dcccb89449ca0b192909cc97fc33c995cad7694cdb819ed807afe32b182d5c45da0b1c26b73abaa3ba870cb73baaa86b1027a9d973df15b0d6cca7e1bc40cb017c571c709e8cad89c8b52db10afc164efa45029686746e8913b13ab234e4529303580f0653f80514f938951e1b964b769c13ab01373aad41d8ba0df3589b1338bde96e73e187b425310b48c9a6e948916703f116978ef9698b091307d9a7c8052cd6487d82720524b0b8ee5a8924d630feba52cd79c0f3973adc10b40f24695b57018a66acae33782bb2344afc877e8c81b8598d1835503e8a84a58c134336b3b7083407756053474456a43dd0b5c3e14aad8dba324e6c8e2aca55c566a4d62b7450e6bdb8a13c1a47c22b863b37d1c74b3999be70ca9b34677740b13d0469db433d71805a4c78686cb231bfc66868721335ea5fe787917f450d6a456f3fcac3b5e79c9fa68b4aa2b9b85c3509da787c31551565402802aceaf99bda268a1ca4435d1a9801380d8cabb45aa7204e5678de9c1b4293ab8435a90d60bda5c2c5b560cbfe19a0268ab1c29885c25c2e9f4354602464160017e5447a5c5407fb212faca62dbae54aed7b553ae22143e20e74b02b2612ccf3a45e23b43b16b8c5dd666bb1cc681d947ab3c80da0665ace802b74894a4f19617ce6827367666117a71b0c6d2d4561ad627521c9035b49a353d2c42dbc484ce833ddd1877d04b4174041d985b16c0c6a9193b35fa66d559a7bcfe28a17415f002c89fba47ee033085ce14241d825fc22486e804d07fa59fb41072c64b73d9b8d3d3a81cce787bcb05b893b36c6d38f211996e2fcbeef29af07cc1b54f7c829a4cbdbf07390d31ef3a25870486e97b15454386a5ae712bbf3ada33622001748c2211b73e580e0677d5d7aab732c0c570a7083b6aa19a51f87030253689d6ada6f374370938c5fd78c0f10d74c3563757f4a7ba29193ce2a472e4205c9272f7ad7bb83dcbaf120a156194f798cb080429971c6728f127f8a089cde945a1a3111c9a27784d87384513931934a224595657268ed875d820917bc42b2d70749b270532a2294167cc4ac8ba83302a08b67167b3284d456aa0937385968cd4eb96b4ae79f54db1e5194915ed03d307c25dcd00595f710272519c8636a6f883cb6599e23da1f45f41e853684b1dc72cdf430fd1308535577ae3a7e84054e517160842635a0699ebf2970305c39bad1cb338164f5b1239837a389998a459b9290c11d54b8448596721386b7dd190b4a24a7f9b97eb9c7188f57008043754c4883f2e42e9e6c579442152e500c9480a1d9bcc0773b0fffd484c9078d46c30dfc74b8a7a17f799a1ea38554298ca224a0c4e976161fe7115ab55add0cbabaf0361fa355ca39001f3104254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e6707f81a8b0e266a3ee92d3a63cdae5cff921905544c9dd797a849e1d054180eca00000000000000000000000000000000000000000000000000000000000000
ek = 254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e67
result = invalid
flags = IncorrectDecapsulationKeyLength

# tcId = 5
# Decapsulation key too long (2401 bytes instead of 2400)
c = 1708d1877e99d8910d48df9625973d7954e187b29405a4ccad6d287becda31215debb762add5881cf7af0dc6deaac229e8716e64058785680ef96baf05a51ffcd7f969214f07ad69e3ea71ba334b3cf0aafb010f902df78a459a3311806c095141f341578ce44dc5b2068708f06df7632dfdee9c862ba2a46fe5d4cdf01a234998c43fad4d861ab3db4befab842f070413545ac1a46f9a144360954c73c4e7a5befe51c41e10600ec723a25f602888cb2834c6e2b9543863d1e8789d011608e139f1b6f88d59d74a5a73fe5748b500554db2dd232e6f8b12b0016a4bf6c795542a73408553d4fdecb1180cd4e7f0adfb3a882e17953eac46ba59798fc6bec1fd5c64d458b693427f8b878b5024d284244887a1901cb3f2aeff996fb9179cc141bd140d20cb8ad6f43849582fb80aabdfca969dbb75a5cc8f2a27b1b562dc52da9b4caa479bf0676718245eb0889ce3eec4e209b0de3ac318e080e3e78917e836161bc6a392f869b234fcf2ff74b6170cb4180816b476dc08f174a2502af1b02f027e28b562b336410868399fe3b16aa8119cebbcc3c82cbdbfb3048a2c16eabc27d685a37f8764e097958ea04bd89b085eac32fa292dd3887b3a51d5a79fa0e98922201a30d798b3701edd119515662d2ce03b9f95a527432c70594ff4763b52807b6f330c8371304ff31693a80265e3e746ac8a5b604671422f60652e794f3216adc6aaabd11e74eb48eb17f4e9dc32c5d7045b47fa107ce17457a21bceb57981b227456ff4b17c08a98c9e560a3883a20bbdc2a07d535c666b1ac85e23bfe7694ae185e25f1311ef9f52227f107d199258266189ed3010380e8ab8a2f819eff5e0063be138fd3e73299fb78bd61a6846322b9f76391dcf5eb8b7fb0950472174e0d95c4ee294a03c8901a4cf8716ebb1f86eec56f48daf5c0dc4a2b3e99fc9fc8c1fdd1dea4681aca7a3a769de0fe815d5729ce7f5c0e443d096570e8439ec69998878103546a469b10f5763dced2d68a6e801953d22b881d343bc755fc87e9b921984f9f5c588fe372816c82ef6193aae99f56ad6a498434058d3005cc70f9db222e3e61d5a1533f919f78130c653a5d77509657ce010b4327c3b10974ae7b7f60d7236ee00fe99e841b840c8d2fbaed2918e8c3cefdc8cb359790217335820c60e1ad80a79e3e7ce7298db9cb7b17337fe7f93b34d132af1e23e89a2bb142fbb72ad8209125edc610b89afef33e7f63d146f5e76abd6fc519ba662c34f16bd325fae403c35d0458d77035382e1a1980e12823c20363ddb5c776a4d9358f57ef287522cfa2f12092447e7aa91f09de74377b83db250506ff8d278e028c24abae0397e8b8394da66bdba138aea35a06a740b4d9879c5dea207faa3a1f5001fc6bc2a5b31d880338dc3c50e3a17f36de19e580c98cdfdddc0bd3bfd5b4331b8205a9b7c90fb0995573fc49f86d45a85cb105f79954844236acc7e72e9b42fbcffce53edb4fbd767eb8b4eda3a77d6b8036edd883189da227ecafeaea0d49a31
dk = 79aa9d810589b8e80bc0799bf1eb8b866a6b5c8bbf99881be0025eb98902d282b432bb5174bc4e566b6cf8dbca18ca9a5894c589331fb1361625977d1f9210e8db618fd1c12a999d3ed2907270761d8a88262c696e9c6b08b7950d9171e2409fceba0ce0e54776532a3750c6126728fa364df2118f6497b9a6a68694b99ce4715935a57e02ec2103dc64efa0cae986b6dc78a01fb712c549b795c14540e3a65efb6f77566835dcccb89449ca0b192909cc97fc33c995cad7694cdb819ed807afe32b182d5c45da0b1c26b73abaa3ba870cb73baaa86b1027a9d973df15b0d6cca7e1bc40cb017c571c709e8cad89c8b52db10afc164efa45029686746e8913b13ab234e4529303580f0653f80514f938951e1b964b769c13ab01373aad41d8ba0df3589b1338bde96e73e187b425310b48c9a6e948916703f116978ef9698b091307d9a7c8052cd6487d82720524b0b8ee5a8924d630feba52cd79c0f3973adc10b40f24695b57018a66acae33782bb2344afc877e8c81b8598d1835503e8a84a58c134336b3b7083407756053474456a43dd0b5c3e14aad8dba324e6c8e2aca55c566a4d62b7450e6bdb8a13c1a47c22b863b37d1c74b3999be70ca9b34677740b13d0469db433d71805a4c78686cb231bfc66868721335ea5fe787917f450d6a456f3fcac3b5e79c9fa68b4aa2b9b85c3509da787c31551565402802aceaf99bda268a1ca4435d1a9801380d8cabb45aa7204e5678de9c1b4293ab8435a90d60bda5c2c5b560cbfe19a0268ab1c29885c25c2e9f4354602464160017e5447a5c5407fb212faca62dbae54aed7b553ae22143e20e74b02b2612ccf3a45e23b43b16b8c5dd666bb1cc681d947ab3c80da0665ace802b74894a4f19617ce6827367666117a71b0c6d2d4561ad627521c9035b49a353d2c42dbc484ce833ddd1877d04b4174041d985b16c0c6a9193b35fa66d559a7bcfe28a17415f002c89fba47ee033085ce14241d825fc22486e804d07fa59fb41072c64b73d9b8d3d3a81cce787bcb05b893b36c6d38f211996e2fcbeef29af07cc1b54f7c829a4cbdbf07390d31ef3a25870486e97b15454386a5ae712bbf3ada33622001748c2211b73e580e0677d5d7aab732c0c570a7083b6aa19a51f87030253689d6ada6f374370938c5fd78c0f10d74c3563757f4a7ba29193ce2a472e4205c9272f7ad7bb83dcbaf120a156194f798cb080429971c6728f127f8a089cde945a1a3111c9a27784d87384513931934a224595657268ed875d820917bc42b2d70749b270532a2294167cc4ac8ba83302a08b67167b3284d456aa0937385968cd4eb96b4ae79f54db1e5194915ed03d307c25dcd00595f710272519c8636a6f883cb6599e23da1f45f41e853684b1dc72cdf430fd1308535577ae3a7e84054e517160842635a0699ebf2970305c39bad1cb338164f5b1239837a389998a459b9290c11d54b8448596721386b7dd190b4a24a7f9b97eb9c7188f57008043754c4883f2e42e9e6c579442152e500c9480a1d9bcc0773b0fffd484c9078d46c30dfc74b8a7a17f799a1ea38554298ca224a0c4e976161fe7115ab55add0cbabaf0361fa355ca39001f3104254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e6707f81a8b0e266a3ee92d3a63cdae5cff921905544c9dd797a849e1d054180eca000000000000000000000000000000000000000000000000000000000000000000
ek = 254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e67
result = invalid
flags = IncorrectDecapsulationKeyLength

# tcId = 6
# Decapsulation key with corrupted hash
c = 1708d1877e99d8910d48df9625973d7954e187b29405a4ccad6d287becda31215debb762add5881cf7af0dc6deaac229e8716e64058785680ef96baf05a51ffcd7f969214f07ad69e3ea71ba334b3cf0aafb010f902df78a459a3311806c095141f341578ce44dc5b2068708f06df7632dfdee9c862ba2a46fe5d4cdf01a234998c43fad4d861ab3db4befab842f070413545ac1a46f9a144360954c73c4e7a5befe51c41e10600ec723a25f602888cb2834c6e2b9543863d1e8789d011608e139f1b6f88d59d74a5a73fe5748b500554db2dd232e6f8b12b0016a4bf6c795542a73408553d4fdecb1180cd4e7f0adfb3a882e17953eac46ba59798fc6bec1fd5c64d458b693427f8b878b5024d284244887a1901cb3f2aeff996fb9179cc141bd140d20cb8ad6f43849582fb80aabdfca969dbb75a5cc8f2a27b1b562dc52da9b4caa479bf0676718245eb0889ce3eec4e209b0de3ac318e080e3e78917e836161bc6a392f869b234fcf2ff74b6170cb4180816b476dc08f174a2502af1b02f027e28b562b336410868399fe3b16aa8119cebbcc3c82cbdbfb3048a2c16eabc27d685a37f8764e097958ea04bd89b085eac32fa292dd3887b3a51d5a79fa0e98922201a30d798b3701edd119515662d2ce03b9f95a527432c70594ff4763b52807b6f330c8371304ff31693a80265e3e746ac8a5b604671422f60652e794f3216adc6aaabd11e74eb48eb17f4e9dc32c5d7045b47fa107ce17457a21bceb57981b227456ff4b17c08a98c9e560a3883a20bbdc2a07d535c666b1ac85e23bfe7694ae185e25f1311ef9f52227f107d199258266189ed3010380e8ab8a2f819eff5e0063be138fd3e73299fb78bd61a6846322b9f76391dcf5eb8b7fb0950472174e0d95c4ee294a03c8901a4cf8716ebb1f86eec56f48daf5c0dc4a2b3e99fc9fc8c1fdd1dea4681aca7a3a769de0fe815d5729ce7f5c0e443d096570e8439ec69998878103546a469b10f5763dced2d68a6e801953d22b881d343bc755fc87e9b921984f9f5c588fe372816c82ef6193aae99f56ad6a498434058d3005cc70f9db222e3e61d5a1533f919f78130c653a5d77509657ce010b4327c3b10974ae7b7f60d7236ee00fe99e841b840c8d2fbaed2918e8c3cefdc8cb359790217335820c60e1ad80a79e3e7ce7298db9cb7b17337fe7f93b34d132af1e23e89a2bb142fbb72ad8209125edc610b89afef33e7f63d146f5e76abd6fc519ba662c34f16bd325fae403c35d0458d77035382e1a1980e12823c20363ddb5c776a4d9358f57ef287522cfa2f12092447e7aa91f09de74377b83db250506ff8d278e028c24abae0397e8b8394da66bdba138aea35a06a740b4d9879c5dea207faa3a1f5001fc6bc2a5b31d880338dc3c50e3a17f36de19e580c98cdfdddc0bd3bfd5b4331b8205a9b7c90fb0995573fc49f86d45a85cb105f79954844236acc7e72e9b42fbcffce53edb4fbd767eb8b4eda3a77d6b8036edd883189da227ecafeaea0d49a31
dk = 79aa9d810589b8e80bc0799bf1eb8b866a6b5c8bbf99881be0025eb98902d282b432bb5174bc4e566b6cf8dbca18ca9a5894c589331fb1361625977d1f9210e8db618fd1c12a999d3ed2907270761d8a88262c696e9c6b08b7950d9171e2409fceba0ce0e54776532a3750c6126728fa364df2118f6497b9a6a68694b99ce4715935a57e02ec2103dc64efa0cae986b6dc78a01fb712c549b795c14540e3a65efb6f77566835dcccb89449ca0b192909cc97fc33c995cad7694cdb819ed807afe32b182d5c45da0b1c26b73abaa3ba870cb73baaa86b1027a9d973df15b0d6cca7e1bc40cb017c571c709e8cad89c8b52db10afc164efa45029686746e8913b13ab234e4529303580f0653f80514f938951e1b964b769c13ab01373aad41d8ba0df3589b1338bde96e73e187b425310b48c9a6e948916703f116978ef9698b091307d9a7c8052cd6487d82720524b0b8ee5a8924d630feba52cd79c0f3973adc10b40f24695b57018a66acae33782bb2344afc877e8c81b8598d1835503e8a84a58c134336b3b7083407756053474456a43dd0b5c3e14aad8dba324e6c8e2aca55c566a4d62b7450e6bdb8a13c1a47c22b863b37d1c74b3999be70ca9b34677740b13d0469db433d71805a4c78686cb231bfc66868721335ea5fe787917f450d6a456f3fcac3b5e79c9fa68b4aa2b9b85c3509da787c31551565402802aceaf99bda268a1ca4435d1a9801380d8cabb45aa7204e5678de9c1b4293ab8435a90d60bda5c2c5b560cbfe19a0268ab1c29885c25c2e9f4354602464160017e5447a5c5407fb212faca62dbae54aed7b553ae22143e20e74b02b2612ccf3a45e23b43b16b8c5dd666bb1cc681d947ab3c80da0665ace802b74894a4f19617ce6827367666117a71b0c6d2d4561ad627521c9035b49a353d2c42dbc484ce833ddd1877d04b4174041d985b16c0c6a9193b35fa66d559a7bcfe28a17415f002c89fba47ee033085ce14241d825fc22486e804d07fa59fb41072c64b73d9b8d3d3a81cce787bcb05b893b36c6d38f211996e2fcbeef29af07cc1b54f7c829a4cbdbf07390d31ef3a25870486e97b15454386a5ae712bbf3ada33622001748c2211b73e580e0677d5d7aab732c0c570a7083b6aa19a51f87030253689d6ada6f374370938c5fd78c0f10d74c3563757f4a7ba29193ce2a472e4205c9272f7ad7bb83dcbaf120a156194f798cb080429971c6728f127f8a089cde945a1a3111c9a27784d87384513931934a224595657268ed875d820917bc42b2d70749b270532a2294167cc4ac8ba83302a08b67167b3284d456aa0937385968cd4eb96b4ae79f54db1e5194915ed03d307c25dcd00595f710272519c8636a6f883cb6599e23da1f45f41e853684b1dc72cdf430fd1308535577ae3a7e84054e517160842635a0699ebf2970305c39bad1cb338164f5b1239837a389998a459b9290c11d54b8448596721386b7dd190b4a24a7f9b97eb9c7188f57008043754c4883f2e42e9e6c579442152e500c9480a1d9bcc0773b0fffd484c9078d46c30dfc74b8a7a17f799a1ea38554298ca224a0c4e976161fe7115ab55add0cbabaf0361fa355ca39001f3104254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e6706f81a8b0e266a3ee92d3a63cdae5cff921905544c9dd797a849e1d054180eca0000000000000000000000000000000000000000000000000000000000000000
ek = 254a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e67
result = invalid
flags = InvalidDecapsulationKey

# tcId = 7
# Decapsulation key with corrupted embedded encapsulation key
c = 1708d1877e99d8910d48df9625973d7954e187b29405a4ccad6d287becda31215debb762add5881cf7af0dc6deaac229e8716e64058785680ef96baf05a51ffcd7f969214f07ad69e3ea71ba334b3cf0aafb010f902df78a459a3311806c095141f341578ce44dc5b2068708f06df7632dfdee9c862ba2a46fe5d4cdf01a234998c43fad4d861ab3db4befab842f070413545ac1a46f9a144360954c73c4e7a5befe51c41e10600ec723a25f602888cb2834c6e2b9543863d1e8789d011608e139f1b6f88d59d74a5a73fe5748b500554db2dd232e6f8b12b0016a4bf6c795542a73408553d4fdecb1180cd4e7f0adfb3a882e17953eac46ba59798fc6bec1fd5c64d458b693427f8b878b5024d284244887a1901cb3f2aeff996fb9179cc141bd140d20cb8ad6f43849582fb80aabdfca969dbb75a5cc8f2a27b1b562dc52da9b4caa479bf0676718245eb0889ce3eec4e209b0de3ac318e080e3e78917e836161bc6a392f869b234fcf2ff74b6170cb4180816b476dc08f174a2502af1b02f027e28b562b336410868399fe3b16aa8119cebbcc3c82cbdbfb3048a2c16eabc27d685a37f8764e097958ea04bd89b085eac32fa292dd3887b3a51d5a79fa0e98922201a30d798b3701edd119515662d2ce03b9f95a527432c70594ff4763b52807b6f330c8371304ff31693a80265e3e746ac8a5b604671422f60652e794f3216adc6aaabd11e74eb48eb17f4e9dc32c5d7045b47fa107ce17457a21bceb57981b227456ff4b17c08a98c9e560a3883a20bbdc2a07d535c666b1ac85e23bfe7694ae185e25f1311ef9f52227f107d199258266189ed3010380e8ab8a2f819eff5e0063be138fd3e73299fb78bd61a6846322b9f76391dcf5eb8b7fb0950472174e0d95c4ee294a03c8901a4cf8716ebb1f86eec56f48daf5c0dc4a2b3e99fc9fc8c1fdd1dea4681aca7a3a769de0fe815d5729ce7f5c0e443d096570e8439ec69998878103546a469b10f5763dced2d68a6e801953d22b881d343bc755fc87e9b921984f9f5c588fe372816c82ef6193aae99f56ad6a498434058d3005cc70f9db222e3e61d5a1533f919f78130c653a5d77509657ce010b4327c3b10974ae7b7f60d7236ee00fe99e841b840c8d2fbaed2918e8c3cefdc8cb359790217335820c60e1ad80a79e3e7ce7298db9cb7b17337fe7f93b34d132af1e23e89a2bb142fbb72ad8209125edc610b89afef33e7f63d146f5e76abd6fc519ba662c34f16bd325fae403c35d0458d77035382e1a1980e12823c20363ddb5c776a4d9358f57ef287522cfa2f12092447e7aa91f09de74377b83db250506ff8d278e028c24abae0397e8b8394da66bdba138aea35a06a740b4d9879c5dea207faa3a1f5001fc6bc2a5b31d880338dc3c50e3a17f36de19e580c98cdfdddc0bd3bfd5b4331b8205a9b7c90fb0995573fc49f86d45a85cb105f79954844236acc7e72e9b42fbcffce53edb4fbd767eb8b4eda3a77d6b8036edd883189da227ecafeaea0d49a31
dk = 79aa9d810589b8e80bc0799bf1eb8b866a6b5c8bbf99881be0025eb98902d282b432bb5174bc4e566b6cf8dbca18ca9a5894c589331fb1361625977d1f9210e8db618fd1c12a999d3ed2907270761d8a88262c696e9c6b08b7950d9171e2409fceba0ce0e54776532a3750c6126728fa364df2118f6497b9a6a68694b99ce4715935a57e02ec2103dc64efa0cae986b6dc78a01fb712c549b795c14540e3a65efb6f77566835dcccb89449ca0b192909cc97fc33c995cad7694cdb819ed807afe32b182d5c45da0b1c26b73abaa3ba870cb73baaa86b1027a9d973df15b0d6cca7e1bc40cb017c571c709e8cad89c8b52db10afc164efa45029686746e8913b13ab234e4529303580f0653f80514f938951e1b964b769c13ab01373aad41d8ba0df3589b1338bde96e73e187b425310b48c9a6e948916703f116978ef9698b091307d9a7c8052cd6487d82720524b0b8ee5a8924d630feba52cd79c0f3973adc10b40f24695b57018a66acae33782bb2344afc877e8c81b8598d1835503e8a84a58c134336b3b7083407756053474456a43dd0b5c3e14aad8dba324e6c8e2aca55c566a4d62b7450e6bdb8a13c1a47c22b863b37d1c74b3999be70ca9b34677740b13d0469db433d71805a4c78686cb231bfc66868721335ea5fe787917f450d6a456f3fcac3b5e79c9fa68b4aa2b9b85c3509da787c31551565402802aceaf99bda268a1ca4435d1a9801380d8cabb45aa7204e5678de9c1b4293ab8435a90d60bda5c2c5b560cbfe19a0268ab1c29885c25c2e9f4354602464160017e5447a5c5407fb212faca62dbae54aed7b553ae22143e20e74b02b2612ccf3a45e23b43b16b8c5dd666bb1cc681d947ab3c80da0665ace802b74894a4f19617ce6827367666117a71b0c6d2d4561ad627521c9035b49a353d2c42dbc484ce833ddd1877d04b4174041d985b16c0c6a9193b35fa66d559a7bcfe28a17415f002c89fba47ee033085ce14241d825fc22486e804d07fa59fb41072c64b73d9b8d3d3a81cce787bcb05b893b36c6d38f211996e2fcbeef29af07cc1b54f7c829a4cbdbf07390d31ef3a25870486e97b15454386a5ae712bbf3ada33622001748c2211b73e580e0677d5d7aab732c0c570a7083b6aa19a51f87030253689d6ada6f374370938c5fd78c0f10d74c3563757f4a7ba29193ce2a472e4205c9272f7ad7bb83dcbaf120a156194f798cb080429971c6728f127f8a089cde945a1a3111c9a27784d87384513931934a224595657268ed875d820917bc42b2d70749b270532a2294167cc4ac8ba83302a08b67167b3284d456aa0937385968cd4eb96b4ae79f54db1e5194915ed03d307c25dcd00595f710272519c8636a6f883cb6599e23da1f45f41e853684b1dc72cdf430fd1308535577ae3a7e84054e517160842635a0699ebf2970305c39bad1cb338164f5b1239837a389998a459b9290c11d54b8448596721386b7dd190b4a24a7f9b97eb9c7188f57008043754c4883f2e42e9e6c579442152e500c9480a1d9bcc0773b0fffd484c9078d46c30dfc74b8a7a17f799a1ea38554298ca224a0c4e976161fe7115ab55add0cbabaf0361fa355ca39001f3104da4a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e6707f81a8b0e266a3ee92d3a63cdae5cff921905544c9dd797a849e1d054180eca0000000000000000000000000000000000000000000000000000000000000000
ek = da4a797885c63b1440aa389c65340ef33520cc039aa8d749ae7095ba8485a2444f80700741327c363a457b8538b13b6ed6f13c29b232518c704e1286a74867d3aab607295d1a7483876593dce803b1fa42656cbb535531d3b76d18f930f3d19df4a02d4c6888d5596b3fb382257a41e3e252eb4865d9105e87d7888f643485f5b300bd755e2705e9d366c73786eda71d10b1516461c8d1cb91cf9721498672128c935e04512e07223772b806871123b08c4059a7a75415c4ba85fd07603d38613e01b9867203c3a12a19f84efb9b8e697b3581455833cc48439533520cad13bbb01171863641b32e2231f8870e50655b9c258cb547ada7d78722acce5a89cbbbdb16273c776c76a453aa7a1e93a1035094e9fb5f7909755671384141cfc2680f4f7751f9a1c1dfb7b9e563581eb9752555b1ab1865a7690123664a6e560f8407bef86bc4da18c008c6864a4758bca62da5a18baa331c897b49fcb02c2b471521632f59f1cf03166862b124a1ac3581f3bf8a351ec79c87428463364b0b3bd15d359760d9ab8fabb17be9078741a1a29afc5aa478772ecb3e33e0b081195c12e5c159434d29bc29ab120d6d184e116846da879b6bf8a9b96702612613a9aa214e4ba2b7b1ba7fb408d1541d8983b50a0cbb4e08467f3572c49b4dc82aa4a11aa26a850970689b4ee9aa9487b60ed65362571785b44c3dec3282b9897843a68c437a2c381b66095fff79597ff107cdcb1813b100eda23dbdf6a239f404b48a57da66234ba7c070f569f0f8b9e125ac888707f1707d2b4562893a27e4dc5ba91b72b65b7357ba5c3c339fea9c3e78b421f431c314421e51176834e59e2b899a99c38e484792d3bc2873e87842d3c55f684a4a940c6a63a2a168a3eb3368fbe83f8de53524e787c182421ab28617b120d00978111bb58e01b0efb463d3eb769fc66e4a59b94af6a7abe454e960ae3e0b3b4e6b913bb73ffc7b2b345377b9251bc6613a74d01877541b8cc3138f299a6f2728aaeb89c5d208a3471f71a8864a9bcc530580251a6741535a62d8a0e171812bf98846a2840570499db41932640488487b108c72d42b7a7dc544b971a32fda8066769cb4700905e2265b7a4370d8c03ee27f8c1976a499c134c82512413778f884b1771a9e7987321890c64aa19cd78f4d1923f5949448048fa5e7135a9343db6691e6b18056779044667115fbc1443b6e74a923279586cf27629ae285ca100e1062ccf56c96b9d720eda92e81b8ae1994a508588a50330f73d46f998199f738701146a4ddb41e785c988fc51eb71b8e49275b7f7ba5e59300ae12ca0fd152d039c76df0526ce34dbeaba17d11a6b0060ca61401cec35fe9b175e27517a41c4b8a07056fc10ec6f62677f62b76840bd91a9520c4a819c83d80430941247a59646296ccbea7dc1ab30170de38624e8a33b4c2ba2dc97bf73a71d9ac35a480a83f1bb1e1c4777409d0a065782a1a707b068d4bf2205101202fcbc71ab94b2929cb44e2c547ec10b5a72d8c8759fb2920adc80b85713975414b7b20b983e848d3a0c3bc433bbf26b700a1a40322a84de5c87eb9877ad68abe9886f7db6989964002ea566cc616463b17e0e783e5a96217a2006d3ae406763c50457d1481402aafc7e23f43f9d1d7c0af7060ac1daa9ecb0e67
result = invalid
flags = InvalidDecapsulationKey

[parameterSet = ML-KEM-768]

# tcId = 8
# Decapsulation key with last byte of c1 zeroed that makes decapsulation succeed
# on faulty c1 re-encryption comparison
K = d42569896ab22ea9d6d53da67e3628c8d9388b58b8f29bbb48b38fa146e0098c
c = f96e5099167b2e7d037740d8dfa94c84fbb0f28fdd5117413781c06d3eb91442492ae158c301b76565519e2888954d51a953e8a020f84ad3ac5c5125fe40c85737ba8fd6f8e8dab18f011f8af09d1113ed0d31fd5106b4cbf72c843122403e714c1af48959d467523e2ded776900e55cf1890a868a23b26ed0657b2817136b1f143ab5651e93f1fdb1803e45a3ee2d954387b0d050af9be7f77a2e36efada495bcdb6579ef755c413f9a54727a12fa7519150426a628070ae9fa9e5c4aed6f741d8e0df6963091fe1b0bccef6279a9d6aea32822e9d54f8c47d4945094d1997feb220f92fbd74d6859cce8fa9c6d5dc2a9fd0346dfb7da14139c274814285e839adb2278e1f036cc74ab4a905f2f6ff82bee91aed37ca8743bbc65f6fddabb3fd261f3152992ec6e15d4a8ed09f3b920b9c5c5faffee6d511d6d0dfd31bc4f105e862bae977a997c80bbee277666bd20978e1e5bcb50b38528303698881b0b87318ca013cee36e14d63e6ed4b59899976b923975a432927f57324a4bd3a5c8e8a0493383192b028ebc793ca3f4d86bd6bc5bc54c819a061012d45f7d3bf811aa445721632567e37b42bb8e8c5aae53c214da819c288cef5c18111691c274e6b0eaba644482985fd67eb1f7ed1d26ae45ad63559c890c46715b80f487dade435e76d8d44d91d5e4a9ba9272691a15f1cb5f5be0bd7ba9be91025e0861539a652106331a5f9a9343bc09b0dba2f0c240dfcab9e8f040eca303ca4c6309366188e1000a8752fa2a6f12967fa2d8ff655c57b75dcfb98e4370342b18e6882edb86d903b9a59eaa61e005366de9005023f8bffd0215e5ce3a5b27860874d0331e74895a5065174c6a11b0401e625acbd51ec84063fc75d90091a1d98cf4c31c9971dbb643e50ffe53ecb477f996e601c1b84c6727e946adfa58ff77d482798993f0c386a565e7276cf70bb7d85f7ed79b75cda91cac1e070e88c50e03a3b46c42aaf8db7eed6ebfb6f4409e523b196adfcd3b294b7e8ed61e6e454b54ec712c921831cd6fffe27b77b4bd753f370055c9842554c6394ce1d0faaed4b74d4423cc22697ea871ad32cd492c918e2c6612cbdb48c61e2d19d7e7910ef0e30fee2d8402a44e84ae6c981a0d9d89656c6851e8b226d6f4d212920f30c2cead4e950aec409077f1a71650cd3df94c1bab580226512ccb6c3411678d11372317d1669d2d009477ef7bb350191b173c6d36c3acd32aee1114ae8665cf97bc56f9a1a07b8ce7db705bd19a2e69ed4b424a8ed74b319deca9f304783caa236711d0782548ea18832bfa37592389166f585be2936a78dfbcc7d5996a0bdd17d6df277f9c8e60be0044a390a45e792c0acae17fef3509bd83dee820392bb7810ae2ea0085de9faca231f2274d2e84f0f1abe40048da20273eb2a034c97efa14e5b794b07e0513f3711d0786727dd427f79dffa7059cf9efb20591668aa9b85490da738a1ea34c5bfcb9f8ddb7c6cef8e10cc8aaab9f8cea52c2576484580fc973b287eca9b35465c5
dk = 77d92594da736e936cb7a6bff75a9f06e9c0d95a14837c1d39f515464b2d4e45610c96cde71b62500316e07715d99b9df8039ea718383de6959e6549ccc1a3f94a9d81525b1d3ca6d1f2621cbc6e4e9c4cecb06537d9b271c901c570a5d96512d02408964345826a0a0211864a332d8fd4257ba689cae8bbf9e368644ba34c46712b266f2f6a8e04bb5905dab1ab839039930f4fb4997e10c927517ed3b1ca22e799448ab0861508d9c42f98e21245cc607f646bb2c82f5469281429416d1640cff991d914ccb4180c06380487c81b8ca6741b6026eee8384ec2274d669a19b7b987f46906f630ac54929af62fd4b8908c2363f44564134425da79136e0c14bca0a595772a6f01451408be86e08276d143db22bf190bc46ef491629322d58207a06b0de92c05a97680362832f39a38615a172d66360713ccbaf211b942bc82f52adcaa20f442846fe83543aa239a1118d1f82fbfb930bfd784caac243cc452cbb61e25d85795499a009289fb806f98810c24ac600b8209944961b698863a444b4e00c3ded3011ff60bf8a18244d75388c973271016edda1776589a1a88a769d31fa10c0a987a1b8c705adb736bda339ce043a315ca245589c7eb402b165ba266918cfa046cd1e715f6c994fde4282e7a4a77885adecc03d8123f58935a687c72ab11a4afb5bd538cb09565b8fff12fd47bcb07e865c6e73e9b9768bd5c556056a798ac201a41c2fcd37a192139b3ebadacbaaaebaa48afe191b6905f7df664b41a9d9d68356544175915a6c891acf8d2554ff67bec690c21f16cc51851a25a19bd5597b0a86afeb2347a82b9a60a08e3862c3690c11f61873752870e1c6452801f4ddc576300b9ddc550560467165c5d5a287b46881b6d69382fdb729b09a7c823212069a88af38013b7153943b7322caac9b77d8f71189440260ac721be4357e0f815212203ea7335101bca2a3b68dac9ad6d57788cc648e0934e4408c1dc49ab566c86a0256b34a1390a8a46cb036834c1a93879c77fa11266e5a22e410b8d66c7de5959b91886a538bdcccc8413b09d20d346ab6547b8f4cd4f842f423656154234ccc31477f491c58105641018c21389e77221a17a765f02a4cdc6b76253af1777122fd81ba4c50964910bf50354f59acf17da2f6e9c4c61f694a63846c675259f03a48d13360d59af8b79c4180752f1b19fe55323abb55f3c1394c1cb361896c3c2d9a63b10571a942324f582cd49a066b5c3ec3376f8d807589171c0216113dc4a2a24b8e49379d217900ec497c8b2402903c45b03796adccb0cd16bdae52311f76a3af795073475287050f43143dc398d7f3a6463e013c29b5e30829ef19757974c425a60af1a421a8e96248042b81d0c00c6da62039a93ad760955e83eccb5b5321c11c06cb86ebc99f9ec4548096949084ec26b7cb35875f7d3374447443838c23b2390e954ae20c75c1706a7a049aeee92535fd9aa7c6b0669c67096c7a285e661500817741bbf90e3c2824b82b657527c169ce9ba7770010c2e1b322b480b21852bdef55251171f12db91c5a5692e123e8127c196178c351261b0aa626484af4f42bfcb48b07a09821222a61fa7976e263cb2e8c3bd198a5dd42de7403fd6a40b043b363a4cc5f264701287b98672c1ce79188b0b1eb1230dd7a1ab1fd207087793ae7548c88955efc2c027ea0075d41c4777682863c872951ba58816af607ee579ab596937cc3b3c1b7955c0c99eb1489ed8c8c5104c495a205caf4c46d412058e589955d2542626236d656f7b535a0b8a4bd673667b28ab2ad10d91cb00dc9b77c06530d633bd3364c380a083c50321184654a45102158b481e3b67dcb83274a8498b51256308ca41777895992fcca45c6f6c173f29c8eca58b93f9327fd26bd81b4e5d35763101794c136b41f45a00c75a63205dc86752ddecb04d0a2302bc2516b349014c5dc8d5ac7dc39bb35343dce55bfdd08041ba016503221c53c9751c5210e32908f2a677e212fdc4682a4c2dfbb4a145057ddc76bd39b96b4ce93e18317e7de09cba523dcc97251a3b4e9a6aa0e9d6563cd50d090b4d76c3265d6bc621e41c19c537b6fb013cb3364ef6a98b5ac3f6a325fc88008b628d74d32300e69acb9aa16d8c68998b3c3a7bcbef1a631fc08ad7d29d523a68fbe0355e328511eb26e4c47fd84aba47417dfa9a41bba3c46bf42a71288975d3bb56f6910d4a059d310f1a5c3122f1a0c8bc122fa42eb7168c5cf845fe667fb4d3240f0818cb8ac8042bc4161b9df581c5144c718b4160cc6095359774bb38b5f15c8d2dd5b0c52abaf04116a5f21a0a062d517b85bf89b239d821efbb8a73b00961e5c9654c6392ea58a582a1e9f7a92fa80613e63a9a545f7c999cf5f4644d142f1a099b82ea10978ac8f033cb55fa04083b9925658579c5163937720db11857b3405e928589635977dc3380b285fdb970b642b0af10063f73bbf6a82394eb57c4874e18f3886a22404130b54ec2800d39b11225831609b85bb87cf5a69620a5817cb3622de505e443a02b689fc79328de1916671832ec76963af3275953a9ee902c7dc2147112994c1857a2025b5e6677966543d0454e4bf13e40da51a0906f0c74737bc36670ecbdc68b609837901aa66af2b6549d495354dc896129659747c159e66d543032f1425326679986630c62fc27ff787b36d432f325a119caca29a737c1db030ba53e02a153327ab7529813874ca22ab9273ea089ea0a9ff8628055342ce93b1570830fd22a14d58a409503b154c90f7d67972ea34a4ab96b304aca88723b2d2c14dee963b8198d37e02adb9aa5d99c64f3c58f8a43418781a618604428c3a25926737d2043888900bd68c65a303ad6110d05026061c36a41b93a0db7a41137c0a92a25f573ba3318638c27513e6c59e8391eff15bb4406adbf790ab53936646a3f9092965080a48f7675c9193f6e9549b4c01ba2d0991656c5dec65f60f1cbbe0730175582ef2c090318bd6bd470bfa554f7f9cd251b47fed90bccea716c059d0e423e8805765ff179100b4bbb833483e7aeba1016da961c1edcc42f93bd5dc34d66e9a0f92ab59ceb08852a8ba653b372074dfa2a080e121091c9a9757438539c352ef16c80f3a8c650ab54ab9824268694f0025cb72d7397a5d7c699fb1c38f7d551c4986e971cc8479941ba7469916194e3e298e4347e2f6389795a2e959c371e836477bb2a126424ed4640bd67119d288729f71d4afa21da939a124e161039f4d78f780df67fa9272e7a3125288f4359943b0318900053aeb1be60330d587992ad3e6cfdeeefc8dcda7fa0cbf60e261187bbe91badc1210ce9b544d7150df63e8df85d6d550c782c93ec171aaa5eb175d83a8c5154bc4e
ek = e7403fd6a40b043b363a4cc5f264701287b98672c1ce79188b0b1eb1230dd7a1ab1fd207087793ae7548c88955efc2c027ea0075d41c4777682863c872951ba58816af607ee579ab596937cc3b3c1b7955c0c99eb1489ed8c8c5104c495a205caf4c46d412058e589955d2542626236d656f7b535a0b8a4bd673667b28ab2ad10d91cb00dc9b77c06530d633bd3364c380a083c50321184654a45102158b481e3b67dcb83274a8498b51256308ca41777895992fcca45c6f6c173f29c8eca58b93f9327fd26bd81b4e5d35763101794c136b41f45a00c75a63205dc86752ddecb04d0a2302bc2516b349014c5dc8d5ac7dc39bb35343dce55bfdd08041ba016503221c53c9751c5210e32908f2a677e212fdc4682a4c2dfbb4a145057ddc76bd39b96b4ce93e18317e7de09cba523dcc97251a3b4e9a6aa0e9d6563cd50d090b4d76c3265d6bc621e41c19c537b6fb013cb3364ef6a98b5ac3f6a325fc88008b628d74d32300e69acb9aa16d8c68998b3c3a7bcbef1a631fc08ad7d29d523a68fbe0355e328511eb26e4c47fd84aba47417dfa9a41bba3c46bf42a71288975d3bb56f6910d4a059d310f1a5c3122f1a0c8bc122fa42eb7168c5cf845fe667fb4d3240f0818cb8ac8042bc4161b9df581c5144c718b4160cc6095359774bb38b5f15c8d2dd5b0c52abaf04116a5f21a0a062d517b85bf89b239d821efbb8a73b00961e5c9654c6392ea58a582a1e9f7a92fa80613e63a9a545f7c999cf5f4644d142f1a099b82ea10978ac8f033cb55fa04083b9925658579c5163937720db11857b3405e928589635977dc3380b285fdb970b642b0af10063f73bbf6a82394eb57c4874e18f3886a22404130b54ec2800d39b11225831609b85bb87cf5a69620a5817cb3622de505e443a02b689fc79328de1916671832ec76963af3275953a9ee902c7dc2147112994c1857a2025b5e6677966543d0454e4bf13e40da51a0906f0c74737bc36670ecbdc68b609837901aa66af2b6549d495354dc896129659747c159e66d543032f1425326679986630c62fc27ff787b36d432f325a119caca29a737c1db030ba53e02a153327ab7529813874ca22ab9273ea089ea0a9ff8628055342ce93b1570830fd22a14d58a409503b154c90f7d67972ea34a4ab96b304aca88723b2d2c14dee963b8198d37e02adb9aa5d99c64f3c58f8a43418781a618604428c3a25926737d2043888900bd68c65a303ad6110d05026061c36a41b93a0db7a41137c0a92a25f573ba3318638c27513e6c59e8391eff15bb4406adbf790ab53936646a3f9092965080a48f7675c9193f6e9549b4c01ba2d0991656c5dec65f60f1cbbe0730175582ef2c090318bd6bd470bfa554f7f9cd251b47fed90bccea716c059d0e423e8805765ff179100b4bbb833483e7aeba1016da961c1edcc42f93bd5dc34d66e9a0f92ab59ceb08852a8ba653b372074dfa2a080e121091c9a9757438539c352ef16c80f3a8c650ab54ab9824268694f0025cb72d7397a5d7c699fb1c38f7d551c4986e971cc8479941ba7469916194e3e298e4347e2f6389795a2e959c371e836477bb2a126424ed4640bd67119d288729f71d4afa21da939a124e161039f4d78f780df67fa9272e7a3125288f4359943b0318900053
result = valid
flags = MalleableCiphertext

# tcId = 9
# Decapsulation key with last byte of c2 zeroed that makes decapsulation succeed
# on faulty c2 re-encryption comparison
K = 1636a6601f2d227addc5c5599cef70b503a94c4226a68924b184deb0cb89423f
c = 25ecb908a94a42efe43a824fe46d56d9c747f092fba70c414959b589082cd620a8b1528a32567d7197fca4d9e9b8d07cf6f773ee9abd676ddfb41b8c688603f69f690bcf8421f494319898d351e4c675b6681d8bd3eb3f1b1c1f4587242512fecc0b0b8c3861f92749a2f2c895efefcfdd316dd9f428036141bf1e5253c53b8cd720cb0d56b80c6f1fc4e137473ecdecfd751b8d29769f6c7422029d2e37021f480d341af3b5f87a90640fb0da7e1ccdba8e0ab1bd1985f594521ef4a9dc2cc8b64267619464b090e4bba0b4d6e5cccdf69ea2845bb68ba3ce37ffc14695a8b4dd7ae48c4ec29f34c202756ce41d6e887ae218b8bd0dfb2eeca5c11f4b61bd5085f6423d1e15140ecd1a023c9e8a1ab34643abd983789aef238bdbc4d7f0f1d78f42c584d9ebc7c32e3b30d42092d79e87788c52403396d0f1b4eb366a10477462785a6f1f1f146e7e0a4d2d717785260339361f46d8dd33860356afbc644f32b09fa688b02e91104e78b206a38a474a39e968ba3fa840148c636ff4365e13dfa95f08ad2b7701a42caf2976a3ad88a1e15fc81a3693cc50aafee0d0e6447c51d6a5e12bb214c52ec7beac43c7b41eaa66ea98eea5a6740e947b8f4f1b9f739e8bed1a691de92973473f37fa2b39f6753e2f43820a3c819aef58d5fbcedafdffe6d5dae6093799afde29a7b96dcc59fe9dcbb9b872ea24c58c42ec20b22821b6434352928dbf1092a17cb3722b1bd8d3340f5758cbb096139b93450a745f223c40c678d5d1052cb374de956bca0829f4e8d3a8d8ae522cf8b3fe945f91d51a099d13bce3f5698195f6824bc211385da7a4219f41cdd1d7372d2879d75f71ace6230b0228d1c5f322f2a0628b667dd96b565080e62b9c694582099d74e7153f3c50f9494987c882a73e0469af894f981f7c30add2b03be6b6c3d6d55671b767a90d0e81e85ce4f387a9c497bcbc62a522a65439423620666a577dca83239d7357063ec11f56628f5c44b9080ce53276f32b31fe5d5c947dbb04ad7123b2c17f26a17c1cc72b05c3ecbba4a6ae1c68b829de8e0abfff2d01d33facedd6cb154e6ae073e75d5a7d076cc24755dc0a65876cc5d7d821a15f1f0e327456f05699f15dcb923d6dd63613bbd976d34246ed4939fdeda73cf0b96e666c19eb2ac78ed6ff57c4b492570499e7862821dc488ef62028cab2f7742f52d426035542a0ea210cd0fc3691f3cc9f4f05a119101ad323162d674adea78458aa2cd13c6a02f66436f0c14c1d7a6f7c34ef6422d32ba0153a317c82f5bf72d1739804b4d6ea953bef4c62ebb6090cc0053923eeb921567eb91ccb6297e7b4982b67588c464e43d2335e49cbce7bc7e496caa19dff5ef38806e3b65016156c403439db19ed4d2350d73544149398ab78802356128542629f75a55b973fb4e404df75f01a0a93b8ac409b71f5025a903ea149b400058acccaef01f231bb450b0b6628cea70ef4026edb19f51f719f930ea34deb819f582b20b9586403e10f75f61b523d8da696ab0000
dk = 1d362f9fb3597a35c144b421825174e6ec659e80887a41cd1604bf2f582ffe8aae1653ba38513e34f19685c11951153f6dab19070b68929a9cde5c13b9e3b0a5e5488c314f4c4557612772ff9b61ad6914a34b867d2cafe7e152cb3bc4939421f736ac49ea0b4c1cbe51271081f053be547e82945d1c9a1a87351b4ee563753c29aacb3763f27cf661393ce16ea0f00e009512cc35c14e608d7e577dd91b7e290805c064576988bc21c673d4438da64156a4912629104802990e31e2b07c0aa6bcb37399cbbdbd054aa79c928c44b7a41783e208700558451037c1d39b73ec5b0536375f0af33b04e15e238c2dac539922b069876c2c16243551a4557f6561283c3d279c6406a31897b85e2632238adc6b887a703d03121ee6211661a2b3f1a27526c0bf0b3ea15a82dbb8855609323af63f5521b6a457654175cadb0808c4b55d7bc0c25791945e3723fa813f460b4009c5974fec2ed951811894262730135a083745a1c9fe3b13c7a9bd2a25a3c157bcd3874f750c03f4375134a186a0e61e2a97b0e092b88ce040210b742c655e2f55484300b02c48754efa6d6387214acb716590c709e45b2c984f10994bc7991c156546fee5bc4b1049614b15c836a4082278ae82bc09a703e0f97ab4e4676dc729c7b7425e4c409a75799b237f3a44cd00dd0dfd1cc2b5bc889018184d011ae22bbda5b7a827134610a229ae220ba1c33d918a09212b89cef54db2f0ba310b44cd843256ec7445490aaa832e5c43c0b29ab67e1a2b6f5c85f8948f1fc2b913089d680b37b9e13cef2065b9412299f194216ab2ab214c3c8467bdb94a74f43254a621d4394bb726295a30830f176ec52677bed3c1feac49269b54f4a22b04448faac834fe555211118651a5594429a655b40f62f958c80189728c087498adced17a3719107c22745f882d04ec5279aaa3e8c473a460310879c427564173260888009b8d9795c907753fe30d0ca80e6dd735cc2a01b76b18fa4c326db01e0ae15c7179265ea1b045381c67ab9579b6ca7c9466c11ace74b531109659eea193f4a0c4c6282f96bc2fdb1ab33e151e6cb079b610cd505b5c52779d5477c2f881327f2bb59e1a0263f12c7ce4b4ca58401ef26c758b763a5234fc9b17dc0bce8312101ac4a1b735bd6fbb719a18b66ae77fdb673ec2834845193bbc71bf102915f5b6171b4a2868fc0021a098b6f9202e28c423a20a95f692c7463dfd1785b4e88dd4958b9f97972a677f1e568dc524abaa5c75d19739c9e17ee6430d12617414038669070b3b3a9ae04a953c76282917bb367a24cff644b47521ceb0048ae240ed806caa543884208a42a85a42a37b64620cf9e5b36ae1b1419b8c9f73b52d6550003057dbdba82d3b2a08e1b9a21ba9ac6c7961b866a922aa656b7d61130c03ab72d0c4bd272446a46a0f54716f9ef02f05bb613d52571e0b4abe064f74412c1b51624ed504506b63d974bc1819acde2bb7a449b1d5e51a52dc03395a5923e77df0dc600c93ced7f99683f996bd3936d8e9af7e9ccdd8a8c13f0c7c4a4bc376564b9a14526b25a7a4e050f1f7a5914613d5fc11cccc928b695c28fb4a0f14b4fc33254ef18a9acace5b2149f6ccb3547ac6c16c80014606b7d025070785656114a565602b81a5e3a12978332e9c803fd796c130b7ad6d017a14802b11bc8893a09ba2964ed136a16f118110fc08d7a044ad279bd63641d8376b13249e4f003e740b3db6a6be3149948f7047ddd8c983723fb1bca953c943c8587fcc52a16e708d3f78799122121dc6b2ddb037843aba4198a3f9d3318040141a0526047851a626a81ab52ac0a5181bdbacb66282b6476a15992c4d8aa527ebcce1922c09b7797d327db5e56fa5d7158b45c74ee5ad32092e36658f46dc7b68a1ceed6034c95a6e5961c2b89b7e291a1d1f38c086e398be4bad51e21546b1830766b0ef05a8d3137bcff28bb834859b92a90eb121034913e239b175484efe0761fa1bb8c70bd0ef6c635c8b2bd5d94f9474651cd35c92b9ae37c3744be64146b674563002aa9213d1ca41327592c6d53d7898738f820632356517238cc7985ac032aae360b6e6486f4c86c1f03a0c54e54322695a6c2526cb1c642ea49a56e91955535f5de850ca4cb557169718ebcaf296cd1db6bc65e90887038a6fcb53b57566f8da8aa1689bb64766e55b6039d03887fb9ae3656ea925a177dc34586462392059a6a886d5c8c83b348910dc26a44390ef995715e36ff955542c585880841d6428716e637962cc5e64e401d818779298b1e7789b8f0663dc3196bef1102a0abf457b15d72364bb559614652911f31a947240be7225d6e5629349bdd8879879718cf45c8f8d944ee828593fb5332ab4938dd817723aade63b20ea0a403ee319f77b7ca144b6a41b5d01451d3dd041b3a22c018955ed82b532c210c2e87b9262502c15730b8bb957e4cd5327bd38f346169bbd26a03a49010e6b82cee8620dbf898fbe8b11456a4d8c4b4b7b3649a4392c2f041429fa347acc0aac7ab517189f4cd06937d439cf43a2c5735dd5d72cd0e2813500afbf4064e2c93990121640644c2235bcf97838ba623c910c5350c486f9ab708fba93535340c431bde3d9433d84ca2634ac350081d675060c920894653724b7716e58063c757f8a9c7781a4be5862b22d5ca390f32025148cd87840b225879c930143fa5c0b068d5554b58f980745e1247766097a35b453b2617db52d10655571e936e5c89e312ca4a6718813ea4c78355efd076a0ba91130b57a4b393535a246a9577c6cc90559b5aeba53642839503dd7bfe5443ea67abe18c4a68872987ff0bf09550a49c76602c1b774f172cec440afc192e2f14380046e5fa8afb6e30177f91151c38e84a5718cd86132480cc6906cfc231282049b8827a3d5889e4f2ccaf0daba8ca05d54990a56d4a0e7153c6e807d56958a5d88b7bf4a69ae33840c3c3d28b49f0acc8d5625ba812b4fa3d43e4b915cd350892f55b249ac0920aa23c3732cbe73bd30059bedd58b1ddc5fe9d30705054b8db6917e74c7784041c2ccabbe1a6c75a904b8058beebc38f181c527a406856acc27a44d1ea04b46d07ba4759be0bb42bda7ac8e1c72027c45ceecb7277740aa77720772359712bdb13540d1444f42f688408b8de95887a1d1cd210c7ccc5cae44331916e461505b9a8b891f00b89eb8f83f19a9b57450190cc928bfc847f32762be0988858792781459a1b54d95924bf66a76e8b9cc602aaa48541137a6b5010b2c1fe3da4ce53850d50055d67caaf072ca34a9412795ff5b9dd0a03cebfe80f975167a441d890eaa0ee0768e019fc787a7b8b41491c0b8c079a14f50d3cb4224a7f128b55f58c6e0cdfad8d02aa79a
ek = c16c80014606b7d025070785656114a565602b81a5e3a12978332e9c803fd796c130b7ad6d017a14802b11bc8893a09ba2964ed136a16f118110fc08d7a044ad279bd63641d8376b13249e4f003e740b3db6a6be3149948f7047ddd8c983723fb1bca953c943c8587fcc52a16e708d3f78799122121dc6b2ddb037843aba4198a3f9d3318040141a0526047851a626a81ab52ac0a5181bdbacb66282b6476a15992c4d8aa527ebcce1922c09b7797d327db5e56fa5d7158b45c74ee5ad32092e36658f46dc7b68a1ceed6034c95a6e5961c2b89b7e291a1d1f38c086e398be4bad51e21546b1830766b0ef05a8d3137bcff28bb834859b92a90eb121034913e239b175484efe0761fa1bb8c70bd0ef6c635c8b2bd5d94f9474651cd35c92b9ae37c3744be64146b674563002aa9213d1ca41327592c6d53d7898738f820632356517238cc7985ac032aae360b6e6486f4c86c1f03a0c54e54322695a6c2526cb1c642ea49a56e91955535f5de850ca4cb557169718ebcaf296cd1db6bc65e90887038a6fcb53b57566f8da8aa1689bb64766e55b6039d03887fb9ae3656ea925a177dc34586462392059a6a886d5c8c83b348910dc26a44390ef995715e36ff955542c585880841d6428716e637962cc5e64e401d818779298b1e7789b8f0663dc3196bef1102a0abf457b15d72364bb559614652911f31a947240be7225d6e5629349bdd8879879718cf45c8f8d944ee828593fb5332ab4938dd817723aade63b20ea0a403ee319f77b7ca144b6a41b5d01451d3dd041b3a22c018955ed82b532c210c2e87b9262502c15730b8bb957e4cd5327bd38f346169bbd26a03a49010e6b82cee8620dbf898fbe8b11456a4d8c4b4b7b3649a4392c2f041429fa347acc0aac7ab517189f4cd06937d439cf43a2c5735dd5d72cd0e2813500afbf4064e2c93990121640644c2235bcf97838ba623c910c5350c486f9ab708fba93535340c431bde3d9433d84ca2634ac350081d675060c920894653724b7716e58063c757f8a9c7781a4be5862b22d5ca390f32025148cd87840b225879c930143fa5c0b068d5554b58f980745e1247766097a35b453b2617db52d10655571e936e5c89e312ca4a6718813ea4c78355efd076a0ba91130b57a4b393535a246a9577c6cc90559b5aeba53642839503dd7bfe5443ea67abe18c4a68872987ff0bf09550a49c76602c1b774f172cec440afc192e2f14380046e5fa8afb6e30177f91151c38e84a5718cd86132480cc6906cfc231282049b8827a3d5889e4f2ccaf0daba8ca05d54990a56d4a0e7153c6e807d56958a5d88b7bf4a69ae33840c3c3d28b49f0acc8d5625ba812b4fa3d43e4b915cd350892f55b249ac0920aa23c3732cbe73bd30059bedd58b1ddc5fe9d30705054b8db6917e74c7784041c2ccabbe1a6c75a904b8058beebc38f181c527a406856acc27a44d1ea04b46d07ba4759be0bb42bda7ac8e1c72027c45ceecb7277740aa77720772359712bdb13540d1444f42f688408b8de95887a1d1cd210c7ccc5cae44331916e461505b9a8b891f00b89eb8f83f19a9b57450190cc928bfc847f32762be0988858792781459a1b54d95924bf66a76e8b9cc602aaa48541137a6b5010b2c1fe3da4ce53850d50055d67caaf0
result = valid
flags = MalleableCiphertext

