# isabelle_session_info

session_name: Category3
sources: d0dbb5667f82ae56cae818a039c9892dac37f879
output_heap: afe734c3fd24d9a0a82c5f5b2d018f3c4479b3bf
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
b8020fa2e6b77cbf547e2fe43e535f50b0d5ec5a


