# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
5dc9c9c9b91b5b8181f840ae75d6b8cb1bf8a447
711c5d2de743a3c85eaaca00cd8e7b4ba5cf8523


