# isabelle_session_info

session_name: IOA
sources: 732705a8ee49c8b6bec7be0939045bcb528f83f4
input_heaps:
38ce6d77816dc6421972ade4a9943105b7b0b5cc
8ea3fe9baa62582f6e3bd05adafc5e28dcf02c7b
b4d293b55ec031cb393503a4d3f4eb49683a0d87


