# isabelle_session_info

session_name: IOA
sources: ac2b275b9a85bbdf90cd1bc6462848e1efdd8f25
input_heaps:
a7e1bbd16329c1f97a9de9d6266928053862babd
ea2cfc597a0179042ded7c822c8c5398bd1438e5
54bfbaa8b270e955968755dcc84fa2512b128148


