# isabelle_session_info

session_name: IOA
sources: 64f3eab8f728e5788cd57d4328ca10e67b2500cc
input_heaps:
1b62f589250a397b750b9cb14f8361ec2107a8af
9fce8c97e397b56bd94058e31e934a30dd22c73d
45502d8c7fc5bc9d3be9eca4dbf29eaffaacd74f


