# isabelle_session_info

session_name: PCF
sources:
287d5d22e890ce74c11487f47890bfd8ecf383f0
2afb8c3b0b4aa4fd62466f0017ef34736003b5f2
384835f76dff7396bb686d2ad76b1e3cdbfcaa10
42592a2a3293213750136848a26f06962569fecb
4ca9d3a55f0c8b25922b65ae69be3e737f6a3654
59f77f701db368f2c5e8f23a502d2158aae8452f
65013a568f88850b9f8fd811448c5025c2de86b9
962e47aa332c8804c7b150e59b0d93cdd566fffe
bea5e727d3498335cc2a1a50364e6846b1b74151
c3b7ace5e1cd195ab5d334a9382fc98298deca32
d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8
df74f801adeb78749d8f6ecf1245e4ee32c568b3

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
00a03cd303df83fea9bfc7c21030d3fe219cadcd


