# isabelle_session_info

session_name: IOA
sources: fb72a4e47ef8a690561c9a29cf94b2ba17d3d5ba
input_heaps:
d5c32f798d9322f44635e87a68b325071c15ce5e
8cfb939097b42be473a6f81320c8bde51d22adb6
57ef5fd9340016f2734a36c2bb1f40a83c612800


