# isabelle_session_info

session_name: FOLP
input_heaps: 8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
output_heap: 3e585b37f2bffb96e3011c2ec2b234bfc7463f8c
sources:
023701bf174bbfa9178ca859c7247367ee0be33c
18d9c0a577ee8d671763286ca2cefba8ae15b2a7
2bd9b81412f919bb4a49633d92a29f1f4816d35a
606aba507b4b8a629a41423d6dd140372765563a
728e960922fc3a9ed2e9f47290b9919f71026a4c
7e382739d4c7b05f9ba4e611c75c581c49fe06a0
b92be31af05c3ce26288e844608163c3cc6492b3
ea1f88875ff378a6b7c631694dd658a1b4dd761f
ed2722b7a288eae7bca6151bd94645009ec5467a


