# isabelle_session_info

session_name: IOA
sources: 3423cf3a12e464f0481a967b2257e3498af5759e
input_heaps:
895b1b1b83f37732e07998df22f424d780740496
2191c6665e759bb2ba1cac4f2b634abed64702be
ca03b12b7aaf2591db1307b0ed703cc5c77bd54b


