# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
7f9ea2cd7bb7be132b52334531098cdd85d231a5
726f0336c3692cde7be2713a416a7adddcf0c1b4
3c7c41dc437f1a0934af6491be105b1ba5de4e84


