# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 65d3e33312c21bf4745a9196d8c3bf7c561c7fbd
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
b79220a06323e5f78d1c915729bbd9560f19a1e9
2c1eddb805aa73404d126b17b835afb3f31253bb
a080d92f6e59f6dc5fccaee940c35f3d5c1cfa39


