# isabelle_session_info

session_name: RIPEMD-160-SPARK
sources: 505fafd331d6511584b3313fdd931d3e58c32132
input_heaps:
f4e66065a04f1e2d2dfdb251791c7f25eacff512
b7343e71809abe96ec8715dc85d1d5193e283b23
6f8d47ec8354a795f122c07a0f30025d62d31c59
75afaddb45fe26c21586f23789bbdf566dc868c4


