# isabelle_session_info

session_name: pGCL
sources: 2c74fddfa4603a24658908d01a605775dae54784
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8


