# isabelle_session_info

session_name: IOA
sources: f252d50050ef17b4291411ba7fb8fd729960e5c8
input_heaps:
a5cbdbea838ef77f16e14081337468938237e3b8
5e28e41d66823be3e1e7586a4a6dd8b0ba9e5553
22972ea909e90742d3fa5fdd0ffc410343370df8


