# isabelle_session_info

session_name: IOA
sources: 861293eb44402628fdcbb5e4732e3636e44ac521
input_heaps:
2249b0d89886ff8214405b7965757b42916ea82c
12bc458ca344f53430a1e4754c839513e4c16e22
f3fb06150b95f784493896f518e142bf95a09a54


