# isabelle_session_info

session_name: IOA
sources: 67e10e039c55d37839ea7d3f75d0c6fe5f4eff5d
uuid: f772ddad-843f-40e3-8fa9-0a29af00516a
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
5fd3e1b336ed42f5c16ca3ddbb370ba7f3c71ba5


