# isabelle_session_info

session_name: Lp
sources:
1eea81373232923c19c7b3989439ddaa300f4986
5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd
898fc36bdfb11c07ae3f0daade057467f4607117
b50539272db9f8d945a3af66a569745352725a2d
df52d5ad8bdbdc6c9c56614a8cc01168fa289248

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7
9b5777b2744f5e0463dbe1d488b2019c496bbd5c


