# isabelle_session_info

session_name: Valuation
sources:
288b1b3a6a18f9ead489ab1096ca4005d505edf4
54abd8c9cb7bde34940ed973a59900cc7d7e836b
eac6050eeb850c93f872613724be0d145bffe014
ef686537ecafbc5ea505ac88b1ccbeae6dffe213
f3348a64c921ee590f1cf858e965bb889aa0d40b

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12
a4709847a037a952a3c84a27c3c27c4829e5c5ae


