# isabelle_session_info

session_name: FOLP
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd
output_heap: b5f88c94dced303b3e729a709dbff83bab13ef86
sources:
023701bf174bbfa9178ca859c7247367ee0be33c
18d9c0a577ee8d671763286ca2cefba8ae15b2a7
2bd9b81412f919bb4a49633d92a29f1f4816d35a
606aba507b4b8a629a41423d6dd140372765563a
728e960922fc3a9ed2e9f47290b9919f71026a4c
7e382739d4c7b05f9ba4e611c75c581c49fe06a0
b92be31af05c3ce26288e844608163c3cc6492b3
ed2722b7a288eae7bca6151bd94645009ec5467a
fdc5ff8b753dc457ce95a28fdaf922ff88144294


