# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 897c1dd7580d929dae0b46ab9f1818214b7e3e85
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
6e62cbbe97bf8d791782dfc434c7d2c1f9af0d5b
98689e48fe282c17a122b74f1c6463b988c9b49b


