# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 029d759c2965cdcc1642707ea82ab583892a85bc
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
b96c3c8b68e5875eec7c7ffb363a92a221813618
72c56a90ed42e0cdd4e9b7adf8ee62127b019cb9


