# isabelle_session_info

session_name: Quick_Sort_Cost
sources:
001c942e96601ec3cafb3353318b24d63d21ad27
00397a27b716a17d9a023df60549d6646efe8e97
02b46a88fb3755427c4e37e0dfc37f84ec4a24d9
06836e075e09e46f8eb9eafafa5f472179d4079e
0ce0705a136544b2e0d9a293a9499ea15b138513
4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1
55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38
5ae3843a3ed59ab2457ecff50bd3bef97837615b
5fd67474860cc00175ce6967175273e563c61549
7564145481ede3c1f4b20d94f238921d7e450f7e
7fc0b323026a8ac8dccb54dc8e2402bba53ac107
8c3f98f76e059da6db66aa785d3bc61a80f5b332
9536f28cf2014730fd3024db12845eb154b6725f
99a1022f7c5e258726c42743163c68599db87e23
a9d5ad43ec6f86c94c776f5fec4964604cea28d3
ae643dff99d5646fa93d3b11bae0250b4cbc1566
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
d0d312ad7051dd77e3ca120e7a77fdedb784d301
e1e95447f60e6fa9698fc2dc2d3f9a6dee397c16

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f
efd18841017caead5c98b3dae82ea8c0b05c5144


