# isabelle_session_info

session_name: IOA
sources: 46dbe07d21860e8927e1e0623fcf12e1e6ba937b
input_heaps:
bb6edb3325d4afe86dcddb38cd64e9e4f6cb4f05
f5abe85b5a6ae336d989f2da068aa228d0fe8ac0
6e53af55ef8a2e9b40bbfd7d8376565a0cb3fcab


