# isabelle_session_info

session_name: PCF
sources: 1394d3c0ea42470ca18b8046a449700579da5b75
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
63cec139519c70fe290e4085ae41a9e937cfa8e2
13f02763357a2395d2c44be5524428d86fb55163


