# isabelle_session_info

session_name: IOA
sources: 6f5c9550f36f549c95d8fb2a7a732096232a6cd7
input_heaps:
a8cc758d6ab7fd0d9728cbbe893e534f8f965816
1af3aedcad71efe17b78663b69931936110aab93
0c432a1447fb752f62d834c1f19013b49ff729e6


