# isabelle_session_info

session_name: Stone_Algebras
input_heaps: b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
output_heap: a4b4d1fe0d3723e781b195e5aaf5441612686eeb
sources:
1468e48b8cd656ee8a0f15090fb881e3932ef610
37b10171a7b8848737666d13efd2fb36860de921
48d9eba8bd5553c0053985fef09510164793e757
919b5021253870e67893f6f78d6df8a22a86e487
b71c8c24c842517e59aebf6834a00cbac12a5971
c3a04239d8a181cfae561485bff71442fb40d565
ce9d247713168595ec46d4a55e36828823fdc26c


