# isabelle_session_info

session_name: Formal_SSA
sources: ebeff10e5713da42ce9599e1b94d152836f26d5b
output_heap: 26c3b3a7405bae45b37420e9f602446a23346038
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
964183943647a3fc0d559025d2c32108d727845f
7178df41b23c03d70a18770049a914dedd17da3a
138f92f21a3988bb35f15edea16cad5963be6606


