# isabelle_session_info

session_name: IOA
sources: 700c5215997716d5d9a6730a6de77e1961fbeff3
input_heaps:
341573a915193db629e8d127a9a53502c8309b6e
9e237ec730f89ae65421631a0a1ef3d055f5d625
895655e402873aeefdda066ad22c92cc45c3eb2b


