# isabelle_session_info

session_name: IOA
sources: 173137c67fdd6088463ac161d90e8d8b13e5de8f
input_heaps:
dd4458878f01a34a1b5791d5d83a4c7fde98b709
f992b25f144d396e58a39d8cc82c7030f4bb4c7d
6fc7ccc2b22ca30278d5ad5c4e1620ef226fba0b


