# isabelle_session_info

session_name: IOA
sources: 9d3fbdf7765b3623bacba1e543ac1501c8fc5f80
input_heaps:
72d959b88935c75f81cb214c2197e07f2e2018dd
20319853e27a7b15be3ad52a54052b8ae06a9c29
9aada60f0200536f70b5e304861f0785829dc7ff


