# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: d478ec22e14dc129eba77f1927552eed2a682c9f
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
ce63eabf97d04abf7cb93753b29d17d7f0e68732
37b17cb2041b9be7ba9ce8f8b6026fa01e09967d


