# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 5611be40b11331030eb98624e05c12c9ccc2d0e6
input_heaps:
8215eb5f5b3394a9f9254fc524a194abe159cb1b
43986411c04360d074d5c4045a93e7a8120ecd61
768d6d2b9a4fd5f9d455ecd4d0b75aacc486cf3f
80ac68093179cd140cb5e0ed2261bcaced46e9c5


