# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 42cda330bc483e5552cc746e3e7835dfaf49126b
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
16c07ab52060a1877247247ac947f7478297781e
1ccd04c12eb4cb94c244cf729a55b975d4235d8a
575039ce90264cf1a16babebda87bba730f20873


