# isabelle_session_info

session_name: Valuation
sources:
54abd8c9cb7bde34940ed973a59900cc7d7e836b
7d63ecce5c60f3997ad44806d26068dadf79a688
eac6050eeb850c93f872613724be0d145bffe014
ef686537ecafbc5ea505ac88b1ccbeae6dffe213
f3348a64c921ee590f1cf858e965bb889aa0d40b

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
15270af771a7b5503c409a7b80dc97b7d1d43837


