# isabelle_session_info

session_name: IOA
sources: d3bc99bf0a6d449433d9c0e530f18c0a0ae05200
input_heaps:
7a436e51f62a42a02ddb55d4319a81be06759b89
c799ba9bdc115a3ecf3b5996f3e7bb7c44ffc380
90293eb652c5cd048de5ddbb83e4e0a3155f353b


