# isabelle_session_info

session_name: IOA
sources: 7476d14ad47931d34a8e2ad948bd43c9b2c7471f
input_heaps:
d6896dca4550f3d580bd8085f0ec522b3c80ed4a
572a934a0a010bb60ece895ee276078cbc430847
32a7120d5dc5752244869f655279b2d2aa04f0a3


