# isabelle_session_info

session_name: IOA
sources: 4f235fc7a6a1030e7388d67892910d17a4e22b2d
input_heaps:
b7e847e721809281cd40042e7df94b0de64e4297
d40f74ab6c572f5a7c6fb839c79aeb7813dcf391
7d047f4521361a05ce8dd7f47ebd66b40047b4b7


