# isabelle_session_info

session_name: IOA
sources: 82fb1e64807c03b8659471764ac41d952a3467b7
input_heaps:
e2fef00599d8b719ae96960a40fed04fe4f0ef33
115924f575558f617ba2ed10dc40ce0bc3b10ac7
b6f69c20d986c5b6aa47d1d4e3c8dad6f439ff6c


