# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: a98081ff0b08611b2f5becafeb59863097b887b2
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
bb40205b498794476d38b0362dbda37d779495b9
5641fec34b89ef1953090743ac9152e7beaadb85
d920f3bf450a8b355cfd72b3f3834841553c524f


