# isabelle_session_info

session_name: IOA
sources: 79cb2a56c1290b4353b1473ba713c2ff7381ba0b
input_heaps:
c5152c1238c92aaa6e4bbb00396561110d931d3c
a7e1bfad2be6b3a5081ade61eed213d1b2393434
cd9ff788781aa59b800c93e65bfe2b9c50b42916


