# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: ad543e6c1d8e894aebaf81a51b3ebd894d26f027
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
2abba7e3a071aa96c777f092c2f02a959e5e2939
282def265cc113e67b477328020de35b9c97922f


