# isabelle_session_info

session_name: Lambda_Free_KBOs
sources: 687ca0319b4804352de2ee9181445643a7fb85d9
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
87718d0c1aebf020a6cc483886932b0e8197300b
58a3ab139b7a2d296d8a23435f8b3409a968c2a7
34568aa50d957c38655442dda21fb1b0ba96cce4


