# isabelle_session_info

session_name: PCF
sources:
02bf662feb8a3737f7f3f918e7ae779f9a2496bd
287d5d22e890ce74c11487f47890bfd8ecf383f0
2afb8c3b0b4aa4fd62466f0017ef34736003b5f2
384835f76dff7396bb686d2ad76b1e3cdbfcaa10
42592a2a3293213750136848a26f06962569fecb
4ca9d3a55f0c8b25922b65ae69be3e737f6a3654
54ae6d2e91953fe4f3575aaaa3eb45d99924c26f
962e47aa332c8804c7b150e59b0d93cdd566fffe
bea5e727d3498335cc2a1a50364e6846b1b74151
c3b7ace5e1cd195ab5d334a9382fc98298deca32
dc338c7e281dfec00a38ac4b708182083bbff572

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
90084bb1c0e8ed658b53b1e2a7b51c89d02b660d
d86dbd0cbe0e839f272b779ddd75855cf4b0628e


