# isabelle_session_info

session_name: IOA
sources: 2975103d0973c2e65ae80c7b948bb366a2e77ee4
input_heaps:
dbe489248e523e230cc84de4e3b8851f92ccabc6
eee023a3f0662bb6b233c66e85998a310b77a62b
9b1f9405116af880eb1f3dc2609908da5048a1d3


