# isabelle_session_info

session_name: Deriving
sources: 37bed4c2ae8d4d01481293d99f61548a92a0a850
output_heap: 848b4bc4d74320081d60c68f12aa95d89f9f2f89
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
daf773399df2d213d8f31040a17ff1b2e88164e2


