# isabelle_session_info

session_name: Valuation
sources: 324254e14d5d9b1433acf80e5b18840c25d2b940
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
e99e0684410df36373f4f2b5c5ea423968ee9625
c476bdebca2f60c33824d5374c70fabe6f4ba221
81ecd81a97945c8253ff2581a150b5777ee32f56


