# isabelle_session_info

session_name: Category3
sources: 1279bb9d23da48c760c8abe78e187aad08d5f734
output_heap: c468ce05163946d64364c2fccdbbf412a97faea0
input_heaps:
4ca3362a5f91b70446ae7f6f1750d75300ee80ae
7e0b005577bf911e8dc7d6bc2189cd97ccb150b5
fdf6c9dd88de505d54922d69e4002bcc38ee508f


