# isabelle_session_info

session_name: Quick_Sort_Cost
output_heap: 2c2df27b8a16676925cbb89bb8de47be88ac1481
sources:
001c942e96601ec3cafb3353318b24d63d21ad27
00397a27b716a17d9a023df60549d6646efe8e97
02b46a88fb3755427c4e37e0dfc37f84ec4a24d9
06836e075e09e46f8eb9eafafa5f472179d4079e
0bf9827594e96695f6d45e74577b7df7e7aaec47
0ce0705a136544b2e0d9a293a9499ea15b138513
4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1
55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38
5ae3843a3ed59ab2457ecff50bd3bef97837615b
5fd67474860cc00175ce6967175273e563c61549
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
99a1022f7c5e258726c42743163c68599db87e23
99aa3c6b276653e85bb16ba8d85c222df4e50423
a9d5ad43ec6f86c94c776f5fec4964604cea28d3
adb8961e9fa21dbbfe0fd4d3fbcab3c05c1c272b
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
ca66f202eef5ed070877fd0fdbcbfc4f1c5cd782
e1e95447f60e6fa9698fc2dc2d3f9a6dee397c16

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
42e138dd2055b0a1db4a1f3a058a8966ebf86487
09b65d430a7a9891a3f68f37dc3b73e82cde44f7


