# isabelle_session_info

session_name: IOA-ex
sources: f1b2b4c16bcd83b14e9d339b2a4bd1f2bfd4ac71
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
8a058186ceda17b65051179fc5b64135de319cc0
f26d5633eb5dc616fb9f46d5a8c1d1e5c8c1c546


