# isabelle_session_info

session_name: IOA
sources: 20637690db57e2846714434071aa48d05fc0dad9
input_heaps:
d519004ff6bb3b652fd959e65d131f041c2441da
a5e894086c290b5f34bdd176eedfdf0315b685d6
48b426bf3ed0f0bb7d8877ee13c74a5d21df74d8


