# isabelle_session_info

session_name: IOA
sources: c82564437107996b96a1ae97a9204f5e29ebb8fc
input_heaps:
8bf312bdadee5daf8facd55eb1fd3c8949cfba8b
7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f5
3a03499a1bb20611e85816d4a8487f8f706cabf6


