# isabelle_session_info

session_name: IOA
sources: d62bb7fb55795f0781b70d27df5023adba3829e9
input_heaps:
5610ccee8d50c8faa0a1915bbb604219e8b432ad
13a2690af0797a50544cd9caf6a410f62a2c356a
43a33756a15785f4d7596ff5adef5aa88256cb1d


