# isabelle_session_info

session_name: IOA
sources: 091fa063f3cbcc65678986183a4f801d579872eb
input_heaps:
39541dc42102d8fbdda144a4ee678e8e4448af7a
6f38a31669f34b20d338d9eb8d66bf9c967db531
58a676ac2b4b1ec1f5d79413cee698a3329bc4f7


