# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 25b4f4e8da14b139993b988b9c5a183e79013937
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
1b6dd4c6f68494b908b97dd6f4ab365790a44f49
e70a3bd0d72734b257061ec58f28fd6a067138f8
2313d657651f9844f843754e23623cc0ace0d91b


