# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
2a2323082de30af594ad8800e3610fc181ec79f5
2808fd3a5f281a8f4b71ff42466c144f6a6a2ae6


