# isabelle_session_info

session_name: IOA
sources: 39b87ddab8ea074cd9ac467130b280abd9fb6839
output_heap: 102a7d787a6de749468c60a756388c2a62822c44
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
96339ad3e448408f44f70a6cb27078e7237b9ce8


