# isabelle_session_info

session_name: IOA
sources: 0fb82cac5445cc867ece767559a971c16a4b27e2
input_heaps:
d65ba42434d6727fc7f04b55804d146f30a57487
b1ed8c3121239133acb432bd76f77a58710e1512
5ba2b217ad514158d27708db8d942d0559705c9c


