# isabelle_session_info

session_name: IOA
sources: dce078d1566b3c8a5e1f2a4e120eb35bcc03778d
input_heaps:
b121211610e458dc97d612673bcd7347cff880b9
1a49b8a85ced53b842cab647e6c466047ce342b2
87ee4f29e7be4c0a09eb8465f77d14632d23af08


