# isabelle_session_info

session_name: IOA
sources: 7f33a2385ad97083398fabe94be9e82375df8ed5
input_heaps:
9d98e7572661a1502ccca3e0adfad8c7205ee347
9212820f8b5da3e03e0e4c4edff6a3ef6f7425f5
fa2183a47681a9a5c7f8daad6025200406ed7f51


