# isabelle_session_info

session_name: IOA
sources: 19bee6c69e02cdfd45a0f2f04f6b06b9460963ca
input_heaps:
52d8c32203b389e63cf65ed6c04890deb1f216f0
37d524dfaf95620c05ff0c9a93e869a905c54743
1a2dd51b0e943ed863655b9d9078cc8034c64471


