# isabelle_session_info

session_name: Category3
sources: 2e98593108834fc496316bcfd199a52b18c2871d
output_heap: 4e3fb82f383574be5548ada22d2919f4f9b206dd
uuid: d0c8bd32-45e1-4bea-af9a-43e519e27749
input_heaps:
e80e18c8b52d6756a3f6acd32213211b5a8b456e
f79cd4de26099ba564b35da188ad163326fc635c
8abcd69af89670c7a37ad87e3cb6e75506b84527


