# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
9933f881dfdff901bfda5d37e9e94680bd990f78
75f0f416ddba7e1f426fa1b026bd77d8e3002a61


