# isabelle_session_info

session_name: PCF
sources: 1646ac5febc6eef89fcf6b9c245e8cd817c82c60
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
e2a7e9445a9f21e145c2eff14cfba9ef1b86c1e2
0ffe1dc62d8ea76b391aabf7192966c5dab348f9


