# isabelle_session_info

session_name: IOA
sources: 45f62f13460df6dca04c58ac619f6b5f5bb05a8d
input_heaps:
41f17979ce98542c0541e9d469ab76fea38a3827
fe08b72d7ebf651118052c08d58fcecf57acb8b5
e8961f4f7112e74b7ff744e20fba68677c7abd4a


