# isabelle_session_info

session_name: IOA
sources: c62977066bbc294a406a11d1f89e4b786f2bf242
input_heaps:
9f3df623f783fd84a7fbb5c71b7694606606d9a5
61b1f7f49064b60cde8458ef4b67e23f8844513d
43108e76a3d28bfc7fe649fd0bb38c18479f483d


