# isabelle_session_info

session_name: IOA
sources: 83bbf6ff5ddecd2123cd083ea7f4d2a92fb0d4c3
input_heaps:
a8c309eb0c8fe4f6a33a13b2567e40753a5dcbed
6149c49ee16c41d819ea05c303469743157239e4
a529f6170007da8de2866f37944ea6ad5f3f66e2


