# isabelle_session_info

session_name: Lp
sources:
0413561ed4e5f38a3104383e14ce7eaa1acebf6a
1699a168ddb314d54ec3cda089dad5af663c03bf
78a9a19ee7336b0f80f15df5f52ed2080dbb7243
898fc36bdfb11c07ae3f0daade057467f4607117
df52d5ad8bdbdc6c9c56614a8cc01168fa289248

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
000c31cfe79f77e59785b0781aea8cbf500999b8
2e955ab17180c267756e7fdff229af0d6ca147a9


