# isabelle_session_info

session_name: Pratt_Certificate
sources:
2301c1cb824b006fbdb66a4d295f158152cd3b18
853aa6b1c36ade2889faee412707bd981cd70a63
87a3925a58dd8ad2a034b5afb68d50f7e837f0d7
937b073385f5843a04983bd0e26274c5c6856398
b909f3f92d8540ac3ab691750ee30dccc7d0a6b3

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
10cae7858f6298753bffb93deb42b58c91c816c8
ec2e69c86e729e5595f4e6becb097820b8163610
1e8ba24ef612c8ae600988358b51c341fe12990e


