# isabelle_session_info

session_name: IOA
sources: 64acb9a2f3591a57062536f5ec868be353df8b20
input_heaps:
e8537c47e923e47de729f9e0567accc61123d7db
017a6e647f3bb9870cee54c6bf34fef030e0e70a
56f734251f5f96292f8f7548709fcda8db094c7b


