# isabelle_session_info

session_name: IOA
sources: 83cdc68a7f97c9504a94187711bb4bc5d8abc4ba
input_heaps:
09699199a0064efa4710789d1f66cb5c536b4bd6
6d77f8423a201617d8279fb15a05e30d974b2eb8
0ef6bf851e6d2774e8ec22f1f668d8f8f26c51a3


