# isabelle_session_info

session_name: IOA
sources: 8352b3548b78c4fd82a0bcb698f7d3f0277af498
input_heaps:
62dd5ef845605834f99fd219c6113e6e5d2ead3b
e158806d250ceec2e5c99ef815333151f28fb293
8beeb8c7d31f19502c4964393b7c99b40b9022da


