# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: d7b39e3f8ded32c1d369c37466488a5bc88bde88
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
52c04128f619248c5b4e1acb85e8290d2eb46d7b
06b013e1cb86b0a1482af97a7f4d74c287c8a7f7


