# isabelle_session_info

session_name: IOA
sources: 32fe0a85495c2bdf143489f1ff7612de1fcda5b9
input_heaps:
440b9f4889eeccfeb8f57d192fef3c943c95e2f6
15a57fa35da2c9fc03615797247fc7f427c7b698
bd9743ce7c16350cf476953d9292513f60cd0560


