# isabelle_session_info

session_name: IOA
sources: 511b3a76bacc28582c0b64c913db6732a3022cb9
input_heaps:
a0f0a66fe4b4e42af65fbafc96b4437732b5beb9
5df07e4c8a7f31eb67d22158450f815fe237af54
4a5b493f4ba46552c22229d58d7db6b0ccb9a55d


