# isabelle_session_info

session_name: IOA
sources: d5b55bb31056c1b4001e82003e307e35b9c3c9a4
input_heaps:
cc1977b678af842d5b1dae3237d4803cee7dcd2e
874bad08945295a3f50a8a972ad8755a8229eb2c
0c9f5b91705d7a852ab6a8b5d8e3095c76411b10


