# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 13ee00c790f652809433dd020b9627ff9714420b
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
2e2da26495917cfebab299f0b237dc26342cecf3
9c8fc68d77ebbdd9c462914a5d1563b4523390f5


