# isabelle_session_info

session_name: Pratt_Certificate
output_heap: 736a562f49f7b0f3b78cb8eedced9ccb51005fa8
sources:
2301c1cb824b006fbdb66a4d295f158152cd3b18
3e49f76c45416671dcb4d349ccb96f41d138c27d
853aa6b1c36ade2889faee412707bd981cd70a63
87a3925a58dd8ad2a034b5afb68d50f7e837f0d7
c84d2680a43d5ced39380206a1c80933c0131123

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
b73a2409b8623ee3a573dd89384e9fdff928c848
78a0826506612aafdbac47d58df5708f3bc2e910


