# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 9454bbfe319cbcb4759274ae1ea4a6d07ba5a7e2
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
330be591a57e96401a40b8a7be307432b86be4fd
91225822e93508302b9978b1d6d5b3562f3812c8
890989a1764f870413522160d702e0b027115057


