# isabelle_session_info

session_name: Quick_Sort_Cost
output_heap: a7b2885fd995471233cf3df34c39d3dbda1c8482
sources:
001c942e96601ec3cafb3353318b24d63d21ad27
00397a27b716a17d9a023df60549d6646efe8e97
02b46a88fb3755427c4e37e0dfc37f84ec4a24d9
0bf9827594e96695f6d45e74577b7df7e7aaec47
0ce0705a136544b2e0d9a293a9499ea15b138513
55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38
5ae3843a3ed59ab2457ecff50bd3bef97837615b
5fd67474860cc00175ce6967175273e563c61549
6641f2c5a6c744ad1c12229e57034e74487a313b
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
95801de5568ae6e8ab3cc1bb37caea60af70f7eb
9fbf85621a8918beb09c70d7b7c07df90b39b8cd
a43348d7fa591933cf69de88f108c0c10b2ac9ee
adb8961e9fa21dbbfe0fd4d3fbcab3c05c1c272b
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
ca66f202eef5ed070877fd0fdbcbfc4f1c5cd782
cfb7536bfa1ec58b249854b76e9246c968026bcc

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
86e95bb3182356f659f9dccb3c8075066387911f
bf6c8eb6904ee70fa70efa8c3b57869887e97ece


