# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
609027c0b5e2d5a13a9424abded96d9da8b41772
e1b220afe95265866ab7533c226f9eb853333e29
be3ea2fdfaabe8d5fd36d78cb80b86ad4ea64969


