# isabelle_session_info

session_name: IOA
sources: fb72a4e47ef8a690561c9a29cf94b2ba17d3d5ba
input_heaps:
25b0ff30768df4fab02e9aff76d0f45f128d63ca
6013e9b2873d320614122d686e65ea49474d2dc4
0ccf6a9e2084f1c53b165cc1b26c9d53813d2b39


