# isabelle_session_info

session_name: Lp
sources:
1eea81373232923c19c7b3989439ddaa300f4986
5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd
9c8b0fad9194493ab03cbb6445dc8c3e55974f07
b50539272db9f8d945a3af66a569745352725a2d
df52d5ad8bdbdc6c9c56614a8cc01168fa289248

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
10cae7858f6298753bffb93deb42b58c91c816c8
4167e44b8013937bf7e6e2492589d57b425dc2c1
72abbb134b16227de44ee575c5b434787357b95a


