# isabelle_session_info

session_name: Lp
sources:
1699a168ddb314d54ec3cda089dad5af663c03bf
5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd
898fc36bdfb11c07ae3f0daade057467f4607117
c90352b640b748d2304028703132db5d042245f9
df52d5ad8bdbdc6c9c56614a8cc01168fa289248

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c
5e44082305b3e1a44d18a9327bc55a4a3ddfaf4e
bd0387820c887a5b95904735a0e26b7b975531c4
9a1e199125fd0a92ee6838ebfc0691585c61eb5d


