# isabelle_session_info

session_name: Forcing
sources: f3c853d3880238b593dc1368cba559220cc2d224
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
5eb8e6dceb56e87e26f8f24241ad642b2eff079f
a275df0a1e0d4cb77fd12d218e665944bb307e15


