../ SHAKE128LongMsg.rsp 02-Jul-2024 02:43 1747365 SHAKE128Monte.rsp 02-Jul-2024 02:43 20135 SHAKE128ShortMsg.rsp 02-Jul-2024 02:43 135243 SHAKE128VariableOut.rsp 02-Jul-2024 02:43 269703 SHAKE256LongMsg.rsp 02-Jul-2024 02:43 1420945 SHAKE256Monte.rsp 02-Jul-2024 02:43 31170 SHAKE256ShortMsg.rsp 02-Jul-2024 02:43 100843 SHAKE256VariableOut.rsp 02-Jul-2024 02:43 458545