# isabelle_session_info

session_name: IOA
sources: 4d23ad7ce2c750efa37653bee331d8b078eaa6b0
input_heaps:
c5dbdb9c44274ccbbfb2e7b9a9fde5b75c30d671
a549469c67cbc9866fd9e930d11e2256a82f8b32
b6136267c61fa0cd3e1e6d4bca287e235a74e363


