# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
d0588517c8f6cbe01daa7d05f7b6fd5a31064a65
a457760b79716ec11200989778828fac25d60f84


