# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
26ae8fa5511ee03c7aad2befc092143c1bfaf495
977bfb125a230aa0f8e58ee550e7662f9cd1a4b8


