# isabelle_session_info

session_name: Minimal_SSA
sources: 3259292764eb8032c71e053232a8f225f27ea536
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
964183943647a3fc0d559025d2c32108d727845f
7178df41b23c03d70a18770049a914dedd17da3a
138f92f21a3988bb35f15edea16cad5963be6606
26c3b3a7405bae45b37420e9f602446a23346038


