# isabelle_session_info

session_name: Amortized_Complexity
output_heap: c36c8547f910f467d5bffd8c28c909f0d36fa4be
sources:
07138baf69c97a10e843e7b858da1da88e26a45a
115d1500988a2e7faa5ee1d62096baff9c965c25
124df266d21b67fcc7bbeed07a468c12eca5b5f0
1723a76e7efef6cfd83f51f0e868953f40807455
17b9a1585aef604e28786415ac55e6599bc1f806
185316fb1792336252f92f0b4b483fb60d3598f5
20af5940c34a77c294cf57cb3f0a177f484f1d8d
20ba6756e03b0e109924ce99102ec608159b07e5
23b53846913eedd0eacf5f2d8c9295f888da8197
2f49a5e95a6a1245cc174d0e9e127b870dba15a7
35106a4d24b8c99a8b77234c99085d62a0ad1e85
3ccd9fac30d1c0278637d8f8c53013263ba5e231
3d225dd585e1ec6cdb81057ec52c1e2044c90f31
40e394856500f23d95bc71ac9c00446cc4711ef8
42fc6bc8709f45196f572732afc2b383238efe9b
4ff17e14480a0a13a46049147bd3180ce4dd6b1c
593b5b5c4b04f3d7fb29bbfe327f0bc63f5c10c4
5b6f31c185b2232d8b485507de73ae0982244b4e
84eb34905da1459c6e34d39b7f6dd9955bc8ac2a
8a5ddd928243c3cfe7d74fae59255647ca4bb870
9a5f18dab761b5f598b5fef1b7e6f956fdf59b27
9ad49c6d7adf0a95009fbfa9172256ff4f4f641b
a61d7337a17b3dacc7a76754f82857fbd162a58d
b8d0cfef3573508f31af5b427c75bbcc4b539a2c
b954dc13e70b5ab49454fcc05ad1963274cceb31
bb3e81478cfb915ceabbc2e26ee063eb202209ae
ed3710f39610adde0748ee8f641fbb4ecd7a1f4b
f0d9098a24a228feb935cfb42867f630ce14d716
f1d61d4e1cba460d51e9e3a369526398415eaed0
f893574e5def72295d50d1a3beb30634576a549a

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


