# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 8c3337f4fea778afb58be895d9ddc487483e56db
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
56285ac0202166b2b1eb0083d14e25cae3a1ed4a
9a596d78df9dcf3522669a2afcb7f56e295e99ff
4b71e909c59d07a272f89e3ead21edde5c13a980


