# isabelle_session_info

session_name: IOA
sources: af7a10f39c0882df854472f4567d33272b36d3da
input_heaps:
6f3a4f66f1aa7a73b21de80bf8c2e0fe2f71d420
12202e5f526fceaf2c8bba22b48190adfe4186dc
acd248af2f0c58a5ef9b3da381141022e68c259d


