# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources:
032f91905f35339d42804f02844f44487e2e5dc2
9f5ef76d0af853e976c57953965d1fdf7360dd28
bd003e0bd6ee5ec5d85d899e10916a7b1099deb6
c57799edfa23f21586585c4181cb1c0691a7daa2

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
3f2ab5a11cdc0e3f55edbba46bc7f76fd89de14c
15988304aff1dced54db847c646f7851d33ec5d2
7257a2efdb06e88a271526ef92821a3006af4386


