# isabelle_session_info

session_name: IOA
sources: 014578800f822b966e7ee6c1e62bbd64071cee95
input_heaps:
b91fd754b3729e34bddfb478bfaa24fc6bbe2d01
151f185782dfbe53b60647561f4609fab6758491
d4c8f4c5f7b1edd5171fa8431745742910cb882d


