# isabelle_session_info

session_name: Category3
sources: 4444810a288fe54bff7f48970c1e946254c3b126
output_heap: fdc0ccf14142cf327ab11617cc1942b1f07b0dde
input_heaps:
26949f38b2066eeb70023a23ab5caf0b930a3a6a
eed6e14c5bd038e1039b7805ff38178942babb11
ae37f56774415b0e51772930a07d34713367be39


