# isabelle_session_info

session_name: Stone_Algebras
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
output_heap: e77c41e8a82dfebdb780b82d9e8da9b9c2db2fa7
sources:
1468e48b8cd656ee8a0f15090fb881e3932ef610
37b10171a7b8848737666d13efd2fb36860de921
48d9eba8bd5553c0053985fef09510164793e757
919b5021253870e67893f6f78d6df8a22a86e487
ac72bf2229337ac2929582259091fa19b26c4c74
c3a04239d8a181cfae561485bff71442fb40d565
ce9d247713168595ec46d4a55e36828823fdc26c


