# isabelle_session_info

session_name: IOA
sources: 38c836d2605d985ced71d1de98e8dc448697143c
input_heaps:
41c19be3f36616b14c5f74fb8791e46be930a98f
f738d32c8c714829016adbf642e3879ffef6c4ff
2b7a4a706208d2a0fea1c0a557a131b0b4539999


