# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
8e8c3514e2bac7ec00f1b025bc573ee5fa1233c9
7c441ff6bb83b4beb3f7719db0d10af3d9d66457
5b6966872c420d061e1308ac79f31f0b79a26a95


