# isabelle_session_info

session_name: IOA
sources: 8e9f879590062caadf3d3027a78a41031eacc729
input_heaps:
4f2c0bd4be2ac4b94f89ae10fb0d936d88f36b2c
ff670c3cfafe1b4a987538d467717cf66914711f
f96c10a6b12fd12e6c52dd23e1fc555498bc0c65


