# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 56f11963e1967900d1c573031c33d28a9d22ee78
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a5c4ff3729c12d3f6e3120c60915b30013f484c8
434bc2fc2998ad25ff026740c398283e9c6b7017


