# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: fd521a23edeabd8ab4a1c944929f15e54eee8864
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
bcf95ac656a45f019468b689876377b69fe52fd9
9744e3dae0bcc1d8d00c6953e311b604c3bfafff


