# isabelle_session_info

session_name: IOA
sources: e25dff361c957516ead73b3d947a6db942f327c3
input_heaps:
72cca0904208fa240fb772d4d14dff23ebcd0242
8f015da9fb20bea689bd130164efacd685956ac0
3fa49572bb137439de95ff2ff241c9c085867db1


