# isabelle_session_info

session_name: IOA
sources: d3c437afa8c8ad940603815dea5906a7e54bc73f
input_heaps:
6a4a8939512f5187f2e67f11383402b7a93008e4
c57ced0f4fe1cec403fa9d0a4a34248bd37ba3a2
1c4a43ebc3e56eb4c838c46a092fc1f3e69c6d05


