# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: aa5cc5b302e1d3dae973b11c098de5d4bb467f1b
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
fe66c2c36135e85ba51db5f3041b01702c8e4117
a5460a9aa3ac8cdb9dcce11441c1ac939003030a
fa80bb01ea33780c8240d8b8167485f94732d64d


