# isabelle_session_info

session_name: Pre_BZ
sources: 02157c570128e5afe0b4c029d9a8cd74e72c981c
output_heap: c6dfe05c6022cb9970d94c4a91ba3ee03d16aedd
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480
5522f74f6abb7699e3a05bfbe34b90d5ea35222e
041911b0c055882b8fde5828d3a338d7d537f22a
0cc082075c0fd90159f3e4b2e41286348980b51d
abdea34763abcf2213c76cee5c9f689114de8ab1
0ecf74895bd7d1fd8a15c486ee4bbbe779dbcd94
51fee7ba7aac8adc303b340ee0d635088ef8cab0


