# isabelle_session_info

session_name: IOA
sources: ab5745e33cadeba47e4554c4c6bf01661c21b38f
uuid: af4ba6af-fd00-4988-9867-57814a40d91f
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
0f19b1412aabf45d17bf730b1e218315a106adc8


