# isabelle_session_info

session_name: IOA
sources: f6e1a06a0d9eaf353c5cac0ea151a2d498b62ce3
input_heaps:
6b7cffc78b37704c68c4a7685f80ff2e47a7537c
7f368c43b0534a88b3227e5f60a00015a4a52856
edfa508beb37937895adaf7182692791bdb94f57


