# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 357af95e36067f77667fce5721ce86d17d4e30eb
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
b84571c3ff2a09a4a929f8f2d4f3970cb0e74435
b1464411b816d1ca8529026146122359dcb9c6a8


