# isabelle_session_info

session_name: Minimal_SSA
sources: ea4564360088d17d94b98b0da47673dc008c4bd9
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
bd202fc155acc97a2913afab427799291ff8d096
f54c129950e2fc9884f41f1065bf5c6a8b57d392
b5b198f46c5acf9d6d89d51242f80d87d5b1e0e1
61f142bb61db1fb06af0518de2c18d71a315db24
cc9517c3667d27f7980ac71734fb277dacd51e9e


