# isabelle_session_info

session_name: IOA-ex
sources: 0f8736e06a883ee7c7e4cf5e1a894e0e016ace64
input_heaps:
87932c6edaedf27de51c877ca7033311a89eb072
7f58193f3d2717fe18681e21843b42a4a2b573aa
da1df807c20a0f9bc38603345a4d61586eb2851a
9524271c82dbdf58e771db389a57defb6f7d64a2


