# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: a8fe19d7e4898a6ec1073f114b6028788e35d2af
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
871d023673e4dd8e17ed9dfacb8e258477a5eec2
a7c9bed81f1a35f33aee4d116a3e3c53cf3d2829


