# isabelle_session_info

session_name: Valuation
sources: af55dc35680da7d237707052dda45238a2bd7881
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70
95eb7c1d37f972ecfabb88a22dc6136d6c29fa4e


