# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: f06cec55c3dc3c32284f5cc4f9c50069eda01b22
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
791ad1fb6bb5d0a369ef87b75358d26fa69696db
2673aa51a1cb3f111d1050e0c7e028d33cee1d14


