# isabelle_session_info

session_name: Valuation
sources: 2f2c90926e6f6be0887c48c831d22d75f0b21660
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
1cfcafd7304d5a5e1a18a6227905b0aeb379bad3
282c9e73873afed3357c249fd16573d9f96e9eeb


