# isabelle_session_info

session_name: CofGroups
sources:
98298820f5c32140f876fe6637eb6fde891df183
b7d5e280188405bf11e0698ab849c52149c7ee84
cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b
e19ab741bf9394d29258c65b5d232d784a4aa96a

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


