# isabelle_session_info

session_name: IOA
sources: 56e952be200a33e766aca0a5c742e773cd53e42c
input_heaps:
814e30963bcf64f088dbe50efa68c61f1c4bb894
580696d2cbf210263fdc3f4e561765fbd880243d
29c8f2f4afe57cd0749a6b9514d78b7e106a76c1


