# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 706bb53812f6ebd92aa92d7073306a654c446b01
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
56285ac0202166b2b1eb0083d14e25cae3a1ed4a
3a506b6c9a8b73e1e3ac1c2e749103fdcfc01d32
a57f915c566d37af4050046ad6cddb355397a17a
86d2accaef8b32100cc1a80c66322d8cdae3c780


