# isabelle_session_info

session_name: Valuation
sources: f0a2c9152733dc63a7d4a9ab8ede4457e62c481b
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
fa721d1605f0ec8cd345a5139e067bb8d44b7ca8


