# isabelle_session_info

session_name: IOA
sources: 0d4641e930b2f63bfc59e7675452de9beab6f308
input_heaps:
d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7
2d7fc4c8c99ec0195cfe8a002fcff890125c4fc2
00d08bba33518ce20e9a46f1f4c754f9851fd83d


