# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: b4eb6a52730f46110110fbb8dcbe1bf1e0dd99c7
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
3e2a7821ff22d67def456d4ee5f050d3527ff2b2
5fefd76815305c01cd860ecdaadf4e97038e263c


