# isabelle_session_info

session_name: IOA
sources: 1e4015c02e7787140aab814e291b23201a65e531
input_heaps:
80ccdbdf883f78417e58a6fe9077611957b4c9ec
4a724b2f7f58518ca013d3dea386ca861d7ad01e
b47c0da2740d0e619c7c8baad70553ddea4d23eb
3c3e8673ae1a2cfcfbd45d06d9b46186c397d5f8


