# isabelle_session_info

session_name: IOA
sources: 5c4d6cb6cef10427d9ce992b538bf2000b42e3a0
input_heaps:
5d0079f13ee7c1516be1fd5db47237848a8fcd70
89d1c2b6896693fc9f8a95718734edee986c3528
e506c16cdee9f6c61101ab111a002763b0d71946


