# isabelle_session_info

session_name: PCF
sources:
287d5d22e890ce74c11487f47890bfd8ecf383f0
2afb8c3b0b4aa4fd62466f0017ef34736003b5f2
384835f76dff7396bb686d2ad76b1e3cdbfcaa10
42592a2a3293213750136848a26f06962569fecb
4c4a8c309bb05096e064d9eab7f4735032c2994f
4ca9d3a55f0c8b25922b65ae69be3e737f6a3654
962e47aa332c8804c7b150e59b0d93cdd566fffe
bea5e727d3498335cc2a1a50364e6846b1b74151
c3b7ace5e1cd195ab5d334a9382fc98298deca32
dc338c7e281dfec00a38ac4b708182083bbff572
df74f801adeb78749d8f6ecf1245e4ee32c568b3

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
d8dd2ab2beb525ef3191b37dd9466ea3359bf017
4b0d2d26af4d60a02ca80917f97a9ca572ecb2b0


