# isabelle_session_info

session_name: IOA
sources: f1842ec39275f9cf9f1970f0f0593c8d3a718b7c
input_heaps:
72c151fc6d7155c0917f3fea895a6bda7ed6705b
0f8162896999212dc09d4754b77ac490ae4b56e9
7dc169ab9041b1987c685eae0677b1827c3b145d


