# isabelle_session_info

session_name: IOA
sources: be19d660b3b656817e7f3fd5bfc08c4581867911
input_heaps:
bcb48639fbb7341b689b138997e7d93ac6626bd1
0f09632813e6e876e68176357986a5c1231588cd
5ec2244c8456cfcfe5b2cb6511d3bf98af00afe5


