# isabelle_session_info

session_name: IOA
sources: b4725e77ea187e1ec31e691183492ba3bf3491f6
input_heaps:
a1e841a14f3cbe5e635587c582b2f4674f435e40
7d43288a5cc968ef6c8aa951129cae27c402c99e
d3dbddca0672b76d04da99bf9ce98009d8a9ef7b


