# isabelle_session_info

session_name: IOA
sources: dce078d1566b3c8a5e1f2a4e120eb35bcc03778d
input_heaps:
54cd32f4919d850faca17e94e357093dc43a48d9
f85412ed18f79fc641e57fba244090c4b08a2333
9d66f00af468c3cc5cfc70460a7bda4cb4901bb1


