# isabelle_session_info

session_name: Pre_BZ
sources: 0aa3ecb994b938ae40ae1b162b90b006292205dd
output_heap: 60821691f7dbed992e5d8c4be3b36bb9166d936f
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
9dcd22a721fb4d6cb69fff249fad38e4e65ea05c
3ed685959535f1327bdf7d26aedd8065b9d7bb35
4c54cba45bbe8628a200be1c04cfaafa81edd9c5
95ab95310b6c52ae71998a3df71f322e72d4673d
d8dc87661f641fd57b43604840e3147624a4131c
e60afda5407aa37d9cf173485fc6b87ef17c02f9
304c5f99257f859917d8b4eea01f59c9c268b066


