# isabelle_session_info

session_name: FOLP
input_heaps: 76e60ab7be570c8f37ab4fbd0cc297599bd4212e
output_heap: 01600aa49493d02be8a6d7b06b2db2d9902ef070
sources:
023701bf174bbfa9178ca859c7247367ee0be33c
18d9c0a577ee8d671763286ca2cefba8ae15b2a7
2bd9b81412f919bb4a49633d92a29f1f4816d35a
606aba507b4b8a629a41423d6dd140372765563a
728e960922fc3a9ed2e9f47290b9919f71026a4c
7e382739d4c7b05f9ba4e611c75c581c49fe06a0
b92be31af05c3ce26288e844608163c3cc6492b3
dfe105690e5e3eebd876820932b6c000f7b4f1a0
ed2722b7a288eae7bca6151bd94645009ec5467a


