diff --git a/src/scripts/dev_tools/gen_frodo_kat.py b/src/scripts/dev_tools/gen_frodo_kat.py index c952611f5e2..473c6864d80 100644 --- a/src/scripts/dev_tools/gen_frodo_kat.py +++ b/src/scripts/dev_tools/gen_frodo_kat.py @@ -76,23 +76,34 @@ def compress_kat(kat): return kat -def map_mode(mode): +def map_mode(mode, is_ephemeral = False): + out = None if mode == "PQCkemKAT_19888": - return "eFrodoKEM-640-AES" + out = "eFrodoKEM-640-AES" if mode == "PQCkemKAT_19888_shake": - return "eFrodoKEM-640-SHAKE" + out = "eFrodoKEM-640-SHAKE" if mode == "PQCkemKAT_31296": - return "eFrodoKEM-976-AES" + out = "eFrodoKEM-976-AES" if mode == "PQCkemKAT_31296_shake": - return "eFrodoKEM-976-SHAKE" + out = "eFrodoKEM-976-SHAKE" if mode == "PQCkemKAT_43088": - return "eFrodoKEM-1344-AES" + out = "eFrodoKEM-1344-AES" if mode == "PQCkemKAT_43088_shake": - return "eFrodoKEM-1344-SHAKE" + out = "eFrodoKEM-1344-SHAKE" - raise Exception('Unknown FrodoKEM mode', mode) + if out is None: + raise Exception('Unknown FrodoKEM mode', mode) + + if is_ephemeral: + return out + else: + return out[1:] # remove 'e' to obtain 'FrodoKEM' def main(args = None): + """Set True for eFrodo, otherwise the non-ephemeral variant is assumed. + Necessary because the files have the same name for either variant.""" + is_ephemeral = False + if args is None: args = sys.argv @@ -101,7 +112,7 @@ def main(args = None): print("# See src/scripts/dev_tools/gen_frodo_kat.py\n", file=output) for file in args[1:]: - mode = map_mode(os.path.basename(os.path.splitext(file)[0])) + mode = map_mode(os.path.basename(os.path.splitext(file)[0])) reader = KatReader(open(file)) diff --git a/src/tests/data/pubkey/frodokem_kat.vec b/src/tests/data/pubkey/frodokem_kat.vec index 7a97fc43ead..e2d9f4a034b 100644 --- a/src/tests/data/pubkey/frodokem_kat.vec +++ b/src/tests/data/pubkey/frodokem_kat.vec @@ -1,10 +1,5 @@ -# This file was partially auto-generated from the reference implemention's KATs +# This file was auto-generated from the reference implemention's KATs # See src/scripts/dev_tools/gen_frodo_kat.py -# -# The test vectors for non-ephemeral Frodo were generated by this -# implementation, using the same RNG seeds as the ephemeral modes'. -# These have been verified with the reference Python implementation -# using new modifications to support the non-ephemeral variant. [eFrodoKEM-640-AES] seed = 061550234D158C5EC95595FE04EF7A25767F2E24CC2BC479D09D86DC9ABCFDE7056A8C266F9EF97ED08541DBD2E1FFA1 @@ -915,905 +910,905 @@ ct = eac1489b8335e5af37a48ac77c34da04cbbe5054dd78738a6a5ae7a5ecc47ad4 [FrodoKEM-640-AES] seed = 061550234D158C5EC95595FE04EF7A25767F2E24CC2BC479D09D86DC9ABCFDE7056A8C266F9EF97ED08541DBD2E1FFA1 ss = EE5BA8CEBB0B41E9030CA1FBC3BEADB9 -pk = 5D39AA67171A98406C38E57E3542A764EC1F2462A546D232C503B9C9183E254C -sk = 2781C0851EA8A5CFE02F63B8D7AD94B4C7BBFC76B6D8CF71E04FC6C6D37C4BE7 -ct = 0EB3725B050114DCC933E84CEF37FE81C38E0C35F050D08D5E3DF06B2847BE05 +pk = 5d39aa67171a98406c38e57e3542a764ec1f2462a546d232c503b9c9183e254c +sk = 2781c0851ea8a5cfe02f63b8d7ad94b4c7bbfc76b6d8cf71e04fc6c6d37c4be7 +ct = 0eb3725b050114dcc933e84cef37fe81c38e0c35f050d08d5e3df06b2847be05 seed = D81C4D8D734FCBFBEADE3D3F8A039FAA2A2C9957E835AD55B22E75BF57BB556AC81ADDE6AEEB4A5A875C3BFCADFA958F ss = 42EE40211952277A40D6AC097897EBEE -pk = DF42DB96B59E9E97947AC435C5D7B59C0225DB447319B9EB30F71B0584A14D9C -sk = D76EE848304105B0E57EECBC7DFDDCB40DE1F946E38E7E2B0091D3601972DC50 -ct = 1B0F95D4531549A9E52D7070700A1FC0311D3765701F116D9508AFE8DDEB10F9 +pk = df42db96b59e9e97947ac435c5d7b59c0225db447319b9eb30f71b0584a14d9c +sk = d76ee848304105b0e57eecbc7dfddcb40de1f946e38e7e2b0091d3601972dc50 +ct = 1b0f95d4531549a9e52d7070700a1fc0311d3765701f116d9508afe8ddeb10f9 seed = 64335BF29E5DE62842C941766BA129B0643B5E7121CA26CFC190EC7DC3543830557FDD5C03CF123A456D48EFEA43C868 ss = C7B2206217C56A6B2F8C9EF540A33968 -pk = AB0192B4EF41839F18EDC9F7DE59AFD11DAF14E0E13971E8EF94D042D72246B6 -sk = 12D35158C746442010CA722DC638120901B1FFE9A4B4F8AA1DBB48834AD22479 -ct = B7071F787387D72C3AACC2243AE123DBB575AB3BEB4B65443E64D479D7732C27 +pk = ab0192b4ef41839f18edc9f7de59afd11daf14e0e13971e8ef94d042d72246b6 +sk = 12d35158c746442010ca722dc638120901b1ffe9a4b4f8aa1dbb48834ad22479 +ct = b7071f787387d72c3aacc2243ae123dbb575ab3beb4b65443e64d479d7732c27 seed = 225D5CE2CEAC61930A07503FB59F7C2F936A3E075481DA3CA299A80F8C5DF9223A073E7B90E02EBF98CA2227EBA38C1A ss = 2819759ED0117878C9578866DDCDAC26 -pk = C0DE160C02747E650FE2E127409ED3B606887EDFEA9D4E9FF0ECFA0E18758737 -sk = 46A9342B1C42D961AA3ACE18A870B66BB6F262D96707ABD4370460E6858386AE -ct = 3D9BAF5BFE9C476B682B84FBFAAB25A69ADF785825860FAA959344DE689AF926 +pk = c0de160c02747e650fe2e127409ed3b606887edfea9d4e9ff0ecfa0e18758737 +sk = 46a9342b1c42d961aa3ace18a870b66bb6f262d96707abd4370460e6858386ae +ct = 3d9baf5bfe9c476b682b84fbfaab25a69adf785825860faa959344de689af926 seed = EDC76E7C1523E3862552133FEA4D2AB05C69FB54A9354F0846456A2A407E071DF4650EC0E0A5666A52CD09462DBC51F9 ss = A526263B342472A024163E7A4B7D1950 -pk = 804AC5F408AC2A5BFC82E7418A04D5E31901B0A625F86586B0E68B04C2BDC8AA -sk = BE9B0F1E3A51DFC9093749B277BFFED02303EB76EB810AE8CF7A9E4DC1D6074F -ct = 6E5DA748E3F7527707717DB2AF0D5178D1FBB0270AD65AB1CB9A0C7E1531C428 +pk = 804ac5f408ac2a5bfc82e7418a04d5e31901b0a625f86586b0e68b04c2bdc8aa +sk = be9b0f1e3a51dfc9093749b277bffed02303eb76eb810ae8cf7a9e4dc1d6074f +ct = 6e5da748e3f7527707717db2af0d5178d1fbb0270ad65ab1cb9a0c7e1531c428 seed = AA93649193C2C5985ACF8F9E6AC50C36AE16A2526D7C684F7A3BB4ABCD7B6FF790E82BADCE89BC7380D66251F97AAAAA ss = E963C593FF794CA3B7CC0D245B600B53 -pk = 282B32859C296EE9F166008DEF7FB0800EBEB4ADE561AF3C61619931FDCD121E -sk = 2B73594ECB9BF13112A7DF8095FC3C2E93FE77ADA86A071C9A230766E966B980 -ct = 58045BDFADEA40849173082B0CEE0494BBEFA5FD09A517FA7295902F00C97486 +pk = 282b32859c296ee9f166008def7fb0800ebeb4ade561af3c61619931fdcd121e +sk = 2b73594ecb9bf13112a7df8095fc3c2e93fe77ada86a071c9a230766e966b980 +ct = 58045bdfadea40849173082b0cee0494bbefa5fd09a517fa7295902f00c97486 seed = 2E014DC7C2696B9F6D4AF555CBA4B931B34863FF60E2341D4FDFE472FEF2FE2C33E0813FC5CAFDE4E30277FE522A9049 ss = 330D0DB20BB00B4A0BF7CA3CED193595 -pk = C16A9569F3D889CE496034E3E88C645F4811D540034E5CAB8246AF1BF79969FC -sk = 310816FE09E070FC99FABC7D006A2A02EFA4DDAF12745F604A9414DDF31CF5F8 -ct = 0A6F441FBA1D82F9E0920E534368924A379898B196E09449E5EE7077B37A7393 +pk = c16a9569f3d889ce496034e3e88c645f4811d540034e5cab8246af1bf79969fc +sk = 310816fe09e070fc99fabc7d006a2a02efa4ddaf12745f604a9414ddf31cf5f8 +ct = 0a6f441fba1d82f9e0920e534368924a379898b196e09449e5ee7077b37a7393 seed = AEFB28FDD34E0AB403A703B535296E3A545CA479C1D8148E2D501B3C8DD8B1034BD986F13F1A7B4671BE769359FD2AAB ss = 1FCDFF4DE67E90AB355B3C9170B8C27B -pk = 22FCEC9E6D659E8202A31996C681302C03365F5063B6D93922756B3B94E75168 -sk = FA6FEF71DD38372D5D1D6DA8F1485A5412068C5C25559C911790565934877DB7 -ct = 04E136219AFB353FD2B048A5E9EE6EC5FA126003C64EF3B71970F60D99D8BB56 +pk = 22fcec9e6d659e8202a31996c681302c03365f5063b6d93922756b3b94e75168 +sk = fa6fef71dd38372d5d1d6da8f1485a5412068c5c25559c911790565934877db7 +ct = 04e136219afb353fd2b048a5e9ee6ec5fa126003c64ef3b71970f60d99d8bb56 seed = CBE5161E8DE02DDA7DE204AEB0FBB4CA81344BA8C30FE357A4664E5D2988A03B64184D7DC69F8D367550E5FEA0876D41 ss = 4CA46DECBCC84B85380A78B2C4DBEC53 -pk = E362FC658808B4A6F5E8AA415D973BF2AF49E0D9F6D46E640C36D23E678DCE15 -sk = 31C64F264105A783D15CDDE804ACD61DC1448D4F70BC8B7717E748E82445C916 -ct = 6570E9293A5CAAE7ADFE0EB0018327FA9DEE6CB064257F0B31B55F8C87306CCF +pk = e362fc658808b4a6f5e8aa415d973bf2af49e0d9f6d46e640c36d23e678dce15 +sk = 31c64f264105a783d15cdde804acd61dc1448d4f70bc8b7717e748e82445c916 +ct = 6570e9293a5caae7adfe0eb0018327fa9dee6cb064257f0b31b55f8c87306ccf seed = B4663A7A9883386A2AE4CBD93787E247BF26087E3826D1B8DBEB679E49C0BB286E114F0E9F42F61F63DEC42B4F974846 ss = 207212870F8F1C16E0FA30024FFC4CD1 -pk = 1062CABBD0CAE2C3962EC264AB5601F5D6C495FB073A1AD41040352DE0774BA0 -sk = A482F0A6C6BD3EF2C5065A20E16189CD0FA3C13C58FADEE57147A87CB8BF7801 -ct = A3B8117287E0B6A10FCBC154A25F7880C6E5D5DDC5613A1E38CA97C8EB7159DC +pk = 1062cabbd0cae2c3962ec264ab5601f5d6c495fb073a1ad41040352de0774ba0 +sk = a482f0a6c6bd3ef2c5065a20e16189cd0fa3c13c58fadee57147a87cb8bf7801 +ct = a3b8117287e0b6a10fcbc154a25f7880c6e5d5ddc5613a1e38ca97c8eb7159dc seed = 980D0BA7C8F8B23D0E948A6029FF2659810EA1360064663A8994D0333C8543EE5FF5D6D5C9ACF446E61DC464F792B9D3 ss = 645D7176086F9448E00B2343BF0C15CB -pk = 8F6FDA0C6EC4949AC8EEAD4544D820E40195A671F693AE8EDAD37AC2ADFE6D1C -sk = B656A04B3C6EE4C92483A3FF334388BAE055AE6043A492B1E8BDF57F8098F1E1 -ct = B4D8D5E2F672F570D305942DD1FA17551548EBEFAD54BB80998A47883B4CBDCF +pk = 8f6fda0c6ec4949ac8eead4544d820e40195a671f693ae8edad37ac2adfe6d1c +sk = b656a04b3c6ee4c92483a3ff334388bae055ae6043a492b1e8bdf57f8098f1e1 +ct = b4d8d5e2f672f570d305942dd1fa17551548ebefad54bb80998a47883b4cbdcf seed = 6C029462CA42ED520F10A579F52687101105E0B90C6E7BFA582A4C112B579D5AD0A0ABD38F72ABCFDCAAF5893A112BDC ss = A8B34D75DAADBD24FDC41FC80AC2E084 -pk = 821E76DAA3751887AB5EF0FB9AA26A0CA020D352D9C650BC3910F31F6E7B0A26 -sk = 0336F761F8DCDD85B5849FA516BD2C4513A0736A231EED084F61C6C8BEF8E30C -ct = 64ED98E41BEAB64260E75F01896D44FA911BE8714D7B1670F790AB435BEFA917 +pk = 821e76daa3751887ab5ef0fb9aa26a0ca020d352d9c650bc3910f31f6e7b0a26 +sk = 0336f761f8dcdd85b5849fa516bd2c4513a0736a231eed084f61c6c8bef8e30c +ct = 64ed98e41beab64260e75f01896d44fa911be8714d7b1670f790ab435befa917 seed = DB00120937570D62331F4C3F19A10465231EFF46465CDEE336A0D46AA1E7493DF80F18617F9FFD0476CF7784A403EF4F ss = 612E9091E1D0EA670DA719F0DA9D6A71 -pk = 69CE87C82702FFD98FB6282185200E8543253825B32C93394ACF44D4243326DB -sk = B64EEC43C82F28D307A36DF1E00AA7F125426E38774C54A49271597C52EEE24C -ct = 0034AF86F45565F76FEF5C180AC0933102BB7CE56B8F9FF527B244D69EA51D22 +pk = 69ce87c82702ffd98fb6282185200e8543253825b32c93394acf44d4243326db +sk = b64eec43c82f28d307a36df1e00aa7f125426e38774c54a49271597c52eee24c +ct = 0034af86f45565f76fef5c180ac0933102bb7ce56b8f9ff527b244d69ea51d22 seed = BD26C0B9A33E3B9B4C5D7EA32D5BD1FC371015BE163C86F584E49BFD5362C8D8341161CD1308115B2A03B7E5EADDD418 ss = 693686D3D7431536B14D94E5E10A4F58 -pk = 9504B36F2933DB66846397F921639E5E9D3574653C2B38C1F997F289044B24EB -sk = 79D2F1ADEE52CCF7802D08BA5E7986C1C766E64677716E5AD449DB682D54EC4D -ct = 6CFD42EDDBA9009F2343DDDEA269CCC26855CD32CB56281B2319D934CA48EF94 +pk = 9504b36f2933db66846397f921639e5e9d3574653c2b38c1f997f289044b24eb +sk = 79d2f1adee52ccf7802d08ba5e7986c1c766e64677716e5ad449db682d54ec4d +ct = 6cfd42eddba9009f2343dddea269ccc26855cd32cb56281b2319d934ca48ef94 seed = E2819EF86853BCA1B9DEE7EE1C1619988964F9A913E635AACF0D96CA6E0300D084329DABD8F149E24176D22757404260 ss = DC355A7581AF97B4D24C56997E17D25A -pk = EAA126E264DA32909746C8E22708F09BA9FB056C9A2E5E8E7AF17FD1A56EA311 -sk = FD9051BA91CCC43E0F43C81371AF84A512DA7FBB6FEA81B695B5F2BA4EB004A1 -ct = 370C9892F1976591BA2A9D860064938759518C334C2FC992A5352F82167F2B3A +pk = eaa126e264da32909746c8e22708f09ba9fb056c9a2e5e8e7af17fd1a56ea311 +sk = fd9051ba91ccc43e0f43c81371af84a512da7fbb6fea81b695b5f2ba4eb004a1 +ct = 370c9892f1976591ba2a9d860064938759518c334c2fc992a5352f82167f2b3a seed = 669C4EF8A051CE201DA65FC4BC34D398EC1F806276FC5D987AD71D93BC12DC8F107B58BE6E8422A0795C88CB9A0E7488 ss = 9F1DEA344D4F2C0843EE668312B47C7E -pk = 7DFEDC7F55B56D9913058DDF0D7A31D7B7E8C9979BD0D38974F650C68F94B592 -sk = 99E3D19A96501D3DA1B30994B7BD32778BBF0BBCB28DFD220281AD60053E77D4 -ct = 8ECC51819BC75C5EE058DFED9794DD67970AFF3876C2B90DF41C495389760BEA +pk = 7dfedc7f55b56d9913058ddf0d7a31d7b7e8c9979bd0d38974f650c68f94b592 +sk = 99e3d19a96501d3da1b30994b7bd32778bbf0bbcb28dfd220281ad60053e77d4 +ct = 8ecc51819bc75c5ee058dfed9794dd67970aff3876c2b90df41c495389760bea seed = 9DEBCCFE818F6B5204DB4EA09C03EC9A19DCF1629C1527685B8A29776BB1DAAEC45F8ABF8F0ADC9A8C8BD6E2DF6D8048 ss = AF4B7F1AB8C3BBD1F64C5FFC4B5FFB46 -pk = 9C96AC9EE16AEE62FC252BA4623F5F204CAD2D90DB8E885A89DDD2474BFAB9C8 -sk = CDFBA33DE86B559EDC5790B51F6DEFDCF8F444C4635E7EFE244EBDF1BDD0B8AE -ct = 72EDB6413636CDBB5CC65586D09739F3DC5EB68C2DB3F17A3BA1AC3E1EACCD7A +pk = 9c96ac9ee16aee62fc252ba4623f5f204cad2d90db8e885a89ddd2474bfab9c8 +sk = cdfba33de86b559edc5790b51f6defdcf8f444c4635e7efe244ebdf1bdd0b8ae +ct = 72edb6413636cdbb5cc65586d09739f3dc5eb68c2db3f17a3ba1ac3e1eaccd7a seed = 8098AE7A92C10F707D405F7DEA02C2EFBEF44EFA132BA8AEFE81BD45E543ECEC74F10920AE48A40B0653D63532517F2A ss = 24F068F4BC26ACD02468160496891A43 -pk = 0FD6434E282A8D76F65AA96C64418DE9D6416291652772F2E47D5EE53E3405E9 -sk = AC486BEC2B0D1A0CCA5CBD238D6340FB96CB3E7FFA58AB5F48BECDFEE6A7FAF6 -ct = E27CF3B8AD06E51026A4F8D569F7BFB23533504F029C48E547F6DD2EAE18037C +pk = 0fd6434e282a8d76f65aa96c64418de9d6416291652772f2e47d5ee53e3405e9 +sk = ac486bec2b0d1a0cca5cbd238d6340fb96cb3e7ffa58ab5f48becdfee6a7faf6 +ct = e27cf3b8ad06e51026a4f8d569f7bfb23533504f029c48e547f6dd2eae18037c seed = D5F23808871544E9C1D6EACE2028362B48E225312F77663E9F78CAFEB512B908CD9E25875D61A16EC615F4B8FF826856 ss = 8E7FCF0F10077759642D1D3EB75F12B2 -pk = 8CF6527EB6AF16C67C43993BC433C2556C013B86C631B83C1A5EBE32F47348FA -sk = A63C0E910C9D541F516B85FD2F89213D7D9441FBFC3AEDF4D7023EFDE6D67641 -ct = 9A064C40CB589A916E4F92B77B7CCDB02E128943BD4C916C99BA5BE3E37B2CA6 +pk = 8cf6527eb6af16c67c43993bc433c2556c013b86c631b83c1a5ebe32f47348fa +sk = a63c0e910c9d541f516b85fd2f89213d7d9441fbfc3aedf4d7023efde6d67641 +ct = 9a064c40cb589a916e4f92b77b7ccdb02e128943bd4c916c99ba5be3e37b2ca6 seed = 822CB47BE2266E182F34546924D753A5E3369011047E6950B00BC392F8FEC19EA87C26D8021D377DF86DC76C24C5F827 ss = CC73683BF37EA6EEB191600C0E40D676 -pk = 39BCE5C4EF779014CAD8786BBB9635226539D5C329FCF26D9E868B6BF6000211 -sk = 1436CF3324013E8C60231FCEEEAC604F0CD11FA5E11816F87C18B2F325C4E448 -ct = 396AB6B9010CC170825E7D8A969C3291725AA8933F145E0A27605803DC44AE1F +pk = 39bce5c4ef779014cad8786bbb9635226539d5c329fcf26d9e868b6bf6000211 +sk = 1436cf3324013e8c60231fceeeac604f0cd11fa5e11816f87c18b2f325c4e448 +ct = 396ab6b9010cc170825e7d8a969c3291725aa8933f145e0a27605803dc44ae1f seed = 81401DB81138D6874E91B7C11D59596E4ACE543F5A3471B6FB00999221765FEC3CA057ABE20F03B2D59003375FD71FE8 ss = 760D2BCCD452CFD1BBE2DF4AB7E4A411 -pk = 7B87CBEF92CCF00AF418F1AF47F00A60631D22030B5D51FB79F5E2E3E0A206E8 -sk = 5B4B80683FAFCC884093BB872FBE25348C420ABA43A54E2F0A7F9960501DD98E -ct = E768FE1C38B99A033E9CD9C48439AD612C6A77A0F78107D5C535ACD514826FDE +pk = 7b87cbef92ccf00af418f1af47f00a60631d22030b5d51fb79f5e2e3e0a206e8 +sk = 5b4b80683fafcc884093bb872fbe25348c420aba43a54e2f0a7f9960501dd98e +ct = e768fe1c38b99a033e9cd9c48439ad612c6a77a0f78107d5c535acd514826fde seed = 30B5DE5B73681EC08AAA03F6F2D2169525D25F4042A5E3695A20A52CA54927B85F8BB948FC21DF7DEFC3910B28674994 ss = ECEBEC557EDE65CAA88F930C33C9432C -pk = 983E35846BA60869965246A28479D244279F42BBF5AF0B5C38BF6BEFD5EB6F98 -sk = 637088D9F57DB732702FE41F2753A75FDDC59E47C13227837654EF0218DE1A4C -ct = 589C8BDF0F7BDDA6C327050B24F24FFE847C5C7D2D34ED76BBDE817A3A796310 +pk = 983e35846ba60869965246a28479d244279f42bbf5af0b5c38bf6befd5eb6f98 +sk = 637088d9f57db732702fe41f2753a75fddc59e47c13227837654ef0218de1a4c +ct = 589c8bdf0f7bdda6c327050b24f24ffe847c5c7d2d34ed76bbde817a3a796310 seed = E335DF8FC0D890588C3E305AC92C7160FF199E07C85760A828933750E3FED8C83B0DBE802234481ECF890A32D7A2884F ss = B39EA23C0F7EA8CB855035E76A846399 -pk = 088A9B601CB9B43A0F0951D29422CC3E60727FF42A311B8CD216D88339747C78 -sk = 2355074F15C1A60CD12528DD7B6D92AFDCA85B091748E77B46FB0D813B8EF8D5 -ct = A112E7E6ABF70478731960F08B40B86F211D91EAF99A4D2B55F2B212F2F0EE21 +pk = 088a9b601cb9b43a0f0951d29422cc3e60727ff42a311b8cd216d88339747c78 +sk = 2355074f15c1a60cd12528dd7b6d92afdca85b091748e77b46fb0d813b8ef8d5 +ct = a112e7e6abf70478731960f08b40b86f211d91eaf99a4d2b55f2b212f2f0ee21 seed = FBEA1BC2C379F4F8FDCB0DE260D31CDB064C9EA9B1D6DFBE91B3692ADD1D34DEC9C9FFAE7BF5E72ED2743BA3F9F2E43D ss = C4F4D563ABB89B489C6E948DDE84C602 -pk = 63F028E6E4807B0B9D8D31365B2A5E3240D9407E4731062DA5C3D35524F70B03 -sk = CDFC260D4285E3B399AD1944E7D41C8BA80493EBB936E90793478C555E78963A -ct = 3C66E2FCF5C4431E6162D011EB2EF55D44C563C3F2F2FD2A1979AB89F634DEE4 +pk = 63f028e6e4807b0b9d8d31365b2a5e3240d9407e4731062da5c3d35524f70b03 +sk = cdfc260d4285e3b399ad1944e7d41c8ba80493ebb936e90793478c555e78963a +ct = 3c66e2fcf5c4431e6162d011eb2ef55d44c563c3f2f2fd2a1979ab89f634dee4 seed = 7E87FB886BC3C7C9FC12569F465D2ECD12532E76CC27C65644C8D3DD603B0CB2D036C5974E675058F271D5C82AD7A813 ss = 78472AB746FAB555605A59F4213BA93C -pk = E1202102B4122983B7F14F71F804AE74C4F0F7F0BCA66D01448A2CC018B2848C -sk = F6C5596901DC2AEA7586E5EC4242BBF58C7798321FF1715C2FA7FDCA25F9199C -ct = B38767585A825C55C7478234ABD972563823E8B3D0ED4A817C2F6420B2D5CE97 +pk = e1202102b4122983b7f14f71f804ae74c4f0f7f0bca66d01448a2cc018b2848c +sk = f6c5596901dc2aea7586e5ec4242bbf58c7798321ff1715c2fa7fdca25f9199c +ct = b38767585a825c55c7478234abd972563823e8b3d0ed4a817c2f6420b2d5ce97 [FrodoKEM-640-SHAKE] seed = 061550234D158C5EC95595FE04EF7A25767F2E24CC2BC479D09D86DC9ABCFDE7056A8C266F9EF97ED08541DBD2E1FFA1 ss = 2ED42CE7D5DBFB115F2E2BDCB650B3FA -pk = 75FCECE7E02262C6C6E199CE753C0A4D503193D3C202C7B57C89705B7C25ABE9 -sk = 7517357466EEC6C931EAAC5DCB90B9ED2DE9B52339249A035CFA0687977578DD -ct = AFE6744AC28F1C71EAE996559DFC3853B3FCD5F7A9F1FBA46361204D4995EC1D +pk = 75fcece7e02262c6c6e199ce753c0a4d503193d3c202c7b57c89705b7c25abe9 +sk = 7517357466eec6c931eaac5dcb90b9ed2de9b52339249a035cfa0687977578dd +ct = afe6744ac28f1c71eae996559dfc3853b3fcd5f7a9f1fba46361204d4995ec1d seed = D81C4D8D734FCBFBEADE3D3F8A039FAA2A2C9957E835AD55B22E75BF57BB556AC81ADDE6AEEB4A5A875C3BFCADFA958F ss = B666E2057AA667943D296982B73BC0D6 -pk = 1B84ED06306FDC657AD0E66CC5990E6EB610FC92B8718363007937E978C5669B -sk = 5B562EAB0CEB1ACF320566B1533FFFDE96A1EE0E687F3F514A813F4691A08243 -ct = 4FDB36B98E180479292012E027836BD7FE847403DD1564DC266DF1A62D443269 +pk = 1b84ed06306fdc657ad0e66cc5990e6eb610fc92b8718363007937e978c5669b +sk = 5b562eab0ceb1acf320566b1533fffde96a1ee0e687f3f514a813f4691a08243 +ct = 4fdb36b98e180479292012e027836bd7fe847403dd1564dc266df1a62d443269 seed = 64335BF29E5DE62842C941766BA129B0643B5E7121CA26CFC190EC7DC3543830557FDD5C03CF123A456D48EFEA43C868 ss = CB68B07DD28534B5A2926332D7E6CBEF -pk = 60B25BC63F288739BD27352909C160C3A532FF30348931478D0CE54BD76A4198 -sk = F597FE5707B07D1DA05163A524682615ED283D20742C847495F17798D77305D7 -ct = E53816D64EB5E3142C138648ABD08636D607FBCE3217FDBBD9C6999A0F8C02C2 +pk = 60b25bc63f288739bd27352909c160c3a532ff30348931478d0ce54bd76a4198 +sk = f597fe5707b07d1da05163a524682615ed283d20742c847495f17798d77305d7 +ct = e53816d64eb5e3142c138648abd08636d607fbce3217fdbbd9c6999a0f8c02c2 seed = 225D5CE2CEAC61930A07503FB59F7C2F936A3E075481DA3CA299A80F8C5DF9223A073E7B90E02EBF98CA2227EBA38C1A ss = 4E0A573FAEF65792833F533326DA1F34 -pk = F94A62F11DD3DD67144FA955EFF2D4B0535E2047FF61D3991EAB9D35D0871228 -sk = C39E1E0B1A5F00ECD9C9EDFBB4510FA5C7DFFFD1E3BECFAC883E464EF960CA8D -ct = C563C7AA61DC83D144514D557109393C003BD33EE25D145A4518406ABF5E561A +pk = f94a62f11dd3dd67144fa955eff2d4b0535e2047ff61d3991eab9d35d0871228 +sk = c39e1e0b1a5f00ecd9c9edfbb4510fa5c7dfffd1e3becfac883e464ef960ca8d +ct = c563c7aa61dc83d144514d557109393c003bd33ee25d145a4518406abf5e561a seed = EDC76E7C1523E3862552133FEA4D2AB05C69FB54A9354F0846456A2A407E071DF4650EC0E0A5666A52CD09462DBC51F9 ss = B550C1BE6444146475CD31E41F847877 -pk = 21101DCB958874571BE714BABB0B4E59CBCE527C82EB51B9B0C4A793BD27C90D -sk = 0CEE8E50ECF473B7DA197E756A5364722CA4F368FD3ABDBF2C35968FD08BBFB7 -ct = 2ED07632836809A827442E335E5D62F50BA3480E7698245BAACC8D53A7525BEE +pk = 21101dcb958874571be714babb0b4e59cbce527c82eb51b9b0c4a793bd27c90d +sk = 0cee8e50ecf473b7da197e756a5364722ca4f368fd3abdbf2c35968fd08bbfb7 +ct = 2ed07632836809a827442e335e5d62f50ba3480e7698245baacc8d53a7525bee seed = AA93649193C2C5985ACF8F9E6AC50C36AE16A2526D7C684F7A3BB4ABCD7B6FF790E82BADCE89BC7380D66251F97AAAAA ss = 4733328FE2C13A25078AB62AB0AB8F64 -pk = 5BBC98B8AC5F9BAA1AA9641A9776CB770B295F9C5C8161E1104200736DFCC2BC -sk = BAE9D5C67D279D1B67439B6B39E7C08A1B0454D948CCD8207AFBA979B2F6B2BD -ct = 7156EE3CAE56F12C44BF9AE0075B420C9E258CA5106B7BA5410AA070D1891151 +pk = 5bbc98b8ac5f9baa1aa9641a9776cb770b295f9c5c8161e1104200736dfcc2bc +sk = bae9d5c67d279d1b67439b6b39e7c08a1b0454d948ccd8207afba979b2f6b2bd +ct = 7156ee3cae56f12c44bf9ae0075b420c9e258ca5106b7ba5410aa070d1891151 seed = 2E014DC7C2696B9F6D4AF555CBA4B931B34863FF60E2341D4FDFE472FEF2FE2C33E0813FC5CAFDE4E30277FE522A9049 ss = AB0C67652A8490705FBFA8F821B4E528 -pk = E9E891680B05451D67B99310DB3D5472745113397C4D95FEC2B0F5775CE08E3F -sk = B76597FB6A8EC4B92EAAD71FE31B482182A260594194FBD6350DC9FD363E29F1 -ct = 3852166F2FF61805A8A67A4CD848A050DC86A1DBCAD434584B23BB5A4F6E52A4 +pk = e9e891680b05451d67b99310db3d5472745113397c4d95fec2b0f5775ce08e3f +sk = b76597fb6a8ec4b92eaad71fe31b482182a260594194fbd6350dc9fd363e29f1 +ct = 3852166f2ff61805a8a67a4cd848a050dc86a1dbcad434584b23bb5a4f6e52a4 seed = AEFB28FDD34E0AB403A703B535296E3A545CA479C1D8148E2D501B3C8DD8B1034BD986F13F1A7B4671BE769359FD2AAB ss = 37691D50A713442E0EFE5B2B2D834A61 -pk = FBC4F8144D12F26FB0907927AAA897A1EEDBA7700D6E59FE1902A6F7C5D42764 -sk = 32C6E6FCDD0251D60D0077443AA3260A0425934ECA79AE6ADE0F6ED7D26FB1EE -ct = 5CA674D6E69780DEC963ADBFCEE2A10F9832026F24081B51EC90DE39B2D19F48 +pk = fbc4f8144d12f26fb0907927aaa897a1eedba7700d6e59fe1902a6f7c5d42764 +sk = 32c6e6fcdd0251d60d0077443aa3260a0425934eca79ae6ade0f6ed7d26fb1ee +ct = 5ca674d6e69780dec963adbfcee2a10f9832026f24081b51ec90de39b2d19f48 seed = CBE5161E8DE02DDA7DE204AEB0FBB4CA81344BA8C30FE357A4664E5D2988A03B64184D7DC69F8D367550E5FEA0876D41 ss = D7B31D81616AD1B69412A4D9019DA275 -pk = 265A2B15737C01C7EB020A19EDC4AE2AD4486346190CA2BAF9850870E37105EE -sk = E16D8D4E40EE34CEF9F157115E7C6466AA98C56A447B48F465A6E097F1199876 -ct = 71EB71685F3A2C63B9FC8AFBB04E025D099CEFA26D69EC87D5D0B6B5F71E6D28 +pk = 265a2b15737c01c7eb020a19edc4ae2ad4486346190ca2baf9850870e37105ee +sk = e16d8d4e40ee34cef9f157115e7c6466aa98c56a447b48f465a6e097f1199876 +ct = 71eb71685f3a2c63b9fc8afbb04e025d099cefa26d69ec87d5d0b6b5f71e6d28 seed = B4663A7A9883386A2AE4CBD93787E247BF26087E3826D1B8DBEB679E49C0BB286E114F0E9F42F61F63DEC42B4F974846 ss = 23BFACF85D72B9A262D5A92EC2435CA5 -pk = F8E4294AD930446A8FC155D9FF20EE7D8121D583093FC52FDC6CCE40155F1FDE -sk = 235FD483FA2CA76DB8D97301A080105FC7BA9ECDBDE90BEA7013E162E651A716 -ct = B893827223F604C32F312606B347F7334D98C5D3B05C305A04995693B0A023B5 +pk = f8e4294ad930446a8fc155d9ff20ee7d8121d583093fc52fdc6cce40155f1fde +sk = 235fd483fa2ca76db8d97301a080105fc7ba9ecdbde90bea7013e162e651a716 +ct = b893827223f604c32f312606b347f7334d98c5d3b05c305a04995693b0a023b5 seed = 980D0BA7C8F8B23D0E948A6029FF2659810EA1360064663A8994D0333C8543EE5FF5D6D5C9ACF446E61DC464F792B9D3 ss = 3EEF707BAC00653B415A998E45911B88 -pk = EC7FB43D1DC91541AF2F11B58C29600E2F4640E56DB612DDA62289DECC9B619B -sk = 96C909CEB6938CFE265AF3468A1A8AF01D7F267D6BD0828CF234579059C63979 -ct = 9E5471C29CABF5615F985338BD75BFF5CB5FA7E69E5F1AE3AA0EDF28063EAA1B +pk = ec7fb43d1dc91541af2f11b58c29600e2f4640e56db612dda62289decc9b619b +sk = 96c909ceb6938cfe265af3468a1a8af01d7f267d6bd0828cf234579059c63979 +ct = 9e5471c29cabf5615f985338bd75bff5cb5fa7e69e5f1ae3aa0edf28063eaa1b seed = 6C029462CA42ED520F10A579F52687101105E0B90C6E7BFA582A4C112B579D5AD0A0ABD38F72ABCFDCAAF5893A112BDC ss = 420B29381DD5CFD81AB36EF603A78C15 -pk = 610D4D5D279BBB6DB9299F0E459B536A22F1F0904EC93548C50E44EF99A60C6C -sk = 45EAA1CF82C0E7AD5503E0EA4AC53FCD66A22DA16369E914CADC7338E414DF56 -ct = 32BEC844C136D55635D54EE5F3FB8B4EC904A984D7F83F0F7336FE54F03A6284 +pk = 610d4d5d279bbb6db9299f0e459b536a22f1f0904ec93548c50e44ef99a60c6c +sk = 45eaa1cf82c0e7ad5503e0ea4ac53fcd66a22da16369e914cadc7338e414df56 +ct = 32bec844c136d55635d54ee5f3fb8b4ec904a984d7f83f0f7336fe54f03a6284 seed = DB00120937570D62331F4C3F19A10465231EFF46465CDEE336A0D46AA1E7493DF80F18617F9FFD0476CF7784A403EF4F ss = 6E6D281AA79367A64DC4E512E9DDF38A -pk = 6D25692DAC5C4BBCBECD9302365F37028441691207FC4E06DE4958EFF1E04A74 -sk = FEC92F0064A5F30B54F65C01B05CC5952E2AE532B5614ED5D492CFE32510EC6C -ct = FB50CF0945B1061D0ED54A9DFB10CE161C3EA9873F65CE13D2347C77834FE9E0 +pk = 6d25692dac5c4bbcbecd9302365f37028441691207fc4e06de4958eff1e04a74 +sk = fec92f0064a5f30b54f65c01b05cc5952e2ae532b5614ed5d492cfe32510ec6c +ct = fb50cf0945b1061d0ed54a9dfb10ce161c3ea9873f65ce13d2347c77834fe9e0 seed = BD26C0B9A33E3B9B4C5D7EA32D5BD1FC371015BE163C86F584E49BFD5362C8D8341161CD1308115B2A03B7E5EADDD418 ss = CF822942001C4270B6DF81D5975EBDE7 -pk = E3933201E372DB528B9D3BD915BD7B79A299E48AE1B44758E0E8A2D45B1A0C6F -sk = 26F9DE3F25C3DCE94A0A832B41F61C07125E76BFB465A01936F5061D3A401CE1 -ct = 5487E425C89457CCCFE33C3AA4EAB1B5E81969EFFDD930C8CB5A22F910C37A0F +pk = e3933201e372db528b9d3bd915bd7b79a299e48ae1b44758e0e8a2d45b1a0c6f +sk = 26f9de3f25c3dce94a0a832b41f61c07125e76bfb465a01936f5061d3a401ce1 +ct = 5487e425c89457cccfe33c3aa4eab1b5e81969effdd930c8cb5a22f910c37a0f seed = E2819EF86853BCA1B9DEE7EE1C1619988964F9A913E635AACF0D96CA6E0300D084329DABD8F149E24176D22757404260 ss = FBEAAD7FE459A0E2A68EEC367AE04116 -pk = 154909605A360A6B8F0B949D061D6FF3F9B12DA1B9E6DFF6F36BC842C08C4AD5 -sk = C5924BB93A36CA150120FBD90237875B0743E1875567BEC65544FC018311DDF1 -ct = 7E95068FE4CEB43A7D8F323B4F285F9BF9726000F2B73A446B047CF0B578056F +pk = 154909605a360a6b8f0b949d061d6ff3f9b12da1b9e6dff6f36bc842c08c4ad5 +sk = c5924bb93a36ca150120fbd90237875b0743e1875567bec65544fc018311ddf1 +ct = 7e95068fe4ceb43a7d8f323b4f285f9bf9726000f2b73a446b047cf0b578056f seed = 669C4EF8A051CE201DA65FC4BC34D398EC1F806276FC5D987AD71D93BC12DC8F107B58BE6E8422A0795C88CB9A0E7488 ss = F82C5804C61862FD09DC633C0FAE5B40 -pk = DBA3D5E0AB746B39E1E7FCAEC0B4006943C8520418454922EE545DD93274F0DB -sk = B451F69AA5829B46ED085AB02BAC35B748A3C31FEA4603ADFC6A7F6D60A9B79F -ct = D22B3D44D7C4446F02E3889D62C35DF5F9D942824AE4768B839532B4AAA1E698 +pk = dba3d5e0ab746b39e1e7fcaec0b4006943c8520418454922ee545dd93274f0db +sk = b451f69aa5829b46ed085ab02bac35b748a3c31fea4603adfc6a7f6d60a9b79f +ct = d22b3d44d7c4446f02e3889d62c35df5f9d942824ae4768b839532b4aaa1e698 seed = 9DEBCCFE818F6B5204DB4EA09C03EC9A19DCF1629C1527685B8A29776BB1DAAEC45F8ABF8F0ADC9A8C8BD6E2DF6D8048 ss = A801254302E38D90B5F50E20F0B4B1D2 -pk = 8F2A25745D502BDAC0EC6012C46A481F552D0BB892BEE917F1B1609A4A8223F7 -sk = E920B3E9AF434F2891BFD7CD25B6EFA4D4456667244C2633CB535F52BC2C7F1C -ct = BD82BD8A212C84D12AEA9D75627F83DAFB608442F95785A55EFE0B8EE92A6922 +pk = 8f2a25745d502bdac0ec6012c46a481f552d0bb892bee917f1b1609a4a8223f7 +sk = e920b3e9af434f2891bfd7cd25b6efa4d4456667244c2633cb535f52bc2c7f1c +ct = bd82bd8a212c84d12aea9d75627f83dafb608442f95785a55efe0b8ee92a6922 seed = 8098AE7A92C10F707D405F7DEA02C2EFBEF44EFA132BA8AEFE81BD45E543ECEC74F10920AE48A40B0653D63532517F2A ss = 2FF57A7651C9B026FE317F099EDAF160 -pk = 23A52AD4B0040CF7298BD52779090A6965564C922CCB525D4F49CFE8788850A1 -sk = 111FCEC72112D99B968DFB09E8F9D1160F2644E91B5ECDC8A6FA02F67BF76BFE -ct = B2B4E9B0CE48E29DDAF7D4AFEC218A42905C47DEC541314DBBCC135F6EAE030A +pk = 23a52ad4b0040cf7298bd52779090a6965564c922ccb525d4f49cfe8788850a1 +sk = 111fcec72112d99b968dfb09e8f9d1160f2644e91b5ecdc8a6fa02f67bf76bfe +ct = b2b4e9b0ce48e29ddaf7d4afec218a42905c47dec541314dbbcc135f6eae030a seed = D5F23808871544E9C1D6EACE2028362B48E225312F77663E9F78CAFEB512B908CD9E25875D61A16EC615F4B8FF826856 ss = 42EFB5CDC06079F15FB870E2AC1AC274 -pk = 9AE353B6F53516962E89DF42D66CED269BB44898F5A773091E2F4108F3A5B69A -sk = D0DC698A85C69BEEB300F50AEECA1A987A1CB160CCF63D4D0031432C284DE58A -ct = 02A840E38AB3A99DFB4BC6113300B42FF1E4A4A11C5EBD56C71A8C957FA8457C +pk = 9ae353b6f53516962e89df42d66ced269bb44898f5a773091e2f4108f3a5b69a +sk = d0dc698a85c69beeb300f50aeeca1a987a1cb160ccf63d4d0031432c284de58a +ct = 02a840e38ab3a99dfb4bc6113300b42ff1e4a4a11c5ebd56c71a8c957fa8457c seed = 822CB47BE2266E182F34546924D753A5E3369011047E6950B00BC392F8FEC19EA87C26D8021D377DF86DC76C24C5F827 ss = 7CEE90123B7F542B7B9E74ED50C22DB5 -pk = 960287DC9023AFCD5436195E26811A1A20ED0888690329CA17992F20CDA52E97 -sk = 14E291362A0518C9761455908C6F09029868448C97F5D425EDC33129204C0D69 -ct = 71DAC862AB9D4E4F738045384BC4862BB59375FC72AFE6F71B73C42E8A1AB542 +pk = 960287dc9023afcd5436195e26811a1a20ed0888690329ca17992f20cda52e97 +sk = 14e291362a0518c9761455908c6f09029868448c97f5d425edc33129204c0d69 +ct = 71dac862ab9d4e4f738045384bc4862bb59375fc72afe6f71b73c42e8a1ab542 seed = 81401DB81138D6874E91B7C11D59596E4ACE543F5A3471B6FB00999221765FEC3CA057ABE20F03B2D59003375FD71FE8 ss = CD74B1093981273E240352733348428F -pk = 4F8731D90225841AB9817A4A29DD411488F8262A9A44AB3133079278BF887DD5 -sk = F77D8ED9B6A740B0A49501EB209D1E83FA147D03AE1A02228CA1EB2A7E640F90 -ct = 0F1E525C175F010952F0821238698F3C05D8B11C7957CA5B7753D5505F83B85A +pk = 4f8731d90225841ab9817a4a29dd411488f8262a9a44ab3133079278bf887dd5 +sk = f77d8ed9b6a740b0a49501eb209d1e83fa147d03ae1a02228ca1eb2a7e640f90 +ct = 0f1e525c175f010952f0821238698f3c05d8b11c7957ca5b7753d5505f83b85a seed = 30B5DE5B73681EC08AAA03F6F2D2169525D25F4042A5E3695A20A52CA54927B85F8BB948FC21DF7DEFC3910B28674994 ss = 6F97389D442ACEF7431CDD5C989FAB99 -pk = 8B6C04ABA39697F6A0ED9307EF05FA4801856AB0690A4FF8D5B306BABA2CDC8E -sk = DDB07DA52DA985C5120EB0656231DE398B49976C5C5B6196361DFABC59BF6C56 -ct = 95040FBF53E5B734F96273A93743D5BE5E191BD8C50729A31C707895B204905B +pk = 8b6c04aba39697f6a0ed9307ef05fa4801856ab0690a4ff8d5b306baba2cdc8e +sk = ddb07da52da985c5120eb0656231de398b49976c5c5b6196361dfabc59bf6c56 +ct = 95040fbf53e5b734f96273a93743d5be5e191bd8c50729a31c707895b204905b seed = E335DF8FC0D890588C3E305AC92C7160FF199E07C85760A828933750E3FED8C83B0DBE802234481ECF890A32D7A2884F ss = 7B338E860F4C7ADBD3FCDFB2DB16C362 -pk = 8EABC6DFAB9F1F188763D1813A0BC428A48CB342FAA8BAF85DB3CAAD4D80665C -sk = D7447F7770F01FDB80D3EA562154C7739DD0D9AC0357A92C20F8E44D4EF55934 -ct = 0E397B4CC532483E6B6B24D33DA20BE50C3490FED30EEC22BF5CC22FCC003D01 +pk = 8eabc6dfab9f1f188763d1813a0bc428a48cb342faa8baf85db3caad4d80665c +sk = d7447f7770f01fdb80d3ea562154c7739dd0d9ac0357a92c20f8e44d4ef55934 +ct = 0e397b4cc532483e6b6b24d33da20be50c3490fed30eec22bf5cc22fcc003d01 seed = FBEA1BC2C379F4F8FDCB0DE260D31CDB064C9EA9B1D6DFBE91B3692ADD1D34DEC9C9FFAE7BF5E72ED2743BA3F9F2E43D ss = 78E8326BABDF0182BB1FB0AD39AF46DC -pk = DBB377BAC3D5FFCC804F7349A59556E40E612DF74ED07968DB59FB438DB8B226 -sk = 7F341EE7F16885D71DC932BC70DD8C93FA8AF8EAA62F55B3EA55A1E1F7A78D70 -ct = 523A431533DB01EB1DBAA961C452EEC7B5038F98C6D9AA839E19AF160E8FB830 +pk = dbb377bac3d5ffcc804f7349a59556e40e612df74ed07968db59fb438db8b226 +sk = 7f341ee7f16885d71dc932bc70dd8c93fa8af8eaa62f55b3ea55a1e1f7a78d70 +ct = 523a431533db01eb1dbaa961c452eec7b5038f98c6d9aa839e19af160e8fb830 seed = 7E87FB886BC3C7C9FC12569F465D2ECD12532E76CC27C65644C8D3DD603B0CB2D036C5974E675058F271D5C82AD7A813 ss = 2DC963F1C61640832B1FBD37C23D44AD -pk = 8F190DDAD85D30EDF1F34B9BB34CFEB490DEA3CDDC18B90A7148988BB2CD8685 -sk = 2F0925E20154BAFFCE5CA992A751425080C20ECE8221528189F2F03559A1B97D -ct = 292DD1807C2735AFF77C8498608472451EE9A080C9ECC48884E32D415E995410 +pk = 8f190ddad85d30edf1f34b9bb34cfeb490dea3cddc18b90a7148988bb2cd8685 +sk = 2f0925e20154baffce5ca992a751425080c20ece8221528189f2f03559a1b97d +ct = 292dd1807c2735aff77c8498608472451ee9a080c9ecc48884e32d415e995410 [FrodoKEM-976-AES] seed = 061550234D158C5EC95595FE04EF7A25767F2E24CC2BC479D09D86DC9ABCFDE7056A8C266F9EF97ED08541DBD2E1FFA1 ss = D9388D1B0F97C5DB5F9B4A7E99427CFE90E3E10C5C569D02 -pk = 148DBB62DC2179712BF8590ADCDBB3606B9E41E15AAAF3E25EF957C16A439969 -sk = 19CF05049E5C1C2D691F9C978B7DF23128F086E6D6E0C77B6AC41A779C35C930 -ct = 5A179A3D39C4EBB9B0260CC4B22A3936326A6B8572746BA179CB22F0533E667B +pk = 148dbb62dc2179712bf8590adcdbb3606b9e41e15aaaf3e25ef957c16a439969 +sk = 19cf05049e5c1c2d691f9c978b7df23128f086e6d6e0c77b6ac41a779c35c930 +ct = 5a179a3d39c4ebb9b0260cc4b22a3936326a6b8572746ba179cb22f0533e667b seed = D81C4D8D734FCBFBEADE3D3F8A039FAA2A2C9957E835AD55B22E75BF57BB556AC81ADDE6AEEB4A5A875C3BFCADFA958F ss = B21B6EA682420DF2278018C85504711467A6E2CA36438869 -pk = 6E89AE56620FD41E38D44483F39BE20059604D8D865AA2CC136711E46E667E7D -sk = 7B5B85DFB7C64C27A713A4F04F39A6F882A83DA74982E4630DF1A3A88BAD7D5B -ct = 90B044A4CDF337C80FEC13BACB467767B2AF324596FE956067DF52D80090DE51 +pk = 6e89ae56620fd41e38d44483f39be20059604d8d865aa2cc136711e46e667e7d +sk = 7b5b85dfb7c64c27a713a4f04f39a6f882a83da74982e4630df1a3a88bad7d5b +ct = 90b044a4cdf337c80fec13bacb467767b2af324596fe956067df52d80090de51 seed = 64335BF29E5DE62842C941766BA129B0643B5E7121CA26CFC190EC7DC3543830557FDD5C03CF123A456D48EFEA43C868 ss = 800F0B850F6884E0373B25F3AEE81627228126EF9DC3985A -pk = 9E5F8E8856F4C4AC4D63D4E30B6BEF199AD67476326CC23A91C8F915A8DC7854 -sk = 2017EB4A45978FCBE4E5685C57FBF59ADC6915B2ECD1EA6C283331A8686EF537 -ct = EAAC265ED847245DAAF02C09C1B9CC4000DD3F7729E9519EC03A645A6E435E00 +pk = 9e5f8e8856f4c4ac4d63d4e30b6bef199ad67476326cc23a91c8f915a8dc7854 +sk = 2017eb4a45978fcbe4e5685c57fbf59adc6915b2ecd1ea6c283331a8686ef537 +ct = eaac265ed847245daaf02c09c1b9cc4000dd3f7729e9519ec03a645a6e435e00 seed = 225D5CE2CEAC61930A07503FB59F7C2F936A3E075481DA3CA299A80F8C5DF9223A073E7B90E02EBF98CA2227EBA38C1A ss = 7462330FCF20924EE9066E8C2EAE671701477F983DAC2A86 -pk = B1874A6F536666865AD7C40969920A3507866226E9F17CA9EC5AF38ABF83BB1A -sk = 5B24E07861C470E6D5A37F512E84DC257B5BE499A3DAFA11A62C14750519148E -ct = 77208F5459ACA1C3D0264D3838515296344CDE92549A53D00D6F1D83171D3DBD +pk = b1874a6f536666865ad7c40969920a3507866226e9f17ca9ec5af38abf83bb1a +sk = 5b24e07861c470e6d5a37f512e84dc257b5be499a3dafa11a62c14750519148e +ct = 77208f5459aca1c3d0264d3838515296344cde92549a53d00d6f1d83171d3dbd seed = EDC76E7C1523E3862552133FEA4D2AB05C69FB54A9354F0846456A2A407E071DF4650EC0E0A5666A52CD09462DBC51F9 ss = 9081C935D5E801499D4F104C7C904490DF1C0F730195E949 -pk = 81D92A6D47EC19CB80FA1888096BC44B6AE551B70A048FC6DD5B3F3EF86E1B5E -sk = 6D240BF73E7EC5AE2528CA02D30507F09F7547E2F2D9C5DE1427CDB8CCEF10D4 -ct = C4AD656CAB0375F6846E7CFE19232B68B2F7DA202461506065CD0CEF766B4699 +pk = 81d92a6d47ec19cb80fa1888096bc44b6ae551b70a048fc6dd5b3f3ef86e1b5e +sk = 6d240bf73e7ec5ae2528ca02d30507f09f7547e2f2d9c5de1427cdb8ccef10d4 +ct = c4ad656cab0375f6846e7cfe19232b68b2f7da202461506065cd0cef766b4699 seed = AA93649193C2C5985ACF8F9E6AC50C36AE16A2526D7C684F7A3BB4ABCD7B6FF790E82BADCE89BC7380D66251F97AAAAA ss = 113A610B0F36F42A1898CBC100D8394D0CD1287C17633123 -pk = 932AE3BD1F4A37BEB25BB894C8888527A1E2B8B01F585F623CFF931C95837366 -sk = 7290B7098CA833A0191314FC1FE5508864F9929A0CE298BA03BA891A65B9C21E -ct = 09F4A8442C5C44B691F40BC54BBE877CE8E6E367B7186FEA6A9A03B397B05746 +pk = 932ae3bd1f4a37beb25bb894c8888527a1e2b8b01f585f623cff931c95837366 +sk = 7290b7098ca833a0191314fc1fe5508864f9929a0ce298ba03ba891a65b9c21e +ct = 09f4a8442c5c44b691f40bc54bbe877ce8e6e367b7186fea6a9a03b397b05746 seed = 2E014DC7C2696B9F6D4AF555CBA4B931B34863FF60E2341D4FDFE472FEF2FE2C33E0813FC5CAFDE4E30277FE522A9049 ss = DC61C2FD9A64C9DA2584DDCA98D57D4057692DE13FCD550B -pk = 6D45C50F522D365D3D0C68BEA49DD82770C88D45AB722FDDA1B628E9DEF2727E -sk = A270F1D44458CE44B178185B4377245D105FE5C24339B372F896BB4351F38D59 -ct = 019CE75A82BFAE215E135BE48AE1B9801350A8726678EFA79551E2E90A9EC27A +pk = 6d45c50f522d365d3d0c68bea49dd82770c88d45ab722fdda1b628e9def2727e +sk = a270f1d44458ce44b178185b4377245d105fe5c24339b372f896bb4351f38d59 +ct = 019ce75a82bfae215e135be48ae1b9801350a8726678efa79551e2e90a9ec27a seed = AEFB28FDD34E0AB403A703B535296E3A545CA479C1D8148E2D501B3C8DD8B1034BD986F13F1A7B4671BE769359FD2AAB ss = 76C14A4F1E94587F5AEDC64528125487E696D0BECDC6AD05 -pk = 9EF253ECBBE8987964E41883F6FD1AA143CEAEBDCA2F56408E9D8DA6DD27DDF3 -sk = 2AE39F5FCB50EFA3807EE789FA1A5DFACB4AB39E186E24524B5E5CDB14AA3B0D -ct = 6992A3D6CE596569BE5DE7428AA38252F48A97D9959A019EB5FC1C9ED0400824 +pk = 9ef253ecbbe8987964e41883f6fd1aa143ceaebdca2f56408e9d8da6dd27ddf3 +sk = 2ae39f5fcb50efa3807ee789fa1a5dfacb4ab39e186e24524b5e5cdb14aa3b0d +ct = 6992a3d6ce596569be5de7428aa38252f48a97d9959a019eb5fc1c9ed0400824 seed = CBE5161E8DE02DDA7DE204AEB0FBB4CA81344BA8C30FE357A4664E5D2988A03B64184D7DC69F8D367550E5FEA0876D41 ss = 82FE447FA6F04E941532C875950926DCC83C40ACAC264F46 -pk = 021AE45B17BC377A10744C9311DC1B33DE0188680E1DF2C8DE2EE5C3D0DA0BA4 -sk = BE17C2E9DA59C5355E34A8CD11A3854527AF6E9DAD915F52C5723D74AAEF9085 -ct = 66EB0172CF26E7E33AA92DCE022DBEDC19B14918CE13B372D2CE18DAAC8217CD +pk = 021ae45b17bc377a10744c9311dc1b33de0188680e1df2c8de2ee5c3d0da0ba4 +sk = be17c2e9da59c5355e34a8cd11a3854527af6e9dad915f52c5723d74aaef9085 +ct = 66eb0172cf26e7e33aa92dce022dbedc19b14918ce13b372d2ce18daac8217cd seed = B4663A7A9883386A2AE4CBD93787E247BF26087E3826D1B8DBEB679E49C0BB286E114F0E9F42F61F63DEC42B4F974846 ss = 584CE3A32ADEF5BF907608C338306B0CB0691CFFF7F47D87 -pk = A1DFDECD58EC08B16178F2F1672E2C135EE8F918F675226FEC9B9F3F5D925855 -sk = C9BF9E1D488F9106D7D121800C02DC347D2497B7D232C6F227D76DC8CDB7C52A -ct = A1B9AC180EB3A357AC6D7586B5181263452978E4F59F6DA5D8668ADDC1C5D1B4 +pk = a1dfdecd58ec08b16178f2f1672e2c135ee8f918f675226fec9b9f3f5d925855 +sk = c9bf9e1d488f9106d7d121800c02dc347d2497b7d232c6f227d76dc8cdb7c52a +ct = a1b9ac180eb3a357ac6d7586b5181263452978e4f59f6da5d8668addc1c5d1b4 seed = 980D0BA7C8F8B23D0E948A6029FF2659810EA1360064663A8994D0333C8543EE5FF5D6D5C9ACF446E61DC464F792B9D3 ss = 307D316FF1C4C76790C6FAC2E82DDFCB3C91524E0930F13D -pk = F5F60C35CA9B1AB1345F2EC4843F6869F2EE8ECDBF4874BC99DD337958DEC8DF -sk = 52CFA24E4EE7FDB3F30EA3E684B58C568EEB06475BC4A6D7FC82A843579897B7 -ct = 0F64C82672BD4210AC04FD1D6F90E86F03E5DB40B3DCEBD4432A1D63F1385E07 +pk = f5f60c35ca9b1ab1345f2ec4843f6869f2ee8ecdbf4874bc99dd337958dec8df +sk = 52cfa24e4ee7fdb3f30ea3e684b58c568eeb06475bc4a6d7fc82a843579897b7 +ct = 0f64c82672bd4210ac04fd1d6f90e86f03e5db40b3dcebd4432a1d63f1385e07 seed = 6C029462CA42ED520F10A579F52687101105E0B90C6E7BFA582A4C112B579D5AD0A0ABD38F72ABCFDCAAF5893A112BDC ss = 56027D10228F322F087C6C5DF9CA66AD9A2F524488EEEE9E -pk = 25BFCC7A8E524F860FDB579E1D00F61DCE85D635BA6173E5D2CCFC827ACBC436 -sk = 354C3867A2666C47BEDB4110F51CEA7B393D930CCD4B0DA8A76B7DD76F68DA3F -ct = C069D1969F263E609FC50FE1020AB33141BAE28FB0F0F98A1576485854C7AB6B +pk = 25bfcc7a8e524f860fdb579e1d00f61dce85d635ba6173e5d2ccfc827acbc436 +sk = 354c3867a2666c47bedb4110f51cea7b393d930ccd4b0da8a76b7dd76f68da3f +ct = c069d1969f263e609fc50fe1020ab33141bae28fb0f0f98a1576485854c7ab6b seed = DB00120937570D62331F4C3F19A10465231EFF46465CDEE336A0D46AA1E7493DF80F18617F9FFD0476CF7784A403EF4F ss = 9F1CA49BBCC42DBF5D848A6F51F4F995AE236B06E4A48A33 -pk = 3E41B31A9F044A52230A36046852ED197D8C4880864371D68EB15B2E5B3AFB91 -sk = FF8881126418DA84AD9FB6D66FE0D0F8497604064B16A43ADB97CF25BE22DB90 -ct = 8CC98079938F2F2831F9D9A88EB7CEB6CBF2C75BF6EA97B33C324C3763715B8A +pk = 3e41b31a9f044a52230a36046852ed197d8c4880864371d68eb15b2e5b3afb91 +sk = ff8881126418da84ad9fb6d66fe0d0f8497604064b16a43adb97cf25be22db90 +ct = 8cc98079938f2f2831f9d9a88eb7ceb6cbf2c75bf6ea97b33c324c3763715b8a seed = BD26C0B9A33E3B9B4C5D7EA32D5BD1FC371015BE163C86F584E49BFD5362C8D8341161CD1308115B2A03B7E5EADDD418 ss = 4C3818BCDF5702E4A4D617ADE2A46C3DBB373DF654490E97 -pk = D98B60889E2A367E0E8E66243E8B2A5BAA296F0EE197FC39F666E3388CD098B7 -sk = 26975111DE5E98A05721D23F97F6E9B9D293708A053D3E04935D6C3B35A00744 -ct = 7054AF573B58F2AB7CC7460C099C29BD99555E5597B1592A399D4330879BF29D +pk = d98b60889e2a367e0e8e66243e8b2a5baa296f0ee197fc39f666e3388cd098b7 +sk = 26975111de5e98a05721d23f97f6e9b9d293708a053d3e04935d6c3b35a00744 +ct = 7054af573b58f2ab7cc7460c099c29bd99555e5597b1592a399d4330879bf29d seed = E2819EF86853BCA1B9DEE7EE1C1619988964F9A913E635AACF0D96CA6E0300D084329DABD8F149E24176D22757404260 ss = 1515D0ED1E556C3961024D25EAC47B7036FDE813E5551BD4 -pk = 4FBF357E84582EBA9FA579D3284F01F07136011E2A57AA9848BAF0DAED0C7F75 -sk = B05EB2DF3D7C5B44C774C9489AD61F786E6971B3F0E750C6807D787F85051401 -ct = 166AAA32BB671FEA3ABADC650D3CB8CDE40499C7080B07AB247CBA76E2B7773E +pk = 4fbf357e84582eba9fa579d3284f01f07136011e2a57aa9848baf0daed0c7f75 +sk = b05eb2df3d7c5b44c774c9489ad61f786e6971b3f0e750c6807d787f85051401 +ct = 166aaa32bb671fea3abadc650d3cb8cde40499c7080b07ab247cba76e2b7773e seed = 669C4EF8A051CE201DA65FC4BC34D398EC1F806276FC5D987AD71D93BC12DC8F107B58BE6E8422A0795C88CB9A0E7488 ss = B1768E131D1A6445A1FFFF405E7705BC0032071939CD044A -pk = 15B00D77297A909FD36E9D8C3143A29E6CBA0E3734126E11140B21BD93C436B4 -sk = 4960F19BE0BE73D0DB9363AEAC0593643873FAC29FE17D16D85397D26005ACBD -ct = A6EAF5F9B2D60ED433B28BFBDF38263AD7BD43B04BE0B226CB8776ACDAF452B5 +pk = 15b00d77297a909fd36e9d8c3143a29e6cba0e3734126e11140b21bd93c436b4 +sk = 4960f19be0be73d0db9363aeac0593643873fac29fe17d16d85397d26005acbd +ct = a6eaf5f9b2d60ed433b28bfbdf38263ad7bd43b04be0b226cb8776acdaf452b5 seed = 9DEBCCFE818F6B5204DB4EA09C03EC9A19DCF1629C1527685B8A29776BB1DAAEC45F8ABF8F0ADC9A8C8BD6E2DF6D8048 ss = 8BF315961CD6F6774BB9E4E2DD2481C0F01C12720141393D -pk = 7156678E1F07DBB23C4FCB4BDCA1AD7A399CB49ED01C1D7DC7A18B74367E82A3 -sk = 1C4AE56498BF6BF257C55E10CDB94A88F23C58C81439985ED920980E8D9F37BE -ct = 09137983B2BEE6BF73E09877EAFD9DF17E7C89A37D0A0AFA06355A3B7AF4D472 +pk = 7156678e1f07dbb23c4fcb4bdca1ad7a399cb49ed01c1d7dc7a18b74367e82a3 +sk = 1c4ae56498bf6bf257c55e10cdb94a88f23c58c81439985ed920980e8d9f37be +ct = 09137983b2bee6bf73e09877eafd9df17e7c89a37d0a0afa06355a3b7af4d472 seed = 8098AE7A92C10F707D405F7DEA02C2EFBEF44EFA132BA8AEFE81BD45E543ECEC74F10920AE48A40B0653D63532517F2A ss = A38C0889E212A6FAB384A887EEA59F3A1A953C7946B453CE -pk = C0722EBFE68FA5F4C372DECBE0F688A3DA0C98A6EB18737A8D7133090A3E641D -sk = 96FA016F787606A274A5433779E403972FEC611E1B54953BD94C0921FE972BA4 -ct = 2ADF5D576D5CA65135F9F61C996AD8188A4297334514B1A716232EFCC84D7DB6 +pk = c0722ebfe68fa5f4c372decbe0f688a3da0c98a6eb18737a8d7133090a3e641d +sk = 96fa016f787606a274a5433779e403972fec611e1b54953bd94c0921fe972ba4 +ct = 2adf5d576d5ca65135f9f61c996ad8188a4297334514b1a716232efcc84d7db6 seed = D5F23808871544E9C1D6EACE2028362B48E225312F77663E9F78CAFEB512B908CD9E25875D61A16EC615F4B8FF826856 ss = A03EC42CE9F9631D9FF07FBA9ED319482D236FA9B07B1FC7 -pk = E1D9FECDE1142DA7FAD591ECA11E3B8906B5F0774FB44039F85A0EDA4C36D5DD -sk = 02023BBF2F9A4DBA74CA4D39F3FE926FD9BEB90F847069B460B02D91924B0416 -ct = 7F2DB4D61E5CB5850D8AE6834D0BCC19DC1035172E43B544F693352233CE60E3 +pk = e1d9fecde1142da7fad591eca11e3b8906b5f0774fb44039f85a0eda4c36d5dd +sk = 02023bbf2f9a4dba74ca4d39f3fe926fd9beb90f847069b460b02d91924b0416 +ct = 7f2db4d61e5cb5850d8ae6834d0bcc19dc1035172e43b544f693352233ce60e3 seed = 822CB47BE2266E182F34546924D753A5E3369011047E6950B00BC392F8FEC19EA87C26D8021D377DF86DC76C24C5F827 ss = BC6FFA023EC6742D334E6B9C2B689F608050C300712F04C8 -pk = A44D371044C07DFC2CF25921B1C5971F467B2FF499288E66FB7881413247CEF1 -sk = D4038907C7E0AE7A8417B6BD2E781213D0D6FF7F6D2803B0B91C02FBF4F93884 -ct = EA31CD0388A9806590806DE09C1C5AD82ED40508D2D53E83017E11E2AF271800 +pk = a44d371044c07dfc2cf25921b1c5971f467b2ff499288e66fb7881413247cef1 +sk = d4038907c7e0ae7a8417b6bd2e781213d0d6ff7f6d2803b0b91c02fbf4f93884 +ct = ea31cd0388a9806590806de09c1c5ad82ed40508d2d53e83017e11e2af271800 seed = 81401DB81138D6874E91B7C11D59596E4ACE543F5A3471B6FB00999221765FEC3CA057ABE20F03B2D59003375FD71FE8 ss = 365F5700A9635204FB31DBE5EF77B5A4F2BB4398F912121A -pk = 3EF988E0CA07B30EF3FE0AB4178B0390C9C936BC7AC59459CEAA79AA5E6494A6 -sk = 140A3E1213CFB1C9F74E8AA60F003F03D720630F0F89BC430DD4E83BC9CA6661 -ct = F4C4B62229BD251AF8EA1E040B89D1CFE4FDF85B3E45034C9461155D2A21C70F +pk = 3ef988e0ca07b30ef3fe0ab4178b0390c9c936bc7ac59459ceaa79aa5e6494a6 +sk = 140a3e1213cfb1c9f74e8aa60f003f03d720630f0f89bc430dd4e83bc9ca6661 +ct = f4c4b62229bd251af8ea1e040b89d1cfe4fdf85b3e45034c9461155d2a21c70f seed = 30B5DE5B73681EC08AAA03F6F2D2169525D25F4042A5E3695A20A52CA54927B85F8BB948FC21DF7DEFC3910B28674994 ss = 2CFE117CCDB9F3B18D8CEE049176F4704AB481DF539D8E1E -pk = 6876AA92C6BA0D919CF54D4291D0B27A532F4E78328C4CF0F8A853A428D5DBA7 -sk = 9A8105F13D1738D9CCEB25B74CE59B48C72D5431FF208EB9B7703F475D9ABFC2 -ct = 15143270EEC70B392C9FCF51BC84FB08EBD3D5AC71B0A8CC39CAC601658D84D1 +pk = 6876aa92c6ba0d919cf54d4291d0b27a532f4e78328c4cf0f8a853a428d5dba7 +sk = 9a8105f13d1738d9cceb25b74ce59b48c72d5431ff208eb9b7703f475d9abfc2 +ct = 15143270eec70b392c9fcf51bc84fb08ebd3d5ac71b0a8cc39cac601658d84d1 seed = E335DF8FC0D890588C3E305AC92C7160FF199E07C85760A828933750E3FED8C83B0DBE802234481ECF890A32D7A2884F ss = 8F58FCBCBD024555559B15E7E9688008A15CF975B897D116 -pk = C3B74AF0FAA8F91182B43353E40F9223CC2F0DFB55D10221567F366C8D1BC7F0 -sk = 6CBC7E30C0D8D73925A56B5947B84AE3F331561F41F9F0D1B8F8530AE771D0E6 -ct = 57FD150C01C52B94BBD11A26858B4E8BFF3B22D0C33CCB55A2E45AF5E7BAE53C +pk = c3b74af0faa8f91182b43353e40f9223cc2f0dfb55d10221567f366c8d1bc7f0 +sk = 6cbc7e30c0d8d73925a56b5947b84ae3f331561f41f9f0d1b8f8530ae771d0e6 +ct = 57fd150c01c52b94bbd11a26858b4e8bff3b22d0c33ccb55a2e45af5e7bae53c seed = FBEA1BC2C379F4F8FDCB0DE260D31CDB064C9EA9B1D6DFBE91B3692ADD1D34DEC9C9FFAE7BF5E72ED2743BA3F9F2E43D ss = 10CF33559803971CDCC3123C2DEB8BEF3BAB294E37064FF8 -pk = 9FE56A48F9F47D3B129B4F031F2DD2146D593C362881A7767D0350E5DDBC89C5 -sk = 2F211EB33D48CDFBA3DDFEE406C5CC20D0CBAA68C4EE6E9ACB3999E2F4D5BCCB -ct = 578E434488B749503268FDA251B9EE8B7446E1A50952389043992940ABC50EC7 +pk = 9fe56a48f9f47d3b129b4f031f2dd2146d593c362881a7767d0350e5ddbc89c5 +sk = 2f211eb33d48cdfba3ddfee406c5cc20d0cbaa68c4ee6e9acb3999e2f4d5bccb +ct = 578e434488b749503268fda251b9ee8b7446e1a50952389043992940abc50ec7 seed = 7E87FB886BC3C7C9FC12569F465D2ECD12532E76CC27C65644C8D3DD603B0CB2D036C5974E675058F271D5C82AD7A813 ss = EE2140E605305A4EC811D9C559B12524F9B0BC8C783FCD8A -pk = B83E77F520A9CB7C905EAD1A1B8366B8160ADFDA940727993B2E022314ACD7C5 -sk = DE0B2EA3E12D7744AB82F5C5A80AC5963166AF3B759033BC85836F28FCCFD590 -ct = 898B4D15FB5040E1E25DEA7DF2E6EFA6FBE3C27BABFA618016F365AC4FEB6FB1 +pk = b83e77f520a9cb7c905ead1a1b8366b8160adfda940727993b2e022314acd7c5 +sk = de0b2ea3e12d7744ab82f5c5a80ac5963166af3b759033bc85836f28fccfd590 +ct = 898b4d15fb5040e1e25dea7df2e6efa6fbe3c27babfa618016f365ac4feb6fb1 [FrodoKEM-976-SHAKE] seed = 061550234D158C5EC95595FE04EF7A25767F2E24CC2BC479D09D86DC9ABCFDE7056A8C266F9EF97ED08541DBD2E1FFA1 ss = 5B6E5A69A3D5F8E75EEA3A6E95595ED0278DA55B8B373142 -pk = B840B456DA2A322437EB3617AFE268907E5333A1D931394E9B2A1CD5100C6E98 -sk = F769D770F29BD47038B0E49F02F3DD9170A066ED86A47FD5D14AA60C5071A021 -ct = 2CE3555822A5873835AB3DE2A434919CB43CB5693E3B7CD04492EBBD4420745C +pk = b840b456da2a322437eb3617afe268907e5333a1d931394e9b2a1cd5100c6e98 +sk = f769d770f29bd47038b0e49f02f3dd9170a066ed86a47fd5d14aa60c5071a021 +ct = 2ce3555822a5873835ab3de2a434919cb43cb5693e3b7cd04492ebbd4420745c seed = D81C4D8D734FCBFBEADE3D3F8A039FAA2A2C9957E835AD55B22E75BF57BB556AC81ADDE6AEEB4A5A875C3BFCADFA958F ss = 42955E28B1A8B344BB274B50F579724F18D343C77254E5C1 -pk = BA0C12695E77648DA93D6279D8436A44A4992EA2987B15C341B8770D34B93621 -sk = D65B144848B3278F1A21C5D68DFA545E23598CE1D8997C27551985F28954B250 -ct = C356C4F1147A089A79C82DAE52794D79DC8DC8B526613901362B96A5DBAC06A2 +pk = ba0c12695e77648da93d6279d8436a44a4992ea2987b15c341b8770d34b93621 +sk = d65b144848b3278f1a21c5d68dfa545e23598ce1d8997c27551985f28954b250 +ct = c356c4f1147a089a79c82dae52794d79dc8dc8b526613901362b96a5dbac06a2 seed = 64335BF29E5DE62842C941766BA129B0643B5E7121CA26CFC190EC7DC3543830557FDD5C03CF123A456D48EFEA43C868 ss = 51C991E2A4A25B9B6CFC14EE318C2C83ACC74121764254F0 -pk = 55D03834AA67CF0B18CFD1588013F56E3B4F24F51229D8EF5E01AD332EF241B1 -sk = 334616CB8B89E83B51FD6B1A1B8A3EFCD0447D07488FB9C1495B631DB078EB7D -ct = 9D08264B9D150CF78FE9CE18B8E1FB692F9BC3288D51330E57702BF753A88945 +pk = 55d03834aa67cf0b18cfd1588013f56e3b4f24f51229d8ef5e01ad332ef241b1 +sk = 334616cb8b89e83b51fd6b1a1b8a3efcd0447d07488fb9c1495b631db078eb7d +ct = 9d08264b9d150cf78fe9ce18b8e1fb692f9bc3288d51330e57702bf753a88945 seed = 225D5CE2CEAC61930A07503FB59F7C2F936A3E075481DA3CA299A80F8C5DF9223A073E7B90E02EBF98CA2227EBA38C1A ss = 2EF8DB6996F182C991FA87B21EF605B4355E064BF748F21D -pk = 1E3A1C5E4A238395ABF701D7C5BCC93679E5ED16A1DDDA365B470AB6B26F369D -sk = E974BDC54FC9080ADC876DF2FD70369CB47F3F069B9E5F54783EA32D962C1E9C -ct = D1267A0B4C20CA88463EB925DB387936A49ABD00DFDCFD87A5C9E4D32989EB27 +pk = 1e3a1c5e4a238395abf701d7c5bcc93679e5ed16a1ddda365b470ab6b26f369d +sk = e974bdc54fc9080adc876df2fd70369cb47f3f069b9e5f54783ea32d962c1e9c +ct = d1267a0b4c20ca88463eb925db387936a49abd00dfdcfd87a5c9e4d32989eb27 seed = EDC76E7C1523E3862552133FEA4D2AB05C69FB54A9354F0846456A2A407E071DF4650EC0E0A5666A52CD09462DBC51F9 ss = 93337A11A870091750504F47C5E86A9A3C950F4A948D9CFC -pk = F76D55498EF2D2EBF5FDE3FD38ED2BAA46AD6E7B9FFC82E64D1DBC4567EF7745 -sk = 8F71BB0E99D1C536F044EF790874A979CBE04AE469B9BC802AF319D2E8395340 -ct = 926E9A10965130DEF1B35A7DD3F624B74A1C3D3A2462F4BAF0F1A6D692478DAF +pk = f76d55498ef2d2ebf5fde3fd38ed2baa46ad6e7b9ffc82e64d1dbc4567ef7745 +sk = 8f71bb0e99d1c536f044ef790874a979cbe04ae469b9bc802af319d2e8395340 +ct = 926e9a10965130def1b35a7dd3f624b74a1c3d3a2462f4baf0f1a6d692478daf seed = AA93649193C2C5985ACF8F9E6AC50C36AE16A2526D7C684F7A3BB4ABCD7B6FF790E82BADCE89BC7380D66251F97AAAAA ss = 65E85A8A4898135EA87D209C5CD8573EEB8D5899E2E94D4F -pk = 69143FEB4EF8A336AAEBA56C16E9931001E1E2236116A005D6D5BD8E149376AD -sk = 822ED4D96F3990230C9B0CBCDB09EDC777222E17745D1AFD00C7E442F4E59BF2 -ct = F4E85A0E9D2CB286B09D4BEC98E2F3158021378E366BFC6EAB9BE50176F7FC3C +pk = 69143feb4ef8a336aaeba56c16e9931001e1e2236116a005d6d5bd8e149376ad +sk = 822ed4d96f3990230c9b0cbcdb09edc777222e17745d1afd00c7e442f4e59bf2 +ct = f4e85a0e9d2cb286b09d4bec98e2f3158021378e366bfc6eab9be50176f7fc3c seed = 2E014DC7C2696B9F6D4AF555CBA4B931B34863FF60E2341D4FDFE472FEF2FE2C33E0813FC5CAFDE4E30277FE522A9049 ss = 4965F3F0402F975E9F11A716C932BA359D19118568904E41 -pk = A0CA5322277B095675FACE539747E7154B09AA1771208FAC9962E708C91CC9C1 -sk = 4786FEC42AF2810E8E8245F67E21E3559A8BC834C2EFD60023FCDD6FA3BE28EC -ct = F5F68DB1CD96B3D19DC2E1206CF676924E60445DAE9690EC1CBE87C9D9032737 +pk = a0ca5322277b095675face539747e7154b09aa1771208fac9962e708c91cc9c1 +sk = 4786fec42af2810e8e8245f67e21e3559a8bc834c2efd60023fcdd6fa3be28ec +ct = f5f68db1cd96b3d19dc2e1206cf676924e60445dae9690ec1cbe87c9d9032737 seed = AEFB28FDD34E0AB403A703B535296E3A545CA479C1D8148E2D501B3C8DD8B1034BD986F13F1A7B4671BE769359FD2AAB ss = 00B0A20E60A16AF2B86683479133847DA0B7D4D9EA9ADB00 -pk = 32FBE4557DF44DD3B94F3FEB514EB48D9B204FAA23D636DCF791120FFA2B47BB -sk = 2AF0D662BD82B3B3E1519DA792BD3B0C1BA713D4428C8609FBEF81A2AF4FEE70 -ct = 1C98F5D00C66D2D355C007E51885F28DD65D89D494F802F0149504CE561CB932 +pk = 32fbe4557df44dd3b94f3feb514eb48d9b204faa23d636dcf791120ffa2b47bb +sk = 2af0d662bd82b3b3e1519da792bd3b0c1ba713d4428c8609fbef81a2af4fee70 +ct = 1c98f5d00c66d2d355c007e51885f28dd65d89d494f802f0149504ce561cb932 seed = CBE5161E8DE02DDA7DE204AEB0FBB4CA81344BA8C30FE357A4664E5D2988A03B64184D7DC69F8D367550E5FEA0876D41 ss = CE8E76B068DE5C3737FDEC377B30191C8DF3701ECFD941C1 -pk = 2727314ADCB638B9FEB3F9F754E477AEFD84FCC9C4F3840CB61C7E746C80F69D -sk = 9A9ADF7F3E462774299698E1D6EC4C352F2540AECF765CB0170583A992AA87D4 -ct = 45399C54640FB7D9E312BD00DD293AB3448F899B3AE27F1404C2E985A21543BA +pk = 2727314adcb638b9feb3f9f754e477aefd84fcc9c4f3840cb61c7e746c80f69d +sk = 9a9adf7f3e462774299698e1d6ec4c352f2540aecf765cb0170583a992aa87d4 +ct = 45399c54640fb7d9e312bd00dd293ab3448f899b3ae27f1404c2e985a21543ba seed = B4663A7A9883386A2AE4CBD93787E247BF26087E3826D1B8DBEB679E49C0BB286E114F0E9F42F61F63DEC42B4F974846 ss = 7CD1B98A4D9476E71568DFEA1594B887C6319807EC0A0C27 -pk = 585C1DBBBD5EAB0B14E7F0E7923443A8C7F31077B1B6429431AB3A86271604A7 -sk = 21A282062C4D739EA16DC39B1256CDAF8FF1BBC95413BD3B32261FB189AAD11D -ct = CD74F8B6812964C3FB7527229977F10BEC891473DE8615E600E5867F1BDF2CAB +pk = 585c1dbbbd5eab0b14e7f0e7923443a8c7f31077b1b6429431ab3a86271604a7 +sk = 21a282062c4d739ea16dc39b1256cdaf8ff1bbc95413bd3b32261fb189aad11d +ct = cd74f8b6812964c3fb7527229977f10bec891473de8615e600e5867f1bdf2cab seed = 980D0BA7C8F8B23D0E948A6029FF2659810EA1360064663A8994D0333C8543EE5FF5D6D5C9ACF446E61DC464F792B9D3 ss = DA50B703B4F16568714A49D86C6C54F9DF56377129DBB54D -pk = 1AB6DC2C4DE195A08C66182F38B94BEC29104BF2E4C43BCAB5F111CDC6A92A61 -sk = 99F6AE8A1188D2A03B98C886C36DCCE5B18E76056E3AF5051F9FA156D0CF5767 -ct = E7AB31A77DFB817906D7965C1E7FC6FEF0173D98983719E7E9C7723D9E6E6CE0 +pk = 1ab6dc2c4de195a08c66182f38b94bec29104bf2e4c43bcab5f111cdc6a92a61 +sk = 99f6ae8a1188d2a03b98c886c36dcce5b18e76056e3af5051f9fa156d0cf5767 +ct = e7ab31a77dfb817906d7965c1e7fc6fef0173d98983719e7e9c7723d9e6e6ce0 seed = 6C029462CA42ED520F10A579F52687101105E0B90C6E7BFA582A4C112B579D5AD0A0ABD38F72ABCFDCAAF5893A112BDC ss = 9C6EB6F271C88CBB4BE0B0CD6CC024F14FDE346636A29827 -pk = E663D429B9FEBEEC5F9EC79124EF30266CD23D7E8FBD9CA41256B7B6A360115F -sk = E92F7CE0880E461497B54EE045FFBA7A7812DF01D33A02537B5B548FC69B6A8C -ct = FB2F6916B8163C2CCDC821BA696F5FF988279A7761F8501229D3EB705ACBD332 +pk = e663d429b9febeec5f9ec79124ef30266cd23d7e8fbd9ca41256b7b6a360115f +sk = e92f7ce0880e461497b54ee045ffba7a7812df01d33a02537b5b548fc69b6a8c +ct = fb2f6916b8163c2ccdc821ba696f5ff988279a7761f8501229d3eb705acbd332 seed = DB00120937570D62331F4C3F19A10465231EFF46465CDEE336A0D46AA1E7493DF80F18617F9FFD0476CF7784A403EF4F ss = 3EA709B25F07DE29240A7BE78D6F2508E14C43E2D9E50638 -pk = 376EB433770D2B6C112A8E4FD5E1D828BBD2081BF6297C00A4B2AF6BF12FBD72 -sk = 9670BAD5F3635923D6E28EA1D74EB5243AC1C08F9E7175C68431231079817180 -ct = 135438A4379A4BA5C9760B1F157DB3703E036E54ECD8B641D746795C3376E71A +pk = 376eb433770d2b6c112a8e4fd5e1d828bbd2081bf6297c00a4b2af6bf12fbd72 +sk = 9670bad5f3635923d6e28ea1d74eb5243ac1c08f9e7175c68431231079817180 +ct = 135438a4379a4ba5c9760b1f157db3703e036e54ecd8b641d746795c3376e71a seed = BD26C0B9A33E3B9B4C5D7EA32D5BD1FC371015BE163C86F584E49BFD5362C8D8341161CD1308115B2A03B7E5EADDD418 ss = EF0DD5F7F2677A56C892C8D2A751D6CC6ED798454347DB25 -pk = CD5BFBDFC47C0072EEDF74E6DD638649BD4B29C34B7C8318AC7B7F800C68422B -sk = B0C68640EC15B9A0F44D2223AE3E107A8A6F6184A19F2B2DD4E02D8D6B7493E5 -ct = E18C2235A8AA91461B48B8C676A750BFC31334C731F6E7946094001476DDF155 +pk = cd5bfbdfc47c0072eedf74e6dd638649bd4b29c34b7c8318ac7b7f800c68422b +sk = b0c68640ec15b9a0f44d2223ae3e107a8a6f6184a19f2b2dd4e02d8d6b7493e5 +ct = e18c2235a8aa91461b48b8c676a750bfc31334c731f6e7946094001476ddf155 seed = E2819EF86853BCA1B9DEE7EE1C1619988964F9A913E635AACF0D96CA6E0300D084329DABD8F149E24176D22757404260 ss = FCE15A661C044BC3F39A190CF4A296611A262286B4AFE78E -pk = 745F60A95319B9131456DFD0DA3FFC58ADD3E16ACCF023665F61286C6A1ACFD5 -sk = 5B14ACAC1295A9CCC50777A91B68B0BD074F394D587E2FEE46353EC9BDEAEBFA -ct = 321E2E8B318825610108B4F9CC4C95172C30D5DF57F7625758B6D56B99E7B13C +pk = 745f60a95319b9131456dfd0da3ffc58add3e16accf023665f61286c6a1acfd5 +sk = 5b14acac1295a9ccc50777a91b68b0bd074f394d587e2fee46353ec9bdeaebfa +ct = 321e2e8b318825610108b4f9cc4c95172c30d5df57f7625758b6d56b99e7b13c seed = 669C4EF8A051CE201DA65FC4BC34D398EC1F806276FC5D987AD71D93BC12DC8F107B58BE6E8422A0795C88CB9A0E7488 ss = 6FB2A1357F6C92CAD3E034169FFDCA0CEC69F5155789E3D3 -pk = 12F95630F3A9956A1099928D04D31131656D1F4FC0FDC38E35F8062B9BDB73D9 -sk = B8031778E64AAFC8C941DA9B1277C5635395B65BAF1E964B6DF2DEA2FEA1E824 -ct = 8E0DE3393D7822C84FD9C3AE69344AA55AC6552D5BCD6950A445DA2CD798A144 +pk = 12f95630f3a9956a1099928d04d31131656d1f4fc0fdc38e35f8062b9bdb73d9 +sk = b8031778e64aafc8c941da9b1277c5635395b65baf1e964b6df2dea2fea1e824 +ct = 8e0de3393d7822c84fd9c3ae69344aa55ac6552d5bcd6950a445da2cd798a144 seed = 9DEBCCFE818F6B5204DB4EA09C03EC9A19DCF1629C1527685B8A29776BB1DAAEC45F8ABF8F0ADC9A8C8BD6E2DF6D8048 ss = 7EDABFB5E0041715569F9593B70BE0FCA8A1B31BED422221 -pk = 0618FCE8DA3ACD44C7EB112C28D9BAA13C0E23468E3F88C59E27CB53116296A4 -sk = 37A9DB6E5BB75D302882FFDB943927080B3FB7EEC0A3DB39A43F426C073874B8 -ct = 16ECB4059B22FC23DDE5A2B212ABEA7EB9FED1CEA5EA11EA821A3F80BE1920BB +pk = 0618fce8da3acd44c7eb112c28d9baa13c0e23468e3f88c59e27cb53116296a4 +sk = 37a9db6e5bb75d302882ffdb943927080b3fb7eec0a3db39a43f426c073874b8 +ct = 16ecb4059b22fc23dde5a2b212abea7eb9fed1cea5ea11ea821a3f80be1920bb seed = 8098AE7A92C10F707D405F7DEA02C2EFBEF44EFA132BA8AEFE81BD45E543ECEC74F10920AE48A40B0653D63532517F2A ss = F772BE6D7CD80CAC48DB97615AC7E20D3E826A4B08E1F1CE -pk = D250BAC652526004315C9EFF340CB6EB145979F2399A3B1C7A74509F8F2E184E -sk = 2FB182DEF85802D20AC870C79271CF23AD54B844A7BFED58156F0767728D4BA6 -ct = 3A6D76A349628C97BB72E6BD3674D361E9C95F3E8BA8D5483FFE82CCF7E0EC8D +pk = d250bac652526004315c9eff340cb6eb145979f2399a3b1c7a74509f8f2e184e +sk = 2fb182def85802d20ac870c79271cf23ad54b844a7bfed58156f0767728d4ba6 +ct = 3a6d76a349628c97bb72e6bd3674d361e9c95f3e8ba8d5483ffe82ccf7e0ec8d seed = D5F23808871544E9C1D6EACE2028362B48E225312F77663E9F78CAFEB512B908CD9E25875D61A16EC615F4B8FF826856 ss = D5672EBD43F1DF8C7F0A2A00BDFDAAB77BC7FEC928650AD8 -pk = 100467101B395E7B0E16F2DE97D0FDB86670C0C2CE019F25C9181DCBF79C70E7 -sk = C1773FE9E06A0BF47EE3F005F5FDDC0B6C32CCE24027D795D7710A74DFE7D0D5 -ct = 62FD9EAAB0CB9363441D0A36282F600F5CDEC7F6EEDE2C51A27B8D5E08455410 +pk = 100467101b395e7b0e16f2de97d0fdb86670c0c2ce019f25c9181dcbf79c70e7 +sk = c1773fe9e06a0bf47ee3f005f5fddc0b6c32cce24027d795d7710a74dfe7d0d5 +ct = 62fd9eaab0cb9363441d0a36282f600f5cdec7f6eede2c51a27b8d5e08455410 seed = 822CB47BE2266E182F34546924D753A5E3369011047E6950B00BC392F8FEC19EA87C26D8021D377DF86DC76C24C5F827 ss = C56EBEF08C60309A60C83F537A4E4BFB13798B84C0F4AF88 -pk = 128DD36A2AEFF6BD7B21DE3EB78C93245C03C0A0D49EFCBB184BCC6021DE6B00 -sk = DBA0718A8C6B968E11EA05EABEABC768BE70A5C3845AC3431962FCB4E10040E0 -ct = 066A3F0D9A63042DB2A63CBE35FECD20D163D4AC39AFAE2D882689EC796DF3D6 +pk = 128dd36a2aeff6bd7b21de3eb78c93245c03c0a0d49efcbb184bcc6021de6b00 +sk = dba0718a8c6b968e11ea05eabeabc768be70a5c3845ac3431962fcb4e10040e0 +ct = 066a3f0d9a63042db2a63cbe35fecd20d163d4ac39afae2d882689ec796df3d6 seed = 81401DB81138D6874E91B7C11D59596E4ACE543F5A3471B6FB00999221765FEC3CA057ABE20F03B2D59003375FD71FE8 ss = A993B1F760D53E316129332ECC3385E6992D2D551D4966CE -pk = 2BC18A060859A54873F0CF8EC4BBFC8FD946213A64A15D9DC33F919A9A32F7B3 -sk = 67646DB8EB34E9123F4135158DF4324092482E20ECAAE702302A6D1DBF119562 -ct = 56AF866F84DDBA0647F724F3CA1ADCC833E3D1883EECC4504DC0727B4622292E +pk = 2bc18a060859a54873f0cf8ec4bbfc8fd946213a64a15d9dc33f919a9a32f7b3 +sk = 67646db8eb34e9123f4135158df4324092482e20ecaae702302a6d1dbf119562 +ct = 56af866f84ddba0647f724f3ca1adcc833e3d1883eecc4504dc0727b4622292e seed = 30B5DE5B73681EC08AAA03F6F2D2169525D25F4042A5E3695A20A52CA54927B85F8BB948FC21DF7DEFC3910B28674994 ss = 46916114A823EFE32E523F576B6EBD5A15C430E8F88028BF -pk = 4DAB1D8D2F09245DCF4577498C1821A4F39026764A18925F18B391333CB3D7CD -sk = C6B84E68A40F25925EEABDAC175819320368FCA66C12B89468A470F0C1EFE432 -ct = 4C8D6D4ED2AF7F083FB4FC4B0214377077E0F02EDBB2DE39CA14064A7DAE89C8 +pk = 4dab1d8d2f09245dcf4577498c1821a4f39026764a18925f18b391333cb3d7cd +sk = c6b84e68a40f25925eeabdac175819320368fca66c12b89468a470f0c1efe432 +ct = 4c8d6d4ed2af7f083fb4fc4b0214377077e0f02edbb2de39ca14064a7dae89c8 seed = E335DF8FC0D890588C3E305AC92C7160FF199E07C85760A828933750E3FED8C83B0DBE802234481ECF890A32D7A2884F ss = B39FB7BDA422FCA8F27AFB958C29150856562FB98A43A2CB -pk = 53CCC4FEFAD5B17BC1BA36C44FE73AF747371FCC177B60A71122F2C19E72CF55 -sk = 52F7D207C02D10AA373E06C8F831E6B35724981ED7D8F30F25E1F8D65119B677 -ct = 85742108ADEA15B124BB181F708B9D1C1472D38DAE73A3DE52E6B6456B412D6D +pk = 53ccc4fefad5b17bc1ba36c44fe73af747371fcc177b60a71122f2c19e72cf55 +sk = 52f7d207c02d10aa373e06c8f831e6b35724981ed7d8f30f25e1f8d65119b677 +ct = 85742108adea15b124bb181f708b9d1c1472d38dae73a3de52e6b6456b412d6d seed = FBEA1BC2C379F4F8FDCB0DE260D31CDB064C9EA9B1D6DFBE91B3692ADD1D34DEC9C9FFAE7BF5E72ED2743BA3F9F2E43D ss = 5439C231FF1ACF601819928D3979DE94E40004E2A9B9F8E0 -pk = 497DB435DE4CFA0ABF9C38E1A083A8AF8D1A50FC349AB3E13F5EC5EC47708F19 -sk = 4AC1330A1626124368BB0F94C42B6273C7A9AF55B0AA78CA43990061E5F565BD -ct = 5D16E1016F5E82E912BA017E3BE9B7EB9A13538ADD7CF5668B466E2E4A7EA4D2 +pk = 497db435de4cfa0abf9c38e1a083a8af8d1a50fc349ab3e13f5ec5ec47708f19 +sk = 4ac1330a1626124368bb0f94c42b6273c7a9af55b0aa78ca43990061e5f565bd +ct = 5d16e1016f5e82e912ba017e3be9b7eb9a13538add7cf5668b466e2e4a7ea4d2 seed = 7E87FB886BC3C7C9FC12569F465D2ECD12532E76CC27C65644C8D3DD603B0CB2D036C5974E675058F271D5C82AD7A813 ss = 141DC63C78EC271B066A3B83236AC44B0E5B129B8CC89C91 -pk = 85FA5248CCA7F46C046E990F6CD09D759440DF65D228D9ECF00CF29B2EC97F21 -sk = 7EF8A3253A647A921AE292B660A21F3FB71733415F3BFBF605C4E8CDC77FC8CA -ct = 15507D98CC605F6A8D2538089163B1234CC8A02D5A746F3221773D212B0FF14A +pk = 85fa5248cca7f46c046e990f6cd09d759440df65d228d9ecf00cf29b2ec97f21 +sk = 7ef8a3253a647a921ae292b660a21f3fb71733415f3bfbf605c4e8cdc77fc8ca +ct = 15507d98cc605f6a8d2538089163b1234cc8a02d5a746f3221773d212b0ff14a [FrodoKEM-1344-AES] seed = 061550234D158C5EC95595FE04EF7A25767F2E24CC2BC479D09D86DC9ABCFDE7056A8C266F9EF97ED08541DBD2E1FFA1 ss = 376955161273FC667F3FEAE5EC98681820DBD759971BB0A2D2BEC4510F557E83 -pk = 2D55548AF3B197C3271E2E145C82BCD17DA4D442DB086F93508F08F947F6E452 -sk = EEE9D3A74F749857748DF47DC3CD0ACC489D88CF1511CF90EEDF7F8FF23066CF -ct = 24A24508A53517CA5C873D399903CC95251465CAE6A3F0CD1726355D45E05084 +pk = 2d55548af3b197c3271e2e145c82bcd17da4d442db086f93508f08f947f6e452 +sk = eee9d3a74f749857748df47dc3cd0acc489d88cf1511cf90eedf7f8ff23066cf +ct = 24a24508a53517ca5c873d399903cc95251465cae6a3f0cd1726355d45e05084 seed = D81C4D8D734FCBFBEADE3D3F8A039FAA2A2C9957E835AD55B22E75BF57BB556AC81ADDE6AEEB4A5A875C3BFCADFA958F ss = 0CF8924412EDED85A8BCE13953517164AB02C975D38A38FEA4A13B504FF49BA1 -pk = 92CFB3D462F0399CFF56B43C1EF21979B4C545F18830C9309A56A37E3A82AC51 -sk = DA1BFAB3E82DDC93F46F0030736B0BB02CCBEA0FA070127C3E4C0DEC974C6EAA -ct = BE046ABA17668608CCE622C0D99441185BC8605E5EC0A9F177FB6EB463985903 +pk = 92cfb3d462f0399cff56b43c1ef21979b4c545f18830c9309a56a37e3a82ac51 +sk = da1bfab3e82ddc93f46f0030736b0bb02ccbea0fa070127c3e4c0dec974c6eaa +ct = be046aba17668608cce622c0d99441185bc8605e5ec0a9f177fb6eb463985903 seed = 64335BF29E5DE62842C941766BA129B0643B5E7121CA26CFC190EC7DC3543830557FDD5C03CF123A456D48EFEA43C868 ss = 38A009A0CE0BB5AC7F22C2EA38B2DEE485FFC3AEC6E030249565EB2CD5E601D6 -pk = AA1C219BA4CC1F7EF5276AA1D2769350409B3A6EBB16E6E2183861E51C0B3D69 -sk = 68B0BF0E4CF1883533AB13F127B55EF96A073909DFE0AABD88C64530A69C88D3 -ct = 8D2AF3328FB9F4B4D76E2EFD8B3E83F302798D8C37C0CA3BF2180DAD6AFB095E +pk = aa1c219ba4cc1f7ef5276aa1d2769350409b3a6ebb16e6e2183861e51c0b3d69 +sk = 68b0bf0e4cf1883533ab13f127b55ef96a073909dfe0aabd88c64530a69c88d3 +ct = 8d2af3328fb9f4b4d76e2efd8b3e83f302798d8c37c0ca3bf2180dad6afb095e seed = 225D5CE2CEAC61930A07503FB59F7C2F936A3E075481DA3CA299A80F8C5DF9223A073E7B90E02EBF98CA2227EBA38C1A ss = 5132B5D557642CF8CAE37452422657046FD9CB9F76CD19716FC4020B977BAB74 -pk = 8790CD7B8302331F9BC4FA74B72FACA2873FCC5C420E66112CFFC14F9D2C14D4 -sk = 77A5093FE7EA0A3057DA1FEC1F89C38C0B35B3CFB24392DADAD9902BEE0EA8E3 -ct = 2482CABE1953173C5D574189049450543B431053AF51475F0C0B20B283B73F7C +pk = 8790cd7b8302331f9bc4fa74b72faca2873fcc5c420e66112cffc14f9d2c14d4 +sk = 77a5093fe7ea0a3057da1fec1f89c38c0b35b3cfb24392dadad9902bee0ea8e3 +ct = 2482cabe1953173c5d574189049450543b431053af51475f0c0b20b283b73f7c seed = EDC76E7C1523E3862552133FEA4D2AB05C69FB54A9354F0846456A2A407E071DF4650EC0E0A5666A52CD09462DBC51F9 ss = 706E6B819FAB44CF99BBF14132181D20EDA94521D8858A7AE6E5246CEA2EAC25 -pk = 0973B4ABB2CDEBA7A056FE31C3A0E6876E8F1B0D88EDCCBE1044F80F41C9CC84 -sk = B044E940D0465055BEDF350C5BB6EF5BC0CFC8BE7E90626C0FF1372E0ECA4367 -ct = FB3EDBCDDEC25AE990C932923D5037EE2586D9CF5E93C9C0DFF2D843BA7562CF +pk = 0973b4abb2cdeba7a056fe31c3a0e6876e8f1b0d88edccbe1044f80f41c9cc84 +sk = b044e940d0465055bedf350c5bb6ef5bc0cfc8be7e90626c0ff1372e0eca4367 +ct = fb3edbcddec25ae990c932923d5037ee2586d9cf5e93c9c0dff2d843ba7562cf seed = AA93649193C2C5985ACF8F9E6AC50C36AE16A2526D7C684F7A3BB4ABCD7B6FF790E82BADCE89BC7380D66251F97AAAAA ss = 8BEEC9306C70982AA2B582E9FD96034503FD85ADC805EC3B237295AE71D70442 -pk = 8F0EE974E8C1E343DCF35CB8359633644EF7936D444121F17A02A014BA7B5F43 -sk = 3D286F888C94BBB50BADC773FF363E67A3FBBDF22614A405A29C61DC916A8F08 -ct = 4349902A4EEC1152E27AFCCBEC3FB5C23935EF126861FF03841576F5947D61D1 +pk = 8f0ee974e8c1e343dcf35cb8359633644ef7936d444121f17a02a014ba7b5f43 +sk = 3d286f888c94bbb50badc773ff363e67a3fbbdf22614a405a29c61dc916a8f08 +ct = 4349902a4eec1152e27afccbec3fb5c23935ef126861ff03841576f5947d61d1 seed = 2E014DC7C2696B9F6D4AF555CBA4B931B34863FF60E2341D4FDFE472FEF2FE2C33E0813FC5CAFDE4E30277FE522A9049 ss = F1B772B9C31F9B7FF9CD65A51F27A0904F24D60E60A4A9BE28C585FA64FC3DCF -pk = 494206553684CC3905EA34E8FA27D14A5D3F41B3E1F096D94B69CE3B7428711F -sk = 00A17AA0D48E81ED35F453E2D79397E97A9F9D92CF36F1B50C460F7856AF7E50 -ct = 799DD9A627EC9F6AE7D05FFC554D439702EF5381A8AFC875FECE6A73E3FCEDD8 +pk = 494206553684cc3905ea34e8fa27d14a5d3f41b3e1f096d94b69ce3b7428711f +sk = 00a17aa0d48e81ed35f453e2d79397e97a9f9d92cf36f1b50c460f7856af7e50 +ct = 799dd9a627ec9f6ae7d05ffc554d439702ef5381a8afc875fece6a73e3fcedd8 seed = AEFB28FDD34E0AB403A703B535296E3A545CA479C1D8148E2D501B3C8DD8B1034BD986F13F1A7B4671BE769359FD2AAB ss = 6B2DCCF814078B9155A6E0A91346CEF857C85FC3CD5D46CD46E88C309EECDB99 -pk = EA913A68D35886952DC12ACF11C99E80BEC74B60B63371C89E79D7EE18077A3A -sk = 79DBA096E25497C0FB577C168ED3E3192732E9F046D8CE744580242493477322 -ct = EE80BD77AE59B51AB762F98D8B171708EB834F5F1505E19611E6D016043959B4 +pk = ea913a68d35886952dc12acf11c99e80bec74b60b63371c89e79d7ee18077a3a +sk = 79dba096e25497c0fb577c168ed3e3192732e9f046d8ce744580242493477322 +ct = ee80bd77ae59b51ab762f98d8b171708eb834f5f1505e19611e6d016043959b4 seed = CBE5161E8DE02DDA7DE204AEB0FBB4CA81344BA8C30FE357A4664E5D2988A03B64184D7DC69F8D367550E5FEA0876D41 ss = 448D33F6750E3074586890555F53A67F6423540E7167355C3388B663D31935E5 -pk = 007C374A9349B97EE625FC1DCE60C32D471B11ACA2175ECBB0AE77DC9079A689 -sk = 0BB6C6B90F4A9957DA1662B057EB2800D1E7ADDCA3A72188380682851967F637 -ct = 2BAD075C1198E4A0764F91F6438624B981B4AC117C534DFF6A1EF2D7386C9E65 +pk = 007c374a9349b97ee625fc1dce60c32d471b11aca2175ecbb0ae77dc9079a689 +sk = 0bb6c6b90f4a9957da1662b057eb2800d1e7addca3a72188380682851967f637 +ct = 2bad075c1198e4a0764f91f6438624b981b4ac117c534dff6a1ef2d7386c9e65 seed = B4663A7A9883386A2AE4CBD93787E247BF26087E3826D1B8DBEB679E49C0BB286E114F0E9F42F61F63DEC42B4F974846 ss = 552AA0B119B63AF474BC2D1802B4DFA85C9B73FCC9C541F76C6E0AF892A669E9 -pk = 96990BE17D45B19C2B07838F525A586F45EE969EEFF00856B64AA175D9E2053C -sk = E3A97B8CC88590EF2F25FE34BD2346ED65B3C4FE4B7AC612BE1FDC6EEE5B9CCF -ct = 305079EDA60C500E5EECB1F70BABB93D406E1249D85C54684D4A38D4D5CFE8F5 +pk = 96990be17d45b19c2b07838f525a586f45ee969eeff00856b64aa175d9e2053c +sk = e3a97b8cc88590ef2f25fe34bd2346ed65b3c4fe4b7ac612be1fdc6eee5b9ccf +ct = 305079eda60c500e5eecb1f70babb93d406e1249d85c54684d4a38d4d5cfe8f5 seed = 980D0BA7C8F8B23D0E948A6029FF2659810EA1360064663A8994D0333C8543EE5FF5D6D5C9ACF446E61DC464F792B9D3 ss = CE916A65E2495CDE57BEE87C26934A4A8DE8E030801C1740C36B2AAB326B7214 -pk = 81BF39818F294B62BFF4A599DE8FAE7C580E1DEE15408220F6B8541B3FD66AE4 -sk = DAB16737653512B12A9E76322ECA301B26571C0FF341E0BB0EB114672BF3B3B5 -ct = 6AF652C4363026BAC2ABEC4EE6988BE9033AC274132CAB1B04947E09E52FDF77 +pk = 81bf39818f294b62bff4a599de8fae7c580e1dee15408220f6b8541b3fd66ae4 +sk = dab16737653512b12a9e76322eca301b26571c0ff341e0bb0eb114672bf3b3b5 +ct = 6af652c4363026bac2abec4ee6988be9033ac274132cab1b04947e09e52fdf77 seed = 6C029462CA42ED520F10A579F52687101105E0B90C6E7BFA582A4C112B579D5AD0A0ABD38F72ABCFDCAAF5893A112BDC ss = B1B07A7410BDE4AF44863BEE8B431301C6DE2A23111F1D53380873341C1DBEEF -pk = F8A4EB6B8AE38CE9D04D18CE143860D645396126401F5CE47D76E9F08616BC30 -sk = D75CFBE7338D0916C6E7E9B07E09C28A01C74204D107CDA13F7A08F992152476 -ct = A7F402A06C7CD5D1A9C08053408EC8DC2E5FB1F8C4E20B0B796BFF4F4AA112AA +pk = f8a4eb6b8ae38ce9d04d18ce143860d645396126401f5ce47d76e9f08616bc30 +sk = d75cfbe7338d0916c6e7e9b07e09c28a01c74204d107cda13f7a08f992152476 +ct = a7f402a06c7cd5d1a9c08053408ec8dc2e5fb1f8c4e20b0b796bff4f4aa112aa seed = DB00120937570D62331F4C3F19A10465231EFF46465CDEE336A0D46AA1E7493DF80F18617F9FFD0476CF7784A403EF4F ss = 67786EFDC538AD78A21C4C25CE6E21B17EBF46BF8DB70C9EB896CBE3B76B3254 -pk = 50C8C7087D4F8D7F012B5B05AFDE07CA0A9440ACADED98E215C8843C5E9E318F -sk = 26654C4D7BB5D1C93748F76A8C789C96187AF9EC4C15D3C22C76782616EC1B6B -ct = 8E5E4834A0E6B066F3AFE973B97EEA640024A4C4A763B467AA6872F063A7124C +pk = 50c8c7087d4f8d7f012b5b05afde07ca0a9440acaded98e215c8843c5e9e318f +sk = 26654c4d7bb5d1c93748f76a8c789c96187af9ec4c15d3c22c76782616ec1b6b +ct = 8e5e4834a0e6b066f3afe973b97eea640024a4c4a763b467aa6872f063a7124c seed = BD26C0B9A33E3B9B4C5D7EA32D5BD1FC371015BE163C86F584E49BFD5362C8D8341161CD1308115B2A03B7E5EADDD418 ss = 30E5C225451F71C62D6D76715C5712C7DD13E8E9780D80FD5325AC052000E14B -pk = E86193C97631C95214CBBAA5294ECE2E8C4C34F42BD4E23EB57E969852682123 -sk = D7B8F14104686306169AA7BB74517077F9BE8FCA55B18FB2816EF7801F001FFE -ct = A7006D30EFFA065771099367E3774415FE42D501074E1542869F019783C65899 +pk = e86193c97631c95214cbbaa5294ece2e8c4c34f42bd4e23eb57e969852682123 +sk = d7b8f14104686306169aa7bb74517077f9be8fca55b18fb2816ef7801f001ffe +ct = a7006d30effa065771099367e3774415fe42d501074e1542869f019783c65899 seed = E2819EF86853BCA1B9DEE7EE1C1619988964F9A913E635AACF0D96CA6E0300D084329DABD8F149E24176D22757404260 ss = 1F85A7E3C8D59BE37953B2AE9ED8E3C35210D4705FB26E72A4AAB9A76CB413E3 -pk = 385468840E9AD658FF6CBE845670452855C90E09CDEAC68996CF96BEA043BA03 -sk = 85B9390FED7A06B728AD3207E47E0C0E9F8D64679BEDF6F738A9E70872CA08C9 -ct = 8318F31E215EF836E152FB6CFD52108756FF06A7BA9D34848FACFD1C411F6BB7 +pk = 385468840e9ad658ff6cbe845670452855c90e09cdeac68996cf96bea043ba03 +sk = 85b9390fed7a06b728ad3207e47e0c0e9f8d64679bedf6f738a9e70872ca08c9 +ct = 8318f31e215ef836e152fb6cfd52108756ff06a7ba9d34848facfd1c411f6bb7 seed = 669C4EF8A051CE201DA65FC4BC34D398EC1F806276FC5D987AD71D93BC12DC8F107B58BE6E8422A0795C88CB9A0E7488 ss = 9FEC12039B0874680EC7A41EE40A0954903B03A8361AE9933773B9077EFE5163 -pk = 2C655568BA58149B6B700705CE8CC08778F359A7719BDDCF9009F2E21B9C2E3D -sk = 9D7D2BD008A3BA16570DD2F3C84220BA22B2D27FBA489CFB8B8EE086F46D8AEC -ct = 23AFE5A63B9097E67758AC0DC601ECB60E37F2BEC73BFC09A51D24F9DD433BBB +pk = 2c655568ba58149b6b700705ce8cc08778f359a7719bddcf9009f2e21b9c2e3d +sk = 9d7d2bd008a3ba16570dd2f3c84220ba22b2d27fba489cfb8b8ee086f46d8aec +ct = 23afe5a63b9097e67758ac0dc601ecb60e37f2bec73bfc09a51d24f9dd433bbb seed = 9DEBCCFE818F6B5204DB4EA09C03EC9A19DCF1629C1527685B8A29776BB1DAAEC45F8ABF8F0ADC9A8C8BD6E2DF6D8048 ss = F58B8DD866667BA0080B6723613B356FC4A8B7B77CE3960374AAFB9BE647F7B7 -pk = C8D55624DF7685476D9521A5D9FCBCEA8784891AC0BF68463824524CA9D8C567 -sk = CC94E08238A73AAD2229BEBEAEC8C67F999370E8E55BEB373821F7395C399AFC -ct = C185C9D9C357C91B1292ECAEB2760DA7D9798C9E6419B689AA2596B86682F5EC +pk = c8d55624df7685476d9521a5d9fcbcea8784891ac0bf68463824524ca9d8c567 +sk = cc94e08238a73aad2229bebeaec8c67f999370e8e55beb373821f7395c399afc +ct = c185c9d9c357c91b1292ecaeb2760da7d9798c9e6419b689aa2596b86682f5ec seed = 8098AE7A92C10F707D405F7DEA02C2EFBEF44EFA132BA8AEFE81BD45E543ECEC74F10920AE48A40B0653D63532517F2A ss = 2BF61C580F1A577BB1CD30EABB85939ACFB139479E5A36AD9DCDE190D7D7A821 -pk = 4A1690A1B88E0AF82FA6C30806B7E3264122C9E1387C415CAE508F162EBE8CF0 -sk = 6851D8451B4B651A7EF70369867C06B8CA53F152E012BE244B7DE9CDDF767329 -ct = A152EF2268DCF4F0C7B352560CDB46A82BC68F2615B988D6308D146AB9ED820E +pk = 4a1690a1b88e0af82fa6c30806b7e3264122c9e1387c415cae508f162ebe8cf0 +sk = 6851d8451b4b651a7ef70369867c06b8ca53f152e012be244b7de9cddf767329 +ct = a152ef2268dcf4f0c7b352560cdb46a82bc68f2615b988d6308d146ab9ed820e seed = D5F23808871544E9C1D6EACE2028362B48E225312F77663E9F78CAFEB512B908CD9E25875D61A16EC615F4B8FF826856 ss = C005F3B4A8EE43257083F4171F018E09559AE586C40043633E267DACD647191E -pk = 3375B19F544933D3C686320513A3A8886EFA4699CA37216706D0D1437812FBD1 -sk = AC42BE633682E88508D689E2C2AC684537D60A2FF297DD375CB6CA1FCEED8457 -ct = 56B2023B76C637E94AB49E04B41B305F7B6A26852CA6123111D9933748CB9E4F +pk = 3375b19f544933d3c686320513a3a8886efa4699ca37216706d0d1437812fbd1 +sk = ac42be633682e88508d689e2c2ac684537d60a2ff297dd375cb6ca1fceed8457 +ct = 56b2023b76c637e94ab49e04b41b305f7b6a26852ca6123111d9933748cb9e4f seed = 822CB47BE2266E182F34546924D753A5E3369011047E6950B00BC392F8FEC19EA87C26D8021D377DF86DC76C24C5F827 ss = C52908BB1C68554CEEAAB0079EEE0FF23B74000D05ACDD00754F64651703E826 -pk = D805E595AA29F9006F8C9D1B97D786CD340D91C64D1544CAC0F893ABE62C7EC6 -sk = D18A2B3AB816D4213E875320553BED599C0429B2D84F2DB985D736EF2F0ECE8B -ct = 8EEDAAE04F4021C594EC87BE2110363925D000CC8C82FE612FEBE9BDB8F47C21 +pk = d805e595aa29f9006f8c9d1b97d786cd340d91c64d1544cac0f893abe62c7ec6 +sk = d18a2b3ab816d4213e875320553bed599c0429b2d84f2db985d736ef2f0ece8b +ct = 8eedaae04f4021c594ec87be2110363925d000cc8c82fe612febe9bdb8f47c21 seed = 81401DB81138D6874E91B7C11D59596E4ACE543F5A3471B6FB00999221765FEC3CA057ABE20F03B2D59003375FD71FE8 ss = 7F4936FDD7876784F35DD50A2AA5EC8497E070E1C458229991172F702754948C -pk = 3A030B1095FED624F347050A3C05AA353EAFAC191F9C8820FD88BAE8C7CE86EF -sk = 2104613553D851A21A202A92C0A53663903C945DF5370061C2CD9777D5B10C8D -ct = 5E006C00E41D75B46F608E18ABC51C2CBC13D2A09A285C8CA4F5DFDD362009EC +pk = 3a030b1095fed624f347050a3c05aa353eafac191f9c8820fd88bae8c7ce86ef +sk = 2104613553d851a21a202a92c0a53663903c945df5370061c2cd9777d5b10c8d +ct = 5e006c00e41d75b46f608e18abc51c2cbc13d2a09a285c8ca4f5dfdd362009ec seed = 30B5DE5B73681EC08AAA03F6F2D2169525D25F4042A5E3695A20A52CA54927B85F8BB948FC21DF7DEFC3910B28674994 ss = F23F5C1152C0C4B985F647213FF96AE439E4F289F98D77B68865EBD08BE599F0 -pk = 7068AF3DA7009BE7A0016334859A43A5E18E4276439D0A3BE7316D4EBCA8AEC8 -sk = 82E803778C0516294A73D049A52B7BC5006FAD1E05D9694EF8CF2C41DCC7E842 -ct = 13D34A0F640220DEDC75A21A08FC9CB4957185941CFA83AAF0EAE5E713275892 +pk = 7068af3da7009be7a0016334859a43a5e18e4276439d0a3be7316d4ebca8aec8 +sk = 82e803778c0516294a73d049a52b7bc5006fad1e05d9694ef8cf2c41dcc7e842 +ct = 13d34a0f640220dedc75a21a08fc9cb4957185941cfa83aaf0eae5e713275892 seed = E335DF8FC0D890588C3E305AC92C7160FF199E07C85760A828933750E3FED8C83B0DBE802234481ECF890A32D7A2884F ss = 38141DBB43320FA70A6139EBC2088930A56311956EA5F02E0EC1B3D77174C41C -pk = 85EA9FBD1D90F2E6ECE50D96B175D84D479D6D94C5978445D3FAB7B590CF70B9 -sk = A67509EE34DE1B646C04CC8E46669AC80BEFDB5F850388FB68300EA38BAA5480 -ct = 66923144CD5B7AA94CDB4DC3B539EFB2B7C39CC50DCE880E4C579E6D79E50098 +pk = 85ea9fbd1d90f2e6ece50d96b175d84d479d6d94c5978445d3fab7b590cf70b9 +sk = a67509ee34de1b646c04cc8e46669ac80befdb5f850388fb68300ea38baa5480 +ct = 66923144cd5b7aa94cdb4dc3b539efb2b7c39cc50dce880e4c579e6d79e50098 seed = FBEA1BC2C379F4F8FDCB0DE260D31CDB064C9EA9B1D6DFBE91B3692ADD1D34DEC9C9FFAE7BF5E72ED2743BA3F9F2E43D ss = 187EEFD2F4AAC108CC0AC4C88A470CB25775028EB27FDD5FF330CDB26910C360 -pk = 42DF94064EB2A0BD21750EAAAFF47265E763D7B67AD1A3A137699BEAF342016F -sk = DDEE5D843C7B69895E5935B22E06911F9188F992E3C9B91842EBC2E35498CBBB -ct = BFB960A177B64D948349DE77534293525DE00FF81113AD13E441E30A157821F0 +pk = 42df94064eb2a0bd21750eaaaff47265e763d7b67ad1a3a137699beaf342016f +sk = ddee5d843c7b69895e5935b22e06911f9188f992e3c9b91842ebc2e35498cbbb +ct = bfb960a177b64d948349de77534293525de00ff81113ad13e441e30a157821f0 seed = 7E87FB886BC3C7C9FC12569F465D2ECD12532E76CC27C65644C8D3DD603B0CB2D036C5974E675058F271D5C82AD7A813 ss = 5D3E888167936DEF99EDEEF3E2139F55081CCB22A0A5F1A3D5867AA9925BCC0E -pk = FB6CD3329DE0C86658B13E65A2CC1BA0178FF1A67D7C3A413E4A20227098D84F -sk = 9D2ECF950F63ED269873ED4686F16A6E1E796584F2A178FAA9F9D49778D68730 -ct = D1D0367A238DF88B2BC91E9E2766A0648AFA6511F642793106E3D826F50721D0 +pk = fb6cd3329de0c86658b13e65a2cc1ba0178ff1a67d7c3a413e4a20227098d84f +sk = 9d2ecf950f63ed269873ed4686f16a6e1e796584f2a178faa9f9d49778d68730 +ct = d1d0367a238df88b2bc91e9e2766a0648afa6511f642793106e3d826f50721d0 [FrodoKEM-1344-SHAKE] seed = 061550234D158C5EC95595FE04EF7A25767F2E24CC2BC479D09D86DC9ABCFDE7056A8C266F9EF97ED08541DBD2E1FFA1 ss = 8D20F971464DF19E0561BDD385AFD0E2EF0CE212EFD45A632F5D2C64F3D66AAC -pk = 175957D69BCF3068773E934C4C8914668B4B1CF3C3508D1BAA8E5E95736240E3 -sk = C8F5D03FBB9D37312339BB91C4154118CBFB1CB2AB946ECF213CA6F8D8992913 -ct = 6CCAC52F8E98CB981641F219333017244886E21DAC684846B9CA377161068A40 +pk = 175957d69bcf3068773e934c4c8914668b4b1cf3c3508d1baa8e5e95736240e3 +sk = c8f5d03fbb9d37312339bb91c4154118cbfb1cb2ab946ecf213ca6f8d8992913 +ct = 6ccac52f8e98cb981641f219333017244886e21dac684846b9ca377161068a40 seed = D81C4D8D734FCBFBEADE3D3F8A039FAA2A2C9957E835AD55B22E75BF57BB556AC81ADDE6AEEB4A5A875C3BFCADFA958F ss = BCFFFCDB9CF17FEC81D3F6012784E6F47F52E08040DBBBB5CF0EEAE9ED9E1CC8 -pk = D29154831CE4525CD9C0A7C3BD18EE70B3091842E90964675F9790B65A826116 -sk = 4C497A1628AFEE58412DD862A5A683AA80284D5B6C594F0983D31E442DBB8939 -ct = BF6DFC79FF456D5FB38419E03DB78D7C5B67EB55F62181D5D3599FC62CE88D3A +pk = d29154831ce4525cd9c0a7c3bd18ee70b3091842e90964675f9790b65a826116 +sk = 4c497a1628afee58412dd862a5a683aa80284d5b6c594f0983d31e442dbb8939 +ct = bf6dfc79ff456d5fb38419e03db78d7c5b67eb55f62181d5d3599fc62ce88d3a seed = 64335BF29E5DE62842C941766BA129B0643B5E7121CA26CFC190EC7DC3543830557FDD5C03CF123A456D48EFEA43C868 ss = 245490A558F3A9F83B6DD0BA3B5B4A5772EE92FE5F21FEF17C1BC3439D89C37D -pk = 7D5CDFEB32F6814C8DA6DA51937A848DE490E80A900E45D9AB580F07D8B62B83 -sk = 047370B6BA10854C08ECADA474CD10D0CE0A663DDF56DC3284DCD7F13DE21D1C -ct = 3B87F41495F752A5CC5D60B3799F47931C69D2EC30F53D0073554614D6A1FFCC +pk = 7d5cdfeb32f6814c8da6da51937a848de490e80a900e45d9ab580f07d8b62b83 +sk = 047370b6ba10854c08ecada474cd10d0ce0a663ddf56dc3284dcd7f13de21d1c +ct = 3b87f41495f752a5cc5d60b3799f47931c69d2ec30f53d0073554614d6a1ffcc seed = 225D5CE2CEAC61930A07503FB59F7C2F936A3E075481DA3CA299A80F8C5DF9223A073E7B90E02EBF98CA2227EBA38C1A ss = 9C4FE368FFC4044E75904573FE3C86B64F80664787A6BF497D0B334BF34A6F8A -pk = B2C416F6AF3B1D6C902115CDD0C72F6EC4BB4D6D6D35542F92F595C3F3BC7394 -sk = F6EF0AB39E750A5C498557B2321CFDE175B69B8EA447364FA96755F91579B610 -ct = 09E962CC9DB63A32478387747F084F8D371DFF4CF11B46401578A33B71D3A91D +pk = b2c416f6af3b1d6c902115cdd0c72f6ec4bb4d6d6d35542f92f595c3f3bc7394 +sk = f6ef0ab39e750a5c498557b2321cfde175b69b8ea447364fa96755f91579b610 +ct = 09e962cc9db63a32478387747f084f8d371dff4cf11b46401578a33b71d3a91d seed = EDC76E7C1523E3862552133FEA4D2AB05C69FB54A9354F0846456A2A407E071DF4650EC0E0A5666A52CD09462DBC51F9 ss = 7545A20AA1426198C7FDB7C7B454E702356FD8E6F7796CF6B1D3C90B14C8D4DC -pk = A7BBF3CC1A37BC0A622FB8A35140FC9312BF7B9F125338764F8AC226A2F5C78B -sk = C538808C39609C40E9EA96564E1ED04E5BFC099DB57DD4DD9682BA777B75D2A2 -ct = AAD6220AAC858C75A110011020DB430199BFDD8673EB5860F0C80DC7F3FC0D6D +pk = a7bbf3cc1a37bc0a622fb8a35140fc9312bf7b9f125338764f8ac226a2f5c78b +sk = c538808c39609c40e9ea96564e1ed04e5bfc099db57dd4dd9682ba777b75d2a2 +ct = aad6220aac858c75a110011020db430199bfdd8673eb5860f0c80dc7f3fc0d6d seed = AA93649193C2C5985ACF8F9E6AC50C36AE16A2526D7C684F7A3BB4ABCD7B6FF790E82BADCE89BC7380D66251F97AAAAA ss = 2E2CFBD57D10E681F8139A311C5AFAB1F204594843A474830E8F9E031BEB3476 -pk = BF74D1E95515238C82D9158F17402DD78DE473A9C90DC7CA4A48E0E446633757 -sk = CE3037355FE808BFF4DEE0E06847ECC9EF66D7E36028F90E83A01A7A485E977D -ct = 27C6148BE30116B3875CC5B625BADD744AE2877C5B0E5ED55D53F1135452135B +pk = bf74d1e95515238c82d9158f17402dd78de473a9c90dc7ca4a48e0e446633757 +sk = ce3037355fe808bff4dee0e06847ecc9ef66d7e36028f90e83a01a7a485e977d +ct = 27c6148be30116b3875cc5b625badd744ae2877c5b0e5ed55d53f1135452135b seed = 2E014DC7C2696B9F6D4AF555CBA4B931B34863FF60E2341D4FDFE472FEF2FE2C33E0813FC5CAFDE4E30277FE522A9049 ss = BE83969F52410AD57105FDFD9D288F78FDE8080F738947254D1157E4BB7CBE50 -pk = 7230BD848A186DEEA0B2E6BB8D5D441BBCAB2D78ACA1BAF94D6B43136AD78821 -sk = 880113B0DA43D6F65197D46329186FD1304A8A54AFED49CB1414E2E3027F814F -ct = 36249D4175738F964CB1392064E3EC84201EAFEF250FDC2A643C0D328D6C7E32 +pk = 7230bd848a186deea0b2e6bb8d5d441bbcab2d78aca1baf94d6b43136ad78821 +sk = 880113b0da43d6f65197d46329186fd1304a8a54afed49cb1414e2e3027f814f +ct = 36249d4175738f964cb1392064e3ec84201eafef250fdc2a643c0d328d6c7e32 seed = AEFB28FDD34E0AB403A703B535296E3A545CA479C1D8148E2D501B3C8DD8B1034BD986F13F1A7B4671BE769359FD2AAB ss = 78B02CD951AE07108155C06CAFFE8706D40042516B6F31A7874576420D09C8D8 -pk = F090251CAC050F3F4CFA200FC1C07A27D922507FBD8BAC913D37C6B4EAE9D9A9 -sk = 423B2CD56F17364A9E21930B0F8C808D14130FF6DEB2658E8923801F51A0C05E -ct = C91E3587158A3A2FA47E1035E04B2E5F36869CDDDDF5D9E6AEEDE4458FBACF31 +pk = f090251cac050f3f4cfa200fc1c07a27d922507fbd8bac913d37c6b4eae9d9a9 +sk = 423b2cd56f17364a9e21930b0f8c808d14130ff6deb2658e8923801f51a0c05e +ct = c91e3587158a3a2fa47e1035e04b2e5f36869cddddf5d9e6aeede4458fbacf31 seed = CBE5161E8DE02DDA7DE204AEB0FBB4CA81344BA8C30FE357A4664E5D2988A03B64184D7DC69F8D367550E5FEA0876D41 ss = 1907CEAA7172D9790E47F4A9BA019680CA2313C9DD75B200C3C1AA14A145E2BE -pk = DB5C970BCD3A3084B827299FAAB2DEFDC59C4A811059E4F6483244F8445BFE81 -sk = A497924E39921EC436703F6441FCB670909660F6D9398D32100990C1827EA682 -ct = 7594E628899C6D406186BF6BEDC329BB0F63E1FE87A212A9A8D286B682EB3F98 +pk = db5c970bcd3a3084b827299faab2defdc59c4a811059e4f6483244f8445bfe81 +sk = a497924e39921ec436703f6441fcb670909660f6d9398d32100990c1827ea682 +ct = 7594e628899c6d406186bf6bedc329bb0f63e1fe87a212a9a8d286b682eb3f98 seed = B4663A7A9883386A2AE4CBD93787E247BF26087E3826D1B8DBEB679E49C0BB286E114F0E9F42F61F63DEC42B4F974846 ss = 21994734011C19E6083CF4551CA77F9037F6925C29F311B250D9B927E39AA513 -pk = E508602FAD3E1AACDA044563B5C8DB40EC779A05372E5A83E4678E76C91DE156 -sk = A10C9B93580175F57E2E63937503558CB383E16906C715A0221B94263E8200A9 -ct = A1457700FB80751C9E2AC170C114A5A9EBA598140059B516C32222BE4E95F010 +pk = e508602fad3e1aacda044563b5c8db40ec779a05372e5a83e4678e76c91de156 +sk = a10c9b93580175f57e2e63937503558cb383e16906c715a0221b94263e8200a9 +ct = a1457700fb80751c9e2ac170c114a5a9eba598140059b516c32222be4e95f010 seed = 980D0BA7C8F8B23D0E948A6029FF2659810EA1360064663A8994D0333C8543EE5FF5D6D5C9ACF446E61DC464F792B9D3 ss = E6BD12D43BD50CA1941D2FBD2355A71DA22CA663528F32B17C7C1966AEFC9461 -pk = 7456817849576E7469838165E9586C2169C65609DE287D6D0CBC608903909466 -sk = 2B57E68C70650BECE161AE1C008F2948B5B6B0C6C827EC0C07F9AA847E67A1FA -ct = EA1AA01D14CD0E9209A1EE0E80A263EE838C8B233B247F50281AA5341BE2D548 +pk = 7456817849576e7469838165e9586c2169c65609de287d6d0cbc608903909466 +sk = 2b57e68c70650bece161ae1c008f2948b5b6b0c6c827ec0c07f9aa847e67a1fa +ct = ea1aa01d14cd0e9209a1ee0e80a263ee838c8b233b247f50281aa5341be2d548 seed = 6C029462CA42ED520F10A579F52687101105E0B90C6E7BFA582A4C112B579D5AD0A0ABD38F72ABCFDCAAF5893A112BDC ss = 001DE6901036955D1FEBD96FCF64EFC4878E5D6FDF640FF72DBB3770A1DE1414 -pk = 32DEAAB74F2DF79156E6EC2FF51E74AF49E3399F470802F66BD6006E2B1552F2 -sk = BE5CFA43EC59EBFC1A0F61D225577A2EF3715D95544474398E84E8A81CCEBEE6 -ct = 007C91CC8D67959765713AB8DF44D68BA261B949298C94390B55A9779EED7126 +pk = 32deaab74f2df79156e6ec2ff51e74af49e3399f470802f66bd6006e2b1552f2 +sk = be5cfa43ec59ebfc1a0f61d225577a2ef3715d95544474398e84e8a81ccebee6 +ct = 007c91cc8d67959765713ab8df44d68ba261b949298c94390b55a9779eed7126 seed = DB00120937570D62331F4C3F19A10465231EFF46465CDEE336A0D46AA1E7493DF80F18617F9FFD0476CF7784A403EF4F ss = 767DE1188DDBB48C63B4FBA81DD86CA0795541FF11DC235A133C2A2A3D9F7AA4 -pk = FA557043E4D9FE8013E5949D99D205CC7DA8EB726E5E6464C6956AB76A687156 -sk = 5C20E34C1358139E1762E5F0F72BFC938EC3E9475FBE58331423667A6DF791A4 -ct = CD600B2939C2F3E9E41F3CA5C4DFC990579766A2D1CDB145CD92F110604DEDC4 +pk = fa557043e4d9fe8013e5949d99d205cc7da8eb726e5e6464c6956ab76a687156 +sk = 5c20e34c1358139e1762e5f0f72bfc938ec3e9475fbe58331423667a6df791a4 +ct = cd600b2939c2f3e9e41f3ca5c4dfc990579766a2d1cdb145cd92f110604dedc4 seed = BD26C0B9A33E3B9B4C5D7EA32D5BD1FC371015BE163C86F584E49BFD5362C8D8341161CD1308115B2A03B7E5EADDD418 ss = BD6434B3A940E712E376A0BDE17CBCAE4B4D357AAB07EABE022FB4899830164B -pk = 2C80DB078D09C02819E075F64E34FD994B13B0EAEBE3A80BEA6771AC6F2D2188 -sk = B5FF0778FFA4EB3FED54D652F5456232D14662EADEC64349D9E9502C8256A72E -ct = 3BCFFA09C52CF3D026380DE53BD733A18CF39A091601AA6A799FE43B65B3B51F +pk = 2c80db078d09c02819e075f64e34fd994b13b0eaebe3a80bea6771ac6f2d2188 +sk = b5ff0778ffa4eb3fed54d652f5456232d14662eadec64349d9e9502c8256a72e +ct = 3bcffa09c52cf3d026380de53bd733a18cf39a091601aa6a799fe43b65b3b51f seed = E2819EF86853BCA1B9DEE7EE1C1619988964F9A913E635AACF0D96CA6E0300D084329DABD8F149E24176D22757404260 ss = C82ACDD89787D291E54B53D2E7197DA34C1ADD75766D3577F911C61256692B4F -pk = 14E2175B6C6226078F53230D5A1CA4C7D5EBDB1F95E02C33BCC653C3CC21DAF2 -sk = D07E6EAD5BC70E7E7FB3035C9F90782BB271474EB625231A552C3EB4E69504DE -ct = 890B3E2E92B06D929FA5372C4F15E571B55CF7213C1F77D42A0B044400721DD7 +pk = 14e2175b6c6226078f53230d5a1ca4c7d5ebdb1f95e02c33bcc653c3cc21daf2 +sk = d07e6ead5bc70e7e7fb3035c9f90782bb271474eb625231a552c3eb4e69504de +ct = 890b3e2e92b06d929fa5372c4f15e571b55cf7213c1f77d42a0b044400721dd7 seed = 669C4EF8A051CE201DA65FC4BC34D398EC1F806276FC5D987AD71D93BC12DC8F107B58BE6E8422A0795C88CB9A0E7488 ss = EE7A865D05FA9D534DFE6FA9DBCC8983EF3EEBF2292621DEAD244DFF175C1AC5 -pk = 851F669EF71E7F919179C3E5027DBDBA262501866402614622D569D46C84E025 -sk = 862F59BB04B2882D5C3EBC3AF7CBF843552B927AE9203793D43BD51E66CA4D0C -ct = E12FF94DC6E66090622420F9C6DF5AFACE4EE6823FD24A415600453D660FA262 +pk = 851f669ef71e7f919179c3e5027dbdba262501866402614622d569d46c84e025 +sk = 862f59bb04b2882d5c3ebc3af7cbf843552b927ae9203793d43bd51e66ca4d0c +ct = e12ff94dc6e66090622420f9c6df5aface4ee6823fd24a415600453d660fa262 seed = 9DEBCCFE818F6B5204DB4EA09C03EC9A19DCF1629C1527685B8A29776BB1DAAEC45F8ABF8F0ADC9A8C8BD6E2DF6D8048 ss = 500E790E7FDFF0C1E601D32E809C2EB1AC83FE47855441C3212108D2D55BB767 -pk = BF5C72E604A031B073AED400D0F35C1B9E9476D98085C351A513B55582C22F0A -sk = 59A36DD6CA2B97E25BA9AA4DF9EDFD4DF4678266E565E61E62B6B1515CE105BD -ct = C7305983325B061CF7DA8C0D2A6BC38ADD25DAB8FD64088E5173A2C9761D5DEA +pk = bf5c72e604a031b073aed400d0f35c1b9e9476d98085c351a513b55582c22f0a +sk = 59a36dd6ca2b97e25ba9aa4df9edfd4df4678266e565e61e62b6b1515ce105bd +ct = c7305983325b061cf7da8c0d2a6bc38add25dab8fd64088e5173a2c9761d5dea seed = 8098AE7A92C10F707D405F7DEA02C2EFBEF44EFA132BA8AEFE81BD45E543ECEC74F10920AE48A40B0653D63532517F2A ss = A9F4796268BC5E7B70D89BE958DA08B4EA6AD119B61369ABC967EE1843E5F5D6 -pk = 12C290B6BE7D587935B2B8348ADCCB00CB5991B742BB6926A2B3BF7EB5DC18B5 -sk = B27CF5C5A86D44806498998EA44A84F59BFF6B6961AC5B9F107E2F347EB7BB84 -ct = B8E2CA08D48B1F187D83CEF25AACD6821D9C2A4D33A5927D0F0CBD590D3C4C7F +pk = 12c290b6be7d587935b2b8348adccb00cb5991b742bb6926a2b3bf7eb5dc18b5 +sk = b27cf5c5a86d44806498998ea44a84f59bff6b6961ac5b9f107e2f347eb7bb84 +ct = b8e2ca08d48b1f187d83cef25aacd6821d9c2a4d33a5927d0f0cbd590d3c4c7f seed = D5F23808871544E9C1D6EACE2028362B48E225312F77663E9F78CAFEB512B908CD9E25875D61A16EC615F4B8FF826856 ss = BECDB3430FBF5674299F617167D3426FE2F3E2DC163835C661265CB2DF081898 -pk = EDB1AA3AA5DBCCE8C3FBF8BE9D0A59A9167FAD628D077BE195283283BA2FBD05 -sk = A10437A722F3C99638E22F7C5A49D2E64F7B78183F46AE8DC33734246EEF1CA5 -ct = B8E6FF75C8AB45DFEFEC4991DBB06AB910E2FD3A23602144D6078C6C402C24AB +pk = edb1aa3aa5dbcce8c3fbf8be9d0a59a9167fad628d077be195283283ba2fbd05 +sk = a10437a722f3c99638e22f7c5a49d2e64f7b78183f46ae8dc33734246eef1ca5 +ct = b8e6ff75c8ab45dfefec4991dbb06ab910e2fd3a23602144d6078c6c402c24ab seed = 822CB47BE2266E182F34546924D753A5E3369011047E6950B00BC392F8FEC19EA87C26D8021D377DF86DC76C24C5F827 ss = 44556D8198EA98A7E5B7058358B77E80B41A981D7548FE5695411DE0329B4AE9 -pk = 40E0F33B986BE6A5C7C2553403655CA50D9C83FA8CFEF56DFC9C69794A14F785 -sk = F816A6BD6E80585F0C3546BF4B955410CA9CD29C500A260D19A3D2FD74C1E53E -ct = 22A2980D97661FE169F1E120D2A4908799C8C11851BC414C5A1CF6C176071826 +pk = 40e0f33b986be6a5c7c2553403655ca50d9c83fa8cfef56dfc9c69794a14f785 +sk = f816a6bd6e80585f0c3546bf4b955410ca9cd29c500a260d19a3d2fd74c1e53e +ct = 22a2980d97661fe169f1e120d2a4908799c8c11851bc414c5a1cf6c176071826 seed = 81401DB81138D6874E91B7C11D59596E4ACE543F5A3471B6FB00999221765FEC3CA057ABE20F03B2D59003375FD71FE8 ss = 524BC34B77C27C11F0BE4B7CDE196E6ECF815A72F4D9D0C5323F6D53AEF01B21 -pk = 99EC668A6AD89F894EBEAECD1698A6E08C8DE139B23E25008B5D416357F64BCE -sk = 333B475F34938AC9CB121C77895BE8A754C8C7A81617033FD94E5BAE031B1E93 -ct = 2881032A32446DDFA3886CE8274FCEEEEC086883AFB162DDADBC227ABC33DCE9 +pk = 99ec668a6ad89f894ebeaecd1698a6e08c8de139b23e25008b5d416357f64bce +sk = 333b475f34938ac9cb121c77895be8a754c8c7a81617033fd94e5bae031b1e93 +ct = 2881032a32446ddfa3886ce8274fceeeec086883afb162ddadbc227abc33dce9 seed = 30B5DE5B73681EC08AAA03F6F2D2169525D25F4042A5E3695A20A52CA54927B85F8BB948FC21DF7DEFC3910B28674994 ss = F755284BDE3C60EC1164E04835D5E81B54310AD43462CED3100123FC5835B376 -pk = 84846E264B007DF3198F982AC70F5BB0CFC9ABDC4246C62449B23F660586736A -sk = 37ACBCD779A05E4D1E7933752CBBB597FC4F51C30B0CB8A057F7C1ED4B6AFDBF -ct = A68991137E968F118590EA6A24D9D23A401B2156C3531A93A4539CE8D504E31B +pk = 84846e264b007df3198f982ac70f5bb0cfc9abdc4246c62449b23f660586736a +sk = 37acbcd779a05e4d1e7933752cbbb597fc4f51c30b0cb8a057f7c1ed4b6afdbf +ct = a68991137e968f118590ea6a24d9d23a401b2156c3531a93a4539ce8d504e31b seed = E335DF8FC0D890588C3E305AC92C7160FF199E07C85760A828933750E3FED8C83B0DBE802234481ECF890A32D7A2884F ss = E3234D555A90079C9614008B126C9F0FC62EAAD6B244BF3C49D199C90C97857B -pk = 3024A8D8C9A7D627E5EFC08C5B5A345FECF665FDC8144BDC22481AAEE8E30509 -sk = 5168BC3BDD175FA9C1EE42B7FDAC1503DD50A29FB1FC4024BD5DE35ACEC2D182 -ct = DCCDB3BE025DC76A33261CFD667EDA3FD61C5335805DA4345BC582F49498EB36 +pk = 3024a8d8c9a7d627e5efc08c5b5a345fecf665fdc8144bdc22481aaee8e30509 +sk = 5168bc3bdd175fa9c1ee42b7fdac1503dd50a29fb1fc4024bd5de35acec2d182 +ct = dccdb3be025dc76a33261cfd667eda3fd61c5335805da4345bc582f49498eb36 seed = FBEA1BC2C379F4F8FDCB0DE260D31CDB064C9EA9B1D6DFBE91B3692ADD1D34DEC9C9FFAE7BF5E72ED2743BA3F9F2E43D ss = 046A5411F12DAA35B932D4E22A4EB210604776E20093F5BF2E1E6ED39036346A -pk = F87840570C978BC5DB2139CE264AE273DC95C19AD358B325475B49DC7A5AA23D -sk = D0A8A6A23E696065D05AAFE6875B6418F3FBBDCD86CA02BEB902DC3637B2B9F6 -ct = 8684B183C562FE531201CA0BD0FF2E5C492CB9CC693271B44432809D14F52F8F +pk = f87840570c978bc5db2139ce264ae273dc95c19ad358b325475b49dc7a5aa23d +sk = d0a8a6a23e696065d05aafe6875b6418f3fbbdcd86ca02beb902dc3637b2b9f6 +ct = 8684b183c562fe531201ca0bd0ff2e5c492cb9cc693271b44432809d14f52f8f seed = 7E87FB886BC3C7C9FC12569F465D2ECD12532E76CC27C65644C8D3DD603B0CB2D036C5974E675058F271D5C82AD7A813 ss = C77E09656213793D4D62FA6A38D35BA3A82217E684F5EA438EEBFC4F1235515D -pk = 5925BD90DBE824629E70004D6791601407CF01F29BA0FB8B8F3E8A0A87C58788 -sk = 627B0FE6A36B210125A77A2296CDDD21ABB587766004B3AC55CE7CF17BBBEF25 -ct = 2F7957D231EE603107CC5C1F58597470089607E2A49F6036AC3835462331B7D3 \ No newline at end of file +pk = 5925bd90dbe824629e70004d6791601407cf01f29ba0fb8b8f3e8a0a87c58788 +sk = 627b0fe6a36b210125a77a2296cddd21abb587766004b3ac55ce7cf17bbbef25 +ct = 2f7957d231ee603107cc5c1f58597470089607e2a49f6036ac3835462331b7d3