# isabelle_session_info

session_name: IOA
sources: 013e4aa00644e9a14d14700f8d1e5b6ae669b345
input_heaps:
badbc4e6c4622427a16d1301f7959041c62bf6c4
ce95a93ff4b579885a0c343bf2559c84f850ef37
c45900a2773aab25c59ef73b1f7ee6691f5b6c8a


