# isabelle_session_info

session_name: IOA
sources: 79cb2a56c1290b4353b1473ba713c2ff7381ba0b
input_heaps:
e61d7bad19c83358620faa4245e89410bb30de9a
c410e6eaade7b07b89b00f412d8d8aa51c2217ba
b074aaba0ef8de1d1024c2641f37408e29a131bf


