# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 0a7b079259cafe9bae91f6029176969e2f200e66
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
15059e4b884c385e3a1f4555bee098335d341964
97b4d00caff503208d36e9820df21639750dbb45
7973ffb3896e1d9479aec59e880fd319cfb0b9e6


