# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 0ab52639da02721b7b1dcf71a1475a31e6206ec2
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
2f3e95f4eff07ebbc2f4e0b55e19110ba8271f10
d435b1a84247370fda5bff1b10f4f5fc668f4fed


