# isabelle_session_info

session_name: IOA
sources: 6efeb968a948e862aa75483a73b883b6fa8b74de
input_heaps:
13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb
e27bfecc3175c5bea938916291a381f36c7f2a5b
13e64d223f887634d49f69c5930dada20b47aa7b


