# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 13ee00c790f652809433dd020b9627ff9714420b
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
59a3a880bb4874f61b767c399786d7d8a5dca439
b9e979b6bfeefbb885dde8c735bfbe5366309325
23867d56b416465afe6f09bd5b1dbe99ee81a358


