# isabelle_session_info

session_name: Category3
sources: 37344adc1f3ff75daae09cc99aeef9209a17ffe6
output_heap: 4f3ceb854d6d72960523de8cd8b2f61d450ff5ba
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48


