Repository navigation
Expand file tree
/
Copy pathml_kem_768_decaps_key_check.acvp.kat
More file actions
50 lines (40 loc) · 70.6 KB
/
Copy pathml_kem_768_decaps_key_check.acvp.kat
File metadata and controls
50 lines (40 loc) · 70.6 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
pk = DE5531AB839CE2B04B5E886BE4181A7B1532420336DEF99FF0145A447C4701B2129C300AFAE02B925586395C83330B06EE2C2B14787FACF7696A321FFB7781C9A11E9D80447EB5CBBC40C846829819502AF0108EB08725534B2CD499831D3440E237CB4EBC3FED051F88D780C5D520E5DB88258750A40B12674A28748C4CBFC066A1626302601320A88F8B9B46122BCFE2003055D6401574500E205E64CB298647B5C1765BA86475C6A3A7BD7035C8D5120C996F981AA454F9C5846C550D83AC7D474824B836DE2C0ECB0BC1B1369F407246954A000F0B61F9B2AC538A7C96342DC6D703D18BC34B497A50748C3BB981253C141D2C68D7BC0CFAC38D8339736798CCA07C2CB7144160A991AC84B7813CAA0842526FCA3C07F7AD07DB0DA9CB2FDD14C81BAAA033B91BEFFB49D132C513FA75C07052BA3667E9C86AE00C7B07791A8910B906FCA7BA51CD129CCB73F546E517C6E6F5B03BA24321F37BEF3609A142299AB1AA2B7885D4725CAEC5193DCC5701E61C2121C44174A82C10CD22602616872BF5F585EAD81FA696058FCC1E0BF41B2F0B807AF9CC8193AD3CF123E621B8E710469D33A5697112A91188FE38B1F2705A0D465353F1687A9BB52BFC0CB7E06EA5B2AEFAF2C9C82355FFF61161E5C2E70B4B69832A9E369F861B1A0FD4C80BA83BC8E60533EA32DCC3448E1C962684218FF6CF00B67326D642EDBCAB6BB09B8BE4B87E2507361780C4DA681E89AD27C72C4FA80BAC25177BB5357DB9558105CD42A3312573CBF1078261CC5889F68D9707309C25039D9B3C6B753DF431604EA9CFC5B2BD9BDC9E40170C3BD4B001102AF0BC260ED5B54BBA5ACE010A79B91F68BB66E824A010477431E1ADFF738D3FDCBC60C3A94305A70F574BBA50348221435466B432F0AA3EBB4CA99C82D543BA5210399547445B97AAAD1992CA72989210B178878BC6FA4797C70627463194692AE73924D835C6FDA6BE9A8C0235F6B6F97B46239719A0F95D2CF28C8DB0BC92F02C9FC6789B3750275B100F473C435516D7F3CCAC5877F1A2A426B65B269059C5BBCB479A89D2706942B91EEDE5A186AB60E5C06F3268AF470B16FB5A56F77AC89BE7CB64FBAE6239B8EED9AC8CDBC219202881DCAF91D5BF24835FF938C7B2C9452B908CF95A49AC7A0090F9B35AB70C8804758DE214ABF2B073335AB1D5CAE8E1557AB01736005875E9ACB2B32D1445286EA8895D58458B038191B38DF531341524B48DF5254ACCB09FD6B45A7629B6787D6DC6AF547C34F8916291CB6C347995445B96EEF3797AF60926741E343742760A77B8340086723C237C826E64220D5C1F1C4A2528F56837E63FE97A90D3CC9647981965C52DA8F927311897978A438BC01DD6967A271771E04C10AFCBB004FBC5E4B6CD3B067F72F0646B9467E37459682A457E639A100A6657979FED9B8710548AB6302B42F2459CC6467E093FE95634634494BFE83E2B2A93D7FAA5EFCC4E879302D94A5462D639B4A774D2719A28D035EE8A7D3C5054E6158050D39C4B9796875786D0BBABFA4AABEE774F77C032E5A176CFF0A4C2719CFD246C2A71C3782982DBF709ECF16448243005DB42EDC8BAA6033E17120F9C369686C76C0A922EA7F366E4CF97E56951A3C439458F1CB92C2A49C50C62A0995176CFD98B
sk = 73957CD6FB41D2C199F3714475A4A4F7471EE3B1A41F119AB7B9994CB16E54629B94B3CE78A3C02F424244F68CB89C653A1AA10BC27DC898659BD49C3BBC8AB888068199897B3C8E5D38C5380C4B8CCB4A978B90813735E24C9E5ACB1C5449C325153FD383C14B0C180ED98CE71A84A346C1AF89C1DCEACDACEB2F37D3B5BE15B42B3225962548A0E153A07B4FEDD1281A64932047308C53A19A41584CF3389E914F4ED0B2247643682695359C8326537ADE861F7E17448F4450A1F70A9846CAA6B0858F043127E0684E36C8FA91211EF03562B6218C64B41A40616F5A1B1A441DF5561456B6CCFE87C792873E0740C90236CE74221D1578BC48F7323D1BC7626A398DA6124F82041988ABCA81B932AC435D73AD3812647BA51D17562BC5578F3303AA4F85823163C650C9841417A4C0329833E473FDD03FBC13A0264B24C5D6B4464CA91ED40EF1E0127799B67A5931A5EC036407C9E490C189E610F2765CF47C604588C7A4F1C245A51B9D39611E1B3C6246A75E84A9673B2B2391A3359AA192C74BD81A9859B38121B5629A06C88DA6A2059B674594AB017668B8E0BB0B077DC93C94437C503880C94B46B337952E8283453F641751FAC1AF336232E2C9E7D42B85F813F86832C669B976835C878570135A4119547BF01C0257F43B4AFB6A8CB99D9DA204A4AB2908F113FE452926FC440E855D77CBA6883B03F18216EF184A2D3909422BCA23EA278E5869E9F6C94F341D754C1D17909940060437F48CEB958C027C8C6A5C6FD4F81F1FA595A16915C9124BA3E7908D0B84AFA47117AB71ABF57FBA96B171C912E1F628E7898CA1007DF39AB13A8082367A862159784CCB24D3E1C5635A5433F28AE33BB09E3676848024617231EE0918827683ADC04DCC519C9AE93B9B798AE81711527C8908DC5EFD4852CBF03F2852992F194C4E9705C1019AB46A7321945C797A1251C2453E95085940C2F95AA900472DE755842CE1B624F29907D56727E5A9C1640991849558D4493EF0B68AF466091578276B9DC0F08F41612088525B4FB6AEA57762B0CB8B24CA921B57801B400CC9098C2EF497D41C70DFE97E96D81F3B66119F13276352CC64831132E1602D125640A2BAC8B82F74991384B74957046048B8619A862E40315782218B3D215516AB836BF702CB003DE946735A354E932A665505A42DD1837F448BF89C5C409A9FB9B65569554DD802B1E44B644C5195343A206E72B220A62022E8258B95AB6261701510CB17C9BE3B4218320A0EC65A88C82C9E8AB0BA26F529C4B83D94920025E9A67185661E8738FF5CA1B524377259931340C3A0B1255D4422643B77BAA88E45633EAA8CCB1EB985F6F75EE6BB4B8DCB514533825247BCC553654EB7AC0AC88E1F3A776C20282D4A1CF6423985088079752754B98E0C9A525F92C5C3FB1E9C56CA6E93C1704A50B6921825A44447849594589F0D82354EB2A2B57B28340C274C80A6B8824F667B0DBA968A51270FC51296F429CA0DB115B7A1C1B3F1605D8771C7FA986F7402F8B8C409A912BDC7623EC35530820451838EB2B598F64C604301526C584F74FB5040A30B0E3415707021060CBC23E284DCA2071088A0F06C935002A751EC1EDE5531AB839CE2B04B5E886BE4181A7B1532420336DEF99FF0145A447C4701B2129C300AFAE02B925586395C83330B06EE2C2B14787FACF7696A321FFB7781C9A11E9D80447EB5CBBC40C846829819502AF0108EB08725534B2CD499831D3440E237CB4EBC3FED051F88D780C5D520E5DB88258750A40B12674A28748C4CBFC066A1626302601320A88F8B9B46122BCFE2003055D6401574500E205E64CB298647B5C1765BA86475C6A3A7BD7035C8D5120C996F981AA454F9C5846C550D83AC7D474824B836DE2C0ECB0BC1B1369F407246954A000F0B61F9B2AC538A7C96342DC6D703D18BC34B497A50748C3BB981253C141D2C68D7BC0CFAC38D8339736798CCA07C2CB7144160A991AC84B7813CAA0842526FCA3C07F7AD07DB0DA9CB2FDD14C81BAAA033B91BEFFB49D132C513FA75C07052BA3667E9C86AE00C7B07791A8910B906FCA7BA51CD129CCB73F546E517C6E6F5B03BA24321F37BEF3609A142299AB1AA2B7885D4725CAEC5193DCC5701E61C2121C44174A82C10CD22602616872BF5F585EAD81FA696058FCC1E0BF41B2F0B807AF9CC8193AD3CF123E621B8E710469D33A5697112A91188FE38B1F2705A0D465353F1687A9BB52BFC0CB7E06EA5B2AEFAF2C9C82355FFF61161E5C2E70B4B69832A9E369F861B1A0FD4C80BA83BC8E60533EA32DCC3448E1C962684218FF6CF00B67326D642EDBCAB6BB09B8BE4B87E2507361780C4DA681E89AD27C72C4FA80BAC25177BB5357DB9558105CD42A3312573CBF1078261CC5889F68D9707309C25039D9B3C6B753DF431604EA9CFC5B2BD9BDC9E40170C3BD4B001102AF0BC260ED5B54BBA5ACE010A79B91F68BB66E824A010477431E1ADFF738D3FDCBC60C3A94305A70F574BBA50348221435466B432F0AA3EBB4CA99C82D543BA5210399547445B97AAAD1992CA72989210B178878BC6FA4797C70627463194692AE73924D835C6FDA6BE9A8C0235F6B6F97B46239719A0F95D2CF28C8DB0BC92F02C9FC6789B3750275B100F473C435516D7F3CCAC5877F1A2A426B65B269059C5BBCB479A89D2706942B91EEDE5A186AB60E5C06F3268AF470B16FB5A56F77AC89BE7CB64FBAE6239B8EED9AC8CDBC219202881DCAF91D5BF24835FF938C7B2C9452B908CF95A49AC7A0090F9B35AB70C8804758DE214ABF2B073335AB1D5CAE8E1557AB01736005875E9ACB2B32D1445286EA8895D58458B038191B38DF531341524B48DF5254ACCB09FD6B45A7629B6787D6DC6AF547C34F8916291CB6C347995445B96EEF3797AF60926741E343742760A77B8340086723C237C826E64220D5C1F1C4A2528F56837E63FE97A90D3CC9647981965C52DA8F927311897978A438BC01DD6967A271771E04C10AFCBB004FBC5E4B6CD3B067F72F0646B9467E37459682A457E639A100A6657979FED9B8710548AB6302B42F2459CC6467E093FE95634634494BFE83E2B2A93D7FAA5EFCC4E879302D94A5462D639B4A774D2719A28D035EE8A7D3C5054E6158050D39C4B9796875786D0BBABFA4AABEE774F77C032E5A176CFF0A4C2719CFD246C2A71C3782982DBF709ECF16448243005DB42EDC8BAA6033E17120F9C369686C76C0A922EA7F366E4CF97E56951A3C439458F1CB92C2A49C50C62A0995176CFD98B3F2B8A3ECC81D7D5D36695626ECF408A8E3B7124045EAB7E8B61021613D993E35930F3B794F49B9DB1002CE1893F717DC3B1E9DEE68FF5302B136A1BC7F91A05
testPassed = False
reason = modified H
pk = BE1A777FF0A7DF60345642054A82008E6841E659CB3D631C9D85698BCC4186EAA3CC987E72E853CF329FFAF4AB1A1C2C720A9C23845F527650E2D29CCEDA4B37FA4A81B020F7759CB1A75D216B53F4B9648873C736AA562C9A89D28B7E18945277D18984E836311BC8680351837250DAD643794174FA20B7641A02D4250D952AC39200342BD29D3CE609C45404595BCD946C04D2F680339A0927574EF1C519A684B301038E0FAB173E8C4971AC86558A158EABAF28538598EBBDDEAA6C53EC81E57772761530C1637B94C38D59D1CA95E1A5558409F8013D38C3908FAB75B9A39302E21B691C76BE99742C6401D11ACEE7B29A14C94CD615CAD60B491F3821EC34154694312C19A3BBE34D55B08ED30A31B3CB4324B2083AE75E1036105796A4AF414D72D88441B67AC576839A87A8AA41931BB901668C00B0616ACD67BDDF2090CCCB699ECB7FCC64CD52D50A4936AD12571A359AB3C9A29EEE494468C609F3E1A6FFD1CE6116650CF0BA783994B0BB168C9AA600A311233CB2540349E68A3C0E42B527C5276682B15961984388AAD0B638E7AC514ED77455A5C27CC865757921DC93AF66C99E93C67810975B61BCC44A56456DF68DE55B14C13984C5A52A66C790AC6B82984873C3F9706D7229FD5BBB96E8A724DA8F980045AFA70717F3699B69C0F65B1B650C5A8652479CF05666561C046BBB1FF02BC7221FC1A9B01B87501E4362A80C68BAE43E80763E8604B9C185BEF5409685B5A67C8C3C67BC5DFF682FC1D2951077355D7120FF17B81CB58DC5B1C31A1B2F606CC72DFBA49DAC60B3598D4A291E28482D2E81B7BFF8B72E48B95DDC8EA0864F2CF37A2BA331D8CA376C42BC8F662CDDF6056DF05D688204F3B3A9E629B07DC730451941BA344269E9B30C04662D1536CEF52BA539A8BC681F0F44C2BFB45E587334EF299769A19E34B06255ACB7A01487FF80ACB00BC8CA98A74C7CB87123708CE75307039E44CA7096205276F11C38F28CB8BC2ACA35AAC7522C9CB94E054A4A12E6C6A538B19AC9C0AD4A766495105D379754232F07A71DF9D9307BF4251FB7609E910C224188E3D78EFE05B1539577CF303E04C982A2EBA43801C19A028EE40B089D495F4D068081C313B760742A0B3E88797BF83349DBE8A9E28338EDBC5174A894C2B39A9D538905665D87281C440C2D10A61F41A6604B264E435BCD4CBCA4D5D8BBFBE538CF28CB5CACA2DE7279E4C510A68471E81B02AC1101D5021BE3A86AC9BA598D22861C74B5B266188FE0163C4AAE82210DB3291B2807069E426595B7392513A9E8198FC46763B2971AA9752C2BD7B70DBB2809694438F0AFF631A1B188AF2B3735B53665BF368B16C583370613DABA0B21442DC7922176F71734F7827BE43946C0644E19AFC3301934E45011385E60D95A2937AD477016EC9645693C3556828089453739E1BE8186BEF9527DE2BC5F109228EA7B5036CB36FF08C4CD4059E8C4A5E880B28146A76D2AA6FEE61B40B602F1A955859A01AD1CCB59A7438E6646B6E1466F49CC1F21A69144A56FE27EA9934293D5CA9EC5988E5C7B854C8085A95E62029341338E28C624FEDB1AE1916E26EA89E95437E3434C5131B9009D31A702BFF81338B23E458416A173D684B92ED5C3CB2B138ACF7A0238B86452ADE9F0F850
sk = 946181F65279D95AB60262BD637A84E79185F26245002B73009C8DD83B229FDB967D9054D3078FC3D61EF7FC4E49917EF7D23F2F2971889A5376A91A4B75084905CB4DC758B604B1A357178964A06E016AED1C4871EB4786A6792F8A73D538C6AE71C1AA7462EB3A81DF1379A60C2F4FBC7359CA28D2586BACFA5A02CA9B70AB655E9343C30581BB517E7F2A44098921FD573E319CB8C6EBB6AFDBCE57E04F19E44B3871A18145691C03AB7D95B54A9B4F59C3305F3A003C333807091B6CA34ACDC498AD6CCB06BBB715F717C37A31D1292308C17ABFAC60C4F5AC9090911397BA0D5A2531B41406A160FEEA172272A06C4091CA5832F937B40D6BBFFA351B33E040BB97564CFA986C016FD3CA64025B1EDFD97311995E97211CF121913E6B6693440221DB3A608C9578F8431749112CAC3891F05C593C47D82441E48A8F0A6C3A030611E823A1BEA8449D5062B572863D575D17D37D8640AA17838ADDC17FF5733969A8703F504B3E77ADF250BEB6894A8013B1EECC5082458376AA68EF854569A16B53648AF44A5104935CC51374A1277BB485C81B29B15B96B512A3992B814957C2275317B7DFAB37E5C97CDA43A31CF9B7A9E51F791B9F10144960D6511165BDB3C9A48088859D531EE2A84AA068AA1C096A65544A915AAB5EE59D3FB80FEDCA787D706F906ABCD3636F9D39CED4CA53F7947498D2CC4148913073006C37A3BFD87E9CA6C618C2A5E5B6AA7EB1A42B834486DB8DCE0A9F4BD8C9D18729D7C16E23D5BBAA7B543B17B13DA5711E27B151CA852C5A651882578812C4E511144C0225B5E50961617BCBD3AEF737BA245BA9B9168C407844DCC10DE0E29E77A79692318AE2921F1B84B13A3684E72C55CC9C363F4937F3A776F249143F0C69497647C915C3DD3071DB3B3130412A908269CD70A90D8CCDC284A898106BDDD023BED0AA8CC5A3D49CC26D11AA7C744951F95D55F2CE142C0FF079AD43E387550C35A35C45CD990A189C37B2B61E39CC7FAAD519C7C714DF68B17DD150338C7D227768FF10B5D9BA5AF13A49FB120C2C490506AA8672C63F18D38124707E702390510CC7F67B472CC51776B80049657709528AC80189B2569741B67CADC501B9B67DCC0AB873C019360AB4055C8542B549D4645D7EB9321048B37C9784307B1A921CC7FE38BDFDC5099D774D6A8B998C8B628F50932DC052F4BA680123070B1C2CFC217A997C95A6E46E43822A01AB641F833A6F0A15E4005679C47CE476B111A95D3F3A74F0F3BD66A021F6EB8B59685221968E78A67D54B86F6FFB3FB29344C46A97F15C005CABB3ED205EE5E5BF2347668E50A8D1496E44A41C4E1B24B8879058F1A33AC90782E90FE361A519614391407134B93F4688C663919F70E9950D3145EC924BF5A46677C2887D6CB42D93AAB1E0408860C07BB6A911DA3BCF0C7CADF88B722508F16B6F3A46AF679398E462A2808BB480C22CB8B2B98E9123D904103F4A146B53079F317C7F412049857B04AA7CA5731BD72A935529768C888BACEABBFBB00482D462FB335EBBF62A2DCA2287698F3273370AFC29ABEC7C02AA90B1460123C45785E128DCEA6DDC8A5E70C180B88C4E48E3B9F16B1E3F07B5DC4806BE1A777FF0A7DF60345642054A82008E6841E659CB3D631C9D85698BCC4186EAA3CC987E72E853CF329FFAF4AB1A1C2C720A9C23845F527650E2D29CCEDA4B37FA4A81B020F7759CB1A75D216B53F4B9648873C736AA562C9A89D28B7E18945277D18984E836311BC8680351837250DAD643794174FA20B7641A02D4250D952AC39200342BD29D3CE609C45404595BCD946C04D2F680339A0927574EF1C519A684B301038E0FAB173E8C4971AC86558A158EABAF28538598EBBDDEAA6C53EC81E57772761530C1637B94C38D59D1CA95E1A5558409F8013D38C3908FAB75B9A39302E21B691C76BE99742C6401D11ACEE7B29A14C94CD615CAD60B491F3821EC34154694312C19A3BBE34D55B08ED30A31B3CB4324B2083AE75E1036105796A4AF414D72D88441B67AC576839A87A8AA41931BB901668C00B0616ACD67BDDF2090CCCB699ECB7FCC64CD52D50A4936AD12571A359AB3C9A29EEE494468C609F3E1A6FFD1CE6116650CF0BA783994B0BB168C9AA600A311233CB2540349E68A3C0E42B527C5276682B15961984388AAD0B638E7AC514ED77455A5C27CC865757921DC93AF66C99E93C67810975B61BCC44A56456DF68DE55B14C13984C5A52A66C790AC6B82984873C3F9706D7229FD5BBB96E8A724DA8F980045AFA70717F3699B69C0F65B1B650C5A8652479CF05666561C046BBB1FF02BC7221FC1A9B01B87501E4362A80C68BAE43E80763E8604B9C185BEF5409685B5A67C8C3C67BC5DFF682FC1D2951077355D7120FF17B81CB58DC5B1C31A1B2F606CC72DFBA49DAC60B3598D4A291E28482D2E81B7BFF8B72E48B95DDC8EA0864F2CF37A2BA331D8CA376C42BC8F662CDDF6056DF05D688204F3B3A9E629B07DC730451941BA344269E9B30C04662D1536CEF52BA539A8BC681F0F44C2BFB45E587334EF299769A19E34B06255ACB7A01487FF80ACB00BC8CA98A74C7CB87123708CE75307039E44CA7096205276F11C38F28CB8BC2ACA35AAC7522C9CB94E054A4A12E6C6A538B19AC9C0AD4A766495105D379754232F07A71DF9D9307BF4251FB7609E910C224188E3D78EFE05B1539577CF303E04C982A2EBA43801C19A028EE40B089D495F4D068081C313B760742A0B3E88797BF83349DBE8A9E28338EDBC5174A894C2B39A9D538905665D87281C440C2D10A61F41A6604B264E435BCD4CBCA4D5D8BBFBE538CF28CB5CACA2DE7279E4C510A68471E81B02AC1101D5021BE3A86AC9BA598D22861C74B5B266188FE0163C4AAE82210DB3291B2807069E426595B7392513A9E8198FC46763B2971AA9752C2BD7B70DBB2809694438F0AFF631A1B188AF2B3735B53665BF368B16C583370613DABA0B21442DC7922176F71734F7827BE43946C0644E19AFC3301934E45011385E60D95A2937AD477016EC9645693C3556828089453739E1BE8186BEF9527DE2BC5F109228EA7B5036CB36FF08C4CD4059E8C4A5E880B28146A76D2AA6FEE61B40B602F1A955859A01AD1CCB59A7438E6646B6E1466F49CC1F21A69144A56FE27EA9934293D5CA9EC5988E5C7B854C8085A95E62029341338E28C624FEDB1AE1916E26EA89E95437E3434C5131B9009D31A702BFF81338B23E458416A173D684B92ED5C3CB2B138ACF7A0238B86452ADE9F0F850AC34BD952716E16E24B3DFC0DDA58E300F1C0EF3CDE12AB416A7927E18EC9E672CEF6873F88FC5F6F9FAEDA8EF9FD1444251178CA8ACBBFE61B329C726F72D13
testPassed = False
reason = modified H
pk = 29A43FA9369902B34477E57476961C4B54708124683E32AFCA0035E227490E3C9AD5DC0604D7A4CA04682CA79671420B75252C01B0B285E19781C65133C62244A7B927BC7C6F400314D5A77FA54B24AA2AAE296E0DB3320FA835CF1656F28AC4B2A99E87C466DFA2118DBA453E3975DCF91EDF03A956FA503423854605556D8A0A064799E2912A2C0A42BCDCBEC73C25F3D48095C58BC9883D6A12567DC541AC5B6FB5F603F53606AB686A3B370E7E78A4082822DDD91C3119C4F91A5EEAF5B3E006CB1C55CECC9C59EB0B23875160472391BF18BC7843AC6928AC003BACD8C858733389AC9595FA3625D8CB8C7B52170F97C53734797922556998A05C10789261776F9877AF2CA9C4E170B2137195BB2EFAD08577E10819E28B0B2115B29C384D4C7F7A6C3F848888BE9503977C3A1626A750504139753BEA391589C56F0341B363BB7C414B452F0858F9389F24DCA1FE4099BAC591CC61C77572357119B3335A30E2CC33FE8C1C3AE36C67865885E13CF58709AB61A68E16B7E8818A500C9E172C2ED5B694B0C83C40A76A932A5724B40280E63F327A5C99C5C5C5E94D3DA59BB202CAFF87B637C471CBBB051BD416B25368BD7ABF2CDB29E179B8E5027B3ADCA243C64F634990C2304AEA2387A62342508871351047DE7238E6348F06AA39CF5943F63165F1D8C82BE383CEB56E83732E35950D275C19A25B7FCC01CFFEB543F5A76B7B1C21B788A6616982A56C8A83746DC4650AE61B9BEAD06487BBA5206AA101917EB251167ADA5C2FD3C52CE25F4652B2EC029BE8CC1E7E6258A588B2C9370888A4198ED943FF7C048B05012DF529C9A93995CC334B0C6F2D185963C8441738BDE192C14215BB2A5BCE23D8BF753C35241602D5288123282E207C6D77C81381139D0FCB4378BA8991FC6007017E11294C15E2AF6B564B7657B1DE004FC158890140ABF7A1934B573AC39C2EAA2989C9B78867D521D8E8CCEC4033BF67086A3148EFB54E1EB28760469CEBE38D63B18FE9485487251F43E102C95A7732B075C2151334F45E89D92078C6CA2A17914E9632500C7B6F3B20803BCF046733E85549AF68619AFB6E7CCA204399637B0AA942AA9D87CA0A6CB6BC2C4CA0A11B5F0B31BE444A1DB2D52B16E2340B3A1CC39BB25C9316E51B59DAAC0800681DD41C208CB54FCEC23F33BB765CD631252455F81B6688981FFF250DD44C1A8E9701B4B29AAE74785C7B70285155920A29CCB8C5703A844F328B88D7350BB3CDF1F9B38D5CABE7376835E59AD2455CB3D01247A86F5535CB1B16369FBAAED8D16C6851862E331E423B8E10E580CBCC234E5B3D9B1496A1A0C8B1E192CA69C7D8840FFC7BB6D8627B4CF07C3F28A20068AF6C3B7D3269227226AB79A01E7B6CA627C96CDDF3538154CE192224D8605147C15689897014B477EF604B1019913D8ABCBC2A6EDCEA37519C7505AA15E215A8BB9C6F444A07AE72652EDC020D6C5CE773CFECFCCFA931B035383C7E8BB12FF4984523B715AA4294006C4AF0B0FB112516281A8414072EF2ADE16C94F165A031A733C67B98A1357FA2B21140D98003B98B5D728F4D79B6D3B40C151082B8F2318111675CDAA6884C9542709FCAD47A6AF165AF478EDD0E4EDA45869DA0088523BDCB59F02E2A6BCDC6522E7F48695811A345
sk = 71FAB16F41A04A2C9453C179D1F732D2D95FE3B16BF7D132F24A04C6C16888A85C12A88E904B3A57A6011C6372C9276E7CA8ABF6F30E19623D4F5A8A79527FA1847BAC7A80BED2B65FC26AA54C278220B82410A18D4B7DE2F82798292F39BC0F66427D80E32340C5146F66518559BF4D6C8C5B0381944B50B6DB5BB59ABF51C922D54963C69C82C4A3C8BFC9673BCC50E83B8C8A407C728735975CC27B6A73C584725C528324D88CFD94B03D2014595C239A6101FA2C3287713DD861C0D4CBA36883091E5B6D54091835638A20279FDB3C0DD7F6C315090D98F131FA203894736C9CC145055B3E6C289C921C2F9EF84176D9446F5CA65E472AC4FB4379416C7433CE564853C9F1C1D159BC5D6B014C835613555D789C4B91BAADDD7AADAD3CCA236B44A0387145640CDB833D0D4701E712CE83D8BDC6778B535398EEA2C0B7B6BF48390E92F93CDBD2459626079A36A4E6D966E0F7389EF269CF31A99FE0C90BB59D44978BC36BBBB0B667EB3A857215CC51D613DBF8C5D68AC5C34C6AA7078C16C56662E62B4CD4BE0E24BACC33B9AF88C935A2A6C4E0A8BB93CD6F47B9E98221AA583028CC890F1605812C8228DA32F046433DF322C405BB5647AE901003A9F88CBD0653E2205E5D166BC5B14E94F3426951523C727F353263E871BD74D2ACD663ADED8891C5514C49DCA63F49BE6CC0A5BC0999933188F8704BD57B40B6A26A67BB990CC632943B37A3BC555905584E73626D86BFCCD144C9A435EDFB8EEFD05B0202BFF1499F71657086A3C6E2AA1A900839F3F421CADA490A091551D5A940457E567821B11C828AEC3563B06F35210BFF66BFCCA1BB61D75D336A85C3627140E4B8EB1342ACE9518D544DCDB215E79A9A29C5195943CA1147A65112A158685A06E7CE1AE851713B77E8B34C11A23AC1D4440840C062022E701CC0912B20AA2901608A70A4C8B36006631A619420F173711B3E92328111C44934092E5527874E5C06875968D80CA23EB2A6EFF2CD8889330823547CA2660917B29BEC650DF087D901442B756000EC643A856D8D1271A491A88FA295AECAC560077C3FB5CDA2D8CAD3F8AE7A703E4DD52273A2603C29B9EC35ACA97C91D3CC966D64B8D81948438124FF5181303AA6F08C0994E63109C585700151525410AADB2035297EBEAB3D8BBB83A62B7A27DB83841A562677AB44A7B4306066904A8235391C39800B48D55ECE16A0BD69C65C444E9C5609953B524817CB1A1B8C10370864E316919224AF5B22417091EDB96D61B3AB4C4C33EE4A9BA8585800FC949AE6C4CD1C9881D08CE4437203BA24B4C5AB6B97B799635B40E6536D2B20EC7C195346BB42C95EAFFC4C17F1413C338E8B260F7EA19A15223EB9A7CBDCF584CE307616872D2ADB37D91B0724A22748869BF112C8141077B8970AC1502FFA4B5B20453A6F286CF7A51EDBBB6F14F76131727B616A70456B615028851A969526BA29CEC975F67AC2AE146DD5FC3F9833C171B029C5D044D5F617F958A400D62C3549246815AF5CB00575035934952CF622A57E60A8472B0ABAD2126C66140AA7B668025737299CEBAA2FD45BC7A0D5BA8083C0B23CB05B8C3E8DF262DD312A0C42ABB9DA0BB81A4429A43FA9369902B34477E57476961C4B54708124683E32AFCA0035E227490E3C9AD5DC0604D7A4CA04682CA79671420B75252C01B0B285E19781C65133C62244A7B927BC7C6F400314D5A77FA54B24AA2AAE296E0DB3320FA835CF1656F28AC4B2A99E87C466DFA2118DBA453E3975DCF91EDF03A956FA503423854605556D8A0A064799E2912A2C0A42BCDCBEC73C25F3D48095C58BC9883D6A12567DC541AC5B6FB5F603F53606AB686A3B370E7E78A4082822DDD91C3119C4F91A5EEAF5B3E006CB1C55CECC9C59EB0B23875160472391BF18BC7843AC6928AC003BACD8C858733389AC9595FA3625D8CB8C7B52170F97C53734797922556998A05C10789261776F9877AF2CA9C4E170B2137195BB2EFAD08577E10819E28B0B2115B29C384D4C7F7A6C3F848888BE9503977C3A1626A750504139753BEA391589C56F0341B363BB7C414B452F0858F9389F24DCA1FE4099BAC591CC61C77572357119B3335A30E2CC33FE8C1C3AE36C67865885E13CF58709AB61A68E16B7E8818A500C9E172C2ED5B694B0C83C40A76A932A5724B40280E63F327A5C99C5C5C5E94D3DA59BB202CAFF87B637C471CBBB051BD416B25368BD7ABF2CDB29E179B8E5027B3ADCA243C64F634990C2304AEA2387A62342508871351047DE7238E6348F06AA39CF5943F63165F1D8C82BE383CEB56E83732E35950D275C19A25B7FCC01CFFEB543F5A76B7B1C21B788A6616982A56C8A83746DC4650AE61B9BEAD06487BBA5206AA101917EB251167ADA5C2FD3C52CE25F4652B2EC029BE8CC1E7E6258A588B2C9370888A4198ED943FF7C048B05012DF529C9A93995CC334B0C6F2D185963C8441738BDE192C14215BB2A5BCE23D8BF753C35241602D5288123282E207C6D77C81381139D0FCB4378BA8991FC6007017E11294C15E2AF6B564B7657B1DE004FC158890140ABF7A1934B573AC39C2EAA2989C9B78867D521D8E8CCEC4033BF67086A3148EFB54E1EB28760469CEBE38D63B18FE9485487251F43E102C95A7732B075C2151334F45E89D92078C6CA2A17914E9632500C7B6F3B20803BCF046733E85549AF68619AFB6E7CCA204399637B0AA942AA9D87CA0A6CB6BC2C4CA0A11B5F0B31BE444A1DB2D52B16E2340B3A1CC39BB25C9316E51B59DAAC0800681DD41C208CB54FCEC23F33BB765CD631252455F81B6688981FFF250DD44C1A8E9701B4B29AAE74785C7B70285155920A29CCB8C5703A844F328B88D7350BB3CDF1F9B38D5CABE7376835E59AD2455CB3D01247A86F5535CB1B16369FBAAED8D16C6851862E331E423B8E10E580CBCC234E5B3D9B1496A1A0C8B1E192CA69C7D8840FFC7BB6D8627B4CF07C3F28A20068AF6C3B7D3269227226AB79A01E7B6CA627C96CDDF3538154CE192224D8605147C15689897014B477EF604B1019913D8ABCBC2A6EDCEA37519C7505AA15E215A8BB9C6F444A07AE72652EDC020D6C5CE773CFECFCCFA931B035383C7E8BB12FF4984523B715AA4294006C4AF0B0FB112516281A8414072EF2ADE16C94F165A031A733C67B98A1357FA2B21140D98003B98B5D728F4D79B6D3B40C151082B8F2318111675CDAA6884C9542709FCAD47A6AF165AF478EDD0E4EDA45869DA0088523BDCB59F02E2A6BCDC6522E7F48695811A3457831D51436EFC396996CEB85A9D2C0DC201E0A573AF586A7F360456EA0A918CFDEDE3C9B96FE6714091DDA1BC08C522F359F6724C8A72C53EB2EE6243C4F41F5
testPassed = False
reason = modified H
pk = 81847B5CE70B653A15AF535928B79897B71EFEE062AAB791F21B3861D78F306B7515E010912183EC248291953479612A6C41403196A384126194306ECA5524A3E4628D6A3B3A8C86CA0247C033652F49AD68A14E19428471E920642B26720C4BED1BB9B4161A2E921F49F93F6CAC4FCF15C09694A375C446051175E84A32A4077B96478DE7E9782271805FC40291E83BEB1AABA5F60982057CC91BBF5D365CF8A4811F978B84C376B00B9E71C6328EF7A4CD34451EB9959738BF82BA5130DB3F9AE200F5F0A14209C015951216321352EA7A7B52835D866C5F053654E0757079BE95F2BB6AC073E97BBFFDF2537ED631D0E78FD378C74DB75AB5129C23389B0A789C7CD457C1D79C59A793254B4B9C5A23B80A910F448BA4343622DBA39F879707B6803A885260B11233E34D41D5047CB28DA4C74E7692B655993CB873C37D446C4C32067F234EDC06126C43022A36B782B3C0038575071A151AF9B18615660B0893D445C5E16A33CD7B80CA77B065D348435C74432B34196A3DAB0B5CF5F189F6D20B17FA1D79EA526F1C157E683F014B4863A50A7EBC661205C435E573722BB82CE13573506A4380042B914C5ED68694663F3D054F3C676441828CAA9629BEF4B7F80575AC42C6F8068E0D13622111259182876489C4320940A798313DEA5E40C385EC0BB4DB345F0F8ACC0C652EDB966BB1DBB0E20C5797433497482AA2B6BDFFD9A826116B0725C56F48C90C78745C824705C0C714450C099AA7C28314632C19ED9619C669856C96C9F91AB9F1D21129331165D50D879A460E125CB4B43517FB59BA8557003823EEFB28B3237821581A7221BD8F9335DE0308B6ABBF506A4BFD747C1CB6411AD17275DA05F69153E2901A0D491FE3D43CE54540FE906D4D894E2136294C7693A52340F46C2D7EF49BD2B824003BC80B697B846896824A93859008098B8D437354CF255E07D260B23A114F782E2D2A04619B77CC7AA62294671C88A73CD0C15433A642F1142EC010EEF9580657398FF2A3F7A466D6627CC36A56483A9A47C42046F665D3C199E6114BCD5274864A12DD8C58FA6495AAA78B1F68715C0764AFD0BD7675539F229FE93067334C9E98CB60C6B7562E7916298AB6F486905C210A6D121FCAB364125C429C234EF7D38D4B0B6EF2F63CA8E96AF9C97F7C4543C320339651B297E43EE21382F190010F94766D26CE7E95A7BA7545FD6A5054C16DD6775953F9433A8C7289D6BD105A7B6AD385867A34C7119138069089C750D41A87B8F936A04A9A4D4242CEAC2007473970DB68F79617CD012B9709B85879267DAB9C5DA0C4BB9941B8D7C163B7189FD80EC89969A9CBB6EEA07AE7054E341643BCE39A4ECAAB74442A00832297749D69D4C83C149B8FBA991D05C93D02B7B5B15D783B1F89504C52A0C297072921AC14CD5994BD930008884D66A6BCC74AC213230593EC55D040665F8213610203D2D8122083A410DCC56F86AB84525B35C13DAB9818C030A0E4BC5F4D73199402C34CEB5719A8320175A5ECE886B1F4A33E924EE4C67395398E5C6C415564319C2722DF0C014B276A4F3807F2AC046F831659A86B0B1872F5C911F4D633C1D19F24A578870A80B8F5195A682229BFA3FCE275F2E24577C51F7097728571B8889FD09D79DDE3C8292044B22719
sk = CF7987D3719D7C70A11B617C6FFC4ACF1B0E559A0C51B57D2EF5C1E404A7B5A8A534274079730D39D9B75F50A233729092A8712CA083C05C010EDC2F0C8640A5F8A4C250AB5C93B761024DD2E4967FDB08350A5385F5A2700A51CC7C464A460328F5B3F2F74C81401809D2CBD9C4BCAD15B4D4F7458F924B1DF10BFA9060A6209F25F395C7C84F57013289A813031C1C8700C8FE1718BCF379D8B929B835090399010AB378C1E385AE7769CDD91BC1527C938B0C7AAC3DC1F15965D2C34DA1A4B2C9305DC4059A128F46C96ED85C040BC98017CB27B88632F71A424993030D7C7B16A67550D2A12BB20E93EB666E53762D18718A0A7F803821A3740A5952CBA8C2CF7ABC2D90AAAFFF60ADA2284ECF5110ECACB93F9596A1714F18810F57C3345FD8C2A28276B637693E8366FD3402391A55A604BC2F76B9E7043F0923A77E7B79BE33CA759171E664AC23E0038FB76ECE7B617676B17ED9012672A2720180F8D7CA3FAC7AF1B253AF8C8F68D145CCA6A3627A6C34A17EAC5A0BDB63035463CFB8495384DCB3F151A9247133115C7947707E71A85767197701243505237AB9D21A1C30B5F63C5EC43A0E4F891DDB632D47A7876B331C12DB74ED1B1306B7127CF4C80966823DF239B91B15F3A16CD2B65563803851C3ADF4B3780CB39AAB10671A8BA00D50C4245B55C8B466419868169C25D9C68ADB272488365F1FC89004165DF2340F3C858F6220BBB2C0721CEA1B6CC37EEBA4CDC9790C030417BFE9C4A4BB511480CCEB345F0C986962557E6D000E11398841C55AAEA1BAF568CF4C7B8191A969E9E24D8E73CCF50097B741BEF339001D674FA85827A90ACF311A8B0F580FFFB98D0146AFA365B7B6613F4CDAB352866C185534B9F7BB28E41C09A134DE7BCBF6B2090C236DDAB3B8369221286A75B1036098F20CC8B993685348B79252D0614186609123339A88607B871956E0D2367103C02C24BE49308EA9EB26A345A549480EDD709C88CB3755438B3431AD9178A51AC27696623305A6848E7C9B7A974536CA88CAAB3C03F9202CA642359AC128FCB80B7AA0C69889C0EA938CA57AE63267AB2834A599A7AFF43DC7348E2DB8133BA22C95C109BA093F896C32485BC6AD1A418B6B900C4C35C6360E380C992F243C5B00B7DE41067BD92064C749A8D75266DA25C93064C33436F6DA9A9B45839AFB9AA139A2BEF2B544B6362C19BE8F00B253149824A6C073061D5F0ACEC8D7009B1971C6514D6554CCC40874463CBF3D1C25E9CB2A81868F1D4CA58FC38DA36A371959058B547ABFC842696BA22A974AA7C9ABCDC65E5D907C4411A0E8501215288922C7241AE3C2C6C8C8E03C58A2698249D0153A2A78C5C3845F0439497112EB4978B4D22510E9BC5550B281C1108C3B5118B4BCDC7408F6655B757A3008371B3BA1ADC484A92BE27872504C65DBCF2FB5B218947549D390C03334F427A596F8A6FCEA9ECB879D97E73F3300191738AA1E32ABC388049284BBAE29081D947E6C6A6B2D99962079B446FA8A08CC98EE63598F306B3E93A8DB5173DEF2B063FB50AEE9A192C6744BF4C54371A02C8573818C42628C50E460283950A1E319046A661207CC620CB24332208CEB1B0B81847B5CE70B653A15AF535928B79897B71EFEE062AAB791F21B3861D78F306B7515E010912183EC248291953479612A6C41403196A384126194306ECA5524A3E4628D6A3B3A8C86CA0247C033652F49AD68A14E19428471E920642B26720C4BED1BB9B4161A2E921F49F93F6CAC4FCF15C09694A375C446051175E84A32A4077B96478DE7E9782271805FC40291E83BEB1AABA5F60982057CC91BBF5D365CF8A4811F978B84C376B00B9E71C6328EF7A4CD34451EB9959738BF82BA5130DB3F9AE200F5F0A14209C015951216321352EA7A7B52835D866C5F053654E0757079BE95F2BB6AC073E97BBFFDF2537ED631D0E78FD378C74DB75AB5129C23389B0A789C7CD457C1D79C59A793254B4B9C5A23B80A910F448BA4343622DBA39F879707B6803A885260B11233E34D41D5047CB28DA4C74E7692B655993CB873C37D446C4C32067F234EDC06126C43022A36B782B3C0038575071A151AF9B18615660B0893D445C5E16A33CD7B80CA77B065D348435C74432B34196A3DAB0B5CF5F189F6D20B17FA1D79EA526F1C157E683F014B4863A50A7EBC661205C435E573722BB82CE13573506A4380042B914C5ED68694663F3D054F3C676441828CAA9629BEF4B7F80575AC42C6F8068E0D13622111259182876489C4320940A798313DEA5E40C385EC0BB4DB345F0F8ACC0C652EDB966BB1DBB0E20C5797433497482AA2B6BDFFD9A826116B0725C56F48C90C78745C824705C0C714450C099AA7C28314632C19ED9619C669856C96C9F91AB9F1D21129331165D50D879A460E125CB4B43517FB59BA8557003823EEFB28B3237821581A7221BD8F9335DE0308B6ABBF506A4BFD747C1CB6411AD17275DA05F69153E2901A0D491FE3D43CE54540FE906D4D894E2136294C7693A52340F46C2D7EF49BD2B824003BC80B697B846896824A93859008098B8D437354CF255E07D260B23A114F782E2D2A04619B77CC7AA62294671C88A73CD0C15433A642F1142EC010EEF9580657398FF2A3F7A466D6627CC36A56483A9A47C42046F665D3C199E6114BCD5274864A12DD8C58FA6495AAA78B1F68715C0764AFD0BD7675539F229FE93067334C9E98CB60C6B7562E7916298AB6F486905C210A6D121FCAB364125C429C234EF7D38D4B0B6EF2F63CA8E96AF9C97F7C4543C320339651B297E43EE21382F190010F94766D26CE7E95A7BA7545FD6A5054C16DD6775953F9433A8C7289D6BD105A7B6AD385867A34C7119138069089C750D41A87B8F936A04A9A4D4242CEAC2007473970DB68F79617CD012B9709B85879267DAB9C5DA0C4BB9941B8D7C163B7189FD80EC89969A9CBB6EEA07AE7054E341643BCE39A4ECAAB74442A00832297749D69D4C83C149B8FBA991D05C93D02B7B5B15D783B1F89504C52A0C297072921AC14CD5994BD930008884D66A6BCC74AC213230593EC55D040665F8213610203D2D8122083A410DCC56F86AB84525B35C13DAB9818C030A0E4BC5F4D73199402C34CEB5719A8320175A5ECE886B1F4A33E924EE4C67395398E5C6C415564319C2722DF0C014B276A4F3807F2AC046F831659A86B0B1872F5C911F4D633C1D19F24A578870A80B8F5195A682229BFA3FCE275F2E24577C51F7097728571B8889FD09D79DDE3C8292044B22719927B2101F55A8E0B6C497A345498A4757C95779C7E0E3C48C04D5212B6CDCBAE7A90E46B5B773B91DCFC9754082113A2E43503C762A12FCFC2D390067CB027A7
testPassed = True
reason = valid decapsulation key
pk = 7110A9BBC26807C227AB6496AE30AE5A383C11F68E013A58CE110ADD882EA24C08B0582C51CC2FF822790AB4221BF9799934071338C7EF0B0183966422775679F21B4544326CF20C0A970516B47AB52338F10023B68102D30BC40091575D96930C38CCF7E13306A341A0536A1813151EE4510DB1961230225291553702AAFE69B527C43AFE2428B4170ED5945449787E4127C15FFB0D51465238124293313E9FF308E7E3BCD983B62E433FA4825351AB83B89C4DD958CA52B7551BD1BDE91C81134BA78C5441718599D698AB2855563B162912A0A9D3EC032EEC8D38F37FB6726A6C290C8EF3B4FF22049DCA0B53E47561C06731054DB74AA7C8E5B2AF96C46B17ADAA27906C42ACF2510DE920CD68572B02C71A6D35BB2F1AA7F95413B7830033E889D1D511EE53AE310753D1C41441A04651A7B7D75840A47CC8E7F6B99143A01348C0506B5BB03724D2597AAA44921F316153F19F64513A5345161EA53A7E05055EE57748EA3CA8021A5C1790741955D48BB173721702106111C5237B5951F5157E4B6B592B7643CF5750A0325CEB9C72FF8312721878FBA760C604AE98EB47765C3F681782E1919C5172136687B1197B4760C29997710A6C6B34508957D11BC7DE10C8E2DA22DFE0A743681ABF047F9B648093C70F122421AB87A96D03913528043BCBC9007613D1B20659A817D33192E03BA33B278A919CA04E3B5D692141B41A8F1323873FAAA97212B47F18544903A4008675ECC5791B2BBB73D273EEE807A4E3936902AB421C165943C093679827D1876E851B2D436E6A7890F12027AE73198C907E8F96B43BE49F1F1661871651C041A3CCB709BE4500F0B0C92508CCD3820E64BC77BA2541C0041C1F38CEC33680D2B487141591B03659E85C47B4664F51B85EF4C687E75B264AA3CFD3F728EBD5501BC29EFB0A41C6D5594C2960E080408468B4228466D185BC40296139B3270E63AE24E231A7F18CCD5B6A82388327790253D4697E9429B5D61C64685B3368C2435808D97B28A16C11AEE26DCF36853BD13982A332200746D8CA98C1A5B572E07BB1688237DC21C071C04EF6CB4F2221D96476D2BC127CC37EDB177190981FC1C7A7A1F4A8B93B6B3FF75E0A08A929F0A2D8012C1540AD93C767A642542D23849BC1CCF74832524A9B7DC8C0E6D575C0E67C260AB2AD3C69AF532D66AC9D4E57567C6A12342343A40AAAD5F11D03F8636959822206ACC9753F10C36C84312B6944C37E979B0C898DB1BAA41D857A6D8A023D94C588939644E26B98379B616A43C9E4515B00A67AB072587C85816714C05857E9D9A95A1338F9E9C51348568B70126BE3C44DD9071B67006473188F6B255A964A2366C9303AA0F841B362853C1A8B95BCA09C8F387F4636B68C16AACE9C536D8A736FB780CFB7971E3B815134AB897311D65B1502ACB8A890C8874367BD00CE1B2988433945B61A0EA16297625ABC1E6775BC2A169D3C946B606952A30574C2C28BA1C2929CA712F10695835BB56B5D65246BF9A4C277291DDE9A114491648ACA654C6165EC6BCDEC014D9F7BBF1D3C293328C19A090A72F32053B76EF86B3F9260B280904DE10A72A7376150D778B87986360509EE77ADDE7B2975821CDF0D4A38AA2431BDE5941547998C3ED8FF769E412622AE8411A99EFA1A
sk = 0D9794EFD86856A2231CB1143B340E9F6B518C2684999966B9A1A88A517A7819B7E7B50E37A908D2D65DDA51CFFA716BE723983DCBC668D8B7038A83F26C6329A63F303409E3476C9C68B2A790AEFE23069B67A4BD51B35D0BD0B3A67205C58820318C6BF056DD10925FE983C84452C9E64EE15595B67B54ED16A6466392B5F99A6867BC688076919131823A2B7641037B7542DDDB708BAB419309073250CF04F5125BEC9A2B8064C430084CF2104DF609796583532AC83B46241B3A3BA6E9C30E3B0DEA5C5ACEE8A7DD700D2526504BA251357032443A63933B0B78582E57A88E3A7C0203C38DC9A4378E1AC43D310980C3A0E79948E54C06900BC85FD464B5C1927A7967F77680DF216DD05364543A72C7A49938C8677FEA37F7129EC12A58CBD764965B53223C0851B96898F76970F2CF0069918C55155F465087D5B81CA80597E70CB7D04AD0CCC00ACA6C725126CB861CD11211FCF4337C61284E448E5D788AF1B5AC4F4895AC3A3337C883E4FBC1BF5A3A09A4B9A328307A9A01DB92C1E9C3B7DEAB48F7C1138A5685E9B246C11A4AA51A8321199CAB1C436BA8C414E8AA964C7375D086D60A3ABA2847281B0C44BBCCE1374CF758133D27C020B765C6C1321167B7EF009C2EC74A53FCA3CD8877779B444229BDEBC78A94152FC9912A525977912909573A47AF50C727262E6F67512ECC04CC186A8DAA84D2BC6450F243FD725FD785AA8D2C90030C320BD4A915466647CB0EE607A3FC13BBE851B448C41A21F6A831707DBFCB21D5043F7C12BD08A6A0EAF682347C0023D519810216D16105B9D3A38EFC2A1650A2DDF0BC34B647F5419365E54ED2D706813953CF2A43E5C65217DA5E222482249656AAE66ED89118C09C5AC37028817943A823B661E9BDCCC6381F38762556757DB88C603637BD64BBD51580D3713A1C11B33480596A0B0987D4A27EE65EA3304CE8D20E07924ED7746280CA0BFCA5CC08C77AF71B9243033105A6A2B585954DD96AC4C2956D561FC5590F6A2B057693BC968308D98BAFFAE1C4762A21DE64BC3CAB99C6128F0A7CC6359408DCE176943B354FF52C62769A6DD998BD39CFF6A375B9C1928F0815FEF93A24C395F0302A8A77A80BD6A0D0DBB472800098055F48E059C4E8C0D3154FCF10362A4B8579A8BCFDEBAE9A8879F27232F47C97BBA3CC48E7BB06D164ED04A87479AEAF4483CCE711A997BF4A2553B4954BDE0A6310B961F003C467664059723732F95A0EB17316E98F534A5F63BAA6C9237612420CCBE18F16C25599907FE0A96FD9B12577C0A5B11B28E3277CBBDA2F7385C28C02A34D11671934CD523B44CAF96319F320FC926FC40C5BECA925CECA93F73813F9854CA7561F6199AD9EE5402F83B2487591BD79B1C3BACF506C79285B840D510829A74EA7423D01197B15BB2CF7922B3FFBCB1C196262D21C8B9AC809370EF3458852462411E8A28AC4A92820BFB622C542ECB9F7C47F65311494D9989777240B229F3FC8487563A90C74C526C48292911FF633C402083C93392569D6A01DE7A9E769950A09B0062267D96B893F4583991923B9370997436526D4A573D2129B3A4435D549DCA144EEA478B7C01332ECB10239C617AA917110A9BBC26807C227AB6496AE30AE5A383C11F68E013A58CE110ADD882EA24C08B0582C51CC2FF822790AB4221BF9799934071338C7EF0B0183966422775679F21B4544326CF20C0A970516B47AB52338F10023B68102D30BC40091575D96930C38CCF7E13306A341A0536A1813151EE4510DB1961230225291553702AAFE69B527C43AFE2428B4170ED5945449787E4127C15FFB0D51465238124293313E9FF308E7E3BCD983B62E433FA4825351AB83B89C4DD958CA52B7551BD1BDE91C81134BA78C5441718599D698AB2855563B162912A0A9D3EC032EEC8D38F37FB6726A6C290C8EF3B4FF22049DCA0B53E47561C06731054DB74AA7C8E5B2AF96C46B17ADAA27906C42ACF2510DE920CD68572B02C71A6D35BB2F1AA7F95413B7830033E889D1D511EE53AE310753D1C41441A04651A7B7D75840A47CC8E7F6B99143A01348C0506B5BB03724D2597AAA44921F316153F19F64513A5345161EA53A7E05055EE57748EA3CA8021A5C1790741955D48BB173721702106111C5237B5951F5157E4B6B592B7643CF5750A0325CEB9C72FF8312721878FBA760C604AE98EB47765C3F681782E1919C5172136687B1197B4760C29997710A6C6B34508957D11BC7DE10C8E2DA22DFE0A743681ABF047F9B648093C70F122421AB87A96D03913528043BCBC9007613D1B20659A817D33192E03BA33B278A919CA04E3B5D692141B41A8F1323873FAAA97212B47F18544903A4008675ECC5791B2BBB73D273EEE807A4E3936902AB421C165943C093679827D1876E851B2D436E6A7890F12027AE73198C907E8F96B43BE49F1F1661871651C041A3CCB709BE4500F0B0C92508CCD3820E64BC77BA2541C0041C1F38CEC33680D2B487141591B03659E85C47B4664F51B85EF4C687E75B264AA3CFD3F728EBD5501BC29EFB0A41C6D5594C2960E080408468B4228466D185BC40296139B3270E63AE24E231A7F18CCD5B6A82388327790253D4697E9429B5D61C64685B3368C2435808D97B28A16C11AEE26DCF36853BD13982A332200746D8CA98C1A5B572E07BB1688237DC21C071C04EF6CB4F2221D96476D2BC127CC37EDB177190981FC1C7A7A1F4A8B93B6B3FF75E0A08A929F0A2D8012C1540AD93C767A642542D23849BC1CCF74832524A9B7DC8C0E6D575C0E67C260AB2AD3C69AF532D66AC9D4E57567C6A12342343A40AAAD5F11D03F8636959822206ACC9753F10C36C84312B6944C37E979B0C898DB1BAA41D857A6D8A023D94C588939644E26B98379B616A43C9E4515B00A67AB072587C85816714C05857E9D9A95A1338F9E9C51348568B70126BE3C44DD9071B67006473188F6B255A964A2366C9303AA0F841B362853C1A8B95BCA09C8F387F4636B68C16AACE9C536D8A736FB780CFB7971E3B815134AB897311D65B1502ACB8A890C8874367BD00CE1B2988433945B61A0EA16297625ABC1E6775BC2A169D3C946B606952A30574C2C28BA1C2929CA712F10695835BB56B5D65246BF9A4C277291DDE9A114491648ACA654C6165EC6BCDEC014D9F7BBF1D3C293328C19A090A72F32053B76EF86B3F9260B280904DE10A72A7376150D778B87986360509EE77ADDE7B2975821CDF0D4A38AA2431BDE5941547998C3ED8FF769E412622AE8411A99EFA1A44744BCC351CF920D46971495849D14A4672EEE0C6D03964C8B3C942C6A0A3CED5271E092E1AF308A2EBF70BB9A91CFE0A2FAD997CB521B94ABD2FA48F2B08ED
testPassed = True
reason = valid decapsulation key
pk = 1872C090977E4EE644D45A1EA68013114582BE4A665AA179A5A43724A12234649863774C96C69EF94B984D08AC68799A3BA3855A03B800D78E92311084427AE7EB4BF1F62D100307B8AA01D2C4C8718B0CDA1772FF2C2B522B1EAC093E7BE195C14143D0675EE7A37F6C1679334637A0018A1853882441C353DBCC4A595FAEF982ABB07638E6305F36631C707F9EFA1EBA94BB552C7E17A14D7EFC1D854832BF689422447B5C0597F1F23EE918376E964DEF8B84B4E34F8C573136144468955FEBC946D2D3548F75AF89548DAA47C000603BD0798CEAA9CDB8D31DC76C98AEA657C9DB55374805FA72ADC26907913BBEBEBC415C7A7750F2377E8CC3CA6908C4942C71A5378DB89D6EB520732418813895903335D8C61A4ECA79D896A6D827AFE9738923825024771E9B2354628A0C8DA579B6C57EBFB575467C24A8C3C7CEA7512FC305A6A28EFDE3C4B332BB68939B3D43938A4698A60B5874FA3F51C70D6691409A5A3F01029A77B5B3C5422F8FB28E8298A28A802489A7B98EC190B7765F33889800D79912A585CEC7B8B1733124E70F7B12065447A79B260FC03932EE0183AB62AD45F64B807A362FD3AC89E7BAC2E83CB5974CB9D661B175362C477F11A063F8B14AE2039B7BA5C75D63B22410C15D9864F7B41462AA2B55BA2E0C2B215242AEEFA112B6A93DF0E5CC7EE20271236972211CFBEACE55E51D4CF8B543021FAA6603FF75BBFEB96D4FB62A9AC058CEAB9FDFFCAA7BFC0483823DA607B73710AF89F126775266BBA4B48F405A347C2B77ACC150310B48659EB86A5A3318262BF7A223DC07485672CD6A6558DA8F84FBB21699CFD3F736BFA4141CE966961B3A56127C06D15D4D05C87156AE49BA3A2DC1B413CB018AE4885208C7A01A3EC7858C2B95160F008ABC127F0D1484DB27B3FA329C6D60593DE1C14A688954A632F61705817044EE3B6F9BA08AC94603BAD1C1BB2229272A198DBB22A7F2CAEA140AE4718C317BC0894BA5424B00D5E33D51DBB597411562110EC6849CA2F88743E9579C01A4BD56B6F6551931F330E27984A9608B9731A65174319E6A4AA8C29FFA668951C12F5A826D2244200CFA7CFD354E55721541A384CDFCB197E43E9B03B8BA615CBD7B2632179607BA9C944208C706A5E83CB577E03EAB257CF74195C5A564763B6E3EA48F58B54F1D1CC2BF686137ECB4E48B4A4782AB2BB6AB7640547B682C25B62B932C88F3A0532B371DA690C7228CBB4CA741E894BEDCABB0D619AD7EE99348561782579E1D5AB5AC4282C184898A74AB2F7297A596B49D4756D138483AB8AA650578734C92BBAB229FC3B5583672EDE0CCF9221FA3A0982233BFFFDB73B66471FB977847084BE446035676AC254BB4F3B59DA8514846145240FB940F974DB67B5A2407052F24A9E8965E7061675B724AB2D29AD89B369D703449AC21D2A929DFF384AADA94BBA9CADF710E130B950C561F0071475AB37A34DC6F3B7A277DE50A4D3B3DF9FB332B59A2C1567F3D8A1D3861255AC08CC4578BA8F4A1F40C1478D14790A34317CC837D6794600A37CE1AA63E4A4AA2528B72968E71D67DF729C9E73C8B99190F306A845C904DF222B9D781A5302A4364F50026315842EA42A4BCB60DF3B68F2C583F073A0AC50BD1DCCAC48DD2B207AAC2AE77459F
sk = CC31B1238B2B6B34B0F07C289D207BEF040BA34710C1F6BE607359CF0BB3BE924FE929633758450D603A7EB8CDB3882CA8F561F4D4762551CD186029BC44C4A4A235957C674B758335D0AD81302E5881578B0CAA29D9216E4B05E51342E3041F8B828E1DB6B5F462AA73D9662120B44C887247A877610A20628B233A141CBC38C432DABB80446F605B148E018B93F78B053C91A8FC2D00FD481143870564474E626E2E24283E776A55B69CE539910A035AE3079A1FB6628FBCB4B1B53DB6431E9616220CC07486490ED8B40254A33C8BD3A19CECB620B713DD860443BAC81026BDC0F49DE7259CD4151BDFC174E3C16FBA803710F4C1F8B41F87A228C7912F69E9CE1A11C11F4254E4A62A104A434590C8A638A9A144746BECC83EC49993F3AAD48C54035C625CD7435352BDDC651C4CE71E132BA01855A8A3C27CD5A9872E309C3F3122CFAC640A690B27781ACCB37D08CC699BD97BF8162D0638745D049C5F95B2EBC2BF11C858F059BC80CC5A71369DEF011181E939E309C675B34EBE68A002D0043042B833783202835B210C7EE5D7507396C4CCAC6A9667C34BC55465CC562EA21BD968A1245B2D3C9799DEC14616A2574215AC9E3B1749216A01490A27CB9F1270979D1CC293B285773474ED7C0C205338C8C413AB665D88B9836B9CC60B89C77126BB14B7171FC36A2165C253CB44D15241F3E3AD9E444D83485A7018702A426527E7C432D836A5D5439BEB9A6D78664D008F6685477F5A48A39A2EFBCAB2678478B27231B7B39464769CBB43306CC5B58B5C9D5A6A4DE10B7BFF4AC5FA2994C5AA3C72009FE53039EFB6020DB8CA3A4075D2CB52E7B004B9453AC908CD11A10722936F4BBCB9B2411F881B18301B76DC434638267739140526F201A33605D5926B33096369B3242C241820FC4E980C00F3CA3B21AA3B47FB476215B9E8CB68EAE5C6B6740EF302AEE09449CC9B6E96417B7DEA9B0F8248D9C0BBE04993EEFBAF9B016FB0F499738287F3758FF1D3CF28DC3EBDA32CEE176767329EC44880EE54B348111FA8A257C2F75DCDCA4C8115CCB1406F4B3C5B07D46A47DABB560527A8225D80F765E8969A7D8AA941C6B3B417AB8B9B5D16A2372C726F3A800F2DF80DCA2B741900AAF5A1A8096C07227591D5E73305D1354A86A6F8C8174A3B98B174A024A79528C2643004A1435093178B4E01573A73EA9988F882E611B44A5689DC21C64A280D6BC849BC080CAD7158C079224D2B336A854C156A28A3C13FDB263D1ED0B041E243171C56FE0C4400E9BBD299AD15B106D0C199F19481F7D39CD86C5289EC9750F74A2DEA4E0190A66F075A14F1BDB1E86CB91745B3F40CE474249357696DF72789CC4166C0115C1BB93712B97BB454C128257ACAABF8C96B976622EA8AC82039424A72551347AC57C7A1D7AA947BC887887A87CD3C6E8820825D670C302A406C571018EC443C865B49239EDA14C7C99CB13DE6794E94ABCAD8833377C208925A934754453763933C9AFB402442D33E0040B8AEF1493097526767B02FA22559C370F60152DF6896B731168A91A133EA15CC44A5C55275E85486635883D6FCC94222B3A1E177B7C08665F120CE46890C38B1E4FBAEF368761872C090977E4EE644D45A1EA68013114582BE4A665AA179A5A43724A12234649863774C96C69EF94B984D08AC68799A3BA3855A03B800D78E92311084427AE7EB4BF1F62D100307B8AA01D2C4C8718B0CDA1772FF2C2B522B1EAC093E7BE195C14143D0675EE7A37F6C1679334637A0018A1853882441C353DBCC4A595FAEF982ABB07638E6305F36631C707F9EFA1EBA94BB552C7E17A14D7EFC1D854832BF689422447B5C0597F1F23EE918376E964DEF8B84B4E34F8C573136144468955FEBC946D2D3548F75AF89548DAA47C000603BD0798CEAA9CDB8D31DC76C98AEA657C9DB55374805FA72ADC26907913BBEBEBC415C7A7750F2377E8CC3CA6908C4942C71A5378DB89D6EB520732418813895903335D8C61A4ECA79D896A6D827AFE9738923825024771E9B2354628A0C8DA579B6C57EBFB575467C24A8C3C7CEA7512FC305A6A28EFDE3C4B332BB68939B3D43938A4698A60B5874FA3F51C70D6691409A5A3F01029A77B5B3C5422F8FB28E8298A28A802489A7B98EC190B7765F33889800D79912A585CEC7B8B1733124E70F7B12065447A79B260FC03932EE0183AB62AD45F64B807A362FD3AC89E7BAC2E83CB5974CB9D661B175362C477F11A063F8B14AE2039B7BA5C75D63B22410C15D9864F7B41462AA2B55BA2E0C2B215242AEEFA112B6A93DF0E5CC7EE20271236972211CFBEACE55E51D4CF8B543021FAA6603FF75BBFEB96D4FB62A9AC058CEAB9FDFFCAA7BFC0483823DA607B73710AF89F126775266BBA4B48F405A347C2B77ACC150310B48659EB86A5A3318262BF7A223DC07485672CD6A6558DA8F84FBB21699CFD3F736BFA4141CE966961B3A56127C06D15D4D05C87156AE49BA3A2DC1B413CB018AE4885208C7A01A3EC7858C2B95160F008ABC127F0D1484DB27B3FA329C6D60593DE1C14A688954A632F61705817044EE3B6F9BA08AC94603BAD1C1BB2229272A198DBB22A7F2CAEA140AE4718C317BC0894BA5424B00D5E33D51DBB597411562110EC6849CA2F88743E9579C01A4BD56B6F6551931F330E27984A9608B9731A65174319E6A4AA8C29FFA668951C12F5A826D2244200CFA7CFD354E55721541A384CDFCB197E43E9B03B8BA615CBD7B2632179607BA9C944208C706A5E83CB577E03EAB257CF74195C5A564763B6E3EA48F58B54F1D1CC2BF686137ECB4E48B4A4782AB2BB6AB7640547B682C25B62B932C88F3A0532B371DA690C7228CBB4CA741E894BEDCABB0D619AD7EE99348561782579E1D5AB5AC4282C184898A74AB2F7297A596B49D4756D138483AB8AA650578734C92BBAB229FC3B5583672EDE0CCF9221FA3A0982233BFFFDB73B66471FB977847084BE446035676AC254BB4F3B59DA8514846145240FB940F974DB67B5A2407052F24A9E8965E7061675B724AB2D29AD89B369D703449AC21D2A929DFF384AADA94BBA9CADF710E130B950C561F0071475AB37A34DC6F3B7A277DE50A4D3B3DF9FB332B59A2C1567F3D8A1D3861255AC08CC4578BA8F4A1F40C1478D14790A34317CC837D6794600A37CE1AA63E4A4AA2528B72968E71D67DF729C9E73C8B99190F306A845C904DF222B9D781A5302A4364F50026315842EA42A4BCB60DF3B68F2C583F073A0AC50BD1DCCAC48DD2B207AAC2AE77459F425C1C09DE738B5276D02FFC5EA054858D38FDC5697943EEA7BE8047FB41F8C4972128040451866721B910B97B6089071D3F728D068D928996316109B5662521
testPassed = True
reason = valid decapsulation key
pk = 8C467277F65DC44A37F8A9B2733711EA867A6C45A6E50730016804C54AAD8B96CA3EFB42E6E27332AC4C6EC19EBC80A621A18B0C79073CB294B61596D0DC53D6F9BF85AC5647B14FBEC319AAE092193887A5AC0C4B13AC02C5074BC938C076862DB00586C2017D5BC127A83F763C0AAABC61EE15460D5B907118A10DFCAC069125875A143B76930F26A2083CA12394B00385A9720A970568776F809D33891F08688E79A261006C7423294280535EB69436F348CA8A600E26CC8273DB550D1438C653472472308369C5743B24A82189DD6970433778F1A01B0C96729E95536BD1B3EDB95918A69208C4913A32C0CDBC0E67C0C43515411E01C564B34F647056CBA4594E87622CC636273144A23421B89A94E4B1AFA122B287A40D0ABACFDB013B236572C7B98B5069B977C75DC287254AD9CD98FB919C0118F598B9D45A0BEAA201076776926A17DF21063F1865A400679F6609FD274676208810513E82721439B3C808071C1A7C78913454CA569F32255E2EC44D3D978BE0C500C3DB81C54BB078F4A98E13A8A7D7958680B58940A2BAC89A340A986156009B477C0411742304780735AE0D255F0E175709BA6A46CA2C54FC493FBC5F92B9B318452D3E78AFE8937E801B73E9585DAC18335FA0749184148BE220B418CACC42314DB2B4CD310FB4881A1DA153D332CE5B6658A6A361BC777E60E67B3BA70E3013944D29150B3BB04C91C4660BB3B6DB318D6217E969B8537CC54E5770E3246D81137562354A68809B13EBC537285557000B33F20FFB494287A37262C3C3019419E0A652C0F11598AB02B8393791824ECC0B4A0E13AE00550DC156A4E8A971A8EC815D824698771E576844A7F9C95518857BA722F63AB39A67AE5E47C3A9DBBB2AE17DCA56553C1A3A7F156773E82B100BBC44704906A031E8F3B11A84707380B75004954154124F7488AC16CE832157A4132AE7FBBE52C623C478C1EC673F5308029A63CA16C6BA2A7064F9A07098A2A6DBB74CEF24C0359B35F0C00F1088932FEBB712561C60146EF56702817B49E4664A22847188D03DC87B66EC77AA00D3B535662BC45196DD30CCB8E5AE0BD41E68C501F7552D512973727456143745556495FB2513DC909E83C46946749BC5EB6CF736BB0598329FAC9F62237038FCB2103C6BD83BAB6DC04B5BA05572767C0F766D1454498DE9AD5B9B1FE4CBA0AB728A960014B746AAB1F521B94600A18B27CB6C9B7D12629809782B64A6C108C44BF792F1FB4E6C4B7F9769213745B31023ACCDD0A5D9AB4E38C8AB67E73A17C0BB9094A72702916654078A5416D22623F9228D26B010567375E85975B000C87EACB7F4BBAECAC08FC2F432C9540BA1B10F5E7210E8020A8274448D62B398390939E6B5D9EAB02D5964C1FA1582A8BADB87C2E8DC9942599CE1B98B5DE477B26C7BFEE1C3D2217384E390E9B4A6243986D66B49B98122D929C7A6137AD512B6E12431558A5F9B959221356223F8834F00C6D6377C5623AAEE2A0E193B3E79190FD4A1165100A681C32D9DBA6D0C3A21085341C85019C4A773F0E470EFE84627B810DAE01001B9524A8A58E791B089E506B41823F62B15C7F2CC5AD4ADC7D4368D2605512A52C26273CBE1D5FDB5B69F9E62AAF5E857B659E99351FA4097AF275896C3A2ADBF8C53BE
sk = 0C58683236225B2201D97C913C1C8F59E6B4DCF45CC93825A63A500CB60C19A2B766C80406DCB887340849704AE61774020C3D594897B9570424F7030EC943491234DFA2CC6A489D0ED73B5FD7666110798767BA6F136C7325AA81919DB10670A10AAADDC4B859FB74F61AA7206B92A1F9BAC2097EEB959412582EA0802BAB10C1982A9CB5812D8E6943FC78BF59B52BBF819645E8A3EBE63D38667E4B4C0EF858675F70C4905110E4969A5CF7098E679B9F1B09428257C8946F80753C9013853A05779BB8BAED064728040C9EE43BDC960F57102D3089438381A2E1B293758C9D6F2629A9750955508F6989013B449FC37364468B15D4A8705FC8C1884803DD6000AAFAB12421BDCAA00134F097A0770731712DC928254C6945D42836C85036F7EA7E91A73DC2E7B16D80B0A349A2B4084CADD78D12517AE827A20824505DA8507C785CA186773DFCC6B788347E2B589FA259A1898CCEE5A73ED467EA9684604C2C3954B2DB276901F27BE4669CAB9CB041272ED8A3228DE661AEB448C3C7C2F296481AEA1BBDF3A0F6232E9BE5570E111C53A34DAF4376E6BB9E102407F5C08A7CFB1FC17547B242237BF3344A0C5CFD4BA863073B85D3821890CF3A69A5A4C9335EE02B96A13212354E25570415C2B963A87E1F2A49A834884E96B9D9702251C78330243F0CC041D2728211F31373992516DBA8C8834ABC767D67A9C69A406059E77633247AECC4A33A0761AABB29CAF0A508A7192DA59D31205A6E51462F50CDD869BB0FAA6BA7D15E64F52D91E7BA230A50DFD86256F85717E4620E4AAE1C71021F381EBA000EC5DAB5F740671076B3A8C0512991875748953B07BDD7571D3E8763F4134B446683F4BC8911D5127A9309AC761F4DD880696BA19E7C0B2BB0A0B3E0A6EB7A2EB3E2CE08ABCEBD10A709527C0EE38980D378C0FC8B878B9A1DAC7252A432A508CCCC41398613095C3201FCB2018813170B460F4B7B3F2C165EEE42AECCB97313291E9AF07AFC41469D5B64E4A12F10DBA79BE92BBC8112C1292396D003333776D235CD10E8854211198C19CEBAF74DD7DA6844FB86ED34822F324D95037624973948EA3253F7B80C7BAE938544ED2C8FC336A973AB724FAB5A7A271B37A9167025690725405CA0024A694AF2E13FC2868343283D0CB497A6E994031594AD606C6A056F8FE0A7D69262A31A6851DA75F46C6B2310828C9CB3C8D645D9C9A3AAB4BC20B2277243037930AFA5538450336AA67369BCCB86F6751804653155D5045C1781C7B2017437422DC2C8D1747D84F5B10D332F724A099D48B72BE96446172D45D4654C16CC3D7AA4A374B99BE05A1697285B683D0026C8D29775AB4A10F8741FA6330D74EA867EB2705D24907A7BA8E6D4A77A38BA2238A0ACEC0DEF720D6C66220965BF6342A57DE0BB13313E6205A673151179A2C430C8123B913F4740995AE80F0B503653BA207F8876148CAC046B9953C769CCB33A9860B443AB3F30459ED3724019D68461A28BD523302F7B02806C9CD21A433EFA967271C22419176723C64E0BB77ACB38C47B3F9CC221FB196F89049026F16BEBC4B2669535B9DCC772661C49168EFD492470D89801F289E824798EB5434313AA8C467277F65DC44A37F8A9B2733711EA867A6C45A6E50730016804C54AAD8B96CA3EFB42E6E27332AC4C6EC19EBC80A621A18B0C79073CB294B61596D0DC53D6F9BF85AC5647B14FBEC319AAE092193887A5AC0C4B13AC02C5074BC938C076862DB00586C2017D5BC127A83F763C0AAABC61EE15460D5B907118A10DFCAC069125875A143B76930F26A2083CA12394B00385A9720A970568776F809D33891F08688E79A261006C7423294280535EB69436F348CA8A600E26CC8273DB550D1438C653472472308369C5743B24A82189DD6970433778F1A01B0C96729E95536BD1B3EDB95918A69208C4913A32C0CDBC0E67C0C43515411E01C564B34F647056CBA4594E87622CC636273144A23421B89A94E4B1AFA122B287A40D0ABACFDB013B236572C7B98B5069B977C75DC287254AD9CD98FB919C0118F598B9D45A0BEAA201076776926A17DF21063F1865A400679F6609FD274676208810513E82721439B3C808071C1A7C78913454CA569F32255E2EC44D3D978BE0C500C3DB81C54BB078F4A98E13A8A7D7958680B58940A2BAC89A340A986156009B477C0411742304780735AE0D255F0E175709BA6A46CA2C54FC493FBC5F92B9B318452D3E78AFE8937E801B73E9585DAC18335FA0749184148BE220B418CACC42314DB2B4CD310FB4881A1DA153D332CE5B6658A6A361BC777E60E67B3BA70E3013944D29150B3BB04C91C4660BB3B6DB318D6217E969B8537CC54E5770E3246D81137562354A68809B13EBC537285557000B33F20FFB494287A37262C3C3019419E0A652C0F11598AB02B8393791824ECC0B4A0E13AE00550DC156A4E8A971A8EC815D824698771E576844A7F9C95518857BA722F63AB39A67AE5E47C3A9DBBB2AE17DCA56553C1A3A7F156773E82B100BBC44704906A031E8F3B11A84707380B75004954154124F7488AC16CE832157A4132AE7FBBE52C623C478C1EC673F5308029A63CA16C6BA2A7064F9A07098A2A6DBB74CEF24C0359B35F0C00F1088932FEBB712561C60146EF56702817B49E4664A22847188D03DC87B66EC77AA00D3B535662BC45196DD30CCB8E5AE0BD41E68C501F7552D512973727456143745556495FB2513DC909E83C46946749BC5EB6CF736BB0598329FAC9F62237038FCB2103C6BD83BAB6DC04B5BA05572767C0F766D1454498DE9AD5B9B1FE4CBA0AB728A960014B746AAB1F521B94600A18B27CB6C9B7D12629809782B64A6C108C44BF792F1FB4E6C4B7F9769213745B31023ACCDD0A5D9AB4E38C8AB67E73A17C0BB9094A72702916654078A5416D22623F9228D26B010567375E85975B000C87EACB7F4BBAECAC08FC2F432C9540BA1B10F5E7210E8020A8274448D62B398390939E6B5D9EAB02D5964C1FA1582A8BADB87C2E8DC9942599CE1B98B5DE477B26C7BFEE1C3D2217384E390E9B4A6243986D66B49B98122D929C7A6137AD512B6E12431558A5F9B959221356223F8834F00C6D6377C5623AAEE2A0E193B3E79190FD4A1165100A681C32D9DBA6D0C3A21085341C85019C4A773F0E470EFE84627B810DAE01001B9524A8A58E791B089E506B41823F62B15C7F2CC5AD4ADC7D4368D2605512A52C26273CBE1D5FDB5B69F9E62AAF5E857B659E99351FA4097AF275896C3A2ADBF8C53BE160E09F7ECE7E0B4D1FD43DE26D09CFDE79F06F7CADF821CC993DDADC064D87174982DE93A3B5582F20F7E36B28CC39109FEE8E192FB1C5BCF2C9CA578742153
testPassed = True
reason = valid decapsulation key
pk = E74AC5CD495E98F97D8F10C80A1CA09E39B06DE99A96EB95018C9FA97C292A2896EBD24B8E739BB459953D9869CD336559C02AD9594044619AFCC8755ABBADE5D151B5E0406C15352BBA786A51C805754933A5B3EC6447E82C228211604D777CE66CC868851F71EBB1E9573B7EC84E4C38C5673B850C97481614B22A6BA7462B85B98B94A8A626577A4C14A85ECFFA0004C6A54940516CD05BF2E48F96827559D63AC2D21BA7B6658FAC27FD480E4A22A010475F53D4816FD12451B1BD3A5B7CA8676C5A0B081554729E37CDB634C084682A9B44A53BF086CAC726F115148D8C92C946645BD7B0182CCD997C758F3B92A5BB2FA036678014AB11367F7F60A7FAEB3573014901EB5330202821258846127DAB637C8BF2A8BD93810264CCE9FCA73F86C56AD1AC76654798A50D0D583BF57185A1C84927F3B9698480816C83CCD7A6CB19A755F13BBC82833AD99391520E0EE41C31264712599E2C56C14ABB721E1BBF38D72A009C6FE71B545996CD609AA1640820267694BE5659963A3BC4B088D126323CFA9D77542950D595C6DAC6FC35B3DEA409C1513C929C01650459E6389C6434A1E13733DF539DD03B68A54A42299A9F1B4161E84809345CC8B241C69F1B346FDBAC76E825C2316F8DF8746FDAB860567E7C15C056FB9839579CDCF686AD6CA6D6A946DFB03F0B294B2DD8B3948CA55BA72F22008F2EBA755901020A379464A91B95908FEAF85DFA58B42959C0A300C0A9712D30625AD4E229ED18C4CFC3919A6899D5F4915555A1DCC3B8172C4D5826BEB8DCCB9482CE6CC3C1E1A6019580168DB9CA57B49DFA5CB592B2183C98382925841DD147D3B2CF875192D5042A9A535DD6093333A20FBF08A95101257323B7674015D79CBAA695604474A05D1B6222472C90A6015952141A7044B15542FBD97A98D829D98B952ECC8170D87D5B969157B86D0D4CA43304B0BC654AB1363687EB5E2E149B6F18ACC9BBA0E66354EA675DD7B6B48092208A4965A31AB8E0E91F3AC61201E8B4ED5A199B98514C72478CC36E72595AC0A80A8CA3B9CF444B32962F94E3939F6021458B6D988C9855209DDF45C818BA8ABC5916F9E80538E1629BE5B213544E99FB1AEBF96982D23CEC3CA8BED5AA8A435D7145991FEB566D5834E169068937B309FCB59C93B68470A831EBBC7FA3B8A197907A1C77CBE89A4FAB9B4CA23D7B01C4CDD5B1AB87A0968648F1D6A00D1CC5F9772AD5711874D9C6BBC466DC238A82229D0916220A7C5882997D094CCD045A829A4C959F25513AE41494096C15CBA262982BD1AA6FF8EC6BB70179054827109BA1A4666CBA4712C1419654E59D2AD22D3863864D03A4D5C210B4F42D1A105EBC70B7BA8B3F5C36C4EB955B1F7C8DF496590586085DB9A42444997D9728E42783B559C5AF1743E5E409D654CC9E8495A7E7CDDE065FA896A687449F40705FFE15B88256107A887C8CB058836C1393C50F69A937D3D64CB5163B1E11AFF3884CF35B23F1346A9B8326F30421E6623134F478D5F010E6C680D803A297B244F6C54865FB2EB38175F57C4A0D399D486984F011001FF80214575FA3534E7384BD5F5C78AF18A0C1E99F14CCAB5D13A46591935DE32794B30FDF034C2F4A24C81AE989532E5F50877738FDB5D3BBFCF7C2A539649BA7921C33
sk = 3E924FD52C44E3B825F65775DC2CA1719C655A255F53EB2CE62870140680D404172F767EE4F50F80ACA1DE29257F643865ACBA3D9558F7EB28AC3A5AE06B2FE19C60C104007E31C1FC4CC0AE2C4D0A774F1B80B967911A22746B336ABC9F64C0F3E42752F6A0BF7A3402AC3302E149BC9AB22C135E1B2A1547B55E6E6C12025578B4294BFFD7930E4C33DC524A0C6A9EB8E1C653632F2A004908064B03CB0D0A5024956CBFDE360E061C2781064E767C4749E87578664E29595F4C4AC5B885550BCB1C24C21EBDD51F1447065368C643A43FD67AA138F3CB8BDB36EDA21E1CC5A0EEA33B5E63A4E65B1F2655618412A49E200CE6D7CCAFD45BB1FC1EA22565FE21039931A5C38BC5FE64C3893C1C456454BF9B8A9151184EAA60E37C5701990CDDC0CAB7849923770653CC3A067A2691C28C562AA236D50565E5AFF0C84AF886B4E7B17FFC245C9784587CE9B95817721C874798806EE7F5351103AF72350082CB1CCD3047203AA21BDC7AAF967DB2D022A22697A35CC6680A11E4796F7DB957AF81280E460AE5E10FD495CB55E00EE8296735E90F7E7001DEC3AFDB45592E8916D7FB76B565C701E7CBFC193FB9B369DC0443737200739083922924267326049B4CB639065B154AF937796C1B52F42C69D33C1146E10A23231214F58828F1911D2311017206E78445DD2070664B7374E335910A0B837989AB8A9DFCB0AD02371949748808265A40518B3813B05D64052A65343DEA1C97A98624C1B11EE55F65E47FC116AF0F7B1B2BE1708F970C9DD475833C6626E3A1D044180938CB01F38EE27267E60273467C61F09363DD376DDA3A71F93223BC890C9C61CF84532CEB676FED2A842A4902A1475D66BCC2219957A1077F2B6308BFA9A388E8B81F6BB693F7088C1743042C6345ECC10B28C68F61B10E9CC76E997D7D4C980E544504C4C35D0C1D471014A74707ADA29429EB6C4BA7409937149D9728C1FB4A221C2AABB68F0BF2AC5BE8CAE8E67AD27C4B00D560BDCC39F1A881FF528944A7547853C19B9C9F93BCCFAFD8A20545AC9E7405F517CA73F2CFD711BDB93503CDE026F32062C9C34192A8C87244C5B8E137C3704BF5FA6B730CA2543B5234522CDFF53E8018C283669BF1A82F979A936D70C3F261A9E1F12CD8C412B640309F751FF34B84AC8205A9813D78160A1AE330E7C6491100AF1725CF99291BB147B75AECB0FB012E2F9056CC4859D48046EFC317ECC61D87E994F7F34DC4B4000364CED1721C056B387C904424B32218121C5A5B7A70B80C3AB2A43C3C08C9CC92BB20B4A29854AFF7852CBA48465BC1F1B3CB9B3C3944392AD08612B66C46A0A846B947C4B67861A91250D36B10AD075FFE0A8E01E20A94F93B68F91C11E2B6EE8904BF181005BCB7A429263D67AD72FBA20CF27390893DFE666D5F97487A365EA109A8F4C07DAFC010365C67D1FCBF28114C483981B3429524B93268324D325814E66080FAC5955E26709EE7B9A16A81BA5CA6A2C572BDF3C9EA00212650711DE89C430B8C0A85766A345ED7801F884C77558BCC960CB572A2B264F0A289F8A666B6BCD43AA3793CC92DB8C5DEEBC4A69019C4DB0DC88B0FFF27C7F3986FB5D5A125EBB58A9185E74AC5CD495E98F97D8F10C80A1CA09E39B06DE99A96EB95018C9FA97C292A2896EBD24B8E739BB459953D9869CD336559C02AD9594044619AFCC8755ABBADE5D151B5E0406C15352BBA786A51C805754933A5B3EC6447E82C228211604D777CE66CC868851F71EBB1E9573B7EC84E4C38C5673B850C97481614B22A6BA7462B85B98B94A8A626577A4C14A85ECFFA0004C6A54940516CD05BF2E48F96827559D63AC2D21BA7B6658FAC27FD480E4A22A010475F53D4816FD12451B1BD3A5B7CA8676C5A0B081554729E37CDB634C084682A9B44A53BF086CAC726F115148D8C92C946645BD7B0182CCD997C758F3B92A5BB2FA036678014AB11367F7F60A7FAEB3573014901EB5330202821258846127DAB637C8BF2A8BD93810264CCE9FCA73F86C56AD1AC76654798A50D0D583BF57185A1C84927F3B9698480816C83CCD7A6CB19A755F13BBC82833AD99391520E0EE41C31264712599E2C56C14ABB721E1BBF38D72A009C6FE71B545996CD609AA1640820267694BE5659963A3BC4B088D126323CFA9D77542950D595C6DAC6FC35B3DEA409C1513C929C01650459E6389C6434A1E13733DF539DD03B68A54A42299A9F1B4161E84809345CC8B241C69F1B346FDBAC76E825C2316F8DF8746FDAB860567E7C15C056FB9839579CDCF686AD6CA6D6A946DFB03F0B294B2DD8B3948CA55BA72F22008F2EBA755901020A379464A91B95908FEAF85DFA58B42959C0A300C0A9712D30625AD4E229ED18C4CFC3919A6899D5F4915555A1DCC3B8172C4D5826BEB8DCCB9482CE6CC3C1E1A6019580168DB9CA57B49DFA5CB592B2183C98382925841DD147D3B2CF875192D5042A9A535DD6093333A20FBF08A95101257323B7674015D79CBAA695604474A05D1B6222472C90A6015952141A7044B15542FBD97A98D829D98B952ECC8170D87D5B969157B86D0D4CA43304B0BC654AB1363687EB5E2E149B6F18ACC9BBA0E66354EA675DD7B6B48092208A4965A31AB8E0E91F3AC61201E8B4ED5A199B98514C72478CC36E72595AC0A80A8CA3B9CF444B32962F94E3939F6021458B6D988C9855209DDF45C818BA8ABC5916F9E80538E1629BE5B213544E99FB1AEBF96982D23CEC3CA8BED5AA8A435D7145991FEB566D5834E169068937B309FCB59C93B68470A831EBBC7FA3B8A197907A1C77CBE89A4FAB9B4CA23D7B01C4CDD5B1AB87A0968648F1D6A00D1CC5F9772AD5711874D9C6BBC466DC238A82229D0916220A7C5882997D094CCD045A829A4C959F25513AE41494096C15CBA262982BD1AA6FF8EC6BB70179054827109BA1A4666CBA4712C1419654E59D2AD22D3863864D03A4D5C210B4F42D1A105EBC70B7BA8B3F5C36C4EB955B1F7C8DF496590586085DB9A42444997D9728E42783B559C5AF1743E5E409D654CC9E8495A7E7CDDE065FA896A687449F40705FFE15B88256107A887C8CB058836C1393C50F69A937D3D64CB5163B1E11AFF3884CF35B23F1346A9B8326F30421E6623134F478D5F010E6C680D803A297B244F6C54865FB2EB38175F57C4A0D399D486984F011001FF80214575FA3534E7384BD5F5C78AF18A0C1E99F14CCAB5D13A46591935DE32794B30FDF034C2F4A24C81AE989532E5F50877738FDB5D3BBFCF7C2A539649BA7921C331A0B704D061FAD7BE4A3829C22E767644094E959F9761ED53C7742EA92B8F3A5182030C86CDD7F133D0CF53B5535F443CD8A04798D12733BAF1534383665DFFA
testPassed = False
reason = modified H
pk = B4552FF13917A2A13294F51B1A35AB1493004C8A005DFA7E31D82D09C5BC6DA369F7A14749F28F1F3B6DD8F56624799EBE964A25B9C2B704C2AEB21E114179D94B5F3DF2C7891722658803E5F272D799B8E3E42815B31EBCB633B782865121A228E859471C922148BD6F4196F7737A8C3B7055334670DC96DB9265EDCB5D0856B89983952320471F07984027AC0002C7F3D40D06C86C58A142EF73AF819202B4558D40764840B7CEF596BCD7B2424A252BFE14C60C743EBB819C6D63C15EB6AA4011C06358735AB01BE3C251ED6C1EEE66BF852020CE3C59FE220EB073B83EC2515D679A9F531A6D7A611F2A1A9AC16D8B3BC6142314ADD562E0CB4BAFE04047C196EF0992E6E4C3CDDA46646304224706A236881031AE78D07589767C90BBA4EE66BDC44104E1F05488C10E171017FCB7CE0A7CA18B00CC30A090B3981E0BA0CC3C504A840154D8005BB4F41AA157B07511700EA7322A69154C305289483F008D83B4FC54B595A40543051A063A94143EC85B3B94E5B44F2C32892B795070983163BB99E1932C3528BF4066524857DED777D832AADC352CEA33597E71AFF27B069CB857943A961B7535637C984294815C819E1B91AD1A70AC880174A7E01EC2AB6238A4C6A100CBDC26048B42C4204B442AB51DB448ADF57735C05C3BBA169B3985BD8661777CF712E300550425B4BCBC9A87237E5D79B308D56C93008055184F9DD3452BC591FA2333E775ADD2914F4141A196F08C7449ABFAD12451644282B9BFBA7A3F44F34A2B35CA388B1D03D23B924B3451003E9F4255D0B68E0B8B49EBB09608C83568CCBF4B86A594291D23D96444A8A46E6C1B148580FD496F962C4AF568A4EA30C4421040DD97AD3749694089449F35C11FB66754698C9C1183651676BE2349A859CAE3354205F4B349205866373C77F670B9D80E3E1CC78F92C196F464AF97BB49719B4ABA0141715334662CAD1B6034138EC95822CFA31ADEFBB6643472E49878723418AC5847EF75C06DECAD06AC8399E58C977B73EFF7B43D8A24BDEA9DDCE7B09E710C7D3544DE626144AA994C3584ABA651AE53B326C3887B4CC811F64FCA7C537445763416B9DBC483BC2018C428A7F1955F7F4013FBCA408E481BA575AC71E6477E5BB81F2858FDAB4D85C13C88670099FCB0EE141832774F07301B4E164F3546780FB0150DF168B7B624B398204D4662E4036926D5CFF8DC5C99ECCAA2044BF8D1A510DAAC0227665F68A105C34A540A936DB23CBD1B1AAA4A80B00B6057D257F4C47B9623C84878B29E3A6759C5018CD87613D60714273ACCA85C8ADAB5C6A7159D948E5EE6581574C858869E80417AF10021FC20A6E19A09CDB7BDE1EC63E02A22102379342B22CB98080C0A8D1CC99CFFA9904315BF238A0F6FAB3C4469CDF2812B6A4045BC420754A2A3F1CAC26DEA7B4CB8599EB3AEDE645C799324FC17B771584C5C71193D63C0A72C8B9120CA0D049A3F0C7DB500BCE959053F6541C8C67BDB424435AC276647061B539786FA55BC5074F1D31FBF5C157AD9406B256F5853002014C32261A9DA1487DE207EAC97B325BBA7D499588A945A19798AD87758DC546D33CA1AFDD669EF8A547137B6A65374F255499912FFE616051D316DB1D6AD983955C2577057F32EFF77D1AC2F56039EA921B3
sk = 7C601AA9A763DEC267E18B86752284B0A2437CBC52F2278E6EA2158D751E27D342D44AAFC7804BFA9949A7A61C8A68A5150416D138116C6A8D694B424C41ABC478CCD089A44EF15DEAC24CC5791FD375760DB1213D2566BC1960EEC9A1D9C3BD97883BC66A47D3D69616BC635A442328EB4A10F26564DAA295CC4991A62C88056FABBC4A22341318CC55CEE241F90BAFC2A16C1236185090813DD332C74128ADA7057FEA1AA11902EB298487E334B3B826A762315F0A225AA24FEAC78AD037ADD571033145A5243C1FD7F81FDC26127AF46338818CBDE135FF0619EED6CED2415166531C16E877AA6BAED6A19BDCB913370839AFF087C086737D181AB1615E96568608121BEEDB92A6C132F79B84EEBB4914E554F5538B8FC97479C163B7F276252AB1D500626D330190ACC88A150A60B2A135363363E7B5DFC97F2A493829F66A69865F54887B7671BEE7FB1C09D1C1FD7529B9B81F176A932798179322B3ABF65BE1FA05C14B54E6B38094173236C428A2A84DB47C7C145540155442F8919A450686015221AA660070204689B2308AB0427846C81416A92FE696F5A51EA1ABB230405FC32070D9314820077125A94C9F9425AC867F5A499CD123A035297693B099232CB91A6B38A7CBBD38646FA9CBBFCAD8435D27A4A440A6F1026B4266C5D59372A8BB2F698CAAC34A658B09A183F51CCEFC88A99570B99BA3DB005EF70A6C359C5B549880DA5610C2D49AAD1A4683F2C3D8E2A57861A83D3B1774124A20A009001DB39E8B98E3B4969337BA7F1A98BEE89CE1F708E8FBCF03C0725EEC6508DCCE7EA1C471938536737A087971079B8DACAA20ADAB834B03112E344E23D47A40E5B35A03BB882030177320115137894CBD57706E628622472AA56747B7BAACC34D6844481C42AE485B3DC549434C3676135BA916A7B49B7C9352026C5C02E9D8AAC9836D68955B4F4986E420B3D0915B7A05233CEB78DCFB027B2516CAE8C38180203E5C944EEA3AC2375D89B3318B173BE8683866B1797DC62D0D62B214C48A68F2A95C4A214D13913C19131F33C29AB58DD1C6C8ACC413C8F62879928A43356749F10AFA8B0C71358A32F5623E5ACEB07AB7E34013293050C550B9F2F7773891283DFB9786EC67191190B4B43EFD9C8192D6758F51739564841097349B03A7778B91C784766E5CA1294C83864231C12102811A533A2824800173A97299A9F929E3E6A823661DE81CCA326368A2C664A2B4C234DC37907A7FDA67069F230181559C4E886F76E045195BC71A280A729480BE2B6EE1CCA78953C83C67105BE3ADE2B4517CD26C7AD51BBCE11C2777116DE17BC0E8517BC2B9F42731B6312E2C5B97661048698C3E4EC04E5B8299E20394BD2889F7456767053D9D9C41F685132FBB07C7382E767AC22CB94CE367741C8612DB76A4013BC042F897EDC3CC5C0C1402767E98C54C19191FF9726026D94355A04E6053007A1A1C5C9428F9A971BEB41C68682D1817AC5645B443E14080665D11029BE77825281A443C157BA5DCCDB8E944F001C05AAC5617B49A7650A9162A04687C40C164CD9FF26216717048E668DE12BC3BCC16658389E13150E4E25392ACB0C0DA307BA0433104A253735BB4552FF13917A2A13294F51B1A35AB1493004C8A005DFA7E31D82D09C5BC6DA369F7A14749F28F1F3B6DD8F56624799EBE964A25B9C2B704C2AEB21E114179D94B5F3DF2C7891722658803E5F272D799B8E3E42815B31EBCB633B782865121A228E859471C922148BD6F4196F7737A8C3B7055334670DC96DB9265EDCB5D0856B89983952320471F07984027AC0002C7F3D40D06C86C58A142EF73AF819202B4558D40764840B7CEF596BCD7B2424A252BFE14C60C743EBB819C6D63C15EB6AA4011C06358735AB01BE3C251ED6C1EEE66BF852020CE3C59FE220EB073B83EC2515D679A9F531A6D7A611F2A1A9AC16D8B3BC6142314ADD562E0CB4BAFE04047C196EF0992E6E4C3CDDA46646304224706A236881031AE78D07589767C90BBA4EE66BDC44104E1F05488C10E171017FCB7CE0A7CA18B00CC30A090B3981E0BA0CC3C504A840154D8005BB4F41AA157B07511700EA7322A69154C305289483F008D83B4FC54B595A40543051A063A94143EC85B3B94E5B44F2C32892B795070983163BB99E1932C3528BF4066524857DED777D832AADC352CEA33597E71AFF27B069CB857943A961B7535637C984294815C819E1B91AD1A70AC880174A7E01EC2AB6238A4C6A100CBDC26048B42C4204B442AB51DB448ADF57735C05C3BBA169B3985BD8661777CF712E300550425B4BCBC9A87237E5D79B308D56C93008055184F9DD3452BC591FA2333E775ADD2914F4141A196F08C7449ABFAD12451644282B9BFBA7A3F44F34A2B35CA388B1D03D23B924B3451003E9F4255D0B68E0B8B49EBB09608C83568CCBF4B86A594291D23D96444A8A46E6C1B148580FD496F962C4AF568A4EA30C4421040DD97AD3749694089449F35C11FB66754698C9C1183651676BE2349A859CAE3354205F4B349205866373C77F670B9D80E3E1CC78F92C196F464AF97BB49719B4ABA0141715334662CAD1B6034138EC95822CFA31ADEFBB6643472E49878723418AC5847EF75C06DECAD06AC8399E58C977B73EFF7B43D8A24BDEA9DDCE7B09E710C7D3544DE626144AA994C3584ABA651AE53B326C3887B4CC811F64FCA7C537445763416B9DBC483BC2018C428A7F1955F7F4013FBCA408E481BA575AC71E6477E5BB81F2858FDAB4D85C13C88670099FCB0EE141832774F07301B4E164F3546780FB0150DF168B7B624B398204D4662E4036926D5CFF8DC5C99ECCAA2044BF8D1A510DAAC0227665F68A105C34A540A936DB23CBD1B1AAA4A80B00B6057D257F4C47B9623C84878B29E3A6759C5018CD87613D60714273ACCA85C8ADAB5C6A7159D948E5EE6581574C858869E80417AF10021FC20A6E19A09CDB7BDE1EC63E02A22102379342B22CB98080C0A8D1CC99CFFA9904315BF238A0F6FAB3C4469CDF2812B6A4045BC420754A2A3F1CAC26DEA7B4CB8599EB3AEDE645C799324FC17B771584C5C71193D63C0A72C8B9120CA0D049A3F0C7DB500BCE959053F6541C8C67BDB424435AC276647061B539786FA55BC5074F1D31FBF5C157AD9406B256F5853002014C32261A9DA1487DE207EAC97B325BBA7D499588A945A19798AD87758DC546D33CA1AFDD669EF8A547137B6A65374F255499912FFE616051D316DB1D6AD983955C2577057F32EFF77D1AC2F56039EA921B3BC5D16EFD6D117A3373344CD354347CF0F27EBF76C234772540627D936A71A70CD7E13691C4AD936FEB51509E34D86B89D23CA8EF0A72466DB1FF47BDC6930E8
testPassed = False
reason = modified H
pk = C6B6965EC7ACE039A10DB8B560D26DEC38002EFA99D5B92BF1755B5DFC8CDAE88C4CCC163081B7EB7174640579A71B6FABCB6893506F9B87539EB6BFDBB5A8C6B575D003910117AF57404C06902630356EF0989288D9829B10BC1D612D54C709C6FA72B496CE8D2A52286672ADA9CAA98259AD9557FF497932307F4A67994DB0BCDFE9240A071FE153A93E87931E9A3904390A0CA39AEBFC6B573813B7D2A32CB96FBFCC4C776011B3139FE27A46F1453B2A3A8A04F39BEB3ABC57F4215974500B66348B1C6D73A436F3B34158A82773A2A8B015A475919F4703177102790236602DA5CB7D4A2340B684DE15A1BF9293DEBA901DC9443EE2A829C6457D3CA6EDC53AA101ADD5F033AB1BCB8BB4ADD1C77D2E303C5745785C1C7D2DC4375EE99F86A8736A02C618290D00F5C5A8F990A8C91CB574913B65110C445CC89724D88A7F72900CC3539C8B33122C16093E963D56AA4533B722BEA44B79B8A2E40640FD352F0E2024CEC76076D0343AD199C5E1060D0388A2755A18439846DB0D9BD71BA34787FF09833C5B1244D17B09B2CB67C44485908249617A9AF6887B47630C987EBA50463D6A68BE13AA53B63E58823DC1D04040251B015713E1248A75AB8250F24E4D44A42F147FBD842AED9B6159979A302B982E5078F41965237A3BF19C1F7B9661C3C61279B63E4EA23F60E886516C556805BC364C8A8DC28CE8F3068B67A009F674E1E31A3F378C518503B0987A348C421C7BA53D2260C77CA6EF43CCB745A19DF45515856E59B48F50F2C975087E64D5217DC633A3FA6E5746444DC56DF6A536EB92162018CB99777822936F76971863F4804009AC14958B3ADC071120307F8C02FDB6B3C112307CDC0BADD8828AE61F5440CF7381618F3A6F6B59962D285134418AC277C894973454551EEFE706C7F966CCA096EF192534058D0CE87667EA9CF25225E8F33656F270577B1D4D87B7012B43F8B4C64211CB1F6057ED444D55EA8887EA026A3CA7A4A091AA584F90981F985CB21BECBF82403C7F41C313B2BF8BB32A8AB19EEE251EF9865A35688EB7966CCA043F3579C80D015FDF35CD15EC122A91CECDD550F1853B323B8481B601C6E5747D1B27B24CC12940C6C0015B0E3C9E1CA173C3B87E5B5291789C5C56A96E16D050C4F447EBA3936AE084C278BB70A524355A6E7D2490EEA732D5743C8EC734DB142545EC5147A998610829C8EC38A93457E3705BD9D43A9064250D897B79EBAF94D43E12D65625D8B761324E2C825B7B48345A1895368B191AF58434D405F0820FAEB29037B69FE7D253CBE93E5DA00CC90096E20A8686C42FB6E3AC9E372130F9B14C818EE1CA2F36BA373E6585F9E80FE0B969F11A1038CC5D55D3047646AFFB63A1670B5A551B3A5470C81F57391A89BD00641DDEBC0546A36871283EEB57A9D86B5B02734D7EE908C1A2C43A88624BDBA1417321D9F2052AC4B9B9800FB71C2C936B851BE1CF4E67593EE8C473CC20EFC4C416C7B92FB61DEEC49BFE0C4168D2234F37C161B5419BE7C577883FAA753B70F30C31C420FED99DA1D9B255296442974DB1C480D389769D562DFE4A9238DB49EDD25196B43BC8D9352EB5CC5B75BA9E744F42560828F100D0D27661D8206FA62065476A97F68835721751120A4D860AF9ED72F7A9A7B59A
sk = 8A18821E3747D4173BF19A573471A179E953D613B17A6295C3A11191118AAFCCB59AEB6EAC725BB90C1012B9A4AC94B37972265C135AE55007DAD7BEED130FE52764AAAB7606D025FBD8AA1C68371A5827D2948822732B66EC4A6C030796323AF6A9091AC5581C657BC920CB302054313207C62B9936A415460BBA8923C0120BC90018401FDB2FA328911FBB45114B6ED737A010B6B23CB893D59A93C47A784C9719D0738031C07296CA4654D4417FD171DB217CBF34A709445D6412A79338AC7EB2535140955468476FD59AE7AB62AAF88478EABC67FA5307A7C86D116941E082A1940785EB2E1DC2AD47D03F3F730FC3B896E40C0533552C3D087E962BC228035C62F20979207484BB87B7A8649CB53B46118D8DB36A580CD0D03A01DFD727F5CA611ED091CFF19553F4715AF88A16478F40D4C3ACE002CDA21BCB19C4926B83ED0A201452C71A84405C66C5EBC6501308083342856DF2ADAE930BFFF9531B942AC3576D6F8698FB957B6C0605A9433930F06AC9A8BC1C32A836C224B8F432D48A4D203CA652D21253474AA718545E63A4655C9E808471CC371217AC8078F76B7A1A1F8BE66FDA2577810C85A9925FB60CC56B675952D7A36A4A8C09BA15E923BCAD0BB31E1070D2D3A6AD31665C348278AC645845B182D3C95A964B2AF60F0A3BACEBC7AF70723F802681F2415305C9975C17547606482F4B01379199336292F255130FE089E622B8EC7B81342B240EA24ABF67B718B2CCD1A1C356B02B1DF024F39A7A901A1D3E21957D950B0FD727D4F9B94B8C5CECB52D1B1957451906681B043F8618A5590B01C811CF84AB8EF4C92A54B61178866C1687FFB91CF34CB3FB773A74276C4AD244D89728D41449516A24EC839692872D6D7575FC9BB417BA5D6C07A90D728959F904540779524BCC0E425BB5B57B92D246FCD11D71F5B5FBCB5F8EF906DF0A2BED953A84C98D07D25D20E25CAFE526BABC1795F1B8F47B81CAD655F237B0EB1986893351019923CA786BC005A94E85A59E6503E276A40282C299752864A722B6683D693401C192AD8A16A9ACD289A804BFD6157522342D56B374DA98210DF34D99603D91544FCF0A2BD63AB13A0A62478666090A30A14C0FD7B1A60F662AF3314A9D03B4D6A70C92FC8DBDFC7156E9B3A032CB2D621A8D1C6F1C990245FC6F950A0378F2C44A55C719D322E801A89CAA2E2E93C3FDACAEAFF9A266AB8B37A20AEB3615BD8CC4A48432E391691AAB0C377C4AFA27256A26B2F4866284AB20E591AFD6E3AF29325C3B28A71AC74C63C06601E391457541E009B7EB299501891DE9B833E187409E7CA93F035EE264ADE78766630910D9840610C84D9B70580D8940711B72D2BC1842F523F001CE0566570CF48358C047C55A9B32FC75596157F911BDE0E4889AD806E2234CBEE6711D55977134C0A2B86AE266135F4A536563B1031BC67419AEDAF773CB64A15ED3C3ACD82D9FF3C58BA5165D51CAEB59C98E352F9C6342A052135893451CDC9421D40F01FB8DFBB11F68B50713732C6D4519B7153846C653F7391C2D2B13FD87427A928518E78594F87022615F8D9737E5B4C623B7B331007ABC345C0818C66452896AB204B5A9301F6054C6B6965EC7ACE039A10DB8B560D26DEC38002EFA99D5B92BF1755B5DFC8CDAE88C4CCC163081B7EB7174640579A71B6FABCB6893506F9B87539EB6BFDBB5A8C6B575D003910117AF57404C06902630356EF0989288D9829B10BC1D612D54C709C6FA72B496CE8D2A52286672ADA9CAA98259AD9557FF497932307F4A67994DB0BCDFE9240A071FE153A93E87931E9A3904390A0CA39AEBFC6B573813B7D2A32CB96FBFCC4C776011B3139FE27A46F1453B2A3A8A04F39BEB3ABC57F4215974500B66348B1C6D73A436F3B34158A82773A2A8B015A475919F4703177102790236602DA5CB7D4A2340B684DE15A1BF9293DEBA901DC9443EE2A829C6457D3CA6EDC53AA101ADD5F033AB1BCB8BB4ADD1C77D2E303C5745785C1C7D2DC4375EE99F86A8736A02C618290D00F5C5A8F990A8C91CB574913B65110C445CC89724D88A7F72900CC3539C8B33122C16093E963D56AA4533B722BEA44B79B8A2E40640FD352F0E2024CEC76076D0343AD199C5E1060D0388A2755A18439846DB0D9BD71BA34787FF09833C5B1244D17B09B2CB67C44485908249617A9AF6887B47630C987EBA50463D6A68BE13AA53B63E58823DC1D04040251B015713E1248A75AB8250F24E4D44A42F147FBD842AED9B6159979A302B982E5078F41965237A3BF19C1F7B9661C3C61279B63E4EA23F60E886516C556805BC364C8A8DC28CE8F3068B67A009F674E1E31A3F378C518503B0987A348C421C7BA53D2260C77CA6EF43CCB745A19DF45515856E59B48F50F2C975087E64D5217DC633A3FA6E5746444DC56DF6A536EB92162018CB99777822936F76971863F4804009AC14958B3ADC071120307F8C02FDB6B3C112307CDC0BADD8828AE61F5440CF7381618F3A6F6B59962D285134418AC277C894973454551EEFE706C7F966CCA096EF192534058D0CE87667EA9CF25225E8F33656F270577B1D4D87B7012B43F8B4C64211CB1F6057ED444D55EA8887EA026A3CA7A4A091AA584F90981F985CB21BECBF82403C7F41C313B2BF8BB32A8AB19EEE251EF9865A35688EB7966CCA043F3579C80D015FDF35CD15EC122A91CECDD550F1853B323B8481B601C6E5747D1B27B24CC12940C6C0015B0E3C9E1CA173C3B87E5B5291789C5C56A96E16D050C4F447EBA3936AE084C278BB70A524355A6E7D2490EEA732D5743C8EC734DB142545EC5147A998610829C8EC38A93457E3705BD9D43A9064250D897B79EBAF94D43E12D65625D8B761324E2C825B7B48345A1895368B191AF58434D405F0820FAEB29037B69FE7D253CBE93E5DA00CC90096E20A8686C42FB6E3AC9E372130F9B14C818EE1CA2F36BA373E6585F9E80FE0B969F11A1038CC5D55D3047646AFFB63A1670B5A551B3A5470C81F57391A89BD00641DDEBC0546A36871283EEB57A9D86B5B02734D7EE908C1A2C43A88624BDBA1417321D9F2052AC4B9B9800FB71C2C936B851BE1CF4E67593EE8C473CC20EFC4C416C7B92FB61DEEC49BFE0C4168D2234F37C161B5419BE7C577883FAA753B70F30C31C420FED99DA1D9B255296442974DB1C480D389769D562DFE4A9238DB49EDD25196B43BC8D9352EB5CC5B75BA9E744F42560828F100D0D27661D8206FA62065476A97F68835721751120A4D860AF9ED72F7A9A7B59AC1007A00BB868902A53CBFBC57F92CAEC106A253FCB8BA3570AA08B3BD7A12BFD10BB55AEED7AE19E63D9ED6A64F55B4FFAEF1361BF9B375737965509FB6E44F
testPassed = True
reason = valid decapsulation key