# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: f230dd7450f8a950281ca05d8c677face71190e1
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
29dfb59a181da8cfec09f5d686e122867ceccf74
8246a0f0c47e9f1128c83a87fe80b5eb42bead79


