# isabelle_session_info

session_name: Launchbury
sources: 7c3fd9efb0f5b0330de5b91dedb4296fb98a6732
output_heap: 16cdf0dbfc871c74fd1e0910ecd528d67641642d
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a1d2d38f36069b34ce99a172c87f070ff7d8bfde


