# isabelle_session_info

session_name: Deriving
sources: 045d7de5307899a8f5275d790298df1470ea2a88
output_heap: 6c268f7e9b672f8dfb42b77d1ff8298384cf86ee
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
f68a72c977425ca249c872eac11835e5323c220c


