# isabelle_session_info

session_name: IOA
sources: a9e591c684e6cc5e6e51a77b16f378567e8cc732
input_heaps:
8e746ae3b5d24dcf537ea0091b8c9f94dd892450
96940058ca3bea5d50ecb9123c65c348b0504148
3a400e1b74c002add0a0ec603ee71f5defc3c23d


