# isabelle_session_info

session_name: Forcing
sources: f8dc180e27d4853b71628d9a41e72e3168052371
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
7e86898479ba240e0bca3d31982df9c3711f2113
7b0f834404cec76d9c4377ad772781c894cf054c


