# isabelle_session_info

session_name: Sepref_Basic
sources: 8ccd1ec90f3828541c6fa162c3f0c2f17c75f162
output_heap: e2f84721f0324ad88362f1b212ea4901983531e9
input_heaps:
00b13affeca8329065e523557b07861f9da96370
de656be5c82664d2d06f9d4f4c7a9247323f4c02
5cf66ca79e6302b03b690cc77b658161a66a4401
31e3cdb1fa11abb502a94c1c5589905b57492701
dbb707787ef2333c022289ea1fbca53bc9495b7c
1741ea6f2f585137699e86ea4f24dfcc1a958ef1


