# isabelle_session_info

session_name: Forcing
sources: 2791e4846a0f7e06f31c7a21a0bc690f4bcd5cde
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
c2ab6b8942fbdce6f7ee6bf05858cc0900fdf2a3
20cdaebb60a5e3fc03cac88c176aa9b168ad8ac8


