# isabelle_session_info

session_name: IOA
sources: a95b12629d5a482d6c64989822a18bb66b461675
uuid: 972facd3-4d45-43d8-8d2e-8fd3d044973b
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
89743c979e05226cf89b994121df73c0f509c49a


