# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
86363c11cbcff0d3b0c40b1d646cddd08ff614fa
cdcb6284b6dcb9167af62e63e93dad3bca95312a


