# isabelle_session_info

session_name: Lp
sources:
1eea81373232923c19c7b3989439ddaa300f4986
40a51cd97f203720220223fa4ba90425f36c9a26
5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd
b50539272db9f8d945a3af66a569745352725a2d
df52d5ad8bdbdc6c9c56614a8cc01168fa289248

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f
efd18841017caead5c98b3dae82ea8c0b05c5144


