# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc dec0ae8035a6d489adbba7ad68f9cd05c84981a0a6a0656957fbbf2c08001b16 # shrinks to params = MlKem768X25519PublicParams { x25519_key: a3ebaf6ca3b20c6d886862ac44bb0ddae05a73a5aa8574d6dfe04f23ed69a314, ml_kem_key: e5cb1bd543229f485820d21935701ab5178afe6110df09768e48c5b5423f14271360b10a1b9721df0869802cb050e5b471430c07b2bdb66b134900215efac393238edbc5152d7619a1d119f90b1a903312fba672bee21573106791630a10b047dd376409314cb3f00b3221b6b21790e9692015c97c4a6622dd332e41e6451c222b90c00f91912b57e63970348c16f57ae1ba8b29a9b5b76556c4e61ea0a181034a5412cb1b00860cce139f4101a663224ed0d412f3c08886e24a42d16354a4442fa445387676a2160f800b1f5664b719e07220067e46a32da982a7364536eba1143d52416cf9b51b9b038a06066265946221a916814612ab2c39b98639fa63b4e401c03a4b1c32392d724d6a43c300f45bc4e22c36ab0320709cb6262401e0a185412b8db8a8cac006af1311970103930026e3f01faf3c1626323593bc481a610b6c43aa6500127a148fb7c4ba93041cdba81d1056c9aa562d4ec1ba7ba435a0a06dd61a1c591248ba392b3b6277113a59f549a65c986592815b8d8a030eaa1fcc325ab7c9324c5896fd7798fc4046e847368ae211c0f62e78691fe9fba7aee36885f42c3de87fbbfa1ccb40c9f5e583db6c0bb3a28561a65cf772574c819091f19056d422f7449d9db236fd714fd67898ec8a09b1db2ba4e26b2bb541d1489b2d7402cd116cad100bb69378e380953d5a1e60bc96a6a66bab4a39d59c56a9501ef9ccb4eff2085c312b7d40c1db2841ee61178f90bde8969ea2b10f6f3a794540819f041827c113f0080231f4c773a738fde4079f866937b4a3c26192f1e59e3172bfae817fe55cce89681f5df20d40a12a0512806db62b82706fa8a28afc891d3a01154671c1f0b312cc1c6bad4141ffb5cdec27c1cd34102197b445323e236a911ce59266ac65d2b7b179306b5ce1c9f91a5a13c141e17765b6b9c1bf2a1105700553d84efbdc0ae4bb3211304ff51519161b11d7581d6452ada8409a19208ead946d6a90ca09a5c981d113ef2607c62cc736f00690957d66f16b3e0c04b8481ddaa4cfceecc7f63615ff637789f68e8e0b2f38a300bf78019f5c10fee619cddb2b7ce5a6dba99f4be208a3bb206d62a35411ae74616f5f54bdae261279a60d751504677119cdb20c084c2d33210974e52ea1800914c2c2a02990c6484382ba1db39368ad990532e4178b81b08650caa2c639a6da46c6120405686d9ae72bf8d3023f332a5dc918c978152102b09d5695f3f9850df488400cced7666e5a8120cb48a940db166600ab7ef2ca3e220ccac772c985262ad10629f95e1e2c226e783f0762a096330e82111800139c8180b6f3851891b1ac5fc22ccf209df5452d0c048423d297c5508753eb2ad8529422d424fdf1b973e1094ab135ed673290526688d87deab52944022016f2455bd24b5f8c35c1f0c538d72d4ae11403715dc20061e8715feb823b6200b3261b3687c82a8f62146eb652dc4ca233a0a6b5157e77cc2a7c1a223eeb08110a13937a73c3bb3a27d3604e109ea568a230196dc8e50f02896f792236c84c98bb7c8c1b952f195a1a595005798605ee3b544e9a119eb0257fd2bf176212112024cc95433589097d41cbb287069cb50f4eb816505c09c9414093c7fb279542a0d9b24aed9546ec86377fa099779088df1343f4d150c5 }
cc 78d95c13954e2f557def441a7c8c481ad0eb12a7a8a2da69981c218594aef3d5 # shrinks to params = MlKem768X25519PublicParams { x25519_key: a3ebaf6ca3b20c6d886862ac44bb0ddae05a73a5aa8574d6dfe04f23ed69a314, ml_kem_key: e5cb1bd543229f485820d21935701ab5178afe6110df09768e48c5b5423f14271360b10a1b9721df0869802cb050e5b471430c07b2bdb66b134900215efac393238edbc5152d7619a1d119f90b1a903312fba672bee21573106791630a10b047dd376409314cb3f00b3221b6b21790e9692015c97c4a6622dd332e41e6451c222b90c00f91912b57e63970348c16f57ae1ba8b29a9b5b76556c4e61ea0a181034a5412cb1b00860cce139f4101a663224ed0d412f3c08886e24a42d16354a4442fa445387676a2160f800b1f5664b719e07220067e46a32da982a7364536eba1143d52416cf9b51b9b038a06066265946221a916814612ab2c39b98639fa63b4e401c03a4b1c32392d724d6a43c300f45bc4e22c36ab0320709cb6262401e0a185412b8db8a8cac006af1311970103930026e3f01faf3c1626323593bc481a610b6c43aa6500127a148fb7c4ba93041cdba81d1056c9aa562d4ec1ba7ba435a0a06dd61a1c591248ba392b3b6277113a59f549a65c986592815b8d8a030eaa1fcc325ab7c9324c5896fd7798fc4046e847368ae211c0f62e78691fe9fba7aee36885f42c3de87fbbfa1ccb40c9f5e583db6c0bb3a28561a65cf772574c819091f19056d422f7449d9db236fd714fd67898ec8a09b1db2ba4e26b2bb541d1489b2d7402cd116cad100bb69378e380953d5a1e60bc96a6a66bab4a39d59c56a9501ef9ccb4eff2085c312b7d40c1db2841ee61178f90bde8969ea2b10f6f3a794540819f041827c113f0080231f4c773a738fde4079f866937b4a3c26192f1e59e3172bfae817fe55cce89681f5df20d40a12a0512806db62b82706fa8a28afc891d3a01154671c1f0b312cc1c6bad4141ffb5cdec27c1cd34102197b445323e236a911ce59266ac65d2b7b179306b5ce1c9f91a5a13c141e17765b6b9c1bf2a1105700553d84efbdc0ae4bb3211304ff51519161b11d7581d6452ada8409a19208ead946d6a90ca09a5c981d113ef2607c62cc736f00690957d66f16b3e0c04b8481ddaa4cfceecc7f63615ff637789f68e8e0b2f38a300bf78019f5c10fee619cddb2b7ce5a6dba99f4be208a3bb206d62a35411ae74616f5f54bdae261279a60d751504677119cdb20c084c2d33210974e52ea1800914c2c2a02990c6484382ba1db39368ad990532e4178b81b08650caa2c639a6da46c6120405686d9ae72bf8d3023f332a5dc918c978152102b09d5695f3f9850df488400cced7666e5a8120cb48a940db166600ab7ef2ca3e220ccac772c985262ad10629f95e1e2c226e783f0762a096330e82111800139c8180b6f3851891b1ac5fc22ccf209df5452d0c048423d297c5508753eb2ad8529422d424fdf1b973e1094ab135ed673290526688d87deab52944022016f2455bd24b5f8c35c1f0c538d72d4ae11403715dc20061e8715feb823b6200b3261b3687c82a8f62146eb652dc4ca233a0a6b5157e77cc2a7c1a223eeb08110a13937a73c3bb3a27d3604e109ea568a230196dc8e50f02896f792236c84c98bb7c8c1b952f195a1a595005798605ee3b544e9a119eb0257fd2bf176212112024cc95433589097d41cbb287069cb50f4eb816505c09c9414093c7fb279542a0d9b24aed9546ec86377fa099779088df1343f4d150c5 }
