# isabelle_session_info

session_name: IOA
sources: 128eeb350a4916e3bb5e26b8633271ce32c45a5e
input_heaps:
de877691d4f439c54add1e4f3c47e94a8527bdce
d6535a27214e155c3bd561efa578ed5e8e87d84e
f2fec317fca3e4e38c1e71be3de63c75101c46f6


