# isabelle_session_info

session_name: Category3
sources: c988efd71073703dd74b6b440e85d6e2b8f153d0
output_heap: 531d34b606662f4e281613b28a5cdd59d5b293f1
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061


