# isabelle_session_info

session_name: IOA
sources: 823cbc8cbe74759fd31b53c15668bb5229a8e6f6
input_heaps:
196a2515706609007ea06d75ec986adb99a8cc65
7115c7e4680b44b378568e77a581f51084272a70
2c727a7a076df6341ae586fd7451fc8ba21588b6


