# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 3e414f148d0daaa2c2dd83ad8f9a1a8cce157389
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
72a7dc3c6c09d3753915f7a979b1786e10db91cc
e4631d7f7bafb0a13faf423aeb7ef39bf15a628c


