# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: aa0c8b2a43e9dc168bb99e018cada86747b344af
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
d14ab3baff99d8e7fefffbc4d657058cc7e7dc8f
58a316fc3735a818e7119dc5c26437d3fab2cc1d
845eb448f1c26822504292f6d05660119e27e7f4


