# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources:
032f91905f35339d42804f02844f44487e2e5dc2
13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7
76f527c052da7a743e97f8189c45618ad6618a8b
9f5ef76d0af853e976c57953965d1fdf7360dd28

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
bb0d522e423772b0e7abf8b5a15b76dacbf01c8c
77517543c6b131d0c9f6b0cd4126bfc7e06f5964
9e29c80e40708a09b6b9ac4f68e3306ca4970e3c


