# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 00cf1cb5408be68bb5d3fff73210741c4041362c
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
b8472359012f34971f91d8be2ac721aa84a24dbd
e8fde8409b408a0dbd4686ba1a5a42d5fdcf34ec
52b2c118ab1d6165d9116e9a409ef9c190d8a866


