# isabelle_session_info

session_name: IOA
sources: 8c07bdad4f4b80c0a5fb5d2beda033411ab446db
input_heaps:
4f89cd12fc22a65e55bef97b3448b7e615a544da
d52a9e3ee76f7778dcd9aaedbe9bf47fd4344515
fe79ff7e105fa8a6d394072e5b4cc4c3197fa4ce


