# isabelle_session_info

session_name: Pratt_Certificate
sources:
08f0891cff2f74fd97fe4f8d9775b4b780015337
2301c1cb824b006fbdb66a4d295f158152cd3b18
44baec093d30bec4af6ab8a6da185f226cfd552e
853aa6b1c36ade2889faee412707bd981cd70a63
87a3925a58dd8ad2a034b5afb68d50f7e837f0d7
b909f3f92d8540ac3ab691750ee30dccc7d0a6b3
bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d
c6595eb84f7f5b6ff8cf51591a134ede1855866a
ec3dd264342ed5621c07e8dac37b49d23c4be517

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
f2c2e56b811424ca76167d3fb0e80c60cedb8d48
3eecec7643537ae98684cebfdcacc503a4b637ad


