# isabelle_session_info

session_name: IOA
sources: 52742bd8749d71f63a4d66c393ae2b072e7d3a65
input_heaps:
25ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8
4b1bcd999efac6b00836aa12847098a98441fc74
d5b4d4e20bcf93a0aad0fed78988ea1c68a7251d


