# isabelle_session_info

session_name: IOA
sources: e06f60d8a160dd26a436be83512f26f9c165378e
uuid: bd8c966a-8782-4d3b-bb2b-3921b6ec99bd
input_heaps:
52fce7a083032aa70183a50f999e2868f79e2148
694680bfc6768bb59cd23ad51623a23d40ef82a4
8816b358b03371dce3175202fc78864ada368beb


