# isabelle_session_info

session_name: IOA
sources: c83c61d1a09383adb860b850be1b24783d44a366
output_heap: 9a4034219792476033628e02b8f97368151786cd
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
2d62e87539fc2056c7097dc39e30a573e3bdfece


