# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources:
032f91905f35339d42804f02844f44487e2e5dc2
2061605cbf790c60d6ba5299b18d3388432d3511
9f5ef76d0af853e976c57953965d1fdf7360dd28
bd003e0bd6ee5ec5d85d899e10916a7b1099deb6

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
82cd4d68c338fd10fac41d74fb7c4213ac250009
fae5ec30134c7d258064cad0d6c5163ce1c17c9b
73590bd6eb03ed0a0fca68e167edc20cdd4060e3


