# isabelle_session_info

session_name: Pre_BZ
sources: bd79fa08f90dc770af40cba17e5de74e9d6a9ddc
output_heap: 31c21e1524b48e347f3b61cf0dfd188534935de0
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
7f7a591899a16f1d5cfcf0a06257c984af4b4605
8802d9c52474317df9fa5871527d794c29ce4f18
ed5292d239a98980e1de7f7c3f54a069a62fb6b7
b062ef471dd32050efaf696306062f6a54a58851
645679a7fd3041baf5f8e993f2fa2963cfd1ad97
e030418f690e2c22371cffeef7b506683c7943d2
dc35de348a1286d724f5f33b66c08b84d5e71a58


