# isabelle_session_info

session_name: Stone_Relation_Algebras
sources:
0a28500c9cd54c61d25d49ec3b240af715f8c432
10695c7814284f5bd8111213b7ff4a17bdfdc2f6
2eb9258a93463f0c98dd4d337e90707e66103296
3c8cd887c248fb46907e322f94cefa929221b95c
6969c3c300be75bac81b6017a7cadfe044512696
6def3dc46358ea64f147563ca9a5264abc407f8f
74348731017fbaafabc74dd4316c2234aa5bd72c
9cf71692657e5b1cc055fd134ecf3fdb9b919708
c7f3c508346e5bff5867083ea0a1150a6c70e2e1
e291d123f5649812200704f53f7e2eb04737dda1

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
6a3b5f35a47c619c2090fbc84ef59d242c963bdb
e440b10506b095f180f29168cd4b94dbc7d9c00b


