# isabelle_session_info

session_name: IOA
sources: a7c77c91c319a65016c564783e82db5e2c7d1456
input_heaps:
33af3aa2756835d884f107e94ef8fae75dd44f26
20786579ee2816af0545aef0665e350bb8e12ab3
7ded1b3ef0c1fc6ed5d635e8d7db63b31be5a7d3


