# isabelle_session_info

session_name: IOA
sources: 39b87ddab8ea074cd9ac467130b280abd9fb6839
input_heaps:
5bc7b8609748a10319dc3892a3dee59fdc4e228c
8d4321ea3a63542efcc2eeabd02c563b82b91bad
6a2336e5cf5956bf64a1dbfca0fc98ada2923bd3


