# isabelle_session_info

session_name: IOA
sources: 3e175646dfdf5c7c111d7b269b8415ed3d36828b
input_heaps:
a1c521f363879bd6f4f9f3d7760b9927f5eca860
50b1106a64fbe3e899e930ea01c7c3692190fe1e
76e6d15c35192d8165438f8c9df8354b776e0af3


