# isabelle_session_info

session_name: IOA-ex
sources: 926631e8c0678e2d3c5b524316e119ac7f7cd140
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
e7487039f362c8706b20da1ff0ba6f1fd3bbaee6
72fc2ad66b818ff82cde98a89627410782423f37


