# isabelle_session_info

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

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303
cf54b34e30444469b3afc37db385a08e9ab8df9e
9d9806788e113992dcc59ce026362080f80563f5
3096b605b46035339d973ff382e3a1942bee1d5c


