# isabelle_session_info

session_name: IOA
sources: 780ae7bb93b9fa65ef24e79ceddb211aea24ea09
input_heaps:
a8fd777f4c50ddd8d7e155b9b07d9218f3467fc7
02f1225c0f261de736caa9ce0f266c2606abf26f
5c48de87a2c0f94c59aaf97aba5f9913f2939b75


