# isabelle_session_info

session_name: IOA
sources: 3f1b3e7e4d706205c14cbe4845d66693ffdfd56c
input_heaps:
957af7128c56069f82033b5e968057a2b85ba273
7680a58cdb0664b11a4e79f2ec2bcba369005015
3e7aa9e8056cedad20f5b993617e04d384698204


