# isabelle_session_info

session_name: Formal_SSA
sources: 2a2e4f215e2daa8a8b416647074c8968f553d7ef
output_heap: 24af916b405da96bdc5d6fb397d21095e5615d9a
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
af729a4e6d342a3e3695e8e3e475bfb4a0bf0acc
2768aaa4a23fce809c92d283961f61806db38dfd
1823b077992a4626748564433bd4917b63a8a4e2


