# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 4b65f6e98a0a924bf297ed97276e9fec90f273c7
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
a1f95d712d69264c337669a1ffd81ef6f9dd955b
75885d57a91c612b658e1828ea7e7cec76f36eae
7b9b28e5a6e7cdd771ff7ed0e199f4348e88477d


