# isabelle_session_info

session_name: IOA
sources: 0d37399954b3f9474c9847588329ca2d4e36a3fa
input_heaps:
c02607a1ca167edcd658ec3d4e79e4ea4af5ebba
3b9edca41ef3030e0a722d7987c2d1d2e4c73333
2204c917fd051b2bc4c2d697e6bcce31b260141f


