# isabelle_session_info

session_name: Lp
sources:
03faa2614003b81e0e6351cbe89bbb88b2b39ad7
047d033174dfe12ff4fe7a1fd8935096a1a13bac
19e9e35517a17502088c6d3aa0b479cdd6f8e7a3
df52d5ad8bdbdc6c9c56614a8cc01168fa289248
f0145f4b385ca5f25de81e069854f2b09cda4215

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
9cfa954c1991db4fb676a015b9dcd5e692064dc4


