# isabelle_session_info

session_name: IOA
sources: 053af4d5916d9b44dc16a49efe2ca3ce8efe19d1
input_heaps:
81d1fd0a308fd45942f10777df17e6592fb6726b
920b8c66b9a56779b68aa076c35dc6ab8473e7c3
28c67ef5d9fbe9d71172088c0b42065a22a6aa77


