# isabelle_session_info

session_name: IOA
sources: 642b38207c2d58c3e4e0e4d42053ea9c208f3813
input_heaps:
fe1281de5d7780f272aca589ea23aa21095812b5
b0fbbd38fa9ab2d8baffe811a6d340106ce50024
4cf1c73514e65204ff6eb7244c44d10e229fe297


