# isabelle_session_info

session_name: Residuated_Lattices
sources:
128eda411974cbdb76b2ede446a7c5a48d91642c
137e65218f02d551a773ccdc0d81793fb8d53049
202f91c1d3ca7aee1649520e86276508251079bb
2a6ab331f01713caa21b5d324f1b6795c1733194
4d2328a10d4e4e7e2713fd434cf5930940608b89
9b7dea633e1b1d2aec3e0709cde4e11703c24ffd
d7a2713d406c997bb8253be0813d6d54387bced9
e0b89a6f5747c9627131956f367e8841872db240
ee6dffdc2c820925b26acb1eb32135bd7f76bfe8

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
bded2976de2cf267c891e8c27b9bd77c6482ece4
bdebb2e8bfe33fb50db6fc7757d4702681b25850
57f2c02e65465cbe2b8e6588d5ada7615e78d736


