# isabelle_session_info

session_name: Minimal_SSA
sources: b22db0ffb6e762522739408cc7ab1da3e13898f5
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
6ca7c2eccaa6d6c3222b369a56320daf10f59805
8ac046f77f5f0b646672f561848283ae23a12b8f
284185a5e3de38e8daa38487ea5ae87edff6a975
0394b832b1d35b82d8d8802243bc98f370a6fb33


