# isabelle_session_info

session_name: Pre_BZ
sources: d3a2b49cd9217d895a1e51b2e3f4c9a8de01ca67
output_heap: 37d4b7ab0ecb51c6485731bb9ba0a83b2a7fcec3
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
730e744e2b77e519db40d8946e2276fadd5fca44
a7dcb04dddaa1d28aa6ccbf342b392b75ca2f701
be77751848a8dc9a797e7b1e6d7e69149d197ae5
9e3d8023aedbfe43a7cedbe9a7b04e358501122a
4537d09810235e386a3b56ce953533404fa9b5b4
cf8602aa60f079fae6b6b1905b709bd87483e064
25a9ddd496287e6644da12db6ff489cb2ebfdf52


