# isabelle_session_info

session_name: Category3
sources: 14ad3c5603d750d4caa0e142917b270ce75de383
output_heap: dc6a0b7c7e30c57ac4090b71290e3d23d5179716
input_heaps:
ab7ebddde897b913697d04674b47135e7a71bba9
83a42f5ab2ecd7550bef3e5a26f7cc58642ad023
242bddc1a24e49024becf543a335faf28c83dc21


