# isabelle_session_info

session_name: IOA
sources: 37a03d0acc2dd772d9f4b99beea004902f6784aa
input_heaps:
75f3f49252de203c33a45106d34066835c922023
ac0ee909b22cd8ac2bfe753f8fe785e0638636d7
615a58e46dc821f1aa151b1ad6cfb112608a1599


