blob: b03dcd7624f938d91e0d20b2a6f6332bd6a7cf62 [file] [log] [blame]
# Imported from Wycheproof's hkdf_sha512_test.json.
# This file is generated by convert_wycheproof.go. Do not edit by hand.
#
# Algorithm: HKDF-SHA-512
# Generator version: 0.8rc17
[keySize = 128]
# tcId = 1
ikm = 60ab7f45b0ad534683b3a6c020d4f775
info =
okm = 2109bd244744acae2b8caa9e70f57596ad680212
result = valid
salt =
size = 20
flags = EmptySalt
# tcId = 2
ikm = e3db76e02278cbd2adbcb4555803da11
info =
okm = b28e3c338c70ede899f2a2654f2cd7e0d958d16eab2fa2a76035a2696054b68fa963c617b8fc2a826917
result = valid
salt =
size = 42
flags = EmptySalt
# tcId = 3
ikm = d4dcb92a769f57c8bab8a420ee0aa351
info =
okm = a8420281c08c5f087c9d54d5660847805b0fff2d6257f02bf849badfa8a29bee84ebe704a6eadc0beba0c33805d5843e167b1966aeba6a15b0f1f7b3db8c407a
result = valid
salt =
size = 64
flags = EmptySalt
# tcId = 4
ikm = 2d43e54bf0c94c9cbff4300f4aa69ab8
info = d674da3bb47d5c7e38b501e5251d9348af601c44
okm = ccd42097a730e47cd2908a834f9d81a3239f4b91
result = valid
salt =
size = 20
flags = EmptySalt
# tcId = 5
ikm = 4055536896c406d5fe14a6cd6b999bff
info = 2094768a8816f7df070d6e08b7ad93755dc9024b
okm = 0191ca548ab4c1f91eeaeaa2e561f954983885dd363c80079f7bbd053da4274b236f4ef0e4954b34a386
result = valid
salt =
size = 42
flags = EmptySalt
# tcId = 6
ikm = 5b01b2da3166f217cdd68de8af60078f
info = 6884cfa7ffe8f27bf4ebc6e46a7e01488c79243a
okm = 01e10d4c477c906d4f67105e4a8054bd2e9479d726166893fcf77b5df431ad007c0ae42847d3706a770a5e468783c9519804be63a404112dcd4ecea952952b73
result = valid
salt =
size = 64
flags = EmptySalt
# tcId = 7
ikm = 467403c2ec02a235bf730ff37e8d8ff3
info =
okm = 13abf6dd4468e2db7114437adc914cda3fab1c26
result = valid
salt = 41f0f173d307d40436c25856cf559f96
size = 20
# tcId = 8
ikm = 3352f942aa93071da6d39cc5ed8dc460
info =
okm = 3cbd7242368ce2eecacd1839876cf2e8ee04d8c54848bf5515dfdd046fbe09483982d406345d1f71a4f9
result = valid
salt = 57a0db708b25a51afc4271803aa35204
size = 42
# tcId = 9
ikm = 08867e76311126089356623ba5381e73
info =
okm = 098d9f9e0e0c609b94e8aa57b0449cdb3929605f821cda305e4d93746553a40a1e4c97565183e116511c3dc5d9d56561c698849a114692c8128b5d3c1cd728f7
result = valid
salt = 0c164c443edcdfaedb1ab150f047951f
size = 64
# tcId = 10
ikm = c55c41d69d2424a520414e3662aa7303
info = 3fdf20538063b76901d61bbf9b72b0c18749e00e
okm = 19c2ea76fcf7ea72279de10e44533436300e250d
result = valid
salt = fea9bfc92b74337e43a201a2dc199e27
size = 20
# tcId = 11
ikm = 5d3db20e8238a90b62a600fa57fdb318
info = 2bc5f39032b6fc87da69ba8711ce735b169646fd
okm = 8c3cf7122dcb5eb7efaf02718f1faf70bca20dcb75070e9d0871a413a6c05fc195a75aa9ffc349d70aae
result = valid
salt = 1d6f3b38a1e607b5e6bcd4af1800a9d3
size = 42
# tcId = 12
ikm = 8677dc79233ef3480777c4c601ef4f0b
info = a38f634d947819a9bfa792174b42baa20c9fce15
okm = 918e9cda37bf7f52506111048a878e64a503f9869d0c2615047b995f1efedc4f713b4dbcc940838e68f6a2bf772ebefae9154e9075da80ea1fd68b9df580ad76
result = valid
salt = ad88db718244e2cb60e35f874d7ad81f
size = 64
# tcId = 13
ikm = 0f602703d37943e0253bed3da331aff4
info =
okm = 60738c594db9638656cc8493db969736e743e152
result = valid
salt = ebdc8510499f69b2e188daab77cd819cccb95f276f46e6b2be11cbe72700
size = 20
# tcId = 14
ikm = 9fe65737574c5c7aa67646adf8230ba8
info =
okm = d02f9f8a507d3cb0bc047b0d979b50f94dd9f3d805a5d7f5cd372ca14479cb698e17a95c737849aa7881
result = valid
salt = 73a34648c152443586236abcb46a090ce55ef6c7f282ffce6342d694650a
size = 42
# tcId = 15
ikm = e8f2b1c3e6a6c3d5ee0a20dd47aafa78
info =
okm = 34718d60d8eba9f7ad6d111ef14160652381239551aca21bfc1f250f8d04c64cb6cd503c7f5fb3ff6b73ce234cf6bf91056228a8a51599a39c402e32d47618cb
result = valid
salt = 3f5e162de91e0782cd189f3b7778cdc2ce6bfe9d3fe841cd3c70475d7b3c
size = 64
# tcId = 16
ikm = a679521cdb56aafc5a4b76db0431a4dd
info = 44ec41ab4f4e64f4a36e5e30c9f0dc1d77ae4974
okm = cb914a0b318cd57eda5b9575dd511313b60cb7ef
result = valid
salt = 123033b1ddaead83a4b9cfef8a660bd8e00fde01e67c35656c6d7607d456
size = 20
# tcId = 17
ikm = 49bf155ca102026f2a217ea1bc9843ac
info = 851bda4faa8f7add2a3cbf0acf9c2786f8f955b2
okm = 4a540a643b1597bfbd4cb38953f31b677c02c40cdcbdb6c48984aa8ff3e5dc17caf09d0a6f67afe92cb0
result = valid
salt = 76776e3b4d75f8f43dce4bded71f3b1ae6bcb012d9c0d59f78248b9427b8
size = 42
# tcId = 18
ikm = 6cf725e939e8824d4392233eeac75d30
info = 495425d9727fee2e2b7e78899868c1c3e7735e1d
okm = 379e6d4fc3c9b344754a1094eac60b71e47e281695515987abbc3b22c1e267d95b101592896e08c869557ea82ba075d9c9524d3cb79d7d8cabb33364f5252968
result = valid
salt = 1e72f24b05a91a0093f34306ffced79e7003055b0833c6d0f27a4f33a1bd
size = 64
# tcId = 19
ikm = a319ff7b5ba9b14ac72b681cecf0f742
info =
okm = ca31c0e0f5ddaa7fded85be96d6311d8b935307b08127f690f15f5ce3ed5a44d1c226e354e8d7e5069ef
result = valid
salt = d7e3bc6daed343ce77ef793e15a8246e4bfcbaf83d2ac956d0661d1df7262b2e7311623dfe4152caddbfda8fa8ed7a82656ec00b72c5adf7c9d388e5b3bc8d24
size = 42
# tcId = 20
ikm = 34bae5a158c1678aa76a744417a70d7a
info = 87ec30aa53acfc3d09ccc1d57d654fdbce403cd4
okm = 65f5385dab06d375033a6a25926ef4bf5dc660737ab8ccef370af10cc9dcd7743cf273fd048f64b7301e
result = valid
salt = 1532075f363e061133780ac959bf653c7687d181b9431215d6f62dd2f1ec3019d61c50fa82c70ae25e624c849a276b0c57d7c02a4d753fe84a1a6621e9a5ef01
size = 42
# tcId = 21
# maximal output size
ikm = dfc7c0159b921546a4ccb3067cafdd6c
info = 7fa60cc2c830aba2
okm = b52c51a447b923e2e6acfc05cd6fb0fb65d8f67f7facce95d3fd4b0dc0dc41d7a92bd06c1fa156d7756d603f8c26a5023cb842c7a133850e842aceea3779417d29a517452fac99855a2ec52503e725975b1d1142fe20608ca753d39301d37d99ff5956b45a7b587e3ad485e135c0002dc9918ec49a985d494795b7cfd53641ea9ceec7834d33d060bdb2eb158d10caccf74f87465052f71c43e67567e62975f02cc79349ed381720965533fa5eaa172d8c7c017036a0b4076d5b76ca16f69586aecc94d2e93585c4c90834ba697d0ecdf04b322c4a6f1b468a7c89bda5ea1307cd99060427fb6c2daeb2f25ad3572b9df69a5bb783d0e91f5f72f95e3aea3575de29e0d91aa8011c85dc918481155dac096260475076e1b5b2cf8061e888de70697899771eb8eaa9c899de2a5fcacb78ecec49a1b8d72df2e208eec858e2af089003c34079a24c15cac878d5339933b91497fe6732bd2d0f77cfb4a5adac9d59a778e38a65c986fd4cbe5f3661ff6e4aec2cb1f103660708a06b9dda3eb50e76629375c4bfc4027f563ffffb0a6b17e80fb1c8705fd28cdace78666dcb64e009ebbd67d77b8fd18c1cac8f7e114c18b4215f4678d719672f7c3307eafeb91b1ac44675654b26c49ec71144fee1fdd0c238be154768be9e851187d41dd1e8842fb4c7de48061cb1a2568a8682aea5cd457453f281541ec0544da726c0fa38b76672867763c1937fde3c9c3f8b58e4120a1ee1704a3dc472da40ac9326aa417b49e3a9603cad661bf1c61f92dff92c553a8368ec0c3b5b105e4c3a4bd1b02a7fe12e93b6674a2b45396206a113d28bc77fa6135d1a3c5d4c876a8c17b6f4611483ed080642677255f7d0219c9e6e7e661ddf05fd7ba333194efa079121091d9b117d9f0281c2a0d51bdafc8a7e391ee607176b1ccbae5b0df7a936f9611753cd5bd815a9fab6bcb2a95343dd7781484afbcdf55d260335cfce70f07b8f4737c49c7a9d93335fbf5bd2595c77e5fb088f81c033ccf08673b446da6edd68cb0e1cb2b93c793dbbd3f845d76bc90728149d6f5bcf3360a5601d42e6befa0574d89ef6f3d749538f7fac02e4b122ab93cee09cd710b0aea2570d761164f6bf37b43f2a252fb5d17a737b83ff36cc07ed550f5cc6d32679691d9cdd72c91f9fd3229c8492c02710a3b380b8ff95d2ed3779cab4abe7e1d16d21b0572a0cff15488721e447efbab8db70c2a79d36e80b6e7da11101e06b560bf6c3dd0e3fe7decbab8c3a023597d07f2ae5af73bac662508f4a86db8e71b9e02545a970f614f66c18fc69e569ff96fc32c05f1b3e87d3376131d69ac2f0aa9e50f4c02806f164a29f32852f64291862609f423be3627ca2a0b76e09f1080c3b602396fc043c7bb77722c08574385685f711446600a98718e78f49ce1ca2d522061bee0dc45a5b899769d098282d1bfde4f35c9a60101dae768e91f59d69e6b9d6f5c08c067044c7efa01790ad94b8e3c562ea8501f67b43933e76a7e416bdacf52f7ced3f5f01af4e317b5e537cb6d1b96960832066d8ccc74ca06664a8416a390ca7d0f31aee6973ea9c4d08d7a14b6dcba15203cada6baf08934cd211b6ec988cf1ae8b23ec9da4f78c5a73313fe294fe2d19c5dd7e5086efaf5956d8653362f03d70a7c4a348ebbab64831a12ba64081e8e4b9233fa75096ac0f0d225f2ca3d4944aaaa7da6dc1bec11a9aecb14e21181bbcd0f5b466d40bdbcd69bbddd51a85e2e9cb8becd5da2c7fcaf20283a35f6408061f9cc0bf68088c68df7e257492f2b1a77db3f6e3884689b09ebe0af6d8bea07eb4ec4f78aa4f61f94533311ce24c8e3bbca0e57d96834e2ab1fe9b80f8ccab305e47e63145244f340480513ea6089fdeab01a69f4401d2da6aed99176d5603cedfad1a9ba79b277c35611801c03534b1de4784e5def8f2e1d81aa68207968e1e9baf3405cd5fffe6a0acab1a18e01540821cdc1b69d344111c6043ea8dd9196a3eb2ea9c2b1f6a1c77564c0eb144e376b9cfe74ba734eddec86ba19e2c57677547ff65dce2091d57fe59b7515941acddacbe757029babde6d8363e9c87ea40973f121463e706514a6b93cacc4375b0a4b640731d39bad93aa5d81d0024406b9412b951158a4a91a40c39dbe50295b01281f78c65430e6ba97ad3106a672721c80909d5d0d3e95b5e81308fe7e9b7cd6145dae402c32967ff73b04a163405e8d104ce751203d2c354622370b9a54601c1b1c9d484d3827d2137faab9fbd6fdae854add24a933b1b32f33985cf3bc1132ee2f6b0399101801754e34ef0d15bd95a40e9d8b3241008e39082a518a3882e30ffa1b4073cc637b2412667d4b51993135746b748fd88ed5da3e83948d278426262368f57cf5179ffe02c35952539c1f61591825c63e8178f45b6eb515e4f02547f7118b39646b8840694ceeb28ad96b4a1f63941fe68cba5eda641538906fb6b930a9e4fca5b02b2ea1e155093dc56bdc8c88780ba1ac9402fd0674ade1621e0aae1936fdca343e6a05e791147150e06c9a5720c76cd7f1b6ea0e02472deed435d69081c57b88c33618bfc31938fb11e5d1e731e1ac83b24c15a32e3c4becdfb839c5e737d21e3321bfd607300b606ec2c73544741536cdb72b0853da920453443d6efd99694124b61d312e11a8bfad436df14d04f9f9fab14ec474c5df8f81f4dd1de24ca5a4a74880ef61106f1218b55df34ed85ff1a6139330c8df45b047fa3acc4f3b1c896cea3a979e8dc5f58ee34c44a82dcdfbbdb6a42e1332579399651cec217355acb55e45f8206bee4e53e6afc6811704e3119e191e3be8182219e8543095cbc639f1b66b4cfbf96fd3b7d02ef6f781b18882e8dc5ccd684d330141029a9d8c8ebebc3a9e49a7a0f21facc94ebe64cc538d328679f38b06f31b3c5996729ffd9d1cd95e7ad33e7c5dfc147c3e75cd9dc417a08c910fdc3041accbe5b669c649502e16c02b78729784d08e81e0bc40b4590836cd877f80217e23bbde955d56176372221ccf1f18b1bac1f5c150b0b4bd764206b7cfe43716f4bbdf7a44b4407278bd849479865a581812221fa56ec34c30a08fff4045853251a12f48e9bc4fbf58fb1cca7aa68b5703ab6f6be834923c933b2b467013a0e6c156f417e14ae817f20a18898db4806465980eda6f166dcd8d8e36f8a138a96d65aa739a4c3ffc5777d1303f4a3c44751b12ebf293df5fa49beaf657ea5e10c06c5160635b5ffb0b252c32a2f0cf448bfb934d099fb450de717981befb8fdf24fa711eea66e3f670124b68eee9c7861e3cdd3e3d1366d981a6362563dd7cd1c3f87faff083c39be3cf2f39101012bd105715f36c34ec8d6a4bfd35ee74a813e4fa0c98c077f6c9f2ebe1decc3b2455f6b2e99121f6b1478ca45d6b2ad2903ecf2294741f80d09076c447bed7da37e3445fea133a4cab5de5c4f7b46abb84756925f3e1e1a6adcad8cf667e6521aaea32d8fd5f423b9ad7fbd6003ca6d15d6457f31720d5ec7833e58866465d89d807b9bf71be745241e6dd2a179f5d2b6ebc9b92ad0a86a7c64d6fb15ddfaba5b030ed94a0cde4ff8f67282b572fcfa85072a3f1102fa710e60e4f59e906fa190ead2056a35efcee0d74d7d6f3bc05fefda6a43362eb966944c23c99810f0ad6998427f33c0e94388ed7e677dee402c48fe08409bb8e7a2109c230f1f0bbeacf57910d5beb58d1d83c10e55454cee4de633b63fba04904b9f796fd0d8428522536c50ba8ba2997b43198ccc4e3009eecbe43ff652e3e17e6cf0e9774b4b8616cc9bc30740c85fd04bdeb181aa281a3fee92bab269fe0999d85d89e8cd1a4d1682ee873de633eff0f51473e0e29d625c2582c2d67d941d6a80aa9eae47bd8b1c147601eaafda28e721082edc8724e3a6ca944f2b96286035fe8017a9dbfdac05d0602037bb330ad2e05aa6ac6b771a836334a7a8eae30f8a0caf757b74e63c995fdbebb159152c7ca7105245597035258bd9b031bfe1951c688cc224fb3ba8da6063f244cad38b8fb5db148dcb838eabdc402572bb30cd8ab5ecf9a220c513f6d45ae3472e04779776b014acd812f48b1356d2c8429213b0204734338d386e29ea394fd856533c1fa81483a3acf32cb33025373debc7d00c8d5a153dd3e56f5069c44a8ac745cb6d1cd6d0a37ddf4816bb64667da38ad6c75e246ed358e539febd606bd66d12153ec3d223a5ff15f74d7a46319c73962aaeaa8cd470a861782ec3de3ca235688a99bdd8b234e61f6a1264fb93292ea2826e3695ee16b6c57e4287220429d2d1a28c6dc8b5a0b50117d23b0b5f4df498d3ad61ac6fc58e398a9f4093b5aa92e23a1a4b5a34ef93b9662e60baccf9bdcce4c058b80469c01975c6f0742e7cab07c14f975072533081a312d30a251867341f0e904391252bb5cf03e9cbc9318e2aac65b0a69c506b7f9e8ad7b9d19ebde74801e0526a2bc03b4821f8cec964bf1763ba94930135d589dbbc63a048c42d79ead50613135278685f99a38070696a4c8e88985a9a4c7fea3e23bae77d287db1281bdfd00e60a5a5cffcf7c29962604df3017c8b4f4fffaf1a27f2d353fca7c40784219c8e31c06ac628257dbc3cecd1341cab153109fc5e0df5e89c0996525ae5d2f949876a85e6f5671e9043c28920f46f5c778490cd1ee733ca3eddb8003abd82fd6973a45e338b9091f472ac877ebf57161b9afc4ec5721a03f17729c95af786d27f02da6c53f43d339e313bc11aa483a354fef6e36d17508bc8f22a98f13508af80a5f136248cecd3c34da11b2ebec4b2f135b66f3188803b840eca048a559b33b842d340e489df31644ec53cac0d10646d6100f76e3c6e074a13e4194796113a770331bb84bd00fdea57433ed74849d90410e2a2913a79d642103a3b732725d6e7a7c02c4fa844fa4866aca3af7c257cc94720fc032eb482d75a27ffd5491b28144bc2191b2db5d4e515ab4c79c55af44000a821f02c31621b0efeef6a4ef945c59ea4b32a6b95b73bf9a2687a3d059c9cb7ea1472271066892c4ab14198897ae910311f0f353ddf4f9e8177f8bb10dc0a64e0c9be776c07d94fa788718973226077dffca41bcbd57c0cdb2cef9b95ddf7beffa76ea663b28225b382c11a8f1a9a7fb3d1ba4448c36aeb55e7a49adba4992d057dbf4dde3f24d208e0611ee7e15fa715046eb32fede6193f64356da54799599a582a499ed2c48182d9a4f208931b64105ed27385ac1727122cabec3580897762509a7a5e5fe4c3bf921bbf2f0308905895c298633dca6450cd9334708b3c0342c73e32674530d6588a7528cf2fef4077597d18e2342b692581d6ddd977ef3a7bff43dc0c5078f38985896f6e6dc753bc5d2b02d8152097f62fb92508bc80bc556e5295329a0b1502b4fccce062bf1166e21da5b1253c0165fda2d31e6d80b7e68e4687ba90acbdad5a8af67b06bdaefdfead0deed71d318805adea6f641fb35b300b9f79a8ef3822463258684e0ee033b5c304db81f3c104fcadc7aaeefd80b8184e2d016440463948d35058ba6be3dae282d096beb6cda140c3663bce15aeb07fae784de1372f766c0ffb2748fb1210f5eede51c67527dcaf5621d225586c17554bc78d367d70413e2a1e0cc06bebfa1fef2b7a971e08e50087d0266a4da1505dfbe5f639d29421bb7045712a603aa65d54e9070e4d71fdd4a14ba92681a8aaa0254b198dd5095780dab36afe8e6e85289c67740cbbca6723ee55173b1c36759edf969af04cd52c05480573f60ce7c97dd97b64e3da1b9889bde260d1dac867c75d365476678c33a4cc2adf218a1d469af05e821cea216bccbff7ed7ce7af028816181e01eee51a9f72c4520abb40a82bdbb8b7b69e97b92c0805555a9052f17a123ff4a1c797be25a661cfc8c3096dddfb987022bfaebf169bb7f3d83b9e66d1999bc8f75df07be79b3be2f1b69d8a5d3c4b9e3b8388ee06bb5891374c922a99f597729066efca97d709c55b9dcb49384a2e49c63e4c83c3378b8cb6147405d2998d113bc29909ebb2fe97fbcdeedfc89d686763bb9a43476a2690600a3cb83858f9198c1b8d5969dd534e609cbf3da0d311c70896772531a53f4e8329b2d8fea575831bfb77283bd688dd6a3004438cc10f0dbc4f5b982fd25325e16b530b6f3fd015036b92e166b5c38238211b81e8f7b92aa492027bd91fe3f8d879dd4b3220c4738fdae0ebd462f554eb1a51987988a130e78c40e0e03c7df1f7527d87899a1fed1ce4155992c753f7b5a8e554b99d14cbe36ab012687e89fe01a87e250bef650611d2be15071119f9649691eef5a147c253eb77eaaeb53d44b1e354e0b5c00eaeba91dc4c5eef389fe861a38f1f9dd4262cc2f85351b7dc1b8dd740f43040c85c5fcf4b3316738c1bf0d31960416a6cab54112987262ea54c06ead156de660559805558ab110145b2df2a601266991f00c9e4dc7567d33834a13a156419eb1cd213629b3ddebe5dce71212c4c08fcadc22ee78687d465b6908cd578729ba23f326c7f02f68a7e567a5c07effefaff4bdf726dc90d37e1f3b72e8332d3ef5016fabf5c73c384816e18d175d718c6fb5f702d39063ae9b92e05e1674cac86a7c34db1f11eb9dcc0898143d8a66e8ca343e4a3f20e593ecb311ac06a36c4e84068de483794bb0fcf516bfb291befb6ff7af518219d6bff8eab670b42e824610522e805aac17808ffeb87ff7bc135de4eee0fd200c4344fb88e4c178fbe517c9f2a4919dc2a3f3c68e849e255106cd5216235fc8d6a0ec04d9f4765c7c9f58a71d2ea63b4446b5ed4cdee274a224d3c4ee5d5edb1b0a7d4fcf7234e612652e06c88f670eccf15086f1da39dcb273e1c0e7365b7fd506b14944f2a387294a3221993e60f0a10a50b662b886e199d3421d0710bf08ebb40a876de217eab4222db41590f13e7660939173606158d050d3d3e5e902b497bea23c38b0715033e0aa117fc2ac13c8f467a9e2547d58e60a68f478b78e6ab7bf8c963a0e708a60cfd9cb5d9e3782bf3cf2449d0df555bbe8fed61c7b55e56b056ae1220e94e13ae292ae2aeb6fac9ab5c5b920889dc0c83d2852ecd25ee82227d112a1ccd356aba1087f72f3885d302b7d302dc44b61483e0d1a692bcf68d96574a462fe217f323c5d88e76cf792fa81e6956800b6c0b5ef54f596dec633ba322dcdb6affe30af64f39bc4907ad4ed4f74e1a067fa82f76fab1d05f0804124e65e2afb43cf97c3c335fa71b7efe743955a5b5910c297799a57fd46828969f8c9690d4e2f102aefb6ea3acd049d811d977827b88ae5c01319beb85ca0a9f3cb835733b8945ba5fe50c23a84864800c87e9e26e3271612006e057a3fc38fbbe52bf7db6bac81d1c1b6c1ec9d12d09a27ef91546cf9f2ac6354e2118bfedd3fcceb77c6aeef1abc9fb985770980d65dbd1b25651268ec9826f979d10d2c9f7b267349c2a2afe2d3a799472a1f555f38c8ec67cd153b3ba55cbc3864fe8bf4e8624d9051fc4270abdf759e1cb1ca09374a747e806002039acea004ba5cc557d04701871c4ca0c5814c1a5912c5ba11dd66a36ca49b098f0d16a1a067f3e5df1c49a6a1ce5a82851a518986d12e0e207eb73c94648ff95437de11e49fe8f1f99f2858356472fdffe262a384e42443cc535767ee5aa223664cd20254e8a26121329fe22b0f64cd59a4b4558d21568e8cfe22272163e3d2af3805703153fa7b252ecc87e2ed1f807d2c8f1f52bd46bab665c207fe031f943a2e48e688c96417496a553eef8ac31d2a284f579464ec7e1e863a603fcae6bda14452a6ff6ea9efd2b83036848905df138232bd8f68ec7f69078469111304bcf83519431481bec07ac9baaafe37dd63dca2aa6a07918d6da72305a3104819759dd829ec38ef1f4f2d96325a1ef4080075dad795c9b99bc0170f3d9868d11edc63e47e3c5bea097abf2817bb5c0e1d682370a22d70310d73280d5b50cd197492ae15176e292ae2fe2e00edb69c55817d5b6fd6eb349c028d35478edcb877d5316cf53d91a91e381bad7c07f015bb7b5f5bbd5047e51207ab93564b2120d34c524aaad5ed7d6334d22971eedc4ace2e319421644ff8f0b072f083e7440dbf8b97dcaa32702e364e481cc7c6fed8b50bddf67165224516ca8043dff05c6a9ffdbfed302ec8587866937ccde5633787e4e2755a81562acef00e150975568ed07a35182c06c79ed2db3c738f4a14d0281a1e649dae9d6b9c13faf164c4eb24a639fbb382776bf5fc01a4ff8273bc8e2229fa421a530f4f625e6ad2ca3b3309ce6eb1b090796771606b41d7a875d62c895937a6f5b8a202a4a215a72977a5ef7a90d63c6be8c4acf2f468a2f67ce26cc13f2d1d39788660eddbea5dd1ccc07578fab26c0d15f64294f8e51aadc1face02f3b990cb49b5898388664dfd0d20aa9f93d0a8a606cded780841bfd8aee52a4c9f701c8461627f94cf4e501ddb23033cf514839a23206306c5158cbbc993614bea44e00b8c927cafd1df01381884bcf35827ec7903f6b6e9eb1c6f6e7e163b5aafd77088d59379437babf32201c99583e65888a06197863fbd2cd814126905e6c4df6a4a4217b7d31535448cc9cc82dc5c3b2d9e939c3b4b6edb4cd2548fc94a2b94cf5c3bf992e5c4b911308df9fb02a4f3bd2565b06486538ffa08adb77fc650b51a3c5d1437a09f8ef2ad418241e9d22e1054133565d13eed0095cfd57364ce634060519d52865344cdac47c5c5c91c3ac77ae18d392146f300fcbd35f61126868b13763eb3978d318f53ca31de3c94449bde5eef91690e1a69d6fb44ad56edef2f8659123fb7022346472a6e218ca641aea266e6e5d582147a2f8e40d0689abfd150c9228cdf6d994ea3d211260a8c6e7ed60b6710babef11ffbd7c0c7bfd6c23f8030164341158ea10697c02855b827561023c20df47c529aa71fbd242425ec2c0fe1d506a0b72bb3b37564390180e0c2597b91c4ab07e02f5e95d71279cb44c01bcc95a2f2cfd095d48e6501ebef72e0696702b1d86506be3e53ac548fe2f567606f0b8d6b9dd0e4cc0fb24d78c6f5c3e9bc59ad74ba7d0dc92646de38bd6f9329cfaf83babd3f94752c44e2e1a20a7c8735d1adf9876360e5916b16761a2e1eb6359870e521099da05eb535b008fbc519aa03b030835033e4d529cc93038eb836c85ca1d61bc454843f0b32992c4f155c18a5cfe15ff5a07eef8e64f741288e8ced16b372d41f82cd13f285a51209a80d7612ea7ed2f11d5bebc20fae499612a9f92e203e49de1fe3a5a8caa9b27f49de9c73e4b7206f87142edfc179cefdc06ba50b8aabeb06f20e6023ce71dc996b53119e6252709b0d42d4abfac576ac907d31403dc260d76d7ab2c6e3dc25a079878e543abb7238f5e0c178388075d1a0abe378dd46e3f28ee782ca60459ba930c5e4083c4d91f4e7538b85e71bb5997c748719ba412ca291e9b9e93e3792dfa471652b710e86bbd38d4c147de34fd1ab283b6b3d8b7eb886b7306137e8c94ed0b18bf7cad1e829186ca25d91bb60af412b37080728f94f8893e6956f99e48cf032eb1604c6ef2021ecea58b87b2673a3f7982ecf16b372d6315f0613dd8b964f5c11218853f0db2f4c12d990386fedd53a848270f9d16c197f48ea850ece23c9b892bfaba8aeefa9d8bda3e801b186ebd7588469028406e0e2605bd66ec849c3269b6e6356ba367e8915d9baa88fdf5d8e039990b858b956daa61faf19856721bc4780662f698cd0ed03ca4f4468115c2c1431bfa187c7edaad651d6f4b361939235622650c1287aaf97dffe04458ef2d10070293cad2ee1b42e405bf3f8a18158d89e58309c37fe6616bca374f89a7566d914cb5ebc32c29141d38cceceaa28bbb02e13d5e8ce5626e6742c54ad953ec5f34eb15e1fb92746cbfdbba531e5e2d3ac6725a02d17007d31d1c7ff2df57af6430559eefd0e814e40553244b8a4a4e31dcce5f5688a7407d262dcf5369a50c964b56b49389d7aa15c3cd40191b21a1faba10db56cf83b2b47aef0944ba252ceb790f52a2537b6d9935029dd9c78631c999ed03c06e9bc608d4a87aec4671fb361bd631699270af5c6304e0fbc309a4d46175ecd1ba5fdfe9bc08dc3745b27af2cc22d67043a8c9d2e616286042cd0286b66de058bf1bc424f035a07804364dd03f85e3353e218c871f9faab4e276a676d0bbc1ae56750a56901b46a65b8d0fe096e571e70b9007d6f2a3c138b49d1883f0d32ac3956b94db4955f638f99c131b7ba291075e7f14692769ea03d8a05a64f68dd34ec9e39b7685192715b3b79463ade1c16dbe3522447078684a50264b26f79f9c6bdf1e8373a3d161f91962f5a850524bff5437bc9b9eecb657141f91aeec634db228a5246a9e2a2f96c005fedcea91bf8c4623894cfdddfe606c7f81cec461678b72cb4542715a72e5790be4f0bd62f36d6d2a1182c19f7832d9dab663c75e89f2f84603e9a172db7d89271ae0cbc7186c17a71204394f63294b540ef407d4b7b83d087026976b3e4b2d3e3252a6e9c281704bbc21333bc15c5f0fd67ecde2a13b763dddc1b6770c28641bafeca1bf333b09d5735b117bd3b93d404afdea4a35b05e910985225472d6363b481adb11672b6cf1ac2e8a6b50b04b355ff9f15fd661b36b8f00a9af9775c7c6fe44fcfc33bb73f702ea96d647cc6758edf04c77e209baec6c2c99bbaf14b43f100e920afcb470bfa5d638e8938908131cebd588f4591f846591b5ac53c32ae5809a807d57b74f08d949eb55f8e21b4b0b6007600a541e0aedbd027727592b6720f4275e832da4a488efba1ca4e94ed3702a2c978c656984960c0893b911aa7ed49cd70d543894eac675b2d9a37659cb89aba129a285323f92918801987f2d87b8c328005ae3fd99c48c1677f057f3b4eb9ed4375ff2cc0b34049276a9007388e0eaff0b20a7d209ce1186707e7773bc95fe97fefc2ba6a06680dd37608d1f76e91fe0a5fcf49577058e4ee270e6966c71f482456b31ca90bd7b43c3781a48eca3eb0689c3a93e9b258d25e49861e6a37e4de6491f6e4924a9fbc6e712fd4aeccdadf5ebf6dcfdc862e11bc52ee047460ed3d0bf6d472500b03762ee040ea403540ef4ce2495e50b64c0b541f7f27d14a6e6e20a3089ef309ce106504788a40fc4ab08a31608ec5237409fe59978339c672ebd22da9af5e791cb41dafad39e6217bee14f7367618e6183ff7280fc9b960871418b2d249b14879dce08f4bf1c1a1150672b5ab73002064d9d2b39941244c3d892d9d901bb9903aa66f224c2944b185c4a4f457d07f9587e850c4a0357bb6d64f0d3ad5f77edad72538dfa9df8569ec6094b24e36fb7a73938a13dac36aaf5813bfd5106e8d4064b9d82b45e3ec7caaa743e393c5de2145f711a6f653ad8de4cca55d9a8c4e90af42aaab37957dd4c9e7bca090dc713820e2395cf884b00e898f5196a8ee68ac822fcbc1a02ad92804d6e01bad3c337e3cdf3050da13a4cc0e5e677d2c225f6a297b4f077a90f52869e548b939a5fdfca735c2d0a58f279e624be63b6ae8ea3e5fc992f821ca38a5f67a05e721c90e79a5192bd6758d3d126ba9646c571b1a9678ac57975894f96f0ae17f0e2ad8cec39e8bc7de599e46bc05811360150acbff1d114cffe1edfba639fb63a1896cda03d42e6cf8fce4473426d92377e23454e8f289c01882305ea571138ae226d7c2951dee3b41f82e00c2425fc7c0b0bf925fdadc8e9abea6464ff49393539495e8b2b2b60a46a256b07b99a961bd11acafdb4235eb1a9d428296f068495861b824bf3be80a7e58dd09062d8141dba93f4b969a3a056cf78c3b91f6987262798045d5e72494bf3954bb56b6f9576ebeb2a4085aca829def1fdcf8a34140e859586819f7c50ef6aa4910c868de43f1c510fd6c049ddedd62dde4f6efbb83959d0a9157bee03c782b0b6e9e965bb0628e0600531372cdf27f510f47f4ec377dda208d43c5da5a0690498ed64dc9efb560295afdd09fe1fad5b1867a44cbde8faad2da662336183620eb7cec6d9bb09e60dcf67d332f28b4b07da39e25ab94fe074bd4919673625de5565a83ec7e42dcdcebe3ee5bcb1d52e7db91e1ac1f76359114080bb4e268d243906cbe5cbab8fef482732b971c4052e746c7136edba055dc6527e0516f5999c05654d28f4e23b56fe7da84d690ebc208193c6859c302346555c76f1e5f92cb4bc8f95abb2522d25a9b31387f3b3002d4c9f6b40d36d19b31fcf7715d9868513eef8de50afbd4f10caef4edebff586250b9965f8414ccf493a5f4c81032a0972c7ee33986cb278f6ff999e8f7be77795241a0c801966071c8f12aba59d9011f46acc1524b9683eef30700f8bab89a9c3d981e61be6d2e7b5227539d0c0227d8d1583e454404283517c2f4915c3612dba632ff9ada1aeb3ae94e9ba31a5c6a9fc555a8b1772fd2f2c7664b50a021f3e7174a65c386278ca670b398afc43c5bc79e6df61766780b73e0bba811fcf7c11541802953d01289f315fc4d1689f27e34ed4179ece68e550357a0ead1c34b7bd7b36d4fd5c812539877255ce67c1f561d58d9389eeda415d939bc3ab34a80e21fe9c6838b751130ceddbd412f8faa61b369670917b4778b0c0244619a6d483466a5ef85ec76a8514fdb1ac5cc429d6c6d6e5904776fced03bb677d9c3929fce21e0cd0f161d6d2e6149f6653f97cf62e802212ad1c6207866ad0fe6261428957f9aa0606262db22ca6490ed5930db5ce49a016265f12ea5262620acf93dc0a22fbb8147d92a11e6ca3999e0cf6d7b2770124db73949f84556ddc3008a0e27c686c40b8f3eac972a4c75a84e76dce3f917f2abe9de474cce9e6fa11711411d471971d74ee7474bf8e612ee769ba9878384f0b61a98c6c62f27dcd96398fc04883cde133d86e396b28c08443217a14efa2fc801cda336afa7481ddb71489df94bb8b432240ed0186511e55d8c03397306d8b67c2fa79da7380a866d40a5af26d5fdaaac09f98eebc69b1b4c0d339115a25c6435c7e6f8905406f0c6dba03d54f32e20333c5c2273613a764a7d594f967f9471a206380ed6f38997a55b7a4287d4f2b1cfd6c15c188b55696b90d5625ed0f33a9dc3ebb89e085bb7e295236b2be0872ec037b43a64b0896d2daaff9058d028298b7aca6a1053cc500885314cd0a304fa04e95a6ee95f859823c1a17808903cdc093c039b11c78108ec49a1af11a3188d61c9517f781745e32a02153a1f9af4fa8d7db0b3d34268c129a2c5f7b72f07342d1f3221037704da06235a6c55c3bec83b705087ca5293765ef24603f36b9280efa3c4683fd25190ccf2342034ac0fe5813ef2aac89c06a0ed565d2f9d590824a09ae785e581628ab9b0de009a736a3939bbe79c62111cf6a16fccdd4f1266017f7e68cfe71898b4ddfcfc58869de822590b124ce4c188eca36087b5f848fa8dc1b8178b943d8096fe3a94e24745026ce50f62632610540fcd8c2db5b9cf714002f8db11807f008e719304f269d1fc41473d14d97f85bcfe4c797bd0529fa8450286284fc57e63f4952e73f96268e7a413754182d5ccfb1fdf5c05a0c016696dae8516e8a5805e7be0f124e2c5c48efd7e5521cad6979141b6029c2c983459bf876ec4a1fbe8164072c5df60f05cceecbdcfe3d537dbe233f35f1b4fbb89eec5d4ba3ce68ebf3912be50927ee0f1e34f8a376150d622991f0c93551d039de7213cee59d8d39616099a427d86fab6311cadab54b58b76290f04589efdececd30d8509a25af556af9b15fdc90a6013933f89c26b50a4386d3e98f4e92468f43c488bce0c3d509124daa2ab2d6fee9466cfcec9096e78ef4b31ccdc9a769d5c04e4707799a38a044a4d597c5d6b6df4c192650a2ef51ea37134dbfe820b825cc015c968e2601cf3147c9e2e0c8114f6e5af51161051a29ae1b7818751c0b0850e707ed3ddc38ad952c19bc754c3d001e9348c7ac01bb1441c959ffca12a1d0341372fae586d76f339305ec8a1c93b49b2d33c2f595fb76d7cab39ba0daf7eac8b53feb3171373faaa2c93c1b29df5a290a20b02fac76d4d1b93e121bfc313046af2f7b96063bc2aad934076803a8b611b603d91bf3fb2852b29902d4b5e0c4201ac346bae432a9b8a57e39a0d1edf82ba7cb6dfb311458aa97b7e269c82ca9479760b720345892d80e291c23c86e4491877932d2ab8a199c60f84fcb3d3fd984e5a93dce7d3915416036ce2e3440eef6877aa03df08cfb8d77305d65f54525dfe57397059606387d89d7752d605677de00b5412fad9e300d16fc5cdcbbfb01d52754f7aadc52561b5e9ef5cedd5eb6f0b3da6f5075c0549cc7092c205f04a8f7008e994b268f118a83c0f2f41aeee9cfe3fdc50381e43054035b3f8de446e1ebf1e18a814b5f5e3c3a990858ab71b546e91a15f27c817dc95e8fe19641dd326ddbe98bb7211a0297ba09e8a00ede828ebb4fbd1b3ad667d7e58c48edb6cf18c693df5858a59fc3bcfa0cde29a50bd466aac096b906795dfd7313049b18be238812cd47eb9ebfe6a86641da68fd4b795e808aa539ba0090344c8a8f8f94f964d4c30bc2b3de337723e8528c7b09693b972f4229e7a60f5a5b73096f04fe24a94238cadf71e8dadf33804fc9070e78035b0e273cf2a5e3cdb935f19795a027027693d50f43dec95e0aed3590348e18318ae55687883a3a55723cd817bf344466fb849d05e9d84b48100d1f4c591efee1d45dd31cd0db36b8656467fea14289982d12bdcdba0e69144e5e96f05fb8527ca95216052cd5cba6e6082b6f528d5da0770f704fa10a66b129dc2df07a20b06707339670bca46222ec9ebfa2f7c28658e6c922ffd5ab3388b1b6de9380aeb21c6801ac7ad7b1318580f867629e73fb4bf04a53316b96b1c89fab40b821b1fc1c51a6357de33b7a3b0d8690396519c7e25e9b0b25aa7023b6be84d1f773638efe833865f1aacfafeb953528ad22ac36bbcd1fa04ad197f77830597e294d3b4657652adfcfe2583cde2f1a2e2b51c032a54952ccddd063e21cac394b5e26e1b0b3d356bf95baef53c2e64de53f5b2b3f30bdfa009872680cc43011f137e57b7471029112e9f7130e20a3a95ee7517b16295f91febe284c2624c81aa2e29e759298abcb169e0f4fb8cf1b6c133da86b760fbbc1c1ee071c73f8ecd38111f4efd1b7939341bd24f91bc669d0d1500c595dbdf948d7e545fcf82beb8ccb1d4ba07262d62c7bfc17ed4d09db55aad49f274cb69d4fbf670557fb224dab146b3466ead035a76a659b5999bc6117e9e2a8f606e596a4b813e68c28633221c08b6e00989656627c0fc43fa728e8385335b8750fe9f5c1d7aaa47418456c963ab29d3a14399832fcf246df02d233651b03922c64fc70908571ca04f013af8f5a8405b96e8520b1d5f762278a34b5cadb99c6ccc5bcb42e7eb987354f28ad13c969d31ad94d38f94f36fd800844feb18e6daff19d53023bf99f9b136fa76f99c429eec13a6ca39fe70f809c8ee734fc89610b8073e86f79fc7312cf31137791f2f5d97878d19d37fa64e70a1f869f60ef47b039a0205b8d1d9f1b4b2399c13cb0481d536deb51accd7b63d96ac0c6517c0d00948049b70f9a25df35028cff9360cc2b38902453a2feb46f4ee737da5e4af289bed20c2f6ed5fcf60bbf48019b318cdd61755360c63b91a4313fefcbf48ba49a6a3d55832c162391e72ac2ea59f3e51748291c327cb2b38f4b7ff451e686bc99320d6a7a624e8ef4307fc0741f58d3e18fa90c19a231f716c2fab4445f062da1dc93db64357e8036f78cef8fa551d70d2d3f2e74944040993e154b11fcf8f9b526861b43b2439d66b9ad8493c041a156d2566a85825990f6f98a8ca1bec4c300ac8a7bb5a9eee1f8bc7ba52b5c24fa2aa09f08946b9026f671b128cef1a19b453ac3b633da0798b55e1dc07bc23adcfa1a2dd19def4c2cb98e05742c5be778519f6a72f9a06db664108e6930a4066cb64f37cb0eb027c9f5d7ebd29d0643185226050b8ac99450bb2f9f84b3fff78fca56f3479da226964ea2977a13d6d84ae73c004792fea34506557fc354fa795781aa3245258e0c548b5a4fa525134263a60421668fdf7bebeafa161315a1046731bbd8cbefe7c101ec0dcba3459106517ba5922c65d19f8f64757658663db33564be86b3953ac6157002e05b86de8cd5061c58449013767121ef0c3d164758bff739d4f8bded53c01f8a4266d5fd0fe3937f2bf22dd05cc7e17eec825d06cb9a26e17d013528d804cde17b68fe228c31c1c4948d0ed23d0c7528c1b421edf9c1e3113b5485b1253e2f2bf70ba32e5d1ac7c27b6b3900967737ecaf260774d14c9f1324b10bd79813a15a2dabc64d4c83a7ff02800be0457a203469831ee8350d7d9d3148981f5f9217a4439a763ff7cf0ae4e28c275336bdb3ec625a16e779cb0cc137f7d019b53f436278f743cdda91f450cc99dc24919d4be99983027ce46edbb27b45e4bc76c175b56c446f56ee14a4ccf3279c38549c2dae22867acd2580582288ad681acc4e2d544df6430a6a845e4973b392d3d4bafb5a5b542a2dfe328e589952d70eb6ccccee5ebec52bf6c16b0554a33f29ce7363535385edab48009c02087affeca2f667de04039e23489062b91d1342eb445bc4f42418c126dac4268ef0ab6c3dffab678690a007e39572ca8c177d836f1e64bebeb3e1fda3cfe4ebd960ac4ab59343ad460436fc375958bdfb72d8c31e5d4a2c47e53126599ade4f5440c4c1027cb3af2fab30d7af60e8e96e808b890fe8e3e1438babb7e36fec250778c0dc249aac57bd74fe7f772dc8c4ae10d24c54d66a094769f93e77358cce7b5669e81afb5cd2b46791c689edc6925d49c3176152194d3d4c8044757a6ab4ef6fb7067281555b0bea1357543c60961df21601cbeaa78a5f48e48f3747b9c89013e1e70b7509e90be9a4347acd9e11aed817f8bcbbcf4965887d52a819833b485fdae03efe3c2ec68e813820447230b513e957e3ebc08d66b794cce5f198ffab702b72ac40107b5f84d420fc23be2e107eebf1913b278db0d6af15e98ae93b873ddd92629cd66010140bb5d6a6749f622dee02bacc37fd02686314b48b1eb91b12f008c0384e013089ec1a6756bdf8a5c0878a9ab30b7bd26da941096a4f71b1b73cc8414d255b2e612023d37e9b4548358b6fada3b36b29198194c72eb59c0736c91f9c39e9d8c7379cb8508a087a40359d0f05d4991c4d36dd5d8d377d53f24392154b2db4559529b6fa1ddbd357b9a6679b2e75a24c39df93f53133fcd5c8e4ef53dfb4056ba88ebf8e7c051fc3fa1cf879c8d602f4e58ca405814a5b58517b0a1bc36f366f416fd22bdfc4cc612aaf68acd838ed9212a9056251f545ffdd1d11e74e985c5629da9128590f4c431736f0cf5d50a88adefcc4a0c727814706fd924fa55746804953cde7c0c5991a5c9cc1faed1ab240723436e4f51429b75ae688c201d2e3823ecfcb3bb902532e45fd0fe1f39fc10caa5a80b2cbe031e3adb33961fd6831abc2c0b59afad958eee9e14c0a65508784216414bff1c512ba9c56fc8457e566fbe9a50e67f64fc66f53aed2622c85472b55a9547610eaa4d61a6aa798f8a39abf179f15fb2c268ef3c98f23520be1235e1eada8565be1eb48259fa045090da99dc0c89e289bf3487314b58740da3df238128be0914607fc7f29b7c843f9a500a180e4d25819fe13c67f9c42c07789a3bea2f93e0214e02a0594d02db485855e2d45a29027c5823d9a79fe4eb7d33c87e55da67c5a16cb881456ee58dc829b4449dbc9cc5146b477754fbf3433b389266425d6290696148bef8e0bd1a1536e827b6cf229a4023de9caf2a7dea93dd37397eb090614206af33c74b8ae2eb96be49431194750ff575e446cbf3effb627bb1b568027d15e3136e6a3f70d96ea1dccf7f2a7f9666697a04be96e5aa101df1e83ec7d71400574ec009494a3c71878567c9d73475fc2195b8eb12eebcf9cd61d9d038469292c95e6adefe8921ec3ca2a2a52e8f6343ed2e8a8f871426e4d1d85c73a8b42311a4c048294221cf241528c8ba4207d5a38d04e8047df54a0d2bc6a190ffa9821f09c648c2b6cdcfb2e8b33869884330dee10c86e101c1de368e778242f499dae643aa7027491cb4992c9ea3ac6a55e6b4325586273e1b09339ed11896a822d27e577062c0b9c6a81e78d0f4688a643585add96cfd299dbb3ba07447b4b48060a00a096299f3c1a68fcce0fdf5525440900d60c6f00512eca56291d35c2c87a957424f4b2806a7b6b687358520db56e59b8105c6dd7973dc9f00d0f6917e0afef879d62c657df781cd3873770cb533ed4490de0ccaeb24d38053783ea3f701aa9ed39d4f8878536c39e1ce4588ec25ce6677c68b0a7a95fba7233bc0c7238e76aff813e0820e8213f5becbe5a11508e9aa07bbc0e74005b7af4e60ebbcb390b4716ee7c1b303417e259f80ece180a53f817e8d6ce2840814278e2a30ddcc4c477019787a0e18ab1cd073373b1562985ebdeacaa7ceaed4c67789b5b7e190bd432d2849e05bc485fe22a616ce200fbb39285b84ef2266faee664a313e19c9b5051838677e4b67a237f96704940757c5163fcb0ca10efd2d2b31b273905d8ca3c5277e3292d40b75ae5a6ea942875960a02202207232e5d29ba4fa0d75f569d20005e36ba3efd5ef2a67a7f76ac317e2b73d872cda51baae5779d470420008e1c26a6454c0ccb275a86e4dc20732ed23715f57216591a4b0505de2c89c3d1c3b35785c51417e4ce4cec58104c2898bf388df3261a904c5559828b0b93f4b0532239d19f2cd925f5cdbbd965fcbcfa96563f51596198b89c50c91f130e97174d1ca86f2d969fca7e78844329503d3e7cfc62fbda22267b37727c890a58aa0298c39fcaf8cd2bd4165e33771d04dd2f4132a1aa4fec3a76f69ace3bdbbaac000b912dfdb9f9d12ceeacce4829b82a45d375026a5cd4edad2b05609cc68196c8067305a97b5a35905d84e58676e973394a8b598236b3a530ce70c93c5070401cd7403b3fbb18c32c189831e76dc64951daaa4644e5f3a4cce561ce3c9d6681b84840a26eac3150509650aaa99dd6d0c35a9a1385cb38e03cd29d30bc908a14cb92d3eb25934702ef338e8fa29fa953b3495e6d9e9c824ef37788905b004a622a8d41f7456d93060aca59910635e4d0429e777350bb34b6fcb72ff2ea501ef72685e9cb773c81e06dddc3163b4daf637658f225b4f0fe21fd1affe861b5c06d35cacc2de7b57bbf7c9dcaa2c148cf96bb9496f9c98dea0a4c67fb59933597043b39fdbf7616fa4d64e8e8747c0e7e29fddcd741fc969dd2107c32f502f5ee12c9e9bc6793a1d2e709edbed465c19ff52ba7944b81453f766a344658fda11c645a904777c2af6b0da86d5f13cb9b0f1e52c0658978c33a86ad2c8d6d7f334c9b6572eef82d162f295602fe3d026fa1d05684acd35037e3ad74a695f0e15c65e7be17d6a258e979108532bc53f148939ddcad9e5eb4705176bb0b593f4a55b4bc59455b37c56a97118d486f35f640a76abe920c9c26167b7d22cc0f2a3fb0651c63be8c2dd767093dc1b1e10e3a9034bb52b8dd20c8d9106cb10a5b30d575b1062d32b3dca2bf930ab1715e50f4a2655c9fae789b5ffee61fefa4dbb25a4ffbcd64e19187c0d992d82e736819e076dd4e2db94c6e9e95741f65f6601598d3fec51d9de98091943331b0b900dacdbf5e5b76b73c72ae62a46a7db844019bed680aa0e46e9cbe104a8f7b4deccf547623767a253d363b473917222a24cbd8b6e234d37dff3bbf5de46bc69af0238644a8c35f823ae8fcef5ecf19c8a2c05e4ad1eb4937be1d6e078ffa619bd80aec5d1f06390de6eaad2218c54ffbe60660990ba19eb67474d5f63946c625b973632cfd3cea0399f4b94ac1df10a431c397439066d72101e1943334d44077a450453f171492ca6a047fc8c53781414658106cd45127b3943de0645c86f94202f01927f91af838692762b5273e8fabd129c2917d75053d8c07baeefca905cc8d312277dd58e777ec2832c8b134bb3e6cd5f84949f72395b6c994ec19177b83b347ced201e86474ff37c60d6d853d50de8edf593ca8322899eb0887351a60968adcb16a88d74ce5c9662335a4f21ae299d9bf4fc18c39d54dfa80ff2d785311596dd217347da2407bb845ed09b796c702a22615623b9554d6df1428fcad0ec86c98f045bbdabcd9d012f0feffc52ea1d04cef55600115446bbbf733d304828ccd14709b5ea58584717199fe643c65c44512840c9bafe0372917fe90a80d5f3f6cd4589947c4ca6a47d3dbff7b706362678d1b3f592b6ce97c831e4c21ca99816757c5c77d0f75b7587b29334685df8a55d81d246d5a0c0697d5914140d514d6baff5b729bd374c9985301f89b1de1951b617b0a3b70a117651e491c1df3af38118f107c13431665f65e0fa34f8c40a54e9aedbb807c029a6f5c469487e66f74dbe20d9202f2b7c3e119e5fe1444013f6ceb557d2e69eacbe6419944b40f7400cc0de04afbcef68d1eac98844b4a2ad6d26b4458e7498d3c5340b4c7d7ad34c87a9102c6546d43991f300144bf7b55f5fd8c92f8ce9e4d513ac1ad1ad82c45e7bc3d04043636f1bbb330a7822be5938158a97c5277ae247c75d6c1253cf63b6700a45ba26269c40cd8b5c24299fa0432f2245e21cb1cdcf218939bc4455f153accae2983023b6ef30dac5a35e21a725f7919a4701181178a23a32f281b5c8d8ed2fea49fb1d383c160a6de2872cf99e5bfadf629430c7b1aefe3417c27a5a1eaa781f761748e2842c8cd7d825891ef67e86540c2dbab8781d5e7364d56dab12a09746aec42150c90a6f6fdf9c9e480cadbe3c5272abac109c3d9dc911a4c7aee256bf774ba4e1cafeeeefe02ffb87952bb6a31b8550ee0fc32aba2236ceb5ae980d90c7cd64dfdd96c53c92979dd3d36e95fbc13ca4f8f85558df2e5dc6eb102f89914ea0e22f9a9dfd9ebf2bd9d82e5dbbb369e6ede5e744115cd4e7cdba67db20fca5c9c3a6363741656965c9fe253d5c9f4a08e24e5e03aca21d579e37b4ddc6e8bf21155065586504da7791d368f8b203b8c50db18966e41821e30272df7e8a0d1c356839d822e75f856892cd4de144b0d41a80f1ed53c51a7aae0801885c1821d0eb050fbc132c0cf206999da276911dcec4929a5e6bfc584ab0ad736d4c1f60ad1bcde83fe6c5ee761a5eb046727f5eff80050d16840187d5504436752681e5f951f0dfd1d72d3add7657676480bcbd6e86734ef844d772bf75309c46ed05061fc723b15f853ec1c1400596396b9f26f67edc085102626104f75cc61653954d9c161d7f3b65a74ee972a722c49dcabd422837c9b3459041e5df14149797bf0d4ed6f7f5282df8d0d5e2338f5c73703dec3ba8d65143a639139b98bd2c3bf901e552fafb0f21c7d6fa1f2eff7b09a9813c279b5345d8d703a106f74edaba74a11b38302207262698eab7ba6256f97961c0d6ff3247e641dc653ba54507310d5a857542b83f51dfdab971340526dcb782d231403eb48e03c7a5b4ed872d2f33147b5641af337e6dca2c36a60c05b63f33665249af51fed02576d05dab7ab9734c0f35f4387088697f0a0c2ae5c9d88f2f86bfc08f17e99978159dcf77241e364acc560a9fccd655eab5ea4894a0463c369bb64016cf75628af85300b8a10647822a68c9b619e7b1755f6644256eda3b4e2f0f2e47e1c6e00a8dc22ad010266ce8a8df10358344a672c508f5b3e4d8f3245feab902a9069bfccfe5b45fe48d66133a76bd30e8d8956c7c6ed88bc616751fc09ff0f5539d18c28f2e079ffd603353b5e4dc91c6017703a99182e4d0a781a9064df2f1dedfe677ff7572b4ebbb51e6209008ae10a0a7beab424e2fc0456d4a527e63d725e80806b3dff054d1321603f0c73d3d976593c022b2341e096562c182158891177a8caac62c5f6c2308508e3dd65d2fe2995de88d5649d161a041e2a4ad4c455293e8a0ea6a6bc6c36160587e5a199dfb7fb116cbcc71f9e8eb3589498ef798fa146865e8dcf552fbfb86347ad21fa257dcec74044f1c894ca62ca8e28d641ee1e11b625aed47c43abfd22c2e505ee9816c61d7e0c50ba9bb25921a4c98b29eade7ef3877d3a21e5d953a02378c3eb8a75e514a4a38d6fac925d2f69f66c4e87357f4758cc12d8c086f0c934678ef84df8bcf8c7c8bbed5909e8c750764b869d0194947c3bc874ae8e70d5d9b8e37fdfb02682b1e0e33aa458750f844554209c42d8544184b4fd94220eadfeed03d61080f551daff95ab238230b4f12eba6477426bee1e8aa53ecf11896d54e6cf7989e25212cdea0087fdda8cf578455e582f6d10773e0e8aecbba42a2803969ad1c396c77c663f64013eec29811f5f0b004952ba3caeab45d9da7409cbf0320b3e4de097b44b289d227489d0b0c5e8f14f36392fedaaf6008d54671e8d72bba4fbab122815fd3d49a25a3c2d85fb83e1645350d0a7de8046e74db6a7f2965d7ab04cf3625b5dab9c02f70cd6a4274aaf9ad4c453e70cf5ea121fc9d5b43d405166d1215c712c9a13fd9a0b34e0f97efe1337e301c592b533276b8ece2192ad05395a00b10a4fb76332acf3dac46d716b618be5dc530561bb5fa69fb2295f3c6bf47fbf34221bb335509e6e8a507fe3d7fe3d0176409fe6403a0f7321936c166b2bcc4eb190661b6add5c5e17cdc3916c8878800fd81784f5c60825472d58bd0b45f1a10044d45384793575b58a4d823774eed9bc45e91b04072b361266972ee0ef82dff917637c344805d17c941f41c950480c162f56ad772c6257f10a8a6cc495b56299b94d190104416ad537bd1b1d4a89d7519d0a7f395e138852f389c0959a13a510f1ef35ca560fb7a7f6c733542e18b59d191e57b3d55a8b53af132f08d719a0860cae66962246e8ab1d99cee40b3db0579302fc23fa41f0e16a6b74728b07c833f6276c
result = valid
salt = 8dec7fa5cb2bf9d277121bd42e04d963f3a6aa6ed54606babc4a40c210296848c08d79c03d018a3f71112dae4d63a0ff86cbe1174457f28946f3af58327d45fc
size = 16320
# tcId = 22
# invalid output size
ikm = dac05fc4504402cd627f18b35af956b0
info = 8785200cebfad691
okm =
result = invalid
salt = 1460e1e2a09bd06410ec04ecacb752b707d5b26a003431a7d67e51c5df028b098853d77c0faa23edc5b27d304fcfc85883cb8fa4cbc5ff32e79139102b8ebcd4
size = 16321
flags = SizeTooLarge
# tcId = 23
# output collision for different salts
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e91cabd2038706c02f8ba3102a545f40f340bf65de30d3c37c2408f14df06e1a
result = valid
salt =
size = 32
flags = EmptySalt
# tcId = 24
# output collision for different salts
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e91cabd2038706c02f8ba3102a545f40f340bf65de30d3c37c2408f14df06e1a
result = valid
salt = 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 25
# a salt longer than the block size of the hash is equivalent to the hash of the
# salt
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = 23117b38f94d22c8180ed72976a1f784fe591caebb6a07c1f0cbf8e29c6938ee
result = valid
salt = 329f445e7de8a156cf26a0208dbb028d9de6ef76b8de67ca634f4a5a732138a1bd436a7b345d7a0314c7ed0a00b0d34ecad2cb8bd141e2ecc1c77e237094d55154
size = 32
# tcId = 26
# a salt longer than the block size of the hash is equivalent to the hash of the
# salt
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = cbb19fbb59b4647d05c57fc07778fe4a73ff7a0de9408c3cd07292bbbef08fe0
result = valid
salt = e6fed0037da957a6a67318c3d8df737bb52b62b8ae4f48b96ff9eb7a108865eca7cd91b371318c8c7bfba2eb4e8d50ff8c9e8e156f998c46cdd7765375725a5f
size = 32
# tcId = 27
# a salt shorter than the block size is padded with zeros.
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e81c7970f06808e8cab6bc6f3a7ea308b19702197cb41a04eef602df9e26d05c
result = valid
salt = e69dcaad55fb0536
size = 32
# tcId = 28
# a salt shorter than the block size is padded with zeros.
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e81c7970f06808e8cab6bc6f3a7ea308b19702197cb41a04eef602df9e26d05c
result = valid
salt = e69dcaad55fb05360000000000000000
size = 32
# tcId = 29
# a salt shorter than the block size is padded with zeros.
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e81c7970f06808e8cab6bc6f3a7ea308b19702197cb41a04eef602df9e26d05c
result = valid
salt = e69dcaad55fb053600000000000000000000000000000000
size = 32
# tcId = 30
# a salt shorter than the block size is padded with zeros.
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e81c7970f06808e8cab6bc6f3a7ea308b19702197cb41a04eef602df9e26d05c
result = valid
salt = e69dcaad55fb0536000000000000000000000000000000000000000000000000
size = 32
# tcId = 31
# a salt shorter than the block size is padded with zeros.
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e81c7970f06808e8cab6bc6f3a7ea308b19702197cb41a04eef602df9e26d05c
result = valid
salt = e69dcaad55fb05360000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 32
# a salt shorter than the block size is padded with zeros.
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e81c7970f06808e8cab6bc6f3a7ea308b19702197cb41a04eef602df9e26d05c
result = valid
salt = e69dcaad55fb053600000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 33
# a salt shorter than the block size is padded with zeros.
ikm = 5943c65bc33bf05a205b04be8ae0ab2e
info = be082f301a03f87787a80fbea88941214d50c42b
okm = e81c7970f06808e8cab6bc6f3a7ea308b19702197cb41a04eef602df9e26d05c
result = valid
salt = e69dcaad55fb0536000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
[keySize = 160]
# tcId = 34
ikm = e2865d6bbc1abf6a815067edc4ee7aa33c290d5a
info =
okm = 3e80cfd3ff6e21e810b7c3ce1d1b002fc6d0ab75
result = valid
salt =
size = 20
flags = EmptySalt
# tcId = 35
ikm = 8c177ab5f40e9c57203883562f01f174070ccd97
info =
okm = 247885b9b90ef2a8cd1e97710eb9bdead1aab09cd552c840df8ae4fe08ac153f0152b20c1e90e5d4e55f
result = valid
salt =
size = 42
flags = EmptySalt
# tcId = 36
ikm = e842a4fc1a147cf2f87de9bd5a42fce6457496f7
info =
okm = 60552eee83f4bd894098f901f9a13462796f75603d3bec289a4c55a16dde21cb2ad41708b3a3d76dbe5c54cea3888caac951d728834d3651a37cde0b0664121e
result = valid
salt =
size = 64
flags = EmptySalt
# tcId = 37
ikm = 5b870ee1bb97ee83f67fa7335b4a0f9dadc80d12
info = 0a0dfb2a6e051441678788bdec04cc1b63ebe1f4
okm = 453fedfd43595245f3c67c61b9dfc253a356a2b7
result = valid
salt =
size = 20
flags = EmptySalt
# tcId = 38
ikm = 58ea7ab33acff514ec08f41e59c17a3c66c1ceef
info = 1cf9e25bd70c5546ea7a79eaf5d90cacf754c4f0
okm = 34226a7c2443a012bd994f8ac6ced5eb70ce08970617b4aca853f6a13b89986725f2b1a3472f5a3122df
result = valid
salt =
size = 42
flags = EmptySalt
# tcId = 39
ikm = e8d20934b9d320458f4854e2442e2f0fa092f461
info = 4425999958aa3cc629300c25ab15be8cea7a4277
okm = 636c9341fc005909bbbfe18d9b4db595b5007178c13d295375d0738204306b522f0e33f37c67465b56d4a09450375a50e8e02199f3c44b7a89618aa940040d1d
result = valid
salt =
size = 64
flags = EmptySalt
# tcId = 40
ikm = dc9e488c684dbf0ac8ff1eefaa0666d413d258f0
info =
okm = 8f426916a9593815065cdbaada2c23921025e780
result = valid
salt = 9afa7df500d7a17af1f44422d25a62bf
size = 20
# tcId = 41
ikm = 34b85c341a04cbade472b3f7dee4de4d1954bf70
info =
okm = 81703cfa5d5f3af1d2105e047f0cba013c1ad5eb27e8d408566a10e00a7e90da4a30a559b33f353d6932
result = valid
salt = b066b42acea664350a8448f8e064225f
size = 42
# tcId = 42
ikm = 44cc641e09f7d5642f7b6007ca5a1c0813319666
info =
okm = 582d7b17c4c783d2f37f0abdff8adc1e324370e069f274b1c7d6a46655843e446504cbbf3155716b6e824d4038e0bdb344df20f19a4a2dacddfe9aad36a81dac
result = valid
salt = 69c0dde6c8e5bd40553a5981fad6ad87
size = 64
# tcId = 43
ikm = 88a8880cc2b73e73b3b6ca1d4902caf2128732c3
info = 6dc723df3d26f704067afb2fb6d95a66516d089c
okm = 02d1a60044f4b017bed7e49a6984cd2108455f5c
result = valid
salt = 0579f690ed32e57a26701a9f6877f243
size = 20
# tcId = 44
ikm = 8408668b9d671121b8c7d31113f045c0d7c020fe
info = b4451b0f1a217db703582881e86d8044d5f2e092
okm = ff71e665d74a7fcd57e7f6ec5600cea19673bd299766e525959717169d3e735a33bd998a317391f1ba91
result = valid
salt = 679b30e6930a8ea3f076e317b9595d5e
size = 42
# tcId = 45
ikm = e6715cc4ee13c4d999d8f8f500243c321f70b0be
info = ef17c9227a5ca654fbdb35dd00dd6dc77b6321de
okm = 76882b3bd15ca84585e2a4e7622e9c3bc20da778aee4d33a6d6a095229f0843878157cb1b5970676725375536a5c724fff18056cb28cdce8878a3c687911c5bf
result = valid
salt = ecfaca2ea3301a992b4de081d9d3a4cc
size = 64
# tcId = 46
ikm = 9a6b88f3f68f5a8e79903b51dcd733abaece1a41
info =
okm = 6f0c3e176ea037da5e32418174dceb98fc1c2b4d
result = valid
salt = 0226df3d66ee3abb275eb39c8ec3d3e12e9b87b67f85c552accc4279ec17
size = 20
# tcId = 47
ikm = 0b9eaec88b2940a4754e83272cbf47fb6f86aaa1
info =
okm = 4592acac51be6ff829028b39b57dc1705b161b9775e5fc4bb668bd4addbf11a6c8230115cd5890015dfc
result = valid
salt = c1616497d49246400ba68242b635c67515d2528ee1c3b71b318b631f9bef
size = 42
# tcId = 48
ikm = c4717276e7c7f794c4ee333b2f7a2ab244be9e8c
info =
okm = 3aa97526d07f8cb7f936d6ec9d6503a21ef162b9fedf354a6afab2bf420a922100838efc9deba0bbf31a0ae06deea9118fe47f4bc484c1bc75f649f3a37c3225
result = valid
salt = af4c63e5b554063e83e37bf730ffa401c696088ccc4f133a8695ffcbf2a9
size = 64
# tcId = 49
ikm = 5e43a900ee0d432c5fe6fc81db8d5f81a54e39df
info = 32460280e60910b10abee2e9f80a3dab48acbc59
okm = a715f5178595b4d7a7592e5fa740b9473ce00777
result = valid
salt = 8cc815009350b0b6a924ed93e73c8f8c57a1105726663b72741b67209c1f
size = 20
# tcId = 50
ikm = 070c170fca600aa2b23618150ab9044bff7d4dcf
info = c1b0971fefa0a23cf4b7185879475ebd8d83b9bc
okm = de39d37c8f7d27af175221836c34e72fe2c2fd8fae0569f47d24a6de918d5992ff95302b421e477e1240
result = valid
salt = f32a1cddb32693860eeb39a5d190f5667a303d5403712cdcebb575c6563b
size = 42
# tcId = 51
ikm = 87a23208df5e66488d23f7aaa066e87bdced8e2b
info = e4d66fa23a6020820013d94d1f8e84a58cba2a82
okm = f275c7be87f3a20c5f095c9c11df0105f825bc3c321dbdf4c64190bf3dd572bf6ec867be292de7351995be506d40075a39a6cfab4ececb19d9502898f8a88e8d
result = valid
salt = 0488ffa08062f1fe83e9c3934f5688a2e17827f898aa5daa2d595f09b245
size = 64
# tcId = 52
ikm = 214746af12a669b726364027e9a1cfa40c18f8e0
info =
okm = bc141ae6584b51855f8f671bdf162fbbde5d8abf3aa42cf9d04908be780075a889472e5093e16a8af780
result = valid
salt = f65ab21816c5eaa5c9ce77d58608ab67176d2255438096f4b45779d15c2afda12718ec557bfe161e7fab89ebad4fa634cf73f2d12c884c4583e64d2b59b9d8b9
size = 42
# tcId = 53
ikm = d509c509f91d78c33b9d661e6df1992b2b6ae429
info = bea4f60eff1a0c6ab664ff3db2f774347920a482
okm = 7d1b8de204154bda72a69644c6635be89fc1859619f101ef215960dd9c776206e9dcb8e5545dec95b2e8
result = valid
salt = 95ff4b20ade46bada320316dad7e2b4286e93dfa2a72c6366c5ddfe8ce2ff344729ea56416d5b53074c6d6c4eb4e4873980e5e4a4991d6b1497aef822e16e209
size = 42
# tcId = 54
# maximal output size
ikm = a53c9ef28d9df1cf2d27cfc10ee41e6b7d3d8883
info = 721ca065b18af203
okm = a9aee535bee79891489603a6b874da4c781985a62694256d07701275babbcf55448d189dc1a2c2197b1a9ff695f8ec73a656c1ae1cf3d2febf653206027f7c976d5da9f54b946fae91303f14029b783c76c5c970d688f4dd8478210fcf7525950e1f007e502c0e829f1582bb0c7f0e221dc7463e581599e340b891eb86b77db0bbc420043708d384d6365cd6e06347260b65f629b4b54e83172ff239c39c4a25f5194c5611e560e7c38f5adeb1c4d2078b48f576384866e91867d41b97700a819392f102b0428b2d8b455741d71f4cf165f31095ffbeb4d53bcc787299394a71f48abfbcb2685a324029dc5fd91284fc78b67c241d39db1a75a96ca6e225d98da1fadced84d7f23d6d4bb442037b714867860ca004e3583665c6d7f51559fa38faa5371c0bff7679626f75080b6b36b24f10ef486e24e1ee9e35afa718f67c6b93d75eccce25fb7f3be7e3db767082bcf7ba449447bb6c07460ebb6bfc5bce7d1fc82e3111b44fa8e4838a59ad5458d5b3f70d9891bbb1f74c2b18e72b9861d4d9fe99b13099f6d4978edd6db0aca250f2428a7372405411be7d223568d5db70fefb81b7eee22711c612e3d6514e9340639b454cb52c1969ad56d4303c40863885e6e438060eb20c8de996a91f9bc0879be71ab925e632c0b0e165395db69b34f606bc65637c6648441408ea6fe95a4c13c8f450abf7a3041d853cdebfe61b322d42db087ed7da3175249aec6520e2a079bf39016286995a36d9f11eb348f501132566cde44219e51b2415e04667d06bbc5f7cc0502e8c8ff9b6037654300c64c540d5e4cb78fc20dea518e721a8ed259f26b033617c9dbe239e92377ceef9fa9383b744cbdc044fb8b3d8089c01dd4ba38f147b691fd0cc4e8ef2acbb6f733c73cfdb52dba9b9d8ef80f3e153cf3281f994335e075498b25840a0f51dd4a654cfbab9277e8708b456ddd0e64977bdb5e88067b889883eba0d433b183ff730109dfbdb994a165f61d9d668c27caed764820348210a24e86b77de66b8032a5173d474fee5ac889b5ebdf1bd653d46af427156ed94f36bd1d205bd0c56e9b783420eba82b6926f988055c2f734fc112772137c5fe63f69fa42e3d02a1cfa316ca7458722372de97e6bc4eb9d049358e84511f80ad45e29a862e756275a617e086bbeb299425f879801701dab7c753bff20cdbfe61aad8fc824a3ee3d47cdd0f166a36de7750e121d9a6d74902b8440969485807eee4d4f18a80a7d5d273c2e6eee6c21a031e6c65e25bb791a2b0817ac168920a739e0ae6128ad2ca97bfb6920a748733404b98083b578163791b085832ad4a35c853fe8529e4e4b62df0e8726c035861c6edb6f2eb4170698d2d3da901da1c7f2d85b73c4c12468a8fd0e4122558f866749375d33b6749f41e37bfb49acae681efc67ae3578bbcb086bf9f1833d3a2a9d0e0c042706c41958dd9b5e6f107e28e5bed647d2db94ddfbb75491be54b3f6b315402f0df49587f614d801c90dc6b42803286b5e37fdde549d88bfeeb3fea83522e30e347d38d228a701537a0cc11c9cb32ae1db6e567e8552d9fc97d88598683afbd90ae58c2e786a5285b33d6892af0c4b91f2a34c7a3eed752f89233ea32c9127249d930c274c133232e53fe667732c31104ab8acc0599f3d017e77f34e1e292d05ded1bc5209b7183dbeca21af986957545b2b231115143b23fdff983367d504232765f22e9a9a5c651d66947784f7d408444833089c69871f97b499b1ca127411c4ae2e4e2fa9b52e3215ac9df9c738de19664b2e03315089753c3df5bb20dd84639d8d1b94e523e8d21c6378b7777b7d057de3f4a25f1b8d4cffc5f43d6bb0da79ae6c12ee2d48e652ae168a7eaab602043cc64c5a5a4736b217678b417734d8d55fb33a7f76207ad443686d416f3465c97fc872e8457a9c3e901dc13f6cb7e6c70799df3780023336c6e4309b239cf876ab831ad1fc96ed9c9e311ccad375d9102ab8451902ef3a5b81fbdbe86c441b3b8ebb9002ba679b4005b540a99df75f1965bf3ca20c82e8540723ad96ceac9dda225bc90f9287803a04f52f26053dcaf9f699fe726e714da69ec9d71d78db541904a61435a3dc0e1d00ee4e7598b8d2fc1ee9595e554e943b76228c72475c94e714b9e2e65ca42bd6c27f3a725c9773e8c9b665700de0781a2f1e5e7d3da8cbf002dfe175b5927fea8484ad88123ce76437b9aced1e5a36a8933276eb9839a8cfcd6d1acfadca6f9fa1a507280780059cd8ec3cfb17492f2e38d03f776644d920163ce8418074cb3123ae35ca2326c71bdee6173a3b3d36318924f836c6782a85bc2410ae67139bca7831d815334f022f59e157d5483266c1bb387a1d8e59d37f080532949007de3a53b4a44b67cefe59b9db6326b232bd9850afa4edd3a5236986a3f116e7d5d8a98e6a967993985aa2415201a24655e7567f1a159eec7d2296eac596af5f770077a1d6444f4d7176b201597f33405cb807855f2b8f824c9c5e92078f4b7ba795b1237bd24c7376ad9d2647f6b131ec8120b3efa4b6f254f51d22f8c5da727fe19580404be59b8f3898c66f17ff82ff19b7cf82bf649c0add1144601c8b38bcac2ada242444fd11ae9498eb47f16d77de6ca9cbc861ecf479de373e969d26e5eb2ad39e4090bed1a0affdff31f5bc9f4a8add6f6b2d2e5921fb4ee3e92319246ffaabaf094d92378d5286fce5233029390d224c5be8a3dcc8b1ae880d47725493d90e3def934522f63d80f96f37921cb8397358cc39892767b1155761e3bd68311ab93ec54575b0eb0e3c3c47fd49cd97a2a2ccd76f8bcc316cf2c5d5f877367898fdfd7e88f6301e4b1e1a5d80bdb6e513d134329bb753eb7e982696713eec74602fc1112dd8fdd9f4b129a08b2bd07eefb514b58b043f879aa298b25acc9221d3c366162d15d6389d9443c1d0dd7d8ca217e095ea039ae383716d4c96add3a38f3466f2fae19d2fde3a68806cebfbf8950425cefbd61fcf68400dd26aeffd34da8fa60f51398d9bf1d2d4c24efdf229c8afa346421f9ddff56512fb5707e85b8f43ea9f38c0891592d3ee1a2c9c8700f55a0be7b7bbfdecacd27af04ba8c22424eb027f2a8504b2878f1bcf1e54608a2ee5d8c27d265e9918acc2d2e45baa3c3d5cdc17ed57ff4193ed8d764ed4eb290b24207d36a19c48565eda5a6ac9516f4432594dfca513ca51fdc4b147813706e26857416f94a3ab5258720bf6d9ed59c2a3f3ef6ee561375966fdefa0ecd2f2b82a813e80f8290d5d04f5b20e6092ff3e406afbac8a524e7044bec55f9a685d1aa156e52fd3d77598ba60b4dc478a14a39b41fa027d5f0947bac937ddb169b552b055a83788d66965a4473e4539c65bebf885f09e29051e27dfc76fd466c14726972527a3b798c58f340fa050954c42ee2442af5f9a4a824de31b1b536e775202a2c1f6c4fa093710d8d23382eeea0e8c06704d855280110f70259e2771c5a07326440dc68363ff96223c215735b53c7bb880eaf878d46837f0f58a2c8f34db2563d021c8e005802fa65b746c8d3b2a72d6fa8ce13e22b6cb02a18320687a7aa13aab14e5318dcd13727a1294caa38192e3ea73d2cc4460a0646313a4428be81af3e091c36b2e9dfbf51f391d915489295ef3574cb8aface6f942049cafec4914ded402071a241128e4055528ce7c1a43e5c426c5c1cd4af9974884a0ad55660052fc3d3f2cb85cd5a1d40d6ec4eab3c18d61c2ae6c98949ceb6d07b93086449a8f77e70ca2d55f7a0886c71f3be9e49b7810155e8aba3512b413879d43288adb5d780f5609e2ca5c22ca4cfff3f3482c79ead24b4af0086b605a0e08662673e472fb4b28b8e94f32884dc1c171ff527ef5da7d998eb79ce745d9c5db985d1cfacb34fd1ac16af80425d782f348d94f9ff70d39de1aa38197676137e722ec427033df9e3c5c456c2bf8eb965d628ac3af64725853ccc389def8ea8a7fb5ce19ad4b0fc50b0b32ce6f1dea3bfcfdef7c3032a921958336a7bc356e19e5fe6bb50465fbf14dc38ba037d19df3ad3e3e855ea95ef81cee28899bf162b0d424f38f528e64db4d68986ce0732ec69456f55701b7f5dda90a755858ce0619926b53ef53f9fbce5eadf15794891630394840378a524609811c00e71b5739158ef31d714f3ab7018c0ecc51e99f4264ec98982aeb736337ab3f415213564cdb8077ae104d3e7407d4481f8fae8579528a8fc74c45c36e7b6d54f93d0d39d5b31f1a4c915821a9d7ab8013c1c6f7620ee069bec49608d10a915b2eb556a5562a4f7eeb28cef87030196f98916e2a9f3c8be8893bdb2e5492536090e3ddc6c6553d7555117f49ce54d0c06e2c8ab715bcbe062bfef4a3f7dd9317650f8f7fba3fc03d5c7678b4212867293aef6216a08c60db5dea51b520b15a8c93bfa2d6959f233e04545471942ca2e6516dbb588041f0fe63997c7bfbc6afa990027f1abd62b347261389b9d4811670eb32abcf9fa971b32b5f5a19df16c517de9e6d57e028ee80393a890896ece64639a840fa01446bbbf45e0e5d8b187b85dc4fcc1e818825d4a08d1fb6b397658a5fa592b3587fea96ddca7a520f7130160c35a0cabb1200a0dc7fb2441a3dde721e49e6d2b185cec101aead7f31da0cecb6ff6f2d8a02417bb3f951e88e6e3f10c68f1cb8dc98da1e608148910b55f49b69a6139bdfdc637ab30997e21b8772201f151a09c183fc4803f0defd2dba67080e7ad453c078f027bc7525c7d4571d6e722e3d4547d591d52414409c60d0dba2db1b784c0003ff8d13ed0138a71aefab18e1fb5cdcf1f8f667697e2789c98c2c7cd0e3ebb1f51c6dd37e4c1a1cc06bcec22d4266baeb16e70339c88cbd238504a11369fb53a45fa7f6aaa03ce314a0680c7b7c1833f60940d9305d2b6b7ac85616a7e5ba1472b6e17e1f5775527e4f520f9eec420b70c7261a3344b19aa023e27a202913bf42e87706625f016674d8f79f35a41020ad962e77359c5622bb03266ba1292ebe3837f37c5ee2c5ee92217e14c26412374c1e14e3e4ef40b57dfc3b529e3f29a6e16e7c03ba19ae80dbfc55f856c23111c7b082ffff05658f2176a2786289cb6799bbface2312c58d6b45656dd085b642a09f05ea8b6cc27660bf81b5118778412a88c62a96602610ff89c34bb1a477558b387dd32d352e8a507b27edfbec30a40e5313f262f905b0f5f73e3be0198299b11d13f0e569bacae5e28b7d06c336b6ca4f5c7e973c463bea0cc37129a0e87a17279ce301cb0b0913ea45a04a77c2473c4d2bbc19808f93baf8b392c64a4fbec09e078bd5db416089ba3e60833f53d05a7a96a7c03f913f39b1a3181cf2342eb307965dd01c7e82d65e7840ad297897ed3f1dfbeb17b5c2aedd8db75ef1dfa65aa5c2a321d472d85a455b74e540a1cf09b0a4dd46a6383e0b08604e69aea1b79eed155584118a183a32669a5d550dfa795f4498b98d31391f7bf9aefcf9b32559778f59304f4d6ecebb23654144aaa38f6b6846aa951c437b5e4ed80120d5841f9dc8b5b41926d58059854bf8cbf57d8cbf820bedce68cc88734a40dc7778475fdcfe01e59e260ea866c85d979ef6f7a7a577a75bbdd9cce9b1fd9aa6c2b89a2bb792156f42cb65d784660b762138a7337e87f074878c94cb8f0e7a70d4f19371316aac641d35348fc5ccfc911c5cbdd2983e032df62004f6788940f2e2fd6e7151f9e5563a87312229e8bbadf04e68e2cf4e1b19378db4de335b4c88c87f096dc2937262b63a3644f69241fcfcc14b1e03a066645ec8fb43b33b3b49555d35cb52f6228a213f49b6d0cab46ab3b494153a3c70f100e7491e662107aa8e7b651c68aa5465a24500a700b33480c1a8c02ddfd9965dcff294a7cd4c5873ba32a45592576da3d5ed9636ae5709c6820e4a3ea2a9e950c97e8d171f1528bd19169c470ee7a4df23c33d3f70e9128472442429bd9d4b27c8d73c8161b3cd5d07c3290b3eae3e9a6c14a815413fcf94193535f5a5c0c0023aa6a27e66ddadbdf4661db08a7b7340653fdd8426f784a05b4a365d6ccd38179a285dcaee8e362538270f01c7c40708f0013612a523f41cbbadc9d3c50e5e4eded53396db97a13748cf10e464a81ee5c5f7576f49631dfc6fa951335055ce347e8b7bd75ce9bd00d70ade8dc14d358fd4afbd5184526368add8f9475ef7d9e13df4379efa27b54bc057ea362a08c97b2e8f03458621bdf38c40e9425c45c142d4461023d351c300b3d00c4d17d57df98a60d6dacda38eb46513f786801896ce18add8acfd03973aca374e0571d422d04c306f28b793a99e36211f1670399cc9399c5e5b02b8ed15cfbde1a4e2047c7aa26a01e23e69bf130a57d1911e11169c362f5f3345c381063d28409c8dab60213df67a0bb49d901d3d4441aa0bef3ad2c45d049b89a841e3659e7715537084c466259ed694bdb1ca11c4dfa903b1e1edb6f90fff6c8305f33b923a2b3aa538fef5fef5fe9be69a1dd192f56782c709cad067296807c9c067a7e8404f8e6e4c668a831df88bc44c526672dfb8165087425efbf248730cd1fc4779fddbf51d4c9af348373db1f5b690dcb967394e06cb32245a51241802736dae19362b2d1e37fe30fa7ab79f5330caedcc6c182c09cc44c8982905906106e8114ceb20b41d5c52fd6fb9bd3a3e54e5894e4f2c858f8df3a27e6dd3fd559d3894e530809e1be8ba9f2b5526dd183f9cb3949e0bb14c3fccb471fd1a70751b938326de55e8e6c14e7edf10eb455a2340f48fa63bfaac46f3d3b89b07af2b83b494745b71eaf5e40ea9bcad95a4454c3a6d39fec718b7ba7be5b35078efb8d08877986691ca347c62af92a946b716b8dd076bd7c7161a7c5ae6ccc9929e8ffa11d8f44d3f3b2e45b51a1236779722313f4cf7208d095e3732fa94879eeceb8d7e47e91fd25089c9468f116e15aa764d4607aa77d96147096e46df9e87defe93218dfd5c7498d3dbeb3a004e3776737a8f02cf6c40a538699313e1f70edd510694b5333cc7172c00c16470104618f9a39688a01ea259c600d18051a379614cf4e5844e2e9d4af11c41eb103aa1e839f6226525d92af5e609459a38b3a25dd4e67deff0bafe09b82f99f3d75c523c4ba21221fc642d6fb327a015c6f48ce87dc5d79dc5b650f91e3151a3fe3fe76611d6eaef5c1bd0569133377834facd47f2982c5d4855095308373003fa61d80835cca34002eaa52a4fa7d3b8c34f54ddca79dff197c6fd3cc43e3371bd43fcc37f723d9f41dfec21867df3ecc636199daadbe659214297b8d0babba8e5d00cafc7125aa0cfdcb859e953d238fc2ab6462362dd3097e75ada136c070839c0d0b92c53f09aafc99248fe6198b3334fa1f5f4f06b114037e96c3ee4321177c199a33ddb6cba0739bd2b7f454bc9064158df43191c42ea0d8995e4e94afa21a2c2fa59877f38e0f1184917f0bc87bec9669cb2d9f9a10ba7d99f2ce7a23a8c4c694b4dcd7bb6e28e77f4cb16cbfc86b6cea04380861e7f7388ddd4876055b5f7ba8cce89b92defb8a625040fa252dcf4cf6ba67e8f2c681b4bb5b2000a8e1a49716c0dc69f42ffb27685773119f2e5d57e84f7f8023f8b452a42c285bc920e3a46049e0d7672a5163dd6f72393b238c3d0d3a4992029c71323c3c1ad5e03e942cb148051bdd2d10342da57c6d8f68b99047d43d6200af8878229e4b6afb3396b938ece754e8cc140caba66df1bacb2a505af3e579bb06d43902a8e6b0cada8b52762ad0c795d4d017716bbc7dca79dceeb986a0cf326cbbc9d6a302f34a5831022d461d99303cf7a41bb5175e1cc88e9377a16f205e1d32fce897f167ecde08e593048e1fa2368e4880701332a55b7ee671343ec340f37e5a9b8edc26e789fccdb4f572bf0189d3a887859c5dba8b0490cb591b200a3004442fced4b96bf4717830c027d6f5662fd57d964a18f89d873339a0de6b3ef2617417deb7dd104b7730ddc73eeca6478de7c7084ae5262f1c3a150da9afa79abf9e4de110d49b0a0a727a8675dcb1cbe76feae3cde81d23653b48d07559bc5266584fa067873412f6ffe16c85c9edddcdfddb8fc6998b8a4e0b29127e62cd9ba7dfce390928deb640f86273ae253ff4f6df03c91f80fe25ed2e6de509c3536d41b35abc54cf7ce30287e93acb85395f04073dce0915c02e6731d16ad76527f3fbf3e96006aabd7ee241dbfe38509932560ad98039a4bd56d4d15ed9ee4d36227e13c5305c71b1b878f6b96479cf1166a93894fa6cf01aca4da216ae6f825ade76972a4a593027121bdbc7c2fce2b734bf730b14cf513dd9641cb1d3cfaeb88bec0611c825ca6c60694a854de543db9119fe484cb7bca47ebf03899a185245693ffc282da97ae89d8d00f564fa0ec7988a629ab5264a7fa6c4e17ac3eb3bbd26ca525563d400e9de1219d58c8d4118c637a95efd8350f1cb5cd56c6af87caa7fc2620f34159c455d8e3f2b020c800e78973223c5d9da400bf5efa609f340a1f13742a92d71f6db545c8ef87c2441b99c54b90d19f3fd0dafbd3912b328314e351a9bb7bac449649d3ab0ae090f94f21463b78db4512004d0e2162debd3c95e679fbcaacef0737f8345aa65a76e7d9fbada667abf200c61098000d18144cd026ce517c70908e023b143ad70053aced29fe3cb7d6bc650b96273a4082ebc50e47781681ccddae1567deb7e041c73bd82438775870ecdd9fb06db903c5fd2e768c3b8a8d637ba7040de04045f1e5155bb5aeb887f49f7dcc77c5d3fcfd225c1b30ed7e8bdb52cc5d3c7b43e72c0a3ec9d8381552133813c17c2ccf1d4949fdaa1979ae74bde43c72aee77ca39611a8e2733c64cde1ea0c9eba5b8c34be8d48ca6b5960409b7c09863c39f9db10d07c9f4981ecf1561abebaacfb6b9fde3117d6bc81330649fbee9fed0d231bf3121c48263d32ae4d860d319059b447d047e276c0622cba5aaa9a44e4677db436959256cde98709ad4c72a74f7db88c825464a4f531aa1b0caae6a47d682a137414f996fb3e860383b479978eb99c5e1f082ba3ea4305dffe5a139f3da93048a8f80a92ca598ac27c641a3f82c5d9b4bdc5b8260bc1b90c852bbea66002f0b7812d477f70efa9d7392707b498b84f490cbf3c9e95d6eab34a6b5fe9ec3f13ac8ebcee017622f967e04c2accd564b87b0ec366cceb8aba4561711bc6ac63a3b409cc85b993f67c96b346aa9bc6957c3dd12f3e427ff769a702b5098f3d61c2185d9a7a656646f4f534e68670322fd6a28a0abdc4590dc1c76b9630ed769521902a44677216efdc7ceb099aa7aa68f87e215090a74aa9c376bc5ee4abb45c80d6b8176fa02618a1df6124d4b1ece04bd93c252ee8cb53a4a5caf4068f0695ecd4dfaea8ebe801d54268f7512354142be80a3ec53337b25191ecfd60b6c30c7a5624f1d8cc0475b3ed016ddd31c5f6b25bb4b837a7a35498edbda00edb10ea98079328276808511972e05aec774f5f6ccfd408d232d4622900c85032e5744492c101c5587e16fffb9149eeb996ddc27238dde497de6ccb4848462e444bf8ff5ed13b09e4c2dc11a183473bc53d10d06d69fc8f2211ec31e280361174315f4947b9a92511f36b915d96f65bb03ec93c634eeeb11d100e10a547d4fc3a182b81e489a2694b55b01bc7e88afbfe4dafe6d6f5f6bd5003926e9fbfb03052b431a1b5bef08335a7ef88593aafbd47afee929022fd4af8ae196de9ad520be9bc1437fa40e7bcabc3e70797f7f8ff0c85d2fa66f6102bb33a7cb0f44a3b64eee1bbcd2b6b1aff83d86f313ea8d96a8cfa066722f7cb0f97d7baf3b0b4e6653a351dcd52b1f2bee1e8d3185466dfac516a39f03cdfdc8cfec3ca0082d94f0052c4213e53eb71574edea8c09a08a396838707ee24825f70564d458493c463360462add277f2de81223b992fac5fef4e6eac66f28a35d0c72a1f5274924c691382b47b1fe6a406eb7902ff435f7f5508d1a92009ff7de03f48da3f4b64166c87759a084e6770a7fa687a1d8ae463401617547e91f44943b0e154a71e176b7838c26d02612cdf9118705dbc2d866d7116f0d9b538919b072441d5f7dc1f4f812ad74ff614d165d9aa2efc7670e1fefef6fe595625eb78f5288d5e5759ad0e76e2fe3f97cb73fe0984368d8dd04c283e3cdb0370116315639e154e445e23b09885af5974c0b80e8983e0bb863b78024db0097779f3ecae9ac1939d48fdbfa193066b6150eef83ad97d96b4a9b67c0701081e91178d58d788eb40aa0d24f8fce6bc11aacece595ef8e54377c813f3045302f3e2ab15005f2198a6f17e2c9ac94e7a3ce4b259d63d87a739aabe59c21d957e05494a1bc057e1408997284bacd404d9697c51ba0e74db22b7d8c86cc609ab6dbcaa988cb190659fd58de12bce56c86ff8a27b3fe03a6be5a83929995c9b5375b558895f0d3cf31ff8fce0657fac1f6c302d84b989d2906855fa4f5a254df91d9ef1077ba2b43d9624065e366a9c76da53aba404fbcc2601e5edcddfe72fb9276f35efacba90bc112fa4cf1a3d3f4135a21c44cc9d91ed2f81e77c7f78805ca52a659f61d28cf3fb27b9757486a9a79b90674d03eda7f107e5dfacae41c50fd6157ca108cd8f07d9408005cb6b939851457882e13f165e602c04ad3d01c82df0cd69a2a47225af034a5546e2f8dd1618539059fb17e458f663f637c657ba6e5eb095b88906ad5b9c7a350d24b004399b835cee54a5ca5dfb01e34b5009353e505a726f54853c6ab66a7d111e320f743a6ebf1801921471de6c651521080e2d7e0034e457842617131a2796027462424872ee70ed403f0028ef21fd5cb7ced0d6a7cef7b2ca1782dc57c188484605f2f2b1322f1be653d9af4d4800a1c2119a28cbad19efd23ce61180d3159e42a31ca41cc1e4884d189d2f9de3de876fcac358a9df84ee3a459cacf4a5a3d4a4a2a06d03b5af48e3a0f9b15b63ef3d96158496cf3c8014bd56251e0f01f44efad82e24a31d10fd060f837f4979768178af004fea3826c98fd73891264bcda5bb5fdb2c24f315489fc2732480e7ae0d55f91c51bc005ba9e315ddde962318d95b3bb5c04b02f0d47dc94010dcc6707ab55afb81d3847d036dc561b7e0e1ac897df028f06f622008fef07ae655e0c9fdbf9af10728df7646d249d01c459002471495c657a2c2f0eef09666efb0e38af035b1703d4a865f85bc6d7d20fc4b5f4a7db655913dc65a694b31ec5b90f831b43fb328a2de2dfe0fcbb075bfe32187294085a1c0d776c91949611fe8466d35b1c42c91d303d3231920940267b54fd5fac1485b706abbfd48b9935fcd0c90dac9708515db00237f0cc0b275c050e83665edd68fd738fa8b787522975426c3eaa489b2f5beea9095eee6013695b15ee7be09955ea139a8d039f62edcf4d6e9ad541a1535ec2073b4aaf3b1ffcbb08d359de2134fc1ddf230f04eee3c744ba64848ebd07ac5daefc794350bcbe776874dd8f3c6cc04e7f65bdc2a416273adc5fbe0b3a79b85a89aa492c1430af46f4d4045d7e32fe36c804ff8479d75ab5b310efb19917ed350b74b5d70eda057761187cb8115d5f0132cc3600bcd14d724ca450b065c0d96686d0b10fd10b1df17c722f109f17580f9da1dfa32885fec8e289af30869bf8b9a898c44a69287b72a473eaecaaba1cca8a7320d51021b60ff69335035439da30ab05e04f16cf6c5a079ad6f65019ffd600cf257acc855fdcdab66975bc7bac081732e32b0c11093e6da0865776c10ba342fdd88afa589362c256983ec946b5587122dd6c0e61f35b9160d0c6afa2097ef1dee6b27e43fcec7ad37b0bef4a584a5c316334058f5d4fe8a8b81d53f0582b7b8731eddad8913aa6e0b981d3f577e6fb03400c60762ac674cbbf7926c61312bd00ee3ef2130d27c1af7346efa32e76c1e3172f4a7cc23598653b459ee35a776c93a8c7d3e24758a5542684bcd4b5cf7e482b0573f61768640d592e21484fa82a410ce80ac429378a31c47eda90061d7ccb03c033141c684c86b5987d8f080eef9b0fc4708e10e8dad034e2909da14739b7c32a2549da0d53bfeb5400221932c40577430556f5610589c7f5d10ba991d58eaf2b37a9b6a2ea15928f20604b2d7b17d2ffbf8cb94001c544a9b0f9aaa342199d9e7c0cdfe3a44833829560d875d2f4d69f34bf621ef254cf6c459a3019f1a0a40f7800a6a337faac1de80e3243106743153cde5be027a8d2f12849a905f54ccbe28e652ed63cc02de3a7d75b3554c29a211c6e292655f1c55a60531df2fbb6e362480a2df07b651c04f70862f97776fe3272584c607dde78aa9f09c7e890afc42425af88c4ea5f9feb9bf32e7ce38c73b8a1bcee7e64ec723404b15b53579665762650e3d4d6efc32132fe4ea4d633929cfbb5313ff680921392bc7a04262cdeeee18c41fc779e1dc734d51170f8d2b26a91a2cdf82667dd33092ce72d5ac6b76158f52c7f5cd3cfec7e6fea996df01bfe415d0c5f36431db3c9a391affe75428947080d2a0bb78b333b99f339a6c9c939f4483b3a850cce5afe4b864ccc6b9432971837bbeeaa62fa58f9d41ad7814bdda840b4ead959cc0080b27baa65716c32c3c3a5d7bb28747f03db5ab3eee4b28da3ed88a838d027292b139f9b8333716834df2f54cd6de14245ac89ffd806e3dec2e7a439b77e4f97f65cad10ed00f714538b9e68cf14ea50125189434c9a5bce8470276d3472423275ec84f2d504b8cee5d866ab020bb8bf941228da462bc582c6f2f59355277a455b7ad787a92f9a0b128f7cc866074cbd97df643d132a63dad4fce01f16ae749738c5c79a7bded51a58be37bea7fd6d5777c652eb25f707c22075ec6ee8583f1c8f3bb803c179392f353d851bb178bd2eac4f0535cccf2fccac71ac1ee05a7cdfb20ca436e3416bf231da2e83f545d2640c8e0411877a94bc92c74bb6bb6c5a795ce36141ccd009d6bafad274e82c202349be98625837427e1ef8de6f6e960b08dec7d9a6c26753bfc326a4b4be053729ba975bbf1599059e5f156489482c840beeaf7bf6361677b19f07282ec3e6c360e2518b66dfaf61010a96360a32d41f3a8a23036340b9f5452dd9475593e768fda4b8943a154e3e89e9f0a948817481ae98973e78e6b2edb6dca17d473b6f02b1fb14dee387c90aaa4648b8b0ed41d39a243dfcb1a5fc490284d8d8f2a07d921cb67f1fcc59adfe3297c5e27b6839169911e916c2a0ddd3b9cf619f47835e1db310d2cbb83ee61bfb0f327bfc31ed7796530ecd876a1110e846701d062c4cd9078f33b509d7f7d8096a1d54f13482d18436c4ec0e0c88054bfc58a8ca25e0af80937724acc399959ad92af128c66bd73d81c536e71dc1288a5cbeeaf46d576c012ec993c96c5f9c47708b3f93cafa205e59582e96c798c3ae4f8c67fbadeab10f7b16cc0af8b7f6b7f7f792244e4a322df484c4b84019d32928ce074c50eed31befea4709d16cf5c844657161044018a1fc1ef1897156c23b129ea3513ff0cbea0a9a4187673d3ce4c9e05224747bb66ef21c57c9a23d5cf9a1974fb9076d70340e75b838e44996ea6632d90a71e59a9137f4a97aafacab3b4ad1aa99260efa682858c31965c2386f28e53d19edee0051817d3450cbf45bb6f118c2d0c310e8c3dbad2564f88fe5a58edee9f9dd1795165bea5a7b92a0005f0efad3d740d8fa0714ead750fd5e0366246bd64f0af25466daa59eb5e4b4431566f7ad2dfbcaf243600e656f6dec7af5cfd72eaaf09e8621c778694e8a3e939998e918e9d8c3b8dcaecaf9d1bc363f8fe8151b169e0291d58a1413b3c3a4c64709392e67a6e1cb5728f34ca3e743cfa543fc6123067354ee00ad7853b4eeee59986141975cc9499fb47ac9edc6f39d2eda20e777501c2ff04a493c8f3036df977cd36fbc947c5cf1a5ae7cfb69b1df57ee3a557a5f6e6b6367a335221f34771f8ece137d9155e73a77cdddf1cd0f5c3055a12424b95c6948fc9c4f88e244e4dce40b5ed38f9ac1e7807c8a923e4b44f8ba00e8f06cc0062dda7bb2ef4a798c5d1a8620f8a6bbaed52a68d41902f094cfba1f33d080b2b6dab0323714beefe1fc10568baff471f25b9ea51d84776ce3d9781df36c696cf40d7223487917aafbee15475c100ea27cc678484f9edc9a9ab2c7149e2b38f8f329159a0d98ff492b412a287de6637891efe758c4f37249953dae1eb26643ebf69dee48413858ad596498a38daf6436a1e59c8cac1ac7c94a864382bc834d44ab3787c4571623311ed3c1e66306a280e1fc6bbab8ba56f4c79a15a83eadde199cfa8f80555c97ada73b471b36a21b346fef8c21c44c91b7a7e7085737afbc82da220484ae0804d94f71d33953f4baf07d61fb95676e88c9f8a5cd20f663d0519309daef40ccc45344ec0bf26ec5512bbdc521de3577dfafe01cde71a3002c820ead34386ef1a23bd2f6e3f125c136d4a29bfa8181a59c345412f0f9d2d004edd0a2e6e9b89a113375cde50eafcf2b5b241c0cefddd4e630b6be2d22a93363bdaf0557c06aed611527b23900db763cc1353c33e126c3eda717769b51628bfcb2813308af89c6a3c4445ec0365082e6ce7cca216cfd3fdc29ae96d13c66b7bd5c621b90b3375c19ffe9e2cae18d15bae52007e8ba135bcadd39cea9978f1f49783182f13ecb57f1a77f79b3b0038086ebd9e96d8ae7288414f4725dfe5aa15997ad26941aaa1bfbe1ab9e6660284452bbbc0c8849a1f0bac574d3331d8033178a7461bcebaab54d3e6156a5aef5730dc958cd998a75e1a412d93925048990dadbe22388f6b85c6b4259185e8ed1cf878fe5334c80205750e47932c425c84370cb0bc7933e29e3af5c6724ada3a1a6495fe8acce634ced98f098e7e4bc39598ca744435f09d2652b858ea36f62bc1ddc97cbadb16315767e06b8d0ffb2aceadf2575a0a84eccdd3f7e2bf2baf1c80f8cf69acbd5b71e00e6057ffb43d87d7d244aa30052b379bced1afcba38325454d604aff82ec0e42e3e69deaaabc12718e2e4df13fcaaf855ffe1e2d82e7060062c20f99e94b1e3ba42afd0c7659ed5d0064f61c958329a8fe90eb17a176b5d3d7d559f785602d3401b0ce06b6ede8e58b88db4ecac13df6eb4d16c2f3f83e349c9ca2f66e1f0fc1b37989f722589075421fba332502657575a47aa435b2e93fa0060f38e788fae795e1b62f49260240015b1c12fe019b32be2f361568550c9083a73e4b99979a8fb734bde74248827cb5f3f8204da3afac1107154833b76fbb7e7c84fd690043741e55401149fee035a8d7e59d399e68c19a2ad9888006c11cfc591cc570a78240f2d5c39e0179a37ab53ea97b1f477d757c1af797e3801743202113323778caf219bb548d18293c5f68742ddf0e74a972e09758d475726064d23f75964a23c0bf405ced42b02047c035d2ad245285debc86810feac7bdbd9a055d9ed1e7abe5ef4c806b6ce00bf647e9370c350c60a988da268a9c70b9f41773cab5f6dfa5e11afda54b2318116afebccc0e2c54077d527bf005c2498b083d9b95bf6c665f7a0abf1f62549ecc08c0581bc8dd7b15d2f360a5d795d42bd3899be206192e488692332fbcd065257c11b1467919e768a90af32b18217c3352e2b2858e20f320899430e4fa704240c076224573640a3ac050dbbdc49a70a537ae8185c1b7a070a3b7812a0d3c21d6ae1a94b165f533a630a24660b8b2ac5111e1ba4337d2141be6793d9e104c4c670e22cfa4413d7d5302a6302ddacb7f38caae3794085ab725ca95f671d96160828cff5760fdbb83eba9aba400799df8da00541f5f5189ae0c75b1d5f59db4eff219a57b96a264fdb8ee1764e52da1096b1cda085d72c780615e11f2f04e974980c4c34b80e0de667858d903a626b2b04dd7038acc5ac96f7dc890e43d9774821bbe9d84e5b6275d0fd8f6e532f4894ca4e11888f3bb3223f72198d547c56b70f77f8346f2d2c487c02b19dfb6eb315e30087afe4f5a38589a147b5ba49d59fc17595180fe75607aa1e0a421f1ced70cb73b5f818a0b91927c14befa25a1c4523bc249cd676bbc6f9b46d99baf597783e9d04d18215bdc461ae21a452deba22f1b5ba8f0fe4b3dda043d04de5fc6279906c2ef8d899b05b1deecabe0225a734348e75d6178b3da30dd2c1b1805499365a1068785f75c32de8f59a0326a90e7bdda944b8c4e338583100bcc50cc6d1bfacc9f3d243b698f0d5df7b1a6084333bf61048c0dea3acfd17ab620da603fb420701b9e67118b2b267b53459f5f295b93722333a7c42047c5289bf7e20b2a4389e9248030c72f18e5b2508f4403ed3d1b87204aea8bdce0b463bcea963b66e93a1cf48d630b177efa26531bea9bd1b37f044cc4a02ee8f06de2787d48c1840a6c43de850b4b9f562ab583d9469d63f601bacaec5a32521c5ee92bf35b58995a19584690dad9cb87c5f2625279b5a50f78ec7bba87fec6e1e765ea61c3662b42b13d4e68c1c048847e572041dc865d1567bd9b542e51c1b2af312923ba560f535ff24c3ccc75e334147e608573d0133de25ad7c670ba076f3cde5515572369cc972ef1969c74bd0e5308169bbe5b102367a021b70caf9814b8f2bfe67c6139b82053e1e52ff510447cae98ce3c2f5620a56829024398d4c23d6178551c258004626bdfabdc1d317fa212f44094f53b8a5b47a182f0fd25c443c296a14d5e3b0ac88f3b7686aba71dc3ec8f21231ed172a64fc3aad92e62f76d418f4e5b7aa64eb6018092bf50cfa921758316d91840cf5bae812d826bf6771f2c50b74b6bf9ce86a006282dfa21f9984121573004c58490a5c71c63c10b7ee0193510bef70e76e53cb23f4a0db49c8bf87f330532a344a075f78f2396402537f94bb49c425c13057a55214deeaedceea33819b52c1ac5f275f20b3a93f0f519e792bcc7f9e8152cea0d3924ea411fbd6fa55e451ab4d2da6c7e74a6c5ee26fb550e4214955595269aa0801124201ee2ae99243d53c46038f1a2e9eb109dca40f1784dfa0e976bb61580fe941930721f204f669e344bf88f9284f211d50a2ec61553fc28416d9897c394a05c6489969a4b730b76b908f283f39e5248d3df134d7880250a0050bf26bd85b0ace5d2507627de9819f9225de9039e80221826b207fc00dc9c1b77dfcaea8c5076cf30620761e1eed6761e909050d982455c7f0de450ead290a0223a07b6c60bbce5b90fe2d6a75a6f824d7835b7ca5d73342abd3760bcc6f6bfb037736a201dd285828206cd21e19fa5b583512a6657d9670f4b80e613576306c6df7ac13e99dccf4751405947d2f14b2c4debc1eef724768ba3f3aceec9bcb788f00ea92f1ba5df90182690233b0c4d0a5b09670f01aa6cfd82919f40fdcacd80c5554c1b46468443bfcaa75c52f894866361cd479e3b97d60ff0c092faefc7d7c0e9a3e5282feeb6ecfdc8e498f2aab85a71a12443eed58617613d0043c0cc360bc978c811f74e28ba54d545c0748eba66a6a8a5abcd2cca3b2e3c7e6c842727030aec2e591c0de61bde8201fd43e6df31af74e46ec35c0a1a56420920ae4d4687a8127f83a5ca97c6d21ebd0c8febf60e715670a4ed5d1987d1404d711ef8fe42e1047cae8d523900167e2a8d73d2bbda48d470f874f171482dd3068761da65f7dd9519951807acf5c49b4548427085bf6883126566e820eb7ab6e211c48d1e43c1c1743a7282082e7f922951fde1a98dd2069882bb634dcee32e79cd78835bcc57b263c74d5bd90137dd344bbc6523d5dd89c0c2314839c4f6e24c325a0e544c4c21b786fcb44bff61b2792c58fc1bc034118e93bfe91582a6c66f8c4c8be0d9184b7858554fd66bb6af3e21c0c5410bcad7fc5a7d60269a226259960bb6632b00d0f85531eac457f4f4d9d2694b55cdbd34de186d61827c4b8adb5fd2cc388b939aec81ee1b616aff79f4327a056873ac7a51e05b85cbaa1524b619a4dda3636e927063560a5ef85c0d37b419a4cdf7c0e4d58ee87d7a5209ca9d2b519785a9d7ac81944d1757597dece91b788c1723cd4d8453c251a016466fdaf27258339d2b7b891f875f92248e3809fce2a8bd8561cf87070318c742bbcd04143fb52fff2430c2ee369cc6b3d3cd7ac08a6c7023238feed49f956db734da42058c93c65e3d5c09093c9aba2b07bcd85e70b316109d27489ffe4381746468b4810da570d731a7ef47b67de81f4a0277e80af586bbe0201ba24d799d424cf3592119ce3fff2ca1823cb9244288c7de860c9029bb44b65fb9ac388908a19350c3b470bc699377f2e764e3afa239498aa6c87e292f202ede3f98dcbe74806136bc623c2e96f24c7fdb54f1a7f1f63189af9e9bc67184c889183722769d3dfd4cb0b7e321d745d51f77f855a38e9f7ea6371a0c8b6a80c03cce921be0814c144c2425e344ffb45b5a8eac144e3b6e6c5e638079305b7012029b01929a7e79f6edc02b936f844a86c65ac5cb7b334bf3174e11b2ea0d7896e4afb03e8cafd620c44df5111b9063437d326c14c7223b276f568642d04c387452f77dc4c1fa5c82dc1a8f538c6082541a4c00736cf1b6406ffe2ee1ab29e4caf3737b9da7b615cbc4232ab7421134a1e36574e1fcfcb649334562fe81b006f30d4e7f73741a1a9990a41a69b63c951751353dc02984492a44c1f23074634769f39e13d1f0a9824c7f7cfb4fe5c8cc05d811c45548e92fd4872493f8d5fa2ff39a01a332b75b467137f9a3606bf66b294fc8ab5e0cc8281d2fc36c60804f520b8a644294e5d8d80bc1c2968c4a03808539d7bd10094f61d9dbd7219d465e3c2878b28fc14d0a44714dedfe0eb2fd252dfd36bd79827a31a168e2d5d252c4cd2eef4fea8a37b8d7605345a54499dbe0b6a246dbe90367a84764f78dfc0857ebf78d0b559437938b42e0b6de2257818291e4321cf6074fdffee9604b46fe768a0175eab2983cd7feecfa521c5bcbd7b164351757422972a79319c60824c50fd8e52af845c2adfd17bbf758263732fbd7542f44e07c7e8936ed8c9d6bf75a7db7b0d24bb1d367fbc10de3f1f226b6aaaf803c3cd44ffd11475c949ff5d7db75aa0f511e2b1c947c4c893e554d96d9ea53877c80f703a8ad86e6e1c3aba41cd11ee291570b9e0c3c3e0221394c0c0b98e7c8bfc3e1a51b05c6331944be499d6823cd43493d6682ac585f302fc435c8ceaf2646414501a51b152da5bdbb917342764d4298f4c9cfb3ac900eba0224cd8abfecd5b732a26fc38ee45ab997f6f3b0587cc88411401c1d3e8ae068bfda326abefdfc338f9bde30429d4b15a06a0070348bfd39418bc52a30924a454784e7ea47b697603aa19bc5e08e123e8fa814c863016bc178a315c6d1b67ea73b7162684234d4d4636f306f1d1d1c0dcfa72e48380e54fc33d60121a5da9b67811db7d9c59206a6ecebb1b942a397eb5754a434d14ffc0dabbd9d97372be24ec26399aca48396dcfc439d47e33bdfdccda38439a0431b9ec0c3b2dff46f27b2b0e474bcbd81a71ad5d8a52ba47339ceded7c11064b8add5010d4a7c582bbf7b25f03f540f0ab1b70a915cc9d23562ccc4ccc6f7539fd0d08cf5339b8647a916d6d5efdbc259b6fea87f196e0e62f73add4bdb6e203b502553efddfe0e60fdf6f118ba5f2930a2ce52a5a30f7036857dfd4a5761fa90b753d5ccc623020b39c593b874f646e9dcc2dd0d9c26d6a66fd85d81c57776e49542a5b5ed032c270c2b35e22aa779e63aecbb16d0c2ee09ebe8cb0fa6b74cabf7b645a18058273bac5399af8d0147590abd7b00b5d94f95a0a2c199d5f4c983ce5aad47bf35c515b4e30f5303afd4d01ebdf11ca42682442a575b4ceda683fda64c6802e08748f1ff32bc58138d8a7269d1fbfc0a5170d0020171c9b69960d697a8a4a2f065263e50ba2950bd1ed3dfbb4cbc3290f164a9ea6d10062fb0cb7bd25a0c20d979b3b0dea069e416e5ab7c95df48db5d560e798e2dab0f4e3695685029968777b1659bddc1fb14343060ef8cef7c1325f47c21d2b8e93986e2886e6fdb1de347b516eb724cc84fd9ba94a17bb2c23bacd7b68e74162259a29d126a737a7e0d26372ed28a4a40b7c8e02d75c15cf52fa0cc9bb78f025a7e3413524890250ee922cccebbae13ad53ca87e9e5a60720f069131172ad7cc0d27089cf9d828b113ee15773e8f22bacb66377dc4dc1aee2f199db2924cbb6bc9b38f2e3a42cf358115fa93d59bfc0ce7e42bbc4d988e94c9b68cc621e6950965b6f5cfd6e865ff379c187e8b2a7a6d975ae756da6b39b65643260b1f942df18de38c5bb99d953c2b8ca43f9a9c1cc11e02304a79705c0e28cb37957fa9ef6f4d18050be0f197380f0581f3204382d92878ad3d68a93ff12e672067383a67c32a8c8d18147482aed0a77a0ec7e15c8fe934a8effea9baff792989fb8c4f08bea66283f42129a61ce5c21f4165516f8e08ee45f7bdfeaa925ed7abfe997f530884359dc7abb701be4ea69436ba35ba794593580081af6b0d2ec6f0811be138ef599345a34506c828ccad8df085b0c86797b9058e45ffd88833904ff8ecdc79357a38e77025abe5efdb9e8d0bfc1883439afea184370817e57f08292b95077c54cf4f947c7ef72a245eef232b911a5307ec30de5e8569a7d1009259ac540e38ff08ca4ab2d3812dd9c5058686ab41036c4b0718a2f73ca0a114868684db94ad71362a36f62aa01885f7cc93b0c9dfdcfa22c64a5be52c94315e9613e75122a212465dc5214903e138f92c68fe36f875eb575601739635af2781f4d35eacb39f4f392c96a5c03e4a58e9323e6d6ddd557d786a4f0522fd1697f0692dbdf98b60352889ab73cf1e4852a115c300c6e7853caa33950d51b4f91800fb6af78d1fbfd1d7d04b6fdea8ed13e64088e4e53ad5205c7e2ba53709fd8158e2d79f969789bd6ff03b582c19bdf4a8d49e4d7ee051407de1d28b5969e0ac82c1bcfad655cde6ab0813f4bb9d5965f1673abaced12de8916cf239ae42f38e71438612785cfec947b28a3468b53698e7c9dcce456c0910bb97bb4521f6d03a17209d93a70a53596e5b25ce66edc7099b350fe20dc44dbf45865c7d81f62528eb51ffc67bc683d4977a36b091ff4ca086e04737b7d0a9dc28b21e2a6af7a3cbc8095ca0cddc66217b849ce3abfe6abc78d7be7e7013bbe46de6c93db8bac55a3c831f4857cd18630567defd154c30c7c8b88a731cb19769f1e16c9a41ecfd0ff5b51ab31e4732e99ef11527f4320b3b645f68f03cf694d6711c317860a862047e2ea9d00af95a0cca74e42dfad90eb45ed1617a89e94634e49c82faf6dcdfab6115b7ae22cab27d441afec80f6abaffe7f38e3b421a265ef86c8c2b3cf2005f490bb0930837f325edff037f496637778052d5f552b500ce032f8f0db4129ae7f29997739d63e0ca0f572ef2db8cbcbc943738cbbcf482089fbcf5b0c86a1f454e7042429efc6d17c6765ba9205beeb2ce9bcd3dd77d99c6de84b0219ce18a86dd159b321d30eaec9df24f6d7c3ea2e65ec07cc06ee4304ee5663c20b89e0841f4339e365e3bc233de84f2b88fdc7dec0b823c7be39ee348727232a88ca59c5b30eaf92da2329735ab5b591cc78cf78abda50e74734b0ce3cc817f71f0a8216e3fe1ca703b0518b9067abbe0e7a23c3e27c9a2b930d7670f087dd0f30638ccee3888c9abe7579894f5a4cec8c946ac82e45b094fbed19e5ab168e83eb4290bc48170741fb51e4f563f2fd8a22c3936282accce138a50a3faea0fb615e55727fd044fe3dc289fe9d1b9d7f09601b186b3599623e174cf42ab31301d50211555bd7b5e5e42231ff07b85e15510d712ca2b4c1be895646b0b80b5ffcb23bfb1daeff039d1afcfb7f8d952a3681cc79adea50b163497004767174aab6cfd6e708e7377fe19bbf08e1b271a4098d8cc33117b90b0225642fc92a5b4d9824d9fc3d3ea59465a8374b9dda581862e38d5a3aad3fcd8c10cd48cbab611db5a73a09cd05128717d3c45cabf3ef02e9e55b1560a0b7fcf776d7fecc0631e5671f826599616b7e09f36b73b71d8e8847e7b1a9804f8d70cd802962b8e89de6ac2ffc1de04f3f78819675467ffecb47de3097ccd13c27165646705c53670b99b1a70a835a0fb9a5f7930b91aa9a4e3fa17b9bca709c43cbdb832fde1e4c99be3cc0b9670395aa9c2b6b40b85485717db8332fe95985d7b187a077484a31706a7852a58ae7b7251558086229f68b1243ebeab305a7ea90e97e321aea9ceada4a41d6c6af4025f7f299a6e30c40c77c4e65802c1333ac884ac36a93c2c1d72cbb10ada425eb33553397dbc950ee5dc3e47ad98b5a2def7636261cb3fc356c4382aa0268673ccd11d101a82a61d6131718c1f33979003eec1cb9719cf2419080b9b4df32a55591fb0efca027ac0a04cfa9cf8dd1f2cef4cd5406e0c45aa4e40f86c9c609830536092ab77d9f1f3fbda3e7b209fea4c7570e407b179448e665aebf3a8ff6445f6ccc58f05af5d6dd1cbe596094bf8aea65b3ef04f36ae292136d341a5e72a1b4f0e0e278ef4f811873c8ee5ce54959dbf91d9b171d612d152d44c78fb346c4d6b461fae12a66b8db6aeaa3f9193b4fc0d696a9323828c10e48329c8fbec315bd03f7665bed23f63457954648566bae2d67c15e2e659d068c93a1f6ac7712502a5fb861895ecea6c02d4c7abea9be8000276a4786772961057ff5e03b985fd63a651aa9814c033aa25b329c9493b8e20fac9b254dd59adda1fae29b53b1226bf799b326359e3a5f315c0338b59f3120a284815f11bd72de4eeea3830a5602910ff54d056f8b247e2c1ca6d242b6ddde6c345bab1a20aebe7102f12b5efe2fd0b85f20581fc842213338b332267ba188549c21c6fb96ab734c761b57f2fef5b8ad48db8a450cc07922f8f6eca2a374186ed84422422ff47d85c216d218681a730108af8d96ee6efd8c451aaacbbae99a075fd3a501b4d903ffa120460bf8ee66cdc3c44485230aea38a8239467a185
result = valid
salt = c521bf7ffc3146dc02c9297fdcd45af84441390af658105cc99622d593b68d774e61006e6cc02dcfff483d3aff0f36ec184585f35ddfd46ad8b116205b909b81
size = 16320
# tcId = 55
# invalid output size
ikm = dc46034cfb2df51863a09d3c36774403267ff968
info = 5c038dce10e6d437
okm =
result = invalid
salt = dedfa9e98cf384cc448927bea53574c05c1132f2a07b531b366b15e12dd7c9f69ad1eca26581562f53cb3b4db07b9196664bcfd2b9cd1616a9dfe471af24b55a
size = 16321
flags = SizeTooLarge
# tcId = 56
# output collision for different salts
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 30850cf9dca6893d4f864047e6545a3331f221dd49d7e1d2e3042d5af1fbc2c1
result = valid
salt =
size = 32
flags = EmptySalt
# tcId = 57
# output collision for different salts
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 30850cf9dca6893d4f864047e6545a3331f221dd49d7e1d2e3042d5af1fbc2c1
result = valid
salt = 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 58
# a salt longer than the block size of the hash is equivalent to the hash of the
# salt
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 8b4fe5702f56eeb71bf7d90e87c95c3ad054e448d50dca0f65b78101f657dfe3
result = valid
salt = 1a08959149f4b073bcd902c9bc4ed0324c21c95590773afc77037d610b9584806aeeeda8b5d588d0cd79e7c12211b8e394067516ce12946d61111a52042b539353
size = 32
# tcId = 59
# a salt longer than the block size of the hash is equivalent to the hash of the
# salt
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = d5b8c21cf1fb6da39d7cb2394fb7a2c263d8d508d008b8e5fec3030340cc5664
result = valid
salt = 96b8543f45cdf8cdf0d8648cbe854e20e21c554c33e6a27be0e5d5caf1f70e26b14a9df8e1c45649bb96e510d095b249d11b526d094f6e900a17056271f12fc6
size = 32
# tcId = 60
# a salt shorter than the block size is padded with zeros.
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 9cb385bb5126c9220bb9870eac3c6b74962b0ab2b76c0f9be6627a7163facb1b
result = valid
salt = af856d5eed5c77f4
size = 32
# tcId = 61
# a salt shorter than the block size is padded with zeros.
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 9cb385bb5126c9220bb9870eac3c6b74962b0ab2b76c0f9be6627a7163facb1b
result = valid
salt = af856d5eed5c77f40000000000000000
size = 32
# tcId = 62
# a salt shorter than the block size is padded with zeros.
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 9cb385bb5126c9220bb9870eac3c6b74962b0ab2b76c0f9be6627a7163facb1b
result = valid
salt = af856d5eed5c77f400000000000000000000000000000000
size = 32
# tcId = 63
# a salt shorter than the block size is padded with zeros.
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 9cb385bb5126c9220bb9870eac3c6b74962b0ab2b76c0f9be6627a7163facb1b
result = valid
salt = af856d5eed5c77f4000000000000000000000000000000000000000000000000
size = 32
# tcId = 64
# a salt shorter than the block size is padded with zeros.
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 9cb385bb5126c9220bb9870eac3c6b74962b0ab2b76c0f9be6627a7163facb1b
result = valid
salt = af856d5eed5c77f40000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 65
# a salt shorter than the block size is padded with zeros.
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 9cb385bb5126c9220bb9870eac3c6b74962b0ab2b76c0f9be6627a7163facb1b
result = valid
salt = af856d5eed5c77f400000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 66
# a salt shorter than the block size is padded with zeros.
ikm = 624a5b59c2be55cbe29ea90c0020a7e8c60f2501
info = 5447e595250d02165aae3e61fa90313e25509a7b
okm = 9cb385bb5126c9220bb9870eac3c6b74962b0ab2b76c0f9be6627a7163facb1b
result = valid
salt = af856d5eed5c77f4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
[keySize = 256]
# tcId = 67
ikm = b18e35e63cc4fe4117bf2754ec3f9ebb5346dbb0bf6d4e5f2422418771816fc4
info =
okm = 6cb29020bbbd80a8525643612b5165a77bf387f3
result = valid
salt =
size = 20
flags = EmptySalt
# tcId = 68
ikm = 236c2ba20c72242820f63d3e9c20633162c1cb048a45dea13861e8a138b9640d
info =
okm = 41500bfebed54b041187964d00b2eb09d3a83a0a1eb483726d08dbdf8cbf02ee78c949562935902437b1
result = valid
salt =
size = 42
flags = EmptySalt
# tcId = 69
ikm = f2cba42dd82acb5d2d569406815a3769b7becb13fa48537fa7d7d5e121081d39
info =
okm = 6e79ba20f225b2ca5fad5d87d18b5d0922f489961feedaa032a3551dfefa7cc0b636f831105b0301bcb982cfbcfc22cb01f4d4d38bb5336448091218bee6f8a9
result = valid
salt =
size = 64
flags = EmptySalt
# tcId = 70
ikm = 73d97f2ffde01b447a5b8573190a8eb4f87f7ac04482836143f780ad876bfffe
info = 74d2301c5aca2441372cf6077bd8806dab3e8721
okm = 604db18fa852e98c2ceba7c5fd876c9565f2d8ac
result = valid
salt =
size = 20
flags = EmptySalt
# tcId = 71
ikm = 6948521434707e96fa943e44988d1ad409ec57e6594867e8193e9d727238916d
info = 9eaddd1e7edb6b84c96fb5ac7e0d673a8f5084f2
okm = f0a591ba1b695a12cf0601ef28ad454aea0381f5136e9d44d45c9a990915eb537d485b02dc21f5602d25
result = valid
salt =
size = 42
flags = EmptySalt
# tcId = 72
ikm = b72b3854923b8a0048497a86bddef962552c8f6b2c72b2b2006a1820fea5c6a9
info = 113b708f7522ec3b362999db18699bf7871e3b8f
okm = 03d4ec407cad5d86bb14557274863c89b426eb6842abfca17809c67027710d683d66d60cda03b01f82c15240b18fd53ef3b1a312a6b1c24b3e68095d624c4e0e
result = valid
salt =
size = 64
flags = EmptySalt
# tcId = 73
ikm = 44d774def90685c0e9a685fa50fd434c807d1a57896fa42f91778821fe232057
info =
okm = 966d70d2a934e0531e7f014ec225173a473ed5f5
result = valid
salt = 0d7d3b47bf8484c8adab7f9c27c9584f
size = 20
# tcId = 74
ikm = 098ecd86354496a701ffcac8d589a1217231da3b80ccce4ef85762d7f3a2c211
info =
okm = 960403608cbb8f54559fc16feb4d0b3a2cc083b111795ebc4a47bb21b8d0742759a7f310446ac307baa7
result = valid
salt = 5232e5e4e2dd6133d46ebe5a8a51a0bc
size = 42
# tcId = 75
ikm = 917ad396520e454a571ac39a9f6bc845a8920954fba1ac400cb2988cd8847ba0
info =
okm = f4470980d2ae8bbdb48d9c379c1c3c3444b1db1f606f1c9db15ffdf1d6f7778289b3d10b8b3fa44ae071bf8862a980464975351f4d7518ebb520fe3ce93188ad
result = valid
salt = 962d86949506450eaca929286ce5d9e7
size = 64
# tcId = 76
ikm = 1cbff2202268edf1985bc91466b80133644988c5e81368cf0995274204fb0aa3
info = 3e4f9c8d3d607c2ed43caa9e87e6ecbc307c6048
okm = c5abdaef7f2de0778c32ab5c697173eaa77a052a
result = valid
salt = 2bde6e33534731f52d39add940ff46f6
size = 20
# tcId = 77
ikm = d00d6b4fe088077ffbc64127d6bdb9707a0f9061c0b873c334c3be0adaa7c2bd
info = 4266351bad419173279c901aea148e8b1d99e50f
okm = c01c828143f4e2d4aa7670b7a530ba550aa70577d1eb7acf1504974d2b48c8b9de2a8f968057230e7a65
result = valid
salt = 1647a044472179d454b8d2108e4a2aa8
size = 42
# tcId = 78
ikm = 9a27c19b607adc8f152faeaeb1282002d3a2166894b7fe5d65829ecdcfaf73b9
info = 36356cdc28187c11cbb9046f9ce7502ab4d2ea46
okm = 2a9b1cfbdc14bf2ec8663ee121290534c84c1b053e848a241f5a75828ed63c14dc364c90e5008f35c98e54e25923f6f145708f5dcd6cad78157ac9a0d2b18d55
result = valid
salt = 70d83929a6376a6eab859f0d6225f131
size = 64
# tcId = 79
ikm = f5d1c855d3448e212d76d3927ec797dc439cb182f427064288452988ab79c83f
info =
okm = a76a114ca44ccd115e42b6957a678c5f8cf958f0
result = valid
salt = 87ef5da5400db731d658972ea82b76848004e70d3b22cec76c8be06283c4
size = 20
# tcId = 80
ikm = 3f19b7095a6b3d313b59c3ba2c3a78d8b24f30c9ed4f8be9eb92f8eeaabd2c3c
info =
okm = 232dd33123eb4851feb01bed3e9fa1e42e966d6425ccb3e18f12dbf86d0f201f7b9d5707216de4c69e6e
result = valid
salt = 8f1f6c8e4f68830319ae859b4b1fa71f1d69552b0c3e53cbbad26293651e
size = 42
# tcId = 81
ikm = b1d396c69f14994dc8add0f6e0cde4455677ba9ee95ff84a142295f9177ee629
info =
okm = b675ad80f49e3cc43fdd385e8d79db1f0335c3cfe9ed03a0924121de4626254936c031330b94c3130587a8e98eec3a4fca781cc220f549c1e6a5fcddc378a0a8
result = valid
salt = 7f693304bff77534b8246d832749387ecc0e8daeae11d77d022ca9e362d1
size = 64
# tcId = 82
ikm = 003d1901a10c062ec44e0f2a94c544b7f53b33f1ea4679fa6e023c2d0a907fcd
info = d5d3ef5beb9840d15efe9c778aefe38f1bf7bae3
okm = 8d8b785c0421f032abc0778f97c71f3b3e337627
result = valid
salt = ed86cb8c8ba1c989f9a60a4a82c38be98c70e6218576b292c93fcc18192e
size = 20
# tcId = 83
ikm = 02e0647a4b7ccfc0d3ee7ddfe24ce69c02f51cbaa836b96cbc5a9c2885c45599
info = 4e9e27d971e76fda614fde15031f6664b97d4786
okm = b9a02032cb32071c7c5a7b61a87fc6c28a9b6b2547fb951fe14b84271bf893c3fe40173066da4777e87c
result = valid
salt = f0862f61f2377ca34b76476ae21e331b114c7712aef501a1bf00f7e9cb79
size = 42
# tcId = 84
ikm = 92bfb7e31e839f109e6622b2c2c4f41ce84c9907172681920e7d90e80e2339bf
info = ff36776fc755722ff371f21cfb37a168a2731e99
okm = 1a3dbaed5d00209df5fcf4218b45a805341eb0aee4ac74c135fd832ac430e058835e46e54f07682e35999fe4c6c760421e25765753bc34a254a562ac49e3f4f1
result = valid
salt = ce869619607f71fde53ef55e18d01d20002e3f91a8b7584190fc6667b8d2
size = 64
# tcId = 85
ikm = 17632581c34ab743992cd99318889b32f92812bd37f41636b5fbbf2b12190c6f
info =
okm = ddaa59f32235b0b32e5dac17b2b4420cc2a8c3e8ae48d1aaeea8853c2d0a371ed831a94606c6bcf6b08a
result = valid
salt = 55e39431c83648867ac98eb7ecbbc8b41c5a5e774646b926a9b49c511915b0de1241f8666da198f6ba4bf7e9025e434b6d7ef794e7a563309303055fe3bbe769
size = 42
# tcId = 86
ikm = 045b4d451bc30c39afe0932f6cd62e65b4b2ae2cf1160f19e8ba1323f7ca146c
info = 613e353162c6c1b12fb1477fbc54074ff7848a14
okm = 60cdac1a10892b6937b1d648e3339c572e885861444082a0ed013aaa76d763c27c93ed89487ee85e2bd3
result = valid
salt = b73682dda0fad41095070b2b26f2d7d98ac62202d918258ca9aca0f794ef5e4d23b3fc43c8cabf9fcb37ad9a62337fbce967fe24054c3bf891195858e53997f4
size = 42
# tcId = 87
# maximal output size
ikm = 78da0447b11a85e315938f70a45ebfd15cf5bca89b6832e8f490aa09e044c602
info = d69a09972d98ea41
okm = 1d4f394d4a3ea4f0f91aaf7bb73d6728338988d03004a34086d8fa0b1c3fb83ece7a19b9912a3c68367fe9979aeefb2c3faac683bebb50d6ce8c9187012e361e8ede6cf6ec44bb4d2c1c30dd704a2e6145662a8c700a02fad9bc5158b69bf0371a0b1adc094152138785d0c1ac26ab42e58fd0e86818273c967154c4cfdc1af4d7b9fc788ef0477e271a75002baa9e5b54ca66f81885fbabc6ac03a2308eaa146b76a8c52aa6cb97032e5ece2d6df99ae25cdef3f4d4358704279842cd24dba9c24bb0c396fdab4bb9022365783dd00df293174d66a43ebfe0a562b5d896e31fa59fac550cfbeecbc0af54e6e97854d8fc2bc278bccef70296aa8688bd7488aa0b0a8aa72e3eaaf10f279247fb6929c6f4654f741afe058059bd2eca5a7aa6beb4132afc8e4458f97df107f125c2a9d8c34f62ddbf154a62ae7425e3176ca1232f1f3fc3f763e76282bea8cdaea3c32ebf9047723599b56e0d2ec033c27b5c2577adc9ee979bd88da83d20f8298d3cf99c883f84368d98d8ef3a5dc3366ec420388c6c0144665fd2b091739fabf4a3dea16bd54b45d56cc18ffe9a2c64751ebeec97ca6f5905f01871f6d14561925151bcdafa32a29860f4386c77ac28dbe4dc3d67b008f63bb5a213c3a48f2adc7a024d7988ab26b79b965c85f013806d9c725264974319a54b4d9501ef08baeb606f8f17cc08d60dba42925342c6a77886f95450309ea695a7c7b7af98c797cab067ae7aa0e2ac1e140f841d99af4d9b5f797ccc40ace067d2b86aeb2d4a7bb852e664049d184349d6dd8a54f3fc168fde7d7602977b72acdb218cf2c8adee00902c0fe00712ad10de12735fc006fce75899c446ac151c270b5309f103120caa91b799cd1b7ec368821e4f427c62e983f349ae15ef7972a8d35a347154ac942133bf09cf5f92b8c4bf330e85d95df574589e1e38cf0edab7f091f6b1c3794ec722e9e70fe6fc780525c0b4b0c2135ff0256c2d1d30011494c7e90fa2e92c379f7a74e3b3c8a0b458f41bd5210ea2baadaa9ce5b843f833de3f6775b4f30291cfa8bb7ab2809fa0cca97b01706ca3d9c23f83955c6f47c39b5f38a15a7be91d70d3acbd3045ef92d5404b762edf5b8d3ca4a8e59ae48d779d2d5ae29e3944c7019df498cb7ea7bdaf4cbcc87b45af7b706980a45baec6e25ba4c3dd934eb480545dbb090d0670b8ea353327acfce9aefaeb8f3e17b846c64630a3b4a840ab694bdff734859cff62c55973c4012fb3a697983bc8eb2290a043f314de54a95cccd5c95d807687cf9179155335d16ce0b5cca52c09b951826137188512b30119449f8d4ace4054aa8743dd0f21b9ea404c6e3ef14e49cc36dcec48bbe2c06a053917f4bebb9ab8aff363c36c49076c171c08a18a7a195bfd2c92fb19c7f87d4113fa2fb715e4a7889e13f5ff59e51b0edef284c1bf4f1df33995e975c0bdcba13d3ca7dd3225eaef9718bd841a744e192eef374f65f9e9319b8c2d2f7cc99660b8a4acf77cfbb02c88162a5d7325b474aaa5dd32a2a39aeed0ac68b860e6a11ddc73e2f6a4ff914d40939d80026de5bb50f90620a6f11bbaf8f2656e4197b4ace49a85efdcf856b2c37b602f8ac71b645bb67bbebd4b20d97c00fc3eb92fc9dcd573db6b4d09c6a463b1d25879cb04678f116ac9b152c05a92e5d8246e6b7478e1836abe0e5ec0f17ec454ac8a9f9f400ffd44778df77bcd8db1653912fd2e4018330f249d1fb979bea28a81d1234cb6df3266d8597d5cb9400d602b855c6b7ec7e12f9a63568142b33d4a8c87ff895d37ac99950d75f577cda26a69ac7eec67a7ac6d9f1d419e8beb58388a09fde9c5d0d0fa2bb578815bfc826eaea6a10417700b250fa52796a4a40b2de511621e4bec6b9ae0161241911938a1c719686bf3f442ba341d8dca6cf82e16a72b4e08fb27bc8c1d5b584b65f92bdfb838bc5f0ab6eb38abd7c3ef13ec87a8dc24d69b451c5ee0793624352eb72a9bd9d895650e8c907cddd49c4056f03493bfb7dae63d8045437eea1543386cb89cd7c6875c227fa5c1ff4f20f18e69bd795ecc5256e76e7fb366195c909ee43445184660414befab7f67048bb76f218ef07ecc35c73a23bab782650ebe6c355eb28a29225d79cbcc61ef4b3edaf804b852d292ede13fed0f89be119c7a594a0192aae64c499483b11a9d702f0bb415e486b139d1e07830be92a44da79bb0e4489a74a97f07577a23737b9a03c31320588586437b9a8208c02436fb061adbae958cda6f6222e235a16a3c28a870a58e29698f7996f27d40b5d0d8f3db1dea3ac806c10568ca0588e0a4ec5234ed9ea7ceffaa74a2b8c0486208f3ce28fd9bebd472a66bb4dd1fdcbc0ba9ee630a48c45b31656a50233ae2acf03741a07cf8d18eec13a8127edbe65a6a7a8d0341734a5eaf283afc80710339442b390c48e00b441c9804c3bcbdce2cdf6b94a82bce257fa33be9f38faf7de0f9c20f2bf38ed0621befc05b2fa0828e190bbb2768aeedfc4193fb377b24b8f34e531340c54706aec1cd0fee016f5051c018a0dfa66cd0e0e0f105a9e365deecd3b2a0b658edf88eace65b314131b1ba0de9cdb0586a8c204a4c0878aa444be0c5590628ba53814ea443dec0c08a5bbffa6e4af13918f9ccf235c9036c1bd5590f3e7def42b0f25843c41c9bb32bd716b0deddb3ff7b9bb6e582a9b632614521dd795d26c78754bda13a9d5f15f1eea1fd1cc402fb8da8ab6fb8aff96985afe2ff822f7403e3fd049da82efc34d8dfcbbe3921df8288a5dcfc7f9f3ec990f81a87ef5947a839725d09282c2b1d131a9513c40c8fd3912a51b94475ecc31c221290bd3676c1b925e2fda729843f0c539a1248ff7637d8ff8f03754a7523622fd2cd13e5297e72a97d0299712e428b82524fe99d056df6568dff5e450cf4620a587c711b4f1a016c431241f040e33c4b0e0d96858fbde39a602cecbf7ff263e00c1448b6f3c0c9e9c55b2b035703169236df421d6ff67048908a89e38801a370a92306a235e9b5ad9464d07440ac86803568a36f6d63a9d89fee42b493c18c2e11ce4a9ac57863e95cc98940120db6ed0fecd4800e30f1182e59f9edbd90cf1f2f178b479fbe446ef328155ca11b943b9f5e7c4d1950efc6b77a9f51c5eb0cd559c47102180abde687a17530db2db357c4621b601dc22942cf53a48bc7ff44edc07ce7835d015cb180dd5b4ce7d97fee5ed9e329d6e62828030771b055e9444851b8404dfa806d97ba5f216f317ed922c4e8641c9f767674629ce9a02b98ef0398a5c145338d908156ad9649dbad711e90e4579ea3c728dc69d3d4a60b172f7a94e1b3032705ef0799bc1461ebb34dff6895615d69252b042375a6dbf9dd996feb0edcf6694a39e2300e91a00dc04074a24c59c623c9bda0fde4eb60272d846a9955bf442ab507381376b9714fa55274e1de7e0dab70db44bf27b588d23c4b582dee00c38238eef5e72acf1c644c6cae739503e86c9b36ea74d6c55097dcd71e454621a80e0770657f93405341eb3e48299791b531574773fd6b2cf5faf58e9d6caeeb511c823516ffa92d6d6f7f1726dc7ff014bfaa9421b503b271851cf6baf3d788f363223a586a18ff351682494d65298d204bfe931c23deff4474e223fb735c09f871212b889e0567451db780bcd0f8e226eb01d3ec2237fc761779c8f13aed5fad572a3ca4eb99979aa03e66fc531b71ce1375bd68799b4d92239c93dc341c4e6b60d5dee9168b22ca5de1964275203d982b5e09310ee56a0121a7e0ff92b3ef6495536ec320668a4e88212f5d611335c04457b85d7b0c8718f2665e9bee6fcdeebabb94da8dd377ac8b4ad003b663e163056d7ce2766b97182a7c92354228bb8f06ae9c5d227026b3fc1d55254e1943b2decf5388de21a1fc5758cf74f69d6debb155ee7da7af647ab1c3e6b8a0f5192dfe5be41e94c3cdffaba02663fe53731dd920f37f19ca16c661e58295654e1692cc4cac9bd9d9dce3297c7e04677fec0f90661fc803999f3234d76ed10bfbe4928b28c34acd10e5a1972842b1b6ce216c53789a185957b866e5e2f51f4dac6b16dacaaa865e9ac5eab3e5436e2719d2d12d0c371cf11a35583cbf063875a7c7aca744d713e5295e5edb39b13dc06298d75b7b3a807074a1e8f4abe691f9d1233e619cba4edd9808a271765bb60fc5d674fe3077eda7e97670fb3d68d68621e892a261b28d50b26e519c3c6c77295be3d54f9e797c2a946c97b5dd67c289d028df73a40a3b6d656c812eb2e2209def77ed68625cc8aebad4e4b1641600554619a9864cf6b07200231e016b6e01ddaba40e7047dc312beaa6f891982ee7c777bf224a763f76d7e7baa6807d84d495d661082beb60f9cdd2b8f6a9f1d04ba184df5c45cf5447a388bbd5a6894ae7f759afa04de88032529d37c1ec9396d0080e24ebf4828d57e5b347df8df9f80327ba121e40b444cf7a4245da5d6a37b01ae795d6bb8fef9f947e2842a4967ebbb3919b95922e2896a93f747f9ae6cbcb179910c0a327d656388e47f2241624859a6a87b53a15b4dc4f5e5d19c4af7c7ab2b60c1e71859c276a0c5a09656fcbffbcb5f98fa1401bb257277ab1de03b378a928d308fe5f33a0f21629522b09c0e0bf6c74780a30859c1cf7b045a3a1c70febf69f595da99187b932bba493918bc48ec407638bee8afca71a746d0be340c9562bd420124ba3938e06be7a774405670ca98b677942340774417d957eb3550925bb7eae805306f08de8a5b45c6e5985c437680b8973ab62f69a675cf24a1b833d6c4fca694674c3ac9d2891ac737963c3d2ae5fc8fca9a6348c0791f5f4d322dba8ab53a91c0607c9983373422560f124f5f1eb53a9207335304c35844f503a273fa4f780bf0cb4954397c20899f015bbf27fdc0f5c6e6393a285cc8f279de96875a965dc699f6ef8e23972dc838065db3b5772743dab3a4e91634e1e38f8a0de18ab19368a8902fc9a73f2c902cd3364f0afec7937cd65da2f58037b840ae4cc33bcf8bba1a471f123104df56ce5f5ec0cf7ac924bac63ad700345236c1fa4f34778c36d71c98d7232bfa5dc1c705a1d624bdb641bb83ef61ab4976bdb9e5af58c358ce77b4d4c6cbaa32057a3ed45990c844f61a7a77ddaf65203c9de21c9d7ec7770049cc524fe869d7954d7e7557c895cda88f8dc93f15cbb1f97601383be61eddc083ead645cad67bf404376faeafb6d9776137b50397cb4269700606e149f3f7d031e8e17f4d4e5d905cd782d7d435174930266f90b12d04b67997300b26ba41bd2053acaca853e50bdadb790188c53abb181458361fe5201c46796b4f2c8f698ba9358e75ed64ec8688bec6fdc6158a711c6f299c8e12d78e0cdea6d758f7c07ad8006800f147669c8232419d751a61a8b2c7921b1e9950180867547ab4caa43d45b14486bd4c62e5ff88c066553411638bb1d0788bd1aaf2b62f1865c550eeab9a6c7ce57f55d44edc65fd459f4ecb938466eef07e90768715bfa3f2286721b37c915bbf60184cdb8f725c30fa93d902f3e2225468988678a3424786724f73ac1a276c69deb82387d4397ef27a1c3c0d929d1b0d7a9e652048df5caa0b3039c7ca37e2433c0be76d654b2ad438f5a87058173697e606350e8a3b827efdfbaebd502aec905fd3eaa29e1d0269a49349e8685d290a202cc62adc0bbc18002bcb5ed26ae33dc20c5984edd81f06806e56034f945992329b7e7807455fb876f7f9e3d7c517c181737cbbbc3400f138ac6fb4dfe13a60931eba46e0e76b72d9ef85da6c0f92f2d69dc466a51aa689c6238578b3f668dad4ccac5634e75905bd6bd69daae8a84eb7b13dc658dc548cb7ff0f07b485ca21f3658730eb70367cf05e96030935f153b08ae8d98616e22d0cb43c7cec4e19f8d7f64e396b2aa352a1722f057d15385e1bfa776477547201d4db4053ddb12feb93d3330b1e7f625b328b8fa64c9554d271fb807f5d63485c8e6a00a05fcdcfc9b0da916832519a10b6e416c7e44d23790b4240279af77d11230c84ba50266f20884c60efd9c5cc5510a31c6f5ea8d632dd74862a9e46be6ee0f486aed2a81fccc89caeb4ab41e9cef80f967f136fb4596227d4c604fb5ae4c96ed04f5c1852d185c22e39b4463ae680dc1395926118fcf832b1cdf9dd55d15eaaafa173c6756dd0906e8d6dd28be914f3b1d4dd1fe774426a887ee2214f0b65ad22c5c3d9c175a29df3cc61e26a6dac2b2cfef7b024557f41db4d165416c82ad91aa9c1091371260672837792a41ae09f6b9523404a8339805766b1a88bfbdd017d98d4e32c14aa879540428a9ff83d9ef2fbd937854d30efad4fd9e9887ec915eae17ea64c34886673db98fcefc5ee0e76cefb5873c20770ed356ff6aa16d80bcd5aa8cee864065445dc816da4ee681802a57fdc700429f98de59964a08e4ee2f68e8386c69fac44ec4e5bbf468148df2b400184108f7b98d5e5496f4aef27bbc215008d3582d53d465fd90a119de8532bdac1278adb4f88825bbf9a8e31002e3235488a0703ce1255e7eb12b3daaa306868b86afd2cec3cb31cad2d2751e5ee717c434779d7bef518ab58df9a75be6da58ed8126b5752fcda3903fc46e148dd92ab430e0b61f388d4a5b8243a06fb644846a94e6ad46aeec1c9e828b6ee24b87a98f8d61f59760510323224fdabbbacb8905c536c3713af2d5ac777e545385794536eff117e6730812019a5daa162dfba23addf74e030d91f2b25f7a5f5e1bca09bcfe49df5d52b309aa35fc561f2bb9d67c60cf3dc390e3580d2ef54c57ac839e6e863efef6bfef0f1be28313a4d291fd2cc56bfbce122f358d4e665d987aae72f1c1c2115e4ec730d8e88e39ec4c1744e4f3feaa797c01cca1a86e54eed9db979e67389a39f8c898d2a8ac612487510d03cf1f5fd14744112569d1f13f5928a34bef62b3049e2fba45e7a0800908f9726a1a834c6f145cde1675497031308a34ceff22372ea8ff5c6751ccbe403d00999358124017b56b08f78b7b41bd15aa1a43f99999f449b58717d6a5d048db0a996947e058e899d5b403f7ba43a62bf56bd7f3e7be9b7754d025e90a1b5dfb3ba9875ebce74f9310b5268e85ed5355ed0cc26b70517caf30a46c5bc24d9a3d91aeb5e03e7990f518d01db4de8b29734ddaeee0832c136a6132016f1e7848f413102f6956195d9ac54bd0b488aaf149ea39057cdc528d0f93c1fe487b722fe13bbb95ae40af1fab137e5728a1b5398666ee454c2c7d4244391462b4075a7bc04557ac9479ce09ddf72e8ee1a61ec07a228b3af281ba22699400bcb1acd0ee6aaa2da722e32d8f1aac209ae443610b27b4f3919cb1dc81827817b652b00a892633d5d148957e0414dd913e94e97ec43fac40ab262bee878df6fefaec5defc09468e42ed56f643b9cb48ba220cbf5168ef2428f9d0373d68a4b13aa47fb3e077f3390ae3f49749526a7448c3704d0928a393b3fde5ed62a4f8f65fd572b1acb1b500f2fcc3099dd86e74a88400002618db0b2bc32ed701d10552213f0217aa4b6983f71a8f5575d5d42184186241ae4afd8d0acc6c1ee88462c4ae32fc9dfacf6b4130c91cb5fbc7caa0f39484fbd88fe78b950e33011fdf8643104825e7da91082f7e420c141b8b6f10fabb520a680a2ffc561aeed402a8d59053440090549de3cca2e1d5bbf816d6f1b58680d43736e77a0fc078bb6f531b7758a4cfb3aaab66f0c61aaff50e75e08af403b03e9d0056fe04a63a758eb3c2950a1072d949879d7decc2fd99b3ac736d22fd9fdd9f800b75a3395727129d49a26d8afb9c477550d3daf519ad35e580b05d8c05c5c5aadbdbdd51c971b7452abe98d1187778f15a427993a2bcc6ffe626aaa944948bd0f406557231d8ab67b02b59c18ce4f8b52d2e124f15ed1408ae07025d4ea841a2688f1c33fed563331a30200c0d82da82312f395bc5f54469df34a79fdc9e363c61bccf27b07a06dc7fc459b977192be6806a8f45db5400a09fb2d1c7010f252337927944bf6cec0b7b0d62685c2ab01eb858d69b8344b2830ffb18f9c456bc1f3431b8c4f29064b4d08287d09969ea77941b6c696ed83fb2874fd33725229c9ff87b0c2081d7e708563b4831e4b097d41442ddd27da9fd67f33564f9c8958205e15cd48e4062124b4d6349e99d350d37eb56bf89f8328e60c97365eda057333ae1bafe6cbd00c76477e5e2aa2b51c4d2e6f9623fbeae1b2ebab8442fd16a44c3d632627173518d5c8cdbe5126754ad62827eef5e43770a7c4796da0dfdce390fd138ebddb73ea1b02e8771804747eea0015622e8f06340b4ae9ebe6ebdcaf831dd5278319ff6a1c4d59a0f27b23207d07cb4da58914d560a6ebc20dd094ccb3335cf11df6f6a9134c3689c342af7ebf46d7dbec8aadf8c37afd56cd1e877903efd2ee903ccff9d067491e0dfde2c0041223be2ee7df6dbb51019438b8689d211ef99e903db742c1def4316f4dc071e759758b64e3ce8377c0b960356e7ba035b4f487903f8c16f028e09d8960a94ba843c99377b42b227843432d260d51ef605a13195a1f55f3bb1e256283418d56ed6a1c3898beb44702f092838d7cba347e9af538f5b6b65b52ca562a215cdf68d34ebf60561c02e5086fd78c11d35557f9019632c40faffd64b78d87f411bada077946cfce6e3af66d239e61ba08252bcf158ed296a156021a52425892f48784ff7a6b55fcc5aa987959a3f6800f56b756bbddc3dcf7fbdd79675b55cfc22d89f30f3925a1e9ac04dcbdfa9e50adaae9a36cd8a4af1ce804d7f638fa6c673fd041cc7b3e0e818f11d9c2c6c3acc14141e629fbe977d1c9f904f6f83a1b4ba9fc21ec88e335c82618f5d5d9b8d84b5f31b1d60b69e1f59a6c4d593ae3dc1992af56fddd3fc3e4c58f79f428a958e9c9c930c5add1988792109ee4a0f3def25c1af5d5f66efcff7ce987f9470d44215001ea6900796a1aabc77393a74af29797c6c3467c6c75b0ec1eca2bdca923bdf3c3d40a91128ef56099fa85ff3caeb5b4200bac84e4d57afdb60944cab37b85d15ad4afc72554215bf3d4a09733ec3abbd7bed484ac7061c77027cfadb3751d5edd53f01f01fe8f429da41e8066b747020e34a6630ae8a9407ee988208fb0712ba33b44741d85d6f16991f77e98a4fea68486b3c6fdf40cf241848c641644a80d518d397aae8f7cac1cf9aa56c17d617392d876b5927551eb6d08b448a0863eb898b1e39a41bd1cc6a29c45651599adb94680117822bbcd072eb076b787828bf5c642ec02da763cda9f98274624c94eb09d2675d5d82c41a3ae7ef8c14a57ed24b5c9e79d7c2e2ddcce6a9b11b4a5f74e2c6f7a6edd5951c5d3198b394dab1ed7eff28830e0806648fc0edfbdae636c3e72ac8868e7bbd8c87ff955e75f469817ef238968670bc0c17e79dfcff93486da5e5ef3628126762e2807a2eee6fcb9242036d45f03a7635c7aff2ea61b0750d49f74edb6f8360e74a2d357875f4ffa4567a6c367a9117c29145be97aa27312d80b2086108ed8a66874b6e9a5065ce8c7bea9ee0a7c9974d6824e64a7eacd613d63fd9da09bd3e5f7365edc9841b2168defaba5bbece5a939604ab6a5a89d1fa77446e66d72d40bdf2e25856454077d2468e10be476472ffece14e23e0e907a231ff8e6d6616ff2ec96e022a5a20590ef4ec5d137830efc7fb2b0ffffe22692f06213711a4a09b3c0786811aa043e19020809e9926649eec038f1bc5606519edb9746ec4313fdcc0f30423abbe480f96517e20ad8a9cd613193aa0c503a038a728cf6b01acebb541b65ffec1803251601a33428a263e43d17824eddb9ceb60468c8039fc84a5843df7286c092b02eb297ad191bc47d36c0a9137aa5c281c7499dd982e6a56d60f6145d354e8987916b106776ac806035c3c2d7be3ca84313cd1c4a4ed89682c8e25506a554971fcabb5aeb611300de598a1318873b8a0a8c151bf2660f5359a9926b5c6f67a5a24f8af02a5452aa972a6929511018605fafa6164371e610f6af5b876560b63065db9851671774ae1ad295c0c47c5239d5e6cc30bb1911c92f2382d7b671a1ff036d90333195342a2301eb91a44e731cc4ddcf307cbcdaf650fdfca07a246cdab1dedd50c88a144f7de41aeb9c59919b3aae243cc45beaa337614dda2caf41987d33dec8c392f46793e59a5a0a092d861e0ae54d2bab312b641b9de25ca31facb5f36014ece208025609050d8ee10f95978bb7c045ed8c4b35129af17d8be198b0b3eaf1e4b170f1fa23cb9a59173570135e3e3fb2be9013e16355c5cbf13272293df09e0faf973635139caa589fa52ef4320af22a583deb18c09176fec41cbe017a3cb0f53c622f40b84a87f2913e7fa4f18785798d7103efad3c92cea6af4452d553ea34e43b2b615e06a53b956567db95d0bb61a8a863ea3391ff79a94d50d6e35a89b46cd0e84e10ffe0735f1b3370f763be3c713b64fd23bf28794fe3bc62457d2cb500dcdda415a0c2ea75f1ca1b46b6fe09af8b30ba4a77810579a6545a15bd09f9be023f618c4d2bbf4e5de575e4ee0c3da911494f80dd4276e8e9e6f490bfa0851cd8444ca1c913824d07dc80bd2e7c46a388432604aa2f9488593f2aabe40d8082ede5cb4e7f68737881854175b4843b8f449e29762057918dc317607958e7c5359af8b8969b008654523059931a7d204b39275f7400b46ff5a4b6d21efffaf57f3f0f9c46adbf856d624b78f5f349ea7c87ff3a2a3f6026cf3fc57631e718f0a4a27426585cd0d03951042b92e558f368868bab6e901f136fbbc2a458895eb295486c5b88f68b5c9d507e0a50e5065331bd4cd03890c6a250a42d0178110a0ba409c8144d4271cdf90ace71c4674c898db3aeb10fb7e59587f8b595dc9a914d6a162c796584aac91598dc84d11ac079d41184a16fac6a531f78d94895579b605987894bfd7ebd3fe57f3fa2dec05e4e25d717ecc145c40514b9383a431229658e5f44b4efeb498ad8e5b7a62ca4203a64a05dec0ca701a402bc6f0b57d94f570aea2991215f73674e3d155e15baa75342fa17f7d5d34a05218ccdb4fdc019c4b00ed0476fff874800731686a322ad76571856582743675cd81204134f11663ec1fdc9344bd649ae6f01e4b043fdd74d58c22961a2653d0da7161ea02ddc60028590e3178d573c40e08d8f0814535aeac049cdb06f71f5b537da672c23ea0b28d6327e52feb83acb22be0ecd53d6cc1de914d6b137fea68cd1347967c39de99250377eaf7e909aee9447dd6116aeca50d465feb8f9db3c571e12b9160e2cbe3398d6f065a2e2ab16e322370740d60debae1196f6b27d129b9d0e702eb409afa4b2fa494363cbc3df3ef0ff6dad08a1486d1f3688f8e0c1a9651f4fc79b66b2d6525f13d2faa8398941504f330f34ea7ce4a1f745b905d83169083a806051dfd96aecc95e50e629abaf87f7e6785d86c3c392917b3f4afe087c0082e4cca0f257bdcd6883d1a0cb917c1037c32d4aec1f6827b4051c6f47d052885ded4e7b23d75c4d6489b5196d2c9a32d436a12e51ad94dc88367391df06b4c8e7272ddbbe269673d9b422e87866818bd1d09cc15a79fc8b45654f12e6b431b3c1ace46b8e5ae1b5a6dc02707cfbb2fba27b5bb6bd0d646ec4ae43b3c84ddd605d4ecdc8f6214abadc9844511a3d7449e3b02cabbc2bccdd79760d79b26ba687986c3118d3fa9dfcefad6806e3cb489170b45c65fc0f84f813175247c98731db96154f263add9f1704f142a38461a8105b6d6b6a79adee56b33b4fe7e275d475ee51956c4ef9f1202f1ae479caedf465a730c2edd23406241ca4859f0acab9ff24a561cd4c4fe263fca7d146958f4e9cb2b50aaf33c71fb955b34894e417c41cb0de82b146e4c212b72835ebb8f98c6248e019a908babb06477b595c526694a484d2f1632fc46c27923e9f316a6d732bb8fde0598df6d2c1df4c4872dde9153e85c3211eaec6ac94730c0be7228406a1f9b6a79947f479c31ff2f34fa532cb5df00a9a1fa054252bc764fe2d9c010788fc4be141e574d858c566ab627e92139b4f1b6f6069b520657f7d3cab1693ed693a8f43a037965e608dac3ba4a9608fc8e79fca1d63e2f7a8c3b0307443aca861a83a698318a140c2a1b92fb351314685dfc2bf04e8745b90c4d719d76b57f7bb91c815a70667220601a66b7bf70f7bd8bfba5bb3f9a4e9966269439440d2bd0cc7348bd4aba6383de31058149321e6feacfa6451fe9703f2858c6ffff96ff5b33a5c2a70a229fbd8ac2cd00717305425194b67312b0a339acb39d9184aa43a2fd4e09b0764c6bc05d36fd9e1c258f37a65d5d5b09b5ddab30860ba4e76516678d806208297dca349ba430c0cb51d00d68fb027b587e8a8cc11ddd1d2667a798a4ce01b0106695d57d9b38bea5df494964ea0efcc73418c91976fda9406e33195fcbc097e80dffa1f8deeaa208fe29d666e1b7648960036273c219d188f0bdf7966a424a79c5bb5314564d284b7858acd85952c12e6397a2b978bfd4d20b251933506a532a95cc16c6c8c691432d8758f32a10447c76218a144ddbfff8d4f179ed4a1c6bfaf304a1ddbc92049be8cc16ac1c68f47b0b0aa5cbdb4601f88897770fc4097eb56e44f3ab30b13ce1d7fcb707369a88c73a770702da11107109f993c68747b9d692fd3daa64d9978a3b5c9ffc2f70d8553318ec6605b3722c3e630503d307772caeb839df8bf8a7e707d394501a74e3e1a9d299ea8f2f7c63e9ad92180aaccb52f465ca803ad9c48de555df5b5492a8bf54494c4f9b2951bea4a65a309630d1f4f040ade7cd75d54b6fec534d64b2b0ebf96308aaac9745bd4c9b83773ade37191261b7f5a44604f88e48f4db9e250f24944d72ecfd03355f7e13c959bd726bc614767d49f539660f7133f226981f8fb7165581f14ffa1bc824eedba1a394458887ca1af9edb5af85b2cd86c8e93bf03b401f324a54e2a742882183a649ed2b0243fe0b5f234f4e4d7328e69e7cd4912932220185eb19f333599a9c8befd893dc637cc7a72bc41fe437147d3958049dc768d71c64cc1b87c2fcd7d34ef4ed683bbb366cf061511ae01ccf7ce82014fab14e52abf5782a09bb32e82a330f1453576c21a2ce9aedf6b36116ad4447eee277a0821a22859987783b944a3961bdcbf540d4318e0c5e59558fa88ec3b3ae38fa85303fad6ebefbdc2e16668043e7cfc35da5eafc1717316e13389cc208ce2621b153d65a91488ee18463220c43ff79e8b2eea821c4b91124ab7c513e864e923a75157403599302bca85b72dddfd256c09698c2eae11f478fd7c381bdd7d54bb2eb3eba44d13aa408f80b1f17a74c724268ccad52af73ad281abe9b0703ca4108b1062d0b465525e5a498c13d56736c8250e42206c0efceacbd2a1553d693376896f28b182fec2242969b9d908c12aa3feae637aed62e8195385a5cc38a4154c24e7ae759ef1a4e7cb129bb481870fefbb6138892f293b3afcaf4b5bc260e06798defa433355bd99b347287530fb9a7a33f67f3fbe66ab84079fb9b0efff62161007ce8d0f63f34a494b8dff2abc25c30120cbb12a3abbfb33ac452f0f7899c4fd13bc378fe27eeac867e2523f136b4bafe2e7523b7f73b21aa66f82e352682100d3b461d88f5c90d179c6e5258cc736eefbfe1dda2180c6420554454b546c89ca17fe5672a9cf7e457e1cca331cf4a5b2d503bb0a62904e9166ff769c5b364670339162e386a586091401fb74c580152cf3ce3e58f49585f837289f59128ff7230a294e1a56a7771cec419e3d92ae5420dc4af12336486e13346494a402a455ddd4f6544d81772d0380229c0573dc26d952f23ec66c2438d8e0c9cca660a89e1d0cb8e5114b3b9040630853fcddcc041cd3435c709c81d919295b4f0656dbfe40bb86b2540a8ab93cae5d405abc1dc56b79fc8011e9d34745b28b09dd515df5b75b70e6e01b3a013556ac0c2984652087cf11682a4e14b40d390fdc8f57e5f0e09cd8a808e5c91c45039c1109aec551ce4972fe26f976d5f37f284db1027a85c0f2c511b57fe2cbc0d1e6a4a2eaf9106b21a5b88412b34bea0ed585063e152e0c4f321a81bec40e25f74aecb43cfeaa13823a24438f0340315a7f3030d1b29ff56f3142e9801f62294097d96a61923e747f6f1d3487eb3e2ca0735fd277f6ae054abb3ec1480d58dcb543cf188f238741aadd7b453cd18ddca0d8ba0a587384ccaf69c412839703103ec0325c432253f2e1299f73fdb563218ecf4763ac029ff6a35195bde2a4fa3823842b92afdd59ee341e971337a54a6de6303cd0e09c83be0c3b3b2e71cd1e268259167844ac45d08ff9ec8c9bfd3a17990d8502bc01d192370c9851346715217ba3f9c2b39f6577226db8423ce09fb4f75040327a1034a8256515be64543e15cb204674bc68fe93252e1f1174eb705c0322b3f7295a582a435acba690e30f8ac2815748429bd3b29ccb5575741f9143d026fe0d20abff2eb2ee53473bb2fc869fcfb61f346e5b05e0aaae432fb7bcfd4382ec234cf554604f9548b0a492e4d91c1b6e9d6ccf1e11863b668c0fd25c00fe0b3a90b3195b33c6847f64241ab5bb4bb6c10805f3c2d67fc012cdf420a3c66231e6815b8140d40f840ff55ad6945bb8e4e99397092413655bc385e7005f59a9a74ce6d66eced18eede5b8d83fae6ca98f22b1fcfe5000775f05dee523868c904570af548e8af065713612ac9995536663dea46cdf61133e88eacf9a523ae875a8cd581d93438a629f572b3735d77afba0851130bbca2173cae9d9e84bb979e8acb114d9bc78eb8fc14e6f4560db8a72cccd5a07bb2a1907f4dd294becc0dde4cea8f2a1f138b8d8cf01707fb5500c7353cdd95494b6c8b751322ea6679aced2608c4c691b3c3d6663ffdf96a13b556b7c5fc017858d92ba01e80391ef1b2b23b827eeebe11505f320972f5866f80b3326da4190f17aed2689455d24df9341cb52f81b43f6cdfce78cf2f8a8e6bfdb5c5f667a4d45b9905c800c1f17f06ab3cf3047754463f219db75b03be4d04ae7a7042391387180fde9b5a3ffec8bf8e2801ed8338a6d4d1301b636ad7e221757fedf43f9f3519b6c7743367ea4643f91572042ed2111c38eda14ade56f47929e8723069ef9392fd60b743c09cd6c0467fa4a5367c05eaac20c6e9a84c2367dafe91db2dfdd953a57a9e80814ac8b2bde5193b12214abf9a69a12ce2f43e5bb14ef6ed5678b34bd05b8eac810c202a2b7f3d762a8e79fa98a618a2be5063496f83066dc8b37afc310c07cdfab9a39fec3b16f890b01481a320ed3b09605f27d5b08f16b046149a65c899939c7d8edf912b900e0559b39e23b87740306026d6fe9c2da6066596663c71a5dc98ad91bf59fb8926eb44a373c57073635d6c5377c396f7ff80b22eaa7f40dade5919a8fcec035cf759c4d1c82d43575760e6d94855f971ca0a3c05b206b1aa98fc7740f3fd54dc4902055989a88ffa63c1e3b32f227fed8ec1fb1fce789bf35976024d98296f766404f41cc08fbb3e1147ec31433f653e0c1a7e821c00dd7431217c775c60a90f3232be9b2a132647185a4b6f12d68bf9b25d8bab80cb0e21b4955abd25b7e946e404102a0a293152b95147c695242851f418a56feac219f66a2b0dc7731da57ac9fbf2103e31979d90b7b6be00e187f7b64c9c82de398fb8c3e263fb181df45f43b54481a0b600e640a7d2d35f9901999f22f18a696fbc5d6563ad45d1119ad66daf5c6efefe5a606d3f2a2b2c16b5b2ee902e47eab1e6aad6ef04b542c5ffd95c21964891e4685369855fe0dac84132fb84170fdbb4d82f19e21b2123a003c0348c381da312a9e4a9933fe71c749245705368bcee1a48caf7edb4e605167c39d42c13f7b58f56ac44a6716dd23da791726e17d271ead5e4a85aaef83e6ad5148f6a8d50da31b5dfda5a00a8d52311d9d7558721b86f8fbbf468c488717f288aed39458de6a1f80f5c09cfe40c74d514627d45a68d47fab2f88adc8acfdbab074b72f87d9f46eaae139464748284f70d31d47c0b482b8c94a136a9c8d3e8f35302a05602af8f75983f065b270b816001c1735bca7fefdd37b0deeb8cdaa9c44ade6cd6f2d56284e0c79b764b569b59caacdb7f78f39409fcacd6e8e6dccf67f145f06ebc698096cd5eeff7f402d7a36597c7bd4989e3c77514c6d386435041f7ef808954486f9524f78434c38dff0604800cfd627ef84d5afca98d81b8e1e7b8b0b2af0c2b2382d70116dda6ce1e3a5f395cfceca43741c61a0b88c0eded9550eb2798d2446efef4f60b054c71c7606c219ff7113fa64d42117103a7cc4d7fe96b042e37a1887edfacc0ae1fd70e8fad65bfbe8041ff3a699836628365b811dfc5650cddebe40a44835f6c2738ef6054637106d6c4ee7f69a6f72633c9f35552ebe231644f19adb68c017daa8a5bce18003b34b3e3fa0852843fb08fb7877282fc98cff7c1879e249d83b55ddb236f7dac8bd7627606f524a44df1df61229bd6fc660e3718f13d0bd93d5ebaf50805e514583a28e8a9c66615ba722fd6187b8616476139147b433392bb73ec495f8ce55444d6c5589e19758ad9a88bc34b0a7e9897c7353088e71c5fbec7ab7daa645d9fe6d38b286ce2fa9d9a0cc6af5e749d1019a4986d83b9a6f54c41803c45938783134e54b0dbf6a78623aec3b6923aec68e3a52a809971807b5b65396635037ecad640d6dad60fa109e44395ac570f73f1002c625e0ccc577bdc1a50f2f3a5af4d97f4236198c862758e7792f81fca669213e4c26d9729599aac3de53f5bbd37966d5f2a9c9f97b61951bac115d6161c786a9daa31ff4093c938e230174b1372fd9eba242216f57970faf5c9e06a3732aae658e5bbd2398f0384c90e7ef3a6dd05fe70c91a8a49debdeaa1838d1eabfdeb70a5160ac5d84df14c9c760667502e94175e80d0a5104321cde94f08a226ccb30a26fc6fa15264b59450aeebe36f1a9dc1321157abf5cd5c2d2018f8b7737ec25eeaf2221f6d8b6ea98ee84d5e393627a7c576a276f0ea6b724aa46dc0b4f85003877b801e3c99f2d08773ac32819d368c36fcec2b57ab71e4e6ea0e189b68429e4f872efeb3917c6b92dd6a4b46d743f225919e9f4f86925f7222c7ec1ac061466adc62f5b462538aafaa75d6ef7ed3e022d442c4dbeeb95ae86bc5654f54c77c91d71c7c309601ef3b9679c50507b024da8fc892e1825cb77d131df10e4b53ff5d1fc1897c7fe3b8069b185e8ca97f1772204e5a84ceadc892f8d3dcd2e3314d0d52894beea8ce9a536a88231f4d4386da6cae92841b9b90f78efa335ebca2464dd7017346fb53240150b5effbe0ef6b2d22398879ad07f981a2f079f28e29b73e67b58fa3163bb9411a5be962fdcf419ed7f5e67edb9c325aa6f1440d04a5111dc190e085e7c0f68365ab086f83ea68b4607f7219a4719e5c8288a0bc08889bfbe0dfc469cd9a90d440826ffa49296cd8b157a14f4383d47470bc139e2d38e0656b56f9958b5e08ac1802bffc142f9fed8df02e04ff976ead2817af9cc173aa9328fd73416fd105cd6d5742f509f7ea8864e13d4030555142c5507f1c2c74aa273cb9823e12c54d28842756504b966e2c157a46b20f57154ed063db1d2c31e55642edeaf53c3d078c255f168e5905689c30e94c8ef657e3990e3d32f09d41fbf6c4a360e3cf7957cff3888343f1b24d277d4dd8e70a3defe4cb5247b9f6c24f7469bf5d9270e9a1edd5e764ccd8b5e08927c066e08a792166b7907ef572dc9218600b18ca4c0de84870580871201db507af257d516c40c01902ac4be0a8190fbef31e71cf812dd3fd0d01cc6f4e5abec3bd68cefc1c97aef46e84923c08997c6ad565edbb70b0cd65856fb253cb35f9e10b485713cfcd5dd870ed6ea4d6490ef08323757b067abe2a1ddeb4e4e5b2471eba838682e0c611894bbfc1fbc831d2e6969798016462299a89f2a60860a5ed5fdc5854b2fb6c5b7f7e1b0efd261f70624c290c9207e903900faad06a7690b924edfda733a6e1b9541b556ff4c5585c3530349060eaa8576cc0e56ee3687fd087e26d933e4d0c5cbbd887302c3622a1a747096dedb5fc9cbc86b084df79d205cdfe29bb6e53b8f34d67111dd8218af04142332ddecb12e66d59307633b51d33e465b00b8126d2708d6caf45aa045a800b2860da7ed2b0af0f949a6fb164a9d5c837de7ccb4931c45b6b0c857c52f9030a377a75e5b27623e5d63badbd3d4d15dd9c36dd518f54a7f9f3271686fe5e606e608aacc9114e3ec0f6cc90ac163dd2ffde0fe8f2012477bc3a7a90b9df4233648634ec312a46994d4399ee5b5446c47c4d51658d88d2584bf7fedb329557ff80fcf1a94b03515561539b20e90e4da5c0626b51efeba29496fbc3091b70a73d9fbdb8739606dc5ee6d564d0f54d7febceb590be1e0f2b78fa7b21d5e181c6ba899c40d234e438bccfe37ba779cd8e1194a496e459c9e76fb9d8494a1182623ee747a3349b75bcd90dfc760f6fc72c174b5809789301ccfe6685c69968d1400ea9ecaa2441b8d772ecbbc8b8bbf0cde4887a9729298cbeeb2f9f5c8a823b0634818f78d0d4a79b2252fb5aeaa6c2b89b8818c18a21930e5b740cd842d049e02690fe0c10ff9b962068454d63f4a1bf7f6c5b7bec88db6810bfebfa38071ced9253e21f4be3790c5d96c6e99347b02d1fc6786aa7266bdc6f5c0e39891e772773ff348bf7e54bf21870692d07f2ba6558a20012d80351a9fe55ebbaeee155ffd13f59bab4917f75b1b8a0288340df5e06eee792497cded2f92016c00e44107b3eda12a007e84f9b81b09b21c22760e5d143c7acf0e057817149f07c055e049d96e0490f9b860bb80473a597fa2a842e0d20e7f2dce2eb2c5c68dab59d5205a5c9eeb3087b7cc798b02bd1bd84ac7d6973624fec2443fbbcd67cda5742651a441c0aaeaec96fb1186f66bc33f488c6f243ab16a07227e6796ab2124b62f6cb47255f2cab97c44dc94a090b366aeeee5efbf3846a47a886ff23b29dbec2a3df3b6295127d9b7fa6de46a69c7c195845e996a4384c07d1282dc7cd461fcf7eed91348d7481a4de5b3dae00f7326364c77f746e0271981779dc832edc3665628b504d657103f303443c653c1a1e898f99c794180bdfc2075787c0a6392e57b8afd6a517367cf614474ad2af4c221b448a23c0083daac98f16c9031504e778daf072db58eebf0485fd739e8431b88684f8cb3ca585577e8795415a16f19a11b5a60ae17bd244d12339bf1f5e9610cd19f1b020421c6b5cf6fd3442883cf10dd8ab6ccec576c81ee4cd404e89510b4035947a370442ef46a71ea93703505c240d8430c35d42078f45ff49b2fd382379643b36318efbcaef2d063e5f0306551454752b86adf5e406a9f190a0ac2fd3e8a17f1b02168e1a1a97b909e79c5e820376e6832bc3be73bace1dd05ec791590daf112a232a460a133e0d222d11d6faad404924c8591bd5900b34c829f6ab52fac5ff158b40089324d8e2ffdd53d0dd85b43995f7df351ec38825ea4deb1359e7fbfc8eff2135241fbfd484e1e832b3a680c8e228e5d5e5356818bf93d2b97bb68c6d6e528fcd6bc0fbc3ebb28ad842d94e750072d3a635e69969b778c8f14a97a2d28042a4071753fab49db785b5c41f7761ef49280a1a689642d6e47eb6e03cfcc18313729895c6bdc6bee62a970bcb247099c27c29733de0ed2de83674756ef4c84c41ffb7d47d67aeb8737ba082a33aea742601158d4843e55ee641a0fdc956a3bf2fba5f391b73036f1b4150f2908be5138cc0ee92953e2ef7de0455af425e8c5dcaac16b5e640892c56bf161ff1b94c16ff80bb0c3d6a876d072aeed92e4d4b1becfbee8b5c452d796b92ec452af4f8bc838e7b84dfdd80343983526d315622afdea80ab1ba296617556a993c9169f778c9d9e9256f4585e843fe550d1148d4d1a4891aa0fdff51a8f8914092a162f7959aa899fc3a0d105915bd88c05412fccff60504a0cafae00bb4880b6bd169316f9eb52835267f95c448cfd00dd1e409acc0cf2d7f5f6fdd1325f38adea4fd6f55af71c739ecdafe366dec44f3b544ae5c77c339e8fd5c7e06d28fa7207dd61518b3f327b35c6ab2b6e245fc4560770ddb18820826d95c743ffdce1b1a3af8a71c22beb5b5ef571ecab56373d182c20ccdcda91fc9a1b3bee03ee89cc38bf109cb0070c20d515f0b5339cc9060aabd23c2715f82a44bb10f2d956dd51f9c1d48dcd887b79723f9e7c61c87d61f1414d1ee1945f8defabccc0a4eddc2b5b02e2190d4510ec2b7ad404eeb28ad5a0c5eb838a35f39bf7fa91fc999445ccfa59391363ea6cd7ec389694eb4ecae97ca31524582f207dd120eecb0c6145885eee6bd39c8627c33916379a9d614c929adb64dd3fdb28c12b24d31b66919c4730cafd23fbd0266d471a2bd72b01cbe1649b56b4203c903b7c1e27fd00bdb8146632c2a5916ac678cae648192464082c747da12caf955033f4d942da3bd16690ced4653280abdcbe6ae6780a5512930d8adc6f7badde45a3426b78271bada4c28cbd4c5e5bb5ac958615ef129970ac13c376c7929d60ad1c629f8bab3c610649007dcfbfe6abfb66f4c4585082b1d9167a705cfc685f5fe5b17350e48b405e03a3d3d07f0ab0cedc961137e009b4ecdb9969f6ddbb92fc05bed560080d8450f7235b43ff79c9b460c29b2ffd0b67f4c437cbd8cc3badfe5a9feb3315c0aa6c9bfcb81c87547625038c804061e98346ff3633746cc571c3853ceff7a1842e0d2ddaeafd01f15758954ffac64ba46725acc1e30f6a5872fc090e47640cb4c804a59c55a5ed0316297a72f2bd4154f0452eeb785136f5d9befc4534b2ec2afd932c235c0c58f932aab15aa16f2cf7372633656c8623fab7291525e946550efe47eab479a1fc6c51132856ce09eecf36091892bb06f0f8ccc87f260c858873a4174ba1a64e1060a111efe1224c0b3d2c05e7d1282660b52e35c8f1a68a52cee6516e94b9746917d224c28f68ab4bb4a75a8b47ff343ea1056cf3116ac0660815bf0f6be1a6b98d713647d439c7e2511824026118a96b06c006d27454c3050f8bfbda087b3c7a8397383d652cc3b579fbeb309947773d6fbfdeda2940b7a0bbc2569b31dcac7dbfb8843b5a7bee26e63f734db3eb0773460d040238dbe757db9efb4ef872f781be75f357336b17bd84e2717db6fc23ab1a5c635a2dac389b3b6ff5bbad55711e807fcf207c80183f32efb5d47943bbccd96f5761c3861eb1ad3dc874cbfc5c25435c1a283c662cc13cd65ad6a807020dca215132f6a453ccf26ad4e8bf94dd0f6f8024c17729843d9f359609dd9b25e2a9b3c87622a751ace3ae47ac5675a3011c86d0ba3356ab8f9827bc726c956d11b4617010bdf90ddde46ab21423eb8ffe23da3cf551b23be964f9dbeb79297416ec4b3ac8e3dc7881aebed2a8c168e2c34316fcfff83602ff57cb99c18a71372d9f019fcea16abe0b6b7a27b02d99e2d67564986f122cae4205c0937bdd89a1de0cdb4fb71a4bcacc2a592b02be16e5d32ef4cddc4a52889c793dfe401135ca3baac0e1610f3bef47c89d411a53de275cb290b0715ed885bffe333a2df6bcd681ff0b47760306c0e379b07503e556a0f5313f7314c0d20f53cc41a75f07ef86720a42c88781ac6a968245fba509b43b67a42df8200981bcbee163c88d28b8dd1b70c61f0d558e0c5f827920d0b677e48915b99361dbb017e7df4cb5e2285557751b5dc2427cb7ff490b3f4566b3130b3c373fc877877149c8182c6e8c609eeb46bbc9e353d87cb8dd2fd59112b778881c30a87ee32618501767587e3bf64fbc7b8d801738bc9fb703fb8adeaa7699d4b227a588a4820dd4d07ecbead8910578c190465c14d7a1383b6ff1910017c3cf624b7a02dab9b2713084f45a7bac3d75012c3ea47cb39defc2009ea9fd083dd8b521e7df4c903bd39207ed5fa56c5dc594483e1531190bac65f348baa2159249546cebcf65155cc70b76013883af3df8ed1d8ae43da4cb26eab8d7e13a9ccbc1a8da5cd1026ef1bb5804169bcb25d6724775309414c7fd55d2fa219998a69a911a7e77e447fb12e3a2efea3265c728a0b14139436b50455669838f83463adb4ff0876285c5ce221ff704682f68949b2cce4749a6d442c6fe3a1fcf84e6714a764e19c383174b20f054c7f9488474ad2f8e572c566c1a33457f3ad24347e9f2517769c0a0842e3299b4b693492d5ac595654ced83e3b478676ea56dfc6a0430f356b6a5de1b473d5f9a6aaee5e4d31d1933340f42e09f245ac543fb2e2331f2c30847af524456563c0d9bc4190ab02ff510fcbcf5d8efb0f668587ef0023b0f4bdb193c4c73f7dbf1c7d662bb8e98fafb96bd9015c2b16b8fec91f764add9a57a5a5b25b4c9a836f95043b5fda20dff16e139c35922ce381d246f430036c79b32904979ed54ec4e08fc3fb006a62f90464b7fbbc18624e377710ba748782fc2ab80bb5133311d98a9d234601337b680073800c4408f44040629a3a0d2c6610a28367dd7ab59e43270ff10c3d29d945b01798d01169b13c061b4b60978df83702d7061bfefa1378b2ad3dda42a60179a5e3f080a3e1b8e36d9a689b1f41e039e39c500934d260bc1a51e0f6a87d5b65f65d2bc0bee3cb85adeffff9b0ae52a1bb80e1328a738964d91764fe1416a199b41603aa97fc63489238c6cd17c0d70a16c70118321cd1d3cd2536e40b782b40dc3c6f02d994a9a7270dad180345a48050119d96707c31159e12430a79b15330315c707e2d6843fef43e4454b1e033dd54ba498fe3dab1614aee2e290d971d4cf9d2043102231edeb6b703b4af5a23dc1dfd3f796c4916041aea90dff64d5c9cc9f6181ecd0843d6cc3d1767ee1d660929b953f8b4a51c9f10e90e1fb7dc1130877c46dc26b897e7c2b31cb868e38f9358d7997fc52335f530e41e33c
result = valid
salt = a1f3edc92da6733ed0c662ac5b9564525810e64d87a2b317749f9eb4068f4df93b5e9bf1f5f2033b8e4cde8782738fb46c37aa1023399f29562033cb35b65ea2
size = 16320
# tcId = 88
# invalid output size
ikm = 38ec0b50e79a870ca225d1e78fdfb74b7fbde0891a16ed1b6e7ce8889d441fdd
info = 9a6c71fc1588b2d2
okm =
result = invalid
salt = 78865524949fc5a008997d85b1ce5d33054ea061d6ff5d7bf74c9d36b3502f0b6fc163101376b241024ee063e82d5826ff5395124a18504256544f922b7c1761
size = 16321
flags = SizeTooLarge
# tcId = 89
# output collision for different salts
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = 084332b8a0ab8635227a3b9ee0737072f021c21fbf0b087940939f34f685c0a0
result = valid
salt =
size = 32
flags = EmptySalt
# tcId = 90
# output collision for different salts
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = 084332b8a0ab8635227a3b9ee0737072f021c21fbf0b087940939f34f685c0a0
result = valid
salt = 00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 91
# a salt longer than the block size of the hash is equivalent to the hash of the
# salt
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = d41d1d366b10f6dd7e886e5030ccd01ed14ed918407c84f12f8b9a2ed3a5841c
result = valid
salt = 0102c651e047fed9c217bcf915520532d44999534c1e7e7c87311093d7a3681aff3e2d335b3c6139b9fc66dcfe35573b36a329a550c4cd20bfe2a90dfea50167ff
size = 32
# tcId = 92
# a salt longer than the block size of the hash is equivalent to the hash of the
# salt
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = dbbe9ebd37e2545d08d715013b50f31fd1f7089ebc2866191e49e774c537b17d
result = valid
salt = 1a57a60677a3c97fea6d4d6eabe0201452130c58eef435bb9cbc21eb65f1cf2c879639d10b9a580b1eda822aa5f406b939cea2ff9be10c56f0856709abf33a08
size = 32
# tcId = 93
# a salt shorter than the block size is padded with zeros.
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = f05091c6083c24742adbe5fbdf10a941783517d568e96dcc8cb55db90756d8c2
result = valid
salt = cd920e8dbf19ed66
size = 32
# tcId = 94
# a salt shorter than the block size is padded with zeros.
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = f05091c6083c24742adbe5fbdf10a941783517d568e96dcc8cb55db90756d8c2
result = valid
salt = cd920e8dbf19ed660000000000000000
size = 32
# tcId = 95
# a salt shorter than the block size is padded with zeros.
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = f05091c6083c24742adbe5fbdf10a941783517d568e96dcc8cb55db90756d8c2
result = valid
salt = cd920e8dbf19ed6600000000000000000000000000000000
size = 32
# tcId = 96
# a salt shorter than the block size is padded with zeros.
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = f05091c6083c24742adbe5fbdf10a941783517d568e96dcc8cb55db90756d8c2
result = valid
salt = cd920e8dbf19ed66000000000000000000000000000000000000000000000000
size = 32
# tcId = 97
# a salt shorter than the block size is padded with zeros.
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = f05091c6083c24742adbe5fbdf10a941783517d568e96dcc8cb55db90756d8c2
result = valid
salt = cd920e8dbf19ed660000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 98
# a salt shorter than the block size is padded with zeros.
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = f05091c6083c24742adbe5fbdf10a941783517d568e96dcc8cb55db90756d8c2
result = valid
salt = cd920e8dbf19ed6600000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
# tcId = 99
# a salt shorter than the block size is padded with zeros.
ikm = 2b54cba29681b6ff2feaa9202b87322d861aff8a8260e1bda68d61979e605b2d
info = 1301b63168af5451377717f7f5ed52de36a197ff
okm = f05091c6083c24742adbe5fbdf10a941783517d568e96dcc8cb55db90756d8c2
result = valid
salt = cd920e8dbf19ed66000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
size = 32
[keySize = 512]
# tcId = 100
ikm = a75ce5b072311acdf290ceb4c6fd25eb6c52ecabc8ed1ffc698d7556d1132180e2888bbe6a798d891e0c8c5e0f79cabf3d27df56d472be152aae155b52d9a9f9
info = 69d2aa66efec2cca
okm = 8b025c9925f105898fe8f75da1839b683beb73e349dd08b79a3d80a7b29e7d9c1eebb5cf4c902371b31376e44d49ea39725ac912d5055c8638ce0771a8edc999
result = valid
salt = 8df18f4f797c4be88ca6b2935441a1100db080759c042a6d2c37d2e6fea9fd6fb066805c467b7557c78d078ae44dcb886e5e3d5f74a96bf6394aad36847ed8b7
size = 64
# tcId = 101
ikm = 5be4b9756eff71ebe87fdb5933e5d88d51bcaf384cc289c16ec642d67f2e9236c04106e01ebe7956bac010e4107b6b788ed8b3916a39b59c7c01161cbc2671a7
info = e496bea60a731eb7
okm = 02487460b110121d3df3746d7860332b6d67d746f96ff8e7bcb2d62481b653dcf67903b25aabaf9031b370959105c9136536b52dab810cf041862e73d3352f77747814aee2d74cfa29840dbfbca242f38b95ea26d4a540edbdab3fbeced1c767d35a73b4c2ff180eee75b4ada9739b7bd8c75c3bb03589ab
result = valid
salt = 336a871d315b7d2ae0a0d24febebf0702d9f039ca97146cc0aa2341728824e83553e6eb166e954dac33e4d6a2437309d0980e26d1c7665ddc79b2e9ba3354262
size = 120
# tcId = 102
ikm = 45102dd5f609c2f9352b91d8b492d83b5ab34976372b4ac814bf82cf0dc4f3875cd31dfd5897022458fc7bb8e5d2930a620909b7385ba4e48c8395b50d7d07fb
info = cf6db9210ef18e3d
okm = 146e59745a9d65fa6c98308b6f162566045d2f459a09eeb7ef7cf15e076fe8093fa202d15b12063e55d4b5ab4e80d58140b2664d944e33d8b2a72a3ac307ca51c23976adb1ff9ff04fd0fcbd21edea49890c12698b0600b3b70a61dd228542d47e69797122f0734c08d53f51afeccea785af1028b35e6ee911fa0d98f76e2aedc517f35d719c199b6a73aa867ad31253fc1c1d612ecc913b70c2f6b983fd50eccd8a20172052c8726ac6ecad97b8bc8770ba5fd59eec423160828fd8b1936a5ac5bbccfb6398cf46dc3e19df40d315091f2ae3df875334030418143e7b791cd1f732935482fdd585fba2f495973436138c7fc106058f9538b92f055ea3bbfec1
result = valid
salt = 76d1494d3631034558ac7108a69b79f7e38a45aa50783af41bf8c19531fdb30782e7689a50a4eb1391415ab2e6085b1e246ce0e6c35a5e02910c072a241cd8a0
size = 256