# isabelle_session_info

session_name: Category3
sources: cd21f5f61d0bcdb0ccbc1a53a868bdc0a8f0a388
output_heap: 10f0b5ebc5de058c89c184a5ec0f34c15f710b0b
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8


