# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 984cff1369328d9871bed7a5f758a41ad055f1a0
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
935805d7e466a1e1742dacffaa04970242dd315e
11c167555335531b5d5267c06c9c15f0c2aa7988
4040b77c16a10a25e4cfe02d06b20f338d8d9d4b


