# isabelle_session_info

session_name: Stone_Algebras
input_heaps: 728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7
output_heap: 2c1419a5c6d197e0a049aa36a3a0c8b807e0cf35
sources:
1468e48b8cd656ee8a0f15090fb881e3932ef610
2401bbe8b9942d12551f3d6ccf8eec9cd61898ca
37b10171a7b8848737666d13efd2fb36860de921
48d9eba8bd5553c0053985fef09510164793e757
919b5021253870e67893f6f78d6df8a22a86e487
c3a04239d8a181cfae561485bff71442fb40d565
ce9d247713168595ec46d4a55e36828823fdc26c


