# isabelle_session_info

session_name: IOA
sources: 7c58a37f3cb720e2e132424cf08322d325185e7a
input_heaps:
e2015e5246e1a7618d650fad22191f33705e8e0c
8a8103e86b35297b75bf7c8f4f146e87c135f0be
4cd4814fb6a0e7d48a5db0d1d93915a4826ea76d


