# isabelle_session_info

session_name: pGCL
sources: f427d5ad943495f034248ec5560aa27cfc37de50
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
b343917444c41539516ff2ead8444841a71abc9c


