# isabelle_session_info

session_name: Forcing
sources: 28d1b3599ea6ab7d54319903657a155adb79b35f
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
7de62c3b556829727ebc428ac52a69720aa9578c
db59e5b0b9244f4a95ccbb2ca4e55bbc4d527216


