# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: af77985b1cedb661aeb2bcab2934c6b619107744
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
15cc6e82d8a21c595bb1607dc596b1c3faf3ef09
83f6b8a9b8ecf29dcb4fc896ae043e18e3b8e685


