# isabelle_session_info

session_name: IOA
sources: a2224772ff0ff1e06cbda8de87a82e3d1fab0108
input_heaps:
425050c979a8d54247f86c7dfa44e6a498adfdfd
1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93
b7dd655c3c2383a8c85def9af359fd01cb75534d


