# isabelle_session_info

session_name: IOA
sources: e06f60d8a160dd26a436be83512f26f9c165378e
uuid: 21a9e997-a928-4ade-bb60-62411b151fbe
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
7e125db6f7b61ab3dfcd213c7447494e179ef95d


