# isabelle_session_info

session_name: Minimal_SSA
sources: c78787cf4dc4abf3eb0872a452984face29a8b57
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
096d0994a23a585bab5d08d06d020c53bd18ff5e
3387d7619638332a8eee98a8dc674b1a8a62c852
49a3b8ccfb40cbc5ba61de038150715b6778be0d
efd1d28e62d0c45201a060ab0f69fe2bd2bb655a


