# isabelle_session_info

session_name: IOA
sources: 4a19fcc04765ab17418672057451d4248fda71f4
input_heaps:
7a379be8a63e9ff923fc00e5ee19cc1ce4796282
ad96b1effe4a8a155b0f9bfbc6f5ade8324a8a86
ddfdecbc55b26465f8a16d6991ef0a5391448718


