# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: ca80380d7436d6902e2a1227aaa446c35c6f8fbb
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ba6c7f4778bd93951ef537f8c061a36d287a6c45
df38bfa3e76b456c4a563c5afc745c6725e840be


