# isabelle_session_info

session_name: Category3
sources: a36105a6f9cc264bbfda9586e6df91bb0cbc603a
output_heap: 72b2dee53e9d7a205377e7f99f6f03039b0fbaf8
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04


