# isabelle_session_info

session_name: IOA
sources: 3142b70c3d014bbfb4f8039833077c2783e9e0c6
input_heaps:
0fd942c2de17ffe6e7e669ea714c0bfd1357b97f
96be2a9745a5315d1ee7c3748cbb3041e3514260
8a8a3cdc96e4285c5e6b4d0bae8038a747ff57f4


