# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 89029d987218ef06ba3d0de044c252152bf9ddef
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
794af6ad6e97c42d3ae86386dbcac28183ac86be
de6a60322d5c2b01a5d2de6e2878aec81600a816
c29fb58a7531babe9f3fc7866ac3fd7ccc2d8d91


