# isabelle_session_info

session_name: IOA
sources: 4a28f45eca0f4f0c5472a667fd5b5af1139e1a1a
input_heaps:
3738d534707f79e4c97b3e4cb327db955945e3f1
1b19ede38a286a7fa7c377dc681da41f766449a4
49bf50118debc9ca6d1852c2307892dbe2e722bc


