# isabelle_session_info

session_name: IOA
sources: a1ded13ee460c1254da402898c9120b2d3fce3c4
input_heaps:
3d9723b0e32f4dd4ca515d1d9986e3bdc7a8d762
6a991311a17f5f09eb6bc9927a7c8d56ec4ee3bf
5050dfd08230de87ecc2307fb0a4657e93f7097b


