# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: b4eb6a52730f46110110fbb8dcbe1bf1e0dd99c7
input_heaps:
a70f3b1dab78f27422c2c199c67ce3165c51f78c
f87e99c2e2333d54a40f2ebcf261012b052e5e39
a732633c4ceae6f62831d9dc60f2bbd2c73c0fb7
28a78ed5d55524ce42a5454a1986e1e0a8be1494


