# isabelle_session_info

session_name: Shivers-CFA
sources: c26e6ed13f69f925bd9d1301df5f198181844f47
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a1d2d38f36069b34ce99a172c87f070ff7d8bfde


