# isabelle_session_info

session_name: Open_Induction
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
5b77bfe746fb969ca5ddcd17d1e46b0b332699ba
5b7b599f942cb56b129db8b22cf251e66d0a1886
8d3d8e2b1d4ea8df79736c16a4854f21fbb7844c
921aac8706d4bc6323b06423414d9bb796c776d6
daa711f4eb8fcacc54c6ae5cd0eb081cfa8b0f97


