# isabelle_session_info

session_name: IOA-ABP
sources: f85c24c0ef9e2900c66a2e835f5f8a517e32b6c6
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
670ca3b0c6f16e44de7227000c0ef63afe050894
c2982fba00e50d24ade1dee9e4ded00014d00d2d


