# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: b0134e5959572b47568978e94595bf4040a97a7f
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
67489866c50e48735ecbca469ba730832fcc566a
672e20b0a8de1c30ec5f64a739088177476415f4


