# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: aaebcd1af60c66d7f623b30d1a39b189bc460e01
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
fe919dd55adc407145d1fe9eb9b52420142f29c8
79b82b18c103f61008d769ca90a6fd0d469998a6


