# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 7ddf3e82a999c8a75375558ac88debebd4de6fdf
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
4c3df15ed571c59b05cdfcc8551efc3cbb7ad4f3
abd351a35964a286bd370e673b11666d4e9c6eaf


