Mr. Krabs 🦀 is tired of Plankton trying to steal his Krabby Patty 🍔 formula 📜 countless times! He wants to compute the hash value of the secret_formula.txt using the SHA-512 hashing algorithm.
Mr. Krabs 🦀 has already written the required code to open the secret_formula.txt file; your task is to help him write the additional required code to compute and then print in hexadecimal notation the SHA-512 hash value of the file.