# isabelle_session_info

session_name: Valuation
sources:
54abd8c9cb7bde34940ed973a59900cc7d7e836b
60ffa5ad082205b89f89b7d8b6c11d5b36a368a1
eac6050eeb850c93f872613724be0d145bffe014
ef686537ecafbc5ea505ac88b1ccbeae6dffe213
f3348a64c921ee590f1cf858e965bb889aa0d40b

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9
09b821edbc832e23c5a5ee57176f92150d5d5a75


