# isabelle_session_info

session_name: Category3
sources: f0c0a7f5298101f72841e741e7ad48e547608bf5
output_heap: a780ee9513f4458b95ea2fbac170a5b656346274
input_heaps:
72c8d9de99c96280f85277cd3480535dfd12f3bc
a3e5c8a6c901a5f1565ab53ce44c5eb1c6018ff2
76569883e614cc4011056c6d2e832c9797d585d6


