# isabelle_session_info

session_name: IOA
sources: 26b3c6a34438d698b4401855b82ce3236dd47f50
input_heaps:
4a3ec06d143a958477ede62e0e3a4a01d28a75e5
6f99533b4b7a9b07a909e0609b4856bd99ad10d1
7e718645f7c6743ec8a901834702b1153c2a2dd6


