# isabelle_session_info

session_name: IOA
sources: 8d1072c86f64f91a8448f22257301ac759ebd50d
input_heaps:
3544b43f6233cac7fa59f57a860ecfae106f5f76
f0c98d261d30ffdb52c0a09fc4e24718add3e116
81454c89ef2d7b444aa3687f70998871ce7532ac


