# isabelle_session_info

session_name: Quick_Sort_Cost
output_heap: 46d1fa8a8a6800a095916f30564f36ec2076942b
sources:
00397a27b716a17d9a023df60549d6646efe8e97
02b46a88fb3755427c4e37e0dfc37f84ec4a24d9
0bf9827594e96695f6d45e74577b7df7e7aaec47
0ce0705a136544b2e0d9a293a9499ea15b138513
55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38
5ae3843a3ed59ab2457ecff50bd3bef97837615b
5fd67474860cc00175ce6967175273e563c61549
6641f2c5a6c744ad1c12229e57034e74487a313b
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
92aaa605956acae755205308c07222f15b696cc4
95801de5568ae6e8ab3cc1bb37caea60af70f7eb
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
9ee7fa0f3f64295afb4c6284bc088e5ca9f17759
9fbf85621a8918beb09c70d7b7c07df90b39b8cd
adb8961e9fa21dbbfe0fd4d3fbcab3c05c1c272b
ca66f202eef5ed070877fd0fdbcbfc4f1c5cd782
cfb7536bfa1ec58b249854b76e9246c968026bcc

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
190aba293ecca7a1fb1d23b827c0a4edea07cd47
f0510f2c76a5403ce56881da7392413a0e09c10e
0827bd8ab1601bb0f3979d5efaa5243c815cb833
5c89702c611f6f4460be6ac13512ac61fe19e555
4e43f25131d9f02f58f1e5d04100ef78575baaec


