# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 77cde0a13e586b2920b66bfaf09c9e7a9661fdfb
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
440c57d6b0f1cf955c42fe0cb1c738d1e211c742
ab586d7d2c19e9f49c693542de1a33f93df2a7e6


