# isabelle_session_info

session_name: IOA
sources: 3aac9572b522f1b568cb2706b778ba5b7023ad16
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
8446228494c4c71c2ca9d94642c2f988f1d4d6b7


