# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 4183650b82b4fa803865dc2464abf214d955963c
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
67a081e9b4aa333e6af5f0f43e16f9cb227649d4
460b1b857a0ab93897217b269cf9d5ad1057e729
769aa5a7b3e6ef4deb9a6297b56ba11efa7e1a0d


