# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: ecd816e4f80f11ad012d8c6f44165e3f72a35577
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
956eab5a6510adb81087ecdd01a514df01c3570e
aeb0d8e6dc524f2ed37731c6a8b1c460ed3ae83d


