# isabelle_session_info

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

input_heaps:
03f2cc36b4a4f77618b1b338c8aa62714b840e80
cc27eb456075510284f02feef1118c21e49edbad
3548de0143411ed5dfd3be9ae84237144e952998
ee4743636beae720a8c5ce90098436f44fa2e5d7
d8606799e3fb49d8cf4ea1cfa239904c40c3b2f3
8714583af51dc07e8dc05759cc9a6ecdf5c7d3bf


