# isabelle_session_info

session_name: IOA
sources: 696610060153d80d1c308ba8223d78535a6a427c
input_heaps:
144fbd49de05d756fe9e2e19f640fdb8a712f8dc
a414a4ff183b67646c55f7bc60a981cbc1fc30c5
29c1470ea9f437e356d58ad8f2424c92c694e8ce


