# isabelle_session_info

session_name: PCF
sources: 9f93efee1d426fe7f6e1a1a76d76f4f70d834900
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
50dacb9026c8f1ce6df78b9da247b57b7b6ebb67
f80ba3ac420cd30f77d1d29334ad3fa80ec36f4e


