# isabelle_session_info

session_name: Pratt_Certificate
output_heap: 4a1a5a4aac378b951b95afffc0872bc1b458d3ff
sources:
2301c1cb824b006fbdb66a4d295f158152cd3b18
3e49f76c45416671dcb4d349ccb96f41d138c27d
853aa6b1c36ade2889faee412707bd981cd70a63
87a3925a58dd8ad2a034b5afb68d50f7e837f0d7
c84d2680a43d5ced39380206a1c80933c0131123

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
b840bd34dcb73ca75b618297ad581663094876d8
e3c339e8d89d8e30b8afb6425d2bafdbec77a162


