keccakKats.json.deflate