# isabelle_session_info

session_name: IOA
sources: e7ca2cd15426ecbfa0c494dbb20aca03c7b20442
uuid: 33171741-f453-4296-aae1-67f3684946c9
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
3402c70ac26d7acd2c6780f2ec5ccb4906b7643b


