# isabelle_session_info

session_name: IOA
sources: f502382547d7ca6d4dd5b7cd2da4888a39402a85
input_heaps:
3a3f17a4e13c09032ff1d9490f442ddf7d03ef10
4c8c1f181a77f6728d263aba6fdf1897c029c916
ef65c276ab6be3755f1fe2c8a0b1585690eede9a


