# isabelle_session_info

session_name: IOA
sources: 288b292ff2ba270d55e088f994837c14ccceea7f
uuid: e18b0c8a-dee2-4492-8bf6-749d0d363ce9
input_heaps:
a83808b3788421fa6650b3496db1ebdc1822b504
4443c0941841896475be8c25a7bae5d657ad435f
2e9e999a09b6b09ceb24acee347b58afed948f99


