# isabelle_session_info

session_name: IOA
sources: 981640ecb1efd426d2c9846ea31ac1d6bc4d7129
uuid: f969cb71-644e-4348-958a-c68fb3d17b87
input_heaps:
25053daef14bdf81b40a55488fbd8aed7b8017ad
2c6045dd5185bb7b47ef2de7fbe1577fe4833350
c53bbd6dd67c53fe106f469f4b34a642d580b118


