# isabelle_session_info

session_name: Regular_Algebras
sources:
0a03e00ad4df5b7dbd15987e970611e100518a26
1a78e09dbb611effad0c92e74637447d2269b243
5881d1ef6a29e4f7ff951f8256e38b9d003aff08
5f341fe29f2513dded5da2143a5dc775d29ae3e2
af74e84e7a3d7b7177a26ffa0b1cff8d8169253f
be4fb7bd36314335f0782c56363e4df6e2fce878
d315196913e301772b7321d29d4d97ef80c94aeb
ed3061ffd8806f34d8afe98848b2a964c811b34e

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
3f2ab5a11cdc0e3f55edbba46bc7f76fd89de14c
120df08501278bd017c471dc3d0458d3ec8aac7f


