# isabelle_session_info

session_name: IOA
sources: 0f70ef2833e1f83d5428ce741ea83953de8033d4
input_heaps:
bad23ddab4c2825c2baa76254b92affb4eb1797d
98b5a5427e7a2db6514648c2f2cf437d99d2fb79
e76a8dfa0d50851d7336b56db1a424ee01fd0e1c


