# isabelle_session_info

session_name: Minimal_SSA
sources:
724b25b25f85031217c1ebf4946fa63091f7a44a
83557b288c7590a9db2cc70e8f422158cfd9ed32
a1208b8e2fca3865bb7ee8052106beead86e65dc
bdc9ce00e49076cf860d0c4a37b3ab7e4f741374

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
e60ad9fbef1defc4f0135b2486f91f4699dde34c
1fd8e5627b9f6820f9db25c3e98b5e6014edcece
26679c8a8eaa1391c92c98edfac74490e8e4a991
5526d450e467197db071718bedcf90e9b433191c


