# isabelle_session_info

session_name: IOA
sources: 92e7be816f05b9501af074b6325083c1a707301c
input_heaps:
53b315df48455a829d4515cf87e0e92738873628
9b611b6d68409e5a328878299cf3d7c4e76568cd
4e2ca267889fbacb84016333f23d79e6d58b3514


