# isabelle_session_info

session_name: Applicative_Lifting
output_heap: 2f3dcf68ddfb822845a5e6d43b8734dac9c614f6
sources:
04c517b2d8c1450fab198a4decf49eaf2a1ccdc8
066c45a654e0fd479cbde948c0ac367f513ec177
0b770360ef0559c79de04fafbf9f927e0c11d888
0ffb6e5c72ffb803b92c1122baba2f7dccaf1638
1aaf225c7abe7675ef91ffa61f7dac191123fd3a
1ea8c8000af781978d77851e11236cf9c41711e7
29976581a2e35f5b36ea905b3393927b245309a0
34cacf9e31f0547c8e25c4ef0b30f9d150095a49
417c6c305fa5286daf2727dc5aad10f4263fcb0b
438a0de07f932722bdbd38ab557f1c96a5fdba78
54b3447d5d9b8658f7278769d88e3cbd6036ca6e
55f47bd5ebe13ac05612138722203c77c70f1cc5
56bed5e99578bce1451333c62fd4e7d3e782fd45
5a7995f543957654d2702f9db8320287f14b9c32
61b7f7cea5905d8ea78f3c2dacf630b6c4cdd79d
6ae5b10899e35bdddbc88f28d6b7fc82cf048a2e
72d207b35d2fa54c7bebeb4bf98e4e74c85a8679
7d401692de799c937761d394c74a711bc466bb79
8f3e5e8a7df41ca1ba8018fb7d5a59a35467d810
934f8fbce7a70fb5a253afcfdf3ede273b5dc312
9350ee82e76a8cb28b107b5caa6b526416f7e2dc
9b36e3d3b7033d0ac23c3c2e89528b2b7594b5f7
a3fb270f73da033bf8d76984fbd68ced5292a0c6
a633c6a811b7ccaf70fec51e65bfafd38d6f0c61
a641554f19d743791e9749b997ecc55cc311c570
b1086e75f696f9d6e98f1be208095d84cd48dba6
bdd68a4fdef25aad75ee5a7bedee1a05a1ca1766
be64e4ac21172895450d4e288cef7ba288cd9de6
c78be280e43908f1e12acd4378142ad800e2db3d
c7df625db5232c262a47f85aadb5f4f53022bcc4
d01aaf0261633f0864b428e26dfdeefe0ed3855e
d47f72214dd09948230e68598bad4fd1e39ca36d
d54350b0f9c23430a1068a604b507ac4caa517cb
d92425eea105b871c152b4273b225c942cf69f58
d97e0f709cb34e0b4d775136cc9411bef1621181
eb07d21acd3d54e2165e0dbf0471f31a18de7624
f7228fc72cdb2f818e385a94421c760b73991302

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
9cfa954c1991db4fb676a015b9dcd5e692064dc4


