# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 8ffbc793eb70d6346267e0c7e812aacd3a01f2ae
input_heaps:
3cef1131ffc36b5267ef54e02c39cc49de01aff8
1f732b8f5676e409931f4b9c5ad7c93b8b8467c9
cf5d24d8a09d871fd123d3876771a71891cdbc10
1cdbd098acfb0adc198c8849cd561fc436395760


