# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources:
032f91905f35339d42804f02844f44487e2e5dc2
2f166b5392199c346995e4c25fe649a4a7b29a95
9f5ef76d0af853e976c57953965d1fdf7360dd28
bd003e0bd6ee5ec5d85d899e10916a7b1099deb6

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
d57bac779b5b488848d380f44507ec94d26f5b25
6449a8b4058ce20c38edf28114b3919201ac3bb2
2f05af3be870b57b65d352ab566a873175e443fc


