# isabelle_session_info

session_name: IOA
sources: f8e0a0e35c3e1bac783cbcb148f6fa79286e4d56
input_heaps:
fa11a088fa6c022eaffd52f49e1ce4d13eea3dbc
4cef5542ae191d60b950c71717d249846e24f33b
f7410be0199f6fe986b9a4c7442998ebbb86139c
59296d84f109d71e7920875c1ec5b00b03074a40


