# isabelle_session_info

session_name: IOA
sources: afde5df9f7cc1ebb208cf8904f20cbe9b5893021
uuid: 2dbf3b1f-d69b-40f7-8c3f-411a090eb4f4
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
6bb0f74bde50a2bb0da22bdead7c2d71f80656b8


