# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
267c81e809c61c1a4a25e6188a1ae0cdd20e3e0f
d261e748df18c33f1d1e3535c0a517ec959d5129
3c9891b38542fb12b2c07f81948ca4a638333124


