# isabelle_session_info

session_name: IOA
sources: f1888a84611759a1d8f1994a4b6a45cb8fdd62bd
input_heaps:
a3bae4e613aef271245928f0d52c8526a9c66f82
8e2207a978992101b4929ff8d1549e71615ce106
1ac6544097a9b0cb96672f083c1843507597f1cb


