# isabelle_session_info

session_name: IOA
sources: 598fe3fd8b349695e20709fae9b145f492cf2945
input_heaps:
07237e2b3ade8f359663183ef1c4fdf52bd9e545
2b4ca8350fd83b5b43b9dadb5f9e51dc7c3598b3
834ec66b15f44056642c8841a683f1488b8e2f3f


