# isabelle_session_info

session_name: Amortized_Complexity
output_heap: 60acdf583a93e956bf6eba0eafc5a2d1d1065303
sources:
07138baf69c97a10e843e7b858da1da88e26a45a
124df266d21b67fcc7bbeed07a468c12eca5b5f0
1723a76e7efef6cfd83f51f0e868953f40807455
20af5940c34a77c294cf57cb3f0a177f484f1d8d
20ba6756e03b0e109924ce99102ec608159b07e5
23b53846913eedd0eacf5f2d8c9295f888da8197
35106a4d24b8c99a8b77234c99085d62a0ad1e85
3ccd9fac30d1c0278637d8f8c53013263ba5e231
3d225dd585e1ec6cdb81057ec52c1e2044c90f31
41fd93a52982782e25bc3c5e6a262bc1721aa722
500d15b7485028038ac14161b6c9f35cf878d518
5b6f31c185b2232d8b485507de73ae0982244b4e
5f9b4980d712c24b64d66aeb71d48dd2d9ba0a11
84eb34905da1459c6e34d39b7f6dd9955bc8ac2a
8a5ddd928243c3cfe7d74fae59255647ca4bb870
a61d7337a17b3dacc7a76754f82857fbd162a58d
a9cd9bf9403020477daea73d79fb0d186368bbb8
aa5f9da858ce45d01e544664bd908105f6681df5
ac82933c9ce88eb3229124b18bb7bc2eb7ffd02a
b8d0cfef3573508f31af5b427c75bbcc4b539a2c
b954dc13e70b5ab49454fcc05ad1963274cceb31
e353a7a16eee768ef3f36f276e849ac24c1587db
f0d9098a24a228feb935cfb42867f630ce14d716
f1d61d4e1cba460d51e9e3a369526398415eaed0
f4f5ec6c2e792aef21ebc6c7b7120967b5ba42f4
fd5d7d1c9af91357bd857c30167ab99eaaba66fa

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3


