# isabelle_session_info

session_name: Regular_Algebras
sources:
1a78e09dbb611effad0c92e74637447d2269b243
45fb06e5b1e8eea6938c50216d95272d8449869b
5881d1ef6a29e4f7ff951f8256e38b9d003aff08
5e6a639712bd669768320cac06f4e488d2571b9f
5f341fe29f2513dded5da2143a5dc775d29ae3e2
bdbb6563f228a7b109d9b88187201b20933aec23
c7047151ab32e3ab525c5f4df77348274f9ac2c7
ed3061ffd8806f34d8afe98848b2a964c811b34e

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
bded2976de2cf267c891e8c27b9bd77c6482ece4
bdebb2e8bfe33fb50db6fc7757d4702681b25850


