# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 47d81a83dbecd4c94bbd23eb422d2e0fa92d43a4
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
6f5fa321534e9659cbf6a286aded159e529ea9c8
ce31e92535189fb0bc02dc1d2ace7190b8649e0f


