Revision control
Copy as Markdown
Other Tools
# This file was auto-generated from the ACVP KATs
# See src/scripts/dev_tools/gen_mlkem_acvp_kat.py
[ML-KEM-512]
Z = 84CC9121AE56FBF39E67ADBD83AD2D3E3BB80843645206BDD9F2F629E3CC49B7
D = 2CB843A02EF02EE109305F39119FABF49AB90A57FFECB3A0E75E179450F52761
EK = f0e6fa0a8d42ea426134fc8762535b8e
DK = 8fbd4f1cdb8fd74834a7f5701878e5cb
Z = 5D473027666FECF7024ABAF175B9BC42E84768C00AE2C5CF27A668121B02CD3A
D = 9EFF3FF8252400827F3B4389E4EC07E67948257C744278048C889D0789C5BFFA
EK = 7f404fa2362fa23018ba9bcbb3fe754d
DK = 6ab0f4144c903ae41b15863d4450b53c
Z = 7A7FC526215D5AE3262985D17B00726462D1479CB038DE8C8A8FEA896A037B2C
D = C6636E8C2F87DD52A7F165A2A3BAD562ADB28CF738AA56B996B6062E95F66148
EK = f745110e2f755c010dd2b76c0d5492ba
DK = 58e199bab07ed45547a94a8dcbba3243
Z = 6E584B168BB5399D52B458A8BD122DE14EEF214515B70F38F972F41783005755
D = EDE2E63FDEE6ADA2FC6EA906AA8D92DE87FA6199AC15446B0B6F075BF9F76148
EK = 4b07bc62135cb202e520af982e4b7ee4
DK = 31108fad0338a803c73b75ac43a0cb48
Z = 37B87F960BF862D8B81AB5F56E9E24ED8EB011A05867A04DEC9BAA519AF45E22
D = CD568FB1EEC23C436C011A55BE2FD4362EF000C890BDE7611EB5C4618AB74F8B
EK = c115944ddcf7ba3e9016bc732dedd205
DK = 26a95a697319a4448fe38e08a044f48d
Z = 4B0A877F51434F70E2D8DB0A51BEB0A7572EF0DB7AC26ABC5D333C503B68BD5E
D = 35DEE1F800CA85E482BB12AFDB882FAE62CC77A338E65CA2265D77243ADAE3F3
EK = b87f3e67cd93dfe9b7a6e6e6def6892e
DK = 9fcc37c185629b224198f458485e1741
Z = B1EF909D94C56C134107B913B0ED29BC0851CCE424D0FB69EDC04C685A540871
D = D9502C86FB461300B8D142A906B766B0B42481EA9C83AAE2BB74390F882B0509
EK = b0a9ecf9906d1a31edfb4925f818f1c7
DK = 1dd784d7ce48bb87c31dba2a3b9eda40
Z = 671C8C054A52A67BEF8015DFDB5711C9197E84A5A553E794AE0811C8432FEF6A
D = 07A9BEBF21C83F6E5417A73D8CF5B527568C903B5883CEC8347B4ADE73AD92D6
EK = 1f8ddbeecabae7a46a2ccb1f4f59b06b
DK = 061f97e009d4baf3ca51319d81c8d93a
Z = C02D5CAD9E565727E19B2EFE4FA2E083F93EA0F5ADAF97522F33F416F786765F
D = F682949EBFCFA5DA31368E3F177DD146448D0E62178959FCBA4CD4F02CD8B17E
EK = 6a65b196aed41dcd147801c22f166908
DK = b89e682628bb7d5b4b56eb16d4430d55
Z = 70567D6DFD6622814417BBF673812F2D02E5BFA897D464957AA4219841A93C19
D = 170CA6BB76C065255DFDCA3EB93C772E57EBEF8C9A291C8F0BC4444BF008C868
EK = d3003692d2e3619e1b35dd277fc61705
DK = 8f38999013fee81340c30e1d5923335e
Z = 71A6E59B13B36CAA406DBEC53F3FF2F0CC529098A4C8FBFD032C8BDB8B0E16FE
D = 176719D76EE1CEA83F7751BC4E3DDD00868B5C504C79AF8730B9F7595E7914A4
EK = 81ca5754152193e82bbd643a9bdd0b04
DK = 96ff38bc1ba99cd307e595d2668564c0
Z = B63478F2FC887334C707E9D836E3104892566B3568CD32B583F8C9A0DE1A1F0C
D = 3C90FC402DA953172300194876B3B3BC958268747751346DE7134566CB8FAA5A
EK = 1c233787f1e127b386d705208760b46b
DK = d2713602b5cd731997b0bf795ae90b06
Z = 4EA6EC5384C51903758B807395181F6D6B4CCA3FA1CA24110B08A8AB1742C411
D = 24B783E39214CC39910799ADECE53B32408C19CD9ED10DEC039A9FA2CFC1CA30
EK = 6767941be8203934a704aeffd872fd66
DK = 7706f6b94ae67437467b9c32c43661a5
Z = 9FA6AA53F505506BE269CE201A1A6EF95692DD1350A7188F468D34C5DAE5EAD7
D = E4F2972F746E028108A5BB98EC97A307DC9363909DEAFC491F040B964675B9FC
EK = 21159dc7a725ffa8edf531fb593cb72a
DK = 9d0521839f894216f9d94f620c46438f
Z = A9EE7619E4F0250147ADC188649A45EB6D82DE5EACD5643CDC52E6DF8DF2F8EB
D = C5C26DF5BA8BAB4A293292BD070986A8063F736469F6ABBAB684F7127575172B
EK = c67ba6dbf388b3c2c58cff97df6b19cd
DK = b4c2b109ca8174c806312d5ca77e1c09
Z = 80CE5D65D1795C90B637C10360B04A4C21A70851F0A59D4D753F54CC00103FF4
D = EF0F6EDB707059073378E3419C8D9031D0732CFA931190EBD07FE291B1A3EBD3
EK = 8d9f72f5b0406bb00c172b4dc4f5a5d7
DK = 884fd0ba21e0f074419636128b9819fa
Z = B923CFEEC804B8C6A9E36B77B38A2886C45B1C731A33528ED2CB5A1F65E792F6
D = BEE40356679E3EAE8B0C3FA07C1BFDC8835CEC26CA194D5EFC4301481C256C0E
EK = e5f36c12e25a72fe70031e4873f00a4b
DK = cdff415f9519eda4e0982434021a7c22
Z = 1F4863F16E38DFD2C42A9322FA1ACB941DF3BDFA000A202AC621936FCC5FE33A
D = C6D5B35B90FA9AB9A7B438B57942D653CAE67B314C7FD152013B4E90BEF8201B
EK = 9aa6899513f833e5f8691c828cf75768
DK = 2a07aedf7181b8dc27ddb2671743233c
Z = 53F5EE39A553E831BE32EB490A6E1DE62FD4FE486EF58A4B99F6347759BB8905
D = 5C6051E18E28FC5719E3172B967D25BB1649D87743440F7715E860AA212A256C
EK = 0939cb00746a06fd62f811ec2f4d520b
DK = ab30938c3ba314245216066095458683
Z = 9C7C3E68F827936D8DC435942DC4925D180E6D5C911550089E1337D8BA77A06C
D = CA351B0F454DE9DB364E1DAB8AEF6E49C2E69439941935B24C00BB9952E65BB3
EK = 31c967873bbefe7e5fb5de1483094b6d
DK = 19fdc401ac22690e0923e4721c127153
Z = 97A4C9A65A82BAEC15FF165E10490976EBB19FAFBA8F9E8E0DFFBDB4D5E1ACE5
D = C467A43BF9E9CCADCE4581B53F8CA0B605583775AFCD0EBBB587907B3A813D94
EK = 08c54f02fe175c44a94c291e191a6867
DK = 195d0172714cdbdeb6e8c46bc12e3a9c
Z = 973DBB6EAF76AF0C96F0F24EF9AE65ACD854301B5F7A7892A17FBB8601DE78D3
D = D732CF45D7F44788E17C3B6DA9987495AB1AEFA233F74EEF8D3BE5B6C0C04E00
EK = 368445b2a43a16f3ad4ce0cc6a58dc96
DK = bf7936f8491b55210bd2aca0273e83fb
Z = D525CCE60C3E300ED36298A1C0D0165C147CB84197C4028257DAF39239E6EA5D
D = B670CEB5612A1287C4653B158A3CC522AAA1AA45B34A4C770DCA1E5BF3988F3D
EK = 43ebec3443ee1902dc308a17df4c0272
DK = 5a7992071ff03c0a410e737d555af0ac
Z = 9F2FC49CD848BA72FC17854B18D88ED65B630BA94A1BC5F6D3A458E1087D3A13
D = 3236CB10279681238E5B0E2F5138A7F743443379F5F1A845F3D76B75D2C2A9DF
EK = ff28a65d33e08e6e45c32c365ccf6b9c
DK = 796312132459b22f48981643c884c848
Z = 0FB831AFA34B124F7456D0D09E4ED8607DE407101E6E75F305F9D67EF7C2FAE7
D = C155568B6BA74DA317388423F8FB28585977EB858EE306CAE4174120F02A8D72
EK = e57fd68245ae523e3c26d4d721c6675c
DK = 46c5104ce54005fbffb1944b053b76c3
[ML-KEM-768]
Z = A85768F3486BD32A01BF9A8F21EA938E648EAE4E5448C34C3EB88820B159EEDD
D = E34A701C4C87582F42264EE422D3C684D97611F2523EFE0C998AF05056D693DC
EK = 4d7f7325503c06f0cbfac8cd8744894f
DK = 83803ebaf566d93aa118e8eeb33d4e68
Z = DF0F282411F4A071489A8F618E2AE5AEF40131CAC5233D6D731522720C2FEB1C
D = 444F032DD19AE7518C4B35B0732A41DC567845ABA8BD7B04A9C413A0CF2DE0B5
EK = 2046a7caa354b453064251b1777f037a
DK = 0ffa5df578365e0a17a45401c44b110c
Z = 5AA6DC620A6E9A60CF19A7B4F0FF805BDA8219522A548EE5857C3FF6060C7A2F
D = 092271D05CA63C60880AF404D60BC4BB9539E2EA12969581898D56E0AC9A5A68
EK = 5986fd55afae16f81b979672ba173858
DK = 290786c7717b148f0c7ef9644072d864
Z = 7CF50F7237A97072F03F31CFD59FA8E863BCA3AF7375E0CA698FF665661C24CF
D = BBF7574CF5F32BE49E1F39CE33870D9D6384056D60D223003B6B0C10D5C42180
EK = e9cffe92856b0dee4e3b144ea5b17aa9
DK = e423b5d9667fdf82833839b8e927848d
Z = C593627807074684B7D363441F80F6A3D185D67878702D33A4E0BDA2000F857D
D = D12CD9B65B7C58B2195AE0BE0282527BAC06C2D25CB0472628D64715F7F6A378
EK = 73d3441d89a1e7e8482295700e8f35ef
DK = e8cab9c450141f8ba532a407fefc46dd
Z = E01702E1228F530AC96DB053A415BE97749A109A1FD4057BA128649B17EC07AD
D = 79C006D5470C229AFCE7588546E52204B09F5086974865B426AAAA198C6CBA7A
EK = 1be7d1b5605ca38df3cc6ce54e17a139
DK = 1928df0684935a0eae3a53095eee7023
Z = AE51639EF7F26FD2215AD11CBE1EDEB3B943D668EEEFEE13ED5B0DA3E0A5F3ED
D = B04F631B330D83991B5C01E7F69452DFC394F9689632F8C7F60DBFAB92A9CEA5
EK = f4acdcb4ee98ac0b0f7caf8772e7dd44
DK = 7477f8339406376a9bf05f24c4b943a5
Z = 6F9FF5654FDA78774498E2643E935D21412CEB49BC393532C80C47A982418F66
D = 3D63BD6C310AFCF684292E5F8E1B98CC75B5A27B21526268444144AB24AB2967
EK = 1c134897abade750ed742eba5b684948
DK = 32fae026bc0969e1e4995a1eeeb277f3
Z = D083E6922EF0A818308FD7FE7CF5AD3A96942442BE327B0A307685C2D4315901
D = 249D48941ABC01C9290719FB34D91B05E774E70E6F0181E1783F2586E2499536
EK = 13e3c2be3fa7e36f40d188078cb18cda
DK = e6d3b5127d20329be5c0da220487263f
Z = A20ABA8A8DDC212DE825BE0D3BE57701A6B5B3A46A300D9B5945F579A59AFABE
D = E1CFB8195877B2D4FF3363BAC3B4E7BEBA6DC3CBB789B1B24215393F6C9BBFAE
EK = 1569746d88b3ecf5fadc0fa7e6a3dce7
DK = 9e7a8b642ed4046db56321aa2550dd79
Z = 7FB950A8F51DCEC4BC7A573EDDA56ECC049E5688476BD5FD6CD076A8F99A019A
D = ADC4DA59D935DD87420ACEE52AEE19CB371FD0BB498D79BA680159EF7CE37C17
EK = 6a01cbb16d0cdb07dcb0c17f0ff80580
DK = ed416379b0328cf67e8d6dd9e1c99cb9
Z = 51D509CF26799741631099039F713B22551E2B0F0297BB809DF0CC8FC3E47EEE
D = 76CDCA53F781806D55CA8D3BAFB3F4D389D712F1221E85B5E29D6A46580F978C
EK = 5405613290302391e14fd990c861916b
DK = 3f1045c36d0135a0723c5165fd00c8f2
Z = 9C330AB4257D7B87C4742C6E95B66BDF805C6A145BF444836092C6B1D2C5FFFF
D = 78AB6C49354A018BD38A39926F822A1AC4ACC4FF32DFD7C047CE0887A3AC182C
EK = 5536aab868b6c14dbf7988b5b85fdd51
DK = ce9c1629d980509d1a18d6a93a7bd63e
Z = 18EA1C7532F706B06870D0A1047AAE33D9E1FF9E9BCBBD302D8817EB7B022A77
D = 13B75620E4CB9AB9A6689F6E2BE44639BAE6C9CB7DD641AC1C9377242D99679A
EK = 7986c5fac34749a4f4fc6fac95f58a99
DK = c4a7d5a48225a8bf08bcbbc9d0e208f5
Z = C71F7E44295978FC63BF8F6A68F8609E98D155FD7A74E1FB7982733FBF8A6C25
D = 7C345819C7C327AD9571E5DF882449DB243870D686A9764D4129B21E17AC86A9
EK = 7de1925a1e47d72f5f64f50dfa0402c6
DK = 21adbf7754a7880cba2e235c848cd4c1
Z = EF668FB41F49E82EE0FE00919CC06507548321593A7ECD1D2112342608D95FFF
D = 8D6DF2EB3DDAF961FE5EB556842B758BEBC7ECB312B6D4628B323F483B77D6F9
EK = 55e9eacd562e0fb84d26b8e9cbaf8686
DK = 780f349e3d3810fc9091213ea9eb4f69
Z = 26345937ADC9104155275E7114E93D9F5847EEA73A9359358585B2D42301A294
D = DB4ED8E9C3E1AC7A35EA4B67A4EFCFB46972A984D161F79F084125D6D4AEE7AF
EK = 904debc0c949ac4b50d5606fa7ec1204
DK = a8f1092ce70856830fb31c260fd134cc
Z = 63435E06C2AA3DFB3477120710D5E7FF0DC0DA68D4644A24F66A8012FB193697
D = C6EFA7D5D500E5BF857D80EAE2A6EE6414159947FD4BE589350724FAE5E51805
EK = 85a8ff5c0cd7e35952c9ea5ad13fbb36
DK = 12254012be23e38b2d70390f71a7b8fb
Z = 8C2942B7207C2C59BD56FF9EE0B120B1DAD81B05602623623CBC7E0C20C9B709
D = 20859B01DFC60B6109E0234F3CAC7A247D8386099D83D2D447E9A21AF9DE48BD
EK = 46da9a30f3c5f22874e8377a2082deaa
DK = 97cb65d41b4f113d6ad191771af60aea
Z = EAE318341D06E0801C0CA4B873520C714740AD017FE5A158D3BD40960D907AB7
D = 409E9F3AB58D736E122EFCC4240BF8388FDFDA6759004D42457018014A335BE4
EK = 97170f541be932795e27d145b807da7d
DK = efa3ff225801380bc1a748eb447f022b
Z = EF38264520685080F52975BC957C5FB609FB0E1BD06D26F572CC5425CAE7DE5C
D = CE2CACEBD54AF1B4E71588DE9F22A6AF2C2E2AD7FD66B9FEC0DF19182E7F57EC
EK = a77fddd69435178c517ba0a76acfe420
DK = ad5b6ead6567fd8c8f81213401de4e36
Z = 17E5AE70771674BE8903CC21B3A90248D993C261B6CEEF2C747873D113869B55
D = 7E03015C5D55FD9888E730C1E60F90C5F6C2E3B1E8C7C08D869F0C1D15B540ED
EK = 0eb104624ed80f714a208ce360414cb2
DK = d5803bd4d4e3eb2a5eabeb1ae50d933e
Z = BF83E3048B021F22DB57076A885729F95119CE63FAF51A69954BCCC51E014686
D = 8590BFC9A6FC25EE7E6DAB4870DBF4B51A1F141B7C9E96230C0403E799BC68E0
EK = 733965dcc777f8f2a7e6582693c5e341
DK = d84cff90b9318b85f5edbc550abb1dd3
Z = F42861EFF7691614C3E8975AFB4E353F8C8C39E6F41BB637EC79BAA976D1ADC1
D = D5FD815092620DC42A223909E387369A74AF7DCA285138CF217BC29F29C42C41
EK = 84d8f468515e955550f3776febb9a2e4
DK = a47702e0767b346976571b59b84c0ffd
Z = 4DD0E86091649A0A08EA44DAB85DF56797F8BF46222C2DBA7DEC6374B9B2268E
D = D21D5AFED9AFAA3B49FB45245B2BCA1505E4000CDC29094A3600F5CAA49A7B3A
EK = e0445c831a82fadc1149102e1a3dd9e2
DK = 05e87518aabb9983efda833be37ee4cd
[ML-KEM-1024]
Z = 99E3246884181F8E1DD44E0C7629093330221FD67D9B7D6E1510B2DBAD8762F7
D = 49AC8B99BB1E6A8EA818261F8BE68BDEAA52897E7EC6C40B530BC760AB77DCE3
EK = 55391a7d8b659c30914bc10e429a01d9
DK = 845ebd8a0f891cfb33219884a5af4dcb
Z = 007BF379B97DA0947F2E9BFDE3359E282C9CF1D2E68A80209B533104E90F432D
D = 2D229AB46354901491476CCE8FA96E4A5FBA65AB2F538FEDAA528E35687A782B
EK = d0afe23c95d8bd25fd6b29ec18da543e
DK = 1971bdbb6d0e34b38151903954bfdb4f
Z = E94F4E83E6CAABCA9E319D40F6CE0E3691B77C92D9E3766BE9B6F4B6DF2E640E
D = 1D65D0290B15903371D616D7AC3F2FADA8CB24E6C84D52C039A10BC1288C1110
EK = d6487a7f9661645782274c31502efdb0
DK = d80325014ee709244b12cd0756c3a123
Z = EC54F6E1E7FB12B796D0E56BE6FE3BA6EDAAB49B08712318B27D229606D2AC70
D = 22D19527844F3CDB8A342620A96E902AC7C36E54677ADA6FE8DB08DF4EF3B36B
EK = 8c70fbe655e1aa405599fd415133acfb
DK = c8edd0693c533ac62d693ea51e93f453
Z = 5B78F8D30AADB59FA617EF807D5C23113A9908342F08E898E02991CA1D7B934D
D = A00D1EE4147DD57B5E76C58A928DED0B720FB2FB6353780B380B5FBC76712E5C
EK = ab09cc737d896ce51978817c859e1d97
DK = 42482b6e7c45ea4e51e60144991c80aa
Z = 384509DB0E97D4689A3CED953CFBFFA9D3B3B87CCB0C6A360FC0DF3CBCA399F9
D = 2C34B1476753095D0C8A48A00136F358A98D1416E5069CBA4540C6E26FA3634D
EK = 9d12c056ab3844b855aa0417e15d9203
DK = 11ec125213806e2727ed3a27875bf6bd
Z = 63DAD9B127F98E72A3C65ACF4B172FDBD9B9C39F24F728D1F40EB02C9949419D
D = F742E7B69E27A57A43E1034CEB5834CAD57C380ABE259F432F96FAAF27F981A9
EK = bf1cf7592e4bc23d69cc38838b4284a4
DK = eff311d70ff7e20eef2fa68c73debf02
Z = 0A755A829F05597B2F2A90974F22FB1AEAB42892101222967E3A0AD612CEEBCA
D = 3BFC9A057D979EC03A705A9CC406DD8A46C106941AF6777B1D7F79C1508D7B24
EK = dba207b32bb74c8b58dadcf28826ac72
DK = 5f298b86c698676c37ad4c136bc132c3
Z = 681F088AD6962FC397A1B9071852848CE9A7EDAE65A81485CEC87D0974707B7E
D = 7C43F2E7D9B1D8D9C41D9F315E052A254CE3A1F098671773B53717A95220AD55
EK = bd2c85f424f6e97173e4acd109b417fb
DK = 3b231cb74163e9e614cad7bc39a9fb8f
Z = 40BBB2C581B2D694E369C0DA567371E8E53C328A59BCE775A625C9F5CC185E0F
D = C2E1A3161F3734F44F3C2F1736E149803F71321122242A1E95E55E5652A91F55
EK = ecd7421148c9c5fbab8773faac213ea3
DK = 022f09f81788096c464fa3bb0036a47f
Z = E15F322315265F9B847960B7185D962761ED79C62286A0DFDB13DBF550CE0107
D = ACB7FDB596B44A88A60ED74A3FAD9EF745BF5BFA4902CADB891EC5CA45F685F5
EK = d52e1e6fbe122337101af9e5538420e2
DK = 59c090d7a9a57bcd6fd599d8084b90cb
Z = ABD71039AE2E2700391011D9CC8265C2D5C9779002D54E1BDD9607402054CA95
D = 0AA4E8D918201BB98464963B076E35337FF3265810723E01C435954DB18B14FF
EK = 17eae383d7392c09e9d0269646501d26
DK = 088d57eb832213db5a7539e4c8277d3e
Z = 177A8DA7AF8DB3F712E1653D05A47D61B59F4F4950549382E56F761D7126F8F9
D = F43EC0E96A791317938761FFBE97332D5D85F52D22BDA6303FE7E7107DB608A6
EK = 02c930595ff60e7c07b65168b30a1517
DK = a8a3087e85dba73d0bd101ecfc59b7cd
Z = 79E3B0D4F4AF344ED06FDE8BF4E104753E832294A3D2E4B66BE59149006A7B95
D = 0596F1E214B29A0CB7A641EA0BB157FE01FAB73B4A9BCDC165FA44C8FD5FBF71
EK = 07d85a8f1bc50d73711e3a9231b11b73
DK = 9c03ba271c4a7f3fe6f1c7d738a01244
Z = EF0F95F630F41B3AF911A30E543822DFA6B7684FEE36956D2BCF8FF080C9FA26
D = D7349F9AD546CFE9830E1197072B6ED9CA21E8E0423F145F1DB84A5AEBA230EC
EK = 81058853242f883a633af3b26a16fa65
DK = ca0ccc3d8ffc5e248670b8cfe713f196
Z = DDD4871080BD4F761D972085851DE0A0408A2F5EEC3CD3786297A782402CA440
D = F05117E932CA0E0C202732DFD4F674BF5848219A76C64A0650C27E2E55095513
EK = 0a58b8a79b77d30dc6f595f1345ed469
DK = 2444c2f0c9dede07176d70e749903481
Z = FA29BDC28D989B8C4BE84706A3CF21B36A1C6E355C88A361C7664818E4BC8E03
D = A405D9B07C5771A5BBDA2BE9F8A40D9566CAD7DA1761ED8076A289063DB4A8E2
EK = 46154c2a2765720b96f559601055de92
DK = f96cea057e1da405f1f85c718e0f15ed
Z = 08FED872D91297D8059743D3E7B6EE47548357E7F882B5BFE2F04314187ED424
D = E66F17317C40783CE0594CFB5920FF86062591C5EA4254021495749642C0D968
EK = 1c8152b794b1fd80af07b995fd069558
DK = 060650fc72feefc496f89d731de8416b
Z = EB8EA5E8C5EABACCFF162556DA53F0C02F72EE7A7DEA8E9EB70FC51C777645E6
D = F8CF49DA62AA762EC020F3766237520E7FDA4CA3AC11FBE50E6C5F9CAB3CA7B8
EK = 9e20fafe226fb4318304090ac053c227
DK = 4ec3bf1482c71e2d482ee4d085413506
Z = DAC056B9A373687E44CCAB8751BD334F4942696B9076155F9D0E5BC0E89D85CF
D = 08E36AE8586A59B8249A80D7F43506F9711FA4B00A49D182CE06DAD0CF985809
EK = 68c3e2825c8316141f0cc54a613849f4
DK = be5a2e1a72e48c541af995457ee6b002
Z = 4D727ACABD44DC48980691E0268B5B3FC1E476B3FDF9571F5CBC8DDFD400AB99
D = A491FF48028B67A407F1054D5B1CBA733B665DE667E22596EDCC31C227C2DE1B
EK = 47d090f8d3abd197d86b23c32de428ff
DK = f887a18c5bac78ab027cb2af77a118ac
Z = 4E638D8AC3662450E09D8500DED751060B7990D54F137508B9897277F65EA952
D = 7B2EC50C53A67E0BCCBA98C2E319F5AB46B6E593D2465F14B23FFA03D0E5BE0D
EK = fa0e0eb2aa5528f721ea52cd87f74149
DK = fd7949490798894f20f45af1bf9cce43
Z = 7459AB99D24C1254EEECC035874BF19A64EFC8EDC9D369C11F5DF4DC83AB5FBC
D = 16858AA7C92EBD72FB8CCD0A99D0435EDB2A6EB1B936DBCB637CF43F25D221B1
EK = ef233b4594632a950c2304c9d59b7d64
DK = d58c81240c7e0c4bffad190cb84ec8c0
Z = 4CC1CA6B662A4CE499EBE66D933CEAE58EE244CBDCAAE3C1F45A0D6947802B76
D = F788F3E21D62E74090582F310BD4FDC8065E56E8D946142B9B9CF8F338F330E8
EK = ba974a31f8b35e700aaf332a6f4a9da8
DK = a7b4afe8e406dac4126bf8aea1c7800b
Z = D16CC70224474A4D71E1F950C2D5CA72D8F08AF80E0C7F6E292C265A50CC30E8
D = A72608DF0F025B4FEE7D94BAE77BE94CB974F20DD55006A70FD39F3397A8EF90
EK = 645f2207d486a5f52998d61ae0ff9aff
DK = 9dc444e48442e0be8baee6c9650cbdc5