# isabelle_session_info

session_name: Lp
sources:
1eea81373232923c19c7b3989439ddaa300f4986
5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd
b50539272db9f8d945a3af66a569745352725a2d
cb8223984f8f7f933989c64075ad07de8fb41f06
df52d5ad8bdbdc6c9c56614a8cc01168fa289248

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241
6a327321e0b399ce697ece376e10d51a4594dd86
e4a4348bb1e58999453ff8c30c0d2fc316bf7144
886a310bba664d768f6c29c14ab1f996d265286c


