# isabelle_session_info

session_name: IOA
sources: 3423cf3a12e464f0481a967b2257e3498af5759e
input_heaps:
3e4e9593d539b8de84137329a766b1811bb0545d
8426ac7e4ebe67d06e6b6dbd3c2ea4d00a97ad3d
7182491f3a46253abf533c361f6b4dd70ae3e9e7


