# isabelle_session_info

session_name: Stone_Algebras
input_heaps: b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
output_heap: f0845910405e4f557e1bfdc7fbdf7222feb759a7
sources:
1468e48b8cd656ee8a0f15090fb881e3932ef610
1fb517ab73a2b41846b9077256f60bd3a5cd2930
2401bbe8b9942d12551f3d6ccf8eec9cd61898ca
919b5021253870e67893f6f78d6df8a22a86e487
b3748c77858bb11c1b118c4a004bba7261bf4ac0
c3a04239d8a181cfae561485bff71442fb40d565
ce9d247713168595ec46d4a55e36828823fdc26c


