# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
f9c76c1abdc8d73e5ceb4083636dbe0be0118f70
10367a48f72e88b001a184fd72f4b462e6824f3c


