# isabelle_session_info

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

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
9b5e7c504e935a87eae2871aa9a83661e530b52c
ed2c3f0f37e073fc52f18a6441f906d465a18c9c


