# isabelle_session_info

session_name: IOA
sources: a95b12629d5a482d6c64989822a18bb66b461675
uuid: b3062044-da8c-4aa4-97d4-d3ae7b3ccefa
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
d7779c049964e11b234ad17a964808d1cf40299f


