# isabelle_session_info

session_name: Forcing
sources: 6d8ed7647a12e641100fe0b670f690a7fc32ec69
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
0ddd8f0585aef1961d9428b1ab44d342de4c5ec6
c1367d8c1bb113bb6318db56caef6a2dfbe4a101


