# isabelle_session_info

session_name: IOA
sources: 0624ee2712b8728b3e20e1ea672de59552b9b6b2
input_heaps:
2de776be54086cd6f5d576144c34608108120821
ee9cea67cd24ab19209e832e4527fa2462c7f652
c608f76a6f9d90a1cc2ad7873493e77553d344a3


