# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 711158abc83aebb44ea891de80395e2ef9864152
input_heaps:
9aadd396dde0a279b6a4eb62f8f2ff37640b410b
0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535
5240976f3da38127709b449de6e93347255b5278
7ae429550ec93a417c52b2cd78a39330318b5934


