# isabelle_session_info

session_name: SPARCv8
sources: 3f7e28d08faa6edf9aa9a9012e67b13179657230
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
a642933183b53fca718dc59a0bff9e3d87623969


