# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 10e50696101abc898b77b22f96e02a8d803f4cfd
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
5048c64c805a7901e6947ff33a8ce55b2bc0f202
8c1ae6c66a1743d8f70f16c099540f5df8de5963


