# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 7fe4ac9619a353dd41ec15c985421ef73409d4aa
input_heaps:
767d1abb4385cc0848829909014ec5284a74f26d
f8f7da93998fdd1c52e2a4472eb3025f88ab3418
ed7d78de9adae2fdee0c94e98f07f4e7f9bd3761
37822067071c55591630a93a6b71d8e4ea27d29d


