# isabelle_session_info

session_name: Stone_Relation_Algebras
sources:
0a28500c9cd54c61d25d49ec3b240af715f8c432
10695c7814284f5bd8111213b7ff4a17bdfdc2f6
2eb9258a93463f0c98dd4d337e90707e66103296
3c8cd887c248fb46907e322f94cefa929221b95c
421747f71fc1992e2ef85097ae041447c7a6f00e
6969c3c300be75bac81b6017a7cadfe044512696
9cf71692657e5b1cc055fd134ecf3fdb9b919708
abf04640ec0c9664d9c8305f14510396f28fad24
c7f3c508346e5bff5867083ea0a1150a6c70e2e1
e291d123f5649812200704f53f7e2eb04737dda1

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
e77c41e8a82dfebdb780b82d9e8da9b9c2db2fa7


