# isabelle_session_info

session_name: IOA
sources: b7b29350b85c349f7931d5fe32ba827c109fe340
input_heaps:
1260d472a45eb144f018c964d5a46fcfd50ab761
d093571a70fa6dacd44ea77b7d4dcc20182b1a1c
0c2697f252bf8684ab0aeab536591ebeddbaa957


